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 ;