Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Waiting for the VM to be ready (probing ssh)
.................
=====================================================================
Generated by BenchKit 2-3253
Executing tool lola
Input is S_SquareGrid-PT-100510, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r158-ebro-149443464000146
=====================================================================

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of positive values
NUM_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME SquareGrid-PT-100510-UpperBounds-0
FORMULA_NAME SquareGrid-PT-100510-UpperBounds-1
FORMULA_NAME SquareGrid-PT-100510-UpperBounds-10
FORMULA_NAME SquareGrid-PT-100510-UpperBounds-11
FORMULA_NAME SquareGrid-PT-100510-UpperBounds-12
FORMULA_NAME SquareGrid-PT-100510-UpperBounds-13
FORMULA_NAME SquareGrid-PT-100510-UpperBounds-14
FORMULA_NAME SquareGrid-PT-100510-UpperBounds-15
FORMULA_NAME SquareGrid-PT-100510-UpperBounds-2
FORMULA_NAME SquareGrid-PT-100510-UpperBounds-3
FORMULA_NAME SquareGrid-PT-100510-UpperBounds-4
FORMULA_NAME SquareGrid-PT-100510-UpperBounds-5
FORMULA_NAME SquareGrid-PT-100510-UpperBounds-6
FORMULA_NAME SquareGrid-PT-100510-UpperBounds-7
FORMULA_NAME SquareGrid-PT-100510-UpperBounds-8
FORMULA_NAME SquareGrid-PT-100510-UpperBounds-9

=== Now, execution of the tool begins

BK_START 1496562927844


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


checking for too many tokens
===========================================================================================
S_SquareGrid-PT-100510: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_SquareGrid-PT-100510 @ 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: 3020/65536 symbol table entries, 416 collisions
lola: preprocessing...
lola: finding significant places
lola: 1380 places, 1640 transitions, 839 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2180 transition conflict sets
lola: TASK
lola: reading formula from SquareGrid-PT-100510-UpperBounds.task
lola: MAX(p1il_11_5) : MAX(p4o_2_4) : MAX(p4il_4_5) : MAX(p1o_3_9) : MAX(p1ol_9_2) : MAX(p4i_4_3) : MAX(p4il_10_3) : MAX(p4o_4_7) : MAX(pb4_4_7) : MAX(p4i_9_7) : MAX(pb4_9_8) : MAX(pb2_2_7) : MAX(pb4_5_5) : MAX(p4i_9_4) : MAX(p4i_6_4) : MAX(p4il_7_9)
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(p1il_11_5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3356 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: 240835 markings, 253083 edges, 48167 markings/sec, 0 secs
lola: 471888 markings, 494513 edges, 46211 markings/sec, 5 secs
lola: 715104 markings, 740089 edges, 48643 markings/sec, 10 secs
lola: 962497 markings, 991417 edges, 49479 markings/sec, 15 secs
lola: 1208627 markings, 1242468 edges, 49226 markings/sec, 20 secs
lola: 1450220 markings, 1488712 edges, 48319 markings/sec, 25 secs
lola: 1689061 markings, 1732150 edges, 47768 markings/sec, 30 secs
lola: 1929177 markings, 1975096 edges, 48023 markings/sec, 35 secs
lola: 2163222 markings, 2211263 edges, 46809 markings/sec, 40 secs
lola: 2398730 markings, 2449056 edges, 47102 markings/sec, 45 secs
lola: 2635181 markings, 2687973 edges, 47290 markings/sec, 50 secs
lola: 2871075 markings, 2926254 edges, 47179 markings/sec, 55 secs
lola: 3109730 markings, 3167304 edges, 47731 markings/sec, 60 secs
lola: 3331634 markings, 3391158 edges, 44381 markings/sec, 65 secs
lola: 3552542 markings, 3614095 edges, 44182 markings/sec, 70 secs
lola: 3793790 markings, 3856075 edges, 48250 markings/sec, 75 secs
lola: 4033823 markings, 4096731 edges, 48007 markings/sec, 80 secs
lola: 4270770 markings, 4334207 edges, 47389 markings/sec, 85 secs
lola: 4510227 markings, 4574181 edges, 47891 markings/sec, 90 secs
lola: 4747452 markings, 4811914 edges, 47445 markings/sec, 95 secs
lola: 4984497 markings, 5049475 edges, 47409 markings/sec, 100 secs
lola: 5221649 markings, 5287129 edges, 47430 markings/sec, 105 secs
lola: 5461872 markings, 5527877 edges, 48045 markings/sec, 110 secs
lola: 5700351 markings, 5766856 edges, 47696 markings/sec, 115 secs
lola: 5938609 markings, 6005543 edges, 47652 markings/sec, 120 secs
lola: 6184579 markings, 6251523 edges, 49194 markings/sec, 125 secs
lola: 6426773 markings, 6493729 edges, 48439 markings/sec, 130 secs
lola: 6668373 markings, 6735341 edges, 48320 markings/sec, 135 secs
lola: 6909670 markings, 6976648 edges, 48259 markings/sec, 140 secs
lola: 7152791 markings, 7219780 edges, 48624 markings/sec, 145 secs
lola: 7395107 markings, 7462109 edges, 48463 markings/sec, 150 secs
lola: 7635032 markings, 7702047 edges, 47985 markings/sec, 155 secs
lola: 7874421 markings, 7941454 edges, 47878 markings/sec, 160 secs
lola: 8110935 markings, 8177981 edges, 47303 markings/sec, 165 secs
lola: 8349363 markings, 8416425 edges, 47686 markings/sec, 170 secs
lola: 8587607 markings, 8654683 edges, 47649 markings/sec, 175 secs
lola: 8822552 markings, 8889651 edges, 46989 markings/sec, 180 secs
lola: 9057371 markings, 9124494 edges, 46964 markings/sec, 185 secs
lola: 9289167 markings, 9356313 edges, 46359 markings/sec, 190 secs
lola: 9523215 markings, 9590383 edges, 46810 markings/sec, 195 secs
lola: 9754882 markings, 9822073 edges, 46333 markings/sec, 200 secs
lola: 9988453 markings, 10055666 edges, 46714 markings/sec, 205 secs
lola: 10223985 markings, 10291221 edges, 47106 markings/sec, 210 secs
lola: 10459239 markings, 10526496 edges, 47051 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(p4o_2_4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3356 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: 322499 markings, 349862 edges, 64500 markings/sec, 0 secs
lola: 627962 markings, 683073 edges, 61093 markings/sec, 5 secs
lola: 906089 markings, 972038 edges, 55625 markings/sec, 10 secs
lola: 1173551 markings, 1269928 edges, 53492 markings/sec, 15 secs
lola: 1405210 markings, 1613178 edges, 46332 markings/sec, 20 secs
lola: 1634742 markings, 1945713 edges, 45906 markings/sec, 25 secs
lola: 1863073 markings, 2307506 edges, 45666 markings/sec, 30 secs
lola: 2088673 markings, 2686961 edges, 45120 markings/sec, 35 secs
lola: 2324282 markings, 3025477 edges, 47122 markings/sec, 40 secs
lola: 2552330 markings, 3376429 edges, 45610 markings/sec, 45 secs
lola: 2786884 markings, 3698536 edges, 46911 markings/sec, 50 secs
lola: 3023050 markings, 4011824 edges, 47233 markings/sec, 55 secs
lola: 3264492 markings, 4302784 edges, 48288 markings/sec, 60 secs
lola: 3499696 markings, 4596800 edges, 47041 markings/sec, 65 secs
lola: 3729510 markings, 4896149 edges, 45963 markings/sec, 70 secs
lola: 3954149 markings, 5205258 edges, 44928 markings/sec, 75 secs
lola: 4174557 markings, 5523882 edges, 44082 markings/sec, 80 secs
lola: 4231517 markings, 6130112 edges, 11392 markings/sec, 85 secs
lola: 4469271 markings, 6452927 edges, 47551 markings/sec, 90 secs
lola: 4694953 markings, 6803538 edges, 45136 markings/sec, 95 secs
lola: 4934611 markings, 7123991 edges, 47932 markings/sec, 100 secs
lola: 5181551 markings, 7416678 edges, 49388 markings/sec, 105 secs
lola: 5420669 markings, 7713060 edges, 47824 markings/sec, 110 secs
lola: 5656509 markings, 8015156 edges, 47168 markings/sec, 115 secs
lola: 5886189 markings, 8328924 edges, 45936 markings/sec, 120 secs
lola: 6110483 markings, 8652377 edges, 44859 markings/sec, 125 secs
lola: 6195590 markings, 9218460 edges, 17021 markings/sec, 130 secs
lola: 6399441 markings, 9583004 edges, 40770 markings/sec, 135 secs
lola: 6628027 markings, 9920840 edges, 45717 markings/sec, 140 secs
lola: 6838114 markings, 10277364 edges, 42017 markings/sec, 145 secs
lola: 7079161 markings, 10565606 edges, 48209 markings/sec, 150 secs
lola: 7312547 markings, 10857146 edges, 46677 markings/sec, 155 secs
lola: 7539323 markings, 11151929 edges, 45355 markings/sec, 160 secs
lola: 7759555 markings, 11457169 edges, 44046 markings/sec, 165 secs
lola: 7974067 markings, 11770608 edges, 42902 markings/sec, 170 secs
lola: 8175359 markings, 12110302 edges, 40258 markings/sec, 175 secs
lola: 8212365 markings, 12716872 edges, 7401 markings/sec, 180 secs
lola: 8429562 markings, 13025796 edges, 43439 markings/sec, 185 secs
lola: 8646060 markings, 13350185 edges, 43300 markings/sec, 190 secs
lola: 8869482 markings, 13669638 edges, 44684 markings/sec, 195 secs
lola: 9097299 markings, 14019926 edges, 45563 markings/sec, 200 secs
lola: 9301655 markings, 14387472 edges, 40871 markings/sec, 205 secs
lola: 9519412 markings, 14686652 edges, 43551 markings/sec, 210 secs
lola: 9738273 markings, 14994183 edges, 43772 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(p4il_4_5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3356 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: 363875 markings, 366101 edges, 72775 markings/sec, 0 secs
lola: 710532 markings, 716407 edges, 69331 markings/sec, 5 secs
lola: 1054091 markings, 1063454 edges, 68712 markings/sec, 10 secs
lola: 1396955 markings, 1409639 edges, 68573 markings/sec, 15 secs
lola: 1748453 markings, 1765218 edges, 70300 markings/sec, 20 secs
lola: 2098422 markings, 2115920 edges, 69994 markings/sec, 25 secs
lola: 2458313 markings, 2476473 edges, 71978 markings/sec, 30 secs
lola: 2830570 markings, 2849555 edges, 74451 markings/sec, 35 secs
lola: 3207105 markings, 3226736 edges, 75307 markings/sec, 40 secs
lola: 3570544 markings, 3590522 edges, 72688 markings/sec, 45 secs
lola: 3936937 markings, 3956949 edges, 73279 markings/sec, 50 secs
lola: 4285369 markings, 4305545 edges, 69686 markings/sec, 55 secs
lola: 4638512 markings, 4658836 edges, 70629 markings/sec, 60 secs
lola: 4999603 markings, 5020052 edges, 72218 markings/sec, 65 secs
lola: 5352801 markings, 5373391 edges, 70640 markings/sec, 70 secs
lola: 5695175 markings, 5715904 edges, 68475 markings/sec, 75 secs
lola: 6023314 markings, 6044174 edges, 65628 markings/sec, 80 secs
lola: 6356084 markings, 6377092 edges, 66554 markings/sec, 85 secs
lola: 6703018 markings, 6724072 edges, 69387 markings/sec, 90 secs
lola: 7056103 markings, 7077312 edges, 70617 markings/sec, 95 secs
lola: 7394042 markings, 7415375 edges, 67588 markings/sec, 100 secs
lola: 7755059 markings, 7776432 edges, 72203 markings/sec, 105 secs
lola: 8110174 markings, 8131566 edges, 71023 markings/sec, 110 secs
lola: 8466571 markings, 8488040 edges, 71279 markings/sec, 115 secs
lola: 8827628 markings, 8849180 edges, 72211 markings/sec, 120 secs
lola: 9183571 markings, 9205196 edges, 71189 markings/sec, 125 secs
lola: 9537396 markings, 9559096 edges, 70765 markings/sec, 130 secs
lola: 9890388 markings, 9912169 edges, 70598 markings/sec, 135 secs
lola: 10235839 markings, 10257693 edges, 69090 markings/sec, 140 secs
lola: 10581186 markings, 10603114 edges, 69069 markings/sec, 145 secs
lola: 10930506 markings, 10952514 edges, 69864 markings/sec, 150 secs
lola: 11276745 markings, 11298826 edges, 69248 markings/sec, 155 secs
lola: 11624317 markings, 11646472 edges, 69514 markings/sec, 160 secs
lola: 11972285 markings, 11994521 edges, 69594 markings/sec, 165 secs
lola: 12316854 markings, 12339162 edges, 68914 markings/sec, 170 secs
lola: 12664142 markings, 12686525 edges, 69458 markings/sec, 175 secs
lola: 13011402 markings, 13033866 edges, 69452 markings/sec, 180 secs
lola: 13355618 markings, 13378154 edges, 68843 markings/sec, 185 secs
lola: 13701232 markings, 13723841 edges, 69123 markings/sec, 190 secs
lola: 14044469 markings, 14067159 edges, 68647 markings/sec, 195 secs
lola: 14384103 markings, 14406865 edges, 67927 markings/sec, 200 secs
lola: 14723311 markings, 14746141 edges, 67842 markings/sec, 205 secs
lola: 15062501 markings, 15085413 edges, 67838 markings/sec, 210 secs
lola: 15401039 markings, 15424025 edges, 67708 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(p1o_3_9)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3356 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: 392042 markings, 393402 edges, 78408 markings/sec, 0 secs
lola: 770365 markings, 772181 edges, 75665 markings/sec, 5 secs
lola: 1150312 markings, 1152591 edges, 75989 markings/sec, 10 secs
lola: 1534910 markings, 1537581 edges, 76920 markings/sec, 15 secs
lola: 1916847 markings, 1919961 edges, 76387 markings/sec, 20 secs
lola: 2300031 markings, 2303537 edges, 76637 markings/sec, 25 secs
lola: 2684246 markings, 2688200 edges, 76843 markings/sec, 30 secs
lola: 3066592 markings, 3070940 edges, 76469 markings/sec, 35 secs
lola: 3453498 markings, 3458349 edges, 77381 markings/sec, 40 secs
lola: 3832606 markings, 3838075 edges, 75822 markings/sec, 45 secs
lola: 4206094 markings, 4212389 edges, 74698 markings/sec, 50 secs
lola: 4571817 markings, 4578932 edges, 73145 markings/sec, 55 secs
lola: 4935326 markings, 4943303 edges, 72702 markings/sec, 60 secs
lola: 5298922 markings, 5307724 edges, 72719 markings/sec, 65 secs
lola: 5660243 markings, 5669886 edges, 72264 markings/sec, 70 secs
lola: 6022056 markings, 6032522 edges, 72363 markings/sec, 75 secs
lola: 6382984 markings, 6394299 edges, 72186 markings/sec, 80 secs
lola: 6743801 markings, 6755940 edges, 72163 markings/sec, 85 secs
lola: 7104071 markings, 7117068 edges, 72054 markings/sec, 90 secs
lola: 7464915 markings, 7478753 edges, 72169 markings/sec, 95 secs
lola: 7831712 markings, 7845863 edges, 73359 markings/sec, 100 secs
lola: 8213009 markings, 8227160 edges, 76259 markings/sec, 105 secs
lola: 8589269 markings, 8604064 edges, 75252 markings/sec, 110 secs
lola: 8956761 markings, 8972044 edges, 73498 markings/sec, 115 secs
lola: 9345061 markings, 9360347 edges, 77660 markings/sec, 120 secs
lola: 9727998 markings, 9743283 edges, 76587 markings/sec, 125 secs
lola: 10110126 markings, 10125411 edges, 76426 markings/sec, 130 secs
lola: 10490729 markings, 10506053 edges, 76121 markings/sec, 135 secs
lola: 10863575 markings, 10878938 edges, 74569 markings/sec, 140 secs
lola: 11251144 markings, 11266521 edges, 77514 markings/sec, 145 secs
lola: 11636670 markings, 11652068 edges, 77105 markings/sec, 150 secs
lola: 12027332 markings, 12042756 edges, 78132 markings/sec, 155 secs
lola: 12401909 markings, 12417350 edges, 74915 markings/sec, 160 secs
lola: 12796902 markings, 12812366 edges, 78999 markings/sec, 165 secs
lola: 13185271 markings, 13200757 edges, 77674 markings/sec, 170 secs
lola: 13577783 markings, 13593292 edges, 78502 markings/sec, 175 secs
lola: 13971359 markings, 13986894 edges, 78715 markings/sec, 180 secs
lola: 14347329 markings, 14362881 edges, 75194 markings/sec, 185 secs
lola: 14755411 markings, 14770986 edges, 81616 markings/sec, 190 secs
lola: 15167708 markings, 15183307 edges, 82459 markings/sec, 195 secs
lola: 15586249 markings, 15601872 edges, 83708 markings/sec, 200 secs
lola: 16004573 markings, 16020219 edges, 83665 markings/sec, 205 secs
lola: 16420179 markings, 16435853 edges, 83121 markings/sec, 210 secs
lola: 16817790 markings, 16833495 edges, 79522 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(p1ol_9_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3356 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: 263597 markings, 272811 edges, 52719 markings/sec, 0 secs
lola: 513828 markings, 532658 edges, 50046 markings/sec, 5 secs
lola: 750069 markings, 775907 edges, 47248 markings/sec, 10 secs
lola: 980527 markings, 1009780 edges, 46092 markings/sec, 15 secs
lola: 1209888 markings, 1242607 edges, 45872 markings/sec, 20 secs
lola: 1442473 markings, 1478570 edges, 46517 markings/sec, 25 secs
lola: 1674331 markings, 1713590 edges, 46372 markings/sec, 30 secs
lola: 1907228 markings, 1949643 edges, 46579 markings/sec, 35 secs
lola: 2137976 markings, 2183582 edges, 46150 markings/sec, 40 secs
lola: 2369639 markings, 2418494 edges, 46333 markings/sec, 45 secs
lola: 2601059 markings, 2654867 edges, 46284 markings/sec, 50 secs
lola: 2830018 markings, 2889011 edges, 45792 markings/sec, 55 secs
lola: 3058880 markings, 3122943 edges, 45772 markings/sec, 60 secs
lola: 3287871 markings, 3357093 edges, 45798 markings/sec, 65 secs
lola: 3518438 markings, 3592787 edges, 46113 markings/sec, 70 secs
lola: 3748828 markings, 3828367 edges, 46078 markings/sec, 75 secs
lola: 3976218 markings, 4060821 edges, 45478 markings/sec, 80 secs
lola: 4204331 markings, 4294064 edges, 45623 markings/sec, 85 secs
lola: 4430399 markings, 4525364 edges, 45214 markings/sec, 90 secs
lola: 4655158 markings, 4755568 edges, 44952 markings/sec, 95 secs
lola: 4875735 markings, 4981708 edges, 44115 markings/sec, 100 secs
lola: 5095363 markings, 5206748 edges, 43926 markings/sec, 105 secs
lola: 5319871 markings, 5436113 edges, 44902 markings/sec, 110 secs
lola: 5546592 markings, 5668302 edges, 45344 markings/sec, 115 secs
lola: 5770115 markings, 5897388 edges, 44705 markings/sec, 120 secs
lola: 5993713 markings, 6126462 edges, 44720 markings/sec, 125 secs
lola: 6217886 markings, 6355975 edges, 44835 markings/sec, 130 secs
lola: 6438919 markings, 6582168 edges, 44207 markings/sec, 135 secs
lola: 6657711 markings, 6806082 edges, 43758 markings/sec, 140 secs
lola: 6878707 markings, 7032444 edges, 44199 markings/sec, 145 secs
lola: 7097591 markings, 7256790 edges, 43777 markings/sec, 150 secs
lola: 7317227 markings, 7481757 edges, 43927 markings/sec, 155 secs
lola: 7535856 markings, 7705580 edges, 43726 markings/sec, 160 secs
lola: 7762356 markings, 7937301 edges, 45300 markings/sec, 165 secs
lola: 7987187 markings, 8167494 edges, 44966 markings/sec, 170 secs
lola: 8212746 markings, 8398551 edges, 45112 markings/sec, 175 secs
lola: 8438225 markings, 8629627 edges, 45096 markings/sec, 180 secs
lola: 8662711 markings, 8859559 edges, 44897 markings/sec, 185 secs
lola: 8888906 markings, 9091181 edges, 45239 markings/sec, 190 secs
lola: 9111116 markings, 9318506 edges, 44442 markings/sec, 195 secs
lola: 9331203 markings, 9543793 edges, 44017 markings/sec, 200 secs
lola: 9552468 markings, 9770449 edges, 44253 markings/sec, 205 secs
lola: 9772141 markings, 9995609 edges, 43935 markings/sec, 210 secs
lola: 9993621 markings, 10222434 edges, 44296 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 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p4i_4_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3356 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: 332691 markings, 340564 edges, 66538 markings/sec, 0 secs
lola: 666480 markings, 683766 edges, 66758 markings/sec, 5 secs
lola: 999760 markings, 1026451 edges, 66656 markings/sec, 10 secs
lola: 1329529 markings, 1362788 edges, 65954 markings/sec, 15 secs
lola: 1632637 markings, 1669756 edges, 60622 markings/sec, 20 secs
lola: 1936703 markings, 1977697 edges, 60813 markings/sec, 25 secs
lola: 2232842 markings, 2277058 edges, 59228 markings/sec, 30 secs
lola: 2513905 markings, 2560926 edges, 56213 markings/sec, 35 secs
lola: 2782676 markings, 2830910 edges, 53754 markings/sec, 40 secs
lola: 3064181 markings, 3113752 edges, 56301 markings/sec, 45 secs
lola: 3349225 markings, 3400155 edges, 57009 markings/sec, 50 secs
lola: 3635008 markings, 3686965 edges, 57157 markings/sec, 55 secs
lola: 3918707 markings, 3972128 edges, 56740 markings/sec, 60 secs
lola: 4200475 markings, 4255394 edges, 56354 markings/sec, 65 secs
lola: 4473692 markings, 4530601 edges, 54643 markings/sec, 70 secs
lola: 4727970 markings, 4789577 edges, 50856 markings/sec, 75 secs
lola: 4974815 markings, 5040808 edges, 49369 markings/sec, 80 secs
lola: 5221325 markings, 5291194 edges, 49302 markings/sec, 85 secs
lola: 5459718 markings, 5533031 edges, 47679 markings/sec, 90 secs
lola: 5692485 markings, 5768761 edges, 46553 markings/sec, 95 secs
lola: 5912136 markings, 5991341 edges, 43930 markings/sec, 100 secs
lola: 6153572 markings, 6236813 edges, 48287 markings/sec, 105 secs
lola: 6373575 markings, 6460332 edges, 44001 markings/sec, 110 secs
lola: 6595334 markings, 6686700 edges, 44352 markings/sec, 115 secs
lola: 6771626 markings, 6943964 edges, 35258 markings/sec, 120 secs
lola: 6988906 markings, 7163673 edges, 43456 markings/sec, 125 secs
lola: 7200381 markings, 7378764 edges, 42295 markings/sec, 130 secs
lola: 7414249 markings, 7595842 edges, 42774 markings/sec, 135 secs
lola: 7629873 markings, 7814865 edges, 43125 markings/sec, 140 secs
lola: 7845292 markings, 8033784 edges, 43084 markings/sec, 145 secs
lola: 8060400 markings, 8251743 edges, 43022 markings/sec, 150 secs
lola: 8269013 markings, 8462823 edges, 41723 markings/sec, 155 secs
lola: 8480947 markings, 8678211 edges, 42387 markings/sec, 160 secs
lola: 8701487 markings, 8902219 edges, 44108 markings/sec, 165 secs
lola: 8909333 markings, 9113373 edges, 41569 markings/sec, 170 secs
lola: 9121719 markings, 9331159 edges, 42477 markings/sec, 175 secs
lola: 9303206 markings, 9592741 edges, 36297 markings/sec, 180 secs
lola: 9564394 markings, 9858692 edges, 52238 markings/sec, 185 secs
lola: 9810246 markings, 10107991 edges, 49170 markings/sec, 190 secs
lola: 10061806 markings, 10363475 edges, 50312 markings/sec, 195 secs
lola: 10305077 markings, 10610596 edges, 48654 markings/sec, 200 secs
lola: 10543386 markings, 10851886 edges, 47662 markings/sec, 205 secs
lola: 10782715 markings, 11094624 edges, 47866 markings/sec, 210 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p4il_10_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3356 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: 285605 markings, 288448 edges, 57121 markings/sec, 0 secs
lola: 546353 markings, 549276 edges, 52150 markings/sec, 5 secs
lola: 800078 markings, 803002 edges, 50745 markings/sec, 10 secs
lola: 1050039 markings, 1052962 edges, 49992 markings/sec, 15 secs
lola: 1301348 markings, 1304272 edges, 50262 markings/sec, 20 secs
lola: 1548879 markings, 1551802 edges, 49506 markings/sec, 25 secs
lola: 1794615 markings, 1797538 edges, 49147 markings/sec, 30 secs
lola: 2042351 markings, 2045274 edges, 49547 markings/sec, 35 secs
lola: 2288525 markings, 2291458 edges, 49235 markings/sec, 40 secs
lola: 2537240 markings, 2540200 edges, 49743 markings/sec, 45 secs
lola: 2782644 markings, 2785631 edges, 49081 markings/sec, 50 secs
lola: 3027649 markings, 3030662 edges, 49001 markings/sec, 55 secs
lola: 3270811 markings, 3273843 edges, 48632 markings/sec, 60 secs
lola: 3516336 markings, 3519383 edges, 49105 markings/sec, 65 secs
lola: 3768561 markings, 3771620 edges, 50445 markings/sec, 70 secs
lola: 4024961 markings, 4028033 edges, 51280 markings/sec, 75 secs
lola: 4280397 markings, 4283495 edges, 51087 markings/sec, 80 secs
lola: 4535069 markings, 4538187 edges, 50934 markings/sec, 85 secs
lola: 4789319 markings, 4792454 edges, 50850 markings/sec, 90 secs
lola: 5039583 markings, 5042751 edges, 50053 markings/sec, 95 secs
lola: 5291918 markings, 5295119 edges, 50467 markings/sec, 100 secs
lola: 5538501 markings, 5541736 edges, 49317 markings/sec, 105 secs
lola: 5783701 markings, 5786970 edges, 49040 markings/sec, 110 secs
lola: 6032498 markings, 6035805 edges, 49759 markings/sec, 115 secs
lola: 6285365 markings, 6288707 edges, 50573 markings/sec, 120 secs
lola: 6536995 markings, 6540371 edges, 50326 markings/sec, 125 secs
lola: 6784227 markings, 6787635 edges, 49446 markings/sec, 130 secs
lola: 7030432 markings, 7033873 edges, 49241 markings/sec, 135 secs
lola: 7276623 markings, 7280098 edges, 49238 markings/sec, 140 secs
lola: 7522042 markings, 7525551 edges, 49084 markings/sec, 145 secs
lola: 7767401 markings, 7770947 edges, 49072 markings/sec, 150 secs
lola: 8016869 markings, 8020467 edges, 49894 markings/sec, 155 secs
lola: 8268532 markings, 8272121 edges, 50333 markings/sec, 160 secs
lola: 8522900 markings, 8526509 edges, 50874 markings/sec, 165 secs
lola: 8775705 markings, 8779331 edges, 50561 markings/sec, 170 secs
lola: 9025538 markings, 9029183 edges, 49967 markings/sec, 175 secs
lola: 9276675 markings, 9280343 edges, 50227 markings/sec, 180 secs
lola: 9525196 markings, 9528905 edges, 49704 markings/sec, 185 secs
lola: 9766740 markings, 9770475 edges, 48309 markings/sec, 190 secs
lola: 10010137 markings, 10013914 edges, 48679 markings/sec, 195 secs
lola: 10253710 markings, 10257525 edges, 48715 markings/sec, 200 secs
lola: 10496805 markings, 10500661 edges, 48619 markings/sec, 205 secs
lola: 10741543 markings, 10745441 edges, 48948 markings/sec, 210 secs
lola: 10983772 markings, 10987706 edges, 48446 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 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p4o_4_7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3356 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: 285131 markings, 353243 edges, 57026 markings/sec, 0 secs
lola: 531850 markings, 705516 edges, 49344 markings/sec, 5 secs
lola: 757978 markings, 1065589 edges, 45226 markings/sec, 10 secs
lola: 909168 markings, 1589462 edges, 30238 markings/sec, 15 secs
lola: 1147430 markings, 1923978 edges, 47652 markings/sec, 20 secs
lola: 1354982 markings, 2298865 edges, 41510 markings/sec, 25 secs
lola: 1521987 markings, 2780521 edges, 33401 markings/sec, 30 secs
lola: 1759052 markings, 3113298 edges, 47413 markings/sec, 35 secs
lola: 1980496 markings, 3456041 edges, 44289 markings/sec, 40 secs
lola: 2118074 markings, 3963494 edges, 27516 markings/sec, 45 secs
lola: 2351805 markings, 4293479 edges, 46746 markings/sec, 50 secs
lola: 2544034 markings, 4687352 edges, 38446 markings/sec, 55 secs
lola: 2725252 markings, 5144598 edges, 36244 markings/sec, 60 secs
lola: 2964014 markings, 5480898 edges, 47752 markings/sec, 65 secs
lola: 3158410 markings, 5882888 edges, 38879 markings/sec, 70 secs
lola: 3336441 markings, 6335713 edges, 35606 markings/sec, 75 secs
lola: 3566659 markings, 6670128 edges, 46044 markings/sec, 80 secs
lola: 3695207 markings, 7185647 edges, 25710 markings/sec, 85 secs
lola: 3950678 markings, 7504758 edges, 51094 markings/sec, 90 secs
lola: 4200714 markings, 7823417 edges, 50007 markings/sec, 95 secs
lola: 4444961 markings, 8142553 edges, 48849 markings/sec, 100 secs
lola: 4684707 markings, 8462050 edges, 47949 markings/sec, 105 secs
lola: 4922579 markings, 8778662 edges, 47574 markings/sec, 110 secs
lola: 5158243 markings, 9098928 edges, 47133 markings/sec, 115 secs
lola: 5396227 markings, 9416312 edges, 47597 markings/sec, 120 secs
lola: 5636238 markings, 9732028 edges, 48002 markings/sec, 125 secs
lola: 5871243 markings, 10047610 edges, 47001 markings/sec, 130 secs
lola: 6094358 markings, 10375455 edges, 44623 markings/sec, 135 secs
lola: 6320271 markings, 10694983 edges, 45183 markings/sec, 140 secs
lola: 6540887 markings, 11015740 edges, 44123 markings/sec, 145 secs
lola: 6757425 markings, 11339672 edges, 43308 markings/sec, 150 secs
lola: 6973922 markings, 11662078 edges, 43299 markings/sec, 155 secs
lola: 7189108 markings, 11981558 edges, 43037 markings/sec, 160 secs
lola: 7402801 markings, 12300737 edges, 42739 markings/sec, 165 secs
lola: 7614703 markings, 12620969 edges, 42380 markings/sec, 170 secs
lola: 7826135 markings, 12941082 edges, 42286 markings/sec, 175 secs
lola: 8032542 markings, 13265552 edges, 41281 markings/sec, 180 secs
lola: 8240018 markings, 13587694 edges, 41495 markings/sec, 185 secs
lola: 8450111 markings, 13908809 edges, 42019 markings/sec, 190 secs
lola: 8659795 markings, 14229111 edges, 41937 markings/sec, 195 secs
lola: 8867299 markings, 14549010 edges, 41501 markings/sec, 200 secs
lola: 9073043 markings, 14868001 edges, 41149 markings/sec, 205 secs
lola: 9280594 markings, 15185592 edges, 41510 markings/sec, 210 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 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pb4_4_7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3356 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: 223583 markings, 250155 edges, 44717 markings/sec, 0 secs
lola: 376661 markings, 433640 edges, 30616 markings/sec, 5 secs
lola: 541485 markings, 633101 edges, 32965 markings/sec, 10 secs
lola: 707201 markings, 841094 edges, 33143 markings/sec, 15 secs
lola: 871360 markings, 1048792 edges, 32832 markings/sec, 20 secs
lola: 1039418 markings, 1247302 edges, 33612 markings/sec, 25 secs
lola: 1203403 markings, 1455382 edges, 32797 markings/sec, 30 secs
lola: 1369948 markings, 1646111 edges, 33309 markings/sec, 35 secs
lola: 1535484 markings, 1835995 edges, 33107 markings/sec, 40 secs
lola: 1700305 markings, 2026311 edges, 32964 markings/sec, 45 secs
lola: 1862447 markings, 2217874 edges, 32428 markings/sec, 50 secs
lola: 2023609 markings, 2409874 edges, 32232 markings/sec, 55 secs
lola: 2183663 markings, 2600222 edges, 32011 markings/sec, 60 secs
lola: 2344093 markings, 2789290 edges, 32086 markings/sec, 65 secs
lola: 2505222 markings, 2977183 edges, 32226 markings/sec, 70 secs
lola: 2665349 markings, 3164612 edges, 32025 markings/sec, 75 secs
lola: 2823575 markings, 3354993 edges, 31645 markings/sec, 80 secs
lola: 2979334 markings, 3549807 edges, 31152 markings/sec, 85 secs
lola: 3134452 markings, 3740849 edges, 31024 markings/sec, 90 secs
lola: 3249722 markings, 4050524 edges, 23054 markings/sec, 95 secs
lola: 3292766 markings, 4546345 edges, 8609 markings/sec, 100 secs
lola: 3404192 markings, 4899618 edges, 22285 markings/sec, 105 secs
lola: 3568001 markings, 5106836 edges, 32762 markings/sec, 110 secs
lola: 3734593 markings, 5307396 edges, 33318 markings/sec, 115 secs
lola: 3898182 markings, 5522973 edges, 32718 markings/sec, 120 secs
lola: 4064768 markings, 5711476 edges, 33317 markings/sec, 125 secs
lola: 4226613 markings, 5897791 edges, 32369 markings/sec, 130 secs
lola: 4389378 markings, 6084643 edges, 32553 markings/sec, 135 secs
lola: 4549757 markings, 6269862 edges, 32076 markings/sec, 140 secs
lola: 4707084 markings, 6458112 edges, 31465 markings/sec, 145 secs
lola: 4863657 markings, 6644893 edges, 31315 markings/sec, 150 secs
lola: 5019282 markings, 6829879 edges, 31125 markings/sec, 155 secs
lola: 5176905 markings, 7014585 edges, 31525 markings/sec, 160 secs
lola: 5333927 markings, 7197710 edges, 31404 markings/sec, 165 secs
lola: 5492128 markings, 7382554 edges, 31640 markings/sec, 170 secs
lola: 5647372 markings, 7571050 edges, 31049 markings/sec, 175 secs
lola: 5799535 markings, 7762909 edges, 30433 markings/sec, 180 secs
lola: 5952195 markings, 7954941 edges, 30532 markings/sec, 185 secs
lola: 6045287 markings, 8305667 edges, 18618 markings/sec, 190 secs
lola: 6082063 markings, 8800342 edges, 7355 markings/sec, 195 secs
lola: 6215427 markings, 9080912 edges, 26673 markings/sec, 200 secs
lola: 6376639 markings, 9284916 edges, 32242 markings/sec, 205 secs
lola: 6540601 markings, 9478792 edges, 32792 markings/sec, 210 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p4i_9_7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3356 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: 256233 markings, 273262 edges, 51247 markings/sec, 0 secs
lola: 538862 markings, 562106 edges, 56526 markings/sec, 5 secs
lola: 821610 markings, 851590 edges, 56550 markings/sec, 10 secs
lola: 1101735 markings, 1138489 edges, 56025 markings/sec, 15 secs
lola: 1379059 markings, 1423033 edges, 55465 markings/sec, 20 secs
lola: 1654872 markings, 1705781 edges, 55163 markings/sec, 25 secs
lola: 1933623 markings, 1991602 edges, 55750 markings/sec, 30 secs
lola: 2213644 markings, 2278404 edges, 56004 markings/sec, 35 secs
lola: 2491457 markings, 2563107 edges, 55563 markings/sec, 40 secs
lola: 2768033 markings, 2846139 edges, 55315 markings/sec, 45 secs
lola: 3015647 markings, 3134224 edges, 49523 markings/sec, 50 secs
lola: 3258036 markings, 3425615 edges, 48478 markings/sec, 55 secs
lola: 3503423 markings, 3713516 edges, 49077 markings/sec, 60 secs
lola: 3742321 markings, 3991914 edges, 47780 markings/sec, 65 secs
lola: 3988113 markings, 4270200 edges, 49158 markings/sec, 70 secs
lola: 4231970 markings, 4543574 edges, 48771 markings/sec, 75 secs
lola: 4472127 markings, 4807944 edges, 48031 markings/sec, 80 secs
lola: 4711005 markings, 5070652 edges, 47776 markings/sec, 85 secs
lola: 4947057 markings, 5337492 edges, 47210 markings/sec, 90 secs
lola: 5183480 markings, 5600882 edges, 47285 markings/sec, 95 secs
lola: 5416230 markings, 5863143 edges, 46550 markings/sec, 100 secs
lola: 5648197 markings, 6123917 edges, 46393 markings/sec, 105 secs
lola: 5879928 markings, 6386620 edges, 46346 markings/sec, 110 secs
lola: 6110755 markings, 6649786 edges, 46165 markings/sec, 115 secs
lola: 6339175 markings, 6906965 edges, 45684 markings/sec, 120 secs
lola: 6565550 markings, 7166277 edges, 45275 markings/sec, 125 secs
lola: 6791498 markings, 7424155 edges, 45190 markings/sec, 130 secs
lola: 7017894 markings, 7678226 edges, 45279 markings/sec, 135 secs
lola: 7216800 markings, 7981911 edges, 39781 markings/sec, 140 secs
lola: 7294741 markings, 8424762 edges, 15588 markings/sec, 145 secs
lola: 7368581 markings, 8857766 edges, 14768 markings/sec, 150 secs
lola: 7577983 markings, 9109851 edges, 41880 markings/sec, 155 secs
lola: 7797159 markings, 9373508 edges, 43835 markings/sec, 160 secs
lola: 8012408 markings, 9627882 edges, 43050 markings/sec, 165 secs
lola: 8211358 markings, 9864708 edges, 39790 markings/sec, 170 secs
lola: 8434363 markings, 10114650 edges, 44601 markings/sec, 175 secs
lola: 8653984 markings, 10354058 edges, 43924 markings/sec, 180 secs
lola: 8869201 markings, 10591465 edges, 43043 markings/sec, 185 secs
lola: 9085309 markings, 10828195 edges, 43222 markings/sec, 190 secs
lola: 9299900 markings, 11070646 edges, 42918 markings/sec, 195 secs
lola: 9517130 markings, 11313574 edges, 43446 markings/sec, 200 secs
lola: 9734387 markings, 11556167 edges, 43451 markings/sec, 205 secs
lola: 9948863 markings, 11797838 edges, 42895 markings/sec, 210 secs
lola: 10162876 markings, 12038357 edges, 42803 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 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pb4_9_8)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3356 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: 232395 markings, 242786 edges, 46479 markings/sec, 0 secs
lola: 469340 markings, 492891 edges, 47389 markings/sec, 5 secs
lola: 694256 markings, 741095 edges, 44983 markings/sec, 10 secs
lola: 915958 markings, 985909 edges, 44340 markings/sec, 15 secs
lola: 1137860 markings, 1230041 edges, 44380 markings/sec, 20 secs
lola: 1357319 markings, 1471846 edges, 43892 markings/sec, 25 secs
lola: 1573953 markings, 1711797 edges, 43327 markings/sec, 30 secs
lola: 1792079 markings, 1953094 edges, 43625 markings/sec, 35 secs
lola: 2011891 markings, 2196246 edges, 43962 markings/sec, 40 secs
lola: 2230268 markings, 2436734 edges, 43675 markings/sec, 45 secs
lola: 2446527 markings, 2674996 edges, 43252 markings/sec, 50 secs
lola: 2659643 markings, 2909426 edges, 42623 markings/sec, 55 secs
lola: 2875390 markings, 3146637 edges, 43149 markings/sec, 60 secs
lola: 3088028 markings, 3380596 edges, 42528 markings/sec, 65 secs
lola: 3302487 markings, 3616531 edges, 42892 markings/sec, 70 secs
lola: 3518178 markings, 3854055 edges, 43138 markings/sec, 75 secs
lola: 3738788 markings, 4096556 edges, 44122 markings/sec, 80 secs
lola: 3957715 markings, 4337466 edges, 43785 markings/sec, 85 secs
lola: 4173554 markings, 4574579 edges, 43168 markings/sec, 90 secs
lola: 4390268 markings, 4813310 edges, 43343 markings/sec, 95 secs
lola: 4605272 markings, 5050319 edges, 43001 markings/sec, 100 secs
lola: 4812755 markings, 5273197 edges, 41497 markings/sec, 105 secs
lola: 5010806 markings, 5483293 edges, 39610 markings/sec, 110 secs
lola: 5207776 markings, 5691730 edges, 39394 markings/sec, 115 secs
lola: 5403927 markings, 5899465 edges, 39230 markings/sec, 120 secs
lola: 5602952 markings, 6110975 edges, 39805 markings/sec, 125 secs
lola: 5796080 markings, 6315408 edges, 38626 markings/sec, 130 secs
lola: 5988294 markings, 6519372 edges, 38443 markings/sec, 135 secs
lola: 6183395 markings, 6725641 edges, 39020 markings/sec, 140 secs
lola: 6375952 markings, 6930632 edges, 38511 markings/sec, 145 secs
lola: 6570468 markings, 7136413 edges, 38903 markings/sec, 150 secs
lola: 6764958 markings, 7342225 edges, 38898 markings/sec, 155 secs
lola: 6956860 markings, 7546492 edges, 38380 markings/sec, 160 secs
lola: 7151680 markings, 7752052 edges, 38964 markings/sec, 165 secs
lola: 7328972 markings, 8018851 edges, 35458 markings/sec, 170 secs
lola: 7504180 markings, 8271413 edges, 35042 markings/sec, 175 secs
lola: 7684124 markings, 8510314 edges, 35989 markings/sec, 180 secs
lola: 7860612 markings, 8736497 edges, 35298 markings/sec, 185 secs
lola: 8031327 markings, 8966626 edges, 34143 markings/sec, 190 secs
lola: 8199241 markings, 9198281 edges, 33583 markings/sec, 195 secs
lola: 8363174 markings, 9432594 edges, 32787 markings/sec, 200 secs
lola: 8521680 markings, 9674571 edges, 31701 markings/sec, 205 secs
lola: 8676955 markings, 9929395 edges, 31055 markings/sec, 210 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(pb2_2_7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3356 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: 222929 markings, 326374 edges, 44586 markings/sec, 0 secs
lola: 423862 markings, 652890 edges, 40187 markings/sec, 5 secs
lola: 633645 markings, 951605 edges, 41957 markings/sec, 10 secs
lola: 836629 markings, 1249444 edges, 40597 markings/sec, 15 secs
lola: 1039904 markings, 1520370 edges, 40655 markings/sec, 20 secs
lola: 1236439 markings, 1791760 edges, 39307 markings/sec, 25 secs
lola: 1428458 markings, 2066391 edges, 38404 markings/sec, 30 secs
lola: 1623711 markings, 2331567 edges, 39051 markings/sec, 35 secs
lola: 1814820 markings, 2591031 edges, 38222 markings/sec, 40 secs
lola: 1988331 markings, 2881750 edges, 34702 markings/sec, 45 secs
lola: 2173262 markings, 3148724 edges, 36986 markings/sec, 50 secs
lola: 2364004 markings, 3405940 edges, 38148 markings/sec, 55 secs
lola: 2548711 markings, 3668586 edges, 36941 markings/sec, 60 secs
lola: 2718339 markings, 3961622 edges, 33926 markings/sec, 65 secs
lola: 2851134 markings, 4299595 edges, 26559 markings/sec, 70 secs
lola: 2873954 markings, 4795462 edges, 4564 markings/sec, 75 secs
lola: 2887334 markings, 5314356 edges, 2676 markings/sec, 80 secs
lola: 2936106 markings, 5806866 edges, 9754 markings/sec, 85 secs
lola: 3134954 markings, 6130062 edges, 39770 markings/sec, 90 secs
lola: 3338918 markings, 6440439 edges, 40793 markings/sec, 95 secs
lola: 3543591 markings, 6739857 edges, 40935 markings/sec, 100 secs
lola: 3748022 markings, 7022269 edges, 40886 markings/sec, 105 secs
lola: 3947524 markings, 7290093 edges, 39900 markings/sec, 110 secs
lola: 4137870 markings, 7560898 edges, 38069 markings/sec, 115 secs
lola: 4328090 markings, 7828484 edges, 38044 markings/sec, 120 secs
lola: 4519857 markings, 8087940 edges, 38353 markings/sec, 125 secs
lola: 4708002 markings, 8347046 edges, 37629 markings/sec, 130 secs
lola: 4877682 markings, 8641679 edges, 33936 markings/sec, 135 secs
lola: 5063471 markings, 8902099 edges, 37158 markings/sec, 140 secs
lola: 5251347 markings, 9153105 edges, 37575 markings/sec, 145 secs
lola: 5418201 markings, 9440068 edges, 33371 markings/sec, 150 secs
lola: 5600952 markings, 9700851 edges, 36550 markings/sec, 155 secs
lola: 5668830 markings, 10116936 edges, 13576 markings/sec, 160 secs
lola: 5689406 markings, 10605174 edges, 4115 markings/sec, 165 secs
lola: 5701134 markings, 11107282 edges, 2346 markings/sec, 170 secs
lola: 5800699 markings, 11534477 edges, 19913 markings/sec, 175 secs
lola: 5995148 markings, 11850412 edges, 38890 markings/sec, 180 secs
lola: 6202238 markings, 12146073 edges, 41418 markings/sec, 185 secs
lola: 6402249 markings, 12439715 edges, 40002 markings/sec, 190 secs
lola: 6602210 markings, 12705719 edges, 39992 markings/sec, 195 secs
lola: 6795166 markings, 12972035 edges, 38591 markings/sec, 200 secs
lola: 6983410 markings, 13240830 edges, 37649 markings/sec, 205 secs
lola: 7174131 markings, 13501453 edges, 38144 markings/sec, 210 secs
lola: 7364054 markings, 13758079 edges, 37985 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 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pb4_5_5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3356 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: 221445 markings, 228556 edges, 44289 markings/sec, 0 secs
lola: 414979 markings, 454869 edges, 38707 markings/sec, 5 secs
lola: 614060 markings, 675432 edges, 39816 markings/sec, 10 secs
lola: 806233 markings, 893127 edges, 38435 markings/sec, 15 secs
lola: 997040 markings, 1117436 edges, 38161 markings/sec, 20 secs
lola: 1187746 markings, 1339345 edges, 38141 markings/sec, 25 secs
lola: 1373692 markings, 1553734 edges, 37189 markings/sec, 30 secs
lola: 1563341 markings, 1776064 edges, 37930 markings/sec, 35 secs
lola: 1752539 markings, 1990239 edges, 37840 markings/sec, 40 secs
lola: 1939920 markings, 2209435 edges, 37476 markings/sec, 45 secs
lola: 2125657 markings, 2421462 edges, 37147 markings/sec, 50 secs
lola: 2308020 markings, 2634488 edges, 36473 markings/sec, 55 secs
lola: 2490525 markings, 2843894 edges, 36501 markings/sec, 60 secs
lola: 2667424 markings, 3054344 edges, 35380 markings/sec, 65 secs
lola: 2858114 markings, 3264788 edges, 38138 markings/sec, 70 secs
lola: 3049567 markings, 3468345 edges, 38291 markings/sec, 75 secs
lola: 3237697 markings, 3670694 edges, 37626 markings/sec, 80 secs
lola: 3424123 markings, 3875059 edges, 37285 markings/sec, 85 secs
lola: 3609343 markings, 4082008 edges, 37044 markings/sec, 90 secs
lola: 3791621 markings, 4287938 edges, 36456 markings/sec, 95 secs
lola: 3970525 markings, 4496751 edges, 35781 markings/sec, 100 secs
lola: 4148330 markings, 4711074 edges, 35561 markings/sec, 105 secs
lola: 4327779 markings, 4922545 edges, 35890 markings/sec, 110 secs
lola: 4509109 markings, 5122263 edges, 36266 markings/sec, 115 secs
lola: 4686905 markings, 5334278 edges, 35559 markings/sec, 120 secs
lola: 4867265 markings, 5547072 edges, 36072 markings/sec, 125 secs
lola: 5049775 markings, 5750389 edges, 36502 markings/sec, 130 secs
lola: 5233120 markings, 5950348 edges, 36669 markings/sec, 135 secs
lola: 5417644 markings, 6149100 edges, 36905 markings/sec, 140 secs
lola: 5597837 markings, 6343584 edges, 36039 markings/sec, 145 secs
lola: 5774787 markings, 6544382 edges, 35390 markings/sec, 150 secs
lola: 5921471 markings, 6797541 edges, 29337 markings/sec, 155 secs
lola: 6012589 markings, 7146165 edges, 18224 markings/sec, 160 secs
lola: 6089670 markings, 7530150 edges, 15416 markings/sec, 165 secs
lola: 6279194 markings, 7744872 edges, 37905 markings/sec, 170 secs
lola: 6467255 markings, 7965462 edges, 37612 markings/sec, 175 secs
lola: 6658440 markings, 8178725 edges, 38237 markings/sec, 180 secs
lola: 6845017 markings, 8392132 edges, 37315 markings/sec, 185 secs
lola: 7031520 markings, 8611772 edges, 37301 markings/sec, 190 secs
lola: 7215072 markings, 8820797 edges, 36710 markings/sec, 195 secs
lola: 7405472 markings, 9039555 edges, 38080 markings/sec, 200 secs
lola: 7588258 markings, 9255138 edges, 36557 markings/sec, 205 secs
lola: 7775947 markings, 9469993 edges, 37538 markings/sec, 210 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 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p4i_9_4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3356 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: 256778 markings, 335038 edges, 51356 markings/sec, 0 secs
lola: 496555 markings, 693627 edges, 47955 markings/sec, 5 secs
lola: 731677 markings, 1027582 edges, 47024 markings/sec, 10 secs
lola: 970837 markings, 1384712 edges, 47832 markings/sec, 15 secs
lola: 1210636 markings, 1723898 edges, 47960 markings/sec, 20 secs
lola: 1447722 markings, 2069242 edges, 47417 markings/sec, 25 secs
lola: 1678673 markings, 2403365 edges, 46190 markings/sec, 30 secs
lola: 1911569 markings, 2738023 edges, 46579 markings/sec, 35 secs
lola: 2149221 markings, 3088351 edges, 47530 markings/sec, 40 secs
lola: 2380494 markings, 3412146 edges, 46255 markings/sec, 45 secs
lola: 2613344 markings, 3748389 edges, 46570 markings/sec, 50 secs
lola: 2844632 markings, 4076339 edges, 46258 markings/sec, 55 secs
lola: 3076037 markings, 4406180 edges, 46281 markings/sec, 60 secs
lola: 3307586 markings, 4739077 edges, 46310 markings/sec, 65 secs
lola: 3538120 markings, 5063339 edges, 46107 markings/sec, 70 secs
lola: 3729501 markings, 5455726 edges, 38276 markings/sec, 75 secs
lola: 3866617 markings, 5847120 edges, 27423 markings/sec, 80 secs
lola: 3899258 markings, 6457419 edges, 6528 markings/sec, 85 secs
lola: 4042161 markings, 6845616 edges, 28581 markings/sec, 90 secs
lola: 4122765 markings, 7325990 edges, 16121 markings/sec, 95 secs
lola: 4200797 markings, 7821477 edges, 15606 markings/sec, 100 secs
lola: 4328710 markings, 8187642 edges, 25583 markings/sec, 105 secs
lola: 4360482 markings, 8742060 edges, 6354 markings/sec, 110 secs
lola: 4496000 markings, 9158216 edges, 27104 markings/sec, 115 secs
lola: 4578839 markings, 9664114 edges, 16568 markings/sec, 120 secs
lola: 4673739 markings, 10129008 edges, 18980 markings/sec, 125 secs
lola: 4807411 markings, 10455008 edges, 26734 markings/sec, 130 secs
lola: 4922867 markings, 10808931 edges, 23091 markings/sec, 135 secs
lola: 4936515 markings, 11355850 edges, 2730 markings/sec, 140 secs
lola: 5061177 markings, 11669840 edges, 24932 markings/sec, 145 secs
lola: 5145390 markings, 12073917 edges, 16843 markings/sec, 150 secs
lola: 5182895 markings, 12539240 edges, 7501 markings/sec, 155 secs
lola: 5299255 markings, 12857431 edges, 23272 markings/sec, 160 secs
lola: 5351438 markings, 13309553 edges, 10437 markings/sec, 165 secs
lola: 5430319 markings, 13715328 edges, 15776 markings/sec, 170 secs
lola: 5571500 markings, 14042579 edges, 28236 markings/sec, 175 secs
lola: 5706700 markings, 14373003 edges, 27040 markings/sec, 180 secs
lola: 5840143 markings, 14706805 edges, 26689 markings/sec, 185 secs
lola: 5966614 markings, 15043991 edges, 25294 markings/sec, 190 secs
lola: 6096236 markings, 15377980 edges, 25924 markings/sec, 195 secs
lola: 6221792 markings, 15710884 edges, 25111 markings/sec, 200 secs
lola: 6344314 markings, 16046972 edges, 24504 markings/sec, 205 secs
lola: 6466543 markings, 16388075 edges, 24446 markings/sec, 210 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(p4i_6_4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3356 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: 273371 markings, 277451 edges, 54674 markings/sec, 0 secs
lola: 538723 markings, 547754 edges, 53070 markings/sec, 5 secs
lola: 810090 markings, 823136 edges, 54273 markings/sec, 10 secs
lola: 1083516 markings, 1100874 edges, 54685 markings/sec, 15 secs
lola: 1354875 markings, 1376364 edges, 54272 markings/sec, 20 secs
lola: 1629258 markings, 1655030 edges, 54877 markings/sec, 25 secs
lola: 1907781 markings, 1938152 edges, 55705 markings/sec, 30 secs
lola: 2182221 markings, 2217134 edges, 54888 markings/sec, 35 secs
lola: 2452805 markings, 2492203 edges, 54117 markings/sec, 40 secs
lola: 2724832 markings, 2768765 edges, 54405 markings/sec, 45 secs
lola: 2999992 markings, 3048439 edges, 55032 markings/sec, 50 secs
lola: 3284011 markings, 3336940 edges, 56804 markings/sec, 55 secs
lola: 3569299 markings, 3627908 edges, 57058 markings/sec, 60 secs
lola: 3850282 markings, 3914815 edges, 56197 markings/sec, 65 secs
lola: 4129273 markings, 4199241 edges, 55798 markings/sec, 70 secs
lola: 4405546 markings, 4481403 edges, 55255 markings/sec, 75 secs
lola: 4690015 markings, 4772127 edges, 56894 markings/sec, 80 secs
lola: 4971738 markings, 5059550 edges, 56345 markings/sec, 85 secs
lola: 5244630 markings, 5338962 edges, 54578 markings/sec, 90 secs
lola: 5523410 markings, 5623478 edges, 55756 markings/sec, 95 secs
lola: 5803995 markings, 5910004 edges, 56117 markings/sec, 100 secs
lola: 6084819 markings, 6196540 edges, 56165 markings/sec, 105 secs
lola: 6364206 markings, 6482048 edges, 55877 markings/sec, 110 secs
lola: 6641375 markings, 6765014 edges, 55434 markings/sec, 115 secs
lola: 6917188 markings, 7046256 edges, 55163 markings/sec, 120 secs
lola: 7197736 markings, 7332722 edges, 56110 markings/sec, 125 secs
lola: 7475364 markings, 7616505 edges, 55526 markings/sec, 130 secs
lola: 7748276 markings, 7895723 edges, 54582 markings/sec, 135 secs
lola: 8025022 markings, 8178256 edges, 55349 markings/sec, 140 secs
lola: 8307757 markings, 8466671 edges, 56547 markings/sec, 145 secs
lola: 8595314 markings, 8760534 edges, 57511 markings/sec, 150 secs
lola: 8878939 markings, 9050400 edges, 56725 markings/sec, 155 secs
lola: 9154265 markings, 9331454 edges, 55065 markings/sec, 160 secs
lola: 9433110 markings, 9615908 edges, 55769 markings/sec, 165 secs
lola: 9715584 markings, 9904574 edges, 56495 markings/sec, 170 secs
lola: 9988579 markings, 10183654 edges, 54599 markings/sec, 175 secs
lola: 10271897 markings, 10473207 edges, 56664 markings/sec, 180 secs
lola: 10549028 markings, 10755512 edges, 55426 markings/sec, 185 secs
lola: 10827636 markings, 11040281 edges, 55722 markings/sec, 190 secs
lola: 11098274 markings, 11316012 edges, 54128 markings/sec, 195 secs
lola: 11374122 markings, 11597968 edges, 55170 markings/sec, 200 secs
lola: 11647709 markings, 11876952 edges, 54717 markings/sec, 205 secs
lola: 11920856 markings, 12156118 edges, 54629 markings/sec, 210 secs
lola: 12202064 markings, 12443320 edges, 56242 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 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p4il_7_9)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3356 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: 208312 markings, 229076 edges, 41662 markings/sec, 0 secs
lola: 394857 markings, 436029 edges, 37309 markings/sec, 5 secs
lola: 579887 markings, 642850 edges, 37006 markings/sec, 10 secs
lola: 765698 markings, 851168 edges, 37162 markings/sec, 15 secs
lola: 949000 markings, 1057457 edges, 36660 markings/sec, 20 secs
lola: 1133818 markings, 1265121 edges, 36964 markings/sec, 25 secs
lola: 1319588 markings, 1473009 edges, 37154 markings/sec, 30 secs
lola: 1499404 markings, 1673333 edges, 35963 markings/sec, 35 secs
lola: 1677879 markings, 1872204 edges, 35695 markings/sec, 40 secs
lola: 1858284 markings, 2073825 edges, 36081 markings/sec, 45 secs
lola: 2061683 markings, 2283784 edges, 40680 markings/sec, 50 secs
lola: 2264011 markings, 2488091 edges, 40466 markings/sec, 55 secs
lola: 2463209 markings, 2689752 edges, 39840 markings/sec, 60 secs
lola: 2661580 markings, 2890748 edges, 39674 markings/sec, 65 secs
lola: 2856768 markings, 3089574 edges, 39038 markings/sec, 70 secs
lola: 3055546 markings, 3293163 edges, 39756 markings/sec, 75 secs
lola: 3251715 markings, 3496122 edges, 39234 markings/sec, 80 secs
lola: 3448409 markings, 3699620 edges, 39339 markings/sec, 85 secs
lola: 3647827 markings, 3905898 edges, 39884 markings/sec, 90 secs
lola: 3849832 markings, 4114826 edges, 40401 markings/sec, 95 secs
lola: 4047645 markings, 4315865 edges, 39563 markings/sec, 100 secs
lola: 4246778 markings, 4518119 edges, 39827 markings/sec, 105 secs
lola: 4447385 markings, 4721060 edges, 40121 markings/sec, 110 secs
lola: 4646533 markings, 4924182 edges, 39830 markings/sec, 115 secs
lola: 4821754 markings, 5107777 edges, 35044 markings/sec, 120 secs
lola: 4987910 markings, 5280614 edges, 33231 markings/sec, 125 secs
lola: 5147637 markings, 5451459 edges, 31945 markings/sec, 130 secs
lola: 5281277 markings, 5662526 edges, 26728 markings/sec, 135 secs
lola: 5456688 markings, 5847896 edges, 35082 markings/sec, 140 secs
lola: 5622995 markings, 6020317 edges, 33261 markings/sec, 145 secs
lola: 5785700 markings, 6191142 edges, 32541 markings/sec, 150 secs
lola: 5935866 markings, 6365065 edges, 30033 markings/sec, 155 secs
lola: 6073636 markings, 6568006 edges, 27554 markings/sec, 160 secs
lola: 6232286 markings, 6732799 edges, 31730 markings/sec, 165 secs
lola: 6387439 markings, 6894119 edges, 31031 markings/sec, 170 secs
lola: 6537053 markings, 7052768 edges, 29923 markings/sec, 175 secs
lola: 6662574 markings, 7255431 edges, 25104 markings/sec, 180 secs
lola: 6828875 markings, 7428694 edges, 33260 markings/sec, 185 secs
lola: 7012814 markings, 7617095 edges, 36788 markings/sec, 190 secs
lola: 7189849 markings, 7798569 edges, 35407 markings/sec, 195 secs
lola: 7363050 markings, 7979416 edges, 34640 markings/sec, 200 secs
lola: 7534640 markings, 8161324 edges, 34318 markings/sec, 205 secs
lola: 7694237 markings, 8326294 edges, 31919 markings/sec, 210 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
FORMULA SquareGrid-PT-100510-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-100510-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-100510-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-100510-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-100510-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-100510-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-100510-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-100510-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-100510-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-100510-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-100510-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-100510-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-100510-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-100510-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-100510-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-100510-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496566467253

--------------------
content from stderr:

----- Start make prepare stderr -----
----- Start make result stderr -----
----- Start make result stderr -----
----- Kill lola and sara stderr -----
----- Finished stderr -----

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="S_SquareGrid-PT-100510"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

tar xzf /home/mcc/BenchKit/INPUTS/S_SquareGrid-PT-100510.tgz
mv S_SquareGrid-PT-100510 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3253"
echo " Executing tool lola"
echo " Input is S_SquareGrid-PT-100510, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r158-ebro-149443464000146"
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 ;