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

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

=== Now, execution of the tool begins

BK_START 1496503400913


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


checking for too many tokens
===========================================================================================
HexagonalGrid-PT-410: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ HexagonalGrid-PT-410 @ 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: 2161/65536 symbol table entries, 431 collisions
lola: preprocessing...
lola: finding significant places
lola: 787 places, 1374 transitions, 485 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1675 transition conflict sets
lola: TASK
lola: reading formula from HexagonalGrid-PT-410-UpperBounds.task
lola: MAX(pi1_4_7) : MAX(pb1_3_4) : MAX(pbl_1_1) : MAX(po2_3_2) : MAX(pbl_5_6) : MAX(pil3_3_3) : MAX(pol3_6_4) : MAX(po3_6_1) : MAX(pb1_7_3) : MAX(pi2_5_1) : MAX(pol4_7_4) : MAX(po1_5_2) : MAX(pil3_3_3) : MAX(pol2_1_1) : MAX(pbl_4_2) : MAX(pol1_2_3)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pi1_4_7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1940 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: 273238 markings, 441565 edges, 54648 markings/sec, 0 secs
lola: 533685 markings, 879815 edges, 52089 markings/sec, 5 secs
lola: 786604 markings, 1332787 edges, 50584 markings/sec, 10 secs
lola: 1040762 markings, 1718406 edges, 50832 markings/sec, 15 secs
lola: 1279491 markings, 2096571 edges, 47746 markings/sec, 20 secs
lola: 1432193 markings, 2688557 edges, 30540 markings/sec, 25 secs
lola: 1631801 markings, 3248004 edges, 39922 markings/sec, 30 secs
lola: 1880928 markings, 3646071 edges, 49825 markings/sec, 35 secs
lola: 2124049 markings, 3990877 edges, 48624 markings/sec, 40 secs
lola: 2357828 markings, 4351169 edges, 46756 markings/sec, 45 secs
lola: 2488333 markings, 5133608 edges, 26101 markings/sec, 50 secs
lola: 2735107 markings, 5550877 edges, 49355 markings/sec, 55 secs
lola: 2972034 markings, 5976432 edges, 47385 markings/sec, 60 secs
lola: 3208305 markings, 6337377 edges, 47254 markings/sec, 65 secs
lola: 3419463 markings, 6664856 edges, 42232 markings/sec, 70 secs
lola: 3637692 markings, 7031945 edges, 43646 markings/sec, 75 secs
lola: 3752251 markings, 7799602 edges, 22912 markings/sec, 80 secs
lola: 3989350 markings, 8198547 edges, 47420 markings/sec, 85 secs
lola: 4217073 markings, 8604353 edges, 45545 markings/sec, 90 secs
lola: 4444257 markings, 8947275 edges, 45437 markings/sec, 95 secs
lola: 4663520 markings, 9291718 edges, 43853 markings/sec, 100 secs
lola: 4862139 markings, 9695470 edges, 39724 markings/sec, 105 secs
lola: 4970060 markings, 10381826 edges, 21584 markings/sec, 110 secs
lola: 5201656 markings, 10772622 edges, 46319 markings/sec, 115 secs
lola: 5424980 markings, 11163637 edges, 44665 markings/sec, 120 secs
lola: 5646015 markings, 11498939 edges, 44207 markings/sec, 125 secs
lola: 5862297 markings, 11840638 edges, 43256 markings/sec, 130 secs
lola: 6042135 markings, 12281590 edges, 35968 markings/sec, 135 secs
lola: 6184944 markings, 12948540 edges, 28562 markings/sec, 140 secs
lola: 6419654 markings, 13353531 edges, 46942 markings/sec, 145 secs
lola: 6648465 markings, 13752944 edges, 45762 markings/sec, 150 secs
lola: 6872600 markings, 14106612 edges, 44827 markings/sec, 155 secs
lola: 7111638 markings, 14483899 edges, 47808 markings/sec, 160 secs
lola: 7358290 markings, 14909500 edges, 49330 markings/sec, 165 secs
lola: 7604231 markings, 15326663 edges, 49188 markings/sec, 170 secs
lola: 7845551 markings, 15696331 edges, 48264 markings/sec, 175 secs
lola: 8075307 markings, 16062025 edges, 45951 markings/sec, 180 secs
lola: 8209790 markings, 16866799 edges, 26897 markings/sec, 185 secs
lola: 8466523 markings, 17304579 edges, 51347 markings/sec, 190 secs
lola: 8717053 markings, 17751920 edges, 50106 markings/sec, 195 secs
lola: 8965658 markings, 18130968 edges, 49721 markings/sec, 200 secs
lola: 9206217 markings, 18507232 edges, 48112 markings/sec, 205 secs
lola: 9384926 markings, 19121756 edges, 35742 markings/sec, 210 secs
lola: 9564630 markings, 19673659 edges, 35941 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(pb1_3_4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1940 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: 311935 markings, 488997 edges, 62387 markings/sec, 0 secs
lola: 606524 markings, 918643 edges, 58918 markings/sec, 5 secs
lola: 851262 markings, 1489636 edges, 48948 markings/sec, 10 secs
lola: 1120267 markings, 2061715 edges, 53801 markings/sec, 15 secs
lola: 1404903 markings, 2535909 edges, 56927 markings/sec, 20 secs
lola: 1691411 markings, 2996171 edges, 57302 markings/sec, 25 secs
lola: 1973298 markings, 3442096 edges, 56377 markings/sec, 30 secs
lola: 2256206 markings, 3823842 edges, 56582 markings/sec, 35 secs
lola: 2527995 markings, 4205022 edges, 54358 markings/sec, 40 secs
lola: 2791324 markings, 4613240 edges, 52666 markings/sec, 45 secs
lola: 2900256 markings, 5564427 edges, 21786 markings/sec, 50 secs
lola: 3182604 markings, 5980183 edges, 56470 markings/sec, 55 secs
lola: 3455483 markings, 6364362 edges, 54576 markings/sec, 60 secs
lola: 3723624 markings, 6745359 edges, 53628 markings/sec, 65 secs
lola: 3989479 markings, 7127021 edges, 53171 markings/sec, 70 secs
lola: 4090517 markings, 8088725 edges, 20208 markings/sec, 75 secs
lola: 4380251 markings, 8554055 edges, 57947 markings/sec, 80 secs
lola: 4663875 markings, 8967368 edges, 56725 markings/sec, 85 secs
lola: 4900126 markings, 9529976 edges, 47250 markings/sec, 90 secs
lola: 5149526 markings, 10090608 edges, 49880 markings/sec, 95 secs
lola: 5437427 markings, 10573812 edges, 57580 markings/sec, 100 secs
lola: 5727654 markings, 11023809 edges, 58045 markings/sec, 105 secs
lola: 6012207 markings, 11439641 edges, 56911 markings/sec, 110 secs
lola: 6292569 markings, 11825971 edges, 56072 markings/sec, 115 secs
lola: 6566212 markings, 12199716 edges, 54729 markings/sec, 120 secs
lola: 6681993 markings, 13133614 edges, 23156 markings/sec, 125 secs
lola: 6941908 markings, 13619577 edges, 51983 markings/sec, 130 secs
lola: 7216112 markings, 14048253 edges, 54841 markings/sec, 135 secs
lola: 7487509 markings, 14434456 edges, 54279 markings/sec, 140 secs
lola: 7754475 markings, 14803455 edges, 53393 markings/sec, 145 secs
lola: 8022092 markings, 15164019 edges, 53523 markings/sec, 150 secs
lola: 8148400 markings, 15959175 edges, 25262 markings/sec, 155 secs
lola: 8361894 markings, 16529184 edges, 42699 markings/sec, 160 secs
lola: 8632199 markings, 16951610 edges, 54061 markings/sec, 165 secs
lola: 8900088 markings, 17333175 edges, 53578 markings/sec, 170 secs
lola: 9160825 markings, 17693205 edges, 52147 markings/sec, 175 secs
lola: 9422208 markings, 18045343 edges, 52277 markings/sec, 180 secs
lola: 9575781 markings, 18718667 edges, 30715 markings/sec, 185 secs
lola: 9745302 markings, 19377137 edges, 33904 markings/sec, 190 secs
lola: 10007998 markings, 19777105 edges, 52539 markings/sec, 195 secs
lola: 10258483 markings, 20147478 edges, 50097 markings/sec, 200 secs
lola: 10515064 markings, 20499937 edges, 51316 markings/sec, 205 secs
lola: 10773515 markings, 20850126 edges, 51690 markings/sec, 210 secs
lola: 10965378 markings, 21397348 edges, 38373 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(pbl_1_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1940 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: 482276 markings, 611538 edges, 96455 markings/sec, 0 secs
lola: 909837 markings, 1323223 edges, 85512 markings/sec, 5 secs
lola: 1336504 markings, 2033365 edges, 85333 markings/sec, 10 secs
lola: 1737015 markings, 2708066 edges, 80102 markings/sec, 15 secs
lola: 2143882 markings, 3387606 edges, 81373 markings/sec, 20 secs
lola: 2576394 markings, 4077872 edges, 86502 markings/sec, 25 secs
lola: 3056823 markings, 4668319 edges, 96086 markings/sec, 30 secs
lola: 3485341 markings, 5363661 edges, 85704 markings/sec, 35 secs
lola: 3907761 markings, 6067202 edges, 84484 markings/sec, 40 secs
lola: 4379013 markings, 6657943 edges, 94250 markings/sec, 45 secs
lola: 4863463 markings, 7234451 edges, 96890 markings/sec, 50 secs
lola: 5339667 markings, 7809128 edges, 95241 markings/sec, 55 secs
lola: 5824937 markings, 8375347 edges, 97054 markings/sec, 60 secs
lola: 6297698 markings, 8946573 edges, 94552 markings/sec, 65 secs
lola: 6768829 markings, 9518320 edges, 94226 markings/sec, 70 secs
lola: 7238367 markings, 10088422 edges, 93908 markings/sec, 75 secs
lola: 7695789 markings, 10652345 edges, 91484 markings/sec, 80 secs
lola: 8148134 markings, 11223225 edges, 90469 markings/sec, 85 secs
lola: 8606208 markings, 11791889 edges, 91615 markings/sec, 90 secs
lola: 9052173 markings, 12345692 edges, 89193 markings/sec, 95 secs
lola: 9486241 markings, 12918896 edges, 86814 markings/sec, 100 secs
lola: 9917150 markings, 13507705 edges, 86182 markings/sec, 105 secs
lola: 10223977 markings, 14432127 edges, 61365 markings/sec, 110 secs
lola: 10328342 markings, 15820852 edges, 20873 markings/sec, 115 secs
lola: 10434982 markings, 17316329 edges, 21328 markings/sec, 120 secs
lola: 10823964 markings, 18050341 edges, 77796 markings/sec, 125 secs
lola: 11223621 markings, 18728692 edges, 79931 markings/sec, 130 secs
lola: 11615669 markings, 19392652 edges, 78410 markings/sec, 135 secs
lola: 12002257 markings, 20042736 edges, 77318 markings/sec, 140 secs
lola: 12395989 markings, 20694495 edges, 78746 markings/sec, 145 secs
lola: 12858840 markings, 21253280 edges, 92570 markings/sec, 150 secs
lola: 13270829 markings, 21926914 edges, 82398 markings/sec, 155 secs
lola: 13670332 markings, 22599525 edges, 79901 markings/sec, 160 secs
lola: 14115843 markings, 23167210 edges, 89102 markings/sec, 165 secs
lola: 14576304 markings, 23725917 edges, 92092 markings/sec, 170 secs
lola: 15039803 markings, 24277070 edges, 92700 markings/sec, 175 secs
lola: 15490141 markings, 24808437 edges, 90068 markings/sec, 180 secs
lola: 15934982 markings, 25339769 edges, 88968 markings/sec, 185 secs
lola: 16380443 markings, 25884029 edges, 89092 markings/sec, 190 secs
lola: 16814086 markings, 26408148 edges, 86729 markings/sec, 195 secs
lola: 17245214 markings, 26932009 edges, 86226 markings/sec, 200 secs
lola: 17680914 markings, 27474164 edges, 87140 markings/sec, 205 secs
lola: 18107136 markings, 28013121 edges, 85244 markings/sec, 210 secs
lola: 18540858 markings, 28544874 edges, 86744 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(po2_3_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1940 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: 250429 markings, 842425 edges, 50086 markings/sec, 0 secs
lola: 402604 markings, 2115261 edges, 30435 markings/sec, 5 secs
lola: 611430 markings, 3050753 edges, 41765 markings/sec, 10 secs
lola: 779913 markings, 4180360 edges, 33697 markings/sec, 15 secs
lola: 982962 markings, 5085645 edges, 40610 markings/sec, 20 secs
lola: 1159798 markings, 6176777 edges, 35367 markings/sec, 25 secs
lola: 1292599 markings, 7407305 edges, 26560 markings/sec, 30 secs
lola: 1504304 markings, 8112525 edges, 42341 markings/sec, 35 secs
lola: 1629987 markings, 9283994 edges, 25137 markings/sec, 40 secs
lola: 1811607 markings, 10116236 edges, 36324 markings/sec, 45 secs
lola: 1975520 markings, 11196828 edges, 32783 markings/sec, 50 secs
lola: 2185035 markings, 12093351 edges, 41903 markings/sec, 55 secs
lola: 2343968 markings, 13213696 edges, 31787 markings/sec, 60 secs
lola: 2500003 markings, 14382518 edges, 31207 markings/sec, 65 secs
lola: 2717149 markings, 15109869 edges, 43429 markings/sec, 70 secs
lola: 2898122 markings, 15964296 edges, 36195 markings/sec, 75 secs
lola: 3047553 markings, 16952976 edges, 29886 markings/sec, 80 secs
lola: 3163237 markings, 18112200 edges, 23137 markings/sec, 85 secs
lola: 3363993 markings, 18799125 edges, 40151 markings/sec, 90 secs
lola: 3482450 markings, 19943067 edges, 23691 markings/sec, 95 secs
lola: 3656193 markings, 20784446 edges, 34749 markings/sec, 100 secs
lola: 3803974 markings, 21785904 edges, 29556 markings/sec, 105 secs
lola: 4022726 markings, 22560293 edges, 43750 markings/sec, 110 secs
lola: 4125081 markings, 23829061 edges, 20471 markings/sec, 115 secs
lola: 4314155 markings, 24752245 edges, 37815 markings/sec, 120 secs
lola: 4439969 markings, 25838930 edges, 25163 markings/sec, 125 secs
lola: 4645961 markings, 26501250 edges, 41198 markings/sec, 130 secs
lola: 4819511 markings, 27310228 edges, 34710 markings/sec, 135 secs
lola: 4956944 markings, 28272049 edges, 27487 markings/sec, 140 secs
lola: 5064593 markings, 29398377 edges, 21530 markings/sec, 145 secs
lola: 5256277 markings, 30086499 edges, 38337 markings/sec, 150 secs
lola: 5362142 markings, 31153563 edges, 21173 markings/sec, 155 secs
lola: 5536763 markings, 31942985 edges, 34924 markings/sec, 160 secs
lola: 5707038 markings, 32956486 edges, 34055 markings/sec, 165 secs
lola: 5893081 markings, 33927525 edges, 37209 markings/sec, 170 secs
lola: 6056395 markings, 35068162 edges, 32663 markings/sec, 175 secs
lola: 6221951 markings, 36096728 edges, 33111 markings/sec, 180 secs
lola: 6404388 markings, 37075618 edges, 36487 markings/sec, 185 secs
lola: 6652774 markings, 37734535 edges, 49677 markings/sec, 190 secs
lola: 6899945 markings, 38375669 edges, 49434 markings/sec, 195 secs
lola: 7128106 markings, 39014574 edges, 45632 markings/sec, 200 secs
lola: 7343888 markings, 39653077 edges, 43156 markings/sec, 205 secs
lola: 7531274 markings, 40351150 edges, 37477 markings/sec, 210 secs
lola: 7718074 markings, 41070115 edges, 37360 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_5_6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1940 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: 226247 markings, 893437 edges, 45249 markings/sec, 0 secs
lola: 414957 markings, 1866840 edges, 37742 markings/sec, 5 secs
lola: 555949 markings, 2930659 edges, 28198 markings/sec, 10 secs
lola: 794107 markings, 3687094 edges, 47632 markings/sec, 15 secs
lola: 960615 markings, 4800152 edges, 33302 markings/sec, 20 secs
lola: 1122749 markings, 5842348 edges, 32427 markings/sec, 25 secs
lola: 1261052 markings, 6919352 edges, 27661 markings/sec, 30 secs
lola: 1491993 markings, 7670536 edges, 46188 markings/sec, 35 secs
lola: 1665923 markings, 8719848 edges, 34786 markings/sec, 40 secs
lola: 1789568 markings, 9793344 edges, 24729 markings/sec, 45 secs
lola: 1929023 markings, 10800157 edges, 27891 markings/sec, 50 secs
lola: 2166584 markings, 11492514 edges, 47512 markings/sec, 55 secs
lola: 2313582 markings, 12537956 edges, 29400 markings/sec, 60 secs
lola: 2440484 markings, 13487527 edges, 25380 markings/sec, 65 secs
lola: 2550223 markings, 14479237 edges, 21948 markings/sec, 70 secs
lola: 2765426 markings, 15091639 edges, 43041 markings/sec, 75 secs
lola: 2885590 markings, 16076472 edges, 24033 markings/sec, 80 secs
lola: 3018984 markings, 17032193 edges, 26679 markings/sec, 85 secs
lola: 3139110 markings, 18011996 edges, 24025 markings/sec, 90 secs
lola: 3333585 markings, 18659506 edges, 38895 markings/sec, 95 secs
lola: 3472836 markings, 19573010 edges, 27850 markings/sec, 100 secs
lola: 3674851 markings, 20290133 edges, 40403 markings/sec, 105 secs
lola: 3812163 markings, 21274387 edges, 27462 markings/sec, 110 secs
lola: 3936117 markings, 22220025 edges, 24791 markings/sec, 115 secs
lola: 4049070 markings, 23171852 edges, 22591 markings/sec, 120 secs
lola: 4262823 markings, 23808922 edges, 42751 markings/sec, 125 secs
lola: 4384599 markings, 24793111 edges, 24355 markings/sec, 130 secs
lola: 4517257 markings, 25738466 edges, 26532 markings/sec, 135 secs
lola: 4723884 markings, 26376071 edges, 41325 markings/sec, 140 secs
lola: 4778815 markings, 27563809 edges, 10986 markings/sec, 145 secs
lola: 4971408 markings, 28288784 edges, 38519 markings/sec, 150 secs
lola: 5118542 markings, 29273283 edges, 29427 markings/sec, 155 secs
lola: 5244260 markings, 30260404 edges, 25144 markings/sec, 160 secs
lola: 5389356 markings, 31308798 edges, 29019 markings/sec, 165 secs
lola: 5571027 markings, 32213723 edges, 36334 markings/sec, 170 secs
lola: 5747603 markings, 33094774 edges, 35315 markings/sec, 175 secs
lola: 5945731 markings, 33975128 edges, 39626 markings/sec, 180 secs
lola: 6175920 markings, 34728816 edges, 46038 markings/sec, 185 secs
lola: 6332871 markings, 35802601 edges, 31390 markings/sec, 190 secs
lola: 6503347 markings, 36838148 edges, 34095 markings/sec, 195 secs
lola: 6638317 markings, 37844800 edges, 26994 markings/sec, 200 secs
lola: 6856465 markings, 38495033 edges, 43630 markings/sec, 205 secs
lola: 6989595 markings, 39535262 edges, 26626 markings/sec, 210 secs
lola: 7129096 markings, 40515947 edges, 27900 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(pil3_3_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1940 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: 473647 markings, 577841 edges, 94729 markings/sec, 0 secs
lola: 896544 markings, 1271748 edges, 84579 markings/sec, 5 secs
lola: 1322151 markings, 1933053 edges, 85121 markings/sec, 10 secs
lola: 1770327 markings, 2486478 edges, 89635 markings/sec, 15 secs
lola: 2189143 markings, 3160981 edges, 83763 markings/sec, 20 secs
lola: 2600346 markings, 3825760 edges, 82241 markings/sec, 25 secs
lola: 3031890 markings, 4408716 edges, 86309 markings/sec, 30 secs
lola: 3472584 markings, 5024205 edges, 88139 markings/sec, 35 secs
lola: 3884191 markings, 5673323 edges, 82321 markings/sec, 40 secs
lola: 4288958 markings, 6317473 edges, 80953 markings/sec, 45 secs
lola: 4702314 markings, 6966427 edges, 82671 markings/sec, 50 secs
lola: 5170550 markings, 7522064 edges, 93647 markings/sec, 55 secs
lola: 5634175 markings, 8075163 edges, 92725 markings/sec, 60 secs
lola: 6103435 markings, 8629313 edges, 93852 markings/sec, 65 secs
lola: 6566305 markings, 9172395 edges, 92574 markings/sec, 70 secs
lola: 7027485 markings, 9712209 edges, 92236 markings/sec, 75 secs
lola: 7491754 markings, 10250043 edges, 92854 markings/sec, 80 secs
lola: 7957923 markings, 10790211 edges, 93234 markings/sec, 85 secs
lola: 8417587 markings, 11331710 edges, 91933 markings/sec, 90 secs
lola: 8875553 markings, 11870586 edges, 91593 markings/sec, 95 secs
lola: 9328374 markings, 12410330 edges, 90564 markings/sec, 100 secs
lola: 9781664 markings, 12952298 edges, 90658 markings/sec, 105 secs
lola: 10228732 markings, 13483628 edges, 89414 markings/sec, 110 secs
lola: 10647880 markings, 13997521 edges, 83830 markings/sec, 115 secs
lola: 11032410 markings, 14469714 edges, 76906 markings/sec, 120 secs
lola: 11453337 markings, 14998830 edges, 84185 markings/sec, 125 secs
lola: 11859055 markings, 15543796 edges, 81144 markings/sec, 130 secs
lola: 12263214 markings, 16099907 edges, 80832 markings/sec, 135 secs
lola: 12566169 markings, 16941099 edges, 60591 markings/sec, 140 secs
lola: 12766288 markings, 18000081 edges, 40024 markings/sec, 145 secs
lola: 12985820 markings, 19002637 edges, 43906 markings/sec, 150 secs
lola: 13251730 markings, 19976324 edges, 53182 markings/sec, 155 secs
lola: 13612073 markings, 20729841 edges, 72069 markings/sec, 160 secs
lola: 14045257 markings, 21262476 edges, 86637 markings/sec, 165 secs
lola: 14450213 markings, 21905461 edges, 80991 markings/sec, 170 secs
lola: 14837758 markings, 22542796 edges, 77509 markings/sec, 175 secs
lola: 15223372 markings, 23010253 edges, 77123 markings/sec, 180 secs
lola: 15624038 markings, 23643188 edges, 80133 markings/sec, 185 secs
lola: 16020866 markings, 24286141 edges, 79366 markings/sec, 190 secs
lola: 16437946 markings, 24935527 edges, 83416 markings/sec, 195 secs
lola: 16885672 markings, 25472535 edges, 89545 markings/sec, 200 secs
lola: 17284645 markings, 26099387 edges, 79795 markings/sec, 205 secs
lola: 17676709 markings, 26727717 edges, 78413 markings/sec, 210 secs
lola: 18137748 markings, 27272922 edges, 92208 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(pol3_6_4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1940 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: 521058 markings, 672758 edges, 104212 markings/sec, 0 secs
lola: 1010697 markings, 1247150 edges, 97928 markings/sec, 5 secs
lola: 1462937 markings, 1792310 edges, 90448 markings/sec, 10 secs
lola: 1859544 markings, 2361526 edges, 79321 markings/sec, 15 secs
lola: 2097606 markings, 3305236 edges, 47612 markings/sec, 20 secs
lola: 2583216 markings, 3930788 edges, 97122 markings/sec, 25 secs
lola: 3057894 markings, 4513982 edges, 94936 markings/sec, 30 secs
lola: 3467334 markings, 5070967 edges, 81888 markings/sec, 35 secs
lola: 3808487 markings, 5746094 edges, 68231 markings/sec, 40 secs
lola: 4096278 markings, 6598499 edges, 57558 markings/sec, 45 secs
lola: 4565413 markings, 7166691 edges, 93827 markings/sec, 50 secs
lola: 5009652 markings, 7693148 edges, 88848 markings/sec, 55 secs
lola: 5399448 markings, 8221340 edges, 77959 markings/sec, 60 secs
lola: 5617895 markings, 9108027 edges, 43689 markings/sec, 65 secs
lola: 6024405 markings, 9703948 edges, 81302 markings/sec, 70 secs
lola: 6463134 markings, 10227774 edges, 87746 markings/sec, 75 secs
lola: 6881027 markings, 10735551 edges, 83579 markings/sec, 80 secs
lola: 7247363 markings, 11259956 edges, 73267 markings/sec, 85 secs
lola: 7444284 markings, 12153792 edges, 39384 markings/sec, 90 secs
lola: 7895000 markings, 12789131 edges, 90143 markings/sec, 95 secs
lola: 8351123 markings, 13396010 edges, 91225 markings/sec, 100 secs
lola: 8820936 markings, 13962200 edges, 93963 markings/sec, 105 secs
lola: 9224908 markings, 14495918 edges, 80794 markings/sec, 110 secs
lola: 9603781 markings, 15065343 edges, 75775 markings/sec, 115 secs
lola: 9841536 markings, 15988668 edges, 47551 markings/sec, 120 secs
lola: 10317551 markings, 16627000 edges, 95203 markings/sec, 125 secs
lola: 10798650 markings, 17213746 edges, 96220 markings/sec, 130 secs
lola: 11219962 markings, 17763687 edges, 84262 markings/sec, 135 secs
lola: 11597220 markings, 18331721 edges, 75452 markings/sec, 140 secs
lola: 11838719 markings, 19238282 edges, 48300 markings/sec, 145 secs
lola: 12285768 markings, 19788755 edges, 89410 markings/sec, 150 secs
lola: 12670018 markings, 20309385 edges, 76850 markings/sec, 155 secs
lola: 13020329 markings, 20883603 edges, 70062 markings/sec, 160 secs
lola: 13231613 markings, 21758262 edges, 42257 markings/sec, 165 secs
lola: 13669273 markings, 22332652 edges, 87532 markings/sec, 170 secs
lola: 14119705 markings, 22885743 edges, 90086 markings/sec, 175 secs
lola: 14539716 markings, 23423959 edges, 84002 markings/sec, 180 secs
lola: 14907814 markings, 23939188 edges, 73620 markings/sec, 185 secs
lola: 15174437 markings, 24666176 edges, 53325 markings/sec, 190 secs
lola: 15503520 markings, 25404973 edges, 65817 markings/sec, 195 secs
lola: 15965496 markings, 25991384 edges, 92395 markings/sec, 200 secs
lola: 16420008 markings, 26547379 edges, 90902 markings/sec, 205 secs
lola: 16811604 markings, 27074142 edges, 78319 markings/sec, 210 secs
lola: 17173943 markings, 27652136 edges, 72468 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(po3_6_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1940 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: 732279 markings, 1113946 edges, 146456 markings/sec, 0 secs
lola: 1437029 markings, 2165317 edges, 140950 markings/sec, 5 secs
lola: 2110083 markings, 3225362 edges, 134611 markings/sec, 10 secs
lola: 2738982 markings, 4313160 edges, 125780 markings/sec, 15 secs
lola: 3412588 markings, 5312734 edges, 134721 markings/sec, 20 secs
lola: 3974920 markings, 6339288 edges, 112466 markings/sec, 25 secs
lola: 4715691 markings, 7268174 edges, 148154 markings/sec, 30 secs
lola: 5467769 markings, 8187189 edges, 150416 markings/sec, 35 secs
lola: 6223096 markings, 9081728 edges, 151065 markings/sec, 40 secs
lola: 6956323 markings, 9973528 edges, 146645 markings/sec, 45 secs
lola: 7710876 markings, 10890004 edges, 150911 markings/sec, 50 secs
lola: 8447113 markings, 11811891 edges, 147247 markings/sec, 55 secs
lola: 9179583 markings, 12728830 edges, 146494 markings/sec, 60 secs
lola: 9874713 markings, 13616505 edges, 139026 markings/sec, 65 secs
lola: 10542816 markings, 14532224 edges, 133621 markings/sec, 70 secs
lola: 10805315 markings, 15940578 edges, 52500 markings/sec, 75 secs
lola: 10936636 markings, 17445230 edges, 26264 markings/sec, 80 secs
lola: 11278237 markings, 18854717 edges, 68320 markings/sec, 85 secs
lola: 11946059 markings, 19868927 edges, 133564 markings/sec, 90 secs
lola: 12575754 markings, 20940590 edges, 125939 markings/sec, 95 secs
lola: 13224234 markings, 22002827 edges, 129696 markings/sec, 100 secs
lola: 13887961 markings, 22992490 edges, 132745 markings/sec, 105 secs
lola: 14450234 markings, 24029098 edges, 112455 markings/sec, 110 secs
lola: 15120933 markings, 25021556 edges, 134140 markings/sec, 115 secs
lola: 15848875 markings, 25938372 edges, 145588 markings/sec, 120 secs
lola: 16622314 markings, 26869836 edges, 154688 markings/sec, 125 secs
lola: 17392310 markings, 27787371 edges, 153999 markings/sec, 130 secs
lola: 18147633 markings, 28702777 edges, 151065 markings/sec, 135 secs
lola: 18890496 markings, 29614443 edges, 148573 markings/sec, 140 secs
lola: 19594062 markings, 30496319 edges, 140713 markings/sec, 145 secs
lola: 20311932 markings, 31395799 edges, 143574 markings/sec, 150 secs
lola: 21000523 markings, 32287088 edges, 137718 markings/sec, 155 secs
lola: 21635186 markings, 33172700 edges, 126933 markings/sec, 160 secs
lola: 21782744 markings, 34589932 edges, 29512 markings/sec, 165 secs
lola: 21905574 markings, 36049512 edges, 24566 markings/sec, 170 secs
lola: 22300588 markings, 37381185 edges, 79003 markings/sec, 175 secs
lola: 22939143 markings, 38361116 edges, 127711 markings/sec, 180 secs
lola: 23523079 markings, 39301588 edges, 116787 markings/sec, 185 secs
lola: 24133403 markings, 40394165 edges, 122065 markings/sec, 190 secs
lola: 24803799 markings, 41387241 edges, 134079 markings/sec, 195 secs
lola: 25490335 markings, 42397112 edges, 137307 markings/sec, 200 secs
lola: 26101597 markings, 43497624 edges, 122252 markings/sec, 205 secs
lola: 26846629 markings, 44439297 edges, 149006 markings/sec, 210 secs
lola: 27622737 markings, 45367416 edges, 155222 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(pb1_7_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1940 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: 317902 markings, 527418 edges, 63580 markings/sec, 0 secs
lola: 617613 markings, 1101326 edges, 59942 markings/sec, 5 secs
lola: 926055 markings, 1630135 edges, 61688 markings/sec, 10 secs
lola: 1225136 markings, 2224589 edges, 59816 markings/sec, 15 secs
lola: 1519708 markings, 2788355 edges, 58914 markings/sec, 20 secs
lola: 1811651 markings, 3359117 edges, 58389 markings/sec, 25 secs
lola: 2087576 markings, 4017315 edges, 55185 markings/sec, 30 secs
lola: 2391148 markings, 4596310 edges, 60714 markings/sec, 35 secs
lola: 2677440 markings, 5199139 edges, 57258 markings/sec, 40 secs
lola: 2972514 markings, 5733600 edges, 59015 markings/sec, 45 secs
lola: 3270198 markings, 6308532 edges, 59537 markings/sec, 50 secs
lola: 3578432 markings, 6841372 edges, 61647 markings/sec, 55 secs
lola: 3869570 markings, 7414522 edges, 58228 markings/sec, 60 secs
lola: 4155931 markings, 7956544 edges, 57272 markings/sec, 65 secs
lola: 4432525 markings, 8586259 edges, 55319 markings/sec, 70 secs
lola: 4708333 markings, 9203772 edges, 55162 markings/sec, 75 secs
lola: 4999967 markings, 9677364 edges, 58327 markings/sec, 80 secs
lola: 5246119 markings, 10337693 edges, 49230 markings/sec, 85 secs
lola: 5525243 markings, 10838568 edges, 55825 markings/sec, 90 secs
lola: 5758193 markings, 11592861 edges, 46590 markings/sec, 95 secs
lola: 6061558 markings, 12123419 edges, 60673 markings/sec, 100 secs
lola: 6353810 markings, 12694168 edges, 58450 markings/sec, 105 secs
lola: 6640134 markings, 13248545 edges, 57265 markings/sec, 110 secs
lola: 6921541 markings, 13792032 edges, 56281 markings/sec, 115 secs
lola: 7184616 markings, 14445066 edges, 52615 markings/sec, 120 secs
lola: 7473668 markings, 14992941 edges, 57810 markings/sec, 125 secs
lola: 7758485 markings, 15527600 edges, 56963 markings/sec, 130 secs
lola: 8030643 markings, 16091193 edges, 54432 markings/sec, 135 secs
lola: 8309796 markings, 16635126 edges, 55831 markings/sec, 140 secs
lola: 8600414 markings, 17135477 edges, 58124 markings/sec, 145 secs
lola: 8874483 markings, 17733129 edges, 54814 markings/sec, 150 secs
lola: 9147034 markings, 18316718 edges, 54510 markings/sec, 155 secs
lola: 9417846 markings, 18890049 edges, 54162 markings/sec, 160 secs
lola: 9700692 markings, 19352250 edges, 56569 markings/sec, 165 secs
lola: 9924657 markings, 20084155 edges, 44793 markings/sec, 170 secs
lola: 10212902 markings, 20495719 edges, 57649 markings/sec, 175 secs
lola: 10437003 markings, 21242450 edges, 44820 markings/sec, 180 secs
lola: 10721349 markings, 21772680 edges, 56869 markings/sec, 185 secs
lola: 11002415 markings, 22277242 edges, 56213 markings/sec, 190 secs
lola: 11270547 markings, 22883630 edges, 53626 markings/sec, 195 secs
lola: 11536557 markings, 23455323 edges, 53202 markings/sec, 200 secs
lola: 11814789 markings, 24013679 edges, 55646 markings/sec, 205 secs
lola: 12081157 markings, 24549045 edges, 53274 markings/sec, 210 secs
lola: 12363871 markings, 25099392 edges, 56543 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(pi2_5_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1940 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: 684901 markings, 990086 edges, 136980 markings/sec, 0 secs
lola: 1339810 markings, 1954721 edges, 130982 markings/sec, 5 secs
lola: 2048958 markings, 2977637 edges, 141830 markings/sec, 10 secs
lola: 2745283 markings, 3964128 edges, 139265 markings/sec, 15 secs
lola: 3455911 markings, 4973432 edges, 142126 markings/sec, 20 secs
lola: 4099245 markings, 6051530 edges, 128667 markings/sec, 25 secs
lola: 4887313 markings, 6988130 edges, 157614 markings/sec, 30 secs
lola: 5678812 markings, 7916999 edges, 158300 markings/sec, 35 secs
lola: 6454770 markings, 8824663 edges, 155192 markings/sec, 40 secs
lola: 7239914 markings, 9728047 edges, 157029 markings/sec, 45 secs
lola: 8013080 markings, 10632089 edges, 154633 markings/sec, 50 secs
lola: 8782405 markings, 11542862 edges, 153865 markings/sec, 55 secs
lola: 9536453 markings, 12440130 edges, 150810 markings/sec, 60 secs
lola: 10271931 markings, 13337381 edges, 147096 markings/sec, 65 secs
lola: 10921173 markings, 14151801 edges, 129848 markings/sec, 70 secs
lola: 11571367 markings, 15035652 edges, 130039 markings/sec, 75 secs
lola: 12000199 markings, 16283699 edges, 85766 markings/sec, 80 secs
lola: 12282463 markings, 17691011 edges, 56453 markings/sec, 85 secs
lola: 12646366 markings, 19066594 edges, 72781 markings/sec, 90 secs
lola: 13291882 markings, 20116646 edges, 129103 markings/sec, 95 secs
lola: 13957191 markings, 21090829 edges, 133062 markings/sec, 100 secs
lola: 14576150 markings, 22083709 edges, 123792 markings/sec, 105 secs
lola: 15181155 markings, 23028267 edges, 121001 markings/sec, 110 secs
lola: 15878718 markings, 24018500 edges, 139513 markings/sec, 115 secs
lola: 16561454 markings, 24986893 edges, 136547 markings/sec, 120 secs
lola: 17324320 markings, 25889946 edges, 152573 markings/sec, 125 secs
lola: 18061013 markings, 26756174 edges, 147339 markings/sec, 130 secs
lola: 18810894 markings, 27626479 edges, 149976 markings/sec, 135 secs
lola: 19579649 markings, 28515997 edges, 153751 markings/sec, 140 secs
lola: 20334955 markings, 29398235 edges, 151061 markings/sec, 145 secs
lola: 21075970 markings, 30278943 edges, 148203 markings/sec, 150 secs
lola: 21798275 markings, 31135836 edges, 144461 markings/sec, 155 secs
lola: 22515270 markings, 32016016 edges, 143399 markings/sec, 160 secs
lola: 23201535 markings, 32893257 edges, 137253 markings/sec, 165 secs
lola: 23853263 markings, 33788477 edges, 130346 markings/sec, 170 secs
lola: 24194896 markings, 35043826 edges, 68327 markings/sec, 175 secs
lola: 24464109 markings, 36352223 edges, 53843 markings/sec, 180 secs
lola: 24811473 markings, 37649964 edges, 69473 markings/sec, 185 secs
lola: 25475647 markings, 38719452 edges, 132835 markings/sec, 190 secs
lola: 26130661 markings, 39764898 edges, 131003 markings/sec, 195 secs
lola: 26833407 markings, 40824317 edges, 140549 markings/sec, 200 secs
lola: 27564652 markings, 41848383 edges, 146249 markings/sec, 205 secs
lola: 28290292 markings, 42869331 edges, 145128 markings/sec, 210 secs
lola: 29073809 markings, 43797704 edges, 156703 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(pol4_7_4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1940 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: 179981 markings, 655779 edges, 35996 markings/sec, 0 secs
lola: 390744 markings, 1094225 edges, 42153 markings/sec, 5 secs
lola: 570639 markings, 1547750 edges, 35979 markings/sec, 10 secs
lola: 710667 markings, 2095122 edges, 28006 markings/sec, 15 secs
lola: 744134 markings, 3472254 edges, 6693 markings/sec, 20 secs
lola: 942704 markings, 3920169 edges, 39714 markings/sec, 25 secs
lola: 1111240 markings, 4340032 edges, 33707 markings/sec, 30 secs
lola: 1244566 markings, 4924391 edges, 26665 markings/sec, 35 secs
lola: 1285402 markings, 6228928 edges, 8167 markings/sec, 40 secs
lola: 1471033 markings, 6658900 edges, 37126 markings/sec, 45 secs
lola: 1619473 markings, 7116191 edges, 29688 markings/sec, 50 secs
lola: 1680482 markings, 8220098 edges, 12202 markings/sec, 55 secs
lola: 1790196 markings, 9090477 edges, 21943 markings/sec, 60 secs
lola: 1968263 markings, 9577296 edges, 35613 markings/sec, 65 secs
lola: 2158573 markings, 9988549 edges, 38062 markings/sec, 70 secs
lola: 2326121 markings, 10410411 edges, 33510 markings/sec, 75 secs
lola: 2453865 markings, 10897034 edges, 25549 markings/sec, 80 secs
lola: 2473182 markings, 12040565 edges, 3863 markings/sec, 85 secs
lola: 2624598 markings, 12622333 edges, 30283 markings/sec, 90 secs
lola: 2791876 markings, 13014029 edges, 33456 markings/sec, 95 secs
lola: 2932290 markings, 13418747 edges, 28083 markings/sec, 100 secs
lola: 3006344 markings, 14327034 edges, 14811 markings/sec, 105 secs
lola: 3092335 markings, 15238775 edges, 17198 markings/sec, 110 secs
lola: 3245699 markings, 15650975 edges, 30673 markings/sec, 115 secs
lola: 3336544 markings, 16479584 edges, 18169 markings/sec, 120 secs
lola: 3402076 markings, 17598180 edges, 13106 markings/sec, 125 secs
lola: 3580523 markings, 18172185 edges, 35689 markings/sec, 130 secs
lola: 3783607 markings, 18627185 edges, 40617 markings/sec, 135 secs
lola: 3955225 markings, 19058858 edges, 34324 markings/sec, 140 secs
lola: 4056337 markings, 19913622 edges, 20222 markings/sec, 145 secs
lola: 4147391 markings, 20974491 edges, 18211 markings/sec, 150 secs
lola: 4345881 markings, 21415830 edges, 39698 markings/sec, 155 secs
lola: 4512931 markings, 21856170 edges, 33410 markings/sec, 160 secs
lola: 4603688 markings, 22764314 edges, 18151 markings/sec, 165 secs
lola: 4698654 markings, 23767616 edges, 18993 markings/sec, 170 secs
lola: 4872188 markings, 24190692 edges, 34707 markings/sec, 175 secs
lola: 4989406 markings, 24899917 edges, 23444 markings/sec, 180 secs
lola: 5041669 markings, 26153342 edges, 10453 markings/sec, 185 secs
lola: 5210756 markings, 26676082 edges, 33817 markings/sec, 190 secs
lola: 5404883 markings, 27082537 edges, 38825 markings/sec, 195 secs
lola: 5567750 markings, 27503469 edges, 32573 markings/sec, 200 secs
lola: 5662289 markings, 28328717 edges, 18908 markings/sec, 205 secs
lola: 5741412 markings, 29403080 edges, 15825 markings/sec, 210 secs
lola: 5929271 markings, 29811551 edges, 37572 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(po1_5_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1940 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: 686902 markings, 744990 edges, 137380 markings/sec, 0 secs
lola: 1362821 markings, 1487820 edges, 135184 markings/sec, 5 secs
lola: 2027223 markings, 2222996 edges, 132880 markings/sec, 10 secs
lola: 2675856 markings, 2944632 edges, 129727 markings/sec, 15 secs
lola: 3323587 markings, 3663505 edges, 129546 markings/sec, 20 secs
lola: 3975697 markings, 4382986 edges, 130422 markings/sec, 25 secs
lola: 4594958 markings, 5058509 edges, 123852 markings/sec, 30 secs
lola: 5208709 markings, 5729164 edges, 122750 markings/sec, 35 secs
lola: 5811201 markings, 6395371 edges, 120498 markings/sec, 40 secs
lola: 6439011 markings, 7099121 edges, 125562 markings/sec, 45 secs
lola: 7085293 markings, 7805117 edges, 129256 markings/sec, 50 secs
lola: 7730637 markings, 8508577 edges, 129069 markings/sec, 55 secs
lola: 8345253 markings, 9179374 edges, 122923 markings/sec, 60 secs
lola: 8976572 markings, 9876820 edges, 126264 markings/sec, 65 secs
lola: 9641272 markings, 10601817 edges, 132940 markings/sec, 70 secs
lola: 10279308 markings, 11294544 edges, 127607 markings/sec, 75 secs
lola: 10922232 markings, 11965754 edges, 128585 markings/sec, 80 secs
lola: 11537520 markings, 12623655 edges, 123058 markings/sec, 85 secs
lola: 12152949 markings, 13282523 edges, 123086 markings/sec, 90 secs
lola: 12767332 markings, 13966060 edges, 122877 markings/sec, 95 secs
lola: 13380765 markings, 14626470 edges, 122687 markings/sec, 100 secs
lola: 14028555 markings, 15331607 edges, 129558 markings/sec, 105 secs
lola: 14606367 markings, 15974454 edges, 115562 markings/sec, 110 secs
lola: 15231741 markings, 16624822 edges, 125075 markings/sec, 115 secs
lola: 15844790 markings, 17273487 edges, 122610 markings/sec, 120 secs
lola: 16443332 markings, 17906145 edges, 119708 markings/sec, 125 secs
lola: 17039654 markings, 18541839 edges, 119264 markings/sec, 130 secs
lola: 17640566 markings, 19186423 edges, 120182 markings/sec, 135 secs
lola: 18263911 markings, 19865075 edges, 124669 markings/sec, 140 secs
lola: 18901772 markings, 20576651 edges, 127572 markings/sec, 145 secs
lola: 19522952 markings, 21262965 edges, 124236 markings/sec, 150 secs
lola: 20153835 markings, 21940458 edges, 126177 markings/sec, 155 secs
lola: 20800605 markings, 22613266 edges, 129354 markings/sec, 160 secs
lola: 21424799 markings, 23274907 edges, 124839 markings/sec, 165 secs
lola: 22045008 markings, 23931135 edges, 124042 markings/sec, 170 secs
lola: 22638754 markings, 24561166 edges, 118749 markings/sec, 175 secs
lola: 23245901 markings, 25212388 edges, 121429 markings/sec, 180 secs
lola: 23759841 markings, 25951517 edges, 102788 markings/sec, 185 secs
lola: 24299235 markings, 26825240 edges, 107879 markings/sec, 190 secs
lola: 24946911 markings, 27552471 edges, 129535 markings/sec, 195 secs
lola: 25583554 markings, 28242787 edges, 127329 markings/sec, 200 secs
lola: 26237927 markings, 28935886 edges, 130875 markings/sec, 205 secs
lola: 26880605 markings, 29608071 edges, 128536 markings/sec, 210 secs
lola: 27534748 markings, 30302511 edges, 130829 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pil3_3_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1940 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: 490547 markings, 598709 edges, 98109 markings/sec, 0 secs
lola: 961355 markings, 1346731 edges, 94162 markings/sec, 5 secs
lola: 1423938 markings, 2075600 edges, 92517 markings/sec, 10 secs
lola: 1891296 markings, 2748002 edges, 93472 markings/sec, 15 secs
lola: 2383704 markings, 3394303 edges, 98482 markings/sec, 20 secs
lola: 2835980 markings, 4098875 edges, 90455 markings/sec, 25 secs
lola: 3290393 markings, 4808530 edges, 90883 markings/sec, 30 secs
lola: 3749494 markings, 5518748 edges, 91820 markings/sec, 35 secs
lola: 4199050 markings, 6213378 edges, 89911 markings/sec, 40 secs
lola: 4642778 markings, 6892967 edges, 88746 markings/sec, 45 secs
lola: 5147137 markings, 7494118 edges, 100872 markings/sec, 50 secs
lola: 5650043 markings, 8093627 edges, 100581 markings/sec, 55 secs
lola: 6154283 markings, 8687696 edges, 100848 markings/sec, 60 secs
lola: 6634057 markings, 9250322 edges, 95955 markings/sec, 65 secs
lola: 7130552 markings, 9832441 edges, 99299 markings/sec, 70 secs
lola: 7636552 markings, 10417322 edges, 101200 markings/sec, 75 secs
lola: 8139234 markings, 11004166 edges, 100536 markings/sec, 80 secs
lola: 8638844 markings, 11590205 edges, 99922 markings/sec, 85 secs
lola: 9126611 markings, 12169126 edges, 97553 markings/sec, 90 secs
lola: 9617026 markings, 12754650 edges, 98083 markings/sec, 95 secs
lola: 10105109 markings, 13337929 edges, 97617 markings/sec, 100 secs
lola: 10587116 markings, 13919285 edges, 96401 markings/sec, 105 secs
lola: 11061150 markings, 14503757 edges, 94807 markings/sec, 110 secs
lola: 11528205 markings, 15103832 edges, 93411 markings/sec, 115 secs
lola: 11990772 markings, 15722875 edges, 92513 markings/sec, 120 secs
lola: 12426355 markings, 16328963 edges, 87117 markings/sec, 125 secs
lola: 12672577 markings, 17505943 edges, 49244 markings/sec, 130 secs
lola: 12909802 markings, 18667500 edges, 47445 markings/sec, 135 secs
lola: 13184425 markings, 19770554 edges, 54925 markings/sec, 140 secs
lola: 13563115 markings, 20668596 edges, 75738 markings/sec, 145 secs
lola: 14048242 markings, 21266618 edges, 97025 markings/sec, 150 secs
lola: 14502550 markings, 21966942 edges, 90862 markings/sec, 155 secs
lola: 14953396 markings, 22681989 edges, 90169 markings/sec, 160 secs
lola: 15407247 markings, 23388987 edges, 90770 markings/sec, 165 secs
lola: 15858362 markings, 24066818 edges, 90223 markings/sec, 170 secs
lola: 16345062 markings, 24678659 edges, 97340 markings/sec, 175 secs
lola: 16816417 markings, 25384517 edges, 94271 markings/sec, 180 secs
lola: 17277701 markings, 26090694 edges, 92257 markings/sec, 185 secs
lola: 17732549 markings, 26794162 edges, 90970 markings/sec, 190 secs
lola: 18211403 markings, 27362333 edges, 95771 markings/sec, 195 secs
lola: 18687593 markings, 27922794 edges, 95238 markings/sec, 200 secs
lola: 19164621 markings, 28483572 edges, 95406 markings/sec, 205 secs
lola: 19646193 markings, 29042463 edges, 96314 markings/sec, 210 secs
lola: 20123949 markings, 29600754 edges, 95551 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(pol2_1_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1940 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: 497193 markings, 921507 edges, 99439 markings/sec, 0 secs
lola: 964558 markings, 1832913 edges, 93473 markings/sec, 5 secs
lola: 1411309 markings, 2744494 edges, 89350 markings/sec, 10 secs
lola: 1874142 markings, 3536913 edges, 92567 markings/sec, 15 secs
lola: 2256983 markings, 4719390 edges, 76568 markings/sec, 20 secs
lola: 2705194 markings, 5562520 edges, 89642 markings/sec, 25 secs
lola: 3087142 markings, 6665912 edges, 76390 markings/sec, 30 secs
lola: 3532055 markings, 7570903 edges, 88983 markings/sec, 35 secs
lola: 4001765 markings, 8358946 edges, 93942 markings/sec, 40 secs
lola: 4343558 markings, 9464832 edges, 68359 markings/sec, 45 secs
lola: 4794040 markings, 10346701 edges, 90096 markings/sec, 50 secs
lola: 5186354 markings, 11438165 edges, 78463 markings/sec, 55 secs
lola: 5605096 markings, 12238983 edges, 83748 markings/sec, 60 secs
lola: 6009221 markings, 13050900 edges, 80825 markings/sec, 65 secs
lola: 6439944 markings, 13839754 edges, 86145 markings/sec, 70 secs
lola: 6787454 markings, 14915638 edges, 69502 markings/sec, 75 secs
lola: 7199620 markings, 15748886 edges, 82433 markings/sec, 80 secs
lola: 7614013 markings, 16434382 edges, 82879 markings/sec, 85 secs
lola: 7918405 markings, 17465264 edges, 60878 markings/sec, 90 secs
lola: 8329867 markings, 18289320 edges, 82292 markings/sec, 95 secs
lola: 8694657 markings, 19275449 edges, 72958 markings/sec, 100 secs
lola: 9104028 markings, 20128837 edges, 81874 markings/sec, 105 secs
lola: 9529781 markings, 20937006 edges, 85151 markings/sec, 110 secs
lola: 9884087 markings, 22001755 edges, 70861 markings/sec, 115 secs
lola: 10289389 markings, 22793900 edges, 81060 markings/sec, 120 secs
lola: 10714538 markings, 23564812 edges, 85030 markings/sec, 125 secs
lola: 11049360 markings, 24610721 edges, 66964 markings/sec, 130 secs
lola: 11461269 markings, 25423673 edges, 82382 markings/sec, 135 secs
lola: 11823556 markings, 26455004 edges, 72457 markings/sec, 140 secs
lola: 12267633 markings, 27302926 edges, 88815 markings/sec, 145 secs
lola: 12650939 markings, 28075827 edges, 76661 markings/sec, 150 secs
lola: 13089322 markings, 28947674 edges, 87677 markings/sec, 155 secs
lola: 13540912 markings, 29769371 edges, 90318 markings/sec, 160 secs
lola: 13893808 markings, 30776800 edges, 70579 markings/sec, 165 secs
lola: 14222663 markings, 31779275 edges, 65771 markings/sec, 170 secs
lola: 14632971 markings, 32613592 edges, 82062 markings/sec, 175 secs
lola: 15045281 markings, 33424862 edges, 82462 markings/sec, 180 secs
lola: 15441047 markings, 34183902 edges, 79153 markings/sec, 185 secs
lola: 15789686 markings, 35189510 edges, 69728 markings/sec, 190 secs
lola: 16236119 markings, 36112471 edges, 89287 markings/sec, 195 secs
lola: 16697555 markings, 36903038 edges, 92287 markings/sec, 200 secs
lola: 17044041 markings, 37903115 edges, 69297 markings/sec, 205 secs
lola: 17365802 markings, 38949241 edges, 64352 markings/sec, 210 secs
lola: 17755041 markings, 39666778 edges, 77848 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pbl_4_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1940 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: 284888 markings, 468291 edges, 56978 markings/sec, 0 secs
lola: 566038 markings, 971998 edges, 56230 markings/sec, 5 secs
lola: 796476 markings, 1431827 edges, 46088 markings/sec, 10 secs
lola: 1080327 markings, 1952398 edges, 56770 markings/sec, 15 secs
lola: 1369501 markings, 2467564 edges, 57835 markings/sec, 20 secs
lola: 1615862 markings, 2982357 edges, 49272 markings/sec, 25 secs
lola: 1881449 markings, 3540876 edges, 53117 markings/sec, 30 secs
lola: 2160860 markings, 4040101 edges, 55882 markings/sec, 35 secs
lola: 2433978 markings, 4570111 edges, 54624 markings/sec, 40 secs
lola: 2679869 markings, 5086608 edges, 49178 markings/sec, 45 secs
lola: 2933547 markings, 5635424 edges, 50736 markings/sec, 50 secs
lola: 3177891 markings, 6313029 edges, 48869 markings/sec, 55 secs
lola: 3421769 markings, 6941599 edges, 48776 markings/sec, 60 secs
lola: 3685844 markings, 7519082 edges, 52815 markings/sec, 65 secs
lola: 3967758 markings, 8028031 edges, 56383 markings/sec, 70 secs
lola: 4228182 markings, 8586864 edges, 52085 markings/sec, 75 secs
lola: 4478666 markings, 9231889 edges, 50097 markings/sec, 80 secs
lola: 4751552 markings, 9756396 edges, 54577 markings/sec, 85 secs
lola: 5019546 markings, 10330855 edges, 53599 markings/sec, 90 secs
lola: 5294854 markings, 10898996 edges, 55062 markings/sec, 95 secs
lola: 5573990 markings, 11423483 edges, 55827 markings/sec, 100 secs
lola: 5858094 markings, 11875891 edges, 56821 markings/sec, 105 secs
lola: 6128034 markings, 12389225 edges, 53988 markings/sec, 110 secs
lola: 6412906 markings, 12840735 edges, 56974 markings/sec, 115 secs
lola: 6685310 markings, 13313090 edges, 54481 markings/sec, 120 secs
lola: 6952700 markings, 13754532 edges, 53478 markings/sec, 125 secs
lola: 7235970 markings, 14220244 edges, 56654 markings/sec, 130 secs
lola: 7522551 markings, 14680392 edges, 57316 markings/sec, 135 secs
lola: 7789197 markings, 15230123 edges, 53329 markings/sec, 140 secs
lola: 8032474 markings, 15805567 edges, 48655 markings/sec, 145 secs
lola: 8282137 markings, 16401471 edges, 49933 markings/sec, 150 secs
lola: 8530520 markings, 16992221 edges, 49677 markings/sec, 155 secs
lola: 8766401 markings, 17636634 edges, 47176 markings/sec, 160 secs
lola: 8998222 markings, 18253456 edges, 46364 markings/sec, 165 secs
lola: 9231265 markings, 18823871 edges, 46609 markings/sec, 170 secs
lola: 9497322 markings, 19392353 edges, 53211 markings/sec, 175 secs
lola: 9754089 markings, 19908464 edges, 51353 markings/sec, 180 secs
lola: 9995936 markings, 20515440 edges, 48369 markings/sec, 185 secs
lola: 10267302 markings, 21054485 edges, 54273 markings/sec, 190 secs
lola: 10526306 markings, 21639398 edges, 51801 markings/sec, 195 secs
lola: 10787681 markings, 22231259 edges, 52275 markings/sec, 200 secs
lola: 11054150 markings, 22708924 edges, 53294 markings/sec, 205 secs
lola: 11321267 markings, 23198611 edges, 53423 markings/sec, 210 secs
lola: 11558346 markings, 23745586 edges, 47416 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 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pol1_2_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1940 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: 587588 markings, 650022 edges, 117518 markings/sec, 0 secs
lola: 1151779 markings, 1303136 edges, 112838 markings/sec, 5 secs
lola: 1721205 markings, 1960697 edges, 113885 markings/sec, 10 secs
lola: 2306019 markings, 2639255 edges, 116963 markings/sec, 15 secs
lola: 2886551 markings, 3312479 edges, 116106 markings/sec, 20 secs
lola: 3475796 markings, 3994163 edges, 117849 markings/sec, 25 secs
lola: 4065881 markings, 4650534 edges, 118017 markings/sec, 30 secs
lola: 4641315 markings, 5350991 edges, 115087 markings/sec, 35 secs
lola: 5199376 markings, 6000099 edges, 111612 markings/sec, 40 secs
lola: 5654756 markings, 6537383 edges, 91076 markings/sec, 45 secs
lola: 6229266 markings, 7204431 edges, 114902 markings/sec, 50 secs
lola: 6802268 markings, 7893053 edges, 114600 markings/sec, 55 secs
lola: 7388925 markings, 8553393 edges, 117331 markings/sec, 60 secs
lola: 7866837 markings, 9091219 edges, 95582 markings/sec, 65 secs
lola: 8450341 markings, 9741733 edges, 116701 markings/sec, 70 secs
lola: 9036216 markings, 10393001 edges, 117175 markings/sec, 75 secs
lola: 9565052 markings, 11197552 edges, 105767 markings/sec, 80 secs
lola: 10117842 markings, 12010608 edges, 110558 markings/sec, 85 secs
lola: 10709115 markings, 12696030 edges, 118255 markings/sec, 90 secs
lola: 11277078 markings, 13385577 edges, 113593 markings/sec, 95 secs
lola: 11862337 markings, 14069334 edges, 117052 markings/sec, 100 secs
lola: 12438440 markings, 14744806 edges, 115221 markings/sec, 105 secs
lola: 13015147 markings, 15416432 edges, 115341 markings/sec, 110 secs
lola: 13590172 markings, 16095869 edges, 115005 markings/sec, 115 secs
lola: 14163356 markings, 16746224 edges, 114637 markings/sec, 120 secs
lola: 14741553 markings, 17395274 edges, 115639 markings/sec, 125 secs
lola: 15328636 markings, 18049138 edges, 117417 markings/sec, 130 secs
lola: 15914113 markings, 18699362 edges, 117095 markings/sec, 135 secs
lola: 16433862 markings, 19534098 edges, 103950 markings/sec, 140 secs
lola: 16978126 markings, 20307760 edges, 108853 markings/sec, 145 secs
lola: 17555334 markings, 20976768 edges, 115442 markings/sec, 150 secs
lola: 18128068 markings, 21642561 edges, 114547 markings/sec, 155 secs
lola: 18690978 markings, 22295245 edges, 112582 markings/sec, 160 secs
lola: 19248111 markings, 22942431 edges, 111427 markings/sec, 165 secs
lola: 19816713 markings, 23607131 edges, 113720 markings/sec, 170 secs
lola: 20378806 markings, 24259338 edges, 112419 markings/sec, 175 secs
lola: 20924921 markings, 24898551 edges, 109223 markings/sec, 180 secs
lola: 21484142 markings, 25545719 edges, 111844 markings/sec, 185 secs
lola: 22041403 markings, 26221803 edges, 111452 markings/sec, 190 secs
lola: 22613541 markings, 26866691 edges, 114428 markings/sec, 195 secs
lola: 23181322 markings, 27501660 edges, 113556 markings/sec, 200 secs
lola: 23742799 markings, 28128442 edges, 112295 markings/sec, 205 secs
lola: 24311881 markings, 28760766 edges, 113816 markings/sec, 210 secs
lola: 24752630 markings, 29665848 edges, 88150 markings/sec, 215 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
FORMULA HexagonalGrid-PT-410-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HexagonalGrid-PT-410-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HexagonalGrid-PT-410-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HexagonalGrid-PT-410-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HexagonalGrid-PT-410-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HexagonalGrid-PT-410-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HexagonalGrid-PT-410-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HexagonalGrid-PT-410-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HexagonalGrid-PT-410-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HexagonalGrid-PT-410-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HexagonalGrid-PT-410-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HexagonalGrid-PT-410-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HexagonalGrid-PT-410-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HexagonalGrid-PT-410-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HexagonalGrid-PT-410-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HexagonalGrid-PT-410-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496506940108

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