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 HypertorusGrid-PT-d4k3p2b08, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r038-blw7-149440484500047
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1494616680975


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ HypertorusGrid-PT-d4k3p2b08 @ 3539 seconds
----- Start make result stdout -----
lola: LoLA will run for 3539 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 7209/65536 symbol table entries, 1791 collisions
lola: preprocessing...
lola: finding significant places
lola: 2025 places, 5184 transitions, 1295 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 5913 transition conflict sets
lola: TASK
lola: reading formula from HypertorusGrid-PT-d4k3p2b08-UpperBounds.task
lola: MAX(po_d2_n1_3_2_2_1) : MAX(pbl_1_1_3_1) : MAX(pb_d4_n2_2_2_1_3) : MAX(pb_d2_n2_1_2_2_1) : MAX(po_d3_n1_3_3_3_3) : MAX(pb_d1_n1_3_3_2_1) : MAX(pb_d3_n2_2_1_2_2) : MAX(po_d2_n1_1_3_2_2) : MAX(pol_d1_n1_2_3_3_1) : MAX(pol_d3_n1_2_1_1_3) : MAX(pb_d2_n1_2_3_3_1) : MAX(pi_d2_n1_3_3_1_2) : MAX(pb_d2_n2_3_1_2_3) : MAX(pb_d4_n2_2_1_3_2) : MAX(pi_d1_n1_3_2_1_2) : MAX(pil_d4_n1_2_3_3_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(po_d2_n1_3_2_2_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 5180 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: 105428 markings, 107158 edges, 21086 markings/sec, 0 secs
lola: 182124 markings, 184218 edges, 15339 markings/sec, 5 secs
lola: 260120 markings, 262466 edges, 15599 markings/sec, 10 secs
lola: 330741 markings, 333196 edges, 14124 markings/sec, 15 secs
lola: 404690 markings, 407228 edges, 14790 markings/sec, 20 secs
lola: 473213 markings, 475784 edges, 13705 markings/sec, 25 secs
lola: 549421 markings, 552000 edges, 15242 markings/sec, 30 secs
lola: 623164 markings, 625774 edges, 14749 markings/sec, 35 secs
lola: 693654 markings, 696352 edges, 14098 markings/sec, 40 secs
lola: 762079 markings, 764890 edges, 13685 markings/sec, 45 secs
lola: 831351 markings, 834640 edges, 13854 markings/sec, 50 secs
lola: 901361 markings, 905044 edges, 14002 markings/sec, 55 secs
lola: 967091 markings, 970870 edges, 13146 markings/sec, 60 secs
lola: 1036093 markings, 1039994 edges, 13800 markings/sec, 65 secs
lola: 1104149 markings, 1108858 edges, 13611 markings/sec, 70 secs
lola: 1173305 markings, 1178060 edges, 13831 markings/sec, 75 secs
lola: 1241368 markings, 1246226 edges, 13613 markings/sec, 80 secs
lola: 1304459 markings, 1309426 edges, 12618 markings/sec, 85 secs
lola: 1370734 markings, 1376507 edges, 13255 markings/sec, 90 secs
lola: 1447950 markings, 1453788 edges, 15443 markings/sec, 95 secs
lola: 1523127 markings, 1529086 edges, 15035 markings/sec, 100 secs
lola: 1594011 markings, 1600092 edges, 14177 markings/sec, 105 secs
lola: 1665527 markings, 1672390 edges, 14303 markings/sec, 110 secs
lola: 1737433 markings, 1744375 edges, 14381 markings/sec, 115 secs
lola: 1809005 markings, 1816073 edges, 14314 markings/sec, 120 secs
lola: 1872377 markings, 1879647 edges, 12674 markings/sec, 125 secs
lola: 1940928 markings, 1948871 edges, 13710 markings/sec, 130 secs
lola: 2012482 markings, 2020519 edges, 14311 markings/sec, 135 secs
lola: 2084671 markings, 2092837 edges, 14438 markings/sec, 140 secs
lola: 2153975 markings, 2162950 edges, 13861 markings/sec, 145 secs
lola: 2227083 markings, 2236112 edges, 14622 markings/sec, 150 secs
lola: 2298083 markings, 2307222 edges, 14200 markings/sec, 155 secs
lola: 2369759 markings, 2379018 edges, 14335 markings/sec, 160 secs
lola: 2436565 markings, 2446625 edges, 13361 markings/sec, 165 secs
lola: 2503374 markings, 2513498 edges, 13362 markings/sec, 170 secs
lola: 2573492 markings, 2583735 edges, 14024 markings/sec, 175 secs
lola: 2643126 markings, 2653493 edges, 13927 markings/sec, 180 secs
lola: 2710939 markings, 2722081 edges, 13563 markings/sec, 185 secs
lola: 2782911 markings, 2794135 edges, 14394 markings/sec, 190 secs
lola: 2854371 markings, 2865720 edges, 14292 markings/sec, 195 secs
lola: 2924045 markings, 2935666 edges, 13935 markings/sec, 200 secs
lola: 2993808 markings, 3006044 edges, 13953 markings/sec, 205 secs
lola: 3054325 markings, 3066645 edges, 12103 markings/sec, 210 secs
lola: 3121103 markings, 3133536 edges, 13356 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(pbl_1_1_3_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 5180 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: 68943 markings, 75407 edges, 13789 markings/sec, 0 secs
lola: 128496 markings, 137782 edges, 11911 markings/sec, 5 secs
lola: 207746 markings, 219710 edges, 15850 markings/sec, 10 secs
lola: 263827 markings, 280729 edges, 11216 markings/sec, 15 secs
lola: 316784 markings, 345088 edges, 10591 markings/sec, 20 secs
lola: 369139 markings, 409882 edges, 10471 markings/sec, 25 secs
lola: 421200 markings, 473982 edges, 10412 markings/sec, 30 secs
lola: 473003 markings, 539065 edges, 10361 markings/sec, 35 secs
lola: 523619 markings, 602706 edges, 10123 markings/sec, 40 secs
lola: 573180 markings, 666131 edges, 9912 markings/sec, 45 secs
lola: 623540 markings, 732293 edges, 10072 markings/sec, 50 secs
lola: 670077 markings, 792847 edges, 9307 markings/sec, 55 secs
lola: 719760 markings, 859684 edges, 9937 markings/sec, 60 secs
lola: 765393 markings, 920703 edges, 9127 markings/sec, 65 secs
lola: 814312 markings, 989264 edges, 9784 markings/sec, 70 secs
lola: 862903 markings, 1053108 edges, 9718 markings/sec, 75 secs
lola: 907418 markings, 1114262 edges, 8903 markings/sec, 80 secs
lola: 953559 markings, 1178241 edges, 9228 markings/sec, 85 secs
lola: 1000271 markings, 1253557 edges, 9342 markings/sec, 90 secs
lola: 1031903 markings, 1504508 edges, 6326 markings/sec, 95 secs
lola: 1078064 markings, 1562178 edges, 9232 markings/sec, 100 secs
lola: 1129251 markings, 1623671 edges, 10237 markings/sec, 105 secs
lola: 1179659 markings, 1686446 edges, 10082 markings/sec, 110 secs
lola: 1226581 markings, 1744179 edges, 9384 markings/sec, 115 secs
lola: 1276921 markings, 1807125 edges, 10068 markings/sec, 120 secs
lola: 1326847 markings, 1870206 edges, 9985 markings/sec, 125 secs
lola: 1376086 markings, 1934603 edges, 9848 markings/sec, 130 secs
lola: 1424023 markings, 1996902 edges, 9587 markings/sec, 135 secs
lola: 1472889 markings, 2063291 edges, 9773 markings/sec, 140 secs
lola: 1521650 markings, 2127400 edges, 9752 markings/sec, 145 secs
lola: 1567620 markings, 2190207 edges, 9194 markings/sec, 150 secs
lola: 1615158 markings, 2255532 edges, 9508 markings/sec, 155 secs
lola: 1663434 markings, 2318993 edges, 9655 markings/sec, 160 secs
lola: 1710803 markings, 2385617 edges, 9474 markings/sec, 165 secs
lola: 1754103 markings, 2447221 edges, 8660 markings/sec, 170 secs
lola: 1793290 markings, 2548782 edges, 7837 markings/sec, 175 secs
lola: 1826455 markings, 2761286 edges, 6633 markings/sec, 180 secs
lola: 1875912 markings, 2821293 edges, 9891 markings/sec, 185 secs
lola: 1926902 markings, 2884615 edges, 10198 markings/sec, 190 secs
lola: 1977007 markings, 2945983 edges, 10021 markings/sec, 195 secs
lola: 2025817 markings, 3007139 edges, 9762 markings/sec, 200 secs
lola: 2075362 markings, 3069650 edges, 9909 markings/sec, 205 secs
lola: 2126002 markings, 3134235 edges, 10128 markings/sec, 210 secs
lola: 2170091 markings, 3191711 edges, 8818 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(pb_d4_n2_2_2_1_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 5180 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: 160361 markings, 164108 edges, 32072 markings/sec, 0 secs
lola: 221321 markings, 229891 edges, 12192 markings/sec, 5 secs
lola: 270857 markings, 292042 edges, 9907 markings/sec, 10 secs
lola: 321167 markings, 356807 edges, 10062 markings/sec, 15 secs
lola: 371168 markings, 419950 edges, 10000 markings/sec, 20 secs
lola: 420179 markings, 487668 edges, 9802 markings/sec, 25 secs
lola: 469932 markings, 551009 edges, 9951 markings/sec, 30 secs
lola: 519968 markings, 614782 edges, 10007 markings/sec, 35 secs
lola: 567440 markings, 675913 edges, 9494 markings/sec, 40 secs
lola: 613997 markings, 735111 edges, 9311 markings/sec, 45 secs
lola: 661340 markings, 793774 edges, 9469 markings/sec, 50 secs
lola: 708935 markings, 855380 edges, 9519 markings/sec, 55 secs
lola: 755004 markings, 915174 edges, 9214 markings/sec, 60 secs
lola: 802654 markings, 978059 edges, 9530 markings/sec, 65 secs
lola: 847854 markings, 1037423 edges, 9040 markings/sec, 70 secs
lola: 895645 markings, 1098271 edges, 9558 markings/sec, 75 secs
lola: 942982 markings, 1160960 edges, 9467 markings/sec, 80 secs
lola: 990672 markings, 1224709 edges, 9538 markings/sec, 85 secs
lola: 1036815 markings, 1285225 edges, 9229 markings/sec, 90 secs
lola: 1081927 markings, 1343891 edges, 9022 markings/sec, 95 secs
lola: 1128199 markings, 1405246 edges, 9254 markings/sec, 100 secs
lola: 1174576 markings, 1467866 edges, 9275 markings/sec, 105 secs
lola: 1219419 markings, 1532205 edges, 8969 markings/sec, 110 secs
lola: 1263313 markings, 1597005 edges, 8779 markings/sec, 115 secs
lola: 1305800 markings, 1694739 edges, 8497 markings/sec, 120 secs
lola: 1329552 markings, 1997542 edges, 4750 markings/sec, 125 secs
lola: 1376866 markings, 2070772 edges, 9463 markings/sec, 130 secs
lola: 1425655 markings, 2132361 edges, 9758 markings/sec, 135 secs
lola: 1473727 markings, 2193914 edges, 9614 markings/sec, 140 secs
lola: 1521518 markings, 2256735 edges, 9558 markings/sec, 145 secs
lola: 1569536 markings, 2318674 edges, 9604 markings/sec, 150 secs
lola: 1617314 markings, 2380743 edges, 9556 markings/sec, 155 secs
lola: 1663600 markings, 2440516 edges, 9257 markings/sec, 160 secs
lola: 1710648 markings, 2502299 edges, 9410 markings/sec, 165 secs
lola: 1758235 markings, 2565912 edges, 9517 markings/sec, 170 secs
lola: 1804699 markings, 2624906 edges, 9293 markings/sec, 175 secs
lola: 1851783 markings, 2687130 edges, 9417 markings/sec, 180 secs
lola: 1896958 markings, 2745251 edges, 9035 markings/sec, 185 secs
lola: 1942311 markings, 2805856 edges, 9071 markings/sec, 190 secs
lola: 1987879 markings, 2868084 edges, 9114 markings/sec, 195 secs
lola: 2032782 markings, 2930157 edges, 8981 markings/sec, 200 secs
lola: 2077800 markings, 2998477 edges, 9004 markings/sec, 205 secs
lola: 2119368 markings, 3100874 edges, 8314 markings/sec, 210 secs
lola: 2143522 markings, 3391221 edges, 4831 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(pb_d2_n2_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 5180 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: 115205 markings, 119665 edges, 23041 markings/sec, 0 secs
lola: 180638 markings, 190230 edges, 13087 markings/sec, 5 secs
lola: 238367 markings, 262801 edges, 11546 markings/sec, 10 secs
lola: 293500 markings, 332380 edges, 11027 markings/sec, 15 secs
lola: 352073 markings, 402209 edges, 11715 markings/sec, 20 secs
lola: 410416 markings, 475458 edges, 11669 markings/sec, 25 secs
lola: 465570 markings, 545910 edges, 11031 markings/sec, 30 secs
lola: 517627 markings, 611841 edges, 10411 markings/sec, 35 secs
lola: 569706 markings, 675131 edges, 10416 markings/sec, 40 secs
lola: 623025 markings, 743503 edges, 10664 markings/sec, 45 secs
lola: 675754 markings, 812607 edges, 10546 markings/sec, 50 secs
lola: 728883 markings, 878939 edges, 10626 markings/sec, 55 secs
lola: 784417 markings, 951952 edges, 11107 markings/sec, 60 secs
lola: 837612 markings, 1023119 edges, 10639 markings/sec, 65 secs
lola: 893504 markings, 1095003 edges, 11178 markings/sec, 70 secs
lola: 947844 markings, 1167341 edges, 10868 markings/sec, 75 secs
lola: 1000917 markings, 1233666 edges, 10615 markings/sec, 80 secs
lola: 1050301 markings, 1299321 edges, 9877 markings/sec, 85 secs
lola: 1102377 markings, 1369730 edges, 10415 markings/sec, 90 secs
lola: 1151567 markings, 1437521 edges, 9838 markings/sec, 95 secs
lola: 1199270 markings, 1511531 edges, 9541 markings/sec, 100 secs
lola: 1249968 markings, 1590821 edges, 10140 markings/sec, 105 secs
lola: 1279804 markings, 1811020 edges, 5967 markings/sec, 110 secs
lola: 1315107 markings, 2037118 edges, 7061 markings/sec, 115 secs
lola: 1368816 markings, 2105150 edges, 10742 markings/sec, 120 secs
lola: 1421924 markings, 2172102 edges, 10622 markings/sec, 125 secs
lola: 1476855 markings, 2237552 edges, 10986 markings/sec, 130 secs
lola: 1531104 markings, 2304902 edges, 10850 markings/sec, 135 secs
lola: 1585375 markings, 2374162 edges, 10854 markings/sec, 140 secs
lola: 1638137 markings, 2441694 edges, 10552 markings/sec, 145 secs
lola: 1688835 markings, 2502612 edges, 10140 markings/sec, 150 secs
lola: 1742902 markings, 2571789 edges, 10813 markings/sec, 155 secs
lola: 1797664 markings, 2643355 edges, 10952 markings/sec, 160 secs
lola: 1849092 markings, 2708276 edges, 10286 markings/sec, 165 secs
lola: 1901252 markings, 2776767 edges, 10432 markings/sec, 170 secs
lola: 1950161 markings, 2841118 edges, 9782 markings/sec, 175 secs
lola: 2003637 markings, 2909908 edges, 10695 markings/sec, 180 secs
lola: 2056692 markings, 2982081 edges, 10611 markings/sec, 185 secs
lola: 2105982 markings, 3043184 edges, 9858 markings/sec, 190 secs
lola: 2153908 markings, 3105807 edges, 9585 markings/sec, 195 secs
lola: 2200905 markings, 3169119 edges, 9399 markings/sec, 200 secs
lola: 2251248 markings, 3237974 edges, 10069 markings/sec, 205 secs
lola: 2301266 markings, 3312408 edges, 10004 markings/sec, 210 secs
lola: 2349650 markings, 3385949 edges, 9677 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(po_d3_n1_3_3_3_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 5180 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: 89321 markings, 90498 edges, 17864 markings/sec, 0 secs
lola: 146051 markings, 148389 edges, 11346 markings/sec, 5 secs
lola: 200361 markings, 211799 edges, 10862 markings/sec, 10 secs
lola: 253609 markings, 279201 edges, 10650 markings/sec, 15 secs
lola: 306198 markings, 345799 edges, 10518 markings/sec, 20 secs
lola: 358843 markings, 411739 edges, 10529 markings/sec, 25 secs
lola: 405792 markings, 474450 edges, 9390 markings/sec, 30 secs
lola: 458062 markings, 540830 edges, 10454 markings/sec, 35 secs
lola: 509361 markings, 605206 edges, 10260 markings/sec, 40 secs
lola: 561961 markings, 672624 edges, 10520 markings/sec, 45 secs
lola: 614489 markings, 739975 edges, 10506 markings/sec, 50 secs
lola: 667373 markings, 808121 edges, 10577 markings/sec, 55 secs
lola: 719049 markings, 868747 edges, 10335 markings/sec, 60 secs
lola: 768553 markings, 932860 edges, 9901 markings/sec, 65 secs
lola: 817780 markings, 992651 edges, 9845 markings/sec, 70 secs
lola: 864209 markings, 1051381 edges, 9286 markings/sec, 75 secs
lola: 914888 markings, 1116482 edges, 10136 markings/sec, 80 secs
lola: 961132 markings, 1175878 edges, 9249 markings/sec, 85 secs
lola: 1005810 markings, 1235728 edges, 8936 markings/sec, 90 secs
lola: 1054310 markings, 1302113 edges, 9700 markings/sec, 95 secs
lola: 1103506 markings, 1370043 edges, 9839 markings/sec, 100 secs
lola: 1150032 markings, 1440184 edges, 9305 markings/sec, 105 secs
lola: 1196166 markings, 1508339 edges, 9227 markings/sec, 110 secs
lola: 1245223 markings, 1575293 edges, 9811 markings/sec, 115 secs
lola: 1295563 markings, 1643204 edges, 10068 markings/sec, 120 secs
lola: 1344472 markings, 1707933 edges, 9782 markings/sec, 125 secs
lola: 1393541 markings, 1771863 edges, 9814 markings/sec, 130 secs
lola: 1440794 markings, 1844394 edges, 9451 markings/sec, 135 secs
lola: 1474516 markings, 2042892 edges, 6744 markings/sec, 140 secs
lola: 1510207 markings, 2241355 edges, 7138 markings/sec, 145 secs
lola: 1559031 markings, 2303614 edges, 9765 markings/sec, 150 secs
lola: 1607594 markings, 2364018 edges, 9713 markings/sec, 155 secs
lola: 1657467 markings, 2427692 edges, 9975 markings/sec, 160 secs
lola: 1705934 markings, 2488907 edges, 9693 markings/sec, 165 secs
lola: 1754157 markings, 2552006 edges, 9645 markings/sec, 170 secs
lola: 1802881 markings, 2616350 edges, 9745 markings/sec, 175 secs
lola: 1851708 markings, 2680069 edges, 9765 markings/sec, 180 secs
lola: 1899321 markings, 2748223 edges, 9523 markings/sec, 185 secs
lola: 1946880 markings, 2816749 edges, 9512 markings/sec, 190 secs
lola: 1994267 markings, 2888787 edges, 9477 markings/sec, 195 secs
lola: 2042842 markings, 2956023 edges, 9715 markings/sec, 200 secs
lola: 2092047 markings, 3021447 edges, 9841 markings/sec, 205 secs
lola: 2140212 markings, 3085012 edges, 9633 markings/sec, 210 secs
lola: 2188090 markings, 3150799 edges, 9576 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(pb_d1_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 5180 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: 109958 markings, 118276 edges, 21992 markings/sec, 0 secs
lola: 200255 markings, 221197 edges, 18059 markings/sec, 5 secs
lola: 277946 markings, 301615 edges, 15538 markings/sec, 10 secs
lola: 352813 markings, 376794 edges, 14973 markings/sec, 15 secs
lola: 427255 markings, 451598 edges, 14888 markings/sec, 20 secs
lola: 502136 markings, 526829 edges, 14976 markings/sec, 25 secs
lola: 576699 markings, 601451 edges, 14913 markings/sec, 30 secs
lola: 650653 markings, 675492 edges, 14791 markings/sec, 35 secs
lola: 725273 markings, 750245 edges, 14924 markings/sec, 40 secs
lola: 800109 markings, 825162 edges, 14967 markings/sec, 45 secs
lola: 874543 markings, 899667 edges, 14887 markings/sec, 50 secs
lola: 948725 markings, 973898 edges, 14836 markings/sec, 55 secs
lola: 1022448 markings, 1047824 edges, 14745 markings/sec, 60 secs
lola: 1096477 markings, 1122057 edges, 14806 markings/sec, 65 secs
lola: 1170383 markings, 1196168 edges, 14781 markings/sec, 70 secs
lola: 1244411 markings, 1270433 edges, 14806 markings/sec, 75 secs
lola: 1318323 markings, 1344520 edges, 14782 markings/sec, 80 secs
lola: 1389192 markings, 1416458 edges, 14174 markings/sec, 85 secs
lola: 1456117 markings, 1484466 edges, 13385 markings/sec, 90 secs
lola: 1524768 markings, 1554203 edges, 13730 markings/sec, 95 secs
lola: 1595250 markings, 1625809 edges, 14096 markings/sec, 100 secs
lola: 1664931 markings, 1696608 edges, 13936 markings/sec, 105 secs
lola: 1735191 markings, 1767911 edges, 14052 markings/sec, 110 secs
lola: 1804581 markings, 1838429 edges, 13878 markings/sec, 115 secs
lola: 1873745 markings, 1908704 edges, 13833 markings/sec, 120 secs
lola: 1943973 markings, 1980778 edges, 14046 markings/sec, 125 secs
lola: 2015038 markings, 2052954 edges, 14213 markings/sec, 130 secs
lola: 2084842 markings, 2123827 edges, 13961 markings/sec, 135 secs
lola: 2154651 markings, 2194723 edges, 13962 markings/sec, 140 secs
lola: 2223691 markings, 2264051 edges, 13808 markings/sec, 145 secs
lola: 2292157 markings, 2333631 edges, 13693 markings/sec, 150 secs
lola: 2360991 markings, 2403612 edges, 13767 markings/sec, 155 secs
lola: 2428825 markings, 2473283 edges, 13567 markings/sec, 160 secs
lola: 2497925 markings, 2542866 edges, 13820 markings/sec, 165 secs
lola: 2566464 markings, 2612512 edges, 13708 markings/sec, 170 secs
lola: 2633791 markings, 2680962 edges, 13465 markings/sec, 175 secs
lola: 2701473 markings, 2750031 edges, 13536 markings/sec, 180 secs
lola: 2769186 markings, 2818304 edges, 13543 markings/sec, 185 secs
lola: 2837700 markings, 2888465 edges, 13703 markings/sec, 190 secs
lola: 2904480 markings, 2956590 edges, 13356 markings/sec, 195 secs
lola: 2971088 markings, 3024358 edges, 13322 markings/sec, 200 secs
lola: 3038372 markings, 3092795 edges, 13457 markings/sec, 205 secs
lola: 3107458 markings, 3162504 edges, 13817 markings/sec, 210 secs
lola: 3176810 markings, 3232481 edges, 13870 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pb_d3_n2_2_1_2_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 5180 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: 88851 markings, 90773 edges, 17770 markings/sec, 0 secs
lola: 152685 markings, 155256 edges, 12767 markings/sec, 5 secs
lola: 214552 markings, 218171 edges, 12373 markings/sec, 10 secs
lola: 274078 markings, 279680 edges, 11905 markings/sec, 15 secs
lola: 332986 markings, 340579 edges, 11782 markings/sec, 20 secs
lola: 392696 markings, 401943 edges, 11942 markings/sec, 25 secs
lola: 451466 markings, 462565 edges, 11754 markings/sec, 30 secs
lola: 510729 markings, 523755 edges, 11853 markings/sec, 35 secs
lola: 569777 markings, 584604 edges, 11810 markings/sec, 40 secs
lola: 628577 markings, 645503 edges, 11760 markings/sec, 45 secs
lola: 688955 markings, 708171 edges, 12076 markings/sec, 50 secs
lola: 748839 markings, 770454 edges, 11977 markings/sec, 55 secs
lola: 808215 markings, 831145 edges, 11875 markings/sec, 60 secs
lola: 867601 markings, 892603 edges, 11877 markings/sec, 65 secs
lola: 926739 markings, 953602 edges, 11828 markings/sec, 70 secs
lola: 986382 markings, 1014557 edges, 11929 markings/sec, 75 secs
lola: 1046124 markings, 1076375 edges, 11948 markings/sec, 80 secs
lola: 1104645 markings, 1137033 edges, 11704 markings/sec, 85 secs
lola: 1163551 markings, 1197056 edges, 11781 markings/sec, 90 secs
lola: 1221719 markings, 1256597 edges, 11634 markings/sec, 95 secs
lola: 1280096 markings, 1317020 edges, 11675 markings/sec, 100 secs
lola: 1339325 markings, 1377968 edges, 11846 markings/sec, 105 secs
lola: 1398216 markings, 1438634 edges, 11778 markings/sec, 110 secs
lola: 1457461 markings, 1499227 edges, 11849 markings/sec, 115 secs
lola: 1516914 markings, 1560744 edges, 11891 markings/sec, 120 secs
lola: 1576316 markings, 1621503 edges, 11880 markings/sec, 125 secs
lola: 1634675 markings, 1681566 edges, 11672 markings/sec, 130 secs
lola: 1693359 markings, 1742642 edges, 11737 markings/sec, 135 secs
lola: 1752798 markings, 1804162 edges, 11888 markings/sec, 140 secs
lola: 1811328 markings, 1864772 edges, 11706 markings/sec, 145 secs
lola: 1869359 markings, 1924901 edges, 11606 markings/sec, 150 secs
lola: 1927906 markings, 1985143 edges, 11709 markings/sec, 155 secs
lola: 1987261 markings, 2046474 edges, 11871 markings/sec, 160 secs
lola: 2046030 markings, 2107362 edges, 11754 markings/sec, 165 secs
lola: 2105259 markings, 2168756 edges, 11846 markings/sec, 170 secs
lola: 2164109 markings, 2229275 edges, 11770 markings/sec, 175 secs
lola: 2223198 markings, 2290529 edges, 11818 markings/sec, 180 secs
lola: 2281012 markings, 2350484 edges, 11563 markings/sec, 185 secs
lola: 2338627 markings, 2410627 edges, 11523 markings/sec, 190 secs
lola: 2396465 markings, 2470771 edges, 11568 markings/sec, 195 secs
lola: 2455378 markings, 2531977 edges, 11783 markings/sec, 200 secs
lola: 2512705 markings, 2590834 edges, 11465 markings/sec, 205 secs
lola: 2569744 markings, 2649973 edges, 11408 markings/sec, 210 secs
lola: 2629621 markings, 2712105 edges, 11975 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(po_d2_n1_1_3_2_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 5180 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: 105185 markings, 107982 edges, 21037 markings/sec, 0 secs
lola: 178011 markings, 181445 edges, 14565 markings/sec, 5 secs
lola: 253931 markings, 257408 edges, 15184 markings/sec, 10 secs
lola: 327155 markings, 331548 edges, 14645 markings/sec, 15 secs
lola: 398347 markings, 403669 edges, 14238 markings/sec, 20 secs
lola: 469406 markings, 475676 edges, 14212 markings/sec, 25 secs
lola: 539355 markings, 546571 edges, 13990 markings/sec, 30 secs
lola: 609971 markings, 618144 edges, 14123 markings/sec, 35 secs
lola: 682216 markings, 692000 edges, 14449 markings/sec, 40 secs
lola: 752747 markings, 763455 edges, 14106 markings/sec, 45 secs
lola: 824608 markings, 836269 edges, 14372 markings/sec, 50 secs
lola: 895473 markings, 908089 edges, 14173 markings/sec, 55 secs
lola: 966685 markings, 980264 edges, 14242 markings/sec, 60 secs
lola: 1038748 markings, 1053308 edges, 14413 markings/sec, 65 secs
lola: 1109865 markings, 1126032 edges, 14223 markings/sec, 70 secs
lola: 1179191 markings, 1196293 edges, 13865 markings/sec, 75 secs
lola: 1250377 markings, 1268447 edges, 14237 markings/sec, 80 secs
lola: 1319964 markings, 1339001 edges, 13917 markings/sec, 85 secs
lola: 1390865 markings, 1410875 edges, 14180 markings/sec, 90 secs
lola: 1463943 markings, 1485598 edges, 14616 markings/sec, 95 secs
lola: 1535633 markings, 1558246 edges, 14338 markings/sec, 100 secs
lola: 1607561 markings, 1631160 edges, 14386 markings/sec, 105 secs
lola: 1679926 markings, 1704518 edges, 14473 markings/sec, 110 secs
lola: 1750966 markings, 1776580 edges, 14208 markings/sec, 115 secs
lola: 1821852 markings, 1849044 edges, 14177 markings/sec, 120 secs
lola: 1893101 markings, 1921299 edges, 14250 markings/sec, 125 secs
lola: 1963850 markings, 1992982 edges, 14150 markings/sec, 130 secs
lola: 2034730 markings, 2064866 edges, 14176 markings/sec, 135 secs
lola: 2106572 markings, 2137628 edges, 14368 markings/sec, 140 secs
lola: 2178790 markings, 2210088 edges, 14444 markings/sec, 145 secs
lola: 2249755 markings, 2281338 edges, 14193 markings/sec, 150 secs
lola: 2321102 markings, 2353712 edges, 14269 markings/sec, 155 secs
lola: 2393445 markings, 2427306 edges, 14469 markings/sec, 160 secs
lola: 2465259 markings, 2499754 edges, 14363 markings/sec, 165 secs
lola: 2538258 markings, 2573112 edges, 14600 markings/sec, 170 secs
lola: 2609486 markings, 2645350 edges, 14246 markings/sec, 175 secs
lola: 2680967 markings, 2718471 edges, 14296 markings/sec, 180 secs
lola: 2753519 markings, 2792032 edges, 14510 markings/sec, 185 secs
lola: 2825874 markings, 2864710 edges, 14471 markings/sec, 190 secs
lola: 2896547 markings, 2936856 edges, 14135 markings/sec, 195 secs
lola: 2968164 markings, 3009402 edges, 14323 markings/sec, 200 secs
lola: 3040671 markings, 3082420 edges, 14501 markings/sec, 205 secs
lola: 3112604 markings, 3155299 edges, 14387 markings/sec, 210 secs
lola: 3182405 markings, 3226084 edges, 13960 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pol_d1_n1_2_3_3_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 5180 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: 91834 markings, 93388 edges, 18367 markings/sec, 0 secs
lola: 151810 markings, 157326 edges, 11995 markings/sec, 5 secs
lola: 208473 markings, 228683 edges, 11333 markings/sec, 10 secs
lola: 264427 markings, 298738 edges, 11191 markings/sec, 15 secs
lola: 320388 markings, 366160 edges, 11192 markings/sec, 20 secs
lola: 376085 markings, 434181 edges, 11139 markings/sec, 25 secs
lola: 432074 markings, 504694 edges, 11198 markings/sec, 30 secs
lola: 487532 markings, 573157 edges, 11092 markings/sec, 35 secs
lola: 542547 markings, 644663 edges, 11003 markings/sec, 40 secs
lola: 596794 markings, 713751 edges, 10849 markings/sec, 45 secs
lola: 650454 markings, 782858 edges, 10732 markings/sec, 50 secs
lola: 704184 markings, 853117 edges, 10746 markings/sec, 55 secs
lola: 757786 markings, 921243 edges, 10720 markings/sec, 60 secs
lola: 809924 markings, 990269 edges, 10428 markings/sec, 65 secs
lola: 861476 markings, 1060905 edges, 10310 markings/sec, 70 secs
lola: 913158 markings, 1130981 edges, 10336 markings/sec, 75 secs
lola: 964150 markings, 1200405 edges, 10198 markings/sec, 80 secs
lola: 1015942 markings, 1270194 edges, 10358 markings/sec, 85 secs
lola: 1068369 markings, 1340211 edges, 10485 markings/sec, 90 secs
lola: 1121354 markings, 1406945 edges, 10597 markings/sec, 95 secs
lola: 1174146 markings, 1473692 edges, 10558 markings/sec, 100 secs
lola: 1225825 markings, 1536996 edges, 10336 markings/sec, 105 secs
lola: 1279352 markings, 1601383 edges, 10705 markings/sec, 110 secs
lola: 1332871 markings, 1668536 edges, 10704 markings/sec, 115 secs
lola: 1386912 markings, 1736513 edges, 10808 markings/sec, 120 secs
lola: 1440503 markings, 1805167 edges, 10718 markings/sec, 125 secs
lola: 1493539 markings, 1871837 edges, 10607 markings/sec, 130 secs
lola: 1545923 markings, 1939347 edges, 10477 markings/sec, 135 secs
lola: 1597305 markings, 2005672 edges, 10276 markings/sec, 140 secs
lola: 1649327 markings, 2072408 edges, 10404 markings/sec, 145 secs
lola: 1699611 markings, 2140020 edges, 10057 markings/sec, 150 secs
lola: 1751855 markings, 2209343 edges, 10449 markings/sec, 155 secs
lola: 1802418 markings, 2277982 edges, 10113 markings/sec, 160 secs
lola: 1851105 markings, 2345470 edges, 9737 markings/sec, 165 secs
lola: 1901672 markings, 2414677 edges, 10113 markings/sec, 170 secs
lola: 1948940 markings, 2488346 edges, 9454 markings/sec, 175 secs
lola: 1997035 markings, 2588158 edges, 9619 markings/sec, 180 secs
lola: 2022159 markings, 2904010 edges, 5025 markings/sec, 185 secs
lola: 2071480 markings, 2979131 edges, 9864 markings/sec, 190 secs
lola: 2105491 markings, 3194635 edges, 6802 markings/sec, 195 secs
lola: 2146493 markings, 3391928 edges, 8200 markings/sec, 200 secs
lola: 2201437 markings, 3459992 edges, 10989 markings/sec, 205 secs
lola: 2252432 markings, 3524887 edges, 10199 markings/sec, 210 secs
lola: 2306652 markings, 3588088 edges, 10844 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pol_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 5180 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: 97863 markings, 99097 edges, 19573 markings/sec, 0 secs
lola: 186236 markings, 187725 edges, 17675 markings/sec, 5 secs
lola: 275227 markings, 276785 edges, 17798 markings/sec, 10 secs
lola: 363734 markings, 365370 edges, 17701 markings/sec, 15 secs
lola: 452605 markings, 454313 edges, 17774 markings/sec, 20 secs
lola: 538979 markings, 540688 edges, 17275 markings/sec, 25 secs
lola: 625818 markings, 627548 edges, 17368 markings/sec, 30 secs
lola: 710063 markings, 711811 edges, 16849 markings/sec, 35 secs
lola: 796725 markings, 798490 edges, 17332 markings/sec, 40 secs
lola: 885011 markings, 886795 edges, 17657 markings/sec, 45 secs
lola: 973807 markings, 975595 edges, 17759 markings/sec, 50 secs
lola: 1062481 markings, 1064270 edges, 17735 markings/sec, 55 secs
lola: 1152031 markings, 1153820 edges, 17910 markings/sec, 60 secs
lola: 1241712 markings, 1243501 edges, 17936 markings/sec, 65 secs
lola: 1331256 markings, 1333046 edges, 17909 markings/sec, 70 secs
lola: 1417083 markings, 1418872 edges, 17165 markings/sec, 75 secs
lola: 1506849 markings, 1508638 edges, 17953 markings/sec, 80 secs
lola: 1596131 markings, 1597920 edges, 17856 markings/sec, 85 secs
lola: 1685900 markings, 1687693 edges, 17954 markings/sec, 90 secs
lola: 1772642 markings, 1774439 edges, 17348 markings/sec, 95 secs
lola: 1861698 markings, 1863499 edges, 17811 markings/sec, 100 secs
lola: 1948986 markings, 1950790 edges, 17458 markings/sec, 105 secs
lola: 2038111 markings, 2039920 edges, 17825 markings/sec, 110 secs
lola: 2127273 markings, 2129087 edges, 17832 markings/sec, 115 secs
lola: 2216331 markings, 2218149 edges, 17812 markings/sec, 120 secs
lola: 2305119 markings, 2306941 edges, 17758 markings/sec, 125 secs
lola: 2394220 markings, 2396047 edges, 17820 markings/sec, 130 secs
lola: 2483606 markings, 2485437 edges, 17877 markings/sec, 135 secs
lola: 2573066 markings, 2574900 edges, 17892 markings/sec, 140 secs
lola: 2662475 markings, 2664314 edges, 17882 markings/sec, 145 secs
lola: 2749956 markings, 2751800 edges, 17496 markings/sec, 150 secs
lola: 2837470 markings, 2839318 edges, 17503 markings/sec, 155 secs
lola: 2925317 markings, 2927169 edges, 17569 markings/sec, 160 secs
lola: 3014578 markings, 3016434 edges, 17852 markings/sec, 165 secs
lola: 3103782 markings, 3105643 edges, 17841 markings/sec, 170 secs
lola: 3192829 markings, 3194693 edges, 17809 markings/sec, 175 secs
lola: 3280133 markings, 3282002 edges, 17461 markings/sec, 180 secs
lola: 3369436 markings, 3371310 edges, 17861 markings/sec, 185 secs
lola: 3457582 markings, 3459460 edges, 17629 markings/sec, 190 secs
lola: 3545640 markings, 3547522 edges, 17612 markings/sec, 195 secs
lola: 3633128 markings, 3635014 edges, 17498 markings/sec, 200 secs
lola: 3719770 markings, 3721659 edges, 17328 markings/sec, 205 secs
lola: 3806864 markings, 3808758 edges, 17419 markings/sec, 210 secs
lola: 3893475 markings, 3895371 edges, 17322 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pb_d2_n1_2_3_3_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 5180 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: 104158 markings, 105782 edges, 20832 markings/sec, 0 secs
lola: 178657 markings, 180422 edges, 14900 markings/sec, 5 secs
lola: 252627 markings, 254458 edges, 14794 markings/sec, 10 secs
lola: 322840 markings, 324763 edges, 14043 markings/sec, 15 secs
lola: 392374 markings, 394397 edges, 13907 markings/sec, 20 secs
lola: 461617 markings, 463740 edges, 13849 markings/sec, 25 secs
lola: 535306 markings, 537529 edges, 14738 markings/sec, 30 secs
lola: 610352 markings, 612678 edges, 15009 markings/sec, 35 secs
lola: 681000 markings, 683413 edges, 14130 markings/sec, 40 secs
lola: 751502 markings, 754021 edges, 14100 markings/sec, 45 secs
lola: 823888 markings, 826518 edges, 14477 markings/sec, 50 secs
lola: 897658 markings, 900397 edges, 14754 markings/sec, 55 secs
lola: 973095 markings, 975892 edges, 15087 markings/sec, 60 secs
lola: 1048435 markings, 1051237 edges, 15068 markings/sec, 65 secs
lola: 1121414 markings, 1124227 edges, 14596 markings/sec, 70 secs
lola: 1195382 markings, 1198214 edges, 14794 markings/sec, 75 secs
lola: 1267839 markings, 1270700 edges, 14491 markings/sec, 80 secs
lola: 1341981 markings, 1344880 edges, 14828 markings/sec, 85 secs
lola: 1414792 markings, 1417729 edges, 14562 markings/sec, 90 secs
lola: 1488665 markings, 1491632 edges, 14775 markings/sec, 95 secs
lola: 1561821 markings, 1564855 edges, 14631 markings/sec, 100 secs
lola: 1630800 markings, 1634041 edges, 13796 markings/sec, 105 secs
lola: 1700198 markings, 1703647 edges, 13880 markings/sec, 110 secs
lola: 1767593 markings, 1772002 edges, 13479 markings/sec, 115 secs
lola: 1839858 markings, 1844997 edges, 14453 markings/sec, 120 secs
lola: 1910102 markings, 1915484 edges, 14049 markings/sec, 125 secs
lola: 1980709 markings, 1986276 edges, 14121 markings/sec, 130 secs
lola: 2051447 markings, 2058514 edges, 14148 markings/sec, 135 secs
lola: 2121403 markings, 2128666 edges, 13991 markings/sec, 140 secs
lola: 2191604 markings, 2199088 edges, 14040 markings/sec, 145 secs
lola: 2258511 markings, 2266298 edges, 13381 markings/sec, 150 secs
lola: 2327966 markings, 2337139 edges, 13891 markings/sec, 155 secs
lola: 2397682 markings, 2407109 edges, 13943 markings/sec, 160 secs
lola: 2467480 markings, 2477071 edges, 13960 markings/sec, 165 secs
lola: 2534386 markings, 2545482 edges, 13381 markings/sec, 170 secs
lola: 2601450 markings, 2612700 edges, 13413 markings/sec, 175 secs
lola: 2671726 markings, 2683227 edges, 14055 markings/sec, 180 secs
lola: 2741110 markings, 2752817 edges, 13877 markings/sec, 185 secs
lola: 2812817 markings, 2826013 edges, 14341 markings/sec, 190 secs
lola: 2884065 markings, 2897466 edges, 14250 markings/sec, 195 secs
lola: 2956470 markings, 2970102 edges, 14481 markings/sec, 200 secs
lola: 3025933 markings, 3041091 edges, 13893 markings/sec, 205 secs
lola: 3096889 markings, 3112210 edges, 14191 markings/sec, 210 secs
lola: 3166671 markings, 3182240 edges, 13956 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pi_d2_n1_3_3_1_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 5180 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: 88861 markings, 92872 edges, 17772 markings/sec, 0 secs
lola: 174511 markings, 182666 edges, 17130 markings/sec, 5 secs
lola: 260208 markings, 272112 edges, 17139 markings/sec, 10 secs
lola: 342890 markings, 358593 edges, 16536 markings/sec, 15 secs
lola: 423280 markings, 442779 edges, 16078 markings/sec, 20 secs
lola: 499637 markings, 520003 edges, 15271 markings/sec, 25 secs
lola: 571876 markings, 592492 edges, 14448 markings/sec, 30 secs
lola: 642972 markings, 663726 edges, 14219 markings/sec, 35 secs
lola: 714282 markings, 735085 edges, 14262 markings/sec, 40 secs
lola: 787511 markings, 808373 edges, 14646 markings/sec, 45 secs
lola: 857637 markings, 878680 edges, 14025 markings/sec, 50 secs
lola: 926959 markings, 949068 edges, 13864 markings/sec, 55 secs
lola: 993119 markings, 1015682 edges, 13232 markings/sec, 60 secs
lola: 1059616 markings, 1083260 edges, 13299 markings/sec, 65 secs
lola: 1122080 markings, 1145869 edges, 12493 markings/sec, 70 secs
lola: 1189383 markings, 1213826 edges, 13461 markings/sec, 75 secs
lola: 1253597 markings, 1278179 edges, 12843 markings/sec, 80 secs
lola: 1316242 markings, 1342196 edges, 12529 markings/sec, 85 secs
lola: 1380270 markings, 1406359 edges, 12806 markings/sec, 90 secs
lola: 1446745 markings, 1473502 edges, 13295 markings/sec, 95 secs
lola: 1513127 markings, 1540021 edges, 13276 markings/sec, 100 secs
lola: 1578044 markings, 1606314 edges, 12983 markings/sec, 105 secs
lola: 1649548 markings, 1677977 edges, 14301 markings/sec, 110 secs
lola: 1718025 markings, 1747116 edges, 13695 markings/sec, 115 secs
lola: 1783544 markings, 1812780 edges, 13104 markings/sec, 120 secs
lola: 1847683 markings, 1878287 edges, 12828 markings/sec, 125 secs
lola: 1912379 markings, 1943131 edges, 12939 markings/sec, 130 secs
lola: 1978672 markings, 2010081 edges, 13259 markings/sec, 135 secs
lola: 2036040 markings, 2067575 edges, 11474 markings/sec, 140 secs
lola: 2099582 markings, 2132267 edges, 12708 markings/sec, 145 secs
lola: 2162500 markings, 2195515 edges, 12584 markings/sec, 150 secs
lola: 2228504 markings, 2261641 edges, 13201 markings/sec, 155 secs
lola: 2291561 markings, 2324932 edges, 12611 markings/sec, 160 secs
lola: 2352165 markings, 2386146 edges, 12121 markings/sec, 165 secs
lola: 2412203 markings, 2446381 edges, 12008 markings/sec, 170 secs
lola: 2474158 markings, 2509581 edges, 12391 markings/sec, 175 secs
lola: 2540992 markings, 2576619 edges, 13367 markings/sec, 180 secs
lola: 2607670 markings, 2643968 edges, 13336 markings/sec, 185 secs
lola: 2674127 markings, 2710624 edges, 13291 markings/sec, 190 secs
lola: 2741090 markings, 2778854 edges, 13393 markings/sec, 195 secs
lola: 2808016 markings, 2845994 edges, 13385 markings/sec, 200 secs
lola: 2875972 markings, 2914614 edges, 13591 markings/sec, 205 secs
lola: 2939726 markings, 2978569 edges, 12751 markings/sec, 210 secs
lola: 3007300 markings, 3047405 edges, 13515 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pb_d2_n2_3_1_2_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 5180 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: 128050 markings, 130640 edges, 25610 markings/sec, 0 secs
lola: 226456 markings, 230696 edges, 19681 markings/sec, 5 secs
lola: 310516 markings, 316196 edges, 16812 markings/sec, 10 secs
lola: 394743 markings, 402117 edges, 16845 markings/sec, 15 secs
lola: 470014 markings, 478744 edges, 15054 markings/sec, 20 secs
lola: 531902 markings, 548808 edges, 12378 markings/sec, 25 secs
lola: 593816 markings, 626037 edges, 12383 markings/sec, 30 secs
lola: 655008 markings, 701217 edges, 12238 markings/sec, 35 secs
lola: 716201 markings, 777226 edges, 12239 markings/sec, 40 secs
lola: 777870 markings, 853817 edges, 12334 markings/sec, 45 secs
lola: 837791 markings, 930261 edges, 11984 markings/sec, 50 secs
lola: 898453 markings, 1006414 edges, 12132 markings/sec, 55 secs
lola: 957996 markings, 1082728 edges, 11909 markings/sec, 60 secs
lola: 1018419 markings, 1157796 edges, 12085 markings/sec, 65 secs
lola: 1075065 markings, 1230425 edges, 11329 markings/sec, 70 secs
lola: 1134766 markings, 1307405 edges, 11940 markings/sec, 75 secs
lola: 1193851 markings, 1383308 edges, 11817 markings/sec, 80 secs
lola: 1251845 markings, 1455743 edges, 11599 markings/sec, 85 secs
lola: 1310937 markings, 1530177 edges, 11818 markings/sec, 90 secs
lola: 1370072 markings, 1605933 edges, 11827 markings/sec, 95 secs
lola: 1426481 markings, 1678877 edges, 11282 markings/sec, 100 secs
lola: 1484570 markings, 1754000 edges, 11618 markings/sec, 105 secs
lola: 1543571 markings, 1829596 edges, 11800 markings/sec, 110 secs
lola: 1603132 markings, 1898756 edges, 11912 markings/sec, 115 secs
lola: 1662226 markings, 1970448 edges, 11819 markings/sec, 120 secs
lola: 1720389 markings, 2041569 edges, 11633 markings/sec, 125 secs
lola: 1778430 markings, 2113475 edges, 11608 markings/sec, 130 secs
lola: 1835523 markings, 2185704 edges, 11419 markings/sec, 135 secs
lola: 1891709 markings, 2258459 edges, 11237 markings/sec, 140 secs
lola: 1947514 markings, 2332499 edges, 11161 markings/sec, 145 secs
lola: 2002804 markings, 2407483 edges, 11058 markings/sec, 150 secs
lola: 2058433 markings, 2487844 edges, 11126 markings/sec, 155 secs
lola: 2098066 markings, 2720344 edges, 7927 markings/sec, 160 secs
lola: 2144223 markings, 2893347 edges, 9231 markings/sec, 165 secs
lola: 2198654 markings, 2966532 edges, 10886 markings/sec, 170 secs
lola: 2254602 markings, 3043119 edges, 11190 markings/sec, 175 secs
lola: 2309473 markings, 3118206 edges, 10974 markings/sec, 180 secs
lola: 2363752 markings, 3198444 edges, 10856 markings/sec, 185 secs
lola: 2392791 markings, 3523624 edges, 5808 markings/sec, 190 secs
lola: 2452751 markings, 3601126 edges, 11992 markings/sec, 195 secs
lola: 2513354 markings, 3677067 edges, 12121 markings/sec, 200 secs
lola: 2573674 markings, 3751434 edges, 12064 markings/sec, 205 secs
lola: 2634502 markings, 3827128 edges, 12166 markings/sec, 210 secs
lola: 2693205 markings, 3900754 edges, 11741 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pb_d4_n2_2_1_3_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 5180 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: 96950 markings, 98744 edges, 19390 markings/sec, 0 secs
lola: 160256 markings, 162361 edges, 12661 markings/sec, 5 secs
lola: 220850 markings, 224893 edges, 12119 markings/sec, 10 secs
lola: 280790 markings, 286775 edges, 11988 markings/sec, 15 secs
lola: 340485 markings, 348402 edges, 11939 markings/sec, 20 secs
lola: 399809 markings, 409679 edges, 11865 markings/sec, 25 secs
lola: 458924 markings, 470762 edges, 11823 markings/sec, 30 secs
lola: 519463 markings, 533209 edges, 12108 markings/sec, 35 secs
lola: 578595 markings, 593029 edges, 11826 markings/sec, 40 secs
lola: 637320 markings, 653523 edges, 11745 markings/sec, 45 secs
lola: 696804 markings, 714961 edges, 11897 markings/sec, 50 secs
lola: 756325 markings, 776488 edges, 11904 markings/sec, 55 secs
lola: 815177 markings, 837177 edges, 11770 markings/sec, 60 secs
lola: 874091 markings, 898038 edges, 11783 markings/sec, 65 secs
lola: 933001 markings, 958948 edges, 11782 markings/sec, 70 secs
lola: 992018 markings, 1019877 edges, 11803 markings/sec, 75 secs
lola: 1052155 markings, 1081956 edges, 12027 markings/sec, 80 secs
lola: 1112574 markings, 1144333 edges, 12084 markings/sec, 85 secs
lola: 1172063 markings, 1205778 edges, 11898 markings/sec, 90 secs
lola: 1230706 markings, 1266375 edges, 11729 markings/sec, 95 secs
lola: 1289207 markings, 1326864 edges, 11700 markings/sec, 100 secs
lola: 1349989 markings, 1388363 edges, 12156 markings/sec, 105 secs
lola: 1410524 markings, 1450737 edges, 12107 markings/sec, 110 secs
lola: 1470177 markings, 1512338 edges, 11931 markings/sec, 115 secs
lola: 1529560 markings, 1573692 edges, 11877 markings/sec, 120 secs
lola: 1589712 markings, 1635809 edges, 12030 markings/sec, 125 secs
lola: 1649437 markings, 1697520 edges, 11945 markings/sec, 130 secs
lola: 1708733 markings, 1758796 edges, 11859 markings/sec, 135 secs
lola: 1767818 markings, 1819862 edges, 11817 markings/sec, 140 secs
lola: 1827396 markings, 1881399 edges, 11916 markings/sec, 145 secs
lola: 1887727 markings, 1943717 edges, 12066 markings/sec, 150 secs
lola: 1947632 markings, 2005614 edges, 11981 markings/sec, 155 secs
lola: 2007010 markings, 2066979 edges, 11876 markings/sec, 160 secs
lola: 2066379 markings, 2128340 edges, 11874 markings/sec, 165 secs
lola: 2125473 markings, 2188800 edges, 11819 markings/sec, 170 secs
lola: 2185356 markings, 2250631 edges, 11977 markings/sec, 175 secs
lola: 2244696 markings, 2311239 edges, 11868 markings/sec, 180 secs
lola: 2305060 markings, 2373614 edges, 12073 markings/sec, 185 secs
lola: 2365349 markings, 2435922 edges, 12058 markings/sec, 190 secs
lola: 2425138 markings, 2497948 edges, 11958 markings/sec, 195 secs
lola: 2484662 markings, 2559482 edges, 11905 markings/sec, 200 secs
lola: 2543997 markings, 2621062 edges, 11867 markings/sec, 205 secs
lola: 2603610 markings, 2682691 edges, 11923 markings/sec, 210 secs
lola: 2662971 markings, 2744054 edges, 11872 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pi_d1_n1_3_2_1_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 5180 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: 146976 markings, 151772 edges, 29395 markings/sec, 0 secs
lola: 239986 markings, 246649 edges, 18602 markings/sec, 5 secs
lola: 314312 markings, 321292 edges, 14865 markings/sec, 10 secs
lola: 387807 markings, 395205 edges, 14699 markings/sec, 15 secs
lola: 457210 markings, 466910 edges, 13881 markings/sec, 20 secs
lola: 524546 markings, 536543 edges, 13467 markings/sec, 25 secs
lola: 593334 markings, 607639 edges, 13758 markings/sec, 30 secs
lola: 661648 markings, 678263 edges, 13663 markings/sec, 35 secs
lola: 730152 markings, 749064 edges, 13701 markings/sec, 40 secs
lola: 798119 markings, 819315 edges, 13593 markings/sec, 45 secs
lola: 866616 markings, 890131 edges, 13699 markings/sec, 50 secs
lola: 934661 markings, 960491 edges, 13609 markings/sec, 55 secs
lola: 1003548 markings, 1031721 edges, 13777 markings/sec, 60 secs
lola: 1072320 markings, 1102812 edges, 13754 markings/sec, 65 secs
lola: 1140128 markings, 1172945 edges, 13562 markings/sec, 70 secs
lola: 1207538 markings, 1242681 edges, 13482 markings/sec, 75 secs
lola: 1274375 markings, 1311839 edges, 13367 markings/sec, 80 secs
lola: 1340722 markings, 1380517 edges, 13269 markings/sec, 85 secs
lola: 1409604 markings, 1451761 edges, 13776 markings/sec, 90 secs
lola: 1477466 markings, 1521974 edges, 13572 markings/sec, 95 secs
lola: 1546198 markings, 1593068 edges, 13746 markings/sec, 100 secs
lola: 1612844 markings, 1662058 edges, 13329 markings/sec, 105 secs
lola: 1679201 markings, 1730776 edges, 13271 markings/sec, 110 secs
lola: 1747633 markings, 1801582 edges, 13686 markings/sec, 115 secs
lola: 1816194 markings, 1872446 edges, 13712 markings/sec, 120 secs
lola: 1884808 markings, 1943481 edges, 13723 markings/sec, 125 secs
lola: 1952421 markings, 2013838 edges, 13523 markings/sec, 130 secs
lola: 2020067 markings, 2084899 edges, 13529 markings/sec, 135 secs
lola: 2085674 markings, 2152086 edges, 13121 markings/sec, 140 secs
lola: 2154090 markings, 2223501 edges, 13683 markings/sec, 145 secs
lola: 2219703 markings, 2291405 edges, 13123 markings/sec, 150 secs
lola: 2288060 markings, 2362061 edges, 13671 markings/sec, 155 secs
lola: 2356411 markings, 2431114 edges, 13670 markings/sec, 160 secs
lola: 2425189 markings, 2502212 edges, 13756 markings/sec, 165 secs
lola: 2493870 markings, 2573274 edges, 13736 markings/sec, 170 secs
lola: 2561212 markings, 2643006 edges, 13468 markings/sec, 175 secs
lola: 2628464 markings, 2712848 edges, 13450 markings/sec, 180 secs
lola: 2697237 markings, 2782517 edges, 13755 markings/sec, 185 secs
lola: 2764865 markings, 2852568 edges, 13526 markings/sec, 190 secs
lola: 2833192 markings, 2923300 edges, 13665 markings/sec, 195 secs
lola: 2901891 markings, 2995414 edges, 13740 markings/sec, 200 secs
lola: 2969593 markings, 3066069 edges, 13540 markings/sec, 205 secs
lola: 3037184 markings, 3136127 edges, 13518 markings/sec, 210 secs
lola: 3105161 markings, 3205037 edges, 13595 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pil_d4_n1_2_3_3_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 5180 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: 106778 markings, 108463 edges, 21356 markings/sec, 0 secs
lola: 165173 markings, 178594 edges, 11679 markings/sec, 5 secs
lola: 222153 markings, 253108 edges, 11396 markings/sec, 10 secs
lola: 278983 markings, 324716 edges, 11366 markings/sec, 15 secs
lola: 335634 markings, 396794 edges, 11330 markings/sec, 20 secs
lola: 392238 markings, 467712 edges, 11321 markings/sec, 25 secs
lola: 448559 markings, 539155 edges, 11264 markings/sec, 30 secs
lola: 503539 markings, 609453 edges, 10996 markings/sec, 35 secs
lola: 558541 markings, 676977 edges, 11000 markings/sec, 40 secs
lola: 614834 markings, 752786 edges, 11259 markings/sec, 45 secs
lola: 669205 markings, 819463 edges, 10874 markings/sec, 50 secs
lola: 721701 markings, 885755 edges, 10499 markings/sec, 55 secs
lola: 772708 markings, 949779 edges, 10201 markings/sec, 60 secs
lola: 824580 markings, 1015908 edges, 10374 markings/sec, 65 secs
lola: 878960 markings, 1084390 edges, 10876 markings/sec, 70 secs
lola: 928463 markings, 1144529 edges, 9901 markings/sec, 75 secs
lola: 984188 markings, 1214991 edges, 11145 markings/sec, 80 secs
lola: 1039657 markings, 1282964 edges, 11094 markings/sec, 85 secs
lola: 1093664 markings, 1351204 edges, 10801 markings/sec, 90 secs
lola: 1148804 markings, 1418409 edges, 11028 markings/sec, 95 secs
lola: 1201658 markings, 1484894 edges, 10571 markings/sec, 100 secs
lola: 1253186 markings, 1553144 edges, 10306 markings/sec, 105 secs
lola: 1299877 markings, 1613417 edges, 9338 markings/sec, 110 secs
lola: 1353119 markings, 1683663 edges, 10648 markings/sec, 115 secs
lola: 1405084 markings, 1750828 edges, 10393 markings/sec, 120 secs
lola: 1454635 markings, 1817131 edges, 9910 markings/sec, 125 secs
lola: 1505785 markings, 1885701 edges, 10230 markings/sec, 130 secs
lola: 1554805 markings, 1954905 edges, 9804 markings/sec, 135 secs
lola: 1605726 markings, 2031215 edges, 10184 markings/sec, 140 secs
lola: 1646601 markings, 2182131 edges, 8175 markings/sec, 145 secs
lola: 1670027 markings, 2483561 edges, 4685 markings/sec, 150 secs
lola: 1719662 markings, 2584402 edges, 9927 markings/sec, 155 secs
lola: 1773330 markings, 2651514 edges, 10734 markings/sec, 160 secs
lola: 1826760 markings, 2719989 edges, 10686 markings/sec, 165 secs
lola: 1877222 markings, 2782800 edges, 10092 markings/sec, 170 secs
lola: 1929666 markings, 2848047 edges, 10489 markings/sec, 175 secs
lola: 1981555 markings, 2913317 edges, 10378 markings/sec, 180 secs
lola: 2032923 markings, 2976749 edges, 10274 markings/sec, 185 secs
lola: 2086457 markings, 3041503 edges, 10707 markings/sec, 190 secs
lola: 2139925 markings, 3109350 edges, 10694 markings/sec, 195 secs
lola: 2192208 markings, 3174425 edges, 10457 markings/sec, 200 secs
lola: 2244777 markings, 3241168 edges, 10514 markings/sec, 205 secs
lola: 2297515 markings, 3307373 edges, 10548 markings/sec, 210 secs
lola: 2348950 markings, 3376796 edges, 10287 markings/sec, 215 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknownlola:
caught signal User defined signal 1 - aborting LoLA
FORMULA HypertorusGrid-PT-d4k3p2b08-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HypertorusGrid-PT-d4k3p2b08-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HypertorusGrid-PT-d4k3p2b08-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HypertorusGrid-PT-d4k3p2b08-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HypertorusGrid-PT-d4k3p2b08-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HypertorusGrid-PT-d4k3p2b08-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HypertorusGrid-PT-d4k3p2b08-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HypertorusGrid-PT-d4k3p2b08-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HypertorusGrid-PT-d4k3p2b08-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HypertorusGrid-PT-d4k3p2b08-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HypertorusGrid-PT-d4k3p2b08-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HypertorusGrid-PT-d4k3p2b08-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HypertorusGrid-PT-d4k3p2b08-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HypertorusGrid-PT-d4k3p2b08-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HypertorusGrid-PT-d4k3p2b08-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HypertorusGrid-PT-d4k3p2b08-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494620220125

--------------------
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="HypertorusGrid-PT-d4k3p2b08"
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/HypertorusGrid-PT-d4k3p2b08.tgz
mv HypertorusGrid-PT-d4k3p2b08 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 HypertorusGrid-PT-d4k3p2b08, 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-149440484500047"
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 ;