fond
Model Checking Contest @ Petri Nets 2017
7th edition, Zaragoza, Spain, June 27, 2017
Execution of r188-blw3-149581034500227
Last Updated
June 27, 2017

About the Execution of LoLA for HexagonalGrid-PT-516

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
11646.600 3539196.00 3545226.00 1577.50 ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? normal

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 ;