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

About the Execution of LoLA for HexagonalGrid-PT-316

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
11669.560 3539158.00 3545387.00 1460.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-3254
Executing tool lola
Input is HexagonalGrid-PT-316, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r188-blw3-149581034500209
=====================================================================


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

=== Now, execution of the tool begins

BK_START 1496502707981


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


checking for too many tokens
===========================================================================================
HexagonalGrid-PT-316: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ HexagonalGrid-PT-316 @ 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: 1135/65536 symbol table entries, 147 collisions
lola: preprocessing...
lola: finding significant places
lola: 421 places, 714 transitions, 257 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 877 transition conflict sets
lola: TASK
lola: reading formula from HexagonalGrid-PT-316-UpperBounds.task
lola: MAX(pb1_3_2) : MAX(po3_3_4) : MAX(pil2_5_2) : MAX(po4_3_1) : MAX(pbl_3_4) : MAX(pol1_1_3) : MAX(pol1_5_3) : MAX(pil3_2_1) : MAX(po3_3_3) : MAX(pol1_1_3) : MAX(pol2_1_2) : MAX(pil6_1_1) : MAX(pil5_3_1) : MAX(po2_3_5) : MAX(pb6_5_1) : MAX(pil2_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(pb1_3_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1028 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: 260796 markings, 1329257 edges, 52159 markings/sec, 0 secs
lola: 491713 markings, 2673068 edges, 46183 markings/sec, 5 secs
lola: 822018 markings, 3424914 edges, 66061 markings/sec, 10 secs
lola: 1098156 markings, 4133282 edges, 55228 markings/sec, 15 secs
lola: 1183721 markings, 5593158 edges, 17113 markings/sec, 20 secs
lola: 1192343 markings, 7322258 edges, 1724 markings/sec, 25 secs
lola: 1385082 markings, 8401846 edges, 38548 markings/sec, 30 secs
lola: 1694570 markings, 9102166 edges, 61898 markings/sec, 35 secs
lola: 1964285 markings, 9783633 edges, 53943 markings/sec, 40 secs
lola: 2098001 markings, 10985262 edges, 26743 markings/sec, 45 secs
lola: 2104489 markings, 12658825 edges, 1298 markings/sec, 50 secs
lola: 2236262 markings, 13947750 edges, 26355 markings/sec, 55 secs
lola: 2539867 markings, 14710910 edges, 60721 markings/sec, 60 secs
lola: 2818201 markings, 15392709 edges, 55667 markings/sec, 65 secs
lola: 2997737 markings, 16406418 edges, 35907 markings/sec, 70 secs
lola: 3003241 markings, 18049132 edges, 1101 markings/sec, 75 secs
lola: 3081791 markings, 19486265 edges, 15710 markings/sec, 80 secs
lola: 3387511 markings, 20296399 edges, 61144 markings/sec, 85 secs
lola: 3674349 markings, 20975166 edges, 57368 markings/sec, 90 secs
lola: 3880626 markings, 21900833 edges, 41255 markings/sec, 95 secs
lola: 3887659 markings, 23533662 edges, 1407 markings/sec, 100 secs
lola: 3931609 markings, 24978194 edges, 8790 markings/sec, 105 secs
lola: 4158812 markings, 25678735 edges, 45441 markings/sec, 110 secs
lola: 4438011 markings, 26313606 edges, 55840 markings/sec, 115 secs
lola: 4690959 markings, 26993189 edges, 50590 markings/sec, 120 secs
lola: 4754280 markings, 28356494 edges, 12664 markings/sec, 125 secs
lola: 4759441 markings, 29747068 edges, 1032 markings/sec, 130 secs
lola: 4897948 markings, 30923551 edges, 27701 markings/sec, 135 secs
lola: 5188270 markings, 31604948 edges, 58064 markings/sec, 140 secs
lola: 5451368 markings, 32250440 edges, 52620 markings/sec, 145 secs
lola: 5610590 markings, 33241687 edges, 31844 markings/sec, 150 secs
lola: 5616136 markings, 34717812 edges, 1109 markings/sec, 155 secs
lola: 5658572 markings, 36127524 edges, 8487 markings/sec, 160 secs
lola: 5916571 markings, 36988581 edges, 51600 markings/sec, 165 secs
lola: 6163751 markings, 37743590 edges, 49436 markings/sec, 170 secs
lola: 6393223 markings, 38545375 edges, 45894 markings/sec, 175 secs
lola: 6458228 markings, 39887573 edges, 13001 markings/sec, 180 secs
lola: 6463202 markings, 41430126 edges, 995 markings/sec, 185 secs
lola: 6692905 markings, 42624946 edges, 45941 markings/sec, 190 secs
lola: 6990720 markings, 43460399 edges, 59563 markings/sec, 195 secs
lola: 7275665 markings, 44124934 edges, 56989 markings/sec, 200 secs
lola: 7527414 markings, 44842586 edges, 50350 markings/sec, 205 secs
lola: 7543970 markings, 46408741 edges, 3311 markings/sec, 210 secs
lola: 7551528 markings, 47982827 edges, 1512 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(po3_3_4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1028 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: 850506 markings, 1765035 edges, 170101 markings/sec, 0 secs
lola: 1690873 markings, 3469599 edges, 168073 markings/sec, 5 secs
lola: 2460712 markings, 5205537 edges, 153968 markings/sec, 10 secs
lola: 3243508 markings, 6855213 edges, 156559 markings/sec, 15 secs
lola: 4069871 markings, 8538575 edges, 165273 markings/sec, 20 secs
lola: 4869208 markings, 10318720 edges, 159867 markings/sec, 25 secs
lola: 5689963 markings, 12045354 edges, 164151 markings/sec, 30 secs
lola: 6479212 markings, 13657533 edges, 157850 markings/sec, 35 secs
lola: 7233830 markings, 15236257 edges, 150924 markings/sec, 40 secs
lola: 7943998 markings, 16858848 edges, 142034 markings/sec, 45 secs
lola: 8616896 markings, 18283665 edges, 134580 markings/sec, 50 secs
lola: 9341681 markings, 19818552 edges, 144957 markings/sec, 55 secs
lola: 9992105 markings, 21378983 edges, 130085 markings/sec, 60 secs
lola: 10732088 markings, 22914771 edges, 147997 markings/sec, 65 secs
lola: 11439618 markings, 24405664 edges, 141506 markings/sec, 70 secs
lola: 12223536 markings, 26031273 edges, 156784 markings/sec, 75 secs
lola: 12990022 markings, 27770117 edges, 153297 markings/sec, 80 secs
lola: 13833807 markings, 29501752 edges, 168757 markings/sec, 85 secs
lola: 14646568 markings, 31298833 edges, 162552 markings/sec, 90 secs
lola: 15430087 markings, 32937626 edges, 156704 markings/sec, 95 secs
lola: 16287791 markings, 34690348 edges, 171541 markings/sec, 100 secs
lola: 17075842 markings, 36448097 edges, 157610 markings/sec, 105 secs
lola: 17706429 markings, 37845588 edges, 126117 markings/sec, 110 secs
lola: 18043152 markings, 39159259 edges, 67345 markings/sec, 115 secs
lola: 18475723 markings, 40315746 edges, 86514 markings/sec, 120 secs
lola: 18721644 markings, 41739541 edges, 49184 markings/sec, 125 secs
lola: 19173691 markings, 42641235 edges, 90409 markings/sec, 130 secs
lola: 19386066 markings, 44036565 edges, 42475 markings/sec, 135 secs
lola: 19848957 markings, 44939431 edges, 92578 markings/sec, 140 secs
lola: 20043171 markings, 46276547 edges, 38843 markings/sec, 145 secs
lola: 20478411 markings, 47131393 edges, 87048 markings/sec, 150 secs
lola: 20662635 markings, 48444828 edges, 36845 markings/sec, 155 secs
lola: 21067152 markings, 49285268 edges, 80903 markings/sec, 160 secs
lola: 21266248 markings, 50530572 edges, 39819 markings/sec, 165 secs
lola: 21616490 markings, 51315315 edges, 70048 markings/sec, 170 secs
lola: 21846890 markings, 52543809 edges, 46080 markings/sec, 175 secs
lola: 22249514 markings, 53330206 edges, 80525 markings/sec, 180 secs
lola: 22442374 markings, 54575561 edges, 38572 markings/sec, 185 secs
lola: 22925784 markings, 55391662 edges, 96682 markings/sec, 190 secs
lola: 23370828 markings, 56352066 edges, 89009 markings/sec, 195 secs
lola: 23628511 markings, 57680210 edges, 51537 markings/sec, 200 secs
lola: 23898594 markings, 58865765 edges, 54017 markings/sec, 205 secs
lola: 24327247 markings, 59914152 edges, 85731 markings/sec, 210 secs
lola: 24592915 markings, 61274387 edges, 53134 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(pil2_5_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1028 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: 365627 markings, 1110601 edges, 73125 markings/sec, 0 secs
lola: 682310 markings, 1878788 edges, 63337 markings/sec, 5 secs
lola: 949817 markings, 2564613 edges, 53501 markings/sec, 10 secs
lola: 984521 markings, 4045937 edges, 6941 markings/sec, 15 secs
lola: 999141 markings, 5730574 edges, 2924 markings/sec, 20 secs
lola: 1325041 markings, 6776355 edges, 65180 markings/sec, 25 secs
lola: 1622284 markings, 7514963 edges, 59449 markings/sec, 30 secs
lola: 1876445 markings, 8198917 edges, 50832 markings/sec, 35 secs
lola: 1909528 markings, 9587816 edges, 6617 markings/sec, 40 secs
lola: 1921780 markings, 11151564 edges, 2450 markings/sec, 45 secs
lola: 2183963 markings, 12200950 edges, 52437 markings/sec, 50 secs
lola: 2482460 markings, 12915637 edges, 59699 markings/sec, 55 secs
lola: 2742851 markings, 13524425 edges, 52078 markings/sec, 60 secs
lola: 2816102 markings, 14746171 edges, 14650 markings/sec, 65 secs
lola: 2827778 markings, 16274192 edges, 2335 markings/sec, 70 secs
lola: 3022164 markings, 17538221 edges, 38877 markings/sec, 75 secs
lola: 3355263 markings, 18292397 edges, 66620 markings/sec, 80 secs
lola: 3626753 markings, 18947261 edges, 54298 markings/sec, 85 secs
lola: 3709927 markings, 20178590 edges, 16635 markings/sec, 90 secs
lola: 3721678 markings, 21725881 edges, 2350 markings/sec, 95 secs
lola: 3901405 markings, 22926232 edges, 35945 markings/sec, 100 secs
lola: 4216660 markings, 23617879 edges, 63051 markings/sec, 105 secs
lola: 4472838 markings, 24241352 edges, 51236 markings/sec, 110 secs
lola: 4588476 markings, 25307614 edges, 23128 markings/sec, 115 secs
lola: 4597752 markings, 26715925 edges, 1855 markings/sec, 120 secs
lola: 4790550 markings, 28003207 edges, 38560 markings/sec, 125 secs
lola: 5107866 markings, 28858752 edges, 63463 markings/sec, 130 secs
lola: 5375280 markings, 29554577 edges, 53483 markings/sec, 135 secs
lola: 5602799 markings, 30264053 edges, 45504 markings/sec, 140 secs
lola: 5623611 markings, 31649022 edges, 4162 markings/sec, 145 secs
lola: 5635720 markings, 33152973 edges, 2422 markings/sec, 150 secs
lola: 5915484 markings, 34023115 edges, 55953 markings/sec, 155 secs
lola: 6173488 markings, 34672962 edges, 51601 markings/sec, 160 secs
lola: 6422661 markings, 35283332 edges, 49835 markings/sec, 165 secs
lola: 6474104 markings, 36519227 edges, 10289 markings/sec, 170 secs
lola: 6483622 markings, 37867824 edges, 1904 markings/sec, 175 secs
lola: 6661141 markings, 39012029 edges, 35504 markings/sec, 180 secs
lola: 6960443 markings, 39696233 edges, 59860 markings/sec, 185 secs
lola: 7218829 markings, 40319597 edges, 51677 markings/sec, 190 secs
lola: 7327836 markings, 41322528 edges, 21801 markings/sec, 195 secs
lola: 7336645 markings, 42748560 edges, 1762 markings/sec, 200 secs
lola: 7418967 markings, 44018207 edges, 16464 markings/sec, 205 secs
lola: 7728465 markings, 44671443 edges, 61900 markings/sec, 210 secs
lola: 7960009 markings, 45266744 edges, 46309 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(po4_3_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1028 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: 572183 markings, 1000133 edges, 114437 markings/sec, 0 secs
lola: 1111440 markings, 1852693 edges, 107851 markings/sec, 5 secs
lola: 1632974 markings, 2623754 edges, 104307 markings/sec, 10 secs
lola: 2115220 markings, 3384848 edges, 96449 markings/sec, 15 secs
lola: 2265656 markings, 4672060 edges, 30087 markings/sec, 20 secs
lola: 2793144 markings, 5500521 edges, 105498 markings/sec, 25 secs
lola: 3324866 markings, 6229164 edges, 106344 markings/sec, 30 secs
lola: 3800020 markings, 7013848 edges, 95031 markings/sec, 35 secs
lola: 3918012 markings, 8312517 edges, 23598 markings/sec, 40 secs
lola: 4438193 markings, 9125702 edges, 104036 markings/sec, 45 secs
lola: 4941096 markings, 9816272 edges, 100581 markings/sec, 50 secs
lola: 5411180 markings, 10505300 edges, 94017 markings/sec, 55 secs
lola: 5688772 markings, 11435770 edges, 55518 markings/sec, 60 secs
lola: 5954181 markings, 12550266 edges, 53082 markings/sec, 65 secs
lola: 6470933 markings, 13460088 edges, 103350 markings/sec, 70 secs
lola: 6964290 markings, 14194678 edges, 98671 markings/sec, 75 secs
lola: 7441188 markings, 14897306 edges, 95380 markings/sec, 80 secs
lola: 7872897 markings, 15674923 edges, 86342 markings/sec, 85 secs
lola: 8010311 markings, 16918758 edges, 27483 markings/sec, 90 secs
lola: 8511283 markings, 17626769 edges, 100194 markings/sec, 95 secs
lola: 9002364 markings, 18307118 edges, 98216 markings/sec, 100 secs
lola: 9440100 markings, 19047768 edges, 87547 markings/sec, 105 secs
lola: 9532579 markings, 20315267 edges, 18496 markings/sec, 110 secs
lola: 10088760 markings, 21295637 edges, 111236 markings/sec, 115 secs
lola: 10620468 markings, 22110090 edges, 106342 markings/sec, 120 secs
lola: 11132616 markings, 22862949 edges, 102430 markings/sec, 125 secs
lola: 11572010 markings, 23680860 edges, 87879 markings/sec, 130 secs
lola: 11724686 markings, 24942972 edges, 30535 markings/sec, 135 secs
lola: 12241707 markings, 25738818 edges, 103404 markings/sec, 140 secs
lola: 12744317 markings, 26479538 edges, 100522 markings/sec, 145 secs
lola: 13172075 markings, 27301070 edges, 85552 markings/sec, 150 secs
lola: 13277010 markings, 28496529 edges, 20987 markings/sec, 155 secs
lola: 13696377 markings, 29383976 edges, 83873 markings/sec, 160 secs
lola: 14100389 markings, 30097100 edges, 80802 markings/sec, 165 secs
lola: 14484584 markings, 30769902 edges, 76839 markings/sec, 170 secs
lola: 14836108 markings, 31444848 edges, 70305 markings/sec, 175 secs
lola: 14949244 markings, 32557326 edges, 22627 markings/sec, 180 secs
lola: 15287245 markings, 33371416 edges, 67600 markings/sec, 185 secs
lola: 15702215 markings, 34053378 edges, 82994 markings/sec, 190 secs
lola: 16085321 markings, 34748704 edges, 76621 markings/sec, 195 secs
lola: 16260006 markings, 35736671 edges, 34937 markings/sec, 200 secs
lola: 16568819 markings, 36791568 edges, 61763 markings/sec, 205 secs
lola: 17105530 markings, 37650217 edges, 107342 markings/sec, 210 secs
lola: 17611223 markings, 38399201 edges, 101139 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_3_4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1028 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: 286687 markings, 1240070 edges, 57337 markings/sec, 0 secs
lola: 557535 markings, 2147071 edges, 54170 markings/sec, 5 secs
lola: 785413 markings, 3113801 edges, 45576 markings/sec, 10 secs
lola: 864085 markings, 4513774 edges, 15734 markings/sec, 15 secs
lola: 914248 markings, 5999386 edges, 10033 markings/sec, 20 secs
lola: 1157836 markings, 7001647 edges, 48718 markings/sec, 25 secs
lola: 1386063 markings, 7800551 edges, 45645 markings/sec, 30 secs
lola: 1593964 markings, 8677674 edges, 41580 markings/sec, 35 secs
lola: 1715541 markings, 9783712 edges, 24315 markings/sec, 40 secs
lola: 1721809 markings, 11248410 edges, 1254 markings/sec, 45 secs
lola: 1917436 markings, 12457678 edges, 39125 markings/sec, 50 secs
lola: 2164817 markings, 13312450 edges, 49476 markings/sec, 55 secs
lola: 2381179 markings, 14205107 edges, 43272 markings/sec, 60 secs
lola: 2566374 markings, 14999302 edges, 37039 markings/sec, 65 secs
lola: 2581149 markings, 16419529 edges, 2955 markings/sec, 70 secs
lola: 2669923 markings, 17716992 edges, 17755 markings/sec, 75 secs
lola: 2907611 markings, 18647946 edges, 47538 markings/sec, 80 secs
lola: 3141412 markings, 19405544 edges, 46760 markings/sec, 85 secs
lola: 3343104 markings, 20284977 edges, 40338 markings/sec, 90 secs
lola: 3401076 markings, 21588988 edges, 11594 markings/sec, 95 secs
lola: 3423723 markings, 22997879 edges, 4529 markings/sec, 100 secs
lola: 3673154 markings, 24018806 edges, 49886 markings/sec, 105 secs
lola: 3911713 markings, 24828677 edges, 47712 markings/sec, 110 secs
lola: 4119687 markings, 25718045 edges, 41595 markings/sec, 115 secs
lola: 4208601 markings, 26958622 edges, 17783 markings/sec, 120 secs
lola: 4218084 markings, 28289937 edges, 1897 markings/sec, 125 secs
lola: 4441462 markings, 29389880 edges, 44676 markings/sec, 130 secs
lola: 4687838 markings, 30241289 edges, 49275 markings/sec, 135 secs
lola: 4901960 markings, 31125916 edges, 42824 markings/sec, 140 secs
lola: 5003096 markings, 32228523 edges, 20227 markings/sec, 145 secs
lola: 5012068 markings, 33654555 edges, 1794 markings/sec, 150 secs
lola: 5210716 markings, 34745048 edges, 39730 markings/sec, 155 secs
lola: 5445882 markings, 35599967 edges, 47033 markings/sec, 160 secs
lola: 5662485 markings, 36488352 edges, 43321 markings/sec, 165 secs
lola: 5795408 markings, 37567731 edges, 26585 markings/sec, 170 secs
lola: 5804628 markings, 38995889 edges, 1844 markings/sec, 175 secs
lola: 5970553 markings, 40064294 edges, 33185 markings/sec, 180 secs
lola: 6187261 markings, 40862646 edges, 43342 markings/sec, 185 secs
lola: 6390187 markings, 41715443 edges, 40585 markings/sec, 190 secs
lola: 6559469 markings, 42622007 edges, 33856 markings/sec, 195 secs
lola: 6567968 markings, 43980878 edges, 1700 markings/sec, 200 secs
lola: 6677671 markings, 45186588 edges, 21941 markings/sec, 205 secs
lola: 6904913 markings, 45990470 edges, 45448 markings/sec, 210 secs
lola: 7111046 markings, 46826679 edges, 41227 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(pol1_1_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1028 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: 445265 markings, 944696 edges, 89053 markings/sec, 0 secs
lola: 676762 markings, 2377989 edges, 46299 markings/sec, 5 secs
lola: 1062361 markings, 3217202 edges, 77120 markings/sec, 10 secs
lola: 1300064 markings, 4661435 edges, 47541 markings/sec, 15 secs
lola: 1619837 markings, 5730993 edges, 63955 markings/sec, 20 secs
lola: 1909335 markings, 6873795 edges, 57900 markings/sec, 25 secs
lola: 2113928 markings, 8221001 edges, 40919 markings/sec, 30 secs
lola: 2474639 markings, 9003118 edges, 72142 markings/sec, 35 secs
lola: 2677152 markings, 10338063 edges, 40503 markings/sec, 40 secs
lola: 3019855 markings, 11148394 edges, 68541 markings/sec, 45 secs
lola: 3230144 markings, 12395743 edges, 42058 markings/sec, 50 secs
lola: 3469339 markings, 13459616 edges, 47839 markings/sec, 55 secs
lola: 3752469 markings, 14386446 edges, 56626 markings/sec, 60 secs
lola: 3915029 markings, 15621153 edges, 32512 markings/sec, 65 secs
lola: 4243510 markings, 16325491 edges, 65696 markings/sec, 70 secs
lola: 4394552 markings, 17517845 edges, 30208 markings/sec, 75 secs
lola: 4813360 markings, 18225389 edges, 83762 markings/sec, 80 secs
lola: 5186148 markings, 18907731 edges, 74558 markings/sec, 85 secs
lola: 5562995 markings, 19598120 edges, 75369 markings/sec, 90 secs
lola: 5921595 markings, 20354388 edges, 71720 markings/sec, 95 secs
lola: 6258953 markings, 21109321 edges, 67472 markings/sec, 100 secs
lola: 6609532 markings, 21855664 edges, 70116 markings/sec, 105 secs
lola: 6970943 markings, 22531143 edges, 72282 markings/sec, 110 secs
lola: 7315112 markings, 23196023 edges, 68834 markings/sec, 115 secs
lola: 7659001 markings, 23877140 edges, 68778 markings/sec, 120 secs
lola: 7973154 markings, 24554379 edges, 62831 markings/sec, 125 secs
lola: 8273755 markings, 25290564 edges, 60120 markings/sec, 130 secs
lola: 8582207 markings, 25997337 edges, 61690 markings/sec, 135 secs
lola: 8898111 markings, 26699414 edges, 63181 markings/sec, 140 secs
lola: 9204919 markings, 27337893 edges, 61362 markings/sec, 145 secs
lola: 9506174 markings, 28013737 edges, 60251 markings/sec, 150 secs
lola: 9808285 markings, 28686336 edges, 60422 markings/sec, 155 secs
lola: 10073417 markings, 29446142 edges, 53026 markings/sec, 160 secs
lola: 10352327 markings, 30147503 edges, 55782 markings/sec, 165 secs
lola: 10632955 markings, 30876183 edges, 56126 markings/sec, 170 secs
lola: 10940231 markings, 31533216 edges, 61455 markings/sec, 175 secs
lola: 11241829 markings, 32178340 edges, 60320 markings/sec, 180 secs
lola: 11523132 markings, 32848086 edges, 56261 markings/sec, 185 secs
lola: 11804817 markings, 33517526 edges, 56337 markings/sec, 190 secs
lola: 12070369 markings, 34227863 edges, 53110 markings/sec, 195 secs
lola: 12325956 markings, 34961651 edges, 51117 markings/sec, 200 secs
lola: 12595687 markings, 35655734 edges, 53946 markings/sec, 205 secs
lola: 12877403 markings, 36349919 edges, 56343 markings/sec, 210 secs
lola: 13137129 markings, 37184464 edges, 51945 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(pol1_5_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1028 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: 357441 markings, 1591733 edges, 71488 markings/sec, 0 secs
lola: 628162 markings, 3170535 edges, 54144 markings/sec, 5 secs
lola: 901127 markings, 4653753 edges, 54593 markings/sec, 10 secs
lola: 1078038 markings, 6335277 edges, 35382 markings/sec, 15 secs
lola: 1333992 markings, 7775583 edges, 51191 markings/sec, 20 secs
lola: 1542468 markings, 9318756 edges, 41695 markings/sec, 25 secs
lola: 1749891 markings, 10810724 edges, 41485 markings/sec, 30 secs
lola: 1992219 markings, 12230762 edges, 48466 markings/sec, 35 secs
lola: 2190341 markings, 13810317 edges, 39624 markings/sec, 40 secs
lola: 2411083 markings, 15290811 edges, 44148 markings/sec, 45 secs
lola: 2650812 markings, 16641346 edges, 47946 markings/sec, 50 secs
lola: 2799226 markings, 18089695 edges, 29683 markings/sec, 55 secs
lola: 3021197 markings, 19492779 edges, 44394 markings/sec, 60 secs
lola: 3308747 markings, 20807902 edges, 57510 markings/sec, 65 secs
lola: 3694641 markings, 21967872 edges, 77179 markings/sec, 70 secs
lola: 4050529 markings, 23046815 edges, 71178 markings/sec, 75 secs
lola: 4375619 markings, 24089208 edges, 65018 markings/sec, 80 secs
lola: 4682647 markings, 25109099 edges, 61406 markings/sec, 85 secs
lola: 4973470 markings, 26137630 edges, 58165 markings/sec, 90 secs
lola: 5256005 markings, 27164497 edges, 56507 markings/sec, 95 secs
lola: 5519655 markings, 28184968 edges, 52730 markings/sec, 100 secs
lola: 5742313 markings, 29249277 edges, 44532 markings/sec, 105 secs
lola: 5976038 markings, 30287893 edges, 46745 markings/sec, 110 secs
lola: 6198937 markings, 31322535 edges, 44580 markings/sec, 115 secs
lola: 6358120 markings, 32516670 edges, 31837 markings/sec, 120 secs
lola: 6371197 markings, 34079985 edges, 2615 markings/sec, 125 secs
lola: 6374999 markings, 35662284 edges, 760 markings/sec, 130 secs
lola: 6377072 markings, 37210908 edges, 415 markings/sec, 135 secs
lola: 6381605 markings, 38756002 edges, 907 markings/sec, 140 secs
lola: 6383282 markings, 40292625 edges, 335 markings/sec, 145 secs
lola: 6385030 markings, 41884426 edges, 350 markings/sec, 150 secs
lola: 6387348 markings, 43496849 edges, 464 markings/sec, 155 secs
lola: 6391667 markings, 44973067 edges, 864 markings/sec, 160 secs
lola: 6393335 markings, 46402681 edges, 334 markings/sec, 165 secs
lola: 6395055 markings, 47995122 edges, 344 markings/sec, 170 secs
lola: 6396875 markings, 49688952 edges, 364 markings/sec, 175 secs
lola: 6732641 markings, 50788080 edges, 67153 markings/sec, 180 secs
lola: 7032062 markings, 51764973 edges, 59884 markings/sec, 185 secs
lola: 7350023 markings, 52742199 edges, 63592 markings/sec, 190 secs
lola: 7648256 markings, 53696272 edges, 59647 markings/sec, 195 secs
lola: 7939284 markings, 54670573 edges, 58206 markings/sec, 200 secs
lola: 8211389 markings, 55635071 edges, 54421 markings/sec, 205 secs
lola: 8470663 markings, 56599968 edges, 51855 markings/sec, 210 secs
lola: 8726838 markings, 57547083 edges, 51235 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(pil3_2_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1028 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: 667231 markings, 868200 edges, 133446 markings/sec, 0 secs
lola: 1168580 markings, 1791986 edges, 100270 markings/sec, 5 secs
lola: 1659890 markings, 2635970 edges, 98262 markings/sec, 10 secs
lola: 2032904 markings, 3714111 edges, 74603 markings/sec, 15 secs
lola: 2536206 markings, 4661139 edges, 100660 markings/sec, 20 secs
lola: 3032042 markings, 5508506 edges, 99167 markings/sec, 25 secs
lola: 3415026 markings, 6560291 edges, 76597 markings/sec, 30 secs
lola: 3774286 markings, 7600057 edges, 71852 markings/sec, 35 secs
lola: 4126034 markings, 8628468 edges, 70350 markings/sec, 40 secs
lola: 4628377 markings, 9502453 edges, 100469 markings/sec, 45 secs
lola: 5006766 markings, 10574682 edges, 75678 markings/sec, 50 secs
lola: 5455077 markings, 11463955 edges, 89662 markings/sec, 55 secs
lola: 5911522 markings, 12368355 edges, 91289 markings/sec, 60 secs
lola: 6351313 markings, 13221286 edges, 87958 markings/sec, 65 secs
lola: 6731601 markings, 14169181 edges, 76058 markings/sec, 70 secs
lola: 7039560 markings, 15240924 edges, 61592 markings/sec, 75 secs
lola: 7456026 markings, 16030188 edges, 83293 markings/sec, 80 secs
lola: 7811878 markings, 17107530 edges, 71170 markings/sec, 85 secs
lola: 8291797 markings, 17925918 edges, 95984 markings/sec, 90 secs
lola: 8652365 markings, 19015625 edges, 72114 markings/sec, 95 secs
lola: 9104263 markings, 19806194 edges, 90380 markings/sec, 100 secs
lola: 9463578 markings, 20832228 edges, 71863 markings/sec, 105 secs
lola: 9907199 markings, 21593243 edges, 88724 markings/sec, 110 secs
lola: 10233250 markings, 22607354 edges, 65210 markings/sec, 115 secs
lola: 10650022 markings, 23323100 edges, 83354 markings/sec, 120 secs
lola: 10962847 markings, 24299755 edges, 62565 markings/sec, 125 secs
lola: 11399951 markings, 25042585 edges, 87421 markings/sec, 130 secs
lola: 11704144 markings, 26006924 edges, 60839 markings/sec, 135 secs
lola: 12127754 markings, 26731825 edges, 84722 markings/sec, 140 secs
lola: 12439241 markings, 27704754 edges, 62297 markings/sec, 145 secs
lola: 12895279 markings, 28530042 edges, 91208 markings/sec, 150 secs
lola: 13291230 markings, 29388827 edges, 79190 markings/sec, 155 secs
lola: 13705569 markings, 30365843 edges, 82868 markings/sec, 160 secs
lola: 14167362 markings, 31234064 edges, 92359 markings/sec, 165 secs
lola: 14635291 markings, 32031207 edges, 93586 markings/sec, 170 secs
lola: 15000616 markings, 33039380 edges, 73065 markings/sec, 175 secs
lola: 15349549 markings, 34056991 edges, 69787 markings/sec, 180 secs
lola: 15670299 markings, 35041211 edges, 64150 markings/sec, 185 secs
lola: 16142341 markings, 35855421 edges, 94408 markings/sec, 190 secs
lola: 16483531 markings, 36882077 edges, 68238 markings/sec, 195 secs
lola: 16934938 markings, 37662174 edges, 90281 markings/sec, 200 secs
lola: 17273537 markings, 38682464 edges, 67720 markings/sec, 205 secs
lola: 17709794 markings, 39437535 edges, 87251 markings/sec, 210 secs
lola: 18039764 markings, 40451815 edges, 65994 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(po3_3_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1028 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: 282092 markings, 1662472 edges, 56418 markings/sec, 0 secs
lola: 524788 markings, 3267321 edges, 48539 markings/sec, 5 secs
lola: 768204 markings, 4788216 edges, 48683 markings/sec, 10 secs
lola: 935519 markings, 6082088 edges, 33463 markings/sec, 15 secs
lola: 1224014 markings, 7105761 edges, 57699 markings/sec, 20 secs
lola: 1486145 markings, 8130845 edges, 52426 markings/sec, 25 secs
lola: 1710363 markings, 9097395 edges, 44844 markings/sec, 30 secs
lola: 1919648 markings, 10116945 edges, 41857 markings/sec, 35 secs
lola: 2130284 markings, 11138464 edges, 42127 markings/sec, 40 secs
lola: 2330580 markings, 12194048 edges, 40059 markings/sec, 45 secs
lola: 2499361 markings, 13419220 edges, 33756 markings/sec, 50 secs
lola: 2669875 markings, 14833455 edges, 34103 markings/sec, 55 secs
lola: 2684539 markings, 16419317 edges, 2933 markings/sec, 60 secs
lola: 2685981 markings, 17897478 edges, 288 markings/sec, 65 secs
lola: 2686861 markings, 19465189 edges, 176 markings/sec, 70 secs
lola: 2687359 markings, 20675697 edges, 100 markings/sec, 75 secs
lola: 2687560 markings, 21883396 edges, 40 markings/sec, 80 secs
lola: 2705772 markings, 23265487 edges, 3642 markings/sec, 85 secs
lola: 2918913 markings, 24751526 edges, 42628 markings/sec, 90 secs
lola: 3119733 markings, 26178822 edges, 40164 markings/sec, 95 secs
lola: 3377370 markings, 27315218 edges, 51527 markings/sec, 100 secs
lola: 3592305 markings, 28426670 edges, 42987 markings/sec, 105 secs
lola: 3854342 markings, 29417919 edges, 52407 markings/sec, 110 secs
lola: 4097162 markings, 30443309 edges, 48564 markings/sec, 115 secs
lola: 4318794 markings, 31484626 edges, 44326 markings/sec, 120 secs
lola: 4517404 markings, 32493441 edges, 39722 markings/sec, 125 secs
lola: 4694840 markings, 33363139 edges, 35487 markings/sec, 130 secs
lola: 4851244 markings, 34391357 edges, 31281 markings/sec, 135 secs
lola: 5022890 markings, 35532336 edges, 34329 markings/sec, 140 secs
lola: 5104444 markings, 36917735 edges, 16311 markings/sec, 145 secs
lola: 5117147 markings, 38096654 edges, 2541 markings/sec, 150 secs
lola: 5120499 markings, 39389951 edges, 670 markings/sec, 155 secs
lola: 5121309 markings, 40817691 edges, 162 markings/sec, 160 secs
lola: 5121928 markings, 42230473 edges, 124 markings/sec, 165 secs
lola: 5122038 markings, 43481369 edges, 22 markings/sec, 170 secs
lola: 5142404 markings, 44790428 edges, 4073 markings/sec, 175 secs
lola: 5344055 markings, 46037249 edges, 40330 markings/sec, 180 secs
lola: 5548476 markings, 47409948 edges, 40884 markings/sec, 185 secs
lola: 5736106 markings, 48648916 edges, 37526 markings/sec, 190 secs
lola: 5925038 markings, 49646327 edges, 37786 markings/sec, 195 secs
lola: 6167284 markings, 50523229 edges, 48449 markings/sec, 200 secs
lola: 6375044 markings, 51371968 edges, 41552 markings/sec, 205 secs
lola: 6597670 markings, 52335741 edges, 44525 markings/sec, 210 secs
lola: 6804215 markings, 53351347 edges, 41309 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(pol1_1_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1028 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: 436284 markings, 923144 edges, 87257 markings/sec, 0 secs
lola: 665683 markings, 2353214 edges, 45880 markings/sec, 5 secs
lola: 1044816 markings, 3177456 edges, 75827 markings/sec, 10 secs
lola: 1271138 markings, 4610268 edges, 45264 markings/sec, 15 secs
lola: 1617021 markings, 5495013 edges, 69177 markings/sec, 20 secs
lola: 1871991 markings, 6790484 edges, 50994 markings/sec, 25 secs
lola: 2071674 markings, 8120921 edges, 39937 markings/sec, 30 secs
lola: 2435882 markings, 8930371 edges, 72842 markings/sec, 35 secs
lola: 2646275 markings, 10259622 edges, 42079 markings/sec, 40 secs
lola: 3008246 markings, 11030920 edges, 72394 markings/sec, 45 secs
lola: 3157257 markings, 12248079 edges, 29802 markings/sec, 50 secs
lola: 3466043 markings, 13107005 edges, 61757 markings/sec, 55 secs
lola: 3683298 markings, 14244133 edges, 43451 markings/sec, 60 secs
lola: 3912970 markings, 15220736 edges, 45934 markings/sec, 65 secs
lola: 4141962 markings, 16094148 edges, 45798 markings/sec, 70 secs
lola: 4330763 markings, 17164565 edges, 37760 markings/sec, 75 secs
lola: 4684546 markings, 17999598 edges, 70757 markings/sec, 80 secs
lola: 5080444 markings, 18701157 edges, 79180 markings/sec, 85 secs
lola: 5454195 markings, 19408032 edges, 74750 markings/sec, 90 secs
lola: 5840205 markings, 20079708 edges, 77202 markings/sec, 95 secs
lola: 6154796 markings, 20872378 edges, 62918 markings/sec, 100 secs
lola: 6503962 markings, 21626462 edges, 69833 markings/sec, 105 secs
lola: 6850976 markings, 22312410 edges, 69403 markings/sec, 110 secs
lola: 7205875 markings, 22984222 edges, 70980 markings/sec, 115 secs
lola: 7549981 markings, 23666448 edges, 68821 markings/sec, 120 secs
lola: 7878954 markings, 24341581 edges, 65795 markings/sec, 125 secs
lola: 8193718 markings, 25057524 edges, 62953 markings/sec, 130 secs
lola: 8492958 markings, 25776136 edges, 59848 markings/sec, 135 secs
lola: 8796625 markings, 26514168 edges, 60733 markings/sec, 140 secs
lola: 9121681 markings, 27159633 edges, 65011 markings/sec, 145 secs
lola: 9424165 markings, 27821763 edges, 60497 markings/sec, 150 secs
lola: 9722598 markings, 28473748 edges, 59687 markings/sec, 155 secs
lola: 9984304 markings, 29208830 edges, 52341 markings/sec, 160 secs
lola: 10260554 markings, 29914525 edges, 55250 markings/sec, 165 secs
lola: 10534414 markings, 30631599 edges, 54772 markings/sec, 170 secs
lola: 10831610 markings, 31302910 edges, 59439 markings/sec, 175 secs
lola: 11131604 markings, 31944507 edges, 59999 markings/sec, 180 secs
lola: 11416336 markings, 32597023 edges, 56946 markings/sec, 185 secs
lola: 11704078 markings, 33261130 edges, 57548 markings/sec, 190 secs
lola: 11971307 markings, 33947857 edges, 53446 markings/sec, 195 secs
lola: 12206058 markings, 34627084 edges, 46950 markings/sec, 200 secs
lola: 12471999 markings, 35349696 edges, 53188 markings/sec, 205 secs
lola: 12753190 markings, 36054710 edges, 56238 markings/sec, 210 secs
lola: 13026523 markings, 36807974 edges, 54667 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(pol2_1_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1028 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: 647997 markings, 1093284 edges, 129599 markings/sec, 0 secs
lola: 1288201 markings, 1940187 edges, 128041 markings/sec, 5 secs
lola: 1795344 markings, 2740199 edges, 101429 markings/sec, 10 secs
lola: 1908663 markings, 4196288 edges, 22664 markings/sec, 15 secs
lola: 2412785 markings, 5061315 edges, 100824 markings/sec, 20 secs
lola: 2995949 markings, 5832532 edges, 116633 markings/sec, 25 secs
lola: 3525384 markings, 6623550 edges, 105887 markings/sec, 30 secs
lola: 3656787 markings, 8141484 edges, 26281 markings/sec, 35 secs
lola: 4235317 markings, 9094548 edges, 115706 markings/sec, 40 secs
lola: 4795785 markings, 9831488 edges, 112094 markings/sec, 45 secs
lola: 5281198 markings, 10635638 edges, 97083 markings/sec, 50 secs
lola: 5438896 markings, 12152188 edges, 31540 markings/sec, 55 secs
lola: 6076660 markings, 13127684 edges, 127553 markings/sec, 60 secs
lola: 6664305 markings, 13926593 edges, 117529 markings/sec, 65 secs
lola: 6983596 markings, 14930084 edges, 63858 markings/sec, 70 secs
lola: 7224324 markings, 16117992 edges, 48146 markings/sec, 75 secs
lola: 7737617 markings, 16871849 edges, 102659 markings/sec, 80 secs
lola: 8233309 markings, 17533193 edges, 99138 markings/sec, 85 secs
lola: 8596156 markings, 18432663 edges, 72569 markings/sec, 90 secs
lola: 8814773 markings, 19772036 edges, 43723 markings/sec, 95 secs
lola: 9414088 markings, 20631864 edges, 119863 markings/sec, 100 secs
lola: 9963688 markings, 21397693 edges, 109920 markings/sec, 105 secs
lola: 10220848 markings, 22673561 edges, 51432 markings/sec, 110 secs
lola: 10739992 markings, 23753519 edges, 103829 markings/sec, 115 secs
lola: 11350056 markings, 24690365 edges, 122013 markings/sec, 120 secs
lola: 11914459 markings, 25469759 edges, 112881 markings/sec, 125 secs
lola: 12243893 markings, 26530651 edges, 65887 markings/sec, 130 secs
lola: 12577822 markings, 27823135 edges, 66786 markings/sec, 135 secs
lola: 13154125 markings, 28596089 edges, 115261 markings/sec, 140 secs
lola: 13661163 markings, 29323211 edges, 101408 markings/sec, 145 secs
lola: 13794008 markings, 30542259 edges, 26569 markings/sec, 150 secs
lola: 14254253 markings, 31531992 edges, 92049 markings/sec, 155 secs
lola: 14735946 markings, 32178281 edges, 96339 markings/sec, 160 secs
lola: 15221568 markings, 32904460 edges, 97124 markings/sec, 165 secs
lola: 15302404 markings, 34337244 edges, 16167 markings/sec, 170 secs
lola: 15853614 markings, 35130625 edges, 110242 markings/sec, 175 secs
lola: 16367937 markings, 35829049 edges, 102865 markings/sec, 180 secs
lola: 16740847 markings, 36745429 edges, 74582 markings/sec, 185 secs
lola: 16985580 markings, 38071604 edges, 48947 markings/sec, 190 secs
lola: 17639029 markings, 38937328 edges, 130690 markings/sec, 195 secs
lola: 18135216 markings, 39665696 edges, 99237 markings/sec, 200 secs
lola: 18299372 markings, 41217820 edges, 32831 markings/sec, 205 secs
lola: 18924021 markings, 42076820 edges, 124930 markings/sec, 210 secs
lola: 19473772 markings, 42860778 edges, 109950 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(pil6_1_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1028 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: 834140 markings, 1371011 edges, 166828 markings/sec, 0 secs
lola: 1666870 markings, 2701286 edges, 166546 markings/sec, 5 secs
lola: 2508750 markings, 4025297 edges, 168376 markings/sec, 10 secs
lola: 3269454 markings, 5238802 edges, 152141 markings/sec, 15 secs
lola: 3961384 markings, 6433333 edges, 138386 markings/sec, 20 secs
lola: 4644505 markings, 7599474 edges, 136624 markings/sec, 25 secs
lola: 5335835 markings, 8784117 edges, 138266 markings/sec, 30 secs
lola: 6020059 markings, 9946686 edges, 136845 markings/sec, 35 secs
lola: 6664820 markings, 11032928 edges, 128952 markings/sec, 40 secs
lola: 7272528 markings, 12036268 edges, 121542 markings/sec, 45 secs
lola: 7710798 markings, 12971669 edges, 87654 markings/sec, 50 secs
lola: 7985603 markings, 14016579 edges, 54961 markings/sec, 55 secs
lola: 8262646 markings, 15125317 edges, 55409 markings/sec, 60 secs
lola: 8502059 markings, 16182131 edges, 47883 markings/sec, 65 secs
lola: 8773353 markings, 17177169 edges, 54259 markings/sec, 70 secs
lola: 9004053 markings, 18235410 edges, 46140 markings/sec, 75 secs
lola: 9291090 markings, 19233200 edges, 57407 markings/sec, 80 secs
lola: 9494717 markings, 20367439 edges, 40725 markings/sec, 85 secs
lola: 9787947 markings, 21235333 edges, 58646 markings/sec, 90 secs
lola: 9970405 markings, 22351480 edges, 36492 markings/sec, 95 secs
lola: 10315489 markings, 23307198 edges, 69017 markings/sec, 100 secs
lola: 10530352 markings, 24576674 edges, 42973 markings/sec, 105 secs
lola: 10866126 markings, 25354459 edges, 67155 markings/sec, 110 secs
lola: 11126837 markings, 26334374 edges, 52142 markings/sec, 115 secs
lola: 11343579 markings, 27372993 edges, 43348 markings/sec, 120 secs
lola: 11536016 markings, 28520547 edges, 38487 markings/sec, 125 secs
lola: 11829431 markings, 29450169 edges, 58683 markings/sec, 130 secs
lola: 12025752 markings, 30500491 edges, 39264 markings/sec, 135 secs
lola: 12193567 markings, 31472561 edges, 33563 markings/sec, 140 secs
lola: 12496174 markings, 32296848 edges, 60521 markings/sec, 145 secs
lola: 12832512 markings, 33031725 edges, 67268 markings/sec, 150 secs
lola: 13155291 markings, 33777592 edges, 64556 markings/sec, 155 secs
lola: 13468759 markings, 34501795 edges, 62694 markings/sec, 160 secs
lola: 13762209 markings, 35202026 edges, 58690 markings/sec, 165 secs
lola: 14041193 markings, 35891740 edges, 55797 markings/sec, 170 secs
lola: 14311947 markings, 36557613 edges, 54151 markings/sec, 175 secs
lola: 14579629 markings, 37227917 edges, 53536 markings/sec, 180 secs
lola: 14841393 markings, 37900126 edges, 52353 markings/sec, 185 secs
lola: 15103803 markings, 38561395 edges, 52482 markings/sec, 190 secs
lola: 15360752 markings, 39220545 edges, 51390 markings/sec, 195 secs
lola: 15614145 markings, 39873837 edges, 50679 markings/sec, 200 secs
lola: 15861008 markings, 40536268 edges, 49373 markings/sec, 205 secs
lola: 16101777 markings, 41221108 edges, 48154 markings/sec, 210 secs
lola: 16342535 markings, 41907016 edges, 48152 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(pil5_3_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1028 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: 698345 markings, 1102512 edges, 139669 markings/sec, 0 secs
lola: 1371702 markings, 2119131 edges, 134671 markings/sec, 5 secs
lola: 1961888 markings, 2981419 edges, 118037 markings/sec, 10 secs
lola: 2537740 markings, 3797813 edges, 115170 markings/sec, 15 secs
lola: 3114183 markings, 4719962 edges, 115289 markings/sec, 20 secs
lola: 3670169 markings, 5589572 edges, 111197 markings/sec, 25 secs
lola: 4236022 markings, 6461344 edges, 113171 markings/sec, 30 secs
lola: 4806504 markings, 7327345 edges, 114096 markings/sec, 35 secs
lola: 5369284 markings, 8201967 edges, 112556 markings/sec, 40 secs
lola: 5929964 markings, 9063725 edges, 112136 markings/sec, 45 secs
lola: 6496584 markings, 9932951 edges, 113324 markings/sec, 50 secs
lola: 7051891 markings, 10795415 edges, 111061 markings/sec, 55 secs
lola: 7568651 markings, 11581127 edges, 103352 markings/sec, 60 secs
lola: 8074423 markings, 12383005 edges, 101154 markings/sec, 65 secs
lola: 8542349 markings, 13098137 edges, 93585 markings/sec, 70 secs
lola: 8948426 markings, 13741508 edges, 81215 markings/sec, 75 secs
lola: 9382838 markings, 14428219 edges, 86882 markings/sec, 80 secs
lola: 9831914 markings, 15152462 edges, 89815 markings/sec, 85 secs
lola: 10287601 markings, 15882309 edges, 91137 markings/sec, 90 secs
lola: 10779303 markings, 16639219 edges, 98340 markings/sec, 95 secs
lola: 11261087 markings, 17376554 edges, 96357 markings/sec, 100 secs
lola: 11749384 markings, 18122826 edges, 97659 markings/sec, 105 secs
lola: 12217055 markings, 18768230 edges, 93534 markings/sec, 110 secs
lola: 12695730 markings, 19498892 edges, 95735 markings/sec, 115 secs
lola: 13179682 markings, 20250806 edges, 96790 markings/sec, 120 secs
lola: 13631994 markings, 20945098 edges, 90462 markings/sec, 125 secs
lola: 14111337 markings, 21682185 edges, 95869 markings/sec, 130 secs
lola: 14592423 markings, 22418642 edges, 96217 markings/sec, 135 secs
lola: 15094674 markings, 23191387 edges, 100450 markings/sec, 140 secs
lola: 15606002 markings, 23959444 edges, 102266 markings/sec, 145 secs
lola: 16104849 markings, 24725357 edges, 99769 markings/sec, 150 secs
lola: 16602187 markings, 25488615 edges, 99468 markings/sec, 155 secs
lola: 17101045 markings, 26255504 edges, 99772 markings/sec, 160 secs
lola: 17573041 markings, 26968114 edges, 94399 markings/sec, 165 secs
lola: 17925085 markings, 28516109 edges, 70409 markings/sec, 170 secs
lola: 18159457 markings, 30237182 edges, 46874 markings/sec, 175 secs
lola: 18469154 markings, 31791868 edges, 61939 markings/sec, 180 secs
lola: 18706127 markings, 33516168 edges, 47395 markings/sec, 185 secs
lola: 18948935 markings, 35197726 edges, 48562 markings/sec, 190 secs
lola: 19234411 markings, 36539922 edges, 57095 markings/sec, 195 secs
lola: 19443177 markings, 38070577 edges, 41753 markings/sec, 200 secs
lola: 19659868 markings, 39621691 edges, 43338 markings/sec, 205 secs
lola: 20085982 markings, 40678060 edges, 85223 markings/sec, 210 secs
lola: 20439744 markings, 41704083 edges, 70752 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(po2_3_5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1028 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: 755253 markings, 1163924 edges, 151051 markings/sec, 0 secs
lola: 1448991 markings, 2250392 edges, 138748 markings/sec, 5 secs
lola: 2132553 markings, 3373309 edges, 136712 markings/sec, 10 secs
lola: 2863401 markings, 4376844 edges, 146170 markings/sec, 15 secs
lola: 3603671 markings, 5286078 edges, 148054 markings/sec, 20 secs
lola: 4359907 markings, 6240106 edges, 151247 markings/sec, 25 secs
lola: 5122639 markings, 7183622 edges, 152546 markings/sec, 30 secs
lola: 5836189 markings, 8082989 edges, 142710 markings/sec, 35 secs
lola: 6514371 markings, 8974684 edges, 135636 markings/sec, 40 secs
lola: 6788919 markings, 10296781 edges, 54910 markings/sec, 45 secs
lola: 6939031 markings, 11792478 edges, 30022 markings/sec, 50 secs
lola: 7599434 markings, 12648550 edges, 132081 markings/sec, 55 secs
lola: 7962963 markings, 13769361 edges, 72706 markings/sec, 60 secs
lola: 7994358 markings, 15365531 edges, 6279 markings/sec, 65 secs
lola: 8642614 markings, 16445116 edges, 129651 markings/sec, 70 secs
lola: 9287484 markings, 17507935 edges, 128974 markings/sec, 75 secs
lola: 9983325 markings, 18595492 edges, 139168 markings/sec, 80 secs
lola: 10712770 markings, 19567529 edges, 145889 markings/sec, 85 secs
lola: 11435915 markings, 20455307 edges, 144629 markings/sec, 90 secs
lola: 12167854 markings, 21378914 edges, 146388 markings/sec, 95 secs
lola: 12912234 markings, 22301337 edges, 148876 markings/sec, 100 secs
lola: 13607000 markings, 23172421 edges, 138953 markings/sec, 105 secs
lola: 14245263 markings, 24006858 edges, 127653 markings/sec, 110 secs
lola: 14598713 markings, 25059161 edges, 70690 markings/sec, 115 secs
lola: 14623178 markings, 26514335 edges, 4893 markings/sec, 120 secs
lola: 15112822 markings, 27403943 edges, 97929 markings/sec, 125 secs
lola: 15686792 markings, 28212415 edges, 114794 markings/sec, 130 secs
lola: 15800831 markings, 29575189 edges, 22808 markings/sec, 135 secs
lola: 16108007 markings, 30991580 edges, 61435 markings/sec, 140 secs
lola: 16722937 markings, 32031945 edges, 122986 markings/sec, 145 secs
lola: 17441422 markings, 33132898 edges, 143697 markings/sec, 150 secs
lola: 18146213 markings, 34192721 edges, 140958 markings/sec, 155 secs
lola: 18884220 markings, 35100313 edges, 147601 markings/sec, 160 secs
lola: 19635277 markings, 36034418 edges, 150211 markings/sec, 165 secs
lola: 20399296 markings, 36971707 edges, 152804 markings/sec, 170 secs
lola: 21090275 markings, 37848967 edges, 138196 markings/sec, 175 secs
lola: 21759797 markings, 38726329 edges, 133904 markings/sec, 180 secs
lola: 22020331 markings, 39850586 edges, 52107 markings/sec, 185 secs
lola: 22092795 markings, 41413511 edges, 14493 markings/sec, 190 secs
lola: 22713132 markings, 42231110 edges, 124067 markings/sec, 195 secs
lola: 23332602 markings, 43068928 edges, 123894 markings/sec, 200 secs
lola: 23478443 markings, 44197341 edges, 29168 markings/sec, 205 secs
lola: 23533468 markings, 45546514 edges, 11005 markings/sec, 210 secs
lola: 24032859 markings, 46328016 edges, 99878 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pb6_5_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1028 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: 543927 markings, 2472680 edges, 108785 markings/sec, 0 secs
lola: 1059463 markings, 4792252 edges, 103107 markings/sec, 5 secs
lola: 1583924 markings, 7115760 edges, 104892 markings/sec, 10 secs
lola: 2170164 markings, 9246077 edges, 117248 markings/sec, 15 secs
lola: 2582832 markings, 11497350 edges, 82534 markings/sec, 20 secs
lola: 3071847 markings, 13755610 edges, 97803 markings/sec, 25 secs
lola: 3532913 markings, 15880223 edges, 92213 markings/sec, 30 secs
lola: 4153975 markings, 17600491 edges, 124212 markings/sec, 35 secs
lola: 4662054 markings, 19846131 edges, 101616 markings/sec, 40 secs
lola: 5106578 markings, 21946660 edges, 88905 markings/sec, 45 secs
lola: 5757461 markings, 23616728 edges, 130177 markings/sec, 50 secs
lola: 6071963 markings, 25842165 edges, 62900 markings/sec, 55 secs
lola: 6223799 markings, 28460618 edges, 30367 markings/sec, 60 secs
lola: 6660092 markings, 30708698 edges, 87259 markings/sec, 65 secs
lola: 7080064 markings, 32961101 edges, 83994 markings/sec, 70 secs
lola: 7618672 markings, 35053006 edges, 107722 markings/sec, 75 secs
lola: 8031308 markings, 37373761 edges, 82527 markings/sec, 80 secs
lola: 8545879 markings, 39428588 edges, 102914 markings/sec, 85 secs
lola: 8920370 markings, 41462535 edges, 74898 markings/sec, 90 secs
lola: 9544720 markings, 43072712 edges, 124870 markings/sec, 95 secs
lola: 10037306 markings, 45104627 edges, 98517 markings/sec, 100 secs
lola: 10573721 markings, 46848887 edges, 107283 markings/sec, 105 secs
lola: 11144752 markings, 48603502 edges, 114206 markings/sec, 110 secs
lola: 11274702 markings, 50992498 edges, 25990 markings/sec, 115 secs
lola: 11368338 markings, 53178356 edges, 18727 markings/sec, 120 secs
lola: 11891374 markings, 55078332 edges, 104607 markings/sec, 125 secs
lola: 12280459 markings, 57256429 edges, 77817 markings/sec, 130 secs
lola: 12786993 markings, 59059692 edges, 101307 markings/sec, 135 secs
lola: 13210922 markings, 60942039 edges, 84786 markings/sec, 140 secs
lola: 13847344 markings, 62482953 edges, 127284 markings/sec, 145 secs
lola: 14314694 markings, 64298865 edges, 93470 markings/sec, 150 secs
lola: 14478125 markings, 66298475 edges, 32686 markings/sec, 155 secs
lola: 14809492 markings, 68171312 edges, 66273 markings/sec, 160 secs
lola: 15099621 markings, 70395260 edges, 58026 markings/sec, 165 secs
lola: 15561337 markings, 72385783 edges, 92343 markings/sec, 170 secs
lola: 16004918 markings, 74441052 edges, 88716 markings/sec, 175 secs
lola: 16453159 markings, 76408745 edges, 89648 markings/sec, 180 secs
lola: 16838763 markings, 78392010 edges, 77121 markings/sec, 185 secs
lola: 17358265 markings, 80094078 edges, 103900 markings/sec, 190 secs
lola: 17948583 markings, 81720870 edges, 118064 markings/sec, 195 secs
lola: 18151293 markings, 83716454 edges, 40542 markings/sec, 200 secs
lola: 18559544 markings, 85498137 edges, 81650 markings/sec, 205 secs
lola: 18985202 markings, 87424787 edges, 85132 markings/sec, 210 secs
lola: 19115402 markings, 89652809 edges, 26040 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(pil2_4_4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1028 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: 526995 markings, 1895869 edges, 105399 markings/sec, 0 secs
lola: 773516 markings, 4035963 edges, 49304 markings/sec, 5 secs
lola: 1198020 markings, 5613061 edges, 84901 markings/sec, 10 secs
lola: 1505086 markings, 7548633 edges, 61413 markings/sec, 15 secs
lola: 1779055 markings, 9573247 edges, 54794 markings/sec, 20 secs
lola: 2240516 markings, 11253091 edges, 92292 markings/sec, 25 secs
lola: 2577446 markings, 13212414 edges, 67386 markings/sec, 30 secs
lola: 2855182 markings, 15164293 edges, 55547 markings/sec, 35 secs
lola: 3199358 markings, 17311103 edges, 68835 markings/sec, 40 secs
lola: 3587221 markings, 19174020 edges, 77573 markings/sec, 45 secs
lola: 4162349 markings, 20688620 edges, 115026 markings/sec, 50 secs
lola: 4766149 markings, 22048714 edges, 120760 markings/sec, 55 secs
lola: 5318325 markings, 23435647 edges, 110435 markings/sec, 60 secs
lola: 5840851 markings, 24851432 edges, 104505 markings/sec, 65 secs
lola: 6227165 markings, 26060850 edges, 77263 markings/sec, 70 secs
lola: 6595443 markings, 27327029 edges, 73656 markings/sec, 75 secs
lola: 6988277 markings, 28897455 edges, 78567 markings/sec, 80 secs
lola: 7311816 markings, 30751200 edges, 64708 markings/sec, 85 secs
lola: 7324612 markings, 33052772 edges, 2559 markings/sec, 90 secs
lola: 7330453 markings, 34943836 edges, 1168 markings/sec, 95 secs
lola: 7338973 markings, 37050372 edges, 1704 markings/sec, 100 secs
lola: 7357619 markings, 39163690 edges, 3729 markings/sec, 105 secs
lola: 7374259 markings, 41320928 edges, 3328 markings/sec, 110 secs
lola: 7460654 markings, 43273410 edges, 17279 markings/sec, 115 secs
lola: 7743706 markings, 44497546 edges, 56610 markings/sec, 120 secs
lola: 8045142 markings, 45643378 edges, 60287 markings/sec, 125 secs
lola: 8395956 markings, 46487781 edges, 70163 markings/sec, 130 secs
lola: 8742082 markings, 47378874 edges, 69225 markings/sec, 135 secs
lola: 9045683 markings, 48193168 edges, 60720 markings/sec, 140 secs
lola: 9207722 markings, 49390694 edges, 32408 markings/sec, 145 secs
lola: 9234256 markings, 51010735 edges, 5307 markings/sec, 150 secs
lola: 9255493 markings, 52618817 edges, 4247 markings/sec, 155 secs
lola: 9538692 markings, 53390828 edges, 56640 markings/sec, 160 secs
lola: 9717943 markings, 54451168 edges, 35850 markings/sec, 165 secs
lola: 9743447 markings, 55954219 edges, 5101 markings/sec, 170 secs
lola: 9748693 markings, 57440711 edges, 1049 markings/sec, 175 secs
lola: 9968849 markings, 58703474 edges, 44031 markings/sec, 180 secs
lola: 10292322 markings, 59707309 edges, 64695 markings/sec, 185 secs
lola: 10566620 markings, 60417171 edges, 54860 markings/sec, 190 secs
lola: 10831035 markings, 61391826 edges, 52883 markings/sec, 195 secs
lola: 11181012 markings, 62325925 edges, 69995 markings/sec, 200 secs
lola: 11485307 markings, 63143168 edges, 60859 markings/sec, 205 secs
lola: 11694184 markings, 64230942 edges, 41775 markings/sec, 210 secs
lola: 11710447 markings, 65881287 edges, 3253 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA HexagonalGrid-PT-316-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HexagonalGrid-PT-316-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HexagonalGrid-PT-316-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HexagonalGrid-PT-316-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HexagonalGrid-PT-316-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HexagonalGrid-PT-316-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HexagonalGrid-PT-316-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HexagonalGrid-PT-316-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HexagonalGrid-PT-316-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HexagonalGrid-PT-316-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HexagonalGrid-PT-316-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HexagonalGrid-PT-316-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HexagonalGrid-PT-316-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HexagonalGrid-PT-316-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HexagonalGrid-PT-316-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HexagonalGrid-PT-316-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496506247139

--------------------
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-316"
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-316.tgz
mv HexagonalGrid-PT-316 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-316, 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-149581034500209"
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 ;