Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Waiting for the VM to be ready (probing ssh)
.......
=====================================================================
Generated by BenchKit 2-3254
Executing tool lola
Input is FlexibleBarrier-PT-16b, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r188-blw3-149581034300119
=====================================================================

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of positive values
NUM_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME FlexibleBarrier-PT-16b-UpperBounds-0
FORMULA_NAME FlexibleBarrier-PT-16b-UpperBounds-1
FORMULA_NAME FlexibleBarrier-PT-16b-UpperBounds-10
FORMULA_NAME FlexibleBarrier-PT-16b-UpperBounds-11
FORMULA_NAME FlexibleBarrier-PT-16b-UpperBounds-12
FORMULA_NAME FlexibleBarrier-PT-16b-UpperBounds-13
FORMULA_NAME FlexibleBarrier-PT-16b-UpperBounds-14
FORMULA_NAME FlexibleBarrier-PT-16b-UpperBounds-15
FORMULA_NAME FlexibleBarrier-PT-16b-UpperBounds-2
FORMULA_NAME FlexibleBarrier-PT-16b-UpperBounds-3
FORMULA_NAME FlexibleBarrier-PT-16b-UpperBounds-4
FORMULA_NAME FlexibleBarrier-PT-16b-UpperBounds-5
FORMULA_NAME FlexibleBarrier-PT-16b-UpperBounds-6
FORMULA_NAME FlexibleBarrier-PT-16b-UpperBounds-7
FORMULA_NAME FlexibleBarrier-PT-16b-UpperBounds-8
FORMULA_NAME FlexibleBarrier-PT-16b-UpperBounds-9

=== Now, execution of the tool begins

BK_START 1496492429876


Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
FlexibleBarrier-PT-16b: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete


checking for too many tokens
===========================================================================================
FlexibleBarrier-PT-16b: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ FlexibleBarrier-PT-16b @ 3539 seconds
----- Start make result stdout -----
lola: LoLA will run for 3539 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 7473/65536 symbol table entries, 1468 collisions
lola: preprocessing...
lola: finding significant places
lola: 3472 places, 4001 transitions, 3454 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 4035 transition conflict sets
lola: TASK
lola: reading formula from FlexibleBarrier-PT-16b-UpperBounds.task
lola: MAX(p2208) : MAX(p3114) : MAX(p3032) : MAX(p2167) : MAX(p1683) : MAX(p1485) : MAX(p3293) : MAX(p2728) : MAX(p594) : MAX(p3119) : MAX(p1538) : MAX(p3425) : MAX(p377) : MAX(p2601) : MAX(p3144) : MAX(p259)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p2208)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 432 bytes per marking, with 2 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 65503 markings, 134010 edges, 13101 markings/sec, 0 secs
lola: 128028 markings, 282912 edges, 12505 markings/sec, 5 secs
lola: 190904 markings, 432337 edges, 12575 markings/sec, 10 secs
lola: 247072 markings, 584998 edges, 11234 markings/sec, 15 secs
lola: 297030 markings, 744026 edges, 9992 markings/sec, 20 secs
lola: 347253 markings, 910645 edges, 10045 markings/sec, 25 secs
lola: 381041 markings, 1079178 edges, 6758 markings/sec, 30 secs
lola: 425436 markings, 1306407 edges, 8879 markings/sec, 35 secs
lola: 481007 markings, 1462452 edges, 11114 markings/sec, 40 secs
lola: 539863 markings, 1605377 edges, 11771 markings/sec, 45 secs
lola: 593613 markings, 1730075 edges, 10750 markings/sec, 50 secs
lola: 653907 markings, 1876004 edges, 12059 markings/sec, 55 secs
lola: 704195 markings, 2036165 edges, 10058 markings/sec, 60 secs
lola: 755106 markings, 2197700 edges, 10182 markings/sec, 65 secs
lola: 799229 markings, 2382424 edges, 8825 markings/sec, 70 secs
lola: 841172 markings, 2619804 edges, 8389 markings/sec, 75 secs
lola: 892854 markings, 2784905 edges, 10336 markings/sec, 80 secs
lola: 953459 markings, 2930579 edges, 12121 markings/sec, 85 secs
lola: 1015500 markings, 3075328 edges, 12408 markings/sec, 90 secs
lola: 1077681 markings, 3221570 edges, 12436 markings/sec, 95 secs
lola: 1132843 markings, 3377190 edges, 11032 markings/sec, 100 secs
lola: 1179925 markings, 3541131 edges, 9416 markings/sec, 105 secs
lola: 1227592 markings, 3720544 edges, 9533 markings/sec, 110 secs
lola: 1266550 markings, 3954166 edges, 7792 markings/sec, 115 secs
lola: 1315074 markings, 4130121 edges, 9705 markings/sec, 120 secs
lola: 1375747 markings, 4276118 edges, 12135 markings/sec, 125 secs
lola: 1437755 markings, 4421474 edges, 12402 markings/sec, 130 secs
lola: 1499864 markings, 4567583 edges, 12422 markings/sec, 135 secs
lola: 1556789 markings, 4720013 edges, 11385 markings/sec, 140 secs
lola: 1604585 markings, 4887663 edges, 9559 markings/sec, 145 secs
lola: 1651307 markings, 5056072 edges, 9344 markings/sec, 150 secs
lola: 1686813 markings, 5244053 edges, 7101 markings/sec, 155 secs
lola: 1731407 markings, 5453367 edges, 8919 markings/sec, 160 secs
lola: 1790710 markings, 5603582 edges, 11861 markings/sec, 165 secs
lola: 1850476 markings, 5744025 edges, 11953 markings/sec, 170 secs
lola: 1905781 markings, 5874775 edges, 11061 markings/sec, 175 secs
lola: 1967123 markings, 6020071 edges, 12268 markings/sec, 180 secs
lola: 2015872 markings, 6186927 edges, 9750 markings/sec, 185 secs
lola: 2063887 markings, 6358096 edges, 9603 markings/sec, 190 secs
lola: 2106277 markings, 6560388 edges, 8478 markings/sec, 195 secs
lola: 2149733 markings, 6779830 edges, 8691 markings/sec, 200 secs
lola: 2206938 markings, 6933140 edges, 11441 markings/sec, 205 secs
lola: 2268279 markings, 7080106 edges, 12268 markings/sec, 210 secs
lola: 2329937 markings, 7227633 edges, 12332 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p3114)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 432 bytes per marking, with 2 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 51654 markings, 137551 edges, 10331 markings/sec, 0 secs
lola: 102341 markings, 269333 edges, 10137 markings/sec, 5 secs
lola: 151212 markings, 403896 edges, 9774 markings/sec, 10 secs
lola: 200154 markings, 538708 edges, 9788 markings/sec, 15 secs
lola: 252245 markings, 678209 edges, 10418 markings/sec, 20 secs
lola: 304764 markings, 816394 edges, 10504 markings/sec, 25 secs
lola: 357165 markings, 956565 edges, 10480 markings/sec, 30 secs
lola: 403457 markings, 1112867 edges, 9258 markings/sec, 35 secs
lola: 446592 markings, 1304478 edges, 8627 markings/sec, 40 secs
lola: 490279 markings, 1498003 edges, 8737 markings/sec, 45 secs
lola: 530065 markings, 1705314 edges, 7957 markings/sec, 50 secs
lola: 568235 markings, 1926073 edges, 7634 markings/sec, 55 secs
lola: 604833 markings, 2162004 edges, 7320 markings/sec, 60 secs
lola: 652526 markings, 2313365 edges, 9539 markings/sec, 65 secs
lola: 702800 markings, 2454878 edges, 10055 markings/sec, 70 secs
lola: 753233 markings, 2591811 edges, 10087 markings/sec, 75 secs
lola: 803380 markings, 2727284 edges, 10029 markings/sec, 80 secs
lola: 853514 markings, 2862647 edges, 10027 markings/sec, 85 secs
lola: 903996 markings, 2998635 edges, 10096 markings/sec, 90 secs
lola: 953937 markings, 3135699 edges, 9988 markings/sec, 95 secs
lola: 1001235 markings, 3280020 edges, 9460 markings/sec, 100 secs
lola: 1041883 markings, 3459123 edges, 8130 markings/sec, 105 secs
lola: 1080626 markings, 3626437 edges, 7749 markings/sec, 110 secs
lola: 1120091 markings, 3799490 edges, 7893 markings/sec, 115 secs
lola: 1160063 markings, 3998382 edges, 7994 markings/sec, 120 secs
lola: 1197498 markings, 4207904 edges, 7487 markings/sec, 125 secs
lola: 1231479 markings, 4450880 edges, 6796 markings/sec, 130 secs
lola: 1279530 markings, 4597720 edges, 9610 markings/sec, 135 secs
lola: 1331104 markings, 4737519 edges, 10315 markings/sec, 140 secs
lola: 1383041 markings, 4875416 edges, 10387 markings/sec, 145 secs
lola: 1434597 markings, 5015635 edges, 10311 markings/sec, 150 secs
lola: 1486683 markings, 5153011 edges, 10417 markings/sec, 155 secs
lola: 1538086 markings, 5293709 edges, 10281 markings/sec, 160 secs
lola: 1587193 markings, 5422929 edges, 9821 markings/sec, 165 secs
lola: 1627742 markings, 5589303 edges, 8110 markings/sec, 170 secs
lola: 1665459 markings, 5754771 edges, 7543 markings/sec, 175 secs
lola: 1704740 markings, 5922151 edges, 7856 markings/sec, 180 secs
lola: 1743441 markings, 6109082 edges, 7740 markings/sec, 185 secs
lola: 1780867 markings, 6311607 edges, 7485 markings/sec, 190 secs
lola: 1813847 markings, 6553594 edges, 6596 markings/sec, 195 secs
lola: 1857519 markings, 6691695 edges, 8734 markings/sec, 200 secs
lola: 1904570 markings, 6818602 edges, 9410 markings/sec, 205 secs
lola: 1952219 markings, 6949102 edges, 9530 markings/sec, 210 secs
lola: 2000800 markings, 7079580 edges, 9716 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p3032)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 432 bytes per marking, with 2 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 55791 markings, 136024 edges, 11158 markings/sec, 0 secs
lola: 101139 markings, 253147 edges, 9070 markings/sec, 5 secs
lola: 154461 markings, 385567 edges, 10664 markings/sec, 10 secs
lola: 210042 markings, 523846 edges, 11116 markings/sec, 15 secs
lola: 260487 markings, 669664 edges, 10089 markings/sec, 20 secs
lola: 304849 markings, 836500 edges, 8872 markings/sec, 25 secs
lola: 348280 markings, 1009448 edges, 8686 markings/sec, 30 secs
lola: 386100 markings, 1208412 edges, 7564 markings/sec, 35 secs
lola: 422216 markings, 1424677 edges, 7223 markings/sec, 40 secs
lola: 469904 markings, 1572183 edges, 9538 markings/sec, 45 secs
lola: 522505 markings, 1707609 edges, 10520 markings/sec, 50 secs
lola: 575000 markings, 1840612 edges, 10499 markings/sec, 55 secs
lola: 626179 markings, 1975608 edges, 10236 markings/sec, 60 secs
lola: 678142 markings, 2106698 edges, 10393 markings/sec, 65 secs
lola: 720024 markings, 2266661 edges, 8376 markings/sec, 70 secs
lola: 761477 markings, 2425866 edges, 8291 markings/sec, 75 secs
lola: 801872 markings, 2603051 edges, 8079 markings/sec, 80 secs
lola: 838668 markings, 2809452 edges, 7359 markings/sec, 85 secs
lola: 873474 markings, 3007119 edges, 6961 markings/sec, 90 secs
lola: 925035 markings, 3144071 edges, 10312 markings/sec, 95 secs
lola: 978295 markings, 3276934 edges, 10652 markings/sec, 100 secs
lola: 1031992 markings, 3410577 edges, 10739 markings/sec, 105 secs
lola: 1085249 markings, 3543511 edges, 10651 markings/sec, 110 secs
lola: 1131852 markings, 3693546 edges, 9321 markings/sec, 115 secs
lola: 1173726 markings, 3852244 edges, 8375 markings/sec, 120 secs
lola: 1215170 markings, 4031915 edges, 8289 markings/sec, 125 secs
lola: 1251243 markings, 4216233 edges, 7215 markings/sec, 130 secs
lola: 1286953 markings, 4419987 edges, 7142 markings/sec, 135 secs
lola: 1336559 markings, 4558325 edges, 9921 markings/sec, 140 secs
lola: 1389932 markings, 4691462 edges, 10675 markings/sec, 145 secs
lola: 1442950 markings, 4823982 edges, 10604 markings/sec, 150 secs
lola: 1495986 markings, 4956526 edges, 10607 markings/sec, 155 secs
lola: 1543859 markings, 5100256 edges, 9575 markings/sec, 160 secs
lola: 1581199 markings, 5240701 edges, 7468 markings/sec, 165 secs
lola: 1621850 markings, 5397950 edges, 8130 markings/sec, 170 secs
lola: 1660425 markings, 5598661 edges, 7715 markings/sec, 175 secs
lola: 1694985 markings, 5806847 edges, 6912 markings/sec, 180 secs
lola: 1735846 markings, 5939560 edges, 8172 markings/sec, 185 secs
lola: 1786223 markings, 6067720 edges, 10075 markings/sec, 190 secs
lola: 1839355 markings, 6200424 edges, 10626 markings/sec, 195 secs
lola: 1892464 markings, 6333122 edges, 10622 markings/sec, 200 secs
lola: 1944725 markings, 6466211 edges, 10452 markings/sec, 205 secs
lola: 1987022 markings, 6624179 edges, 8459 markings/sec, 210 secs
lola: 2029635 markings, 6785627 edges, 8523 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p2167)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 432 bytes per marking, with 2 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 54158 markings, 139584 edges, 10832 markings/sec, 0 secs
lola: 107864 markings, 280804 edges, 10741 markings/sec, 5 secs
lola: 160960 markings, 427237 edges, 10619 markings/sec, 10 secs
lola: 215305 markings, 567352 edges, 10869 markings/sec, 15 secs
lola: 268970 markings, 711007 edges, 10733 markings/sec, 20 secs
lola: 322542 markings, 855730 edges, 10714 markings/sec, 25 secs
lola: 371769 markings, 1012993 edges, 9845 markings/sec, 30 secs
lola: 415720 markings, 1208509 edges, 8790 markings/sec, 35 secs
lola: 459948 markings, 1404968 edges, 8846 markings/sec, 40 secs
lola: 499440 markings, 1615916 edges, 7898 markings/sec, 45 secs
lola: 537731 markings, 1841762 edges, 7658 markings/sec, 50 secs
lola: 578884 markings, 2041342 edges, 8231 markings/sec, 55 secs
lola: 629673 markings, 2181720 edges, 10158 markings/sec, 60 secs
lola: 680750 markings, 2319799 edges, 10215 markings/sec, 65 secs
lola: 731897 markings, 2459675 edges, 10229 markings/sec, 70 secs
lola: 785056 markings, 2598022 edges, 10632 markings/sec, 75 secs
lola: 838546 markings, 2736909 edges, 10698 markings/sec, 80 secs
lola: 891387 markings, 2880926 edges, 10568 markings/sec, 85 secs
lola: 943061 markings, 3023141 edges, 10335 markings/sec, 90 secs
lola: 986616 markings, 3216488 edges, 8711 markings/sec, 95 secs
lola: 1030532 markings, 3411276 edges, 8783 markings/sec, 100 secs
lola: 1071889 markings, 3616079 edges, 8271 markings/sec, 105 secs
lola: 1109266 markings, 3833605 edges, 7475 markings/sec, 110 secs
lola: 1148428 markings, 4057014 edges, 7832 markings/sec, 115 secs
lola: 1197113 markings, 4207245 edges, 9737 markings/sec, 120 secs
lola: 1249896 markings, 4344479 edges, 10557 markings/sec, 125 secs
lola: 1301222 markings, 4482250 edges, 10265 markings/sec, 130 secs
lola: 1353192 markings, 4625635 edges, 10394 markings/sec, 135 secs
lola: 1406462 markings, 4764107 edges, 10654 markings/sec, 140 secs
lola: 1460076 markings, 4903548 edges, 10723 markings/sec, 145 secs
lola: 1512538 markings, 5046089 edges, 10492 markings/sec, 150 secs
lola: 1557673 markings, 5224754 edges, 9027 markings/sec, 155 secs
lola: 1601443 markings, 5418938 edges, 8754 markings/sec, 160 secs
lola: 1644719 markings, 5617865 edges, 8655 markings/sec, 165 secs
lola: 1681584 markings, 5835200 edges, 7373 markings/sec, 170 secs
lola: 1718986 markings, 6064032 edges, 7480 markings/sec, 175 secs
lola: 1764115 markings, 6229385 edges, 9026 markings/sec, 180 secs
lola: 1815316 markings, 6367544 edges, 10240 markings/sec, 185 secs
lola: 1867002 markings, 6502847 edges, 10337 markings/sec, 190 secs
lola: 1919511 markings, 6639711 edges, 10502 markings/sec, 195 secs
lola: 1972088 markings, 6781084 edges, 10515 markings/sec, 200 secs
lola: 2024742 markings, 6924559 edges, 10531 markings/sec, 205 secs
lola: 2078736 markings, 7064047 edges, 10799 markings/sec, 210 secs
lola: 2126592 markings, 7224964 edges, 9571 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1683)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 432 bytes per marking, with 2 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 52851 markings, 140722 edges, 10570 markings/sec, 0 secs
lola: 105258 markings, 280188 edges, 10481 markings/sec, 5 secs
lola: 157331 markings, 421125 edges, 10415 markings/sec, 10 secs
lola: 209692 markings, 564721 edges, 10472 markings/sec, 15 secs
lola: 262331 markings, 708774 edges, 10528 markings/sec, 20 secs
lola: 315122 markings, 851560 edges, 10558 markings/sec, 25 secs
lola: 363522 markings, 1010830 edges, 9680 markings/sec, 30 secs
lola: 409561 markings, 1184640 edges, 9208 markings/sec, 35 secs
lola: 450894 markings, 1380293 edges, 8267 markings/sec, 40 secs
lola: 489536 markings, 1584179 edges, 7728 markings/sec, 45 secs
lola: 523910 markings, 1854534 edges, 6875 markings/sec, 50 secs
lola: 569342 markings, 2017709 edges, 9086 markings/sec, 55 secs
lola: 617688 markings, 2167437 edges, 9669 markings/sec, 60 secs
lola: 669597 markings, 2307236 edges, 10382 markings/sec, 65 secs
lola: 721271 markings, 2445505 edges, 10335 markings/sec, 70 secs
lola: 773760 markings, 2586708 edges, 10498 markings/sec, 75 secs
lola: 826222 markings, 2730119 edges, 10492 markings/sec, 80 secs
lola: 878696 markings, 2873886 edges, 10495 markings/sec, 85 secs
lola: 926405 markings, 3021970 edges, 9542 markings/sec, 90 secs
lola: 966811 markings, 3174818 edges, 8081 markings/sec, 95 secs
lola: 1006673 markings, 3341900 edges, 7972 markings/sec, 100 secs
lola: 1045360 markings, 3531747 edges, 7737 markings/sec, 105 secs
lola: 1075191 markings, 3761348 edges, 5966 markings/sec, 110 secs
lola: 1113558 markings, 3962575 edges, 7673 markings/sec, 115 secs
lola: 1162594 markings, 4116368 edges, 9807 markings/sec, 120 secs
lola: 1214904 markings, 4255656 edges, 10462 markings/sec, 125 secs
lola: 1267479 markings, 4397548 edges, 10515 markings/sec, 130 secs
lola: 1320866 markings, 4541908 edges, 10677 markings/sec, 135 secs
lola: 1374477 markings, 4686928 edges, 10722 markings/sec, 140 secs
lola: 1427960 markings, 4832301 edges, 10697 markings/sec, 145 secs
lola: 1474783 markings, 4993547 edges, 9365 markings/sec, 150 secs
lola: 1519219 markings, 5161756 edges, 8887 markings/sec, 155 secs
lola: 1560165 markings, 5356675 edges, 8189 markings/sec, 160 secs
lola: 1597817 markings, 5550362 edges, 7530 markings/sec, 165 secs
lola: 1631114 markings, 5821718 edges, 6659 markings/sec, 170 secs
lola: 1682676 markings, 5968804 edges, 10312 markings/sec, 175 secs
lola: 1737676 markings, 6106431 edges, 11000 markings/sec, 180 secs
lola: 1792871 markings, 6245373 edges, 11039 markings/sec, 185 secs
lola: 1847186 markings, 6386751 edges, 10863 markings/sec, 190 secs
lola: 1891832 markings, 6557101 edges, 8929 markings/sec, 195 secs
lola: 1935232 markings, 6729296 edges, 8680 markings/sec, 200 secs
lola: 1974584 markings, 6921646 edges, 7870 markings/sec, 205 secs
lola: 2011815 markings, 7130185 edges, 7446 markings/sec, 210 secs
lola: 2056062 markings, 7309392 edges, 8849 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1485)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 432 bytes per marking, with 2 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 52816 markings, 141434 edges, 10563 markings/sec, 0 secs
lola: 105200 markings, 281839 edges, 10477 markings/sec, 5 secs
lola: 157770 markings, 420525 edges, 10514 markings/sec, 10 secs
lola: 210598 markings, 562200 edges, 10566 markings/sec, 15 secs
lola: 263574 markings, 704481 edges, 10595 markings/sec, 20 secs
lola: 316583 markings, 846809 edges, 10602 markings/sec, 25 secs
lola: 369588 markings, 989160 edges, 10601 markings/sec, 30 secs
lola: 415210 markings, 1165408 edges, 9124 markings/sec, 35 secs
lola: 458238 markings, 1355705 edges, 8606 markings/sec, 40 secs
lola: 501666 markings, 1548529 edges, 8686 markings/sec, 45 secs
lola: 539242 markings, 1759542 edges, 7515 markings/sec, 50 secs
lola: 576786 markings, 1984309 edges, 7509 markings/sec, 55 secs
lola: 614985 markings, 2198356 edges, 7640 markings/sec, 60 secs
lola: 663689 markings, 2343085 edges, 9741 markings/sec, 65 secs
lola: 714014 markings, 2482397 edges, 10065 markings/sec, 70 secs
lola: 764238 markings, 2622907 edges, 10045 markings/sec, 75 secs
lola: 815119 markings, 2759625 edges, 10176 markings/sec, 80 secs
lola: 866024 markings, 2896449 edges, 10181 markings/sec, 85 secs
lola: 916882 markings, 3034193 edges, 10172 markings/sec, 90 secs
lola: 966959 markings, 3172054 edges, 10015 markings/sec, 95 secs
lola: 1012896 markings, 3333661 edges, 9187 markings/sec, 100 secs
lola: 1053635 markings, 3507538 edges, 8148 markings/sec, 105 secs
lola: 1094361 markings, 3686690 edges, 8145 markings/sec, 110 secs
lola: 1135529 markings, 3874507 edges, 8234 markings/sec, 115 secs
lola: 1174421 markings, 4075790 edges, 7778 markings/sec, 120 secs
lola: 1207402 markings, 4312024 edges, 6596 markings/sec, 125 secs
lola: 1245643 markings, 4505596 edges, 7648 markings/sec, 130 secs
lola: 1296748 markings, 4645089 edges, 10221 markings/sec, 135 secs
lola: 1348241 markings, 4781774 edges, 10299 markings/sec, 140 secs
lola: 1399230 markings, 4921369 edges, 10198 markings/sec, 145 secs
lola: 1450969 markings, 5056697 edges, 10348 markings/sec, 150 secs
lola: 1501789 markings, 5197725 edges, 10164 markings/sec, 155 secs
lola: 1553888 markings, 5332331 edges, 10420 markings/sec, 160 secs
lola: 1602216 markings, 5481403 edges, 9666 markings/sec, 165 secs
lola: 1643376 markings, 5659558 edges, 8232 markings/sec, 170 secs
lola: 1684860 markings, 5836805 edges, 8297 markings/sec, 175 secs
lola: 1725919 markings, 6023745 edges, 8212 markings/sec, 180 secs
lola: 1765474 markings, 6221290 edges, 7911 markings/sec, 185 secs
lola: 1799582 markings, 6451890 edges, 6822 markings/sec, 190 secs
lola: 1838463 markings, 6644540 edges, 7776 markings/sec, 195 secs
lola: 1887399 markings, 6773485 edges, 9787 markings/sec, 200 secs
lola: 1936712 markings, 6903017 edges, 9863 markings/sec, 205 secs
lola: 1985457 markings, 7035641 edges, 9749 markings/sec, 210 secs
lola: 2034350 markings, 7170607 edges, 9779 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p3293)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 432 bytes per marking, with 2 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 50748 markings, 132620 edges, 10150 markings/sec, 0 secs
lola: 101644 markings, 266841 edges, 10179 markings/sec, 5 secs
lola: 152467 markings, 406081 edges, 10165 markings/sec, 10 secs
lola: 203954 markings, 546755 edges, 10297 markings/sec, 15 secs
lola: 256358 markings, 689178 edges, 10481 markings/sec, 20 secs
lola: 308957 markings, 831797 edges, 10520 markings/sec, 25 secs
lola: 361559 markings, 974335 edges, 10520 markings/sec, 30 secs
lola: 409292 markings, 1139060 edges, 9547 markings/sec, 35 secs
lola: 451990 markings, 1328647 edges, 8540 markings/sec, 40 secs
lola: 493407 markings, 1512026 edges, 8283 markings/sec, 45 secs
lola: 532613 markings, 1721127 edges, 7841 markings/sec, 50 secs
lola: 570001 markings, 1943291 edges, 7478 markings/sec, 55 secs
lola: 607096 markings, 2168341 edges, 7419 markings/sec, 60 secs
lola: 654181 markings, 2321400 edges, 9417 markings/sec, 65 secs
lola: 704673 markings, 2459370 edges, 10098 markings/sec, 70 secs
lola: 755219 markings, 2595507 edges, 10109 markings/sec, 75 secs
lola: 805786 markings, 2731635 edges, 10113 markings/sec, 80 secs
lola: 853615 markings, 2862856 edges, 9566 markings/sec, 85 secs
lola: 904137 markings, 2998934 edges, 10104 markings/sec, 90 secs
lola: 954328 markings, 3136924 edges, 10038 markings/sec, 95 secs
lola: 1002187 markings, 3284729 edges, 9572 markings/sec, 100 secs
lola: 1043228 markings, 3463476 edges, 8208 markings/sec, 105 secs
lola: 1083038 markings, 3638631 edges, 7962 markings/sec, 110 secs
lola: 1124513 markings, 3818273 edges, 8295 markings/sec, 115 secs
lola: 1163691 markings, 4017986 edges, 7836 markings/sec, 120 secs
lola: 1198918 markings, 4215302 edges, 7045 markings/sec, 125 secs
lola: 1232471 markings, 4455426 edges, 6711 markings/sec, 130 secs
lola: 1279949 markings, 4598656 edges, 9496 markings/sec, 135 secs
lola: 1330766 markings, 4736866 edges, 10163 markings/sec, 140 secs
lola: 1380218 markings, 4866737 edges, 9890 markings/sec, 145 secs
lola: 1430888 markings, 5005814 edges, 10134 markings/sec, 150 secs
lola: 1482192 markings, 5142095 edges, 10261 markings/sec, 155 secs
lola: 1533392 markings, 5278984 edges, 10240 markings/sec, 160 secs
lola: 1584472 markings, 5418031 edges, 10216 markings/sec, 165 secs
lola: 1628049 markings, 5590306 edges, 8715 markings/sec, 170 secs
lola: 1668539 markings, 5764592 edges, 8098 markings/sec, 175 secs
lola: 1710064 markings, 5946269 edges, 8305 markings/sec, 180 secs
lola: 1749642 markings, 6140356 edges, 7916 markings/sec, 185 secs
lola: 1787301 markings, 6345650 edges, 7532 markings/sec, 190 secs
lola: 1821761 markings, 6579334 edges, 6892 markings/sec, 195 secs
lola: 1867808 markings, 6718729 edges, 9209 markings/sec, 200 secs
lola: 1914668 markings, 6844788 edges, 9372 markings/sec, 205 secs
lola: 1963363 markings, 6977653 edges, 9739 markings/sec, 210 secs
lola: 2012734 markings, 7111312 edges, 9874 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p2728)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 432 bytes per marking, with 2 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 52538 markings, 140036 edges, 10508 markings/sec, 0 secs
lola: 104546 markings, 278630 edges, 10402 markings/sec, 5 secs
lola: 156985 markings, 417660 edges, 10488 markings/sec, 10 secs
lola: 209732 markings, 559066 edges, 10549 markings/sec, 15 secs
lola: 262581 markings, 700872 edges, 10570 markings/sec, 20 secs
lola: 315378 markings, 843243 edges, 10559 markings/sec, 25 secs
lola: 368077 markings, 986082 edges, 10540 markings/sec, 30 secs
lola: 414051 markings, 1159821 edges, 9195 markings/sec, 35 secs
lola: 456850 markings, 1350147 edges, 8560 markings/sec, 40 secs
lola: 500086 markings, 1542225 edges, 8647 markings/sec, 45 secs
lola: 538297 markings, 1752656 edges, 7642 markings/sec, 50 secs
lola: 575678 markings, 1977505 edges, 7476 markings/sec, 55 secs
lola: 613789 markings, 2190811 edges, 7622 markings/sec, 60 secs
lola: 661783 markings, 2337211 edges, 9599 markings/sec, 65 secs
lola: 712194 markings, 2475627 edges, 10082 markings/sec, 70 secs
lola: 762380 markings, 2614549 edges, 10037 markings/sec, 75 secs
lola: 812321 markings, 2754531 edges, 9988 markings/sec, 80 secs
lola: 862992 markings, 2890842 edges, 10134 markings/sec, 85 secs
lola: 913693 markings, 3027304 edges, 10140 markings/sec, 90 secs
lola: 964493 markings, 3163872 edges, 10160 markings/sec, 95 secs
lola: 1010986 markings, 3321944 edges, 9299 markings/sec, 100 secs
lola: 1051554 markings, 3500904 edges, 8114 markings/sec, 105 secs
lola: 1091494 markings, 3674290 edges, 7988 markings/sec, 110 secs
lola: 1130927 markings, 3857846 edges, 7887 markings/sec, 115 secs
lola: 1168644 markings, 4044376 edges, 7543 markings/sec, 120 secs
lola: 1203488 markings, 4244591 edges, 6969 markings/sec, 125 secs
lola: 1237202 markings, 4475870 edges, 6743 markings/sec, 130 secs
lola: 1285860 markings, 4615267 edges, 9732 markings/sec, 135 secs
lola: 1337063 markings, 4752169 edges, 10241 markings/sec, 140 secs
lola: 1388547 markings, 4891886 edges, 10297 markings/sec, 145 secs
lola: 1440219 markings, 5028227 edges, 10334 markings/sec, 150 secs
lola: 1491135 markings, 5168408 edges, 10183 markings/sec, 155 secs
lola: 1543090 markings, 5303779 edges, 10391 markings/sec, 160 secs
lola: 1593807 markings, 5446222 edges, 10143 markings/sec, 165 secs
lola: 1634155 markings, 5620118 edges, 8070 markings/sec, 170 secs
lola: 1674756 markings, 5794766 edges, 8120 markings/sec, 175 secs
lola: 1716858 markings, 5974155 edges, 8420 markings/sec, 180 secs
lola: 1756048 markings, 6173094 edges, 7838 markings/sec, 185 secs
lola: 1793365 markings, 6374304 edges, 7463 markings/sec, 190 secs
lola: 1826601 markings, 6602003 edges, 6647 markings/sec, 195 secs
lola: 1873262 markings, 6737810 edges, 9332 markings/sec, 200 secs
lola: 1922161 markings, 6866625 edges, 9780 markings/sec, 205 secs
lola: 1971762 markings, 6997682 edges, 9920 markings/sec, 210 secs
lola: 2021518 markings, 7135099 edges, 9951 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p594)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 432 bytes per marking, with 2 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 53897 markings, 125198 edges, 10779 markings/sec, 0 secs
lola: 112578 markings, 275614 edges, 11736 markings/sec, 5 secs
lola: 170617 markings, 420783 edges, 11608 markings/sec, 10 secs
lola: 226062 markings, 561538 edges, 11089 markings/sec, 15 secs
lola: 275174 markings, 690924 edges, 9822 markings/sec, 20 secs
lola: 331014 markings, 833484 edges, 11168 markings/sec, 25 secs
lola: 384288 markings, 988135 edges, 10655 markings/sec, 30 secs
lola: 434276 markings, 1169458 edges, 9998 markings/sec, 35 secs
lola: 483278 markings, 1365180 edges, 9800 markings/sec, 40 secs
lola: 528198 markings, 1577415 edges, 8984 markings/sec, 45 secs
lola: 567836 markings, 1786432 edges, 7928 markings/sec, 50 secs
lola: 622131 markings, 1930082 edges, 10859 markings/sec, 55 secs
lola: 677342 markings, 2069924 edges, 11042 markings/sec, 60 secs
lola: 732089 markings, 2212542 edges, 10949 markings/sec, 65 secs
lola: 786669 markings, 2356263 edges, 10916 markings/sec, 70 secs
lola: 834180 markings, 2527696 edges, 9502 markings/sec, 75 secs
lola: 883234 markings, 2707152 edges, 9811 markings/sec, 80 secs
lola: 928601 markings, 2923342 edges, 9073 markings/sec, 85 secs
lola: 966663 markings, 3144650 edges, 7612 markings/sec, 90 secs
lola: 1018045 markings, 3293638 edges, 10276 markings/sec, 95 secs
lola: 1072826 markings, 3434002 edges, 10956 markings/sec, 100 secs
lola: 1127705 markings, 3577395 edges, 10976 markings/sec, 105 secs
lola: 1183375 markings, 3719346 edges, 11134 markings/sec, 110 secs
lola: 1233663 markings, 3884635 edges, 10058 markings/sec, 115 secs
lola: 1282955 markings, 4063374 edges, 9858 markings/sec, 120 secs
lola: 1329266 markings, 4270453 edges, 9262 markings/sec, 125 secs
lola: 1370168 markings, 4493137 edges, 8180 markings/sec, 130 secs
lola: 1417832 markings, 4664034 edges, 9533 markings/sec, 135 secs
lola: 1476473 markings, 4810971 edges, 11728 markings/sec, 140 secs
lola: 1531355 markings, 4951400 edges, 10976 markings/sec, 145 secs
lola: 1586048 markings, 5093376 edges, 10939 markings/sec, 150 secs
lola: 1641269 markings, 5234444 edges, 11044 markings/sec, 155 secs
lola: 1690409 markings, 5363312 edges, 9828 markings/sec, 160 secs
lola: 1739708 markings, 5537308 edges, 9860 markings/sec, 165 secs
lola: 1789827 markings, 5718544 edges, 10024 markings/sec, 170 secs
lola: 1835286 markings, 5932658 edges, 9092 markings/sec, 175 secs
lola: 1872749 markings, 6159890 edges, 7493 markings/sec, 180 secs
lola: 1923286 markings, 6306261 edges, 10107 markings/sec, 185 secs
lola: 1976994 markings, 6446947 edges, 10742 markings/sec, 190 secs
lola: 2031835 markings, 6586170 edges, 10968 markings/sec, 195 secs
lola: 2080509 markings, 6713111 edges, 9735 markings/sec, 200 secs
lola: 2131350 markings, 6867001 edges, 10168 markings/sec, 205 secs
lola: 2179029 markings, 7039184 edges, 9536 markings/sec, 210 secs
lola: 2226311 markings, 7232416 edges, 9456 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p3119)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 432 bytes per marking, with 2 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 53055 markings, 142662 edges, 10611 markings/sec, 0 secs
lola: 106079 markings, 284333 edges, 10605 markings/sec, 5 secs
lola: 159191 markings, 427563 edges, 10622 markings/sec, 10 secs
lola: 212655 markings, 571733 edges, 10693 markings/sec, 15 secs
lola: 266153 markings, 715971 edges, 10700 markings/sec, 20 secs
lola: 319654 markings, 860124 edges, 10700 markings/sec, 25 secs
lola: 372855 markings, 1003336 edges, 10640 markings/sec, 30 secs
lola: 418497 markings, 1179412 edges, 9128 markings/sec, 35 secs
lola: 462019 markings, 1372545 edges, 8704 markings/sec, 40 secs
lola: 505648 markings, 1566160 edges, 8726 markings/sec, 45 secs
lola: 543576 markings, 1783062 edges, 7586 markings/sec, 50 secs
lola: 581133 markings, 2010651 edges, 7511 markings/sec, 55 secs
lola: 619628 markings, 2215379 edges, 7699 markings/sec, 60 secs
lola: 667600 markings, 2358785 edges, 9594 markings/sec, 65 secs
lola: 718608 markings, 2495768 edges, 10202 markings/sec, 70 secs
lola: 769460 markings, 2632435 edges, 10170 markings/sec, 75 secs
lola: 820498 markings, 2771084 edges, 10208 markings/sec, 80 secs
lola: 871575 markings, 2913279 edges, 10215 markings/sec, 85 secs
lola: 922462 markings, 3054237 edges, 10177 markings/sec, 90 secs
lola: 973861 markings, 3191985 edges, 10280 markings/sec, 95 secs
lola: 1019178 markings, 3359143 edges, 9063 markings/sec, 100 secs
lola: 1059411 markings, 3535494 edges, 8047 markings/sec, 105 secs
lola: 1101094 markings, 3716170 edges, 8337 markings/sec, 110 secs
lola: 1141981 markings, 3898853 edges, 8177 markings/sec, 115 secs
lola: 1179904 markings, 4110868 edges, 7585 markings/sec, 120 secs
lola: 1212027 markings, 4358975 edges, 6425 markings/sec, 125 secs
lola: 1254238 markings, 4528232 edges, 8442 markings/sec, 130 secs
lola: 1305775 markings, 4671464 edges, 10307 markings/sec, 135 secs
lola: 1347292 markings, 4778550 edges, 8303 markings/sec, 140 secs
lola: 1397971 markings, 4919071 edges, 10136 markings/sec, 145 secs
lola: 1450379 markings, 5054592 edges, 10482 markings/sec, 150 secs
lola: 1500936 markings, 5195940 edges, 10111 markings/sec, 155 secs
lola: 1548525 markings, 5322619 edges, 9518 markings/sec, 160 secs
lola: 1598093 markings, 5463865 edges, 9914 markings/sec, 165 secs
lola: 1639498 markings, 5642035 edges, 8281 markings/sec, 170 secs
lola: 1681375 markings, 5820643 edges, 8375 markings/sec, 175 secs
lola: 1722753 markings, 6001701 edges, 8276 markings/sec, 180 secs
lola: 1762134 markings, 6203401 edges, 7876 markings/sec, 185 secs
lola: 1797424 markings, 6428423 edges, 7058 markings/sec, 190 secs
lola: 1836079 markings, 6633285 edges, 7731 markings/sec, 195 secs
lola: 1884992 markings, 6769143 edges, 9783 markings/sec, 200 secs
lola: 1935062 markings, 6900077 edges, 10014 markings/sec, 205 secs
lola: 1985227 markings, 7035087 edges, 10033 markings/sec, 210 secs
lola: 2035285 markings, 7172234 edges, 10012 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1538)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 432 bytes per marking, with 2 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 56675 markings, 138569 edges, 11335 markings/sec, 0 secs
lola: 111647 markings, 274589 edges, 10994 markings/sec, 5 secs
lola: 166341 markings, 410385 edges, 10939 markings/sec, 10 secs
lola: 220872 markings, 547891 edges, 10906 markings/sec, 15 secs
lola: 275087 markings, 682602 edges, 10843 markings/sec, 20 secs
lola: 332069 markings, 810027 edges, 11396 markings/sec, 25 secs
lola: 391643 markings, 922553 edges, 11915 markings/sec, 30 secs
lola: 447037 markings, 1064286 edges, 11079 markings/sec, 35 secs
lola: 501399 markings, 1198264 edges, 10872 markings/sec, 40 secs
lola: 553891 markings, 1331248 edges, 10498 markings/sec, 45 secs
lola: 606437 markings, 1466510 edges, 10509 markings/sec, 50 secs
lola: 659537 markings, 1597875 edges, 10620 markings/sec, 55 secs
lola: 713646 markings, 1734819 edges, 10822 markings/sec, 60 secs
lola: 768078 markings, 1865681 edges, 10886 markings/sec, 65 secs
lola: 821417 markings, 2000501 edges, 10668 markings/sec, 70 secs
lola: 872682 markings, 2130389 edges, 10253 markings/sec, 75 secs
lola: 923807 markings, 2259552 edges, 10225 markings/sec, 80 secs
lola: 974923 markings, 2388652 edges, 10223 markings/sec, 85 secs
lola: 1028035 markings, 2524812 edges, 10622 markings/sec, 90 secs
lola: 1082398 markings, 2659020 edges, 10873 markings/sec, 95 secs
lola: 1127919 markings, 2771957 edges, 9104 markings/sec, 100 secs
lola: 1178472 markings, 2900042 edges, 10111 markings/sec, 105 secs
lola: 1229739 markings, 3029271 edges, 10253 markings/sec, 110 secs
lola: 1281734 markings, 3159739 edges, 10399 markings/sec, 115 secs
lola: 1334876 markings, 3293913 edges, 10628 markings/sec, 120 secs
lola: 1386910 markings, 3423255 edges, 10407 markings/sec, 125 secs
lola: 1440341 markings, 3558728 edges, 10686 markings/sec, 130 secs
lola: 1492593 markings, 3692712 edges, 10450 markings/sec, 135 secs
lola: 1545223 markings, 3825925 edges, 10526 markings/sec, 140 secs
lola: 1598622 markings, 3958662 edges, 10680 markings/sec, 145 secs
lola: 1652900 markings, 4095587 edges, 10856 markings/sec, 150 secs
lola: 1708997 markings, 4235310 edges, 11219 markings/sec, 155 secs
lola: 1757213 markings, 4356256 edges, 9643 markings/sec, 160 secs
lola: 1812014 markings, 4495330 edges, 10960 markings/sec, 165 secs
lola: 1866600 markings, 4637578 edges, 10917 markings/sec, 170 secs
lola: 1910371 markings, 4802020 edges, 8754 markings/sec, 175 secs
lola: 1954830 markings, 4970591 edges, 8892 markings/sec, 180 secs
lola: 1991827 markings, 5157563 edges, 7399 markings/sec, 185 secs
lola: 2027453 markings, 5349255 edges, 7125 markings/sec, 190 secs
lola: 2065841 markings, 5516748 edges, 7678 markings/sec, 195 secs
lola: 2113481 markings, 5634586 edges, 9528 markings/sec, 200 secs
lola: 2167674 markings, 5772497 edges, 10839 markings/sec, 205 secs
lola: 2222149 markings, 5907538 edges, 10895 markings/sec, 210 secs
lola: 2277111 markings, 6044157 edges, 10992 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p3425)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 432 bytes per marking, with 2 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 52107 markings, 135940 edges, 10421 markings/sec, 0 secs
lola: 103750 markings, 274293 edges, 10329 markings/sec, 5 secs
lola: 145113 markings, 385018 edges, 8273 markings/sec, 10 secs
lola: 196745 markings, 526062 edges, 10326 markings/sec, 15 secs
lola: 249476 markings, 664664 edges, 10546 markings/sec, 20 secs
lola: 301222 markings, 808337 edges, 10349 markings/sec, 25 secs
lola: 343736 markings, 917220 edges, 8503 markings/sec, 30 secs
lola: 387197 markings, 1097764 edges, 8692 markings/sec, 35 secs
lola: 428814 markings, 1273141 edges, 8323 markings/sec, 40 secs
lola: 471571 markings, 1459367 edges, 8551 markings/sec, 45 secs
lola: 508595 markings, 1650126 edges, 7405 markings/sec, 50 secs
lola: 545623 markings, 1893983 edges, 7406 markings/sec, 55 secs
lola: 588487 markings, 2072609 edges, 8573 markings/sec, 60 secs
lola: 636783 markings, 2219655 edges, 9659 markings/sec, 65 secs
lola: 686645 markings, 2357212 edges, 9972 markings/sec, 70 secs
lola: 737807 markings, 2490099 edges, 10232 markings/sec, 75 secs
lola: 788473 markings, 2627414 edges, 10133 markings/sec, 80 secs
lola: 839798 markings, 2765520 edges, 10265 markings/sec, 85 secs
lola: 880929 markings, 2876403 edges, 8226 markings/sec, 90 secs
lola: 933069 markings, 3015012 edges, 10428 markings/sec, 95 secs
lola: 976267 markings, 3188452 edges, 8640 markings/sec, 100 secs
lola: 1017084 markings, 3361358 edges, 8163 markings/sec, 105 secs
lola: 1058918 markings, 3540936 edges, 8367 markings/sec, 110 secs
lola: 1095551 markings, 3728793 edges, 7327 markings/sec, 115 secs
lola: 1132173 markings, 3929349 edges, 7324 markings/sec, 120 secs
lola: 1169574 markings, 4138229 edges, 7480 markings/sec, 125 secs
lola: 1218846 markings, 4282594 edges, 9854 markings/sec, 130 secs
lola: 1268007 markings, 4418414 edges, 9832 markings/sec, 135 secs
lola: 1316939 markings, 4553921 edges, 9786 markings/sec, 140 secs
lola: 1365242 markings, 4688527 edges, 9661 markings/sec, 145 secs
lola: 1413901 markings, 4825360 edges, 9732 markings/sec, 150 secs
lola: 1463798 markings, 4968626 edges, 9979 markings/sec, 155 secs
lola: 1512305 markings, 5108586 edges, 9701 markings/sec, 160 secs
lola: 1555662 markings, 5275153 edges, 8671 markings/sec, 165 secs
lola: 1595987 markings, 5429413 edges, 8065 markings/sec, 170 secs
lola: 1635434 markings, 5628070 edges, 7889 markings/sec, 175 secs
lola: 1671701 markings, 5843131 edges, 7253 markings/sec, 180 secs
lola: 1704623 markings, 6120907 edges, 6584 markings/sec, 185 secs
lola: 1750642 markings, 6271594 edges, 9204 markings/sec, 190 secs
lola: 1801081 markings, 6407203 edges, 10088 markings/sec, 195 secs
lola: 1851487 markings, 6541231 edges, 10081 markings/sec, 200 secs
lola: 1900683 markings, 6677878 edges, 9839 markings/sec, 205 secs
lola: 1941994 markings, 6789366 edges, 8262 markings/sec, 210 secs
lola: 1993407 markings, 6926184 edges, 10283 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p377)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 432 bytes per marking, with 2 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 51240 markings, 135658 edges, 10248 markings/sec, 0 secs
lola: 102549 markings, 270099 edges, 10262 markings/sec, 5 secs
lola: 153624 markings, 408213 edges, 10215 markings/sec, 10 secs
lola: 199159 markings, 535399 edges, 9107 markings/sec, 15 secs
lola: 249451 markings, 665691 edges, 10058 markings/sec, 20 secs
lola: 300991 markings, 805346 edges, 10308 markings/sec, 25 secs
lola: 352327 markings, 945757 edges, 10267 markings/sec, 30 secs
lola: 399962 markings, 1097361 edges, 9527 markings/sec, 35 secs
lola: 441804 markings, 1283023 edges, 8368 markings/sec, 40 secs
lola: 484122 markings, 1471389 edges, 8464 markings/sec, 45 secs
lola: 524189 markings, 1671583 edges, 8013 markings/sec, 50 secs
lola: 556460 markings, 1865596 edges, 6454 markings/sec, 55 secs
lola: 590781 markings, 2085407 edges, 6864 markings/sec, 60 secs
lola: 632110 markings, 2261101 edges, 8266 markings/sec, 65 secs
lola: 682222 markings, 2396443 edges, 10022 markings/sec, 70 secs
lola: 732028 markings, 2531254 edges, 9961 markings/sec, 75 secs
lola: 781914 markings, 2666159 edges, 9977 markings/sec, 80 secs
lola: 831603 markings, 2800695 edges, 9938 markings/sec, 85 secs
lola: 880523 markings, 2934851 edges, 9784 markings/sec, 90 secs
lola: 930181 markings, 3070995 edges, 9932 markings/sec, 95 secs
lola: 979553 markings, 3206541 edges, 9874 markings/sec, 100 secs
lola: 1022447 markings, 3375286 edges, 8579 markings/sec, 105 secs
lola: 1062442 markings, 3546335 edges, 7999 markings/sec, 110 secs
lola: 1098050 markings, 3704121 edges, 7122 markings/sec, 115 secs
lola: 1137049 markings, 3879658 edges, 7800 markings/sec, 120 secs
lola: 1175345 markings, 4081118 edges, 7659 markings/sec, 125 secs
lola: 1207875 markings, 4315658 edges, 6506 markings/sec, 130 secs
lola: 1245828 markings, 4507060 edges, 7591 markings/sec, 135 secs
lola: 1296189 markings, 4644055 edges, 10072 markings/sec, 140 secs
lola: 1347147 markings, 4778143 edges, 10192 markings/sec, 145 secs
lola: 1397109 markings, 4917310 edges, 9992 markings/sec, 150 secs
lola: 1442485 markings, 5037223 edges, 9075 markings/sec, 155 secs
lola: 1490283 markings, 5166785 edges, 9560 markings/sec, 160 secs
lola: 1541261 markings, 5299433 edges, 10196 markings/sec, 165 secs
lola: 1591136 markings, 5433920 edges, 9975 markings/sec, 170 secs
lola: 1632552 markings, 5609655 edges, 8283 markings/sec, 175 secs
lola: 1671871 markings, 5780227 edges, 7864 markings/sec, 180 secs
lola: 1712317 markings, 5954489 edges, 8089 markings/sec, 185 secs
lola: 1750957 markings, 6146768 edges, 7728 markings/sec, 190 secs
lola: 1787737 markings, 6347747 edges, 7356 markings/sec, 195 secs
lola: 1821386 markings, 6577649 edges, 6730 markings/sec, 200 secs
lola: 1866936 markings, 6716207 edges, 9110 markings/sec, 205 secs
lola: 1914918 markings, 6845555 edges, 9596 markings/sec, 210 secs
lola: 1963209 markings, 6976099 edges, 9658 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p2601)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 432 bytes per marking, with 2 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 51877 markings, 138566 edges, 10375 markings/sec, 0 secs
lola: 103466 markings, 276357 edges, 10318 markings/sec, 5 secs
lola: 154584 markings, 415579 edges, 10224 markings/sec, 10 secs
lola: 206998 markings, 557977 edges, 10483 markings/sec, 15 secs
lola: 260018 markings, 701568 edges, 10604 markings/sec, 20 secs
lola: 312538 markings, 844170 edges, 10504 markings/sec, 25 secs
lola: 359051 markings, 1001688 edges, 9303 markings/sec, 30 secs
lola: 401493 markings, 1180628 edges, 8488 markings/sec, 35 secs
lola: 439943 markings, 1384047 edges, 7690 markings/sec, 40 secs
lola: 477751 markings, 1595644 edges, 7562 markings/sec, 45 secs
lola: 520669 markings, 1786562 edges, 8584 markings/sec, 50 secs
lola: 563805 markings, 1977823 edges, 8627 markings/sec, 55 secs
lola: 607123 markings, 2166924 edges, 8664 markings/sec, 60 secs
lola: 654894 markings, 2315667 edges, 9554 markings/sec, 65 secs
lola: 708176 markings, 2446035 edges, 10656 markings/sec, 70 secs
lola: 760957 markings, 2580215 edges, 10556 markings/sec, 75 secs
lola: 813430 markings, 2710729 edges, 10495 markings/sec, 80 secs
lola: 865185 markings, 2841132 edges, 10351 markings/sec, 85 secs
lola: 907170 markings, 3001625 edges, 8397 markings/sec, 90 secs
lola: 948807 markings, 3172081 edges, 8327 markings/sec, 95 secs
lola: 987008 markings, 3362073 edges, 7640 markings/sec, 100 secs
lola: 1021382 markings, 3583781 edges, 6875 markings/sec, 105 secs
lola: 1064475 markings, 3729155 edges, 8619 markings/sec, 110 secs
lola: 1105898 markings, 3912652 edges, 8285 markings/sec, 115 secs
lola: 1152144 markings, 4054170 edges, 9249 markings/sec, 120 secs
lola: 1193966 markings, 4238776 edges, 8364 markings/sec, 125 secs
lola: 1238986 markings, 4421634 edges, 9004 markings/sec, 130 secs
lola: 1292750 markings, 4555447 edges, 10753 markings/sec, 135 secs
lola: 1346430 markings, 4689884 edges, 10736 markings/sec, 140 secs
lola: 1400515 markings, 4821579 edges, 10817 markings/sec, 145 secs
lola: 1453679 markings, 4954827 edges, 10633 markings/sec, 150 secs
lola: 1495795 markings, 5117770 edges, 8423 markings/sec, 155 secs
lola: 1537437 markings, 5288019 edges, 8328 markings/sec, 160 secs
lola: 1576120 markings, 5477674 edges, 7737 markings/sec, 165 secs
lola: 1610729 markings, 5703410 edges, 6922 markings/sec, 170 secs
lola: 1654333 markings, 5850486 edges, 8721 markings/sec, 175 secs
lola: 1696635 markings, 6036084 edges, 8460 markings/sec, 180 secs
lola: 1743540 markings, 6184410 edges, 9381 markings/sec, 185 secs
lola: 1786242 markings, 6366563 edges, 8540 markings/sec, 190 secs
lola: 1830960 markings, 6546732 edges, 8944 markings/sec, 195 secs
lola: 1882690 markings, 6676136 edges, 10346 markings/sec, 200 secs
lola: 1935014 markings, 6808333 edges, 10465 markings/sec, 205 secs
lola: 1987494 markings, 6938386 edges, 10496 markings/sec, 210 secs
lola: 2040299 markings, 7068762 edges, 10561 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p3144)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 432 bytes per marking, with 2 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 52619 markings, 140175 edges, 10524 markings/sec, 0 secs
lola: 105395 markings, 282577 edges, 10555 markings/sec, 5 secs
lola: 156826 markings, 417074 edges, 10286 markings/sec, 10 secs
lola: 208308 markings, 554525 edges, 10296 markings/sec, 15 secs
lola: 261331 markings, 697970 edges, 10605 markings/sec, 20 secs
lola: 314760 markings, 842125 edges, 10686 markings/sec, 25 secs
lola: 365910 markings, 982187 edges, 10230 markings/sec, 30 secs
lola: 405388 markings, 1121640 edges, 7896 markings/sec, 35 secs
lola: 448434 markings, 1312953 edges, 8609 markings/sec, 40 secs
lola: 492068 markings, 1506629 edges, 8727 markings/sec, 45 secs
lola: 530945 markings, 1711326 edges, 7775 markings/sec, 50 secs
lola: 568932 markings, 1933270 edges, 7597 markings/sec, 55 secs
lola: 605949 markings, 2165054 edges, 7403 markings/sec, 60 secs
lola: 653889 markings, 2319406 edges, 9588 markings/sec, 65 secs
lola: 704614 markings, 2459194 edges, 10145 markings/sec, 70 secs
lola: 755751 markings, 2596469 edges, 10227 markings/sec, 75 secs
lola: 806741 markings, 2733427 edges, 10198 markings/sec, 80 secs
lola: 857801 markings, 2873393 edges, 10212 markings/sec, 85 secs
lola: 908228 markings, 3014566 edges, 10085 markings/sec, 90 secs
lola: 958119 markings, 3152267 edges, 9978 markings/sec, 95 secs
lola: 1006455 markings, 3302046 edges, 9667 markings/sec, 100 secs
lola: 1047213 markings, 3481469 edges, 8152 markings/sec, 105 secs
lola: 1086653 markings, 3652558 edges, 7888 markings/sec, 110 secs
lola: 1120991 markings, 3804726 edges, 6868 markings/sec, 115 secs
lola: 1161064 markings, 4003826 edges, 8015 markings/sec, 120 secs
lola: 1198489 markings, 4212769 edges, 7485 markings/sec, 125 secs
lola: 1231083 markings, 4449177 edges, 6519 markings/sec, 130 secs
lola: 1270322 markings, 4577066 edges, 7848 markings/sec, 135 secs
lola: 1322730 markings, 4712235 edges, 10482 markings/sec, 140 secs
lola: 1373970 markings, 4855237 edges, 10248 markings/sec, 145 secs
lola: 1426705 markings, 4991225 edges, 10547 markings/sec, 150 secs
lola: 1477739 markings, 5133648 edges, 10207 markings/sec, 155 secs
lola: 1530043 markings, 5268975 edges, 10461 markings/sec, 160 secs
lola: 1580743 markings, 5406382 edges, 10140 markings/sec, 165 secs
lola: 1624987 markings, 5579742 edges, 8849 markings/sec, 170 secs
lola: 1666149 markings, 5757194 edges, 8232 markings/sec, 175 secs
lola: 1708944 markings, 5938595 edges, 8559 markings/sec, 180 secs
lola: 1748832 markings, 6136548 edges, 7978 markings/sec, 185 secs
lola: 1787156 markings, 6343691 edges, 7665 markings/sec, 190 secs
lola: 1822202 markings, 6581092 edges, 7009 markings/sec, 195 secs
lola: 1868896 markings, 6722076 edges, 9339 markings/sec, 200 secs
lola: 1917661 markings, 6856551 edges, 9753 markings/sec, 205 secs
lola: 1967719 markings, 6989445 edges, 10012 markings/sec, 210 secs
lola: 2018051 markings, 7121889 edges, 10066 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p259)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 432 bytes per marking, with 2 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 51970 markings, 138634 edges, 10394 markings/sec, 0 secs
lola: 104253 markings, 276272 edges, 10457 markings/sec, 5 secs
lola: 156391 markings, 415473 edges, 10428 markings/sec, 10 secs
lola: 208602 markings, 555034 edges, 10442 markings/sec, 15 secs
lola: 260199 markings, 696001 edges, 10319 markings/sec, 20 secs
lola: 311922 markings, 837084 edges, 10345 markings/sec, 25 secs
lola: 363732 markings, 978397 edges, 10362 markings/sec, 30 secs
lola: 410292 markings, 1143048 edges, 9312 markings/sec, 35 secs
lola: 452404 markings, 1330629 edges, 8422 markings/sec, 40 secs
lola: 494899 markings, 1518807 edges, 8499 markings/sec, 45 secs
lola: 533106 markings, 1723076 edges, 7641 markings/sec, 50 secs
lola: 569649 markings, 1943545 edges, 7309 markings/sec, 55 secs
lola: 605882 markings, 2164090 edges, 7247 markings/sec, 60 secs
lola: 653281 markings, 2312790 edges, 9480 markings/sec, 65 secs
lola: 704750 markings, 2450795 edges, 10294 markings/sec, 70 secs
lola: 755882 markings, 2590850 edges, 10226 markings/sec, 75 secs
lola: 807523 markings, 2731799 edges, 10328 markings/sec, 80 secs
lola: 858667 markings, 2871900 edges, 10229 markings/sec, 85 secs
lola: 910924 markings, 3011554 edges, 10451 markings/sec, 90 secs
lola: 962347 markings, 3146853 edges, 10285 markings/sec, 95 secs
lola: 1013847 markings, 3283717 edges, 10300 markings/sec, 100 secs
lola: 1054458 markings, 3460636 edges, 8122 markings/sec, 105 secs
lola: 1096512 markings, 3647333 edges, 8411 markings/sec, 110 secs
lola: 1138783 markings, 3836996 edges, 8454 markings/sec, 115 secs
lola: 1174987 markings, 4045780 edges, 7241 markings/sec, 120 secs
lola: 1211486 markings, 4267759 edges, 7300 markings/sec, 125 secs
lola: 1250071 markings, 4471601 edges, 7717 markings/sec, 130 secs
lola: 1299450 markings, 4616467 edges, 9876 markings/sec, 135 secs
lola: 1351046 markings, 4751382 edges, 10319 markings/sec, 140 secs
lola: 1402642 markings, 4889405 edges, 10319 markings/sec, 145 secs
lola: 1449814 markings, 5022377 edges, 9434 markings/sec, 150 secs
lola: 1499971 markings, 5155747 edges, 10031 markings/sec, 155 secs
lola: 1552141 markings, 5293611 edges, 10434 markings/sec, 160 secs
lola: 1604312 markings, 5433009 edges, 10434 markings/sec, 165 secs
lola: 1651566 markings, 5569491 edges, 9451 markings/sec, 170 secs
lola: 1690673 markings, 5743244 edges, 7821 markings/sec, 175 secs
lola: 1732164 markings, 5927934 edges, 8298 markings/sec, 180 secs
lola: 1774109 markings, 6120481 edges, 8389 markings/sec, 185 secs
lola: 1810782 markings, 6332427 edges, 7335 markings/sec, 190 secs
lola: 1847264 markings, 6551811 edges, 7296 markings/sec, 195 secs
lola: 1886650 markings, 6746047 edges, 7877 markings/sec, 200 secs
lola: 1936739 markings, 6889336 edges, 10018 markings/sec, 205 secs
lola: 1984181 markings, 7020019 edges, 9488 markings/sec, 210 secs
lola: 2033777 markings, 7147928 edges, 9919 markings/sec, 215 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA FlexibleBarrier-PT-16b-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-16b-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-16b-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-16b-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-16b-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-16b-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-16b-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-16b-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-16b-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-16b-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-16b-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-16b-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-16b-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-16b-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-16b-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-16b-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496495969131

--------------------
content from stderr:

----- Start make prepare stderr -----
----- Start make result stderr -----
----- Start make result stderr -----
----- Kill lola and sara stderr -----
----- Finished stderr -----

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="FlexibleBarrier-PT-16b"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

tar xzf /home/mcc/BenchKit/INPUTS/FlexibleBarrier-PT-16b.tgz
mv FlexibleBarrier-PT-16b execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool lola"
echo " Input is FlexibleBarrier-PT-16b, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r188-blw3-149581034300119"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' UpperBounds.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;