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 HexagonalGrid-PT-516, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r188-blw3-149581034500227
=====================================================================

--------------------
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 HexagonalGrid-PT-516-UpperBounds-0
FORMULA_NAME HexagonalGrid-PT-516-UpperBounds-1
FORMULA_NAME HexagonalGrid-PT-516-UpperBounds-10
FORMULA_NAME HexagonalGrid-PT-516-UpperBounds-11
FORMULA_NAME HexagonalGrid-PT-516-UpperBounds-12
FORMULA_NAME HexagonalGrid-PT-516-UpperBounds-13
FORMULA_NAME HexagonalGrid-PT-516-UpperBounds-14
FORMULA_NAME HexagonalGrid-PT-516-UpperBounds-15
FORMULA_NAME HexagonalGrid-PT-516-UpperBounds-2
FORMULA_NAME HexagonalGrid-PT-516-UpperBounds-3
FORMULA_NAME HexagonalGrid-PT-516-UpperBounds-4
FORMULA_NAME HexagonalGrid-PT-516-UpperBounds-5
FORMULA_NAME HexagonalGrid-PT-516-UpperBounds-6
FORMULA_NAME HexagonalGrid-PT-516-UpperBounds-7
FORMULA_NAME HexagonalGrid-PT-516-UpperBounds-8
FORMULA_NAME HexagonalGrid-PT-516-UpperBounds-9

=== Now, execution of the tool begins

BK_START 1496504124933


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


checking for too many tokens
===========================================================================================
HexagonalGrid-PT-516: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ HexagonalGrid-PT-516 @ 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: 3517/65536 symbol table entries, 889 collisions
lola: preprocessing...
lola: finding significant places
lola: 1267 places, 2250 transitions, 785 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2731 transition conflict sets
lola: TASK
lola: reading formula from HexagonalGrid-PT-516-UpperBounds.task
lola: MAX(po1_9_3) : MAX(pbl_2_4) : MAX(pi2_2_2) : MAX(pil3_3_1) : MAX(pi1_8_4) : MAX(pb5_5_4) : MAX(pil1_8_1) : MAX(pb5_9_1) : MAX(pi1_6_6) : MAX(pil2_5_3) : MAX(pb6_8_1) : MAX(pol1_6_2) : MAX(pil3_5_8) : MAX(pi1_7_2) : MAX(pb6_7_5) : MAX(pb2_8_3)
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(po1_9_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3140 bytes per marking, with 0 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: 417310 markings, 436748 edges, 83462 markings/sec, 0 secs
lola: 741977 markings, 774870 edges, 64933 markings/sec, 5 secs
lola: 1046164 markings, 1097732 edges, 60837 markings/sec, 10 secs
lola: 1332953 markings, 1402445 edges, 57358 markings/sec, 15 secs
lola: 1594409 markings, 1679987 edges, 52291 markings/sec, 20 secs
lola: 1858360 markings, 1962832 edges, 52790 markings/sec, 25 secs
lola: 2188487 markings, 2307098 edges, 66025 markings/sec, 30 secs
lola: 2465177 markings, 2597513 edges, 55338 markings/sec, 35 secs
lola: 2729761 markings, 2878069 edges, 52917 markings/sec, 40 secs
lola: 3004812 markings, 3168159 edges, 55010 markings/sec, 45 secs
lola: 3249643 markings, 3427317 edges, 48966 markings/sec, 50 secs
lola: 3497801 markings, 3690425 edges, 49632 markings/sec, 55 secs
lola: 3618426 markings, 4058274 edges, 24125 markings/sec, 60 secs
lola: 3853987 markings, 4308550 edges, 47112 markings/sec, 65 secs
lola: 3982049 markings, 4683404 edges, 25612 markings/sec, 70 secs
lola: 4274831 markings, 4989771 edges, 58556 markings/sec, 75 secs
lola: 4537240 markings, 5264331 edges, 52482 markings/sec, 80 secs
lola: 4798874 markings, 5542793 edges, 52327 markings/sec, 85 secs
lola: 5054426 markings, 5814135 edges, 51110 markings/sec, 90 secs
lola: 5291808 markings, 6066449 edges, 47476 markings/sec, 95 secs
lola: 5535443 markings, 6327919 edges, 48727 markings/sec, 100 secs
lola: 5806194 markings, 6611982 edges, 54150 markings/sec, 105 secs
lola: 6071344 markings, 6889045 edges, 53030 markings/sec, 110 secs
lola: 6326240 markings, 7156083 edges, 50979 markings/sec, 115 secs
lola: 6571817 markings, 7416717 edges, 49115 markings/sec, 120 secs
lola: 6807113 markings, 7666889 edges, 47059 markings/sec, 125 secs
lola: 7038092 markings, 7909648 edges, 46196 markings/sec, 130 secs
lola: 7275784 markings, 8164397 edges, 47538 markings/sec, 135 secs
lola: 7394651 markings, 8528171 edges, 23773 markings/sec, 140 secs
lola: 7624710 markings, 8773380 edges, 46012 markings/sec, 145 secs
lola: 7751009 markings, 9145689 edges, 25260 markings/sec, 150 secs
lola: 8041697 markings, 9449000 edges, 58138 markings/sec, 155 secs
lola: 8306932 markings, 9726811 edges, 53047 markings/sec, 160 secs
lola: 8569926 markings, 10007072 edges, 52599 markings/sec, 165 secs
lola: 8827857 markings, 10281215 edges, 51586 markings/sec, 170 secs
lola: 9070057 markings, 10538633 edges, 48440 markings/sec, 175 secs
lola: 9300148 markings, 10786852 edges, 46018 markings/sec, 180 secs
lola: 9572026 markings, 11070264 edges, 54376 markings/sec, 185 secs
lola: 9834419 markings, 11344914 edges, 52479 markings/sec, 190 secs
lola: 10072295 markings, 11594011 edges, 47575 markings/sec, 195 secs
lola: 10315561 markings, 11852120 edges, 48653 markings/sec, 200 secs
lola: 10553058 markings, 12104675 edges, 47499 markings/sec, 205 secs
lola: 10781943 markings, 12345336 edges, 45777 markings/sec, 210 secs
lola: 11017810 markings, 12596743 edges, 47173 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(pbl_2_4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3140 bytes per marking, with 0 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: 501452 markings, 505933 edges, 100290 markings/sec, 0 secs
lola: 989960 markings, 997259 edges, 97702 markings/sec, 5 secs
lola: 1430012 markings, 1441804 edges, 88010 markings/sec, 10 secs
lola: 1783085 markings, 1800820 edges, 70615 markings/sec, 15 secs
lola: 2140784 markings, 2165852 edges, 71540 markings/sec, 20 secs
lola: 2450346 markings, 2478295 edges, 61912 markings/sec, 25 secs
lola: 2762882 markings, 2794806 edges, 62507 markings/sec, 30 secs
lola: 3071292 markings, 3107164 edges, 61682 markings/sec, 35 secs
lola: 3389290 markings, 3431224 edges, 63600 markings/sec, 40 secs
lola: 3676131 markings, 3721505 edges, 57368 markings/sec, 45 secs
lola: 3972451 markings, 4021181 edges, 59264 markings/sec, 50 secs
lola: 4254083 markings, 4306481 edges, 56326 markings/sec, 55 secs
lola: 4495899 markings, 4552450 edges, 48363 markings/sec, 60 secs
lola: 4761953 markings, 4823283 edges, 53211 markings/sec, 65 secs
lola: 5005089 markings, 5071923 edges, 48627 markings/sec, 70 secs
lola: 5259831 markings, 5334436 edges, 50948 markings/sec, 75 secs
lola: 5542586 markings, 5625786 edges, 56551 markings/sec, 80 secs
lola: 5816577 markings, 5906789 edges, 54798 markings/sec, 85 secs
lola: 6085331 markings, 6185088 edges, 53751 markings/sec, 90 secs
lola: 6337831 markings, 6468767 edges, 50500 markings/sec, 95 secs
lola: 6574057 markings, 6714227 edges, 47245 markings/sec, 100 secs
lola: 6801702 markings, 6944847 edges, 45529 markings/sec, 105 secs
lola: 7009168 markings, 7158115 edges, 41493 markings/sec, 110 secs
lola: 7127437 markings, 7451392 edges, 23654 markings/sec, 115 secs
lola: 7423110 markings, 7782747 edges, 59135 markings/sec, 120 secs
lola: 7724138 markings, 8090161 edges, 60206 markings/sec, 125 secs
lola: 8030251 markings, 8402640 edges, 61223 markings/sec, 130 secs
lola: 8314442 markings, 8689568 edges, 56838 markings/sec, 135 secs
lola: 8592668 markings, 8971085 edges, 55645 markings/sec, 140 secs
lola: 8881660 markings, 9263853 edges, 57798 markings/sec, 145 secs
lola: 9186256 markings, 9573421 edges, 60919 markings/sec, 150 secs
lola: 9463830 markings, 9854973 edges, 55515 markings/sec, 155 secs
lola: 9709728 markings, 10104839 edges, 49180 markings/sec, 160 secs
lola: 10004913 markings, 10402451 edges, 59037 markings/sec, 165 secs
lola: 10243508 markings, 10644453 edges, 47719 markings/sec, 170 secs
lola: 10475866 markings, 10881325 edges, 46472 markings/sec, 175 secs
lola: 10717468 markings, 11127208 edges, 48320 markings/sec, 180 secs
lola: 10933542 markings, 11349077 edges, 43215 markings/sec, 185 secs
lola: 11180872 markings, 11603757 edges, 49466 markings/sec, 190 secs
lola: 11439901 markings, 11870479 edges, 51806 markings/sec, 195 secs
lola: 11701545 markings, 12138928 edges, 52329 markings/sec, 200 secs
lola: 11947421 markings, 12393357 edges, 49175 markings/sec, 205 secs
lola: 12186984 markings, 12663785 edges, 47913 markings/sec, 210 secs
lola: 12412037 markings, 12899110 edges, 45011 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(pi2_2_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3140 bytes per marking, with 0 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: 312255 markings, 352438 edges, 62451 markings/sec, 0 secs
lola: 552134 markings, 646705 edges, 47976 markings/sec, 5 secs
lola: 690837 markings, 1054409 edges, 27741 markings/sec, 10 secs
lola: 942498 markings, 1349771 edges, 50332 markings/sec, 15 secs
lola: 1161933 markings, 1629782 edges, 43887 markings/sec, 20 secs
lola: 1296537 markings, 2018284 edges, 26921 markings/sec, 25 secs
lola: 1503822 markings, 2261443 edges, 41457 markings/sec, 30 secs
lola: 1712118 markings, 2521159 edges, 41659 markings/sec, 35 secs
lola: 1847451 markings, 2918260 edges, 27067 markings/sec, 40 secs
lola: 2076531 markings, 3189955 edges, 45816 markings/sec, 45 secs
lola: 2283951 markings, 3464599 edges, 41484 markings/sec, 50 secs
lola: 2406501 markings, 3828821 edges, 24510 markings/sec, 55 secs
lola: 2603960 markings, 4063183 edges, 39492 markings/sec, 60 secs
lola: 2802494 markings, 4308860 edges, 39707 markings/sec, 65 secs
lola: 2936676 markings, 4700428 edges, 26836 markings/sec, 70 secs
lola: 3195033 markings, 4977098 edges, 51671 markings/sec, 75 secs
lola: 3421713 markings, 5236527 edges, 45336 markings/sec, 80 secs
lola: 3636819 markings, 5502678 edges, 43021 markings/sec, 85 secs
lola: 3764630 markings, 5896408 edges, 25562 markings/sec, 90 secs
lola: 3970262 markings, 6132574 edges, 41126 markings/sec, 95 secs
lola: 4177818 markings, 6385588 edges, 41511 markings/sec, 100 secs
lola: 4326284 markings, 6719364 edges, 29693 markings/sec, 105 secs
lola: 4498901 markings, 7003941 edges, 34523 markings/sec, 110 secs
lola: 4695682 markings, 7246074 edges, 39356 markings/sec, 115 secs
lola: 4866119 markings, 7518409 edges, 34087 markings/sec, 120 secs
lola: 5027295 markings, 7868313 edges, 32235 markings/sec, 125 secs
lola: 5272385 markings, 8134374 edges, 49018 markings/sec, 130 secs
lola: 5524222 markings, 8438320 edges, 50367 markings/sec, 135 secs
lola: 5719472 markings, 8782486 edges, 39050 markings/sec, 140 secs
lola: 5897379 markings, 9121420 edges, 35581 markings/sec, 145 secs
lola: 6106580 markings, 9378565 edges, 41840 markings/sec, 150 secs
lola: 6257319 markings, 9729086 edges, 30148 markings/sec, 155 secs
lola: 6438825 markings, 10010029 edges, 36301 markings/sec, 160 secs
lola: 6647378 markings, 10267023 edges, 41711 markings/sec, 165 secs
lola: 6785699 markings, 10573502 edges, 27664 markings/sec, 170 secs
lola: 6951387 markings, 10865576 edges, 33138 markings/sec, 175 secs
lola: 7160073 markings, 11121666 edges, 41737 markings/sec, 180 secs
lola: 7313524 markings, 11450035 edges, 30690 markings/sec, 185 secs
lola: 7506207 markings, 11767403 edges, 38537 markings/sec, 190 secs
lola: 7724061 markings, 12036010 edges, 43571 markings/sec, 195 secs
lola: 7855466 markings, 12432609 edges, 26281 markings/sec, 200 secs
lola: 8055436 markings, 12665423 edges, 39994 markings/sec, 205 secs
lola: 8256608 markings, 12914699 edges, 40234 markings/sec, 210 secs
lola: 8376470 markings, 13253587 edges, 23972 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(pil3_3_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3140 bytes per marking, with 0 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: 631524 markings, 635658 edges, 126305 markings/sec, 0 secs
lola: 1078896 markings, 1090574 edges, 89474 markings/sec, 5 secs
lola: 1493942 markings, 1512496 edges, 83009 markings/sec, 10 secs
lola: 1921557 markings, 1946010 edges, 85523 markings/sec, 15 secs
lola: 2335944 markings, 2366338 edges, 82877 markings/sec, 20 secs
lola: 2750404 markings, 2785964 edges, 82892 markings/sec, 25 secs
lola: 3116338 markings, 3157769 edges, 73187 markings/sec, 30 secs
lola: 3526168 markings, 3573020 edges, 81966 markings/sec, 35 secs
lola: 3934319 markings, 3988770 edges, 81630 markings/sec, 40 secs
lola: 4349517 markings, 4411299 edges, 83040 markings/sec, 45 secs
lola: 4754007 markings, 4824416 edges, 80898 markings/sec, 50 secs
lola: 5141256 markings, 5220084 edges, 77450 markings/sec, 55 secs
lola: 5510276 markings, 5596375 edges, 73804 markings/sec, 60 secs
lola: 5827402 markings, 5929369 edges, 63425 markings/sec, 65 secs
lola: 6028104 markings, 6332696 edges, 40140 markings/sec, 70 secs
lola: 6446922 markings, 6767896 edges, 83764 markings/sec, 75 secs
lola: 6841786 markings, 7170119 edges, 78973 markings/sec, 80 secs
lola: 7237817 markings, 7571710 edges, 79206 markings/sec, 85 secs
lola: 7638860 markings, 7977412 edges, 80209 markings/sec, 90 secs
lola: 8039260 markings, 8383599 edges, 80080 markings/sec, 95 secs
lola: 8416988 markings, 8766349 edges, 75546 markings/sec, 100 secs
lola: 8799124 markings, 9154887 edges, 76427 markings/sec, 105 secs
lola: 9137098 markings, 9497812 edges, 67595 markings/sec, 110 secs
lola: 9526287 markings, 9894063 edges, 77838 markings/sec, 115 secs
lola: 9920896 markings, 10297226 edges, 78922 markings/sec, 120 secs
lola: 10290882 markings, 10673909 edges, 73997 markings/sec, 125 secs
lola: 10669567 markings, 11060082 edges, 75737 markings/sec, 130 secs
lola: 11002339 markings, 11404806 edges, 66554 markings/sec, 135 secs
lola: 11307045 markings, 11728212 edges, 60941 markings/sec, 140 secs
lola: 11513950 markings, 12139681 edges, 41381 markings/sec, 145 secs
lola: 11854440 markings, 12485504 edges, 68098 markings/sec, 150 secs
lola: 12183177 markings, 12820982 edges, 65747 markings/sec, 155 secs
lola: 12520996 markings, 13163446 edges, 67564 markings/sec, 160 secs
lola: 12865355 markings, 13511864 edges, 68872 markings/sec, 165 secs
lola: 13214268 markings, 13865099 edges, 69783 markings/sec, 170 secs
lola: 13550470 markings, 14206056 edges, 67240 markings/sec, 175 secs
lola: 13884321 markings, 14544764 edges, 66770 markings/sec, 180 secs
lola: 14238316 markings, 14904076 edges, 70799 markings/sec, 185 secs
lola: 14580064 markings, 15251758 edges, 68350 markings/sec, 190 secs
lola: 14933438 markings, 15611011 edges, 70675 markings/sec, 195 secs
lola: 15293338 markings, 15979287 edges, 71980 markings/sec, 200 secs
lola: 15652326 markings, 16344423 edges, 71798 markings/sec, 205 secs
lola: 15976749 markings, 16676144 edges, 64885 markings/sec, 210 secs
lola: 16318790 markings, 17025014 edges, 68408 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(pi1_8_4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3140 bytes per marking, with 0 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: 103055 markings, 190382 edges, 20611 markings/sec, 0 secs
lola: 168512 markings, 560974 edges, 13091 markings/sec, 5 secs
lola: 221721 markings, 928333 edges, 10642 markings/sec, 10 secs
lola: 294672 markings, 1125732 edges, 14590 markings/sec, 15 secs
lola: 353125 markings, 1503017 edges, 11691 markings/sec, 20 secs
lola: 404864 markings, 1863721 edges, 10348 markings/sec, 25 secs
lola: 487554 markings, 2029205 edges, 16538 markings/sec, 30 secs
lola: 543507 markings, 2381957 edges, 11191 markings/sec, 35 secs
lola: 592931 markings, 2714720 edges, 9885 markings/sec, 40 secs
lola: 675465 markings, 2901350 edges, 16507 markings/sec, 45 secs
lola: 732781 markings, 3258234 edges, 11463 markings/sec, 50 secs
lola: 781867 markings, 3604526 edges, 9817 markings/sec, 55 secs
lola: 864628 markings, 3781029 edges, 16552 markings/sec, 60 secs
lola: 919532 markings, 4129908 edges, 10981 markings/sec, 65 secs
lola: 966849 markings, 4474401 edges, 9463 markings/sec, 70 secs
lola: 1050384 markings, 4651212 edges, 16707 markings/sec, 75 secs
lola: 1110329 markings, 5006632 edges, 11989 markings/sec, 80 secs
lola: 1169274 markings, 5368013 edges, 11789 markings/sec, 85 secs
lola: 1297391 markings, 5558274 edges, 25623 markings/sec, 90 secs
lola: 1354091 markings, 5923549 edges, 11340 markings/sec, 95 secs
lola: 1420679 markings, 6152462 edges, 13318 markings/sec, 100 secs
lola: 1537164 markings, 6493099 edges, 23297 markings/sec, 105 secs
lola: 1604259 markings, 6710628 edges, 13419 markings/sec, 110 secs
lola: 1675921 markings, 7008475 edges, 14332 markings/sec, 115 secs
lola: 1729961 markings, 7365932 edges, 10808 markings/sec, 120 secs
lola: 1791874 markings, 7592579 edges, 12383 markings/sec, 125 secs
lola: 1854277 markings, 7858227 edges, 12481 markings/sec, 130 secs
lola: 1907568 markings, 8214790 edges, 10658 markings/sec, 135 secs
lola: 1970179 markings, 8441884 edges, 12522 markings/sec, 140 secs
lola: 2032140 markings, 8707357 edges, 12392 markings/sec, 145 secs
lola: 2084727 markings, 9057892 edges, 10517 markings/sec, 150 secs
lola: 2154502 markings, 9270658 edges, 13955 markings/sec, 155 secs
lola: 2218142 markings, 9561593 edges, 12728 markings/sec, 160 secs
lola: 2265608 markings, 9908783 edges, 9493 markings/sec, 165 secs
lola: 2328043 markings, 10099502 edges, 12487 markings/sec, 170 secs
lola: 2388303 markings, 10389912 edges, 12052 markings/sec, 175 secs
lola: 2448866 markings, 10758490 edges, 12113 markings/sec, 180 secs
lola: 2573995 markings, 10954185 edges, 25026 markings/sec, 185 secs
lola: 2621009 markings, 11243578 edges, 9403 markings/sec, 190 secs
lola: 2692855 markings, 11441454 edges, 14369 markings/sec, 195 secs
lola: 2761033 markings, 11801589 edges, 13636 markings/sec, 200 secs
lola: 2833111 markings, 12011869 edges, 14416 markings/sec, 205 secs
lola: 2928469 markings, 12339319 edges, 19072 markings/sec, 210 secs
lola: 3062176 markings, 12564056 edges, 26741 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(pb5_5_4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3140 bytes per marking, with 0 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: 322300 markings, 362425 edges, 64460 markings/sec, 0 secs
lola: 570464 markings, 660918 edges, 49633 markings/sec, 5 secs
lola: 753886 markings, 969016 edges, 36684 markings/sec, 10 secs
lola: 904065 markings, 1359467 edges, 30036 markings/sec, 15 secs
lola: 1129683 markings, 1620838 edges, 45124 markings/sec, 20 secs
lola: 1340667 markings, 1878395 edges, 42197 markings/sec, 25 secs
lola: 1443410 markings, 2290056 edges, 20549 markings/sec, 30 secs
lola: 1647152 markings, 2540933 edges, 40748 markings/sec, 35 secs
lola: 1860195 markings, 2792412 edges, 42609 markings/sec, 40 secs
lola: 2061007 markings, 3048332 edges, 40162 markings/sec, 45 secs
lola: 2178664 markings, 3470613 edges, 23531 markings/sec, 50 secs
lola: 2402936 markings, 3735410 edges, 44854 markings/sec, 55 secs
lola: 2626357 markings, 4000789 edges, 44684 markings/sec, 60 secs
lola: 2792330 markings, 4317915 edges, 33195 markings/sec, 65 secs
lola: 2940974 markings, 4676221 edges, 29729 markings/sec, 70 secs
lola: 3158375 markings, 4933196 edges, 43480 markings/sec, 75 secs
lola: 3364635 markings, 5178900 edges, 41252 markings/sec, 80 secs
lola: 3467222 markings, 5578990 edges, 20517 markings/sec, 85 secs
lola: 3701991 markings, 5876682 edges, 46954 markings/sec, 90 secs
lola: 3928749 markings, 6146223 edges, 45352 markings/sec, 95 secs
lola: 4118325 markings, 6412353 edges, 37915 markings/sec, 100 secs
lola: 4274034 markings, 6848548 edges, 31142 markings/sec, 105 secs
lola: 4508616 markings, 7108024 edges, 46916 markings/sec, 110 secs
lola: 4714251 markings, 7344384 edges, 41127 markings/sec, 115 secs
lola: 4915257 markings, 7588383 edges, 40201 markings/sec, 120 secs
lola: 5036426 markings, 7939390 edges, 24234 markings/sec, 125 secs
lola: 5233339 markings, 8261525 edges, 39383 markings/sec, 130 secs
lola: 5470671 markings, 8534812 edges, 47466 markings/sec, 135 secs
lola: 5687733 markings, 8798567 edges, 43412 markings/sec, 140 secs
lola: 5802032 markings, 9195466 edges, 22860 markings/sec, 145 secs
lola: 5992552 markings, 9459770 edges, 38104 markings/sec, 150 secs
lola: 6197942 markings, 9698912 edges, 41078 markings/sec, 155 secs
lola: 6388747 markings, 9942844 edges, 38161 markings/sec, 160 secs
lola: 6487999 markings, 10351180 edges, 19850 markings/sec, 165 secs
lola: 6701628 markings, 10601504 edges, 42726 markings/sec, 170 secs
lola: 6918975 markings, 10856433 edges, 43469 markings/sec, 175 secs
lola: 7100666 markings, 11130007 edges, 36338 markings/sec, 180 secs
lola: 7250209 markings, 11539513 edges, 29909 markings/sec, 185 secs
lola: 7524585 markings, 11832275 edges, 54875 markings/sec, 190 secs
lola: 7832626 markings, 12156761 edges, 61608 markings/sec, 195 secs
lola: 8126409 markings, 12469416 edges, 58757 markings/sec, 200 secs
lola: 8385807 markings, 12759097 edges, 51880 markings/sec, 205 secs
lola: 8605167 markings, 13018407 edges, 43872 markings/sec, 210 secs
lola: 8817548 markings, 13278915 edges, 42476 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(pil1_8_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3140 bytes per marking, with 0 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: 350207 markings, 392388 edges, 70041 markings/sec, 0 secs
lola: 605094 markings, 689245 edges, 50977 markings/sec, 5 secs
lola: 778172 markings, 1057164 edges, 34616 markings/sec, 10 secs
lola: 993870 markings, 1432208 edges, 43140 markings/sec, 15 secs
lola: 1242910 markings, 1719888 edges, 49808 markings/sec, 20 secs
lola: 1435699 markings, 2033062 edges, 38558 markings/sec, 25 secs
lola: 1619581 markings, 2452394 edges, 36776 markings/sec, 30 secs
lola: 1870893 markings, 2741432 edges, 50262 markings/sec, 35 secs
lola: 2087023 markings, 3032997 edges, 43226 markings/sec, 40 secs
lola: 2246385 markings, 3471163 edges, 31872 markings/sec, 45 secs
lola: 2491061 markings, 3754532 edges, 48935 markings/sec, 50 secs
lola: 2700674 markings, 4052244 edges, 41923 markings/sec, 55 secs
lola: 2849943 markings, 4463678 edges, 29854 markings/sec, 60 secs
lola: 3084415 markings, 4734804 edges, 46894 markings/sec, 65 secs
lola: 3302253 markings, 5013599 edges, 43568 markings/sec, 70 secs
lola: 3427817 markings, 5426430 edges, 25113 markings/sec, 75 secs
lola: 3648619 markings, 5682799 edges, 44160 markings/sec, 80 secs
lola: 3868883 markings, 5937251 edges, 44053 markings/sec, 85 secs
lola: 4059312 markings, 6229346 edges, 38086 markings/sec, 90 secs
lola: 4210256 markings, 6623653 edges, 30189 markings/sec, 95 secs
lola: 4437005 markings, 6886626 edges, 45350 markings/sec, 100 secs
lola: 4644560 markings, 7161745 edges, 41511 markings/sec, 105 secs
lola: 4777064 markings, 7571736 edges, 26501 markings/sec, 110 secs
lola: 5034072 markings, 7864901 edges, 51402 markings/sec, 115 secs
lola: 5263608 markings, 8137813 edges, 45907 markings/sec, 120 secs
lola: 5392859 markings, 8566786 edges, 25850 markings/sec, 125 secs
lola: 5627821 markings, 8846457 edges, 46992 markings/sec, 130 secs
lola: 5851915 markings, 9111544 edges, 44819 markings/sec, 135 secs
lola: 6020514 markings, 9469268 edges, 33720 markings/sec, 140 secs
lola: 6240049 markings, 9846443 edges, 43907 markings/sec, 145 secs
lola: 6488703 markings, 10138799 edges, 49731 markings/sec, 150 secs
lola: 6660957 markings, 10524406 edges, 34451 markings/sec, 155 secs
lola: 6914782 markings, 10901938 edges, 50765 markings/sec, 160 secs
lola: 7233130 markings, 11239859 edges, 63670 markings/sec, 165 secs
lola: 7554519 markings, 11580915 edges, 64278 markings/sec, 170 secs
lola: 7882567 markings, 11929217 edges, 65610 markings/sec, 175 secs
lola: 8135179 markings, 12223460 edges, 50522 markings/sec, 180 secs
lola: 8353349 markings, 12473154 edges, 43634 markings/sec, 185 secs
lola: 8567697 markings, 12728926 edges, 42870 markings/sec, 190 secs
lola: 8698492 markings, 13086097 edges, 26159 markings/sec, 195 secs
lola: 8928677 markings, 13421277 edges, 46037 markings/sec, 200 secs
lola: 9150564 markings, 13677471 edges, 44377 markings/sec, 205 secs
lola: 9367235 markings, 13933088 edges, 43334 markings/sec, 210 secs
lola: 9514178 markings, 14273764 edges, 29389 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(pb5_9_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3140 bytes per marking, with 0 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: 188257 markings, 313353 edges, 37651 markings/sec, 0 secs
lola: 247686 markings, 647640 edges, 11886 markings/sec, 5 secs
lola: 317036 markings, 867723 edges, 13870 markings/sec, 10 secs
lola: 377245 markings, 1175200 edges, 12042 markings/sec, 15 secs
lola: 431171 markings, 1511944 edges, 10785 markings/sec, 20 secs
lola: 482350 markings, 1824716 edges, 10236 markings/sec, 25 secs
lola: 542443 markings, 2019304 edges, 12019 markings/sec, 30 secs
lola: 595782 markings, 2313658 edges, 10668 markings/sec, 35 secs
lola: 645967 markings, 2624156 edges, 10037 markings/sec, 40 secs
lola: 707825 markings, 2829361 edges, 12372 markings/sec, 45 secs
lola: 767155 markings, 3132196 edges, 11866 markings/sec, 50 secs
lola: 827358 markings, 3482152 edges, 12041 markings/sec, 55 secs
lola: 887085 markings, 3813392 edges, 11945 markings/sec, 60 secs
lola: 943445 markings, 4097819 edges, 11272 markings/sec, 65 secs
lola: 1013582 markings, 4329602 edges, 14027 markings/sec, 70 secs
lola: 1069719 markings, 4668682 edges, 11227 markings/sec, 75 secs
lola: 1130036 markings, 5003416 edges, 12063 markings/sec, 80 secs
lola: 1184629 markings, 5341067 edges, 10919 markings/sec, 85 secs
lola: 1255183 markings, 5558151 edges, 14111 markings/sec, 90 secs
lola: 1314196 markings, 5861991 edges, 11803 markings/sec, 95 secs
lola: 1369503 markings, 6201198 edges, 11061 markings/sec, 100 secs
lola: 1423469 markings, 6521282 edges, 10793 markings/sec, 105 secs
lola: 1481941 markings, 6846006 edges, 11694 markings/sec, 110 secs
lola: 1547501 markings, 7073479 edges, 13112 markings/sec, 115 secs
lola: 1602404 markings, 7380507 edges, 10981 markings/sec, 120 secs
lola: 1648567 markings, 7684935 edges, 9233 markings/sec, 125 secs
lola: 1707424 markings, 7875804 edges, 11771 markings/sec, 130 secs
lola: 1755545 markings, 8152741 edges, 9624 markings/sec, 135 secs
lola: 1799827 markings, 8450525 edges, 8856 markings/sec, 140 secs
lola: 1854826 markings, 8643773 edges, 11000 markings/sec, 145 secs
lola: 1905247 markings, 8916124 edges, 10084 markings/sec, 150 secs
lola: 1950294 markings, 9213555 edges, 9009 markings/sec, 155 secs
lola: 1999847 markings, 9468460 edges, 9911 markings/sec, 160 secs
lola: 2056054 markings, 9683807 edges, 11241 markings/sec, 165 secs
lola: 2096892 markings, 9984110 edges, 8168 markings/sec, 170 secs
lola: 2141838 markings, 10260180 edges, 8989 markings/sec, 175 secs
lola: 2201196 markings, 10457874 edges, 11872 markings/sec, 180 secs
lola: 2240956 markings, 10736353 edges, 7952 markings/sec, 185 secs
lola: 2283351 markings, 10993159 edges, 8479 markings/sec, 190 secs
lola: 2339391 markings, 11199703 edges, 11208 markings/sec, 195 secs
lola: 2389685 markings, 11495260 edges, 10059 markings/sec, 200 secs
lola: 2446981 markings, 11837148 edges, 11459 markings/sec, 205 secs
lola: 2500212 markings, 12156082 edges, 10646 markings/sec, 210 secs
lola: 2555780 markings, 12373416 edges, 11114 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(pi1_6_6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3140 bytes per marking, with 0 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: 314606 markings, 358275 edges, 62921 markings/sec, 0 secs
lola: 556095 markings, 645707 edges, 48298 markings/sec, 5 secs
lola: 713840 markings, 1090095 edges, 31549 markings/sec, 10 secs
lola: 974348 markings, 1397231 edges, 52102 markings/sec, 15 secs
lola: 1168603 markings, 1726076 edges, 38851 markings/sec, 20 secs
lola: 1389080 markings, 2141195 edges, 44095 markings/sec, 25 secs
lola: 1653146 markings, 2456136 edges, 52813 markings/sec, 30 secs
lola: 1799101 markings, 2884826 edges, 29191 markings/sec, 35 secs
lola: 2014328 markings, 3134923 edges, 43045 markings/sec, 40 secs
lola: 2219109 markings, 3394211 edges, 40956 markings/sec, 45 secs
lola: 2367116 markings, 3811842 edges, 29601 markings/sec, 50 secs
lola: 2602100 markings, 4088555 edges, 46997 markings/sec, 55 secs
lola: 2781277 markings, 4411663 edges, 35835 markings/sec, 60 secs
lola: 2941822 markings, 4743609 edges, 32109 markings/sec, 65 secs
lola: 3157417 markings, 4996562 edges, 43119 markings/sec, 70 secs
lola: 3319752 markings, 5324938 edges, 32467 markings/sec, 75 secs
lola: 3529767 markings, 5687839 edges, 42003 markings/sec, 80 secs
lola: 3753870 markings, 5955724 edges, 44821 markings/sec, 85 secs
lola: 3898292 markings, 6376875 edges, 28884 markings/sec, 90 secs
lola: 4104584 markings, 6621832 edges, 41258 markings/sec, 95 secs
lola: 4321994 markings, 6879183 edges, 43482 markings/sec, 100 secs
lola: 4443980 markings, 7279084 edges, 24397 markings/sec, 105 secs
lola: 4652113 markings, 7525110 edges, 41627 markings/sec, 110 secs
lola: 4866392 markings, 7778802 edges, 42856 markings/sec, 115 secs
lola: 4979300 markings, 8167543 edges, 22582 markings/sec, 120 secs
lola: 5174790 markings, 8397436 edges, 39098 markings/sec, 125 secs
lola: 5388347 markings, 8650574 edges, 42711 markings/sec, 130 secs
lola: 5513198 markings, 9053498 edges, 24970 markings/sec, 135 secs
lola: 5733668 markings, 9313147 edges, 44094 markings/sec, 140 secs
lola: 5941280 markings, 9559374 edges, 41522 markings/sec, 145 secs
lola: 6066176 markings, 9963543 edges, 24979 markings/sec, 150 secs
lola: 6255397 markings, 10183571 edges, 37844 markings/sec, 155 secs
lola: 6451628 markings, 10417297 edges, 39246 markings/sec, 160 secs
lola: 6549362 markings, 10751478 edges, 19547 markings/sec, 165 secs
lola: 6794903 markings, 11075990 edges, 49108 markings/sec, 170 secs
lola: 7026607 markings, 11365395 edges, 46341 markings/sec, 175 secs
lola: 7170171 markings, 11776930 edges, 28713 markings/sec, 180 secs
lola: 7387544 markings, 12034172 edges, 43475 markings/sec, 185 secs
lola: 7562161 markings, 12347999 edges, 34923 markings/sec, 190 secs
lola: 7723502 markings, 12682541 edges, 32268 markings/sec, 195 secs
lola: 7943186 markings, 12944623 edges, 43937 markings/sec, 200 secs
lola: 8069125 markings, 13198840 edges, 25188 markings/sec, 205 secs
lola: 8229474 markings, 13534356 edges, 32070 markings/sec, 210 secs
lola: 8448285 markings, 13795169 edges, 43762 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(pil2_5_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3140 bytes per marking, with 0 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: 382697 markings, 430427 edges, 76539 markings/sec, 0 secs
lola: 660131 markings, 762681 edges, 55487 markings/sec, 5 secs
lola: 812561 markings, 1244061 edges, 30486 markings/sec, 10 secs
lola: 1134457 markings, 1618656 edges, 64379 markings/sec, 15 secs
lola: 1383347 markings, 1971465 edges, 49778 markings/sec, 20 secs
lola: 1535747 markings, 2400643 edges, 30480 markings/sec, 25 secs
lola: 1818815 markings, 2730191 edges, 56614 markings/sec, 30 secs
lola: 2060776 markings, 3056000 edges, 48392 markings/sec, 35 secs
lola: 2227895 markings, 3517274 edges, 33424 markings/sec, 40 secs
lola: 2506566 markings, 3847913 edges, 55734 markings/sec, 45 secs
lola: 2755152 markings, 4163487 edges, 49717 markings/sec, 50 secs
lola: 2946593 markings, 4665165 edges, 38288 markings/sec, 55 secs
lola: 3246965 markings, 5019566 edges, 60074 markings/sec, 60 secs
lola: 3466817 markings, 5374176 edges, 43970 markings/sec, 65 secs
lola: 3653943 markings, 5799036 edges, 37425 markings/sec, 70 secs
lola: 3907335 markings, 6098288 edges, 50678 markings/sec, 75 secs
lola: 4123390 markings, 6426949 edges, 43211 markings/sec, 80 secs
lola: 4305397 markings, 6870197 edges, 36401 markings/sec, 85 secs
lola: 4579016 markings, 7193899 edges, 54724 markings/sec, 90 secs
lola: 4807432 markings, 7522787 edges, 45683 markings/sec, 95 secs
lola: 4973290 markings, 7961808 edges, 33172 markings/sec, 100 secs
lola: 5194192 markings, 8226182 edges, 44180 markings/sec, 105 secs
lola: 5426561 markings, 8523394 edges, 46474 markings/sec, 110 secs
lola: 5582637 markings, 8985073 edges, 31215 markings/sec, 115 secs
lola: 5866477 markings, 9317170 edges, 56768 markings/sec, 120 secs
lola: 6088322 markings, 9638828 edges, 44369 markings/sec, 125 secs
lola: 6262289 markings, 10087205 edges, 34793 markings/sec, 130 secs
lola: 6525678 markings, 10395342 edges, 52678 markings/sec, 135 secs
lola: 6742673 markings, 10693516 edges, 43399 markings/sec, 140 secs
lola: 6874823 markings, 11111149 edges, 26430 markings/sec, 145 secs
lola: 7127920 markings, 11407398 edges, 50619 markings/sec, 150 secs
lola: 7385387 markings, 11714624 edges, 51493 markings/sec, 155 secs
lola: 7533869 markings, 12186562 edges, 29696 markings/sec, 160 secs
lola: 7770141 markings, 12464147 edges, 47254 markings/sec, 165 secs
lola: 8040995 markings, 12787984 edges, 54171 markings/sec, 170 secs
lola: 8193653 markings, 13264312 edges, 30532 markings/sec, 175 secs
lola: 8466785 markings, 13583792 edges, 54626 markings/sec, 180 secs
lola: 8700241 markings, 13864857 edges, 46691 markings/sec, 185 secs
lola: 8850833 markings, 14342044 edges, 30118 markings/sec, 190 secs
lola: 9159681 markings, 14699509 edges, 61770 markings/sec, 195 secs
lola: 9417339 markings, 15044403 edges, 51532 markings/sec, 200 secs
lola: 9622564 markings, 15538872 edges, 41045 markings/sec, 205 secs
lola: 9890261 markings, 15845640 edges, 53539 markings/sec, 210 secs
lola: 10127159 markings, 16125529 edges, 47380 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(pb6_8_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3140 bytes per marking, with 0 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: 354861 markings, 405034 edges, 70972 markings/sec, 0 secs
lola: 568173 markings, 834486 edges, 42662 markings/sec, 5 secs
lola: 809108 markings, 1136705 edges, 48187 markings/sec, 10 secs
lola: 1018211 markings, 1551172 edges, 41821 markings/sec, 15 secs
lola: 1233387 markings, 1818546 edges, 43035 markings/sec, 20 secs
lola: 1430366 markings, 2217695 edges, 39396 markings/sec, 25 secs
lola: 1700067 markings, 2537541 edges, 53940 markings/sec, 30 secs
lola: 1907895 markings, 2956268 edges, 41566 markings/sec, 35 secs
lola: 2155103 markings, 3257712 edges, 49442 markings/sec, 40 secs
lola: 2331291 markings, 3635939 edges, 35238 markings/sec, 45 secs
lola: 2577555 markings, 3940231 edges, 49253 markings/sec, 50 secs
lola: 2783529 markings, 4351761 edges, 41195 markings/sec, 55 secs
lola: 2971352 markings, 4643994 edges, 37565 markings/sec, 60 secs
lola: 3158202 markings, 4976828 edges, 37370 markings/sec, 65 secs
lola: 3345646 markings, 5380218 edges, 37489 markings/sec, 70 secs
lola: 3582867 markings, 5669570 edges, 47444 markings/sec, 75 secs
lola: 3796743 markings, 6095957 edges, 42775 markings/sec, 80 secs
lola: 4016466 markings, 6536416 edges, 43945 markings/sec, 85 secs
lola: 4269281 markings, 6850751 edges, 50563 markings/sec, 90 secs
lola: 4475385 markings, 7261896 edges, 41221 markings/sec, 95 secs
lola: 4631771 markings, 7626880 edges, 31277 markings/sec, 100 secs
lola: 4844775 markings, 7884309 edges, 42601 markings/sec, 105 secs
lola: 5047491 markings, 8297900 edges, 40543 markings/sec, 110 secs
lola: 5265338 markings, 8664991 edges, 43569 markings/sec, 115 secs
lola: 5479996 markings, 8994001 edges, 42932 markings/sec, 120 secs
lola: 5635443 markings, 9354617 edges, 31089 markings/sec, 125 secs
lola: 5867468 markings, 9638042 edges, 46405 markings/sec, 130 secs
lola: 6055258 markings, 10030656 edges, 37558 markings/sec, 135 secs
lola: 6233456 markings, 10322432 edges, 35640 markings/sec, 140 secs
lola: 6398131 markings, 10617417 edges, 32935 markings/sec, 145 secs
lola: 6568149 markings, 10998057 edges, 34004 markings/sec, 150 secs
lola: 6834081 markings, 11327820 edges, 53186 markings/sec, 155 secs
lola: 7036935 markings, 11734466 edges, 40571 markings/sec, 160 secs
lola: 7204237 markings, 12109815 edges, 33460 markings/sec, 165 secs
lola: 7433079 markings, 12391834 edges, 45768 markings/sec, 170 secs
lola: 7611759 markings, 12770914 edges, 35736 markings/sec, 175 secs
lola: 7782006 markings, 13150946 edges, 34049 markings/sec, 180 secs
lola: 8011612 markings, 13429103 edges, 45921 markings/sec, 185 secs
lola: 8190779 markings, 13813444 edges, 35833 markings/sec, 190 secs
lola: 8375486 markings, 14196999 edges, 36941 markings/sec, 195 secs
lola: 8616954 markings, 14503213 edges, 48294 markings/sec, 200 secs
lola: 8814591 markings, 14928062 edges, 39527 markings/sec, 205 secs
lola: 9072686 markings, 15238442 edges, 51619 markings/sec, 210 secs
lola: 9327977 markings, 15565839 edges, 51058 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(pol1_6_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3140 bytes per marking, with 0 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: 302373 markings, 394039 edges, 60475 markings/sec, 0 secs
lola: 587894 markings, 767695 edges, 57104 markings/sec, 5 secs
lola: 896455 markings, 1176084 edges, 61712 markings/sec, 10 secs
lola: 1174622 markings, 1547203 edges, 55633 markings/sec, 15 secs
lola: 1370944 markings, 1808741 edges, 39264 markings/sec, 20 secs
lola: 1608233 markings, 2122632 edges, 47458 markings/sec, 25 secs
lola: 1858331 markings, 2458868 edges, 50020 markings/sec, 30 secs
lola: 2112727 markings, 2795242 edges, 50879 markings/sec, 35 secs
lola: 2362216 markings, 3125740 edges, 49898 markings/sec, 40 secs
lola: 2613786 markings, 3460964 edges, 50314 markings/sec, 45 secs
lola: 2862224 markings, 3790469 edges, 49688 markings/sec, 50 secs
lola: 3107897 markings, 4119574 edges, 49135 markings/sec, 55 secs
lola: 3287906 markings, 4359802 edges, 36002 markings/sec, 60 secs
lola: 3523898 markings, 4671885 edges, 47198 markings/sec, 65 secs
lola: 3765977 markings, 4993188 edges, 48416 markings/sec, 70 secs
lola: 4013341 markings, 5322178 edges, 49473 markings/sec, 75 secs
lola: 4251017 markings, 5639586 edges, 47535 markings/sec, 80 secs
lola: 4499139 markings, 5971110 edges, 49624 markings/sec, 85 secs
lola: 4748498 markings, 6304923 edges, 49872 markings/sec, 90 secs
lola: 5015000 markings, 6659845 edges, 53300 markings/sec, 95 secs
lola: 5213660 markings, 6924721 edges, 39732 markings/sec, 100 secs
lola: 5451994 markings, 7245047 edges, 47667 markings/sec, 105 secs
lola: 5689610 markings, 7559485 edges, 47523 markings/sec, 110 secs
lola: 5942891 markings, 7897802 edges, 50656 markings/sec, 115 secs
lola: 6177722 markings, 8209859 edges, 46966 markings/sec, 120 secs
lola: 6418190 markings, 8530667 edges, 48094 markings/sec, 125 secs
lola: 6676702 markings, 8874980 edges, 51702 markings/sec, 130 secs
lola: 6937297 markings, 9221999 edges, 52119 markings/sec, 135 secs
lola: 7116324 markings, 9461003 edges, 35805 markings/sec, 140 secs
lola: 7349735 markings, 9772958 edges, 46682 markings/sec, 145 secs
lola: 7601979 markings, 10109267 edges, 50449 markings/sec, 150 secs
lola: 7831441 markings, 10415541 edges, 45892 markings/sec, 155 secs
lola: 8070949 markings, 10734319 edges, 47902 markings/sec, 160 secs
lola: 8311464 markings, 11054772 edges, 48103 markings/sec, 165 secs
lola: 8553998 markings, 11378853 edges, 48507 markings/sec, 170 secs
lola: 8808702 markings, 11719148 edges, 50941 markings/sec, 175 secs
lola: 8999559 markings, 11974239 edges, 38171 markings/sec, 180 secs
lola: 9251663 markings, 12311267 edges, 50421 markings/sec, 185 secs
lola: 9504288 markings, 12647528 edges, 50525 markings/sec, 190 secs
lola: 9760370 markings, 12990114 edges, 51216 markings/sec, 195 secs
lola: 9973432 markings, 13274751 edges, 42612 markings/sec, 200 secs
lola: 10206211 markings, 13585574 edges, 46556 markings/sec, 205 secs
lola: 10458246 markings, 13922699 edges, 50407 markings/sec, 210 secs
lola: 10711611 markings, 14260079 edges, 50673 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(pil3_5_8)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3140 bytes per marking, with 0 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: 445628 markings, 453603 edges, 89126 markings/sec, 0 secs
lola: 975068 markings, 991405 edges, 105888 markings/sec, 5 secs
lola: 1491203 markings, 1515491 edges, 103227 markings/sec, 10 secs
lola: 2009226 markings, 2041110 edges, 103605 markings/sec, 15 secs
lola: 2403083 markings, 2441353 edges, 78771 markings/sec, 20 secs
lola: 2806841 markings, 2862464 edges, 80752 markings/sec, 25 secs
lola: 3165928 markings, 3241433 edges, 71817 markings/sec, 30 secs
lola: 3505858 markings, 3622039 edges, 67986 markings/sec, 35 secs
lola: 3826764 markings, 4076869 edges, 64181 markings/sec, 40 secs
lola: 4199728 markings, 4467362 edges, 74593 markings/sec, 45 secs
lola: 4562512 markings, 4850706 edges, 72557 markings/sec, 50 secs
lola: 4859889 markings, 5316106 edges, 59475 markings/sec, 55 secs
lola: 5126217 markings, 5605440 edges, 53266 markings/sec, 60 secs
lola: 5458881 markings, 5953507 edges, 66533 markings/sec, 65 secs
lola: 5792697 markings, 6304914 edges, 66763 markings/sec, 70 secs
lola: 6126081 markings, 6681452 edges, 66677 markings/sec, 75 secs
lola: 6391654 markings, 7099019 edges, 53115 markings/sec, 80 secs
lola: 6711010 markings, 7431925 edges, 63871 markings/sec, 85 secs
lola: 7028775 markings, 7765495 edges, 63553 markings/sec, 90 secs
lola: 7360548 markings, 8121616 edges, 66355 markings/sec, 95 secs
lola: 7578211 markings, 8508535 edges, 43533 markings/sec, 100 secs
lola: 7899053 markings, 8843567 edges, 64168 markings/sec, 105 secs
lola: 8220895 markings, 9180701 edges, 64368 markings/sec, 110 secs
lola: 8549440 markings, 9528943 edges, 65709 markings/sec, 115 secs
lola: 8816278 markings, 9973441 edges, 53368 markings/sec, 120 secs
lola: 9159144 markings, 10325550 edges, 68573 markings/sec, 125 secs
lola: 9483511 markings, 10664177 edges, 64873 markings/sec, 130 secs
lola: 9806651 markings, 10999392 edges, 64628 markings/sec, 135 secs
lola: 10114610 markings, 11324306 edges, 61592 markings/sec, 140 secs
lola: 10436259 markings, 11668331 edges, 64330 markings/sec, 145 secs
lola: 10696516 markings, 12098378 edges, 52051 markings/sec, 150 secs
lola: 11017532 markings, 12432239 edges, 64203 markings/sec, 155 secs
lola: 11325305 markings, 12749207 edges, 61555 markings/sec, 160 secs
lola: 11642135 markings, 13072471 edges, 63366 markings/sec, 165 secs
lola: 11948410 markings, 13385470 edges, 61255 markings/sec, 170 secs
lola: 12246416 markings, 13691275 edges, 59601 markings/sec, 175 secs
lola: 12558012 markings, 14009795 edges, 62319 markings/sec, 180 secs
lola: 12917161 markings, 14376324 edges, 71830 markings/sec, 185 secs
lola: 13254048 markings, 14722257 edges, 67377 markings/sec, 190 secs
lola: 13618544 markings, 15101817 edges, 72899 markings/sec, 195 secs
lola: 13972090 markings, 15471881 edges, 70709 markings/sec, 200 secs
lola: 14304710 markings, 15837116 edges, 66524 markings/sec, 205 secs
lola: 14568040 markings, 16262607 edges, 52666 markings/sec, 210 secs
lola: 14868452 markings, 16575896 edges, 60082 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pi1_7_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3140 bytes per marking, with 0 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: 181272 markings, 249939 edges, 36254 markings/sec, 0 secs
lola: 302888 markings, 634266 edges, 24323 markings/sec, 5 secs
lola: 464003 markings, 1013040 edges, 32223 markings/sec, 10 secs
lola: 577768 markings, 1515662 edges, 22753 markings/sec, 15 secs
lola: 738638 markings, 1817257 edges, 32174 markings/sec, 20 secs
lola: 841821 markings, 2342284 edges, 20637 markings/sec, 25 secs
lola: 985847 markings, 2723476 edges, 28805 markings/sec, 30 secs
lola: 1123603 markings, 3099673 edges, 27551 markings/sec, 35 secs
lola: 1260368 markings, 3467860 edges, 27353 markings/sec, 40 secs
lola: 1396385 markings, 3842524 edges, 27203 markings/sec, 45 secs
lola: 1527937 markings, 4210686 edges, 26310 markings/sec, 50 secs
lola: 1675006 markings, 4588896 edges, 29414 markings/sec, 55 secs
lola: 1790228 markings, 5057698 edges, 23044 markings/sec, 60 secs
lola: 1947271 markings, 5340123 edges, 31409 markings/sec, 65 secs
lola: 2054304 markings, 5825190 edges, 21407 markings/sec, 70 secs
lola: 2202820 markings, 6053697 edges, 29703 markings/sec, 75 secs
lola: 2271558 markings, 6484419 edges, 13748 markings/sec, 80 secs
lola: 2418501 markings, 6708037 edges, 29389 markings/sec, 85 secs
lola: 2524364 markings, 7193887 edges, 21173 markings/sec, 90 secs
lola: 2687008 markings, 7522370 edges, 32529 markings/sec, 95 secs
lola: 2802379 markings, 7942613 edges, 23074 markings/sec, 100 secs
lola: 2939603 markings, 8316995 edges, 27445 markings/sec, 105 secs
lola: 3120903 markings, 8727789 edges, 36260 markings/sec, 110 secs
lola: 3282858 markings, 8977804 edges, 32391 markings/sec, 115 secs
lola: 3400559 markings, 9466434 edges, 23540 markings/sec, 120 secs
lola: 3573217 markings, 9729763 edges, 34532 markings/sec, 125 secs
lola: 3684945 markings, 10219771 edges, 22346 markings/sec, 130 secs
lola: 3817742 markings, 10557907 edges, 26559 markings/sec, 135 secs
lola: 3946868 markings, 10945205 edges, 25825 markings/sec, 140 secs
lola: 4089499 markings, 11329152 edges, 28526 markings/sec, 145 secs
lola: 4226403 markings, 11693902 edges, 27381 markings/sec, 150 secs
lola: 4332004 markings, 12130458 edges, 21120 markings/sec, 155 secs
lola: 4481256 markings, 12404677 edges, 29850 markings/sec, 160 secs
lola: 4576875 markings, 12873979 edges, 19124 markings/sec, 165 secs
lola: 4701718 markings, 13230356 edges, 24969 markings/sec, 170 secs
lola: 4821917 markings, 13645296 edges, 24040 markings/sec, 175 secs
lola: 4954516 markings, 14007782 edges, 26520 markings/sec, 180 secs
lola: 5097909 markings, 14384534 edges, 28679 markings/sec, 185 secs
lola: 5215749 markings, 14736628 edges, 23568 markings/sec, 190 secs
lola: 5387141 markings, 15129428 edges, 34278 markings/sec, 195 secs
lola: 5525455 markings, 15495683 edges, 27663 markings/sec, 200 secs
lola: 5651309 markings, 15892588 edges, 25171 markings/sec, 205 secs
lola: 5829434 markings, 16252018 edges, 35625 markings/sec, 210 secs
lola: 5966309 markings, 16620654 edges, 27375 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pb6_7_5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3140 bytes per marking, with 0 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: 114792 markings, 224618 edges, 22958 markings/sec, 0 secs
lola: 215806 markings, 509513 edges, 20203 markings/sec, 5 secs
lola: 314689 markings, 804916 edges, 19777 markings/sec, 10 secs
lola: 417291 markings, 1107450 edges, 20520 markings/sec, 15 secs
lola: 500434 markings, 1398528 edges, 16629 markings/sec, 20 secs
lola: 611720 markings, 1578750 edges, 22257 markings/sec, 25 secs
lola: 702517 markings, 1879574 edges, 18159 markings/sec, 30 secs
lola: 792429 markings, 2178865 edges, 17982 markings/sec, 35 secs
lola: 879632 markings, 2473752 edges, 17441 markings/sec, 40 secs
lola: 966189 markings, 2769614 edges, 17311 markings/sec, 45 secs
lola: 1054894 markings, 3068615 edges, 17741 markings/sec, 50 secs
lola: 1136335 markings, 3354790 edges, 16288 markings/sec, 55 secs
lola: 1237354 markings, 3520423 edges, 20204 markings/sec, 60 secs
lola: 1328320 markings, 3821648 edges, 18193 markings/sec, 65 secs
lola: 1415834 markings, 4116587 edges, 17503 markings/sec, 70 secs
lola: 1505221 markings, 4416808 edges, 17877 markings/sec, 75 secs
lola: 1586811 markings, 4701783 edges, 16318 markings/sec, 80 secs
lola: 1674177 markings, 4999721 edges, 17473 markings/sec, 85 secs
lola: 1765713 markings, 5304739 edges, 18307 markings/sec, 90 secs
lola: 1857822 markings, 5608976 edges, 18422 markings/sec, 95 secs
lola: 1937100 markings, 5891214 edges, 15856 markings/sec, 100 secs
lola: 2028516 markings, 6192217 edges, 18283 markings/sec, 105 secs
lola: 2121718 markings, 6462932 edges, 18640 markings/sec, 110 secs
lola: 2211306 markings, 6711600 edges, 17918 markings/sec, 115 secs
lola: 2299850 markings, 6942492 edges, 17709 markings/sec, 120 secs
lola: 2412306 markings, 7115293 edges, 22491 markings/sec, 125 secs
lola: 2523973 markings, 7288959 edges, 22333 markings/sec, 130 secs
lola: 2632652 markings, 7479450 edges, 21736 markings/sec, 135 secs
lola: 2738496 markings, 7650315 edges, 21169 markings/sec, 140 secs
lola: 2848152 markings, 7815307 edges, 21931 markings/sec, 145 secs
lola: 2953110 markings, 8006990 edges, 20992 markings/sec, 150 secs
lola: 3045249 markings, 8186359 edges, 18428 markings/sec, 155 secs
lola: 3133700 markings, 8344309 edges, 17690 markings/sec, 160 secs
lola: 3236733 markings, 8523044 edges, 20607 markings/sec, 165 secs
lola: 3340036 markings, 8702207 edges, 20661 markings/sec, 170 secs
lola: 3442581 markings, 8872728 edges, 20509 markings/sec, 175 secs
lola: 3531894 markings, 9026732 edges, 17863 markings/sec, 180 secs
lola: 3634747 markings, 9196896 edges, 20571 markings/sec, 185 secs
lola: 3727185 markings, 9350066 edges, 18488 markings/sec, 190 secs
lola: 3827958 markings, 9522360 edges, 20155 markings/sec, 195 secs
lola: 3916600 markings, 9679360 edges, 17728 markings/sec, 200 secs
lola: 4016428 markings, 9850755 edges, 19966 markings/sec, 205 secs
lola: 4104667 markings, 10012273 edges, 17648 markings/sec, 210 secs
lola: 4195218 markings, 10166527 edges, 18110 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pb2_8_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3140 bytes per marking, with 0 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: 207823 markings, 319152 edges, 41565 markings/sec, 0 secs
lola: 274245 markings, 677542 edges, 13284 markings/sec, 5 secs
lola: 341250 markings, 989318 edges, 13401 markings/sec, 10 secs
lola: 408497 markings, 1205329 edges, 13449 markings/sec, 15 secs
lola: 471839 markings, 1547386 edges, 12668 markings/sec, 20 secs
lola: 536135 markings, 1904494 edges, 12859 markings/sec, 25 secs
lola: 600424 markings, 2248165 edges, 12858 markings/sec, 30 secs
lola: 657709 markings, 2580831 edges, 11457 markings/sec, 35 secs
lola: 724390 markings, 2862258 edges, 13336 markings/sec, 40 secs
lola: 790587 markings, 3144450 edges, 13239 markings/sec, 45 secs
lola: 859365 markings, 3464279 edges, 13756 markings/sec, 50 secs
lola: 917802 markings, 3795326 edges, 11687 markings/sec, 55 secs
lola: 977119 markings, 4128428 edges, 11863 markings/sec, 60 secs
lola: 1038383 markings, 4469818 edges, 12253 markings/sec, 65 secs
lola: 1089987 markings, 4794472 edges, 10321 markings/sec, 70 secs
lola: 1159964 markings, 4974691 edges, 13995 markings/sec, 75 secs
lola: 1219195 markings, 5301646 edges, 11846 markings/sec, 80 secs
lola: 1281016 markings, 5652476 edges, 12364 markings/sec, 85 secs
lola: 1335206 markings, 5965423 edges, 10838 markings/sec, 90 secs
lola: 1386914 markings, 6289188 edges, 10342 markings/sec, 95 secs
lola: 1451832 markings, 6458192 edges, 12984 markings/sec, 100 secs
lola: 1516118 markings, 6794807 edges, 12857 markings/sec, 105 secs
lola: 1580824 markings, 7153452 edges, 12941 markings/sec, 110 secs
lola: 1632625 markings, 7468559 edges, 10360 markings/sec, 115 secs
lola: 1691116 markings, 7800231 edges, 11698 markings/sec, 120 secs
lola: 1749127 markings, 8138174 edges, 11602 markings/sec, 125 secs
lola: 1819442 markings, 8366101 edges, 14063 markings/sec, 130 secs
lola: 1874933 markings, 8646023 edges, 11098 markings/sec, 135 secs
lola: 1931202 markings, 8972785 edges, 11254 markings/sec, 140 secs
lola: 1990675 markings, 9300418 edges, 11895 markings/sec, 145 secs
lola: 2041275 markings, 9621299 edges, 10120 markings/sec, 150 secs
lola: 2106062 markings, 9885002 edges, 12957 markings/sec, 155 secs
lola: 2165901 markings, 10124681 edges, 11968 markings/sec, 160 secs
lola: 2232862 markings, 10470406 edges, 13392 markings/sec, 165 secs
lola: 2293610 markings, 10822107 edges, 12150 markings/sec, 170 secs
lola: 2339152 markings, 11116825 edges, 9108 markings/sec, 175 secs
lola: 2395524 markings, 11370497 edges, 11274 markings/sec, 180 secs
lola: 2463764 markings, 11618138 edges, 13648 markings/sec, 185 secs
lola: 2518716 markings, 11941246 edges, 10990 markings/sec, 190 secs
lola: 2571055 markings, 12254329 edges, 10468 markings/sec, 195 secs
lola: 2621616 markings, 12565052 edges, 10112 markings/sec, 200 secs
lola: 2687666 markings, 12785789 edges, 13210 markings/sec, 205 secs
lola: 2739740 markings, 13059917 edges, 10415 markings/sec, 210 secs
lola: 2784114 markings, 13349479 edges, 8875 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
FORMULA HexagonalGrid-PT-516-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HexagonalGrid-PT-516-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HexagonalGrid-PT-516-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HexagonalGrid-PT-516-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HexagonalGrid-PT-516-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HexagonalGrid-PT-516-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HexagonalGrid-PT-516-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HexagonalGrid-PT-516-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HexagonalGrid-PT-516-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HexagonalGrid-PT-516-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HexagonalGrid-PT-516-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HexagonalGrid-PT-516-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HexagonalGrid-PT-516-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HexagonalGrid-PT-516-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HexagonalGrid-PT-516-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HexagonalGrid-PT-516-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496507664129

--------------------
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="HexagonalGrid-PT-516"
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/HexagonalGrid-PT-516.tgz
mv HexagonalGrid-PT-516 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 HexagonalGrid-PT-516, 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-149581034500227"
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 ;