About the Execution of LoLA for S_SquareGrid-PT-040204
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 5800.730 | 3539404.00 | 3555370.00 | 625.10 | ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? | 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-3253
Executing tool lola
Input is S_SquareGrid-PT-040204, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r158-ebro-149443464000128
=====================================================================
--------------------
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 SquareGrid-PT-040204-UpperBounds-0
FORMULA_NAME SquareGrid-PT-040204-UpperBounds-1
FORMULA_NAME SquareGrid-PT-040204-UpperBounds-10
FORMULA_NAME SquareGrid-PT-040204-UpperBounds-11
FORMULA_NAME SquareGrid-PT-040204-UpperBounds-12
FORMULA_NAME SquareGrid-PT-040204-UpperBounds-13
FORMULA_NAME SquareGrid-PT-040204-UpperBounds-14
FORMULA_NAME SquareGrid-PT-040204-UpperBounds-15
FORMULA_NAME SquareGrid-PT-040204-UpperBounds-2
FORMULA_NAME SquareGrid-PT-040204-UpperBounds-3
FORMULA_NAME SquareGrid-PT-040204-UpperBounds-4
FORMULA_NAME SquareGrid-PT-040204-UpperBounds-5
FORMULA_NAME SquareGrid-PT-040204-UpperBounds-6
FORMULA_NAME SquareGrid-PT-040204-UpperBounds-7
FORMULA_NAME SquareGrid-PT-040204-UpperBounds-8
FORMULA_NAME SquareGrid-PT-040204-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1496562300930
Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_SquareGrid-PT-040204: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
S_SquareGrid-PT-040204: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_SquareGrid-PT-040204 @ 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: 512/65536 symbol table entries, 25 collisions
lola: preprocessing...
lola: finding significant places
lola: 240 places, 272 transitions, 143 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 368 transition conflict sets
lola: TASK
lola: reading formula from SquareGrid-PT-040204-UpperBounds.task
lola: MAX(p1ol_1_3) : MAX(pb3_2_1) : MAX(p4o_4_1) : MAX(p1i_4_2) : MAX(pbl_2_3) : MAX(p1ol_2_3) : MAX(p4il_3_4) : MAX(pb1_1_3) : MAX(pb3_1_4) : MAX(p4i_3_3) : MAX(pb2_1_2) : MAX(pb4_4_4) : MAX(p1o_2_1) : MAX(p1i_2_4) : MAX(pb3_3_3) : MAX(p4o_4_4)
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(p1ol_1_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 572 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: 373771 markings, 764730 edges, 74754 markings/sec, 0 secs
lola: 632318 markings, 1739170 edges, 51709 markings/sec, 5 secs
lola: 982868 markings, 2486628 edges, 70110 markings/sec, 10 secs
lola: 1247499 markings, 3413681 edges, 52926 markings/sec, 15 secs
lola: 1486270 markings, 4333116 edges, 47754 markings/sec, 20 secs
lola: 1865699 markings, 5056326 edges, 75886 markings/sec, 25 secs
lola: 2142778 markings, 5942322 edges, 55416 markings/sec, 30 secs
lola: 2527500 markings, 6576232 edges, 76944 markings/sec, 35 secs
lola: 2898181 markings, 7221600 edges, 74136 markings/sec, 40 secs
lola: 3255285 markings, 7873574 edges, 71421 markings/sec, 45 secs
lola: 3597444 markings, 8534024 edges, 68432 markings/sec, 50 secs
lola: 3925195 markings, 9212845 edges, 65550 markings/sec, 55 secs
lola: 4236874 markings, 9923745 edges, 62336 markings/sec, 60 secs
lola: 4510336 markings, 10707314 edges, 54692 markings/sec, 65 secs
lola: 4811089 markings, 11407397 edges, 60151 markings/sec, 70 secs
lola: 5083014 markings, 12190871 edges, 54385 markings/sec, 75 secs
lola: 5183049 markings, 13278262 edges, 20007 markings/sec, 80 secs
lola: 5191123 markings, 14448066 edges, 1615 markings/sec, 85 secs
lola: 5192917 markings, 15637262 edges, 359 markings/sec, 90 secs
lola: 5259374 markings, 16813118 edges, 13291 markings/sec, 95 secs
lola: 5458120 markings, 17736028 edges, 39749 markings/sec, 100 secs
lola: 5671448 markings, 18651275 edges, 42666 markings/sec, 105 secs
lola: 5860984 markings, 19587235 edges, 37907 markings/sec, 110 secs
lola: 6054759 markings, 20562761 edges, 38755 markings/sec, 115 secs
lola: 6278528 markings, 21437224 edges, 44754 markings/sec, 120 secs
lola: 6543446 markings, 22210886 edges, 52984 markings/sec, 125 secs
lola: 6804747 markings, 22977097 edges, 52260 markings/sec, 130 secs
lola: 7057936 markings, 23744066 edges, 50638 markings/sec, 135 secs
lola: 7292706 markings, 24530518 edges, 46954 markings/sec, 140 secs
lola: 7364951 markings, 25714403 edges, 14449 markings/sec, 145 secs
lola: 7369354 markings, 26966415 edges, 881 markings/sec, 150 secs
lola: 7375398 markings, 28264436 edges, 1209 markings/sec, 155 secs
lola: 7483826 markings, 29437609 edges, 21686 markings/sec, 160 secs
lola: 7648755 markings, 30430573 edges, 32986 markings/sec, 165 secs
lola: 7855931 markings, 31351312 edges, 41435 markings/sec, 170 secs
lola: 8018385 markings, 32331882 edges, 32491 markings/sec, 175 secs
lola: 8173988 markings, 33347187 edges, 31121 markings/sec, 180 secs
lola: 8338014 markings, 34371103 edges, 32805 markings/sec, 185 secs
lola: 8568774 markings, 35174146 edges, 46152 markings/sec, 190 secs
lola: 8793733 markings, 35999656 edges, 44992 markings/sec, 195 secs
lola: 9008177 markings, 36805070 edges, 42889 markings/sec, 200 secs
lola: 9218278 markings, 37620224 edges, 42020 markings/sec, 205 secs
lola: 9419793 markings, 38430987 edges, 40303 markings/sec, 210 secs
lola: 9548255 markings, 39457358 edges, 25692 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(pb3_2_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 572 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: 839576 markings, 1008091 edges, 167915 markings/sec, 0 secs
lola: 1564354 markings, 1930397 edges, 144956 markings/sec, 5 secs
lola: 2069356 markings, 2866728 edges, 101000 markings/sec, 10 secs
lola: 2591100 markings, 3729663 edges, 104349 markings/sec, 15 secs
lola: 3146029 markings, 4472880 edges, 110986 markings/sec, 20 secs
lola: 3673473 markings, 5217063 edges, 105489 markings/sec, 25 secs
lola: 4145798 markings, 6008360 edges, 94465 markings/sec, 30 secs
lola: 4623710 markings, 6765958 edges, 95582 markings/sec, 35 secs
lola: 4926245 markings, 7764019 edges, 60507 markings/sec, 40 secs
lola: 4996395 markings, 8985356 edges, 14030 markings/sec, 45 secs
lola: 5479461 markings, 9827567 edges, 96613 markings/sec, 50 secs
lola: 6009744 markings, 10684649 edges, 106057 markings/sec, 55 secs
lola: 6546670 markings, 11404309 edges, 107385 markings/sec, 60 secs
lola: 7057137 markings, 12130483 edges, 102093 markings/sec, 65 secs
lola: 7510909 markings, 12902722 edges, 90754 markings/sec, 70 secs
lola: 7969945 markings, 13635344 edges, 91807 markings/sec, 75 secs
lola: 8287173 markings, 14578604 edges, 63446 markings/sec, 80 secs
lola: 8300729 markings, 15765543 edges, 2711 markings/sec, 85 secs
lola: 8790804 markings, 16619097 edges, 98015 markings/sec, 90 secs
lola: 9275004 markings, 17445589 edges, 96840 markings/sec, 95 secs
lola: 9778730 markings, 18196155 edges, 100745 markings/sec, 100 secs
lola: 10283525 markings, 18878345 edges, 100959 markings/sec, 105 secs
lola: 10758618 markings, 19590371 edges, 95019 markings/sec, 110 secs
lola: 11200513 markings, 20325870 edges, 88379 markings/sec, 115 secs
lola: 11652281 markings, 21051356 edges, 90354 markings/sec, 120 secs
lola: 12062489 markings, 21920943 edges, 82042 markings/sec, 125 secs
lola: 12562545 markings, 22765597 edges, 100011 markings/sec, 130 secs
lola: 13096262 markings, 23491046 edges, 106743 markings/sec, 135 secs
lola: 13602545 markings, 24199806 edges, 101257 markings/sec, 140 secs
lola: 14055178 markings, 24950451 edges, 90527 markings/sec, 145 secs
lola: 14525310 markings, 25666367 edges, 94026 markings/sec, 150 secs
lola: 14932121 markings, 26479381 edges, 81362 markings/sec, 155 secs
lola: 15020749 markings, 27593297 edges, 17726 markings/sec, 160 secs
lola: 15071621 markings, 28751808 edges, 10174 markings/sec, 165 secs
lola: 15202948 markings, 29781420 edges, 26265 markings/sec, 170 secs
lola: 15646894 markings, 30542583 edges, 88789 markings/sec, 175 secs
lola: 16123233 markings, 31261881 edges, 95268 markings/sec, 180 secs
lola: 16608612 markings, 31916645 edges, 97076 markings/sec, 185 secs
lola: 17064094 markings, 32592148 edges, 91096 markings/sec, 190 secs
lola: 17481336 markings, 33296522 edges, 83448 markings/sec, 195 secs
lola: 17917505 markings, 33989050 edges, 87234 markings/sec, 200 secs
lola: 18308978 markings, 34800249 edges, 78295 markings/sec, 205 secs
lola: 18779421 markings, 35590460 edges, 94089 markings/sec, 210 secs
lola: 19263083 markings, 36317016 edges, 96732 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(p4o_4_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 572 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: 246500 markings, 1059554 edges, 49300 markings/sec, 0 secs
lola: 493240 markings, 1844649 edges, 49348 markings/sec, 5 secs
lola: 563688 markings, 3039284 edges, 14090 markings/sec, 10 secs
lola: 806353 markings, 4015849 edges, 48533 markings/sec, 15 secs
lola: 1064963 markings, 4795509 edges, 51722 markings/sec, 20 secs
lola: 1277382 markings, 5600623 edges, 42484 markings/sec, 25 secs
lola: 1418726 markings, 6558943 edges, 28269 markings/sec, 30 secs
lola: 1423209 markings, 7716874 edges, 897 markings/sec, 35 secs
lola: 1527992 markings, 8823618 edges, 20957 markings/sec, 40 secs
lola: 1798809 markings, 9567295 edges, 54163 markings/sec, 45 secs
lola: 2015800 markings, 10331598 edges, 43398 markings/sec, 50 secs
lola: 2205492 markings, 11153903 edges, 37938 markings/sec, 55 secs
lola: 2231261 markings, 12268350 edges, 5154 markings/sec, 60 secs
lola: 2233075 markings, 13403459 edges, 363 markings/sec, 65 secs
lola: 2448434 markings, 14348132 edges, 43072 markings/sec, 70 secs
lola: 2728920 markings, 15100976 edges, 56097 markings/sec, 75 secs
lola: 3018348 markings, 15803898 edges, 57886 markings/sec, 80 secs
lola: 3288295 markings, 16507351 edges, 53989 markings/sec, 85 secs
lola: 3550754 markings, 17195542 edges, 52492 markings/sec, 90 secs
lola: 3805335 markings, 17876289 edges, 50916 markings/sec, 95 secs
lola: 4052593 markings, 18555687 edges, 49452 markings/sec, 100 secs
lola: 4293698 markings, 19228758 edges, 48221 markings/sec, 105 secs
lola: 4527536 markings, 19899153 edges, 46768 markings/sec, 110 secs
lola: 4757824 markings, 20565353 edges, 46058 markings/sec, 115 secs
lola: 4981595 markings, 21235439 edges, 44754 markings/sec, 120 secs
lola: 5200545 markings, 21901659 edges, 43790 markings/sec, 125 secs
lola: 5413341 markings, 22560392 edges, 42559 markings/sec, 130 secs
lola: 5624564 markings, 23222362 edges, 42245 markings/sec, 135 secs
lola: 5832432 markings, 23885083 edges, 41574 markings/sec, 140 secs
lola: 6034090 markings, 24547288 edges, 40332 markings/sec, 145 secs
lola: 6232997 markings, 25211964 edges, 39781 markings/sec, 150 secs
lola: 6427987 markings, 25872234 edges, 38998 markings/sec, 155 secs
lola: 6621532 markings, 26535745 edges, 38709 markings/sec, 160 secs
lola: 6810655 markings, 27199143 edges, 37825 markings/sec, 165 secs
lola: 6995968 markings, 27861691 edges, 37063 markings/sec, 170 secs
lola: 7179737 markings, 28525573 edges, 36754 markings/sec, 175 secs
lola: 7357917 markings, 29189375 edges, 35636 markings/sec, 180 secs
lola: 7537814 markings, 29847598 edges, 35979 markings/sec, 185 secs
lola: 7714436 markings, 30505378 edges, 35324 markings/sec, 190 secs
lola: 7890648 markings, 31166371 edges, 35242 markings/sec, 195 secs
lola: 8064328 markings, 31830366 edges, 34736 markings/sec, 200 secs
lola: 8234498 markings, 32488910 edges, 34034 markings/sec, 205 secs
lola: 8401547 markings, 33148887 edges, 33410 markings/sec, 210 secs
lola: 8567600 markings, 33810737 edges, 33211 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(p1i_4_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 572 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: 1008504 markings, 1114405 edges, 201701 markings/sec, 0 secs
lola: 2004624 markings, 2215537 edges, 199224 markings/sec, 5 secs
lola: 3000675 markings, 3308139 edges, 199210 markings/sec, 10 secs
lola: 3995781 markings, 4408472 edges, 199021 markings/sec, 15 secs
lola: 4986762 markings, 5504325 edges, 198196 markings/sec, 20 secs
lola: 5974246 markings, 6596433 edges, 197497 markings/sec, 25 secs
lola: 6962943 markings, 7690036 edges, 197739 markings/sec, 30 secs
lola: 7955670 markings, 8787807 edges, 198545 markings/sec, 35 secs
lola: 8943376 markings, 9880439 edges, 197541 markings/sec, 40 secs
lola: 9924062 markings, 10965285 edges, 196137 markings/sec, 45 secs
lola: 10893348 markings, 12033497 edges, 193857 markings/sec, 50 secs
lola: 11850549 markings, 13093068 edges, 191440 markings/sec, 55 secs
lola: 12810579 markings, 14156190 edges, 192006 markings/sec, 60 secs
lola: 13765388 markings, 15210503 edges, 190962 markings/sec, 65 secs
lola: 14717945 markings, 16263699 edges, 190511 markings/sec, 70 secs
lola: 15671152 markings, 17313657 edges, 190641 markings/sec, 75 secs
lola: 16621866 markings, 18366547 edges, 190143 markings/sec, 80 secs
lola: 17576069 markings, 19420780 edges, 190841 markings/sec, 85 secs
lola: 18524163 markings, 20470494 edges, 189619 markings/sec, 90 secs
lola: 19472802 markings, 21518511 edges, 189728 markings/sec, 95 secs
lola: 20387742 markings, 22548305 edges, 182988 markings/sec, 100 secs
lola: 21126754 markings, 23585996 edges, 147802 markings/sec, 105 secs
lola: 21866820 markings, 24558535 edges, 148013 markings/sec, 110 secs
lola: 22571716 markings, 25421916 edges, 140979 markings/sec, 115 secs
lola: 23220850 markings, 26271014 edges, 129827 markings/sec, 120 secs
lola: 23837584 markings, 27109901 edges, 123347 markings/sec, 125 secs
lola: 24068995 markings, 28207988 edges, 46282 markings/sec, 130 secs
lola: 24748637 markings, 29186681 edges, 135928 markings/sec, 135 secs
lola: 25505221 markings, 30175033 edges, 151317 markings/sec, 140 secs
lola: 26200273 markings, 31061276 edges, 139010 markings/sec, 145 secs
lola: 26850444 markings, 31902362 edges, 130034 markings/sec, 150 secs
lola: 27468030 markings, 32727120 edges, 123517 markings/sec, 155 secs
lola: 27772396 markings, 33738659 edges, 60873 markings/sec, 160 secs
lola: 28394826 markings, 34766210 edges, 124486 markings/sec, 165 secs
lola: 29128639 markings, 35681273 edges, 146763 markings/sec, 170 secs
lola: 29802831 markings, 36532572 edges, 134838 markings/sec, 175 secs
lola: 30436631 markings, 37371444 edges, 126760 markings/sec, 180 secs
lola: 30994676 markings, 38236164 edges, 111609 markings/sec, 185 secs
lola: 31348851 markings, 39316906 edges, 70835 markings/sec, 190 secs
lola: 32099206 markings, 40305743 edges, 150071 markings/sec, 195 secs
lola: 32807040 markings, 41184820 edges, 141567 markings/sec, 200 secs
lola: 33462796 markings, 42049781 edges, 131151 markings/sec, 205 secs
lola: 34048451 markings, 42940821 edges, 117131 markings/sec, 210 secs
lola: 34383245 markings, 44013610 edges, 66959 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(pbl_2_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 572 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: 467545 markings, 906166 edges, 93509 markings/sec, 0 secs
lola: 872972 markings, 1850612 edges, 81085 markings/sec, 5 secs
lola: 1222510 markings, 2884333 edges, 69908 markings/sec, 10 secs
lola: 1682487 markings, 3719118 edges, 91995 markings/sec, 15 secs
lola: 1969587 markings, 4780849 edges, 57420 markings/sec, 20 secs
lola: 2421952 markings, 5626751 edges, 90473 markings/sec, 25 secs
lola: 2775279 markings, 6531800 edges, 70665 markings/sec, 30 secs
lola: 3148956 markings, 7455402 edges, 74735 markings/sec, 35 secs
lola: 3505552 markings, 8380899 edges, 71319 markings/sec, 40 secs
lola: 3852335 markings, 9261577 edges, 69357 markings/sec, 45 secs
lola: 4204760 markings, 10151571 edges, 70485 markings/sec, 50 secs
lola: 4572589 markings, 11020678 edges, 73566 markings/sec, 55 secs
lola: 5041008 markings, 11763480 edges, 93684 markings/sec, 60 secs
lola: 5499136 markings, 12518177 edges, 91626 markings/sec, 65 secs
lola: 5993080 markings, 13280888 edges, 98789 markings/sec, 70 secs
lola: 6447309 markings, 14035070 edges, 90846 markings/sec, 75 secs
lola: 6879254 markings, 14782433 edges, 86389 markings/sec, 80 secs
lola: 7295753 markings, 15526767 edges, 83300 markings/sec, 85 secs
lola: 7696103 markings, 16264853 edges, 80070 markings/sec, 90 secs
lola: 8024930 markings, 17130846 edges, 65765 markings/sec, 95 secs
lola: 8076878 markings, 18325983 edges, 10390 markings/sec, 100 secs
lola: 8124335 markings, 19624029 edges, 9491 markings/sec, 105 secs
lola: 8541756 markings, 20347621 edges, 83484 markings/sec, 110 secs
lola: 8948939 markings, 21085807 edges, 81437 markings/sec, 115 secs
lola: 9337950 markings, 21814126 edges, 77802 markings/sec, 120 secs
lola: 9586374 markings, 22741089 edges, 49685 markings/sec, 125 secs
lola: 9594700 markings, 23971285 edges, 1665 markings/sec, 130 secs
lola: 9749968 markings, 25158926 edges, 31054 markings/sec, 135 secs
lola: 10191266 markings, 25977515 edges, 88260 markings/sec, 140 secs
lola: 10534616 markings, 26893348 edges, 68670 markings/sec, 145 secs
lola: 10896197 markings, 27843453 edges, 72316 markings/sec, 150 secs
lola: 11260029 markings, 28736171 edges, 72766 markings/sec, 155 secs
lola: 11621015 markings, 29650492 edges, 72197 markings/sec, 160 secs
lola: 12062835 markings, 30427629 edges, 88364 markings/sec, 165 secs
lola: 12322366 markings, 31448106 edges, 51906 markings/sec, 170 secs
lola: 12753182 markings, 32181483 edges, 86163 markings/sec, 175 secs
lola: 13010732 markings, 33177479 edges, 51510 markings/sec, 180 secs
lola: 13480400 markings, 33911385 edges, 93934 markings/sec, 185 secs
lola: 13920312 markings, 34645875 edges, 87982 markings/sec, 190 secs
lola: 14410307 markings, 35400341 edges, 97999 markings/sec, 195 secs
lola: 14867118 markings, 36134575 edges, 91362 markings/sec, 200 secs
lola: 15296283 markings, 36876467 edges, 85833 markings/sec, 205 secs
lola: 15711358 markings, 37607281 edges, 83015 markings/sec, 210 secs
lola: 16119825 markings, 38345204 edges, 81693 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(p1ol_2_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 572 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: 763603 markings, 814991 edges, 152721 markings/sec, 0 secs
lola: 1268253 markings, 1719575 edges, 100930 markings/sec, 5 secs
lola: 1754805 markings, 2621098 edges, 97310 markings/sec, 10 secs
lola: 2273092 markings, 3356316 edges, 103657 markings/sec, 15 secs
lola: 2751460 markings, 4088959 edges, 95674 markings/sec, 20 secs
lola: 2980460 markings, 5099635 edges, 45800 markings/sec, 25 secs
lola: 3312199 markings, 6048487 edges, 66348 markings/sec, 30 secs
lola: 3850979 markings, 6813787 edges, 107756 markings/sec, 35 secs
lola: 4374934 markings, 7535705 edges, 104791 markings/sec, 40 secs
lola: 4748920 markings, 8394925 edges, 74797 markings/sec, 45 secs
lola: 5063933 markings, 9367918 edges, 63003 markings/sec, 50 secs
lola: 5484508 markings, 10273207 edges, 84115 markings/sec, 55 secs
lola: 5967537 markings, 10963024 edges, 96606 markings/sec, 60 secs
lola: 6406686 markings, 11662327 edges, 87830 markings/sec, 65 secs
lola: 6806256 markings, 12383381 edges, 79914 markings/sec, 70 secs
lola: 6861956 markings, 13411397 edges, 11140 markings/sec, 75 secs
lola: 7300725 markings, 14325166 edges, 87754 markings/sec, 80 secs
lola: 7839174 markings, 15148620 edges, 107690 markings/sec, 85 secs
lola: 8365408 markings, 15940536 edges, 105247 markings/sec, 90 secs
lola: 8538806 markings, 17123617 edges, 34680 markings/sec, 95 secs
lola: 9036051 markings, 18027157 edges, 99449 markings/sec, 100 secs
lola: 9541077 markings, 18823145 edges, 101005 markings/sec, 105 secs
lola: 10014429 markings, 19624723 edges, 94670 markings/sec, 110 secs
lola: 10208428 markings, 20733371 edges, 38800 markings/sec, 115 secs
lola: 10588244 markings, 21582294 edges, 75963 markings/sec, 120 secs
lola: 11058866 markings, 22254875 edges, 94124 markings/sec, 125 secs
lola: 11499671 markings, 22929559 edges, 88161 markings/sec, 130 secs
lola: 11773460 markings, 23825294 edges, 54758 markings/sec, 135 secs
lola: 12005149 markings, 24784393 edges, 46338 markings/sec, 140 secs
lola: 12504783 markings, 25490212 edges, 99927 markings/sec, 145 secs
lola: 12967502 markings, 26199849 edges, 92544 markings/sec, 150 secs
lola: 13225620 markings, 27129224 edges, 51624 markings/sec, 155 secs
lola: 13515762 markings, 28012135 edges, 58028 markings/sec, 160 secs
lola: 14063599 markings, 28664424 edges, 109567 markings/sec, 165 secs
lola: 14600163 markings, 29319073 edges, 107313 markings/sec, 170 secs
lola: 15128609 markings, 29977495 edges, 105689 markings/sec, 175 secs
lola: 15652112 markings, 30635340 edges, 104701 markings/sec, 180 secs
lola: 16169552 markings, 31296259 edges, 103488 markings/sec, 185 secs
lola: 16672893 markings, 31961094 edges, 100668 markings/sec, 190 secs
lola: 17166419 markings, 32626163 edges, 98705 markings/sec, 195 secs
lola: 17649591 markings, 33290724 edges, 96634 markings/sec, 200 secs
lola: 18118020 markings, 33961848 edges, 93686 markings/sec, 205 secs
lola: 18572521 markings, 34633241 edges, 90900 markings/sec, 210 secs
lola: 19018010 markings, 35307091 edges, 89098 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(p4il_3_4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 572 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: 486480 markings, 970415 edges, 97296 markings/sec, 0 secs
lola: 957612 markings, 1750100 edges, 94226 markings/sec, 5 secs
lola: 1175068 markings, 2939590 edges, 43491 markings/sec, 10 secs
lola: 1650407 markings, 3795408 edges, 95068 markings/sec, 15 secs
lola: 2042782 markings, 4583761 edges, 78475 markings/sec, 20 secs
lola: 2297005 markings, 5772512 edges, 50845 markings/sec, 25 secs
lola: 2796944 markings, 6569916 edges, 99988 markings/sec, 30 secs
lola: 3043612 markings, 7771372 edges, 49334 markings/sec, 35 secs
lola: 3544215 markings, 8617759 edges, 100121 markings/sec, 40 secs
lola: 3828052 markings, 9719226 edges, 56767 markings/sec, 45 secs
lola: 4306993 markings, 10603892 edges, 95788 markings/sec, 50 secs
lola: 4775480 markings, 11413668 edges, 93697 markings/sec, 55 secs
lola: 5060994 markings, 12555520 edges, 57103 markings/sec, 60 secs
lola: 5564491 markings, 13260512 edges, 100699 markings/sec, 65 secs
lola: 6055216 markings, 13954665 edges, 98145 markings/sec, 70 secs
lola: 6529546 markings, 14681058 edges, 94866 markings/sec, 75 secs
lola: 6997905 markings, 15415190 edges, 93672 markings/sec, 80 secs
lola: 7452849 markings, 16150238 edges, 90989 markings/sec, 85 secs
lola: 7894553 markings, 16875264 edges, 88341 markings/sec, 90 secs
lola: 8331145 markings, 17617745 edges, 87318 markings/sec, 95 secs
lola: 8762497 markings, 18336157 edges, 86270 markings/sec, 100 secs
lola: 9195177 markings, 19060876 edges, 86536 markings/sec, 105 secs
lola: 9616573 markings, 19774344 edges, 84279 markings/sec, 110 secs
lola: 10028817 markings, 20500033 edges, 82449 markings/sec, 115 secs
lola: 10440519 markings, 21210574 edges, 82340 markings/sec, 120 secs
lola: 10848476 markings, 21914988 edges, 81591 markings/sec, 125 secs
lola: 11251281 markings, 22615323 edges, 80561 markings/sec, 130 secs
lola: 11639032 markings, 23325746 edges, 77550 markings/sec, 135 secs
lola: 12010090 markings, 24043216 edges, 74212 markings/sec, 140 secs
lola: 12134770 markings, 25075702 edges, 24936 markings/sec, 145 secs
lola: 12151528 markings, 26255871 edges, 3352 markings/sec, 150 secs
lola: 12158822 markings, 27462848 edges, 1459 markings/sec, 155 secs
lola: 12162906 markings, 28698719 edges, 817 markings/sec, 160 secs
lola: 12171864 markings, 29937234 edges, 1792 markings/sec, 165 secs
lola: 12241682 markings, 31125051 edges, 13964 markings/sec, 170 secs
lola: 12250234 markings, 32411795 edges, 1710 markings/sec, 175 secs
lola: 12317202 markings, 33677920 edges, 13394 markings/sec, 180 secs
lola: 12757791 markings, 34524621 edges, 88118 markings/sec, 185 secs
lola: 13164636 markings, 35211446 edges, 81369 markings/sec, 190 secs
lola: 13313509 markings, 36278240 edges, 29775 markings/sec, 195 secs
lola: 13804197 markings, 37112479 edges, 98138 markings/sec, 200 secs
lola: 14155218 markings, 38023488 edges, 70204 markings/sec, 205 secs
lola: 14500387 markings, 39087486 edges, 69034 markings/sec, 210 secs
lola: 14956782 markings, 39861923 edges, 91279 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(pb1_1_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 572 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: 393786 markings, 806345 edges, 78757 markings/sec, 0 secs
lola: 655186 markings, 1804303 edges, 52280 markings/sec, 5 secs
lola: 1021944 markings, 2586571 edges, 73352 markings/sec, 10 secs
lola: 1303542 markings, 3512799 edges, 56320 markings/sec, 15 secs
lola: 1562033 markings, 4442315 edges, 51698 markings/sec, 20 secs
lola: 1937425 markings, 5202076 edges, 75078 markings/sec, 25 secs
lola: 2229672 markings, 6078796 edges, 58449 markings/sec, 30 secs
lola: 2624416 markings, 6738857 edges, 78949 markings/sec, 35 secs
lola: 3002379 markings, 7404060 edges, 75593 markings/sec, 40 secs
lola: 3364576 markings, 8073011 edges, 72439 markings/sec, 45 secs
lola: 3712647 markings, 8753444 edges, 69614 markings/sec, 50 secs
lola: 4042371 markings, 9455623 edges, 65945 markings/sec, 55 secs
lola: 4348147 markings, 10205999 edges, 61155 markings/sec, 60 secs
lola: 4629950 markings, 10985965 edges, 56361 markings/sec, 65 secs
lola: 4929147 markings, 11714061 edges, 59839 markings/sec, 70 secs
lola: 5181745 markings, 12621124 edges, 50520 markings/sec, 75 secs
lola: 5194229 markings, 13754329 edges, 2497 markings/sec, 80 secs
lola: 5196515 markings, 14885140 edges, 457 markings/sec, 85 secs
lola: 5198243 markings, 16053192 edges, 346 markings/sec, 90 secs
lola: 5402703 markings, 17033121 edges, 40892 markings/sec, 95 secs
lola: 5712143 markings, 17772644 edges, 61888 markings/sec, 100 secs
lola: 5986702 markings, 18608273 edges, 54912 markings/sec, 105 secs
lola: 6217584 markings, 19492778 edges, 46176 markings/sec, 110 secs
lola: 6579846 markings, 20236674 edges, 72452 markings/sec, 115 secs
lola: 6859016 markings, 21087566 edges, 55834 markings/sec, 120 secs
lola: 7241151 markings, 21719346 edges, 76427 markings/sec, 125 secs
lola: 7609630 markings, 22362205 edges, 73696 markings/sec, 130 secs
lola: 7964190 markings, 23013430 edges, 70912 markings/sec, 135 secs
lola: 8302003 markings, 23670672 edges, 67563 markings/sec, 140 secs
lola: 8626635 markings, 24338133 edges, 64926 markings/sec, 145 secs
lola: 8930705 markings, 25034364 edges, 60814 markings/sec, 150 secs
lola: 9192477 markings, 25819054 edges, 52354 markings/sec, 155 secs
lola: 9491257 markings, 26515758 edges, 59756 markings/sec, 160 secs
lola: 9767304 markings, 27281517 edges, 55209 markings/sec, 165 secs
lola: 9864745 markings, 28310366 edges, 19488 markings/sec, 170 secs
lola: 9871935 markings, 29370905 edges, 1438 markings/sec, 175 secs
lola: 9873723 markings, 30438963 edges, 358 markings/sec, 180 secs
lola: 9874991 markings, 31552292 edges, 254 markings/sec, 185 secs
lola: 10193029 markings, 32305403 edges, 63608 markings/sec, 190 secs
lola: 10410426 markings, 33150746 edges, 43479 markings/sec, 195 secs
lola: 10752684 markings, 33864606 edges, 68452 markings/sec, 200 secs
lola: 11012323 markings, 34684577 edges, 51928 markings/sec, 205 secs
lola: 11383885 markings, 35294916 edges, 74312 markings/sec, 210 secs
lola: 11740785 markings, 35917901 edges, 71380 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(pb3_1_4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 572 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: 318055 markings, 886060 edges, 63611 markings/sec, 0 secs
lola: 640317 markings, 1695304 edges, 64452 markings/sec, 5 secs
lola: 949941 markings, 2373591 edges, 61925 markings/sec, 10 secs
lola: 1256700 markings, 3131599 edges, 61352 markings/sec, 15 secs
lola: 1337345 markings, 4220875 edges, 16129 markings/sec, 20 secs
lola: 1645149 markings, 5101677 edges, 61561 markings/sec, 25 secs
lola: 2021335 markings, 5866617 edges, 75237 markings/sec, 30 secs
lola: 2378289 markings, 6558446 edges, 71391 markings/sec, 35 secs
lola: 2697409 markings, 7290138 edges, 63824 markings/sec, 40 secs
lola: 2978065 markings, 8086239 edges, 56131 markings/sec, 45 secs
lola: 2993683 markings, 9159404 edges, 3124 markings/sec, 50 secs
lola: 3152327 markings, 10091740 edges, 31729 markings/sec, 55 secs
lola: 3402591 markings, 10949339 edges, 50053 markings/sec, 60 secs
lola: 3691246 markings, 11767428 edges, 57731 markings/sec, 65 secs
lola: 4023164 markings, 12431868 edges, 66384 markings/sec, 70 secs
lola: 4310072 markings, 13119149 edges, 57382 markings/sec, 75 secs
lola: 4573827 markings, 13821195 edges, 52751 markings/sec, 80 secs
lola: 4836248 markings, 14548198 edges, 52484 markings/sec, 85 secs
lola: 4888635 markings, 15522503 edges, 10477 markings/sec, 90 secs
lola: 4893751 markings, 16500603 edges, 1023 markings/sec, 95 secs
lola: 5111630 markings, 17341895 edges, 43576 markings/sec, 100 secs
lola: 5468483 markings, 18010531 edges, 71371 markings/sec, 105 secs
lola: 5793639 markings, 18646119 edges, 65031 markings/sec, 110 secs
lola: 6086206 markings, 19308222 edges, 58513 markings/sec, 115 secs
lola: 6361009 markings, 20001032 edges, 54961 markings/sec, 120 secs
lola: 6456211 markings, 20904924 edges, 19040 markings/sec, 125 secs
lola: 6459123 markings, 21861663 edges, 582 markings/sec, 130 secs
lola: 6672831 markings, 22694483 edges, 42742 markings/sec, 135 secs
lola: 7007278 markings, 23382682 edges, 66889 markings/sec, 140 secs
lola: 7317103 markings, 24011744 edges, 61965 markings/sec, 145 secs
lola: 7591769 markings, 24664659 edges, 54933 markings/sec, 150 secs
lola: 7841141 markings, 25352591 edges, 49874 markings/sec, 155 secs
lola: 8012603 markings, 26149203 edges, 34292 markings/sec, 160 secs
lola: 8023351 markings, 27050520 edges, 2150 markings/sec, 165 secs
lola: 8024471 markings, 27992505 edges, 224 markings/sec, 170 secs
lola: 8312065 markings, 28790734 edges, 57519 markings/sec, 175 secs
lola: 8633742 markings, 29506632 edges, 64335 markings/sec, 180 secs
lola: 8961514 markings, 30113443 edges, 65554 markings/sec, 185 secs
lola: 9250773 markings, 30759058 edges, 57852 markings/sec, 190 secs
lola: 9529091 markings, 31406671 edges, 55664 markings/sec, 195 secs
lola: 9726311 markings, 32176803 edges, 39444 markings/sec, 200 secs
lola: 9737959 markings, 33119083 edges, 2330 markings/sec, 205 secs
lola: 9873229 markings, 33956106 edges, 27054 markings/sec, 210 secs
lola: 10252199 markings, 34602237 edges, 75794 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(p4i_3_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 572 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: 357083 markings, 1043507 edges, 71417 markings/sec, 0 secs
lola: 645620 markings, 2183063 edges, 57707 markings/sec, 5 secs
lola: 927086 markings, 3318862 edges, 56293 markings/sec, 10 secs
lola: 1265609 markings, 4275533 edges, 67705 markings/sec, 15 secs
lola: 1607001 markings, 5114502 edges, 68278 markings/sec, 20 secs
lola: 1780042 markings, 6321249 edges, 34608 markings/sec, 25 secs
lola: 1957366 markings, 7689028 edges, 35465 markings/sec, 30 secs
lola: 2255379 markings, 8752860 edges, 59603 markings/sec, 35 secs
lola: 2558561 markings, 9749287 edges, 60636 markings/sec, 40 secs
lola: 2912971 markings, 10573829 edges, 70882 markings/sec, 45 secs
lola: 3213911 markings, 11459843 edges, 60188 markings/sec, 50 secs
lola: 3276386 markings, 12926471 edges, 12495 markings/sec, 55 secs
lola: 3572480 markings, 13982120 edges, 59219 markings/sec, 60 secs
lola: 3913100 markings, 14896046 edges, 68124 markings/sec, 65 secs
lola: 4250417 markings, 15717271 edges, 67463 markings/sec, 70 secs
lola: 4431249 markings, 16842658 edges, 36166 markings/sec, 75 secs
lola: 4589886 markings, 18130563 edges, 31727 markings/sec, 80 secs
lola: 4973375 markings, 18906107 edges, 76698 markings/sec, 85 secs
lola: 5339680 markings, 19693899 edges, 73261 markings/sec, 90 secs
lola: 5695020 markings, 20475047 edges, 71068 markings/sec, 95 secs
lola: 6041962 markings, 21274657 edges, 69388 markings/sec, 100 secs
lola: 6380305 markings, 22072893 edges, 67669 markings/sec, 105 secs
lola: 6706416 markings, 22880060 edges, 65222 markings/sec, 110 secs
lola: 7021580 markings, 23699984 edges, 63033 markings/sec, 115 secs
lola: 7334157 markings, 24534879 edges, 62515 markings/sec, 120 secs
lola: 7631110 markings, 25378394 edges, 59391 markings/sec, 125 secs
lola: 7706267 markings, 26663265 edges, 15031 markings/sec, 130 secs
lola: 7720584 markings, 28054123 edges, 2863 markings/sec, 135 secs
lola: 7734668 markings, 29479214 edges, 2817 markings/sec, 140 secs
lola: 7927898 markings, 30603968 edges, 38646 markings/sec, 145 secs
lola: 7943615 markings, 32112563 edges, 3143 markings/sec, 150 secs
lola: 8232013 markings, 33154073 edges, 57680 markings/sec, 155 secs
lola: 8489118 markings, 34271322 edges, 51421 markings/sec, 160 secs
lola: 8863628 markings, 35079312 edges, 74902 markings/sec, 165 secs
lola: 9195491 markings, 35912726 edges, 66373 markings/sec, 170 secs
lola: 9345760 markings, 37115312 edges, 30054 markings/sec, 175 secs
lola: 9565135 markings, 38328298 edges, 43875 markings/sec, 180 secs
lola: 9863655 markings, 39316077 edges, 59704 markings/sec, 185 secs
lola: 10209673 markings, 40130515 edges, 69204 markings/sec, 190 secs
lola: 10491654 markings, 41035744 edges, 56396 markings/sec, 195 secs
lola: 10543871 markings, 42490815 edges, 10443 markings/sec, 200 secs
lola: 10931323 markings, 43252602 edges, 77490 markings/sec, 205 secs
lola: 11296509 markings, 44034072 edges, 73037 markings/sec, 210 secs
lola: 11649994 markings, 44819710 edges, 70697 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(pb2_1_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 572 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: 466723 markings, 824950 edges, 93345 markings/sec, 0 secs
lola: 959067 markings, 1506215 edges, 98469 markings/sec, 5 secs
lola: 1386543 markings, 2162976 edges, 85495 markings/sec, 10 secs
lola: 1776591 markings, 2842420 edges, 78010 markings/sec, 15 secs
lola: 1909679 markings, 3760928 edges, 26618 markings/sec, 20 secs
lola: 2270137 markings, 4655449 edges, 72092 markings/sec, 25 secs
lola: 2768923 markings, 5369342 edges, 99757 markings/sec, 30 secs
lola: 3222747 markings, 6082869 edges, 90765 markings/sec, 35 secs
lola: 3633575 markings, 6844067 edges, 82166 markings/sec, 40 secs
lola: 3685269 markings, 7855891 edges, 10339 markings/sec, 45 secs
lola: 4140768 markings, 8613406 edges, 91100 markings/sec, 50 secs
lola: 4592676 markings, 9303889 edges, 90382 markings/sec, 55 secs
lola: 5024679 markings, 9928426 edges, 86401 markings/sec, 60 secs
lola: 5409063 markings, 10576011 edges, 76877 markings/sec, 65 secs
lola: 5691371 markings, 11290837 edges, 56462 markings/sec, 70 secs
lola: 5714668 markings, 12076353 edges, 4659 markings/sec, 75 secs
lola: 6086342 markings, 12732471 edges, 74335 markings/sec, 80 secs
lola: 6349106 markings, 13466527 edges, 52553 markings/sec, 85 secs
lola: 6772034 markings, 14085122 edges, 84586 markings/sec, 90 secs
lola: 7191438 markings, 14685076 edges, 83881 markings/sec, 95 secs
lola: 7645790 markings, 15273546 edges, 90870 markings/sec, 100 secs
lola: 8133238 markings, 15915979 edges, 97490 markings/sec, 105 secs
lola: 8610366 markings, 16550294 edges, 95426 markings/sec, 110 secs
lola: 9077151 markings, 17186385 edges, 93357 markings/sec, 115 secs
lola: 9540428 markings, 17820516 edges, 92655 markings/sec, 120 secs
lola: 9995875 markings, 18454062 edges, 91089 markings/sec, 125 secs
lola: 10447065 markings, 19088830 edges, 90238 markings/sec, 130 secs
lola: 10892128 markings, 19722222 edges, 89013 markings/sec, 135 secs
lola: 11332489 markings, 20359892 edges, 88072 markings/sec, 140 secs
lola: 11768010 markings, 21000077 edges, 87104 markings/sec, 145 secs
lola: 12202379 markings, 21642226 edges, 86874 markings/sec, 150 secs
lola: 12625795 markings, 22279595 edges, 84683 markings/sec, 155 secs
lola: 13052967 markings, 22933556 edges, 85434 markings/sec, 160 secs
lola: 13473820 markings, 23583462 edges, 84171 markings/sec, 165 secs
lola: 13883361 markings, 24233790 edges, 81908 markings/sec, 170 secs
lola: 14287530 markings, 24885270 edges, 80834 markings/sec, 175 secs
lola: 14692723 markings, 25537671 edges, 81039 markings/sec, 180 secs
lola: 15091848 markings, 26192518 edges, 79825 markings/sec, 185 secs
lola: 15483294 markings, 26853524 edges, 78289 markings/sec, 190 secs
lola: 15872276 markings, 27513488 edges, 77796 markings/sec, 195 secs
lola: 16257995 markings, 28173589 edges, 77144 markings/sec, 200 secs
lola: 16637219 markings, 28841252 edges, 75845 markings/sec, 205 secs
lola: 17012827 markings, 29516440 edges, 75122 markings/sec, 210 secs
lola: 17384216 markings, 30189168 edges, 74278 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(pb4_4_4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 572 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: 529545 markings, 867477 edges, 105909 markings/sec, 0 secs
lola: 1011289 markings, 1747723 edges, 96349 markings/sec, 5 secs
lola: 1570914 markings, 2442110 edges, 111925 markings/sec, 10 secs
lola: 2090942 markings, 3148059 edges, 104006 markings/sec, 15 secs
lola: 2595559 markings, 3817026 edges, 100923 markings/sec, 20 secs
lola: 3059419 markings, 4494290 edges, 92772 markings/sec, 25 secs
lola: 3241474 markings, 5538985 edges, 36411 markings/sec, 30 secs
lola: 3434510 markings, 6693612 edges, 38607 markings/sec, 35 secs
lola: 3898590 markings, 7553210 edges, 92816 markings/sec, 40 secs
lola: 4427663 markings, 8298768 edges, 105815 markings/sec, 45 secs
lola: 4936195 markings, 8989656 edges, 101706 markings/sec, 50 secs
lola: 5432522 markings, 9639985 edges, 99265 markings/sec, 55 secs
lola: 5901680 markings, 10279737 edges, 93832 markings/sec, 60 secs
lola: 6269890 markings, 11029287 edges, 73642 markings/sec, 65 secs
lola: 6283966 markings, 12212843 edges, 2815 markings/sec, 70 secs
lola: 6681954 markings, 13097879 edges, 79598 markings/sec, 75 secs
lola: 7153038 markings, 13873789 edges, 94217 markings/sec, 80 secs
lola: 7663845 markings, 14512598 edges, 102161 markings/sec, 85 secs
lola: 8141699 markings, 15168598 edges, 95571 markings/sec, 90 secs
lola: 8608771 markings, 15786653 edges, 93414 markings/sec, 95 secs
lola: 9040938 markings, 16410012 edges, 86433 markings/sec, 100 secs
lola: 9249390 markings, 17277487 edges, 41690 markings/sec, 105 secs
lola: 9263154 markings, 18417653 edges, 2753 markings/sec, 110 secs
lola: 9745457 markings, 19203601 edges, 96461 markings/sec, 115 secs
lola: 10276055 markings, 19862040 edges, 106120 markings/sec, 120 secs
lola: 10770942 markings, 20539915 edges, 98977 markings/sec, 125 secs
lola: 11257462 markings, 21181976 edges, 97304 markings/sec, 130 secs
lola: 11710943 markings, 21835857 edges, 90696 markings/sec, 135 secs
lola: 11916594 markings, 22787132 edges, 41130 markings/sec, 140 secs
lola: 12015872 markings, 23938603 edges, 19856 markings/sec, 145 secs
lola: 12524246 markings, 24655397 edges, 101675 markings/sec, 150 secs
lola: 13021942 markings, 25331115 edges, 99539 markings/sec, 155 secs
lola: 13515305 markings, 25979163 edges, 98673 markings/sec, 160 secs
lola: 13986851 markings, 26616466 edges, 94309 markings/sec, 165 secs
lola: 14397431 markings, 27298411 edges, 82116 markings/sec, 170 secs
lola: 14425426 markings, 28439174 edges, 5599 markings/sec, 175 secs
lola: 14754749 markings, 29325183 edges, 65865 markings/sec, 180 secs
lola: 15297963 markings, 29970372 edges, 108643 markings/sec, 185 secs
lola: 15837008 markings, 30613844 edges, 107809 markings/sec, 190 secs
lola: 16364226 markings, 31262811 edges, 105444 markings/sec, 195 secs
lola: 16886960 markings, 31896289 edges, 104547 markings/sec, 200 secs
lola: 17399566 markings, 32530865 edges, 102521 markings/sec, 205 secs
lola: 17904780 markings, 33166067 edges, 101043 markings/sec, 210 secs
lola: 18404427 markings, 33801276 edges, 99929 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(p1o_2_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 572 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: 848644 markings, 1085394 edges, 169729 markings/sec, 0 secs
lola: 1651653 markings, 2160042 edges, 160602 markings/sec, 5 secs
lola: 2484127 markings, 3187432 edges, 166495 markings/sec, 10 secs
lola: 3231958 markings, 4245283 edges, 149566 markings/sec, 15 secs
lola: 4050114 markings, 5321919 edges, 163631 markings/sec, 20 secs
lola: 4878507 markings, 6361770 edges, 165679 markings/sec, 25 secs
lola: 5617862 markings, 7423293 edges, 147871 markings/sec, 30 secs
lola: 6435092 markings, 8455729 edges, 163446 markings/sec, 35 secs
lola: 7195509 markings, 9460492 edges, 152083 markings/sec, 40 secs
lola: 7991957 markings, 10466955 edges, 159290 markings/sec, 45 secs
lola: 8791846 markings, 11450277 edges, 159978 markings/sec, 50 secs
lola: 9495330 markings, 12480655 edges, 140697 markings/sec, 55 secs
lola: 10233221 markings, 13441789 edges, 147578 markings/sec, 60 secs
lola: 10968593 markings, 14546060 edges, 147074 markings/sec, 65 secs
lola: 11798732 markings, 15574780 edges, 166028 markings/sec, 70 secs
lola: 12539856 markings, 16623276 edges, 148225 markings/sec, 75 secs
lola: 13358240 markings, 17657234 edges, 163677 markings/sec, 80 secs
lola: 14124881 markings, 18676250 edges, 153328 markings/sec, 85 secs
lola: 14926365 markings, 19681076 edges, 160297 markings/sec, 90 secs
lola: 15722325 markings, 20665408 edges, 159192 markings/sec, 95 secs
lola: 16428827 markings, 21694794 edges, 141300 markings/sec, 100 secs
lola: 17110541 markings, 22724214 edges, 136343 markings/sec, 105 secs
lola: 17908034 markings, 23764833 edges, 159499 markings/sec, 110 secs
lola: 18722378 markings, 24764315 edges, 162869 markings/sec, 115 secs
lola: 19538141 markings, 25751574 edges, 163153 markings/sec, 120 secs
lola: 20249741 markings, 26785671 edges, 142320 markings/sec, 125 secs
lola: 20957514 markings, 27806268 edges, 141555 markings/sec, 130 secs
lola: 21813756 markings, 28787748 edges, 171248 markings/sec, 135 secs
lola: 22632194 markings, 29750930 edges, 163688 markings/sec, 140 secs
lola: 23437280 markings, 30733701 edges, 161017 markings/sec, 145 secs
lola: 24206124 markings, 31714850 edges, 153769 markings/sec, 150 secs
lola: 24803879 markings, 32825082 edges, 119551 markings/sec, 155 secs
lola: 25590587 markings, 33749975 edges, 157342 markings/sec, 160 secs
lola: 26369145 markings, 34687827 edges, 155712 markings/sec, 165 secs
lola: 27081117 markings, 35671309 edges, 142394 markings/sec, 170 secs
lola: 27738253 markings, 36809293 edges, 131427 markings/sec, 175 secs
lola: 28524053 markings, 37850609 edges, 157160 markings/sec, 180 secs
lola: 29301051 markings, 38874337 edges, 155400 markings/sec, 185 secs
lola: 30070910 markings, 39929119 edges, 153972 markings/sec, 190 secs
lola: 30893890 markings, 40939438 edges, 164596 markings/sec, 195 secs
lola: 31616654 markings, 41965254 edges, 144553 markings/sec, 200 secs
lola: 32449677 markings, 42932157 edges, 166605 markings/sec, 205 secs
lola: 33147970 markings, 44009988 edges, 139659 markings/sec, 210 secs
lola: 33926354 markings, 44938867 edges, 155677 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(p1i_2_4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 572 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: 573847 markings, 767364 edges, 114769 markings/sec, 0 secs
lola: 1159000 markings, 1475714 edges, 117031 markings/sec, 5 secs
lola: 1711883 markings, 2191647 edges, 110577 markings/sec, 10 secs
lola: 2159074 markings, 3030502 edges, 89438 markings/sec, 15 secs
lola: 2684488 markings, 3841204 edges, 105083 markings/sec, 20 secs
lola: 3249928 markings, 4538279 edges, 113088 markings/sec, 25 secs
lola: 3787762 markings, 5234843 edges, 107567 markings/sec, 30 secs
lola: 4167327 markings, 6130922 edges, 75913 markings/sec, 35 secs
lola: 4723392 markings, 6837550 edges, 111213 markings/sec, 40 secs
lola: 5272610 markings, 7498007 edges, 109844 markings/sec, 45 secs
lola: 5789794 markings, 8190978 edges, 103437 markings/sec, 50 secs
lola: 6197452 markings, 9073987 edges, 81532 markings/sec, 55 secs
lola: 6784725 markings, 9781034 edges, 117455 markings/sec, 60 secs
lola: 7335769 markings, 10471629 edges, 110209 markings/sec, 65 secs
lola: 7805594 markings, 11122335 edges, 93965 markings/sec, 70 secs
lola: 8214050 markings, 11963541 edges, 81691 markings/sec, 75 secs
lola: 8780211 markings, 12609513 edges, 113232 markings/sec, 80 secs
lola: 9340298 markings, 13256478 edges, 112017 markings/sec, 85 secs
lola: 9895166 markings, 13902906 edges, 110974 markings/sec, 90 secs
lola: 10440308 markings, 14545325 edges, 109028 markings/sec, 95 secs
lola: 10984447 markings, 15189570 edges, 108828 markings/sec, 100 secs
lola: 11526493 markings, 15830569 edges, 108409 markings/sec, 105 secs
lola: 12064224 markings, 16472063 edges, 107546 markings/sec, 110 secs
lola: 12594928 markings, 17114476 edges, 106141 markings/sec, 115 secs
lola: 13122365 markings, 17760270 edges, 105487 markings/sec, 120 secs
lola: 13645327 markings, 18399053 edges, 104592 markings/sec, 125 secs
lola: 14164451 markings, 19042903 edges, 103825 markings/sec, 130 secs
lola: 14685171 markings, 19694771 edges, 104144 markings/sec, 135 secs
lola: 15198003 markings, 20335602 edges, 102566 markings/sec, 140 secs
lola: 15704449 markings, 20984485 edges, 101289 markings/sec, 145 secs
lola: 16211982 markings, 21639254 edges, 101507 markings/sec, 150 secs
lola: 16711882 markings, 22297314 edges, 99980 markings/sec, 155 secs
lola: 17198522 markings, 22983480 edges, 97328 markings/sec, 160 secs
lola: 17656331 markings, 23684019 edges, 91562 markings/sec, 165 secs
lola: 18130849 markings, 24355772 edges, 94904 markings/sec, 170 secs
lola: 18623049 markings, 25002022 edges, 98440 markings/sec, 175 secs
lola: 19111628 markings, 25663868 edges, 97716 markings/sec, 180 secs
lola: 19586835 markings, 26329426 edges, 95041 markings/sec, 185 secs
lola: 20057591 markings, 27008427 edges, 94151 markings/sec, 190 secs
lola: 20586311 markings, 27759314 edges, 105744 markings/sec, 195 secs
lola: 20745050 markings, 28755630 edges, 31748 markings/sec, 200 secs
lola: 20774866 markings, 29833628 edges, 5963 markings/sec, 205 secs
lola: 20782914 markings, 30930058 edges, 1610 markings/sec, 210 secs
lola: 20788522 markings, 32102412 edges, 1122 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(pb3_3_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 572 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: 307150 markings, 1105036 edges, 61430 markings/sec, 0 secs
lola: 660338 markings, 1887640 edges, 70638 markings/sec, 5 secs
lola: 883183 markings, 2840977 edges, 44569 markings/sec, 10 secs
lola: 913012 markings, 4310010 edges, 5966 markings/sec, 15 secs
lola: 1209420 markings, 5281761 edges, 59282 markings/sec, 20 secs
lola: 1530560 markings, 6019588 edges, 64228 markings/sec, 25 secs
lola: 1723497 markings, 6924468 edges, 38587 markings/sec, 30 secs
lola: 1743816 markings, 8184354 edges, 4064 markings/sec, 35 secs
lola: 2013868 markings, 9166406 edges, 54010 markings/sec, 40 secs
lola: 2331927 markings, 9902615 edges, 63612 markings/sec, 45 secs
lola: 2518967 markings, 10826486 edges, 37408 markings/sec, 50 secs
lola: 2533190 markings, 12111010 edges, 2845 markings/sec, 55 secs
lola: 2839564 markings, 12984203 edges, 61275 markings/sec, 60 secs
lola: 3143727 markings, 13696925 edges, 60833 markings/sec, 65 secs
lola: 3311284 markings, 14632571 edges, 33511 markings/sec, 70 secs
lola: 3319765 markings, 15854022 edges, 1696 markings/sec, 75 secs
lola: 3617820 markings, 16640681 edges, 59611 markings/sec, 80 secs
lola: 3901243 markings, 17335620 edges, 56685 markings/sec, 85 secs
lola: 4008241 markings, 18342699 edges, 21400 markings/sec, 90 secs
lola: 4069587 markings, 19498716 edges, 12269 markings/sec, 95 secs
lola: 4452499 markings, 20201780 edges, 76582 markings/sec, 100 secs
lola: 4808577 markings, 20885368 edges, 71216 markings/sec, 105 secs
lola: 5147154 markings, 21567195 edges, 67715 markings/sec, 110 secs
lola: 5477546 markings, 22257797 edges, 66078 markings/sec, 115 secs
lola: 5800694 markings, 22956005 edges, 64630 markings/sec, 120 secs
lola: 6132303 markings, 23622701 edges, 66322 markings/sec, 125 secs
lola: 6452828 markings, 24289831 edges, 64105 markings/sec, 130 secs
lola: 6743182 markings, 24997359 edges, 58071 markings/sec, 135 secs
lola: 7024755 markings, 25688764 edges, 56315 markings/sec, 140 secs
lola: 7303898 markings, 26381104 edges, 55829 markings/sec, 145 secs
lola: 7578714 markings, 27066426 edges, 54963 markings/sec, 150 secs
lola: 7853881 markings, 27749442 edges, 55033 markings/sec, 155 secs
lola: 8128984 markings, 28422891 edges, 55021 markings/sec, 160 secs
lola: 8402841 markings, 29089943 edges, 54771 markings/sec, 165 secs
lola: 8672862 markings, 29759886 edges, 54004 markings/sec, 170 secs
lola: 8934347 markings, 30426882 edges, 52297 markings/sec, 175 secs
lola: 9193417 markings, 31092687 edges, 51814 markings/sec, 180 secs
lola: 9449677 markings, 31749880 edges, 51252 markings/sec, 185 secs
lola: 9700153 markings, 32408280 edges, 50095 markings/sec, 190 secs
lola: 9946396 markings, 33057225 edges, 49249 markings/sec, 195 secs
lola: 10187933 markings, 33710455 edges, 48307 markings/sec, 200 secs
lola: 10419132 markings, 34361819 edges, 46240 markings/sec, 205 secs
lola: 10652640 markings, 35009729 edges, 46702 markings/sec, 210 secs
lola: 10878371 markings, 35673423 edges, 45146 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(p4o_4_4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 572 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: 520437 markings, 824403 edges, 104087 markings/sec, 0 secs
lola: 1010603 markings, 1606021 edges, 98033 markings/sec, 5 secs
lola: 1487141 markings, 2310328 edges, 95308 markings/sec, 10 secs
lola: 1819575 markings, 3166064 edges, 66487 markings/sec, 15 secs
lola: 2241495 markings, 4093044 edges, 84384 markings/sec, 20 secs
lola: 2739493 markings, 4878357 edges, 99600 markings/sec, 25 secs
lola: 3211977 markings, 5587945 edges, 94497 markings/sec, 30 secs
lola: 3502547 markings, 6499467 edges, 58114 markings/sec, 35 secs
lola: 3968714 markings, 7335820 edges, 93233 markings/sec, 40 secs
lola: 4458683 markings, 8077173 edges, 97994 markings/sec, 45 secs
lola: 4911692 markings, 8766826 edges, 90602 markings/sec, 50 secs
lola: 5167999 markings, 9678454 edges, 51261 markings/sec, 55 secs
lola: 5605580 markings, 10477295 edges, 87516 markings/sec, 60 secs
lola: 6077485 markings, 11128473 edges, 94381 markings/sec, 65 secs
lola: 6497985 markings, 11801670 edges, 84100 markings/sec, 70 secs
lola: 6726338 markings, 12723962 edges, 45671 markings/sec, 75 secs
lola: 7193486 markings, 13420779 edges, 93430 markings/sec, 80 secs
lola: 7627416 markings, 14073575 edges, 86786 markings/sec, 85 secs
lola: 7939143 markings, 14854443 edges, 62345 markings/sec, 90 secs
lola: 8311223 markings, 15691433 edges, 74416 markings/sec, 95 secs
lola: 8779687 markings, 16368277 edges, 93693 markings/sec, 100 secs
lola: 9162579 markings, 17116566 edges, 76578 markings/sec, 105 secs
lola: 9480595 markings, 17979081 edges, 63603 markings/sec, 110 secs
lola: 9972090 markings, 18609906 edges, 98299 markings/sec, 115 secs
lola: 10451853 markings, 19237931 edges, 95953 markings/sec, 120 secs
lola: 10918351 markings, 19862292 edges, 93300 markings/sec, 125 secs
lola: 11379607 markings, 20483029 edges, 92251 markings/sec, 130 secs
lola: 11830912 markings, 21105512 edges, 90261 markings/sec, 135 secs
lola: 12275924 markings, 21726681 edges, 89002 markings/sec, 140 secs
lola: 12704021 markings, 22330853 edges, 85619 markings/sec, 145 secs
lola: 13139071 markings, 22955792 edges, 87010 markings/sec, 150 secs
lola: 13567505 markings, 23578499 edges, 85687 markings/sec, 155 secs
lola: 13992995 markings, 24202475 edges, 85098 markings/sec, 160 secs
lola: 14409003 markings, 24826323 edges, 83202 markings/sec, 165 secs
lola: 14818949 markings, 25450347 edges, 81989 markings/sec, 170 secs
lola: 15217407 markings, 26073336 edges, 79692 markings/sec, 175 secs
lola: 15610538 markings, 26699898 edges, 78626 markings/sec, 180 secs
lola: 16002085 markings, 27320997 edges, 78309 markings/sec, 185 secs
lola: 16391836 markings, 27941511 edges, 77950 markings/sec, 190 secs
lola: 16779393 markings, 28564698 edges, 77511 markings/sec, 195 secs
lola: 17164970 markings, 29194370 edges, 77115 markings/sec, 200 secs
lola: 17544517 markings, 29833412 edges, 75909 markings/sec, 205 secs
lola: 17927983 markings, 30462335 edges, 76693 markings/sec, 210 secs
lola: 18299540 markings, 31094219 edges, 74311 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 SquareGrid-PT-040204-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-040204-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-040204-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-040204-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-040204-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-040204-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-040204-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-040204-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-040204-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-040204-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-040204-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-040204-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-040204-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-040204-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-040204-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-040204-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1496565840334
--------------------
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="S_SquareGrid-PT-040204"
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/S_SquareGrid-PT-040204.tgz
mv S_SquareGrid-PT-040204 execution
# this is for BenchKit: explicit launching of the test
cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3253"
echo " Executing tool lola"
echo " Input is S_SquareGrid-PT-040204, 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 r158-ebro-149443464000128"
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 '
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 ;