Execution Chart

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

Trace from the execution

Waiting for the VM to be ready (probing ssh)
......
=====================================================================
Generated by BenchKit 2-3254
Executing tool lola
Input is HypercubeGrid-PT-C4K3P3B12, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r038-blw7-149440484500011
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1494613867430


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ HypercubeGrid-PT-C4K3P3B12 @ 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: 7857/65536 symbol table entries, 1827 collisions
lola: preprocessing...
lola: finding significant places
lola: 2457 places, 5400 transitions, 1511 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 6345 transition conflict sets
lola: TASK
lola: reading formula from HypercubeGrid-PT-C4K3P3B12-UpperBounds.task
lola: MAX(pil_d4_n1_3_3_1_4) : MAX(pb_d3_n1_2_3_2_2) : MAX(po_d4_n1_2_1_2_4) : MAX(pi_d3_n1_2_1_1_3) : MAX(pil_d1_n1_2_1_1_1) : MAX(po_d3_n1_3_1_3_1) : MAX(pb_d4_n1_3_3_3_1) : MAX(pb_d2_n2_1_1_1_1) : MAX(po_d4_n1_3_3_2_1) : MAX(pb_d3_n1_3_3_1_1) : MAX(pil_d3_n1_1_1_2_1) : MAX(pb_d1_n1_2_3_2_3) : MAX(pol_d4_n1_2_3_1_4) : MAX(pil_d3_n1_3_2_1_3) : MAX(pil_d3_n1_2_3_3_3) : MAX(pil_d3_n1_1_2_2_1)
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(pil_d4_n1_3_3_1_4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6044 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: 123768 markings, 127959 edges, 24754 markings/sec, 0 secs
lola: 196571 markings, 203789 edges, 14561 markings/sec, 5 secs
lola: 275538 markings, 285494 edges, 15793 markings/sec, 10 secs
lola: 354324 markings, 367028 edges, 15757 markings/sec, 15 secs
lola: 429769 markings, 446192 edges, 15089 markings/sec, 20 secs
lola: 501847 markings, 521830 edges, 14416 markings/sec, 25 secs
lola: 578178 markings, 601869 edges, 15266 markings/sec, 30 secs
lola: 655413 markings, 682730 edges, 15447 markings/sec, 35 secs
lola: 733936 markings, 764682 edges, 15705 markings/sec, 40 secs
lola: 806282 markings, 840125 edges, 14469 markings/sec, 45 secs
lola: 880253 markings, 917307 edges, 14794 markings/sec, 50 secs
lola: 956862 markings, 997194 edges, 15322 markings/sec, 55 secs
lola: 1030070 markings, 1073620 edges, 14642 markings/sec, 60 secs
lola: 1102090 markings, 1148796 edges, 14404 markings/sec, 65 secs
lola: 1171745 markings, 1222131 edges, 13931 markings/sec, 70 secs
lola: 1248588 markings, 1302284 edges, 15369 markings/sec, 75 secs
lola: 1319795 markings, 1376533 edges, 14241 markings/sec, 80 secs
lola: 1396136 markings, 1455915 edges, 15268 markings/sec, 85 secs
lola: 1472596 markings, 1535380 edges, 15292 markings/sec, 90 secs
lola: 1549283 markings, 1615017 edges, 15337 markings/sec, 95 secs
lola: 1625207 markings, 1693954 edges, 15185 markings/sec, 100 secs
lola: 1697701 markings, 1769485 edges, 14499 markings/sec, 105 secs
lola: 1775271 markings, 1850225 edges, 15514 markings/sec, 110 secs
lola: 1853494 markings, 1931522 edges, 15645 markings/sec, 115 secs
lola: 1931347 markings, 2011791 edges, 15571 markings/sec, 120 secs
lola: 2002980 markings, 2085628 edges, 14327 markings/sec, 125 secs
lola: 2073360 markings, 2158432 edges, 14076 markings/sec, 130 secs
lola: 2149731 markings, 2236035 edges, 15274 markings/sec, 135 secs
lola: 2222393 markings, 2313681 edges, 14532 markings/sec, 140 secs
lola: 2289809 markings, 2391428 edges, 13483 markings/sec, 145 secs
lola: 2359451 markings, 2470237 edges, 13928 markings/sec, 150 secs
lola: 2425893 markings, 2544708 edges, 13288 markings/sec, 155 secs
lola: 2494723 markings, 2618766 edges, 13766 markings/sec, 160 secs
lola: 2562534 markings, 2692823 edges, 13562 markings/sec, 165 secs
lola: 2632219 markings, 2769375 edges, 13937 markings/sec, 170 secs
lola: 2702553 markings, 2847245 edges, 14067 markings/sec, 175 secs
lola: 2772108 markings, 2923981 edges, 13911 markings/sec, 180 secs
lola: 2836836 markings, 2996470 edges, 12946 markings/sec, 185 secs
lola: 2902033 markings, 3069524 edges, 13039 markings/sec, 190 secs
lola: 2967450 markings, 3140146 edges, 13083 markings/sec, 195 secs
lola: 3031759 markings, 3213009 edges, 12862 markings/sec, 200 secs
lola: 3092066 markings, 3279840 edges, 12061 markings/sec, 205 secs
lola: 3159014 markings, 3356861 edges, 13390 markings/sec, 210 secs
lola: 3224355 markings, 3429564 edges, 13068 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(pb_d3_n1_2_3_2_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6044 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: 174548 markings, 184334 edges, 34910 markings/sec, 0 secs
lola: 278061 markings, 298308 edges, 20703 markings/sec, 5 secs
lola: 376826 markings, 409449 edges, 19753 markings/sec, 10 secs
lola: 477823 markings, 523053 edges, 20199 markings/sec, 15 secs
lola: 583156 markings, 641547 edges, 21067 markings/sec, 20 secs
lola: 687660 markings, 759133 edges, 20901 markings/sec, 25 secs
lola: 791601 markings, 876045 edges, 20788 markings/sec, 30 secs
lola: 894991 markings, 992301 edges, 20678 markings/sec, 35 secs
lola: 999654 markings, 1105836 edges, 20933 markings/sec, 40 secs
lola: 1107228 markings, 1213410 edges, 21515 markings/sec, 45 secs
lola: 1217872 markings, 1324267 edges, 22129 markings/sec, 50 secs
lola: 1323689 markings, 1430341 edges, 21163 markings/sec, 55 secs
lola: 1433383 markings, 1540294 edges, 21939 markings/sec, 60 secs
lola: 1542677 markings, 1649852 edges, 21859 markings/sec, 65 secs
lola: 1648157 markings, 1755585 edges, 21096 markings/sec, 70 secs
lola: 1754730 markings, 1862411 edges, 21315 markings/sec, 75 secs
lola: 1856388 markings, 1964318 edges, 20332 markings/sec, 80 secs
lola: 1964850 markings, 2073035 edges, 21692 markings/sec, 85 secs
lola: 2066471 markings, 2174898 edges, 20324 markings/sec, 90 secs
lola: 2176573 markings, 2285267 edges, 22020 markings/sec, 95 secs
lola: 2284437 markings, 2393384 edges, 21573 markings/sec, 100 secs
lola: 2395633 markings, 2504853 edges, 22239 markings/sec, 105 secs
lola: 2507737 markings, 2617223 edges, 22421 markings/sec, 110 secs
lola: 2618690 markings, 2728524 edges, 22191 markings/sec, 115 secs
lola: 2729179 markings, 2839356 edges, 22098 markings/sec, 120 secs
lola: 2839753 markings, 2950272 edges, 22115 markings/sec, 125 secs
lola: 2949344 markings, 3060938 edges, 21918 markings/sec, 130 secs
lola: 3059522 markings, 3172081 edges, 22036 markings/sec, 135 secs
lola: 3166413 markings, 3279513 edges, 21378 markings/sec, 140 secs
lola: 3273762 markings, 3387239 edges, 21470 markings/sec, 145 secs
lola: 3382624 markings, 3497165 edges, 21772 markings/sec, 150 secs
lola: 3492422 markings, 3607908 edges, 21960 markings/sec, 155 secs
lola: 3602359 markings, 3718378 edges, 21987 markings/sec, 160 secs
lola: 3712980 markings, 3829506 edges, 22124 markings/sec, 165 secs
lola: 3821645 markings, 3939239 edges, 21733 markings/sec, 170 secs
lola: 3928328 markings, 4046774 edges, 21337 markings/sec, 175 secs
lola: 4038376 markings, 4157263 edges, 22010 markings/sec, 180 secs
lola: 4148222 markings, 4267717 edges, 21969 markings/sec, 185 secs
lola: 4246740 markings, 4367196 edges, 19704 markings/sec, 190 secs
lola: 4354135 markings, 4475454 edges, 21479 markings/sec, 195 secs
lola: 4458585 markings, 4580344 edges, 20890 markings/sec, 200 secs
lola: 4563873 markings, 4686189 edges, 21058 markings/sec, 205 secs
lola: 4667174 markings, 4790494 edges, 20660 markings/sec, 210 secs
lola: 4766770 markings, 4890891 edges, 19919 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(po_d4_n1_2_1_2_4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6044 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: 122851 markings, 125540 edges, 24570 markings/sec, 0 secs
lola: 204541 markings, 208882 edges, 16338 markings/sec, 5 secs
lola: 286481 markings, 292618 edges, 16388 markings/sec, 10 secs
lola: 368778 markings, 376208 edges, 16459 markings/sec, 15 secs
lola: 447816 markings, 456670 edges, 15808 markings/sec, 20 secs
lola: 528224 markings, 538127 edges, 16082 markings/sec, 25 secs
lola: 607516 markings, 618453 edges, 15858 markings/sec, 30 secs
lola: 686595 markings, 698625 edges, 15816 markings/sec, 35 secs
lola: 768509 markings, 781620 edges, 16383 markings/sec, 40 secs
lola: 851821 markings, 867002 edges, 16662 markings/sec, 45 secs
lola: 927899 markings, 945708 edges, 15216 markings/sec, 50 secs
lola: 1015183 markings, 1034050 edges, 17457 markings/sec, 55 secs
lola: 1106095 markings, 1125266 edges, 18182 markings/sec, 60 secs
lola: 1192002 markings, 1211554 edges, 17181 markings/sec, 65 secs
lola: 1280639 markings, 1300487 edges, 17727 markings/sec, 70 secs
lola: 1371448 markings, 1391619 edges, 18162 markings/sec, 75 secs
lola: 1462252 markings, 1482753 edges, 18161 markings/sec, 80 secs
lola: 1552955 markings, 1573790 edges, 18141 markings/sec, 85 secs
lola: 1643859 markings, 1665231 edges, 18181 markings/sec, 90 secs
lola: 1732383 markings, 1753901 edges, 17705 markings/sec, 95 secs
lola: 1822574 markings, 1844333 edges, 18038 markings/sec, 100 secs
lola: 1911641 markings, 1933702 edges, 17813 markings/sec, 105 secs
lola: 2000525 markings, 2022911 edges, 17777 markings/sec, 110 secs
lola: 2087510 markings, 2110175 edges, 17397 markings/sec, 115 secs
lola: 2176499 markings, 2199557 edges, 17798 markings/sec, 120 secs
lola: 2265178 markings, 2288615 edges, 17736 markings/sec, 125 secs
lola: 2354745 markings, 2378566 edges, 17913 markings/sec, 130 secs
lola: 2444211 markings, 2468418 edges, 17893 markings/sec, 135 secs
lola: 2533561 markings, 2558159 edges, 17870 markings/sec, 140 secs
lola: 2620291 markings, 2645247 edges, 17346 markings/sec, 145 secs
lola: 2709558 markings, 2734696 edges, 17853 markings/sec, 150 secs
lola: 2799017 markings, 2824275 edges, 17892 markings/sec, 155 secs
lola: 2886398 markings, 2912059 edges, 17476 markings/sec, 160 secs
lola: 2969391 markings, 2995410 edges, 16599 markings/sec, 165 secs
lola: 3055557 markings, 3081942 edges, 17233 markings/sec, 170 secs
lola: 3143417 markings, 3170330 edges, 17572 markings/sec, 175 secs
lola: 3230824 markings, 3258258 edges, 17481 markings/sec, 180 secs
lola: 3318573 markings, 3346520 edges, 17550 markings/sec, 185 secs
lola: 3406160 markings, 3434630 edges, 17517 markings/sec, 190 secs
lola: 3493603 markings, 3522580 edges, 17489 markings/sec, 195 secs
lola: 3581077 markings, 3610551 edges, 17495 markings/sec, 200 secs
lola: 3668496 markings, 3698447 edges, 17484 markings/sec, 205 secs
lola: 3756009 markings, 3786426 edges, 17503 markings/sec, 210 secs
lola: 3843841 markings, 3874751 edges, 17566 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(pi_d3_n1_2_1_1_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6044 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: 452702 markings, 459771 edges, 90540 markings/sec, 0 secs
lola: 888170 markings, 902135 edges, 87094 markings/sec, 5 secs
lola: 1303584 markings, 1324127 edges, 83083 markings/sec, 10 secs
lola: 1734730 markings, 1762109 edges, 86229 markings/sec, 15 secs
lola: 2165649 markings, 2200347 edges, 86184 markings/sec, 20 secs
lola: 2604866 markings, 2645254 edges, 87843 markings/sec, 25 secs
lola: 3049566 markings, 3091449 edges, 88940 markings/sec, 30 secs
lola: 3424263 markings, 3467403 edges, 74939 markings/sec, 35 secs
lola: 3783755 markings, 3828272 edges, 71898 markings/sec, 40 secs
lola: 4114897 markings, 4159565 edges, 66228 markings/sec, 45 secs
lola: 4446990 markings, 4491717 edges, 66419 markings/sec, 50 secs
lola: 4782600 markings, 4827586 edges, 67122 markings/sec, 55 secs
lola: 5150350 markings, 5195567 edges, 73550 markings/sec, 60 secs
lola: 5527438 markings, 5572891 edges, 75418 markings/sec, 65 secs
lola: 5897376 markings, 5943121 edges, 73988 markings/sec, 70 secs
lola: 6267622 markings, 6313682 edges, 74049 markings/sec, 75 secs
lola: 6616800 markings, 6663151 edges, 69836 markings/sec, 80 secs
lola: 6969321 markings, 7015839 edges, 70504 markings/sec, 85 secs
lola: 7307799 markings, 7354592 edges, 67696 markings/sec, 90 secs
lola: 7665888 markings, 7712979 edges, 71618 markings/sec, 95 secs
lola: 8011302 markings, 8058642 edges, 69083 markings/sec, 100 secs
lola: 8381826 markings, 8429435 edges, 74105 markings/sec, 105 secs
lola: 8751445 markings, 8799317 edges, 73924 markings/sec, 110 secs
lola: 9123521 markings, 9171661 edges, 74415 markings/sec, 115 secs
lola: 9492697 markings, 9541105 edges, 73835 markings/sec, 120 secs
lola: 9840493 markings, 9889149 edges, 69559 markings/sec, 125 secs
lola: 10193142 markings, 10242047 edges, 70530 markings/sec, 130 secs
lola: 10555022 markings, 10604144 edges, 72376 markings/sec, 135 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 227 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pil_d1_n1_2_1_1_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6044 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: 142234 markings, 147221 edges, 28447 markings/sec, 0 secs
lola: 276153 markings, 281381 edges, 26784 markings/sec, 5 secs
lola: 401497 markings, 407012 edges, 25069 markings/sec, 10 secs
lola: 530281 markings, 536029 edges, 25757 markings/sec, 15 secs
lola: 654844 markings, 660809 edges, 24913 markings/sec, 20 secs
lola: 776915 markings, 783127 edges, 24414 markings/sec, 25 secs
lola: 894989 markings, 901432 edges, 23615 markings/sec, 30 secs
lola: 1007176 markings, 1013837 edges, 22437 markings/sec, 35 secs
lola: 1128175 markings, 1135078 edges, 24200 markings/sec, 40 secs
lola: 1252259 markings, 1259505 edges, 24817 markings/sec, 45 secs
lola: 1381214 markings, 1388929 edges, 25791 markings/sec, 50 secs
lola: 1510846 markings, 1519301 edges, 25926 markings/sec, 55 secs
lola: 1639278 markings, 1648319 edges, 25686 markings/sec, 60 secs
lola: 1766568 markings, 1776178 edges, 25458 markings/sec, 65 secs
lola: 1895778 markings, 1906103 edges, 25842 markings/sec, 70 secs
lola: 2026072 markings, 2036845 edges, 26059 markings/sec, 75 secs
lola: 2156065 markings, 2167571 edges, 25999 markings/sec, 80 secs
lola: 2285214 markings, 2297153 edges, 25830 markings/sec, 85 secs
lola: 2414892 markings, 2427567 edges, 25936 markings/sec, 90 secs
lola: 2542813 markings, 2555912 edges, 25584 markings/sec, 95 secs
lola: 2670174 markings, 2684006 edges, 25472 markings/sec, 100 secs
lola: 2795735 markings, 2810141 edges, 25112 markings/sec, 105 secs
lola: 2923448 markings, 2938423 edges, 25543 markings/sec, 110 secs
lola: 3050106 markings, 3065789 edges, 25332 markings/sec, 115 secs
lola: 3169255 markings, 3185354 edges, 23830 markings/sec, 120 secs
lola: 3294015 markings, 3310822 edges, 24952 markings/sec, 125 secs
lola: 3420585 markings, 3437822 edges, 25314 markings/sec, 130 secs
lola: 3549833 markings, 3567800 edges, 25850 markings/sec, 135 secs
lola: 3680015 markings, 3698416 edges, 26036 markings/sec, 140 secs
lola: 3811374 markings, 3830519 edges, 26272 markings/sec, 145 secs
lola: 3936756 markings, 3956341 edges, 25076 markings/sec, 150 secs
lola: 4060279 markings, 4080560 edges, 24705 markings/sec, 155 secs
lola: 4185366 markings, 4206216 edges, 25017 markings/sec, 160 secs
lola: 4313188 markings, 4334610 edges, 25564 markings/sec, 165 secs
lola: 4436042 markings, 4458149 edges, 24571 markings/sec, 170 secs
lola: 4566053 markings, 4588620 edges, 26002 markings/sec, 175 secs
lola: 4695803 markings, 4719098 edges, 25950 markings/sec, 180 secs
lola: 4822612 markings, 4846333 edges, 25362 markings/sec, 185 secs
lola: 4953637 markings, 4978099 edges, 26205 markings/sec, 190 secs
lola: 5084074 markings, 5108967 edges, 26087 markings/sec, 195 secs
lola: 5214661 markings, 5240292 edges, 26117 markings/sec, 200 secs
lola: 5343328 markings, 5369380 edges, 25733 markings/sec, 205 secs
lola: 5473335 markings, 5499844 edges, 26001 markings/sec, 210 secs
lola: 5603993 markings, 5630958 edges, 26132 markings/sec, 215 secs
lola: 5728692 markings, 5756116 edges, 24940 markings/sec, 220 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 227 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(po_d3_n1_3_1_3_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6044 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: 123595 markings, 127826 edges, 24719 markings/sec, 0 secs
lola: 209008 markings, 215808 edges, 17083 markings/sec, 5 secs
lola: 294032 markings, 302986 edges, 17005 markings/sec, 10 secs
lola: 375390 markings, 386394 edges, 16272 markings/sec, 15 secs
lola: 461887 markings, 473231 edges, 17299 markings/sec, 20 secs
lola: 548952 markings, 560431 edges, 17413 markings/sec, 25 secs
lola: 635403 markings, 647075 edges, 17290 markings/sec, 30 secs
lola: 722989 markings, 734892 edges, 17517 markings/sec, 35 secs
lola: 810287 markings, 822420 edges, 17460 markings/sec, 40 secs
lola: 897148 markings, 909497 edges, 17372 markings/sec, 45 secs
lola: 983115 markings, 995538 edges, 17193 markings/sec, 50 secs
lola: 1070694 markings, 1083117 edges, 17516 markings/sec, 55 secs
lola: 1157876 markings, 1170300 edges, 17436 markings/sec, 60 secs
lola: 1243865 markings, 1256290 edges, 17198 markings/sec, 65 secs
lola: 1332168 markings, 1344595 edges, 17661 markings/sec, 70 secs
lola: 1419149 markings, 1431585 edges, 17396 markings/sec, 75 secs
lola: 1506541 markings, 1518987 edges, 17478 markings/sec, 80 secs
lola: 1593771 markings, 1606225 edges, 17446 markings/sec, 85 secs
lola: 1675525 markings, 1687987 edges, 16351 markings/sec, 90 secs
lola: 1762582 markings, 1775054 edges, 17411 markings/sec, 95 secs
lola: 1849997 markings, 1862495 edges, 17483 markings/sec, 100 secs
lola: 1937041 markings, 1949574 edges, 17409 markings/sec, 105 secs
lola: 2022523 markings, 2035090 edges, 17096 markings/sec, 110 secs
lola: 2108258 markings, 2120856 edges, 17147 markings/sec, 115 secs
lola: 2192319 markings, 2204945 edges, 16812 markings/sec, 120 secs
lola: 2275975 markings, 2288631 edges, 16731 markings/sec, 125 secs
lola: 2363077 markings, 2375766 edges, 17420 markings/sec, 130 secs
lola: 2449847 markings, 2462573 edges, 17354 markings/sec, 135 secs
lola: 2536909 markings, 2549665 edges, 17412 markings/sec, 140 secs
lola: 2624207 markings, 2636988 edges, 17460 markings/sec, 145 secs
lola: 2708394 markings, 2721192 edges, 16837 markings/sec, 150 secs
lola: 2792539 markings, 2805365 edges, 16829 markings/sec, 155 secs
lola: 2878651 markings, 2891505 edges, 17222 markings/sec, 160 secs
lola: 2964941 markings, 2977824 edges, 17258 markings/sec, 165 secs
lola: 3051708 markings, 3064616 edges, 17353 markings/sec, 170 secs
lola: 3138027 markings, 3150960 edges, 17264 markings/sec, 175 secs
lola: 3224114 markings, 3237074 edges, 17217 markings/sec, 180 secs
lola: 3304939 markings, 3317930 edges, 16165 markings/sec, 185 secs
lola: 3390483 markings, 3403501 edges, 17109 markings/sec, 190 secs
lola: 3475923 markings, 3488971 edges, 17088 markings/sec, 195 secs
lola: 3561303 markings, 3574380 edges, 17076 markings/sec, 200 secs
lola: 3646603 markings, 3659711 edges, 17060 markings/sec, 205 secs
lola: 3732325 markings, 3745467 edges, 17144 markings/sec, 210 secs
lola: 3818028 markings, 3831205 edges, 17141 markings/sec, 215 secs
lola: 3903778 markings, 3916987 edges, 17150 markings/sec, 220 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 227 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pb_d4_n1_3_3_3_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6044 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: 197492 markings, 217977 edges, 39498 markings/sec, 0 secs
lola: 269193 markings, 292356 edges, 14340 markings/sec, 5 secs
lola: 340672 markings, 366525 edges, 14296 markings/sec, 10 secs
lola: 415526 markings, 442540 edges, 14971 markings/sec, 15 secs
lola: 491635 markings, 518849 edges, 15222 markings/sec, 20 secs
lola: 567174 markings, 594699 edges, 15108 markings/sec, 25 secs
lola: 640652 markings, 668560 edges, 14696 markings/sec, 30 secs
lola: 716915 markings, 745079 edges, 15253 markings/sec, 35 secs
lola: 792518 markings, 820890 edges, 15121 markings/sec, 40 secs
lola: 868637 markings, 897248 edges, 15224 markings/sec, 45 secs
lola: 944714 markings, 973532 edges, 15215 markings/sec, 50 secs
lola: 1020954 markings, 1050002 edges, 15248 markings/sec, 55 secs
lola: 1096888 markings, 1126172 edges, 15187 markings/sec, 60 secs
lola: 1173178 markings, 1202804 edges, 15258 markings/sec, 65 secs
lola: 1248447 markings, 1278562 edges, 15054 markings/sec, 70 secs
lola: 1323841 markings, 1354138 edges, 15079 markings/sec, 75 secs
lola: 1399817 markings, 1430334 edges, 15195 markings/sec, 80 secs
lola: 1475073 markings, 1505824 edges, 15051 markings/sec, 85 secs
lola: 1549798 markings, 1580805 edges, 14945 markings/sec, 90 secs
lola: 1624615 markings, 1655879 edges, 14963 markings/sec, 95 secs
lola: 1699643 markings, 1731164 edges, 15006 markings/sec, 100 secs
lola: 1774642 markings, 1806385 edges, 15000 markings/sec, 105 secs
lola: 1850485 markings, 1882494 edges, 15169 markings/sec, 110 secs
lola: 1926309 markings, 1958661 edges, 15165 markings/sec, 115 secs
lola: 2002011 markings, 2034740 edges, 15140 markings/sec, 120 secs
lola: 2073941 markings, 2108496 edges, 14386 markings/sec, 125 secs
lola: 2144465 markings, 2181675 edges, 14105 markings/sec, 130 secs
lola: 2213403 markings, 2252544 edges, 13788 markings/sec, 135 secs
lola: 2283612 markings, 2324694 edges, 14042 markings/sec, 140 secs
lola: 2353100 markings, 2396309 edges, 13898 markings/sec, 145 secs
lola: 2422119 markings, 2467456 edges, 13804 markings/sec, 150 secs
lola: 2491033 markings, 2537744 edges, 13783 markings/sec, 155 secs
lola: 2562479 markings, 2611064 edges, 14289 markings/sec, 160 secs
lola: 2634536 markings, 2683601 edges, 14411 markings/sec, 165 secs
lola: 2704126 markings, 2753680 edges, 13918 markings/sec, 170 secs
lola: 2775809 markings, 2827536 edges, 14337 markings/sec, 175 secs
lola: 2845112 markings, 2898228 edges, 13861 markings/sec, 180 secs
lola: 2915335 markings, 2970554 edges, 14045 markings/sec, 185 secs
lola: 2984943 markings, 3042269 edges, 13922 markings/sec, 190 secs
lola: 3054829 markings, 3113428 edges, 13977 markings/sec, 195 secs
lola: 3123984 markings, 3184611 edges, 13831 markings/sec, 200 secs
lola: 3193522 markings, 3256321 edges, 13908 markings/sec, 205 secs
lola: 3263651 markings, 3328370 edges, 14026 markings/sec, 210 secs
lola: 3332698 markings, 3399590 edges, 13809 markings/sec, 215 secs
lola: 3401352 markings, 3470723 edges, 13731 markings/sec, 220 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 227 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pb_d2_n2_1_1_1_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6044 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: 245692 markings, 268357 edges, 49138 markings/sec, 0 secs
lola: 314376 markings, 338284 edges, 13737 markings/sec, 5 secs
lola: 386559 markings, 410574 edges, 14437 markings/sec, 10 secs
lola: 459812 markings, 483865 edges, 14651 markings/sec, 15 secs
lola: 532612 markings, 556675 edges, 14560 markings/sec, 20 secs
lola: 605224 markings, 629311 edges, 14522 markings/sec, 25 secs
lola: 677980 markings, 702088 edges, 14551 markings/sec, 30 secs
lola: 751328 markings, 775454 edges, 14670 markings/sec, 35 secs
lola: 824653 markings, 848795 edges, 14665 markings/sec, 40 secs
lola: 897982 markings, 922140 edges, 14666 markings/sec, 45 secs
lola: 970947 markings, 995120 edges, 14593 markings/sec, 50 secs
lola: 1044056 markings, 1068247 edges, 14622 markings/sec, 55 secs
lola: 1117311 markings, 1141517 edges, 14651 markings/sec, 60 secs
lola: 1190284 markings, 1214503 edges, 14595 markings/sec, 65 secs
lola: 1263132 markings, 1287385 edges, 14570 markings/sec, 70 secs
lola: 1335790 markings, 1360086 edges, 14532 markings/sec, 75 secs
lola: 1408708 markings, 1433038 edges, 14584 markings/sec, 80 secs
lola: 1481951 markings, 1506316 edges, 14649 markings/sec, 85 secs
lola: 1554973 markings, 1579377 edges, 14604 markings/sec, 90 secs
lola: 1628275 markings, 1652706 edges, 14660 markings/sec, 95 secs
lola: 1701635 markings, 1726095 edges, 14672 markings/sec, 100 secs
lola: 1774835 markings, 1799324 edges, 14640 markings/sec, 105 secs
lola: 1846947 markings, 1871464 edges, 14422 markings/sec, 110 secs
lola: 1919957 markings, 1944505 edges, 14602 markings/sec, 115 secs
lola: 1992899 markings, 2017473 edges, 14588 markings/sec, 120 secs
lola: 2065554 markings, 2090160 edges, 14531 markings/sec, 125 secs
lola: 2138044 markings, 2162683 edges, 14498 markings/sec, 130 secs
lola: 2209762 markings, 2234433 edges, 14344 markings/sec, 135 secs
lola: 2281707 markings, 2306407 edges, 14389 markings/sec, 140 secs
lola: 2353120 markings, 2377850 edges, 14283 markings/sec, 145 secs
lola: 2423953 markings, 2448695 edges, 14167 markings/sec, 150 secs
lola: 2494572 markings, 2519326 edges, 14124 markings/sec, 155 secs
lola: 2565081 markings, 2589847 edges, 14102 markings/sec, 160 secs
lola: 2635641 markings, 2660419 edges, 14112 markings/sec, 165 secs
lola: 2706100 markings, 2730890 edges, 14092 markings/sec, 170 secs
lola: 2777359 markings, 2802163 edges, 14252 markings/sec, 175 secs
lola: 2849762 markings, 2874579 edges, 14481 markings/sec, 180 secs
lola: 2921900 markings, 2946732 edges, 14428 markings/sec, 185 secs
lola: 2993998 markings, 3018843 edges, 14420 markings/sec, 190 secs
lola: 3065954 markings, 3090816 edges, 14391 markings/sec, 195 secs
lola: 3137687 markings, 3162563 edges, 14347 markings/sec, 200 secs
lola: 3209674 markings, 3234563 edges, 14397 markings/sec, 205 secs
lola: 3281784 markings, 3306688 edges, 14422 markings/sec, 210 secs
lola: 3353810 markings, 3378727 edges, 14405 markings/sec, 215 secs
lola: 3425893 markings, 3450826 edges, 14417 markings/sec, 220 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 228 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(po_d4_n1_3_3_2_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6044 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: 220974 markings, 254912 edges, 44195 markings/sec, 0 secs
lola: 408470 markings, 467741 edges, 37499 markings/sec, 5 secs
lola: 592442 markings, 668107 edges, 36794 markings/sec, 10 secs
lola: 758594 markings, 848561 edges, 33230 markings/sec, 15 secs
lola: 905226 markings, 997922 edges, 29326 markings/sec, 20 secs
lola: 1025932 markings, 1121992 edges, 24141 markings/sec, 25 secs
lola: 1146185 markings, 1245651 edges, 24051 markings/sec, 30 secs
lola: 1265970 markings, 1368789 edges, 23957 markings/sec, 35 secs
lola: 1386758 markings, 1492949 edges, 24158 markings/sec, 40 secs
lola: 1506830 markings, 1616296 edges, 24014 markings/sec, 45 secs
lola: 1636349 markings, 1746354 edges, 25904 markings/sec, 50 secs
lola: 1760816 markings, 1871311 edges, 24893 markings/sec, 55 secs
lola: 1882639 markings, 1993345 edges, 24365 markings/sec, 60 secs
lola: 2000834 markings, 2112194 edges, 23639 markings/sec, 65 secs
lola: 2118603 markings, 2230234 edges, 23554 markings/sec, 70 secs
lola: 2234890 markings, 2346808 edges, 23257 markings/sec, 75 secs
lola: 2349787 markings, 2461995 edges, 22979 markings/sec, 80 secs
lola: 2458735 markings, 2573403 edges, 21790 markings/sec, 85 secs
lola: 2561224 markings, 2679391 edges, 20498 markings/sec, 90 secs
lola: 2663096 markings, 2784685 edges, 20374 markings/sec, 95 secs
lola: 2763741 markings, 2889161 edges, 20129 markings/sec, 100 secs
lola: 2864811 markings, 2993008 edges, 20214 markings/sec, 105 secs
lola: 2965594 markings, 3097128 edges, 20157 markings/sec, 110 secs
lola: 3068977 markings, 3204066 edges, 20677 markings/sec, 115 secs
lola: 3169922 markings, 3307771 edges, 20189 markings/sec, 120 secs
lola: 3272123 markings, 3412459 edges, 20440 markings/sec, 125 secs
lola: 3372627 markings, 3514649 edges, 20101 markings/sec, 130 secs
lola: 3474120 markings, 3617804 edges, 20299 markings/sec, 135 secs
lola: 3575427 markings, 3721558 edges, 20261 markings/sec, 140 secs
lola: 3677963 markings, 3826470 edges, 20507 markings/sec, 145 secs
lola: 3779561 markings, 3930724 edges, 20320 markings/sec, 150 secs
lola: 3881604 markings, 4034666 edges, 20409 markings/sec, 155 secs
lola: 3981051 markings, 4137473 edges, 19889 markings/sec, 160 secs
lola: 4082037 markings, 4240570 edges, 20197 markings/sec, 165 secs
lola: 4183134 markings, 4345147 edges, 20219 markings/sec, 170 secs
lola: 4282899 markings, 4447833 edges, 19953 markings/sec, 175 secs
lola: 4383056 markings, 4550678 edges, 20031 markings/sec, 180 secs
lola: 4483500 markings, 4653855 edges, 20089 markings/sec, 185 secs
lola: 4584285 markings, 4758274 edges, 20157 markings/sec, 190 secs
lola: 4681029 markings, 4858455 edges, 19349 markings/sec, 195 secs
lola: 4781739 markings, 4962569 edges, 20142 markings/sec, 200 secs
lola: 4875091 markings, 5058406 edges, 18670 markings/sec, 205 secs
lola: 4973832 markings, 5160700 edges, 19748 markings/sec, 210 secs
lola: 5064264 markings, 5254671 edges, 18086 markings/sec, 215 secs
lola: 5160773 markings, 5355118 edges, 19302 markings/sec, 220 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 228 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pb_d3_n1_3_3_1_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6044 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: 175207 markings, 183055 edges, 35041 markings/sec, 0 secs
lola: 340172 markings, 350301 edges, 32993 markings/sec, 5 secs
lola: 503148 markings, 513658 edges, 32595 markings/sec, 10 secs
lola: 664003 markings, 675069 edges, 32171 markings/sec, 15 secs
lola: 817799 markings, 829480 edges, 30759 markings/sec, 20 secs
lola: 979301 markings, 991614 edges, 32300 markings/sec, 25 secs
lola: 1140867 markings, 1153367 edges, 32313 markings/sec, 30 secs
lola: 1302356 markings, 1314889 edges, 32298 markings/sec, 35 secs
lola: 1463907 markings, 1476484 edges, 32310 markings/sec, 40 secs
lola: 1625987 markings, 1638603 edges, 32416 markings/sec, 45 secs
lola: 1789870 markings, 1802513 edges, 32777 markings/sec, 50 secs
lola: 1953180 markings, 1965854 edges, 32662 markings/sec, 55 secs
lola: 2117482 markings, 2130203 edges, 32860 markings/sec, 60 secs
lola: 2280257 markings, 2293021 edges, 32555 markings/sec, 65 secs
lola: 2442217 markings, 2455036 edges, 32392 markings/sec, 70 secs
lola: 2604864 markings, 2617747 edges, 32529 markings/sec, 75 secs
lola: 2755843 markings, 2768785 edges, 30196 markings/sec, 80 secs
lola: 2912071 markings, 2925075 edges, 31246 markings/sec, 85 secs
lola: 3068978 markings, 3082045 edges, 31381 markings/sec, 90 secs
lola: 3232987 markings, 3246104 edges, 32802 markings/sec, 95 secs
lola: 3389652 markings, 3402811 edges, 31333 markings/sec, 100 secs
lola: 3551992 markings, 3565194 edges, 32468 markings/sec, 105 secs
lola: 3715767 markings, 3729011 edges, 32755 markings/sec, 110 secs
lola: 3879267 markings, 3892555 edges, 32700 markings/sec, 115 secs
lola: 4042990 markings, 4056321 edges, 32745 markings/sec, 120 secs
lola: 4203767 markings, 4217136 edges, 32155 markings/sec, 125 secs
lola: 4362724 markings, 4376151 edges, 31791 markings/sec, 130 secs
lola: 4520428 markings, 4533913 edges, 31541 markings/sec, 135 secs
lola: 4680815 markings, 4694361 edges, 32077 markings/sec, 140 secs
lola: 4841291 markings, 4854897 edges, 32095 markings/sec, 145 secs
lola: 5004756 markings, 5018426 edges, 32693 markings/sec, 150 secs
lola: 5168187 markings, 5181920 edges, 32686 markings/sec, 155 secs
lola: 5331671 markings, 5345464 edges, 32697 markings/sec, 160 secs
lola: 5494733 markings, 5508582 edges, 32612 markings/sec, 165 secs
lola: 5657659 markings, 5671544 edges, 32585 markings/sec, 170 secs
lola: 5821179 markings, 5835100 edges, 32704 markings/sec, 175 secs
lola: 5985650 markings, 5999605 edges, 32894 markings/sec, 180 secs
lola: 6148339 markings, 6162330 edges, 32538 markings/sec, 185 secs
lola: 6310124 markings, 6324152 edges, 32357 markings/sec, 190 secs
lola: 6471786 markings, 6485849 edges, 32332 markings/sec, 195 secs
lola: 6632935 markings, 6647045 edges, 32230 markings/sec, 200 secs
lola: 6794371 markings, 6808549 edges, 32287 markings/sec, 205 secs
lola: 6957305 markings, 6971558 edges, 32587 markings/sec, 210 secs
lola: 7122406 markings, 7136720 edges, 33020 markings/sec, 215 secs
lola: 7286774 markings, 7301155 edges, 32874 markings/sec, 220 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 227 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pil_d3_n1_1_1_2_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6044 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: 206887 markings, 216657 edges, 41377 markings/sec, 0 secs
lola: 292083 markings, 303170 edges, 17039 markings/sec, 5 secs
lola: 376689 markings, 388980 edges, 16921 markings/sec, 10 secs
lola: 461690 markings, 475027 edges, 17000 markings/sec, 15 secs
lola: 546775 markings, 561163 edges, 17017 markings/sec, 20 secs
lola: 633819 markings, 648902 edges, 17409 markings/sec, 25 secs
lola: 722408 markings, 737784 edges, 17718 markings/sec, 30 secs
lola: 810244 markings, 825821 edges, 17567 markings/sec, 35 secs
lola: 898297 markings, 914282 edges, 17611 markings/sec, 40 secs
lola: 986088 markings, 1002496 edges, 17558 markings/sec, 45 secs
lola: 1072211 markings, 1088996 edges, 17225 markings/sec, 50 secs
lola: 1158117 markings, 1175359 edges, 17181 markings/sec, 55 secs
lola: 1244165 markings, 1261887 edges, 17210 markings/sec, 60 secs
lola: 1331087 markings, 1349183 edges, 17384 markings/sec, 65 secs
lola: 1419500 markings, 1437959 edges, 17683 markings/sec, 70 secs
lola: 1504562 markings, 1523360 edges, 17012 markings/sec, 75 secs
lola: 1592587 markings, 1611710 edges, 17605 markings/sec, 80 secs
lola: 1680997 markings, 1700403 edges, 17682 markings/sec, 85 secs
lola: 1769036 markings, 1788747 edges, 17608 markings/sec, 90 secs
lola: 1856661 markings, 1876644 edges, 17525 markings/sec, 95 secs
lola: 1944647 markings, 1964905 edges, 17597 markings/sec, 100 secs
lola: 2031617 markings, 2052218 edges, 17394 markings/sec, 105 secs
lola: 2118821 markings, 2139775 edges, 17441 markings/sec, 110 secs
lola: 2206018 markings, 2227309 edges, 17439 markings/sec, 115 secs
lola: 2293024 markings, 2314647 edges, 17401 markings/sec, 120 secs
lola: 2380151 markings, 2402127 edges, 17425 markings/sec, 125 secs
lola: 2466179 markings, 2488515 edges, 17206 markings/sec, 130 secs
lola: 2551903 markings, 2574612 edges, 17145 markings/sec, 135 secs
lola: 2637623 markings, 2660694 edges, 17144 markings/sec, 140 secs
lola: 2723190 markings, 2746626 edges, 17113 markings/sec, 145 secs
lola: 2809522 markings, 2833354 edges, 17266 markings/sec, 150 secs
lola: 2894101 markings, 2918351 edges, 16916 markings/sec, 155 secs
lola: 2980343 markings, 3004988 edges, 17248 markings/sec, 160 secs
lola: 3065189 markings, 3090147 edges, 16969 markings/sec, 165 secs
lola: 3149405 markings, 3174677 edges, 16843 markings/sec, 170 secs
lola: 3232341 markings, 3257958 edges, 16587 markings/sec, 175 secs
lola: 3317789 markings, 3343807 edges, 17090 markings/sec, 180 secs
lola: 3403358 markings, 3429767 edges, 17114 markings/sec, 185 secs
lola: 3488818 markings, 3515626 edges, 17092 markings/sec, 190 secs
lola: 3573076 markings, 3600294 edges, 16852 markings/sec, 195 secs
lola: 3657048 markings, 3684678 edges, 16794 markings/sec, 200 secs
lola: 3740909 markings, 3768946 edges, 16772 markings/sec, 205 secs
lola: 3824779 markings, 3853218 edges, 16774 markings/sec, 210 secs
lola: 3908631 markings, 3937474 edges, 16770 markings/sec, 215 secs
lola: 3992693 markings, 4021944 edges, 16812 markings/sec, 220 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 228 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pb_d1_n1_2_3_2_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6044 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: 118774 markings, 127810 edges, 23755 markings/sec, 0 secs
lola: 204890 markings, 268026 edges, 17223 markings/sec, 5 secs
lola: 275074 markings, 586435 edges, 14037 markings/sec, 10 secs
lola: 342325 markings, 926920 edges, 13450 markings/sec, 15 secs
lola: 413919 markings, 1232990 edges, 14319 markings/sec, 20 secs
lola: 482663 markings, 1563302 edges, 13749 markings/sec, 25 secs
lola: 553233 markings, 1880598 edges, 14114 markings/sec, 30 secs
lola: 624616 markings, 2194595 edges, 14277 markings/sec, 35 secs
lola: 696249 markings, 2507280 edges, 14327 markings/sec, 40 secs
lola: 770153 markings, 2755807 edges, 14781 markings/sec, 45 secs
lola: 852146 markings, 2839227 edges, 16399 markings/sec, 50 secs
lola: 932316 markings, 2922309 edges, 16034 markings/sec, 55 secs
lola: 1015924 markings, 3006286 edges, 16722 markings/sec, 60 secs
lola: 1099561 markings, 3090275 edges, 16727 markings/sec, 65 secs
lola: 1181876 markings, 3172763 edges, 16463 markings/sec, 70 secs
lola: 1264123 markings, 3255312 edges, 16449 markings/sec, 75 secs
lola: 1347678 markings, 3339043 edges, 16711 markings/sec, 80 secs
lola: 1430770 markings, 3422319 edges, 16618 markings/sec, 85 secs
lola: 1513185 markings, 3504981 edges, 16483 markings/sec, 90 secs
lola: 1594633 markings, 3586733 edges, 16290 markings/sec, 95 secs
lola: 1675854 markings, 3668229 edges, 16244 markings/sec, 100 secs
lola: 1757363 markings, 3749985 edges, 16302 markings/sec, 105 secs
lola: 1838522 markings, 3831416 edges, 16232 markings/sec, 110 secs
lola: 1919276 markings, 3912382 edges, 16151 markings/sec, 115 secs
lola: 2000427 markings, 3993735 edges, 16230 markings/sec, 120 secs
lola: 2082718 markings, 4076268 edges, 16458 markings/sec, 125 secs
lola: 2164893 markings, 4158677 edges, 16435 markings/sec, 130 secs
lola: 2247066 markings, 4241070 edges, 16435 markings/sec, 135 secs
lola: 2328644 markings, 4322799 edges, 16316 markings/sec, 140 secs
lola: 2410318 markings, 4404589 edges, 16335 markings/sec, 145 secs
lola: 2492794 markings, 4487090 edges, 16495 markings/sec, 150 secs
lola: 2573009 markings, 4567510 edges, 16043 markings/sec, 155 secs
lola: 2650003 markings, 4645501 edges, 15399 markings/sec, 160 secs
lola: 2727460 markings, 4723183 edges, 15491 markings/sec, 165 secs
lola: 2804219 markings, 4800920 edges, 15352 markings/sec, 170 secs
lola: 2882066 markings, 4878964 edges, 15569 markings/sec, 175 secs
lola: 2957615 markings, 4955518 edges, 15110 markings/sec, 180 secs
lola: 3035690 markings, 5033808 edges, 15615 markings/sec, 185 secs
lola: 3111480 markings, 5110585 edges, 15158 markings/sec, 190 secs
lola: 3187598 markings, 5186942 edges, 15224 markings/sec, 195 secs
lola: 3261327 markings, 5261638 edges, 14746 markings/sec, 200 secs
lola: 3334418 markings, 5334982 edges, 14618 markings/sec, 205 secs
lola: 3409754 markings, 5411275 edges, 15067 markings/sec, 210 secs
lola: 3484399 markings, 5486276 edges, 14929 markings/sec, 215 secs
lola: 3558084 markings, 5560769 edges, 14737 markings/sec, 220 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 228 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pol_d4_n1_2_3_1_4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6044 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: 216592 markings, 237328 edges, 43318 markings/sec, 0 secs
lola: 338254 markings, 374059 edges, 24332 markings/sec, 5 secs
lola: 464011 markings, 502259 edges, 25151 markings/sec, 10 secs
lola: 599189 markings, 637889 edges, 27036 markings/sec, 15 secs
lola: 735099 markings, 774116 edges, 27182 markings/sec, 20 secs
lola: 868956 markings, 908412 edges, 26771 markings/sec, 25 secs
lola: 1000467 markings, 1040348 edges, 26302 markings/sec, 30 secs
lola: 1132295 markings, 1172607 edges, 26366 markings/sec, 35 secs
lola: 1266291 markings, 1307026 edges, 26799 markings/sec, 40 secs
lola: 1397706 markings, 1439025 edges, 26283 markings/sec, 45 secs
lola: 1527986 markings, 1569995 edges, 26056 markings/sec, 50 secs
lola: 1657642 markings, 1700218 edges, 25931 markings/sec, 55 secs
lola: 1788262 markings, 1831403 edges, 26124 markings/sec, 60 secs
lola: 1923596 markings, 1966861 edges, 27067 markings/sec, 65 secs
lola: 2061448 markings, 2104810 edges, 27570 markings/sec, 70 secs
lola: 2199297 markings, 2242761 edges, 27570 markings/sec, 75 secs
lola: 2336651 markings, 2380145 edges, 27471 markings/sec, 80 secs
lola: 2473757 markings, 2517251 edges, 27421 markings/sec, 85 secs
lola: 2610321 markings, 2653815 edges, 27313 markings/sec, 90 secs
lola: 2746251 markings, 2789745 edges, 27186 markings/sec, 95 secs
lola: 2882299 markings, 2925793 edges, 27210 markings/sec, 100 secs
lola: 3018056 markings, 3061550 edges, 27151 markings/sec, 105 secs
lola: 3151753 markings, 3195247 edges, 26739 markings/sec, 110 secs
lola: 3288849 markings, 3332357 edges, 27419 markings/sec, 115 secs
lola: 3426660 markings, 3470179 edges, 27562 markings/sec, 120 secs
lola: 3562682 markings, 3606211 edges, 27204 markings/sec, 125 secs
lola: 3699419 markings, 3742964 edges, 27347 markings/sec, 130 secs
lola: 3832577 markings, 3876131 edges, 26632 markings/sec, 135 secs
lola: 3967343 markings, 4010911 edges, 26953 markings/sec, 140 secs
lola: 4094773 markings, 4138353 edges, 25486 markings/sec, 145 secs
lola: 4229865 markings, 4273454 edges, 27018 markings/sec, 150 secs
lola: 4362144 markings, 4405748 edges, 26456 markings/sec, 155 secs
lola: 4497398 markings, 4541012 edges, 27051 markings/sec, 160 secs
lola: 4629719 markings, 4673343 edges, 26464 markings/sec, 165 secs
lola: 4763979 markings, 4807613 edges, 26852 markings/sec, 170 secs
lola: 4899522 markings, 4943166 edges, 27109 markings/sec, 175 secs
lola: 5034626 markings, 5078284 edges, 27021 markings/sec, 180 secs
lola: 5170524 markings, 5214194 edges, 27180 markings/sec, 185 secs
lola: 5306296 markings, 5349978 edges, 27154 markings/sec, 190 secs
lola: 5442013 markings, 5485707 edges, 27143 markings/sec, 195 secs
lola: 5577908 markings, 5621614 edges, 27179 markings/sec, 200 secs
lola: 5713912 markings, 5757630 edges, 27201 markings/sec, 205 secs
lola: 5846575 markings, 5890306 edges, 26533 markings/sec, 210 secs
lola: 5982451 markings, 6026198 edges, 27175 markings/sec, 215 secs
lola: 6118515 markings, 6162275 edges, 27213 markings/sec, 220 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 227 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pil_d3_n1_3_2_1_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6044 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: 160577 markings, 174896 edges, 32115 markings/sec, 0 secs
lola: 287250 markings, 309026 edges, 25335 markings/sec, 5 secs
lola: 365675 markings, 388812 edges, 15685 markings/sec, 10 secs
lola: 447923 markings, 471091 edges, 16450 markings/sec, 15 secs
lola: 523129 markings, 546337 edges, 15041 markings/sec, 20 secs
lola: 603701 markings, 626909 edges, 16114 markings/sec, 25 secs
lola: 686871 markings, 710079 edges, 16634 markings/sec, 30 secs
lola: 765993 markings, 789210 edges, 15824 markings/sec, 35 secs
lola: 844572 markings, 867802 edges, 15716 markings/sec, 40 secs
lola: 926390 markings, 949637 edges, 16364 markings/sec, 45 secs
lola: 1005882 markings, 1029153 edges, 15898 markings/sec, 50 secs
lola: 1084895 markings, 1108166 edges, 15803 markings/sec, 55 secs
lola: 1165542 markings, 1188815 edges, 16129 markings/sec, 60 secs
lola: 1246157 markings, 1269431 edges, 16123 markings/sec, 65 secs
lola: 1327714 markings, 1350989 edges, 16311 markings/sec, 70 secs
lola: 1407469 markings, 1430743 edges, 15951 markings/sec, 75 secs
lola: 1485410 markings, 1508697 edges, 15588 markings/sec, 80 secs
lola: 1565411 markings, 1588713 edges, 16000 markings/sec, 85 secs
lola: 1647314 markings, 1670632 edges, 16381 markings/sec, 90 secs
lola: 1726575 markings, 1749911 edges, 15852 markings/sec, 95 secs
lola: 1806320 markings, 1829674 edges, 15949 markings/sec, 100 secs
lola: 1884885 markings, 1908253 edges, 15713 markings/sec, 105 secs
lola: 1962380 markings, 1985761 edges, 15499 markings/sec, 110 secs
lola: 2043890 markings, 2067289 edges, 16302 markings/sec, 115 secs
lola: 2125455 markings, 2148872 edges, 16313 markings/sec, 120 secs
lola: 2207026 markings, 2230457 edges, 16314 markings/sec, 125 secs
lola: 2288633 markings, 2312082 edges, 16321 markings/sec, 130 secs
lola: 2368467 markings, 2391929 edges, 15967 markings/sec, 135 secs
lola: 2450270 markings, 2473742 edges, 16361 markings/sec, 140 secs
lola: 2526188 markings, 2549671 edges, 15184 markings/sec, 145 secs
lola: 2603995 markings, 2627485 edges, 15561 markings/sec, 150 secs
lola: 2682531 markings, 2706035 edges, 15707 markings/sec, 155 secs
lola: 2762607 markings, 2786119 edges, 16015 markings/sec, 160 secs
lola: 2843295 markings, 2866815 edges, 16138 markings/sec, 165 secs
lola: 2922756 markings, 2946285 edges, 15892 markings/sec, 170 secs
lola: 3002965 markings, 3026510 edges, 16042 markings/sec, 175 secs
lola: 3080837 markings, 3104389 edges, 15574 markings/sec, 180 secs
lola: 3161675 markings, 3185236 edges, 16168 markings/sec, 185 secs
lola: 3243616 markings, 3267192 edges, 16388 markings/sec, 190 secs
lola: 3323867 markings, 3347451 edges, 16050 markings/sec, 195 secs
lola: 3403687 markings, 3427280 edges, 15964 markings/sec, 200 secs
lola: 3485646 markings, 3509251 edges, 16392 markings/sec, 205 secs
lola: 3566407 markings, 3590023 edges, 16152 markings/sec, 210 secs
lola: 3642365 markings, 3665989 edges, 15192 markings/sec, 215 secs
lola: 3720585 markings, 3744217 edges, 15644 markings/sec, 220 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 228 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pil_d3_n1_2_3_3_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6044 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: 186209 markings, 193606 edges, 37242 markings/sec, 0 secs
lola: 353963 markings, 369393 edges, 33551 markings/sec, 5 secs
lola: 526138 markings, 549836 edges, 34435 markings/sec, 10 secs
lola: 692356 markings, 724045 edges, 33244 markings/sec, 15 secs
lola: 844877 markings, 883831 edges, 30504 markings/sec, 20 secs
lola: 1009651 markings, 1056522 edges, 32955 markings/sec, 25 secs
lola: 1177771 markings, 1232724 edges, 33624 markings/sec, 30 secs
lola: 1346871 markings, 1409869 edges, 33820 markings/sec, 35 secs
lola: 1511133 markings, 1582003 edges, 32852 markings/sec, 40 secs
lola: 1647202 markings, 1721264 edges, 27214 markings/sec, 45 secs
lola: 1795273 markings, 1869735 edges, 29614 markings/sec, 50 secs
lola: 1942183 markings, 2017245 edges, 29382 markings/sec, 55 secs
lola: 2090798 markings, 2166365 edges, 29723 markings/sec, 60 secs
lola: 2240288 markings, 2316024 edges, 29898 markings/sec, 65 secs
lola: 2389604 markings, 2465654 edges, 29863 markings/sec, 70 secs
lola: 2537477 markings, 2613827 edges, 29575 markings/sec, 75 secs
lola: 2682137 markings, 2758848 edges, 28932 markings/sec, 80 secs
lola: 2830621 markings, 2907628 edges, 29697 markings/sec, 85 secs
lola: 2980856 markings, 3058111 edges, 30047 markings/sec, 90 secs
lola: 3130341 markings, 3207879 edges, 29897 markings/sec, 95 secs
lola: 3278722 markings, 3356814 edges, 29676 markings/sec, 100 secs
lola: 3426663 markings, 3505329 edges, 29588 markings/sec, 105 secs
lola: 3574733 markings, 3653980 edges, 29614 markings/sec, 110 secs
lola: 3722204 markings, 3802044 edges, 29494 markings/sec, 115 secs
lola: 3870021 markings, 3950314 edges, 29563 markings/sec, 120 secs
lola: 4018590 markings, 4099134 edges, 29714 markings/sec, 125 secs
lola: 4164153 markings, 4244948 edges, 29113 markings/sec, 130 secs
lola: 4309999 markings, 4391043 edges, 29169 markings/sec, 135 secs
lola: 4452645 markings, 4533933 edges, 28529 markings/sec, 140 secs
lola: 4595838 markings, 4677375 edges, 28639 markings/sec, 145 secs
lola: 4742720 markings, 4824507 edges, 29376 markings/sec, 150 secs
lola: 4888088 markings, 4970121 edges, 29074 markings/sec, 155 secs
lola: 5034416 markings, 5116566 edges, 29266 markings/sec, 160 secs
lola: 5181897 markings, 5264128 edges, 29496 markings/sec, 165 secs
lola: 5329915 markings, 5412248 edges, 29604 markings/sec, 170 secs
lola: 5475005 markings, 5557403 edges, 29018 markings/sec, 175 secs
lola: 5623122 markings, 5705577 edges, 29623 markings/sec, 180 secs
lola: 5772102 markings, 5854779 edges, 29796 markings/sec, 185 secs
lola: 5915723 markings, 5998601 edges, 28724 markings/sec, 190 secs
lola: 6055320 markings, 6138297 edges, 27919 markings/sec, 195 secs
lola: 6195213 markings, 6278292 edges, 27979 markings/sec, 200 secs
lola: 6342674 markings, 6425862 edges, 29492 markings/sec, 205 secs
lola: 6490081 markings, 6573416 edges, 29481 markings/sec, 210 secs
lola: 6640809 markings, 6724715 edges, 30146 markings/sec, 215 secs
lola: 6789055 markings, 6873179 edges, 29649 markings/sec, 220 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 228 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pil_d3_n1_1_2_2_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6044 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: 129347 markings, 131903 edges, 25869 markings/sec, 0 secs
lola: 235874 markings, 239753 edges, 21305 markings/sec, 5 secs
lola: 344237 markings, 348589 edges, 21673 markings/sec, 10 secs
lola: 446726 markings, 451704 edges, 20498 markings/sec, 15 secs
lola: 555504 markings, 561121 edges, 21756 markings/sec, 20 secs
lola: 663093 markings, 669350 edges, 21518 markings/sec, 25 secs
lola: 772619 markings, 779539 edges, 21905 markings/sec, 30 secs
lola: 879598 markings, 887109 edges, 21396 markings/sec, 35 secs
lola: 990618 markings, 999217 edges, 22204 markings/sec, 40 secs
lola: 1100296 markings, 1109087 edges, 21936 markings/sec, 45 secs
lola: 1202046 markings, 1211142 edges, 20350 markings/sec, 50 secs
lola: 1312155 markings, 1322024 edges, 22022 markings/sec, 55 secs
lola: 1418465 markings, 1429071 edges, 21262 markings/sec, 60 secs
lola: 1519831 markings, 1531126 edges, 20273 markings/sec, 65 secs
lola: 1629300 markings, 1641369 edges, 21894 markings/sec, 70 secs
lola: 1739085 markings, 1751966 edges, 21957 markings/sec, 75 secs
lola: 1848725 markings, 1862398 edges, 21928 markings/sec, 80 secs
lola: 1955804 markings, 1970239 edges, 21416 markings/sec, 85 secs
lola: 2063210 markings, 2078392 edges, 21481 markings/sec, 90 secs
lola: 2172484 markings, 2188415 edges, 21855 markings/sec, 95 secs
lola: 2274659 markings, 2291260 edges, 20435 markings/sec, 100 secs
lola: 2375865 markings, 2393264 edges, 20241 markings/sec, 105 secs
lola: 2483231 markings, 2501438 edges, 21473 markings/sec, 110 secs
lola: 2582126 markings, 2600948 edges, 19779 markings/sec, 115 secs
lola: 2691163 markings, 2710745 edges, 21807 markings/sec, 120 secs
lola: 2796075 markings, 2816524 edges, 20982 markings/sec, 125 secs
lola: 2891652 markings, 2912658 edges, 19115 markings/sec, 130 secs
lola: 3001162 markings, 3023044 edges, 21902 markings/sec, 135 secs
lola: 3110415 markings, 3133063 edges, 21851 markings/sec, 140 secs
lola: 3218700 markings, 3241994 edges, 21657 markings/sec, 145 secs
lola: 3328246 markings, 3352511 edges, 21909 markings/sec, 150 secs
lola: 3437451 markings, 3462266 edges, 21841 markings/sec, 155 secs
lola: 3546489 markings, 3571837 edges, 21808 markings/sec, 160 secs
lola: 3655675 markings, 3682001 edges, 21837 markings/sec, 165 secs
lola: 3764883 markings, 3791788 edges, 21842 markings/sec, 170 secs
lola: 3874301 markings, 3902184 edges, 21884 markings/sec, 175 secs
lola: 3976295 markings, 4004678 edges, 20399 markings/sec, 180 secs
lola: 4081497 markings, 4110823 edges, 21040 markings/sec, 185 secs
lola: 4190708 markings, 4220592 edges, 21842 markings/sec, 190 secs
lola: 4300268 markings, 4331123 edges, 21912 markings/sec, 195 secs
lola: 4406618 markings, 4438054 edges, 21270 markings/sec, 200 secs
lola: 4515546 markings, 4547890 edges, 21786 markings/sec, 205 secs
lola: 4624080 markings, 4657164 edges, 21707 markings/sec, 210 secs
lola: 4733177 markings, 4767014 edges, 21819 markings/sec, 215 secs
lola: 4842060 markings, 4876828 edges, 21777 markings/sec, 220 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 HypercubeGrid-PT-C4K3P3B12-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HypercubeGrid-PT-C4K3P3B12-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HypercubeGrid-PT-C4K3P3B12-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HypercubeGrid-PT-C4K3P3B12-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HypercubeGrid-PT-C4K3P3B12-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HypercubeGrid-PT-C4K3P3B12-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HypercubeGrid-PT-C4K3P3B12-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HypercubeGrid-PT-C4K3P3B12-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HypercubeGrid-PT-C4K3P3B12-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HypercubeGrid-PT-C4K3P3B12-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HypercubeGrid-PT-C4K3P3B12-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HypercubeGrid-PT-C4K3P3B12-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HypercubeGrid-PT-C4K3P3B12-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HypercubeGrid-PT-C4K3P3B12-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HypercubeGrid-PT-C4K3P3B12-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HypercubeGrid-PT-C4K3P3B12-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494617407630

--------------------
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="HypercubeGrid-PT-C4K3P3B12"
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/HypercubeGrid-PT-C4K3P3B12.tgz
mv HypercubeGrid-PT-C4K3P3B12 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool lola"
echo " Input is HypercubeGrid-PT-C4K3P3B12, 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 r038-blw7-149440484500011"
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 ;