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 SquareGrid-PT-130613, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r078-ebro-149441008300155
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1494934850994


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ SquareGrid-PT-130613 @ 3540 seconds
----- Start make result stdout -----
lola: LoLA will run for 3540 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 5057/65536 symbol table entries, 490 collisions
lola: preprocessing...
lola: finding significant places
lola: 2301 places, 2756 transitions, 1403 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 3653 transition conflict sets
lola: TASK
lola: reading formula from SquareGrid-PT-130613-UpperBounds.task
lola: MAX(pb1_2_9) : MAX(p4il_6_1) : MAX(pb2_7_9) : MAX(pb3_10_13) : MAX(p4i_13_4) : MAX(p4il_1_8) : MAX(pb4_1_9) : MAX(pb2_10_2) : MAX(p1o_6_7) : MAX(pb3_7_5) : MAX(p1ol_2_3) : MAX(pb4_1_6) : MAX(p1ol_14_3) : MAX(pb4_10_1) : MAX(p1i_2_8) : MAX(pb2_10_6)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pb1_2_9)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 5612 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: 244022 markings, 256596 edges, 48804 markings/sec, 0 secs
lola: 512802 markings, 526080 edges, 53756 markings/sec, 5 secs
lola: 772009 markings, 786388 edges, 51841 markings/sec, 10 secs
lola: 1038305 markings, 1054057 edges, 53259 markings/sec, 15 secs
lola: 1304464 markings, 1321898 edges, 53232 markings/sec, 20 secs
lola: 1569866 markings, 1588854 edges, 53080 markings/sec, 25 secs
lola: 1837433 markings, 1858036 edges, 53513 markings/sec, 30 secs
lola: 2101284 markings, 2123541 edges, 52770 markings/sec, 35 secs
lola: 2364748 markings, 2388575 edges, 52693 markings/sec, 40 secs
lola: 2628810 markings, 2654181 edges, 52812 markings/sec, 45 secs
lola: 2892974 markings, 2920037 edges, 52833 markings/sec, 50 secs
lola: 3153379 markings, 3181847 edges, 52081 markings/sec, 55 secs
lola: 3413554 markings, 3443635 edges, 52035 markings/sec, 60 secs
lola: 3675626 markings, 3706889 edges, 52414 markings/sec, 65 secs
lola: 3937822 markings, 3970210 edges, 52439 markings/sec, 70 secs
lola: 4201450 markings, 4234971 edges, 52726 markings/sec, 75 secs
lola: 4469136 markings, 4504423 edges, 53537 markings/sec, 80 secs
lola: 4735392 markings, 4772268 edges, 53251 markings/sec, 85 secs
lola: 5003484 markings, 5041949 edges, 53618 markings/sec, 90 secs
lola: 5271570 markings, 5311740 edges, 53617 markings/sec, 95 secs
lola: 5532626 markings, 5574347 edges, 52211 markings/sec, 100 secs
lola: 5794408 markings, 5837364 edges, 52356 markings/sec, 105 secs
lola: 6061698 markings, 6106325 edges, 53458 markings/sec, 110 secs
lola: 6322707 markings, 6368863 edges, 52202 markings/sec, 115 secs
lola: 6583128 markings, 6630645 edges, 52084 markings/sec, 120 secs
lola: 6844439 markings, 6893570 edges, 52262 markings/sec, 125 secs
lola: 7099866 markings, 7150362 edges, 51085 markings/sec, 130 secs
lola: 7359175 markings, 7411336 edges, 51862 markings/sec, 135 secs
lola: 7618445 markings, 7671896 edges, 51854 markings/sec, 140 secs
lola: 7879271 markings, 7934157 edges, 52165 markings/sec, 145 secs
lola: 8140892 markings, 8197551 edges, 52324 markings/sec, 150 secs
lola: 8400930 markings, 8458762 edges, 52008 markings/sec, 155 secs
lola: 8666268 markings, 8725701 edges, 53068 markings/sec, 160 secs
lola: 8924936 markings, 8985990 edges, 51734 markings/sec, 165 secs
lola: 9182966 markings, 9245189 edges, 51606 markings/sec, 170 secs
lola: 9449586 markings, 9513513 edges, 53324 markings/sec, 175 secs
lola: 9711441 markings, 9776906 edges, 52371 markings/sec, 180 secs
lola: 9972782 markings, 10039569 edges, 52268 markings/sec, 185 secs
lola: 10233767 markings, 10302212 edges, 52197 markings/sec, 190 secs
lola: 10489965 markings, 10559785 edges, 51240 markings/sec, 195 secs
lola: 10749966 markings, 10821359 edges, 52000 markings/sec, 200 secs
lola: 11010980 markings, 11083770 edges, 52203 markings/sec, 205 secs
lola: 11272170 markings, 11346391 edges, 52238 markings/sec, 210 secs
lola: 11538407 markings, 11614351 edges, 53247 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(p4il_6_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 5612 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: 184700 markings, 192576 edges, 36940 markings/sec, 0 secs
lola: 360227 markings, 370769 edges, 35105 markings/sec, 5 secs
lola: 534942 markings, 548065 edges, 34943 markings/sec, 10 secs
lola: 704677 markings, 720550 edges, 33947 markings/sec, 15 secs
lola: 874995 markings, 893183 edges, 34064 markings/sec, 20 secs
lola: 1045572 markings, 1066739 edges, 34115 markings/sec, 25 secs
lola: 1221744 markings, 1244603 edges, 35234 markings/sec, 30 secs
lola: 1400856 markings, 1425058 edges, 35822 markings/sec, 35 secs
lola: 1579170 markings, 1605382 edges, 35663 markings/sec, 40 secs
lola: 1754960 markings, 1783444 edges, 35158 markings/sec, 45 secs
lola: 1937604 markings, 1966957 edges, 36529 markings/sec, 50 secs
lola: 2121281 markings, 2152027 edges, 36735 markings/sec, 55 secs
lola: 2303686 markings, 2335599 edges, 36481 markings/sec, 60 secs
lola: 2486082 markings, 2519104 edges, 36479 markings/sec, 65 secs
lola: 2666912 markings, 2701367 edges, 36166 markings/sec, 70 secs
lola: 2848296 markings, 2883827 edges, 36277 markings/sec, 75 secs
lola: 3029922 markings, 3066837 edges, 36325 markings/sec, 80 secs
lola: 3208117 markings, 3246139 edges, 35639 markings/sec, 85 secs
lola: 3387040 markings, 3426165 edges, 35785 markings/sec, 90 secs
lola: 3564155 markings, 3604649 edges, 35423 markings/sec, 95 secs
lola: 3741926 markings, 3783471 edges, 35554 markings/sec, 100 secs
lola: 3921099 markings, 3964068 edges, 35835 markings/sec, 105 secs
lola: 4100607 markings, 4144634 edges, 35902 markings/sec, 110 secs
lola: 4277807 markings, 4323103 edges, 35440 markings/sec, 115 secs
lola: 4459297 markings, 4505814 edges, 36298 markings/sec, 120 secs
lola: 4640521 markings, 4688119 edges, 36245 markings/sec, 125 secs
lola: 4823298 markings, 4872348 edges, 36555 markings/sec, 130 secs
lola: 5005631 markings, 5055761 edges, 36467 markings/sec, 135 secs
lola: 5187955 markings, 5239470 edges, 36465 markings/sec, 140 secs
lola: 5370889 markings, 5423561 edges, 36587 markings/sec, 145 secs
lola: 5552944 markings, 5606699 edges, 36411 markings/sec, 150 secs
lola: 5727258 markings, 5782401 edges, 34863 markings/sec, 155 secs
lola: 5904406 markings, 5960592 edges, 35430 markings/sec, 160 secs
lola: 6083380 markings, 6140985 edges, 35795 markings/sec, 165 secs
lola: 6262063 markings, 6320727 edges, 35737 markings/sec, 170 secs
lola: 6439928 markings, 6499834 edges, 35573 markings/sec, 175 secs
lola: 6618598 markings, 6679726 edges, 35734 markings/sec, 180 secs
lola: 6797430 markings, 6859630 edges, 35766 markings/sec, 185 secs
lola: 6974101 markings, 7037698 edges, 35334 markings/sec, 190 secs
lola: 7150837 markings, 7215484 edges, 35347 markings/sec, 195 secs
lola: 7324169 markings, 7390179 edges, 34666 markings/sec, 200 secs
lola: 7498245 markings, 7565278 edges, 34815 markings/sec, 205 secs
lola: 7678279 markings, 7746539 edges, 36007 markings/sec, 210 secs
lola: 7858508 markings, 7928047 edges, 36046 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(pb2_7_9)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 5612 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: 217525 markings, 241142 edges, 43505 markings/sec, 0 secs
lola: 400155 markings, 444480 edges, 36526 markings/sec, 5 secs
lola: 566828 markings, 632388 edges, 33335 markings/sec, 10 secs
lola: 723049 markings, 807267 edges, 31244 markings/sec, 15 secs
lola: 869609 markings, 970244 edges, 29312 markings/sec, 20 secs
lola: 1013226 markings, 1131299 edges, 28723 markings/sec, 25 secs
lola: 1151794 markings, 1288874 edges, 27714 markings/sec, 30 secs
lola: 1283988 markings, 1439276 edges, 26439 markings/sec, 35 secs
lola: 1412489 markings, 1585214 edges, 25700 markings/sec, 40 secs
lola: 1540389 markings, 1731675 edges, 25580 markings/sec, 45 secs
lola: 1669693 markings, 1879022 edges, 25861 markings/sec, 50 secs
lola: 1799097 markings, 2026428 edges, 25881 markings/sec, 55 secs
lola: 1929021 markings, 2173313 edges, 25985 markings/sec, 60 secs
lola: 2053506 markings, 2313307 edges, 24897 markings/sec, 65 secs
lola: 2171777 markings, 2444502 edges, 23654 markings/sec, 70 secs
lola: 2289695 markings, 2578271 edges, 23584 markings/sec, 75 secs
lola: 2404169 markings, 2706628 edges, 22895 markings/sec, 80 secs
lola: 2516052 markings, 2831940 edges, 22377 markings/sec, 85 secs
lola: 2629019 markings, 2957445 edges, 22593 markings/sec, 90 secs
lola: 2740834 markings, 3083212 edges, 22363 markings/sec, 95 secs
lola: 2864173 markings, 3233064 edges, 24668 markings/sec, 100 secs
lola: 2980138 markings, 3361127 edges, 23193 markings/sec, 105 secs
lola: 3085852 markings, 3473365 edges, 21143 markings/sec, 110 secs
lola: 3193270 markings, 3582450 edges, 21484 markings/sec, 115 secs
lola: 3300235 markings, 3691123 edges, 21393 markings/sec, 120 secs
lola: 3406956 markings, 3799547 edges, 21344 markings/sec, 125 secs
lola: 3513360 markings, 3907651 edges, 21281 markings/sec, 130 secs
lola: 3619787 markings, 4015775 edges, 21285 markings/sec, 135 secs
lola: 3726055 markings, 4123751 edges, 21254 markings/sec, 140 secs
lola: 3832384 markings, 4231699 edges, 21266 markings/sec, 145 secs
lola: 3938543 markings, 4339058 edges, 21232 markings/sec, 150 secs
lola: 4044688 markings, 4446747 edges, 21229 markings/sec, 155 secs
lola: 4150898 markings, 4554642 edges, 21242 markings/sec, 160 secs
lola: 4257143 markings, 4662579 edges, 21249 markings/sec, 165 secs
lola: 4363384 markings, 4770516 edges, 21248 markings/sec, 170 secs
lola: 4469492 markings, 4878316 edges, 21222 markings/sec, 175 secs
lola: 4575466 markings, 4985982 edges, 21195 markings/sec, 180 secs
lola: 4681709 markings, 5093916 edges, 21249 markings/sec, 185 secs
lola: 4788831 markings, 5202748 edges, 21424 markings/sec, 190 secs
lola: 4896258 markings, 5311888 edges, 21485 markings/sec, 195 secs
lola: 5004621 markings, 5421849 edges, 21673 markings/sec, 200 secs
lola: 5118010 markings, 5535325 edges, 22678 markings/sec, 205 secs
lola: 5232136 markings, 5649451 edges, 22825 markings/sec, 210 secs
lola: 5344127 markings, 5761619 edges, 22398 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(pb3_10_13)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 5612 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: 195006 markings, 204688 edges, 39001 markings/sec, 0 secs
lola: 373900 markings, 390165 edges, 35779 markings/sec, 5 secs
lola: 550010 markings, 569562 edges, 35222 markings/sec, 10 secs
lola: 726905 markings, 749985 edges, 35379 markings/sec, 15 secs
lola: 897556 markings, 924477 edges, 34130 markings/sec, 20 secs
lola: 1068122 markings, 1098785 edges, 34113 markings/sec, 25 secs
lola: 1237417 markings, 1272765 edges, 33859 markings/sec, 30 secs
lola: 1404603 markings, 1445541 edges, 33437 markings/sec, 35 secs
lola: 1575022 markings, 1622127 edges, 34084 markings/sec, 40 secs
lola: 1745651 markings, 1796614 edges, 34126 markings/sec, 45 secs
lola: 1913079 markings, 1967154 edges, 33486 markings/sec, 50 secs
lola: 2077407 markings, 2134739 edges, 32866 markings/sec, 55 secs
lola: 2243500 markings, 2306209 edges, 33219 markings/sec, 60 secs
lola: 2408973 markings, 2477728 edges, 33095 markings/sec, 65 secs
lola: 2570395 markings, 2647590 edges, 32284 markings/sec, 70 secs
lola: 2729771 markings, 2817119 edges, 31875 markings/sec, 75 secs
lola: 2897615 markings, 3025862 edges, 33569 markings/sec, 80 secs
lola: 3059098 markings, 3242111 edges, 32297 markings/sec, 85 secs
lola: 3194758 markings, 3492667 edges, 27132 markings/sec, 90 secs
lola: 3339057 markings, 3753555 edges, 28860 markings/sec, 95 secs
lola: 3498706 markings, 3959659 edges, 31930 markings/sec, 100 secs
lola: 3613826 markings, 4255559 edges, 23024 markings/sec, 105 secs
lola: 3777104 markings, 4473850 edges, 32656 markings/sec, 110 secs
lola: 3936860 markings, 4674101 edges, 31951 markings/sec, 115 secs
lola: 4056159 markings, 4967456 edges, 23860 markings/sec, 120 secs
lola: 4226417 markings, 5166339 edges, 34052 markings/sec, 125 secs
lola: 4386583 markings, 5379325 edges, 32033 markings/sec, 130 secs
lola: 4519014 markings, 5633461 edges, 26486 markings/sec, 135 secs
lola: 4661465 markings, 5882662 edges, 28490 markings/sec, 140 secs
lola: 4815697 markings, 6075485 edges, 30846 markings/sec, 145 secs
lola: 4925745 markings, 6361130 edges, 22010 markings/sec, 150 secs
lola: 5080618 markings, 6565478 edges, 30975 markings/sec, 155 secs
lola: 5229577 markings, 6755844 edges, 29792 markings/sec, 160 secs
lola: 5340058 markings, 7039616 edges, 22096 markings/sec, 165 secs
lola: 5488558 markings, 7228538 edges, 29700 markings/sec, 170 secs
lola: 5590354 markings, 7506902 edges, 20359 markings/sec, 175 secs
lola: 5747260 markings, 7698954 edges, 31381 markings/sec, 180 secs
lola: 5899851 markings, 7889692 edges, 30518 markings/sec, 185 secs
lola: 6014410 markings, 8181079 edges, 22912 markings/sec, 190 secs
lola: 6172521 markings, 8378371 edges, 31622 markings/sec, 195 secs
lola: 6283043 markings, 8666562 edges, 22104 markings/sec, 200 secs
lola: 6443501 markings, 8846908 edges, 32092 markings/sec, 205 secs
lola: 6601287 markings, 9029059 edges, 31557 markings/sec, 210 secs
lola: 6757877 markings, 9211292 edges, 31318 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(p4i_13_4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 5612 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: 105635 markings, 291332 edges, 21127 markings/sec, 0 secs
lola: 202123 markings, 563017 edges, 19298 markings/sec, 5 secs
lola: 295686 markings, 800504 edges, 18713 markings/sec, 10 secs
lola: 377737 markings, 1066083 edges, 16410 markings/sec, 15 secs
lola: 384009 markings, 1526122 edges, 1254 markings/sec, 20 secs
lola: 407062 markings, 1957696 edges, 4611 markings/sec, 25 secs
lola: 494684 markings, 2229634 edges, 17524 markings/sec, 30 secs
lola: 584433 markings, 2460674 edges, 17950 markings/sec, 35 secs
lola: 670948 markings, 2679364 edges, 17303 markings/sec, 40 secs
lola: 743567 markings, 2936694 edges, 14524 markings/sec, 45 secs
lola: 749178 markings, 3348057 edges, 1122 markings/sec, 50 secs
lola: 760864 markings, 3761322 edges, 2337 markings/sec, 55 secs
lola: 844615 markings, 4029676 edges, 16750 markings/sec, 60 secs
lola: 932345 markings, 4258024 edges, 17546 markings/sec, 65 secs
lola: 1017609 markings, 4472184 edges, 17053 markings/sec, 70 secs
lola: 1095409 markings, 4706213 edges, 15560 markings/sec, 75 secs
lola: 1105443 markings, 5100570 edges, 2007 markings/sec, 80 secs
lola: 1109755 markings, 5505999 edges, 862 markings/sec, 85 secs
lola: 1186214 markings, 5800325 edges, 15292 markings/sec, 90 secs
lola: 1277075 markings, 6039704 edges, 18172 markings/sec, 95 secs
lola: 1363707 markings, 6257578 edges, 17326 markings/sec, 100 secs
lola: 1442694 markings, 6489561 edges, 15797 markings/sec, 105 secs
lola: 1454143 markings, 6882173 edges, 2290 markings/sec, 110 secs
lola: 1458518 markings, 7295968 edges, 875 markings/sec, 115 secs
lola: 1560180 markings, 7549418 edges, 20332 markings/sec, 120 secs
lola: 1655917 markings, 7833762 edges, 19147 markings/sec, 125 secs
lola: 1749403 markings, 8077983 edges, 18697 markings/sec, 130 secs
lola: 1839061 markings, 8311340 edges, 17932 markings/sec, 135 secs
lola: 1887803 markings, 8658785 edges, 9748 markings/sec, 140 secs
lola: 1892327 markings, 9109623 edges, 905 markings/sec, 145 secs
lola: 1951739 markings, 9461510 edges, 11882 markings/sec, 150 secs
lola: 2044702 markings, 9716773 edges, 18593 markings/sec, 155 secs
lola: 2133066 markings, 9941863 edges, 17673 markings/sec, 160 secs
lola: 2212804 markings, 10180127 edges, 15948 markings/sec, 165 secs
lola: 2222473 markings, 10582176 edges, 1934 markings/sec, 170 secs
lola: 2226773 markings, 11013873 edges, 860 markings/sec, 175 secs
lola: 2334972 markings, 11244703 edges, 21640 markings/sec, 180 secs
lola: 2427368 markings, 11518955 edges, 18479 markings/sec, 185 secs
lola: 2517866 markings, 11752570 edges, 18100 markings/sec, 190 secs
lola: 2603601 markings, 11985318 edges, 17147 markings/sec, 195 secs
lola: 2630575 markings, 12371723 edges, 5395 markings/sec, 200 secs
lola: 2635178 markings, 12802530 edges, 921 markings/sec, 205 secs
lola: 2701183 markings, 13086796 edges, 13201 markings/sec, 210 secs
lola: 2784318 markings, 13301776 edges, 16627 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(p4il_1_8)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 5612 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: 329767 markings, 350335 edges, 65953 markings/sec, 0 secs
lola: 664476 markings, 686052 edges, 66942 markings/sec, 5 secs
lola: 997838 markings, 1020381 edges, 66672 markings/sec, 10 secs
lola: 1317536 markings, 1340834 edges, 63940 markings/sec, 15 secs
lola: 1628084 markings, 1652124 edges, 62110 markings/sec, 20 secs
lola: 1966874 markings, 1991686 edges, 67758 markings/sec, 25 secs
lola: 2309972 markings, 2335570 edges, 68620 markings/sec, 30 secs
lola: 2652080 markings, 2678544 edges, 68422 markings/sec, 35 secs
lola: 2994418 markings, 3021618 edges, 68468 markings/sec, 40 secs
lola: 3336488 markings, 3364505 edges, 68414 markings/sec, 45 secs
lola: 3674074 markings, 3702866 edges, 67517 markings/sec, 50 secs
lola: 4003668 markings, 4033216 edges, 65919 markings/sec, 55 secs
lola: 4324241 markings, 4354536 edges, 64115 markings/sec, 60 secs
lola: 4643396 markings, 4674444 edges, 63831 markings/sec, 65 secs
lola: 4958398 markings, 4990149 edges, 63000 markings/sec, 70 secs
lola: 5250198 markings, 5282640 edges, 58360 markings/sec, 75 secs
lola: 5546040 markings, 5579206 edges, 59168 markings/sec, 80 secs
lola: 5854307 markings, 5888125 edges, 61653 markings/sec, 85 secs
lola: 6163434 markings, 6197986 edges, 61825 markings/sec, 90 secs
lola: 6480268 markings, 6515572 edges, 63367 markings/sec, 95 secs
lola: 6812080 markings, 6848130 edges, 66362 markings/sec, 100 secs
lola: 7143069 markings, 7179899 edges, 66198 markings/sec, 105 secs
lola: 7471603 markings, 7509180 edges, 65707 markings/sec, 110 secs
lola: 7677086 markings, 7715142 edges, 41097 markings/sec, 115 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 230 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pb4_1_9)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 5612 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: 297328 markings, 319121 edges, 59466 markings/sec, 0 secs
lola: 592946 markings, 642318 edges, 59124 markings/sec, 5 secs
lola: 882231 markings, 958310 edges, 57857 markings/sec, 10 secs
lola: 1161405 markings, 1257918 edges, 55835 markings/sec, 15 secs
lola: 1429312 markings, 1546686 edges, 53581 markings/sec, 20 secs
lola: 1695112 markings, 1833325 edges, 53160 markings/sec, 25 secs
lola: 1960050 markings, 2118921 edges, 52988 markings/sec, 30 secs
lola: 2245708 markings, 2418811 edges, 57132 markings/sec, 35 secs
lola: 2572240 markings, 2746574 edges, 65306 markings/sec, 40 secs
lola: 2893535 markings, 3069760 edges, 64259 markings/sec, 45 secs
lola: 3211919 markings, 3389807 edges, 63677 markings/sec, 50 secs
lola: 3532427 markings, 3712074 edges, 64102 markings/sec, 55 secs
lola: 3852956 markings, 4034268 edges, 64106 markings/sec, 60 secs
lola: 4171280 markings, 4354346 edges, 63665 markings/sec, 65 secs
lola: 4489260 markings, 4673981 edges, 63596 markings/sec, 70 secs
lola: 4802899 markings, 4990073 edges, 62728 markings/sec, 75 secs
lola: 5113954 markings, 5303530 edges, 62211 markings/sec, 80 secs
lola: 5424134 markings, 5616070 edges, 62036 markings/sec, 85 secs
lola: 5733969 markings, 5928308 edges, 61967 markings/sec, 90 secs
lola: 6039716 markings, 6236669 edges, 61149 markings/sec, 95 secs
lola: 6336024 markings, 6535350 edges, 59262 markings/sec, 100 secs
lola: 6642724 markings, 6844486 edges, 61340 markings/sec, 105 secs
lola: 6962980 markings, 7167231 edges, 64051 markings/sec, 110 secs
lola: 7276890 markings, 7483517 edges, 62782 markings/sec, 115 secs
lola: 7415675 markings, 7623419 edges, 27757 markings/sec, 120 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 242 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pb2_10_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 5612 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: 210667 markings, 228414 edges, 42133 markings/sec, 0 secs
lola: 408667 markings, 436806 edges, 39600 markings/sec, 5 secs
lola: 617498 markings, 650427 edges, 41766 markings/sec, 10 secs
lola: 833172 markings, 868002 edges, 43135 markings/sec, 15 secs
lola: 1042404 markings, 1079181 edges, 41846 markings/sec, 20 secs
lola: 1256574 markings, 1295080 edges, 42834 markings/sec, 25 secs
lola: 1468775 markings, 1508952 edges, 42440 markings/sec, 30 secs
lola: 1680944 markings, 1722814 edges, 42434 markings/sec, 35 secs
lola: 1892742 markings, 1936378 edges, 42360 markings/sec, 40 secs
lola: 2100343 markings, 2145657 edges, 41520 markings/sec, 45 secs
lola: 2316454 markings, 2362730 edges, 43222 markings/sec, 50 secs
lola: 2527875 markings, 2574804 edges, 42284 markings/sec, 55 secs
lola: 2738921 markings, 2788096 edges, 42209 markings/sec, 60 secs
lola: 2949759 markings, 3001756 edges, 42168 markings/sec, 65 secs
lola: 3161479 markings, 3216346 edges, 42344 markings/sec, 70 secs
lola: 3373263 markings, 3430974 edges, 42357 markings/sec, 75 secs
lola: 3585427 markings, 3645988 edges, 42433 markings/sec, 80 secs
lola: 3797221 markings, 3860632 edges, 42359 markings/sec, 85 secs
lola: 4009676 markings, 4075942 edges, 42491 markings/sec, 90 secs
lola: 4222364 markings, 4291507 edges, 42538 markings/sec, 95 secs
lola: 4435184 markings, 4507166 edges, 42564 markings/sec, 100 secs
lola: 4647169 markings, 4722005 edges, 42397 markings/sec, 105 secs
lola: 4857205 markings, 4934873 edges, 42007 markings/sec, 110 secs
lola: 5067260 markings, 5147763 edges, 42011 markings/sec, 115 secs
lola: 5277521 markings, 5360837 edges, 42052 markings/sec, 120 secs
lola: 5487493 markings, 5573641 edges, 41994 markings/sec, 125 secs
lola: 5697197 markings, 5786177 edges, 41941 markings/sec, 130 secs
lola: 5906867 markings, 5998655 edges, 41934 markings/sec, 135 secs
lola: 6118476 markings, 6213114 edges, 42322 markings/sec, 140 secs
lola: 6330857 markings, 6428348 edges, 42476 markings/sec, 145 secs
lola: 6543469 markings, 6643889 edges, 42522 markings/sec, 150 secs
lola: 6753938 markings, 6857237 edges, 42094 markings/sec, 155 secs
lola: 6962993 markings, 7068653 edges, 41811 markings/sec, 160 secs
lola: 7170061 markings, 7278042 edges, 41414 markings/sec, 165 secs
lola: 7377127 markings, 7487556 edges, 41413 markings/sec, 170 secs
lola: 7594681 markings, 7707674 edges, 43511 markings/sec, 175 secs
lola: 7809945 markings, 7925388 edges, 43053 markings/sec, 180 secs
lola: 8024569 markings, 8142524 edges, 42925 markings/sec, 185 secs
lola: 8238705 markings, 8359124 edges, 42827 markings/sec, 190 secs
lola: 8452594 markings, 8575395 edges, 42778 markings/sec, 195 secs
lola: 8666457 markings, 8791786 edges, 42773 markings/sec, 200 secs
lola: 8885047 markings, 9012956 edges, 43718 markings/sec, 205 secs
lola: 9100561 markings, 9230810 edges, 43103 markings/sec, 210 secs
lola: 9315012 markings, 9447596 edges, 42890 markings/sec, 215 secs
lola: 9531352 markings, 9666377 edges, 43268 markings/sec, 220 secs
lola: 9744215 markings, 9881711 edges, 42573 markings/sec, 225 secs
lola: 9958697 markings, 10098615 edges, 42896 markings/sec, 230 secs
lola: 10173433 markings, 10315834 edges, 42947 markings/sec, 235 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 242 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1o_6_7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 5612 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: 173698 markings, 183426 edges, 34740 markings/sec, 0 secs
lola: 331991 markings, 351363 edges, 31659 markings/sec, 5 secs
lola: 495487 markings, 518062 edges, 32699 markings/sec, 10 secs
lola: 660869 markings, 686280 edges, 33076 markings/sec, 15 secs
lola: 824378 markings, 852891 edges, 32702 markings/sec, 20 secs
lola: 989099 markings, 1020795 edges, 32944 markings/sec, 25 secs
lola: 1153756 markings, 1188627 edges, 32931 markings/sec, 30 secs
lola: 1318578 markings, 1356597 edges, 32964 markings/sec, 35 secs
lola: 1483758 markings, 1524996 edges, 33036 markings/sec, 40 secs
lola: 1648832 markings, 1693193 edges, 33015 markings/sec, 45 secs
lola: 1814140 markings, 1861747 edges, 33062 markings/sec, 50 secs
lola: 1979200 markings, 2029951 edges, 33012 markings/sec, 55 secs
lola: 2142724 markings, 2196662 edges, 32705 markings/sec, 60 secs
lola: 2306444 markings, 2363473 edges, 32744 markings/sec, 65 secs
lola: 2466566 markings, 2526779 edges, 32024 markings/sec, 70 secs
lola: 2630068 markings, 2693261 edges, 32700 markings/sec, 75 secs
lola: 2794176 markings, 2860773 edges, 32822 markings/sec, 80 secs
lola: 2956310 markings, 3026692 edges, 32427 markings/sec, 85 secs
lola: 3118655 markings, 3192816 edges, 32469 markings/sec, 90 secs
lola: 3280262 markings, 3358321 edges, 32321 markings/sec, 95 secs
lola: 3441141 markings, 3522941 edges, 32176 markings/sec, 100 secs
lola: 3602052 markings, 3687736 edges, 32182 markings/sec, 105 secs
lola: 3764710 markings, 3854174 edges, 32532 markings/sec, 110 secs
lola: 3927003 markings, 4020389 edges, 32459 markings/sec, 115 secs
lola: 4091801 markings, 4189045 edges, 32960 markings/sec, 120 secs
lola: 4254152 markings, 4355200 edges, 32470 markings/sec, 125 secs
lola: 4417522 markings, 4522406 edges, 32674 markings/sec, 130 secs
lola: 4579683 markings, 4688346 edges, 32432 markings/sec, 135 secs
lola: 4739611 markings, 4851867 edges, 31986 markings/sec, 140 secs
lola: 4901639 markings, 5017740 edges, 32406 markings/sec, 145 secs
lola: 5061547 markings, 5181439 edges, 31982 markings/sec, 150 secs
lola: 5221912 markings, 5345615 edges, 32073 markings/sec, 155 secs
lola: 5381036 markings, 5508417 edges, 31825 markings/sec, 160 secs
lola: 5542487 markings, 5673740 edges, 32290 markings/sec, 165 secs
lola: 5702518 markings, 5837498 edges, 32006 markings/sec, 170 secs
lola: 5862834 markings, 6001593 edges, 32063 markings/sec, 175 secs
lola: 6023994 markings, 6166614 edges, 32232 markings/sec, 180 secs
lola: 6185235 markings, 6331629 edges, 32248 markings/sec, 185 secs
lola: 6344230 markings, 6494312 edges, 31799 markings/sec, 190 secs
lola: 6505042 markings, 6658930 edges, 32162 markings/sec, 195 secs
lola: 6667323 markings, 6825026 edges, 32456 markings/sec, 200 secs
lola: 6829053 markings, 6990600 edges, 32346 markings/sec, 205 secs
lola: 6990756 markings, 7156105 edges, 32341 markings/sec, 210 secs
lola: 7151992 markings, 7321093 edges, 32247 markings/sec, 215 secs
lola: 7314138 markings, 7487052 edges, 32429 markings/sec, 220 secs
lola: 7479696 markings, 7656494 edges, 33112 markings/sec, 225 secs
lola: 7644055 markings, 7824688 edges, 32872 markings/sec, 230 secs
lola: 7809160 markings, 7993692 edges, 33021 markings/sec, 235 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 242 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pb3_7_5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 5612 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: 176573 markings, 197170 edges, 35315 markings/sec, 0 secs
lola: 337870 markings, 376732 edges, 32259 markings/sec, 5 secs
lola: 488623 markings, 547850 edges, 30151 markings/sec, 10 secs
lola: 629167 markings, 708605 edges, 28109 markings/sec, 15 secs
lola: 776319 markings, 905732 edges, 29430 markings/sec, 20 secs
lola: 915325 markings, 1062733 edges, 27801 markings/sec, 25 secs
lola: 1047358 markings, 1216676 edges, 26407 markings/sec, 30 secs
lola: 1233640 markings, 1414055 edges, 37256 markings/sec, 35 secs
lola: 1418683 markings, 1610365 edges, 37009 markings/sec, 40 secs
lola: 1604788 markings, 1805956 edges, 37221 markings/sec, 45 secs
lola: 1786723 markings, 1995772 edges, 36387 markings/sec, 50 secs
lola: 1960570 markings, 2188914 edges, 34769 markings/sec, 55 secs
lola: 2130974 markings, 2370632 edges, 34081 markings/sec, 60 secs
lola: 2293796 markings, 2538587 edges, 32564 markings/sec, 65 secs
lola: 2457959 markings, 2705532 edges, 32833 markings/sec, 70 secs
lola: 2632479 markings, 2881573 edges, 34904 markings/sec, 75 secs
lola: 2806921 markings, 3058191 edges, 34888 markings/sec, 80 secs
lola: 2981940 markings, 3234908 edges, 35004 markings/sec, 85 secs
lola: 3157511 markings, 3412436 edges, 35114 markings/sec, 90 secs
lola: 3333605 markings, 3590485 edges, 35219 markings/sec, 95 secs
lola: 3508296 markings, 3766973 edges, 34938 markings/sec, 100 secs
lola: 3682416 markings, 3942770 edges, 34824 markings/sec, 105 secs
lola: 3853600 markings, 4115405 edges, 34237 markings/sec, 110 secs
lola: 4023212 markings, 4285778 edges, 33922 markings/sec, 115 secs
lola: 4190279 markings, 4453683 edges, 33413 markings/sec, 120 secs
lola: 4357247 markings, 4621623 edges, 33394 markings/sec, 125 secs
lola: 4525724 markings, 4791265 edges, 33695 markings/sec, 130 secs
lola: 4693471 markings, 4959979 edges, 33549 markings/sec, 135 secs
lola: 4858982 markings, 5126580 edges, 33102 markings/sec, 140 secs
lola: 5024765 markings, 5293352 edges, 33157 markings/sec, 145 secs
lola: 5191107 markings, 5460414 edges, 33268 markings/sec, 150 secs
lola: 5355695 markings, 5625653 edges, 32918 markings/sec, 155 secs
lola: 5519951 markings, 5790594 edges, 32851 markings/sec, 160 secs
lola: 5684855 markings, 5956171 edges, 32981 markings/sec, 165 secs
lola: 5849639 markings, 6121425 edges, 32957 markings/sec, 170 secs
lola: 6016031 markings, 6288190 edges, 33278 markings/sec, 175 secs
lola: 6190848 markings, 6463094 edges, 34963 markings/sec, 180 secs
lola: 6372301 markings, 6644622 edges, 36291 markings/sec, 185 secs
lola: 6552254 markings, 6824672 edges, 35991 markings/sec, 190 secs
lola: 6732007 markings, 7004532 edges, 35951 markings/sec, 195 secs
lola: 6910142 markings, 7182991 edges, 35627 markings/sec, 200 secs
lola: 7083947 markings, 7356860 edges, 34761 markings/sec, 205 secs
lola: 7256574 markings, 7529564 edges, 34525 markings/sec, 210 secs
lola: 7426992 markings, 7700071 edges, 34084 markings/sec, 215 secs
lola: 7602311 markings, 7875484 edges, 35064 markings/sec, 220 secs
lola: 7776883 markings, 8050149 edges, 34914 markings/sec, 225 secs
lola: 7951341 markings, 8224708 edges, 34892 markings/sec, 230 secs
lola: 8127270 markings, 8400732 edges, 35186 markings/sec, 235 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 242 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1ol_2_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 5612 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: 325425 markings, 333932 edges, 65085 markings/sec, 0 secs
lola: 654896 markings, 679791 edges, 65894 markings/sec, 5 secs
lola: 988079 markings, 1029431 edges, 66637 markings/sec, 10 secs
lola: 1310968 markings, 1368201 edges, 64578 markings/sec, 15 secs
lola: 1615933 markings, 1687574 edges, 60993 markings/sec, 20 secs
lola: 1937985 markings, 2011130 edges, 64410 markings/sec, 25 secs
lola: 2262877 markings, 2336962 edges, 64978 markings/sec, 30 secs
lola: 2583751 markings, 2658859 edges, 64175 markings/sec, 35 secs
lola: 2903357 markings, 2978983 edges, 63921 markings/sec, 40 secs
lola: 3214821 markings, 3290863 edges, 62293 markings/sec, 45 secs
lola: 3541643 markings, 3617904 edges, 65364 markings/sec, 50 secs
lola: 3873135 markings, 3949794 edges, 66298 markings/sec, 55 secs
lola: 4202168 markings, 4279206 edges, 65807 markings/sec, 60 secs
lola: 4527448 markings, 4604872 edges, 65056 markings/sec, 65 secs
lola: 4851593 markings, 4929401 edges, 64829 markings/sec, 70 secs
lola: 5174695 markings, 5252896 edges, 64620 markings/sec, 75 secs
lola: 5497073 markings, 5575635 edges, 64476 markings/sec, 80 secs
lola: 5820485 markings, 5899435 edges, 64682 markings/sec, 85 secs
lola: 6142421 markings, 6221755 edges, 64387 markings/sec, 90 secs
lola: 6462828 markings, 6542463 edges, 64081 markings/sec, 95 secs
lola: 6783372 markings, 6863312 edges, 64109 markings/sec, 100 secs
lola: 7107568 markings, 7187792 edges, 64839 markings/sec, 105 secs
lola: 7427444 markings, 7507927 edges, 63975 markings/sec, 110 secs
lola: 7738411 markings, 7819081 edges, 62193 markings/sec, 115 secs
lola: 8044702 markings, 8125557 edges, 61258 markings/sec, 120 secs
lola: 8346813 markings, 8427847 edges, 60422 markings/sec, 125 secs
lola: 8651648 markings, 8732866 edges, 60967 markings/sec, 130 secs
lola: 8958157 markings, 9039559 edges, 61302 markings/sec, 135 secs
lola: 9262731 markings, 9344314 edges, 60915 markings/sec, 140 secs
lola: 9567948 markings, 9649717 edges, 61043 markings/sec, 145 secs
lola: 9883573 markings, 9965421 edges, 63125 markings/sec, 150 secs
lola: 10209942 markings, 10291793 edges, 65274 markings/sec, 155 secs
lola: 10530616 markings, 10612499 edges, 64135 markings/sec, 160 secs
lola: 10851505 markings, 10933426 edges, 64178 markings/sec, 165 secs
lola: 11171511 markings, 11253468 edges, 64001 markings/sec, 170 secs
lola: 11491213 markings, 11573185 edges, 63940 markings/sec, 175 secs
lola: 11814867 markings, 11896866 edges, 64731 markings/sec, 180 secs
lola: 12136808 markings, 12218845 edges, 64388 markings/sec, 185 secs
lola: 12452102 markings, 12534173 edges, 63059 markings/sec, 190 secs
lola: 12768658 markings, 12850761 edges, 63311 markings/sec, 195 secs
lola: 13085892 markings, 13168025 edges, 63447 markings/sec, 200 secs
lola: 13404550 markings, 13486695 edges, 63732 markings/sec, 205 secs
lola: 13729047 markings, 13811216 edges, 64899 markings/sec, 210 secs
lola: 14052409 markings, 14134584 edges, 64672 markings/sec, 215 secs
lola: 14376188 markings, 14458363 edges, 64756 markings/sec, 220 secs
lola: 14699668 markings, 14781855 edges, 64696 markings/sec, 225 secs
lola: 15023247 markings, 15105443 edges, 64716 markings/sec, 230 secs
lola: 15353893 markings, 15436136 edges, 66129 markings/sec, 235 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 242 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pb4_1_6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 5612 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: 358625 markings, 372750 edges, 71725 markings/sec, 0 secs
lola: 744699 markings, 766083 edges, 77215 markings/sec, 5 secs
lola: 1149809 markings, 1190016 edges, 81022 markings/sec, 10 secs
lola: 1538551 markings, 1612025 edges, 77748 markings/sec, 15 secs
lola: 1930909 markings, 2025065 edges, 78472 markings/sec, 20 secs
lola: 2313706 markings, 2425675 edges, 76559 markings/sec, 25 secs
lola: 2683418 markings, 2817659 edges, 73942 markings/sec, 30 secs
lola: 3039794 markings, 3203057 edges, 71275 markings/sec, 35 secs
lola: 3351861 markings, 3604452 edges, 62413 markings/sec, 40 secs
lola: 3685715 markings, 4035537 edges, 66771 markings/sec, 45 secs
lola: 4066396 markings, 4445560 edges, 76136 markings/sec, 50 secs
lola: 4447530 markings, 4850828 edges, 76227 markings/sec, 55 secs
lola: 4823600 markings, 5242626 edges, 75214 markings/sec, 60 secs
lola: 5185114 markings, 5624847 edges, 72303 markings/sec, 65 secs
lola: 5534510 markings, 6000773 edges, 69879 markings/sec, 70 secs
lola: 5874045 markings, 6369325 edges, 67907 markings/sec, 75 secs
lola: 6148944 markings, 6792347 edges, 54980 markings/sec, 80 secs
lola: 6513558 markings, 7191741 edges, 72923 markings/sec, 85 secs
lola: 6881965 markings, 7587897 edges, 73681 markings/sec, 90 secs
lola: 7251766 markings, 7971835 edges, 73960 markings/sec, 95 secs
lola: 7609475 markings, 8349337 edges, 71542 markings/sec, 100 secs
lola: 7958700 markings, 8722288 edges, 69845 markings/sec, 105 secs
lola: 8296145 markings, 9088966 edges, 67489 markings/sec, 110 secs
lola: 8562242 markings, 9500503 edges, 53219 markings/sec, 115 secs
lola: 8910774 markings, 9885887 edges, 69706 markings/sec, 120 secs
lola: 9270942 markings, 10273770 edges, 72034 markings/sec, 125 secs
lola: 9632277 markings, 10648725 edges, 72267 markings/sec, 130 secs
lola: 9983801 markings, 11018536 edges, 70305 markings/sec, 135 secs
lola: 10325690 markings, 11383679 edges, 68378 markings/sec, 140 secs
lola: 10659008 markings, 11744699 edges, 66664 markings/sec, 145 secs
lola: 10919001 markings, 12142886 edges, 51999 markings/sec, 150 secs
lola: 11271101 markings, 12538471 edges, 70420 markings/sec, 155 secs
lola: 11640623 markings, 12935379 edges, 73904 markings/sec, 160 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 260 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1ol_14_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 5612 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: 209517 markings, 214549 edges, 41903 markings/sec, 0 secs
lola: 397659 markings, 404311 edges, 37628 markings/sec, 5 secs
lola: 577161 markings, 584813 edges, 35900 markings/sec, 10 secs
lola: 749128 markings, 757649 edges, 34393 markings/sec, 15 secs
lola: 918490 markings, 927819 edges, 33872 markings/sec, 20 secs
lola: 1086789 markings, 1097360 edges, 33660 markings/sec, 25 secs
lola: 1253388 markings, 1265247 edges, 33320 markings/sec, 30 secs
lola: 1422346 markings, 1435532 edges, 33792 markings/sec, 35 secs
lola: 1591120 markings, 1605177 edges, 33755 markings/sec, 40 secs
lola: 1763463 markings, 1777820 edges, 34469 markings/sec, 45 secs
lola: 1935851 markings, 1950848 edges, 34478 markings/sec, 50 secs
lola: 2106116 markings, 2121424 edges, 34053 markings/sec, 55 secs
lola: 2277815 markings, 2293677 edges, 34340 markings/sec, 60 secs
lola: 2448210 markings, 2464252 edges, 34079 markings/sec, 65 secs
lola: 2618382 markings, 2634619 edges, 34034 markings/sec, 70 secs
lola: 2788275 markings, 2804702 edges, 33979 markings/sec, 75 secs
lola: 2957709 markings, 2974355 edges, 33887 markings/sec, 80 secs
lola: 3126880 markings, 3144499 edges, 33834 markings/sec, 85 secs
lola: 3298124 markings, 3316509 edges, 34249 markings/sec, 90 secs
lola: 3468280 markings, 3487349 edges, 34031 markings/sec, 95 secs
lola: 3637286 markings, 3657191 edges, 33801 markings/sec, 100 secs
lola: 3806097 markings, 3826605 edges, 33762 markings/sec, 105 secs
lola: 3974869 markings, 3996220 edges, 33754 markings/sec, 110 secs
lola: 4144559 markings, 4166769 edges, 33938 markings/sec, 115 secs
lola: 4314450 markings, 4337321 edges, 33978 markings/sec, 120 secs
lola: 4483213 markings, 4506848 edges, 33753 markings/sec, 125 secs
lola: 4654143 markings, 4678535 edges, 34186 markings/sec, 130 secs
lola: 4824474 markings, 4849470 edges, 34066 markings/sec, 135 secs
lola: 4995598 markings, 5021418 edges, 34225 markings/sec, 140 secs
lola: 5165284 markings, 5191660 edges, 33937 markings/sec, 145 secs
lola: 5334173 markings, 5361402 edges, 33778 markings/sec, 150 secs
lola: 5505103 markings, 5532842 edges, 34186 markings/sec, 155 secs
lola: 5675740 markings, 5704395 edges, 34127 markings/sec, 160 secs
lola: 5846211 markings, 5875318 edges, 34094 markings/sec, 165 secs
lola: 6016212 markings, 6046278 edges, 34000 markings/sec, 170 secs
lola: 6186429 markings, 6216918 edges, 34043 markings/sec, 175 secs
lola: 6355667 markings, 6387105 edges, 33848 markings/sec, 180 secs
lola: 6524360 markings, 6556372 edges, 33739 markings/sec, 185 secs
lola: 6691236 markings, 6724017 edges, 33375 markings/sec, 190 secs
lola: 6858575 markings, 6892085 edges, 33468 markings/sec, 195 secs
lola: 7023283 markings, 7057380 edges, 32942 markings/sec, 200 secs
lola: 7189364 markings, 7224242 edges, 33216 markings/sec, 205 secs
lola: 7354955 markings, 7390386 edges, 33118 markings/sec, 210 secs
lola: 7521091 markings, 7557342 edges, 33227 markings/sec, 215 secs
lola: 7686756 markings, 7723523 edges, 33133 markings/sec, 220 secs
lola: 7854057 markings, 7891683 edges, 33460 markings/sec, 225 secs
lola: 8021926 markings, 8060014 edges, 33574 markings/sec, 230 secs
lola: 8189364 markings, 8228381 edges, 33488 markings/sec, 235 secs
lola: 8356266 markings, 8395696 edges, 33380 markings/sec, 240 secs
lola: 8521647 markings, 8562001 edges, 33076 markings/sec, 245 secs
lola: 8688505 markings, 8729314 edges, 33372 markings/sec, 250 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 259 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pb4_10_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 5612 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: 163232 markings, 235990 edges, 32646 markings/sec, 0 secs
lola: 308971 markings, 427241 edges, 29148 markings/sec, 5 secs
lola: 441868 markings, 630961 edges, 26579 markings/sec, 10 secs
lola: 578229 markings, 819555 edges, 27272 markings/sec, 15 secs
lola: 708331 markings, 1010691 edges, 26020 markings/sec, 20 secs
lola: 835797 markings, 1199371 edges, 25493 markings/sec, 25 secs
lola: 960636 markings, 1386782 edges, 24968 markings/sec, 30 secs
lola: 1083263 markings, 1575274 edges, 24525 markings/sec, 35 secs
lola: 1189695 markings, 1793017 edges, 21286 markings/sec, 40 secs
lola: 1211187 markings, 2159322 edges, 4298 markings/sec, 45 secs
lola: 1275112 markings, 2496165 edges, 12785 markings/sec, 50 secs
lola: 1419360 markings, 2694800 edges, 28850 markings/sec, 55 secs
lola: 1555876 markings, 2900838 edges, 27303 markings/sec, 60 secs
lola: 1692939 markings, 3088014 edges, 27413 markings/sec, 65 secs
lola: 1824140 markings, 3277419 edges, 26240 markings/sec, 70 secs
lola: 1951369 markings, 3467972 edges, 25446 markings/sec, 75 secs
lola: 2077219 markings, 3655324 edges, 25170 markings/sec, 80 secs
lola: 2200477 markings, 3842278 edges, 24652 markings/sec, 85 secs
lola: 2320651 markings, 4036949 edges, 24035 markings/sec, 90 secs
lola: 2354499 markings, 4385745 edges, 6770 markings/sec, 95 secs
lola: 2390224 markings, 4760489 edges, 7145 markings/sec, 100 secs
lola: 2533440 markings, 4957244 edges, 28643 markings/sec, 105 secs
lola: 2668594 markings, 5161492 edges, 27031 markings/sec, 110 secs
lola: 2804422 markings, 5346491 edges, 27166 markings/sec, 115 secs
lola: 2935398 markings, 5535317 edges, 26195 markings/sec, 120 secs
lola: 3062638 markings, 5725469 edges, 25448 markings/sec, 125 secs
lola: 3188787 markings, 5912795 edges, 25230 markings/sec, 130 secs
lola: 3312372 markings, 6100523 edges, 24717 markings/sec, 135 secs
lola: 3434124 markings, 6294152 edges, 24350 markings/sec, 140 secs
lola: 3471747 markings, 6640903 edges, 7525 markings/sec, 145 secs
lola: 3504384 markings, 7014012 edges, 6527 markings/sec, 150 secs
lola: 3638587 markings, 7198305 edges, 26841 markings/sec, 155 secs
lola: 3764906 markings, 7391520 edges, 25264 markings/sec, 160 secs
lola: 3894317 markings, 7568340 edges, 25882 markings/sec, 165 secs
lola: 4020320 markings, 7749524 edges, 25201 markings/sec, 170 secs
lola: 4142562 markings, 7933311 edges, 24448 markings/sec, 175 secs
lola: 4264639 markings, 8113004 edges, 24415 markings/sec, 180 secs
lola: 4383986 markings, 8294938 edges, 23869 markings/sec, 185 secs
lola: 4505067 markings, 8477202 edges, 24216 markings/sec, 190 secs
lola: 4557306 markings, 8772224 edges, 10448 markings/sec, 195 secs
lola: 4567731 markings, 9143230 edges, 2085 markings/sec, 200 secs
lola: 4686199 markings, 9356452 edges, 23694 markings/sec, 205 secs
lola: 4813481 markings, 9550427 edges, 25456 markings/sec, 210 secs
lola: 4942562 markings, 9725407 edges, 25816 markings/sec, 215 secs
lola: 5066316 markings, 9903019 edges, 24751 markings/sec, 220 secs
lola: 5186994 markings, 10083362 edges, 24136 markings/sec, 225 secs
lola: 5307889 markings, 10260611 edges, 24179 markings/sec, 230 secs
lola: 5425511 markings, 10441200 edges, 23524 markings/sec, 235 secs
lola: 5545012 markings, 10620655 edges, 23900 markings/sec, 240 secs
lola: 5615079 markings, 10881939 edges, 14013 markings/sec, 245 secs
lola: 5628659 markings, 11235656 edges, 2716 markings/sec, 250 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 259 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1i_2_8)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 5612 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: 173340 markings, 207070 edges, 34668 markings/sec, 0 secs
lola: 335280 markings, 373962 edges, 32388 markings/sec, 5 secs
lola: 501442 markings, 545874 edges, 33232 markings/sec, 10 secs
lola: 669484 markings, 720103 edges, 33608 markings/sec, 15 secs
lola: 827567 markings, 880351 edges, 31617 markings/sec, 20 secs
lola: 982141 markings, 1037127 edges, 30915 markings/sec, 25 secs
lola: 1139649 markings, 1196867 edges, 31502 markings/sec, 30 secs
lola: 1295690 markings, 1354994 edges, 31208 markings/sec, 35 secs
lola: 1450531 markings, 1511973 edges, 30968 markings/sec, 40 secs
lola: 1605132 markings, 1668715 edges, 30920 markings/sec, 45 secs
lola: 1761601 markings, 1827759 edges, 31294 markings/sec, 50 secs
lola: 1914153 markings, 1982418 edges, 30510 markings/sec, 55 secs
lola: 2066381 markings, 2136698 edges, 30446 markings/sec, 60 secs
lola: 2221185 markings, 2293616 edges, 30961 markings/sec, 65 secs
lola: 2375716 markings, 2450244 edges, 30906 markings/sec, 70 secs
lola: 2531833 markings, 2608951 edges, 31223 markings/sec, 75 secs
lola: 2688506 markings, 2768315 edges, 31335 markings/sec, 80 secs
lola: 2844037 markings, 2926527 edges, 31106 markings/sec, 85 secs
lola: 3000376 markings, 3085562 edges, 31268 markings/sec, 90 secs
lola: 3156857 markings, 3245190 edges, 31296 markings/sec, 95 secs
lola: 3311659 markings, 3402679 edges, 30960 markings/sec, 100 secs
lola: 3466987 markings, 3560127 edges, 31066 markings/sec, 105 secs
lola: 3622233 markings, 3717487 edges, 31049 markings/sec, 110 secs
lola: 3779118 markings, 3878266 edges, 31377 markings/sec, 115 secs
lola: 3932542 markings, 4035186 edges, 30685 markings/sec, 120 secs
lola: 4084373 markings, 4189134 edges, 30366 markings/sec, 125 secs
lola: 4239803 markings, 4348654 edges, 31086 markings/sec, 130 secs
lola: 4391997 markings, 4503769 edges, 30439 markings/sec, 135 secs
lola: 4543269 markings, 4657794 edges, 30254 markings/sec, 140 secs
lola: 4697261 markings, 4815475 edges, 30798 markings/sec, 145 secs
lola: 4848176 markings, 4969038 edges, 30183 markings/sec, 150 secs
lola: 4999595 markings, 5123651 edges, 30284 markings/sec, 155 secs
lola: 5151380 markings, 5278723 edges, 30357 markings/sec, 160 secs
lola: 5302617 markings, 5432535 edges, 30247 markings/sec, 165 secs
lola: 5455219 markings, 5588840 edges, 30520 markings/sec, 170 secs
lola: 5607089 markings, 5744007 edges, 30374 markings/sec, 175 secs
lola: 5758124 markings, 5897415 edges, 30207 markings/sec, 180 secs
lola: 5909177 markings, 6052224 edges, 30211 markings/sec, 185 secs
lola: 6060276 markings, 6206205 edges, 30220 markings/sec, 190 secs
lola: 6210781 markings, 6359413 edges, 30101 markings/sec, 195 secs
lola: 6363928 markings, 6516317 edges, 30629 markings/sec, 200 secs
lola: 6513653 markings, 6668594 edges, 29945 markings/sec, 205 secs
lola: 6662970 markings, 6821108 edges, 29863 markings/sec, 210 secs
lola: 6814638 markings, 6976177 edges, 30334 markings/sec, 215 secs
lola: 6967644 markings, 7132232 edges, 30601 markings/sec, 220 secs
lola: 7119874 markings, 7287444 edges, 30446 markings/sec, 225 secs
lola: 7271849 markings, 7442338 edges, 30395 markings/sec, 230 secs
lola: 7422705 markings, 7596422 edges, 30171 markings/sec, 235 secs
lola: 7573002 markings, 7749705 edges, 30059 markings/sec, 240 secs
lola: 7722765 markings, 7902053 edges, 29953 markings/sec, 245 secs
lola: 7871633 markings, 8052982 edges, 29774 markings/sec, 250 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 259 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pb2_10_6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 5612 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: 233312 markings, 237770 edges, 46662 markings/sec, 0 secs
lola: 455319 markings, 463562 edges, 44401 markings/sec, 5 secs
lola: 669717 markings, 688407 edges, 42880 markings/sec, 10 secs
lola: 879858 markings, 909893 edges, 42028 markings/sec, 15 secs
lola: 1082915 markings, 1123882 edges, 40611 markings/sec, 20 secs
lola: 1292824 markings, 1344996 edges, 41982 markings/sec, 25 secs
lola: 1499833 markings, 1559370 edges, 41402 markings/sec, 30 secs
lola: 1704104 markings, 1767475 edges, 40854 markings/sec, 35 secs
lola: 1904501 markings, 1971908 edges, 40079 markings/sec, 40 secs
lola: 2102657 markings, 2174561 edges, 39631 markings/sec, 45 secs
lola: 2300080 markings, 2382226 edges, 39485 markings/sec, 50 secs
lola: 2491724 markings, 2587368 edges, 38329 markings/sec, 55 secs
lola: 2682478 markings, 2849492 edges, 38151 markings/sec, 60 secs
lola: 2859819 markings, 3090664 edges, 35468 markings/sec, 65 secs
lola: 3034508 markings, 3315776 edges, 34938 markings/sec, 70 secs
lola: 3198478 markings, 3538610 edges, 32794 markings/sec, 75 secs
lola: 3240123 markings, 3960324 edges, 8329 markings/sec, 80 secs
lola: 3417046 markings, 4229336 edges, 35385 markings/sec, 85 secs
lola: 3592392 markings, 4466587 edges, 35069 markings/sec, 90 secs
lola: 3764855 markings, 4690452 edges, 34493 markings/sec, 95 secs
lola: 3928376 markings, 4910591 edges, 32704 markings/sec, 100 secs
lola: 3979151 markings, 5331377 edges, 10155 markings/sec, 105 secs
lola: 4169985 markings, 5585538 edges, 38167 markings/sec, 110 secs
lola: 4361994 markings, 5828189 edges, 38402 markings/sec, 115 secs
lola: 4540471 markings, 6069704 edges, 35695 markings/sec, 120 secs
lola: 4714464 markings, 6292311 edges, 34799 markings/sec, 125 secs
lola: 4880164 markings, 6515725 edges, 33140 markings/sec, 130 secs
lola: 4935031 markings, 6921601 edges, 10973 markings/sec, 135 secs
lola: 5105449 markings, 7180114 edges, 34084 markings/sec, 140 secs
lola: 5282956 markings, 7422395 edges, 35501 markings/sec, 145 secs
lola: 5453340 markings, 7649230 edges, 34077 markings/sec, 150 secs
lola: 5620175 markings, 7867501 edges, 33367 markings/sec, 155 secs
lola: 5737463 markings, 8159349 edges, 23458 markings/sec, 160 secs
lola: 5825523 markings, 8525887 edges, 17612 markings/sec, 165 secs
lola: 6002733 markings, 8766748 edges, 35442 markings/sec, 170 secs
lola: 6173590 markings, 8995470 edges, 34171 markings/sec, 175 secs
lola: 6340015 markings, 9211811 edges, 33285 markings/sec, 180 secs
lola: 6420411 markings, 9572975 edges, 16079 markings/sec, 185 secs
lola: 6550215 markings, 9870366 edges, 25961 markings/sec, 190 secs
lola: 6738628 markings, 10105259 edges, 37683 markings/sec, 195 secs
lola: 6914478 markings, 10335725 edges, 35170 markings/sec, 200 secs
lola: 7087051 markings, 10557731 edges, 34515 markings/sec, 205 secs
lola: 7205779 markings, 10860860 edges, 23746 markings/sec, 210 secs
lola: 7293913 markings, 11223889 edges, 17627 markings/sec, 215 secs
lola: 7457974 markings, 11440057 edges, 32812 markings/sec, 220 secs
lola: 7622671 markings, 11652146 edges, 32939 markings/sec, 225 secs
lola: 7782255 markings, 11864090 edges, 31917 markings/sec, 230 secs
lola: 7848815 markings, 12215920 edges, 13312 markings/sec, 235 secs
lola: 7973010 markings, 12497070 edges, 24839 markings/sec, 240 secs
lola: 8157399 markings, 12705404 edges, 36878 markings/sec, 245 secs
lola: 8335535 markings, 12908494 edges, 35627 markings/sec, 250 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-130613-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-130613-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-130613-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-130613-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-130613-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-130613-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-130613-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-130613-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-130613-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-130613-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-130613-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-130613-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-130613-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-130613-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-130613-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-130613-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494938391356

--------------------
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="SquareGrid-PT-130613"
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/SquareGrid-PT-130613.tgz
mv SquareGrid-PT-130613 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 SquareGrid-PT-130613, 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 r078-ebro-149441008300155"
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 ;