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

--------------------
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 1496350144144


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


checking for too many tokens
===========================================================================================
S_HypertorusGrid-PT-d4k3p2b08: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_HypertorusGrid-PT-d4k3p2b08 @ 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: 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: 104586 markings, 106302 edges, 20917 markings/sec, 0 secs
lola: 184176 markings, 186313 edges, 15918 markings/sec, 5 secs
lola: 261330 markings, 263677 edges, 15431 markings/sec, 10 secs
lola: 334988 markings, 337453 edges, 14732 markings/sec, 15 secs
lola: 412450 markings, 415003 edges, 15492 markings/sec, 20 secs
lola: 490974 markings, 493547 edges, 15705 markings/sec, 25 secs
lola: 569235 markings, 571816 edges, 15652 markings/sec, 30 secs
lola: 646811 markings, 649437 edges, 15515 markings/sec, 35 secs
lola: 722178 markings, 724920 edges, 15073 markings/sec, 40 secs
lola: 795375 markings, 798243 edges, 14639 markings/sec, 45 secs
lola: 867696 markings, 871353 edges, 14464 markings/sec, 50 secs
lola: 941329 markings, 945064 edges, 14727 markings/sec, 55 secs
lola: 1014309 markings, 1018171 edges, 14596 markings/sec, 60 secs
lola: 1085245 markings, 1089377 edges, 14187 markings/sec, 65 secs
lola: 1156717 markings, 1161460 edges, 14294 markings/sec, 70 secs
lola: 1227570 markings, 1232410 edges, 14171 markings/sec, 75 secs
lola: 1298620 markings, 1303582 edges, 14210 markings/sec, 80 secs
lola: 1368474 markings, 1374247 edges, 13971 markings/sec, 85 secs
lola: 1446114 markings, 1451952 edges, 15528 markings/sec, 90 secs
lola: 1521103 markings, 1527058 edges, 14998 markings/sec, 95 secs
lola: 1594327 markings, 1600408 edges, 14645 markings/sec, 100 secs
lola: 1667349 markings, 1674214 edges, 14604 markings/sec, 105 secs
lola: 1741903 markings, 1748856 edges, 14911 markings/sec, 110 secs
lola: 1815068 markings, 1822144 edges, 14633 markings/sec, 115 secs
lola: 1885764 markings, 1893298 edges, 14139 markings/sec, 120 secs
lola: 1957931 markings, 1965886 edges, 14433 markings/sec, 125 secs
lola: 2029260 markings, 2037321 edges, 14266 markings/sec, 130 secs
lola: 2100418 markings, 2108607 edges, 14232 markings/sec, 135 secs
lola: 2170699 markings, 2179679 edges, 14056 markings/sec, 140 secs
lola: 2243521 markings, 2252574 edges, 14564 markings/sec, 145 secs
lola: 2316421 markings, 2325595 edges, 14580 markings/sec, 150 secs
lola: 2387492 markings, 2396791 edges, 14214 markings/sec, 155 secs
lola: 2456856 markings, 2466933 edges, 13873 markings/sec, 160 secs
lola: 2527103 markings, 2537269 edges, 14049 markings/sec, 165 secs
lola: 2597176 markings, 2607455 edges, 14015 markings/sec, 170 secs
lola: 2666253 markings, 2677004 edges, 13815 markings/sec, 175 secs
lola: 2738480 markings, 2749646 edges, 14445 markings/sec, 180 secs
lola: 2810250 markings, 2821518 edges, 14354 markings/sec, 185 secs
lola: 2882029 markings, 2893418 edges, 14356 markings/sec, 190 secs
lola: 2951613 markings, 2963806 edges, 13917 markings/sec, 195 secs
lola: 3021287 markings, 3033550 edges, 13935 markings/sec, 200 secs
lola: 3091817 markings, 3104200 edges, 14106 markings/sec, 205 secs
lola: 3162337 markings, 3174846 edges, 14104 markings/sec, 210 secs
lola: 3232552 markings, 3245843 edges, 14043 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: 67645 markings, 73996 edges, 13529 markings/sec, 0 secs
lola: 125789 markings, 135056 edges, 11629 markings/sec, 5 secs
lola: 204933 markings, 216858 edges, 15829 markings/sec, 10 secs
lola: 260759 markings, 276863 edges, 11165 markings/sec, 15 secs
lola: 312238 markings, 339627 edges, 10296 markings/sec, 20 secs
lola: 362638 markings, 401653 edges, 10080 markings/sec, 25 secs
lola: 414280 markings, 465286 edges, 10328 markings/sec, 30 secs
lola: 464609 markings, 528674 edges, 10066 markings/sec, 35 secs
lola: 515867 markings, 593024 edges, 10252 markings/sec, 40 secs
lola: 567118 markings, 658722 edges, 10250 markings/sec, 45 secs
lola: 615927 markings, 722244 edges, 9762 markings/sec, 50 secs
lola: 665747 markings, 787102 edges, 9964 markings/sec, 55 secs
lola: 714234 markings, 852951 edges, 9697 markings/sec, 60 secs
lola: 761891 markings, 916162 edges, 9531 markings/sec, 65 secs
lola: 810403 markings, 983196 edges, 9702 markings/sec, 70 secs
lola: 858782 markings, 1048171 edges, 9676 markings/sec, 75 secs
lola: 907020 markings, 1113658 edges, 9648 markings/sec, 80 secs
lola: 954541 markings, 1179792 edges, 9504 markings/sec, 85 secs
lola: 1000725 markings, 1254980 edges, 9237 markings/sec, 90 secs
lola: 1031467 markings, 1504028 edges, 6148 markings/sec, 95 secs
lola: 1082457 markings, 1567460 edges, 10198 markings/sec, 100 secs
lola: 1133207 markings, 1628542 edges, 10150 markings/sec, 105 secs
lola: 1183450 markings, 1691064 edges, 10049 markings/sec, 110 secs
lola: 1233445 markings, 1752866 edges, 9999 markings/sec, 115 secs
lola: 1283766 markings, 1815859 edges, 10064 markings/sec, 120 secs
lola: 1332738 markings, 1877790 edges, 9794 markings/sec, 125 secs
lola: 1382282 markings, 1942356 edges, 9909 markings/sec, 130 secs
lola: 1430323 markings, 2004737 edges, 9608 markings/sec, 135 secs
lola: 1477917 markings, 2069429 edges, 9519 markings/sec, 140 secs
lola: 1524329 markings, 2131004 edges, 9282 markings/sec, 145 secs
lola: 1571883 markings, 2195862 edges, 9511 markings/sec, 150 secs
lola: 1618128 markings, 2259772 edges, 9249 markings/sec, 155 secs
lola: 1663598 markings, 2319257 edges, 9094 markings/sec, 160 secs
lola: 1710522 markings, 2385272 edges, 9385 markings/sec, 165 secs
lola: 1756397 markings, 2450717 edges, 9175 markings/sec, 170 secs
lola: 1797065 markings, 2568774 edges, 8134 markings/sec, 175 secs
lola: 1832498 markings, 2768935 edges, 7087 markings/sec, 180 secs
lola: 1883923 markings, 2831119 edges, 10285 markings/sec, 185 secs
lola: 1934009 markings, 2892990 edges, 10017 markings/sec, 190 secs
lola: 1984414 markings, 2955165 edges, 10081 markings/sec, 195 secs
lola: 2033850 markings, 3017160 edges, 9887 markings/sec, 200 secs
lola: 2083145 markings, 3079331 edges, 9859 markings/sec, 205 secs
lola: 2133503 markings, 3143624 edges, 10072 markings/sec, 210 secs
lola: 2182922 markings, 3208741 edges, 9884 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: 164147 markings, 168024 edges, 32829 markings/sec, 0 secs
lola: 223651 markings, 232425 edges, 11901 markings/sec, 5 secs
lola: 274018 markings, 296172 edges, 10073 markings/sec, 10 secs
lola: 324339 markings, 360260 edges, 10064 markings/sec, 15 secs
lola: 374221 markings, 423993 edges, 9976 markings/sec, 20 secs
lola: 424228 markings, 492844 edges, 10001 markings/sec, 25 secs
lola: 474251 markings, 556405 edges, 10005 markings/sec, 30 secs
lola: 524365 markings, 620296 edges, 10023 markings/sec, 35 secs
lola: 574255 markings, 684821 edges, 9978 markings/sec, 40 secs
lola: 624034 markings, 746897 edges, 9956 markings/sec, 45 secs
lola: 673304 markings, 809905 edges, 9854 markings/sec, 50 secs
lola: 722608 markings, 873992 edges, 9861 markings/sec, 55 secs
lola: 771241 markings, 936463 edges, 9727 markings/sec, 60 secs
lola: 819483 markings, 1000786 edges, 9648 markings/sec, 65 secs
lola: 868104 markings, 1063183 edges, 9724 markings/sec, 70 secs
lola: 915198 markings, 1124579 edges, 9419 markings/sec, 75 secs
lola: 962898 markings, 1187421 edges, 9540 markings/sec, 80 secs
lola: 1010442 markings, 1250231 edges, 9509 markings/sec, 85 secs
lola: 1057694 markings, 1311345 edges, 9450 markings/sec, 90 secs
lola: 1103756 markings, 1372620 edges, 9212 markings/sec, 95 secs
lola: 1150202 markings, 1435384 edges, 9289 markings/sec, 100 secs
lola: 1196330 markings, 1498963 edges, 9226 markings/sec, 105 secs
lola: 1242137 markings, 1565579 edges, 9161 markings/sec, 110 secs
lola: 1287435 markings, 1635255 edges, 9060 markings/sec, 115 secs
lola: 1320705 markings, 1837188 edges, 6654 markings/sec, 120 secs
lola: 1357338 markings, 2037216 edges, 7327 markings/sec, 125 secs
lola: 1405101 markings, 2107136 edges, 9553 markings/sec, 130 secs
lola: 1454293 markings, 2168910 edges, 9838 markings/sec, 135 secs
lola: 1502870 markings, 2232960 edges, 9715 markings/sec, 140 secs
lola: 1551331 markings, 2295663 edges, 9692 markings/sec, 145 secs
lola: 1599622 markings, 2357662 edges, 9658 markings/sec, 150 secs
lola: 1647345 markings, 2418911 edges, 9545 markings/sec, 155 secs
lola: 1694395 markings, 2480532 edges, 9410 markings/sec, 160 secs
lola: 1741633 markings, 2543496 edges, 9448 markings/sec, 165 secs
lola: 1788858 markings, 2605065 edges, 9445 markings/sec, 170 secs
lola: 1835630 markings, 2666868 edges, 9354 markings/sec, 175 secs
lola: 1882476 markings, 2727624 edges, 9369 markings/sec, 180 secs
lola: 1928565 markings, 2786857 edges, 9218 markings/sec, 185 secs
lola: 1974432 markings, 2848987 edges, 9173 markings/sec, 190 secs
lola: 2020117 markings, 2911799 edges, 9137 markings/sec, 195 secs
lola: 2065525 markings, 2978480 edges, 9082 markings/sec, 200 secs
lola: 2109693 markings, 3055036 edges, 8834 markings/sec, 205 secs
lola: 2136356 markings, 3320455 edges, 5333 markings/sec, 210 secs
lola: 2180357 markings, 3437931 edges, 8800 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: 115516 markings, 119983 edges, 23103 markings/sec, 0 secs
lola: 180949 markings, 190557 edges, 13087 markings/sec, 5 secs
lola: 240159 markings, 265506 edges, 11842 markings/sec, 10 secs
lola: 298552 markings, 339003 edges, 11679 markings/sec, 15 secs
lola: 357446 markings, 408866 edges, 11779 markings/sec, 20 secs
lola: 415987 markings, 481694 edges, 11708 markings/sec, 25 secs
lola: 474069 markings, 556238 edges, 11616 markings/sec, 30 secs
lola: 531456 markings, 629009 edges, 11477 markings/sec, 35 secs
lola: 588348 markings, 699010 edges, 11378 markings/sec, 40 secs
lola: 646375 markings, 774127 edges, 11605 markings/sec, 45 secs
lola: 702548 markings, 846448 edges, 11235 markings/sec, 50 secs
lola: 759375 markings, 919893 edges, 11365 markings/sec, 55 secs
lola: 813008 markings, 990491 edges, 10727 markings/sec, 60 secs
lola: 868328 markings, 1062284 edges, 11064 markings/sec, 65 secs
lola: 924044 markings, 1136768 edges, 11143 markings/sec, 70 secs
lola: 978464 markings, 1204926 edges, 10884 markings/sec, 75 secs
lola: 1032263 markings, 1275371 edges, 10760 markings/sec, 80 secs
lola: 1085658 markings, 1346618 edges, 10679 markings/sec, 85 secs
lola: 1138509 markings, 1419616 edges, 10570 markings/sec, 90 secs
lola: 1190575 markings, 1497925 edges, 10413 markings/sec, 95 secs
lola: 1242372 markings, 1577468 edges, 10359 markings/sec, 100 secs
lola: 1278073 markings, 1785886 edges, 7140 markings/sec, 105 secs
lola: 1310509 markings, 2031142 edges, 6487 markings/sec, 110 secs
lola: 1365521 markings, 2100942 edges, 11002 markings/sec, 115 secs
lola: 1418803 markings, 2167930 edges, 10656 markings/sec, 120 secs
lola: 1472536 markings, 2232075 edges, 10747 markings/sec, 125 secs
lola: 1526657 markings, 2299906 edges, 10824 markings/sec, 130 secs
lola: 1581223 markings, 2368912 edges, 10913 markings/sec, 135 secs
lola: 1632636 markings, 2434637 edges, 10283 markings/sec, 140 secs
lola: 1685916 markings, 2498614 edges, 10656 markings/sec, 145 secs
lola: 1740553 markings, 2569191 edges, 10927 markings/sec, 150 secs
lola: 1795477 markings, 2640748 edges, 10985 markings/sec, 155 secs
lola: 1847638 markings, 2706688 edges, 10432 markings/sec, 160 secs
lola: 1901239 markings, 2776753 edges, 10720 markings/sec, 165 secs
lola: 1952437 markings, 2844234 edges, 10240 markings/sec, 170 secs
lola: 2005372 markings, 2912513 edges, 10587 markings/sec, 175 secs
lola: 2057448 markings, 2982909 edges, 10415 markings/sec, 180 secs
lola: 2109671 markings, 3047933 edges, 10445 markings/sec, 185 secs
lola: 2162012 markings, 3117116 edges, 10468 markings/sec, 190 secs
lola: 2212816 markings, 3185398 edges, 10161 markings/sec, 195 secs
lola: 2262789 markings, 3254283 edges, 9995 markings/sec, 200 secs
lola: 2311949 markings, 3329119 edges, 9832 markings/sec, 205 secs
lola: 2362598 markings, 3407118 edges, 10130 markings/sec, 210 secs
lola: 2396266 markings, 3608603 edges, 6734 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: 92184 markings, 93398 edges, 18437 markings/sec, 0 secs
lola: 149219 markings, 151656 edges, 11407 markings/sec, 5 secs
lola: 204404 markings, 216721 edges, 11037 markings/sec, 10 secs
lola: 258007 markings, 284519 edges, 10721 markings/sec, 15 secs
lola: 311575 markings, 352135 edges, 10714 markings/sec, 20 secs
lola: 364653 markings, 420050 edges, 10616 markings/sec, 25 secs
lola: 417552 markings, 489461 edges, 10580 markings/sec, 30 secs
lola: 470413 markings, 556824 edges, 10572 markings/sec, 35 secs
lola: 523309 markings, 623007 edges, 10579 markings/sec, 40 secs
lola: 576049 markings, 690682 edges, 10548 markings/sec, 45 secs
lola: 627027 markings, 755368 edges, 10196 markings/sec, 50 secs
lola: 678529 markings, 822292 edges, 10300 markings/sec, 55 secs
lola: 731042 markings, 884141 edges, 10503 markings/sec, 60 secs
lola: 783221 markings, 949919 edges, 10436 markings/sec, 65 secs
lola: 833421 markings, 1013258 edges, 10040 markings/sec, 70 secs
lola: 885234 markings, 1078197 edges, 10363 markings/sec, 75 secs
lola: 935130 markings, 1142016 edges, 9979 markings/sec, 80 secs
lola: 981891 markings, 1203017 edges, 9352 markings/sec, 85 secs
lola: 1030357 markings, 1268680 edges, 9693 markings/sec, 90 secs
lola: 1081026 markings, 1338712 edges, 10134 markings/sec, 95 secs
lola: 1130476 markings, 1410201 edges, 9890 markings/sec, 100 secs
lola: 1179130 markings, 1481321 edges, 9731 markings/sec, 105 secs
lola: 1228161 markings, 1553230 edges, 9806 markings/sec, 110 secs
lola: 1278499 markings, 1620273 edges, 10068 markings/sec, 115 secs
lola: 1327560 markings, 1685959 edges, 9812 markings/sec, 120 secs
lola: 1376555 markings, 1748620 edges, 9799 markings/sec, 125 secs
lola: 1424456 markings, 1817240 edges, 9580 markings/sec, 130 secs
lola: 1465110 markings, 1942734 edges, 8131 markings/sec, 135 secs
lola: 1489225 markings, 2216146 edges, 4823 markings/sec, 140 secs
lola: 1537707 markings, 2275618 edges, 9696 markings/sec, 145 secs
lola: 1585362 markings, 2335044 edges, 9531 markings/sec, 150 secs
lola: 1635932 markings, 2399193 edges, 10114 markings/sec, 155 secs
lola: 1684744 markings, 2461883 edges, 9762 markings/sec, 160 secs
lola: 1733174 markings, 2524580 edges, 9686 markings/sec, 165 secs
lola: 1781864 markings, 2588516 edges, 9738 markings/sec, 170 secs
lola: 1829883 markings, 2651502 edges, 9604 markings/sec, 175 secs
lola: 1876975 markings, 2717460 edges, 9418 markings/sec, 180 secs
lola: 1924984 markings, 2783987 edges, 9602 markings/sec, 185 secs
lola: 1972169 markings, 2855474 edges, 9437 markings/sec, 190 secs
lola: 2019940 markings, 2925125 edges, 9554 markings/sec, 195 secs
lola: 2068484 markings, 2989849 edges, 9709 markings/sec, 200 secs
lola: 2117064 markings, 3053921 edges, 9716 markings/sec, 205 secs
lola: 2164959 markings, 3119099 edges, 9579 markings/sec, 210 secs
lola: 2210557 markings, 3184010 edges, 9120 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: 106476 markings, 114320 edges, 21295 markings/sec, 0 secs
lola: 195645 markings, 215917 edges, 17834 markings/sec, 5 secs
lola: 272621 markings, 296186 edges, 15395 markings/sec, 10 secs
lola: 345169 markings, 369116 edges, 14510 markings/sec, 15 secs
lola: 419301 markings, 443640 edges, 14826 markings/sec, 20 secs
lola: 493279 markings, 517966 edges, 14796 markings/sec, 25 secs
lola: 567204 markings, 591949 edges, 14785 markings/sec, 30 secs
lola: 641488 markings, 666313 edges, 14857 markings/sec, 35 secs
lola: 715952 markings, 740909 edges, 14893 markings/sec, 40 secs
lola: 789276 markings, 814318 edges, 14665 markings/sec, 45 secs
lola: 862710 markings, 887822 edges, 14687 markings/sec, 50 secs
lola: 935399 markings, 960572 edges, 14538 markings/sec, 55 secs
lola: 1008084 markings, 1033421 edges, 14537 markings/sec, 60 secs
lola: 1080719 markings, 1106254 edges, 14527 markings/sec, 65 secs
lola: 1153566 markings, 1179303 edges, 14569 markings/sec, 70 secs
lola: 1226977 markings, 1252944 edges, 14682 markings/sec, 75 secs
lola: 1299843 markings, 1325996 edges, 14573 markings/sec, 80 secs
lola: 1371362 markings, 1397901 edges, 14304 markings/sec, 85 secs
lola: 1439923 markings, 1468215 edges, 13712 markings/sec, 90 secs
lola: 1506262 markings, 1535621 edges, 13268 markings/sec, 95 secs
lola: 1575317 markings, 1605768 edges, 13811 markings/sec, 100 secs
lola: 1646023 markings, 1677579 edges, 14141 markings/sec, 105 secs
lola: 1716591 markings, 1749213 edges, 14114 markings/sec, 110 secs
lola: 1784946 markings, 1818663 edges, 13671 markings/sec, 115 secs
lola: 1854445 markings, 1889273 edges, 13900 markings/sec, 120 secs
lola: 1924374 markings, 1960332 edges, 13986 markings/sec, 125 secs
lola: 1993521 markings, 2030665 edges, 13829 markings/sec, 130 secs
lola: 2062644 markings, 2101570 edges, 13825 markings/sec, 135 secs
lola: 2132204 markings, 2171394 edges, 13912 markings/sec, 140 secs
lola: 2199940 markings, 2240169 edges, 13547 markings/sec, 145 secs
lola: 2269019 markings, 2310359 edges, 13816 markings/sec, 150 secs
lola: 2338687 markings, 2381158 edges, 13934 markings/sec, 155 secs
lola: 2405753 markings, 2449336 edges, 13413 markings/sec, 160 secs
lola: 2474038 markings, 2518719 edges, 13657 markings/sec, 165 secs
lola: 2543153 markings, 2589024 edges, 13823 markings/sec, 170 secs
lola: 2611410 markings, 2658433 edges, 13651 markings/sec, 175 secs
lola: 2680062 markings, 2728288 edges, 13730 markings/sec, 180 secs
lola: 2748689 markings, 2797675 edges, 13725 markings/sec, 185 secs
lola: 2816035 markings, 2866147 edges, 13469 markings/sec, 190 secs
lola: 2881110 markings, 2932341 edges, 13015 markings/sec, 195 secs
lola: 2949316 markings, 3001742 edges, 13641 markings/sec, 200 secs
lola: 3017102 markings, 3071407 edges, 13557 markings/sec, 205 secs
lola: 3086679 markings, 3141446 edges, 13915 markings/sec, 210 secs
lola: 3156136 markings, 3211691 edges, 13891 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: 90142 markings, 92079 edges, 18028 markings/sec, 0 secs
lola: 153944 markings, 156517 edges, 12760 markings/sec, 5 secs
lola: 216213 markings, 219838 edges, 12454 markings/sec, 10 secs
lola: 274791 markings, 280397 edges, 11716 markings/sec, 15 secs
lola: 331599 markings, 338842 edges, 11362 markings/sec, 20 secs
lola: 391264 markings, 400204 edges, 11933 markings/sec, 25 secs
lola: 449275 markings, 460143 edges, 11602 markings/sec, 30 secs
lola: 508124 markings, 520980 edges, 11770 markings/sec, 35 secs
lola: 565376 markings, 580152 edges, 11450 markings/sec, 40 secs
lola: 624019 markings, 640823 edges, 11729 markings/sec, 45 secs
lola: 683499 markings, 702325 edges, 11896 markings/sec, 50 secs
lola: 742971 markings, 763825 edges, 11894 markings/sec, 55 secs
lola: 800802 markings, 823638 edges, 11566 markings/sec, 60 secs
lola: 860313 markings, 885191 edges, 11902 markings/sec, 65 secs
lola: 916400 markings, 943204 edges, 11217 markings/sec, 70 secs
lola: 971592 markings, 999602 edges, 11038 markings/sec, 75 secs
lola: 1030446 markings, 1060503 edges, 11771 markings/sec, 80 secs
lola: 1089100 markings, 1121204 edges, 11731 markings/sec, 85 secs
lola: 1147331 markings, 1180668 edges, 11646 markings/sec, 90 secs
lola: 1203893 markings, 1238527 edges, 11312 markings/sec, 95 secs
lola: 1259745 markings, 1296387 edges, 11170 markings/sec, 100 secs
lola: 1316991 markings, 1354690 edges, 11449 markings/sec, 105 secs
lola: 1371144 markings, 1410917 edges, 10831 markings/sec, 110 secs
lola: 1431529 markings, 1473036 edges, 12077 markings/sec, 115 secs
lola: 1488168 markings, 1530952 edges, 11328 markings/sec, 120 secs
lola: 1547102 markings, 1591974 edges, 11787 markings/sec, 125 secs
lola: 1601724 markings, 1647996 edges, 10924 markings/sec, 130 secs
lola: 1659582 markings, 1707453 edges, 11572 markings/sec, 135 secs
lola: 1717391 markings, 1767655 edges, 11562 markings/sec, 140 secs
lola: 1776535 markings, 1828159 edges, 11829 markings/sec, 145 secs
lola: 1835180 markings, 1889200 edges, 11729 markings/sec, 150 secs
lola: 1894172 markings, 1950023 edges, 11798 markings/sec, 155 secs
lola: 1952064 markings, 2010181 edges, 11578 markings/sec, 160 secs
lola: 2011541 markings, 2071332 edges, 11895 markings/sec, 165 secs
lola: 2070704 markings, 2133047 edges, 11833 markings/sec, 170 secs
lola: 2128584 markings, 2192835 edges, 11576 markings/sec, 175 secs
lola: 2188129 markings, 2254308 edges, 11909 markings/sec, 180 secs
lola: 2245467 markings, 2313776 edges, 11468 markings/sec, 185 secs
lola: 2303674 markings, 2374517 edges, 11641 markings/sec, 190 secs
lola: 2361627 markings, 2434894 edges, 11591 markings/sec, 195 secs
lola: 2419196 markings, 2494486 edges, 11514 markings/sec, 200 secs
lola: 2477174 markings, 2554510 edges, 11596 markings/sec, 205 secs
lola: 2533519 markings, 2611972 edges, 11269 markings/sec, 210 secs
lola: 2591973 markings, 2673215 edges, 11691 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: 110911 markings, 113778 edges, 22182 markings/sec, 0 secs
lola: 184879 markings, 188316 edges, 14794 markings/sec, 5 secs
lola: 261842 markings, 265326 edges, 15393 markings/sec, 10 secs
lola: 335706 markings, 340128 edges, 14773 markings/sec, 15 secs
lola: 408309 markings, 413676 edges, 14521 markings/sec, 20 secs
lola: 480364 markings, 486690 edges, 14411 markings/sec, 25 secs
lola: 551264 markings, 558546 edges, 14180 markings/sec, 30 secs
lola: 621894 markings, 630774 edges, 14126 markings/sec, 35 secs
lola: 693496 markings, 703303 edges, 14320 markings/sec, 40 secs
lola: 764383 markings, 775137 edges, 14177 markings/sec, 45 secs
lola: 835871 markings, 847578 edges, 14298 markings/sec, 50 secs
lola: 908043 markings, 920719 edges, 14434 markings/sec, 55 secs
lola: 979491 markings, 993143 edges, 14290 markings/sec, 60 secs
lola: 1051455 markings, 1066705 edges, 14393 markings/sec, 65 secs
lola: 1123551 markings, 1139762 edges, 14419 markings/sec, 70 secs
lola: 1194028 markings, 1211196 edges, 14095 markings/sec, 75 secs
lola: 1266752 markings, 1284907 edges, 14545 markings/sec, 80 secs
lola: 1338643 markings, 1357796 edges, 14378 markings/sec, 85 secs
lola: 1409936 markings, 1430677 edges, 14259 markings/sec, 90 secs
lola: 1482657 markings, 1504379 edges, 14544 markings/sec, 95 secs
lola: 1554561 markings, 1577269 edges, 14381 markings/sec, 100 secs
lola: 1628257 markings, 1651969 edges, 14739 markings/sec, 105 secs
lola: 1700844 markings, 1726183 edges, 14517 markings/sec, 110 secs
lola: 1771719 markings, 1798026 edges, 14175 markings/sec, 115 secs
lola: 1841819 markings, 1869122 edges, 14020 markings/sec, 120 secs
lola: 1913288 markings, 1941590 edges, 14294 markings/sec, 125 secs
lola: 1982782 markings, 2012019 edges, 13899 markings/sec, 130 secs
lola: 2053990 markings, 2084235 edges, 14242 markings/sec, 135 secs
lola: 2125843 markings, 2156973 edges, 14371 markings/sec, 140 secs
lola: 2198216 markings, 2229568 edges, 14475 markings/sec, 145 secs
lola: 2269409 markings, 2301120 edges, 14239 markings/sec, 150 secs
lola: 2342163 markings, 2375486 edges, 14551 markings/sec, 155 secs
lola: 2413772 markings, 2448074 edges, 14322 markings/sec, 160 secs
lola: 2485737 markings, 2520324 edges, 14393 markings/sec, 165 secs
lola: 2557618 markings, 2592574 edges, 14376 markings/sec, 170 secs
lola: 2628197 markings, 2664786 edges, 14116 markings/sec, 175 secs
lola: 2699807 markings, 2737418 edges, 14322 markings/sec, 180 secs
lola: 2772558 markings, 2811148 edges, 14550 markings/sec, 185 secs
lola: 2845273 markings, 2884856 edges, 14543 markings/sec, 190 secs
lola: 2915046 markings, 2955615 edges, 13955 markings/sec, 195 secs
lola: 2985819 markings, 3027326 edges, 14155 markings/sec, 200 secs
lola: 3059020 markings, 3100895 edges, 14640 markings/sec, 205 secs
lola: 3129391 markings, 3172141 edges, 14074 markings/sec, 210 secs
lola: 3197924 markings, 3241709 edges, 13707 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: 90614 markings, 92165 edges, 18123 markings/sec, 0 secs
lola: 150462 markings, 155898 edges, 11970 markings/sec, 5 secs
lola: 206931 markings, 227016 edges, 11294 markings/sec, 10 secs
lola: 262775 markings, 296961 edges, 11169 markings/sec, 15 secs
lola: 318564 markings, 364081 edges, 11158 markings/sec, 20 secs
lola: 374078 markings, 432004 edges, 11103 markings/sec, 25 secs
lola: 429950 markings, 501639 edges, 11174 markings/sec, 30 secs
lola: 485174 markings, 570556 edges, 11045 markings/sec, 35 secs
lola: 540064 markings, 640888 edges, 10978 markings/sec, 40 secs
lola: 593895 markings, 710504 edges, 10766 markings/sec, 45 secs
lola: 647392 markings, 779028 edges, 10699 markings/sec, 50 secs
lola: 700786 markings, 848473 edges, 10679 markings/sec, 55 secs
lola: 753999 markings, 915592 edges, 10643 markings/sec, 60 secs
lola: 806000 markings, 984855 edges, 10400 markings/sec, 65 secs
lola: 857363 markings, 1055306 edges, 10273 markings/sec, 70 secs
lola: 908908 markings, 1125159 edges, 10309 markings/sec, 75 secs
lola: 960067 markings, 1195114 edges, 10232 markings/sec, 80 secs
lola: 1012207 markings, 1265242 edges, 10428 markings/sec, 85 secs
lola: 1064825 markings, 1335668 edges, 10524 markings/sec, 90 secs
lola: 1117815 markings, 1402387 edges, 10598 markings/sec, 95 secs
lola: 1170399 markings, 1468883 edges, 10517 markings/sec, 100 secs
lola: 1222614 markings, 1533576 edges, 10443 markings/sec, 105 secs
lola: 1276441 markings, 1597441 edges, 10765 markings/sec, 110 secs
lola: 1329724 markings, 1664286 edges, 10657 markings/sec, 115 secs
lola: 1383683 markings, 1732201 edges, 10792 markings/sec, 120 secs
lola: 1436755 markings, 1800925 edges, 10614 markings/sec, 125 secs
lola: 1489457 markings, 1867387 edges, 10540 markings/sec, 130 secs
lola: 1541930 markings, 1933866 edges, 10495 markings/sec, 135 secs
lola: 1593234 markings, 1999656 edges, 10261 markings/sec, 140 secs
lola: 1644575 markings, 2066979 edges, 10268 markings/sec, 145 secs
lola: 1695039 markings, 2133944 edges, 10093 markings/sec, 150 secs
lola: 1746881 markings, 2201972 edges, 10368 markings/sec, 155 secs
lola: 1797525 markings, 2270903 edges, 10129 markings/sec, 160 secs
lola: 1847646 markings, 2340398 edges, 10024 markings/sec, 165 secs
lola: 1898270 markings, 2409965 edges, 10125 markings/sec, 170 secs
lola: 1947540 markings, 2486450 edges, 9854 markings/sec, 175 secs
lola: 1995519 markings, 2579559 edges, 9596 markings/sec, 180 secs
lola: 2019999 markings, 2900660 edges, 4896 markings/sec, 185 secs
lola: 2069171 markings, 2975284 edges, 9834 markings/sec, 190 secs
lola: 2105067 markings, 3181447 edges, 7179 markings/sec, 195 secs
lola: 2145687 markings, 3390651 edges, 8124 markings/sec, 200 secs
lola: 2201145 markings, 3459666 edges, 11092 markings/sec, 205 secs
lola: 2255661 markings, 3529129 edges, 10903 markings/sec, 210 secs
lola: 2311018 markings, 3594307 edges, 11071 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: 98086 markings, 99320 edges, 19617 markings/sec, 0 secs
lola: 187479 markings, 188969 edges, 17879 markings/sec, 5 secs
lola: 276729 markings, 278287 edges, 17850 markings/sec, 10 secs
lola: 366217 markings, 367861 edges, 17898 markings/sec, 15 secs
lola: 456039 markings, 457747 edges, 17964 markings/sec, 20 secs
lola: 545324 markings, 547033 edges, 17857 markings/sec, 25 secs
lola: 635385 markings, 637116 edges, 18012 markings/sec, 30 secs
lola: 725495 markings, 727246 edges, 18022 markings/sec, 35 secs
lola: 815226 markings, 816995 edges, 17946 markings/sec, 40 secs
lola: 904716 markings, 906503 edges, 17898 markings/sec, 45 secs
lola: 994063 markings, 995852 edges, 17869 markings/sec, 50 secs
lola: 1083644 markings, 1085433 edges, 17916 markings/sec, 55 secs
lola: 1173917 markings, 1175706 edges, 18055 markings/sec, 60 secs
lola: 1263963 markings, 1265752 edges, 18009 markings/sec, 65 secs
lola: 1354167 markings, 1355956 edges, 18041 markings/sec, 70 secs
lola: 1444163 markings, 1445952 edges, 17999 markings/sec, 75 secs
lola: 1534349 markings, 1536138 edges, 18037 markings/sec, 80 secs
lola: 1624743 markings, 1626532 edges, 18079 markings/sec, 85 secs
lola: 1714731 markings, 1716525 edges, 17998 markings/sec, 90 secs
lola: 1804875 markings, 1806674 edges, 18029 markings/sec, 95 secs
lola: 1894805 markings, 1896609 edges, 17986 markings/sec, 100 secs
lola: 1984655 markings, 1986462 edges, 17970 markings/sec, 105 secs
lola: 2074523 markings, 2076334 edges, 17974 markings/sec, 110 secs
lola: 2164315 markings, 2166129 edges, 17958 markings/sec, 115 secs
lola: 2253989 markings, 2255808 edges, 17935 markings/sec, 120 secs
lola: 2343844 markings, 2345668 edges, 17971 markings/sec, 125 secs
lola: 2433774 markings, 2435603 edges, 17986 markings/sec, 130 secs
lola: 2523815 markings, 2525648 edges, 18008 markings/sec, 135 secs
lola: 2613847 markings, 2615684 edges, 18006 markings/sec, 140 secs
lola: 2703649 markings, 2705491 edges, 17960 markings/sec, 145 secs
lola: 2793551 markings, 2795397 edges, 17980 markings/sec, 150 secs
lola: 2883450 markings, 2885299 edges, 17980 markings/sec, 155 secs
lola: 2973400 markings, 2975254 edges, 17990 markings/sec, 160 secs
lola: 3063355 markings, 3065214 edges, 17991 markings/sec, 165 secs
lola: 3153202 markings, 3155065 edges, 17969 markings/sec, 170 secs
lola: 3243127 markings, 3244996 edges, 17985 markings/sec, 175 secs
lola: 3332932 markings, 3334804 edges, 17961 markings/sec, 180 secs
lola: 3422895 markings, 3424771 edges, 17993 markings/sec, 185 secs
lola: 3512834 markings, 3514713 edges, 17988 markings/sec, 190 secs
lola: 3602699 markings, 3604583 edges, 17973 markings/sec, 195 secs
lola: 3692483 markings, 3694372 edges, 17957 markings/sec, 200 secs
lola: 3782165 markings, 3784059 edges, 17936 markings/sec, 205 secs
lola: 3871838 markings, 3873733 edges, 17935 markings/sec, 210 secs
lola: 3961331 markings, 3963229 edges, 17899 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: 107014 markings, 108646 edges, 21403 markings/sec, 0 secs
lola: 182513 markings, 184280 edges, 15100 markings/sec, 5 secs
lola: 258207 markings, 260043 edges, 15139 markings/sec, 10 secs
lola: 333516 markings, 335455 edges, 15062 markings/sec, 15 secs
lola: 408806 markings, 410853 edges, 15058 markings/sec, 20 secs
lola: 484014 markings, 486169 edges, 15042 markings/sec, 25 secs
lola: 558981 markings, 561236 edges, 14993 markings/sec, 30 secs
lola: 634173 markings, 636525 edges, 15038 markings/sec, 35 secs
lola: 709055 markings, 711512 edges, 14976 markings/sec, 40 secs
lola: 784163 markings, 786733 edges, 15022 markings/sec, 45 secs
lola: 859372 markings, 862055 edges, 15042 markings/sec, 50 secs
lola: 934562 markings, 937356 edges, 15038 markings/sec, 55 secs
lola: 1010397 markings, 1013195 edges, 15167 markings/sec, 60 secs
lola: 1085707 markings, 1088509 edges, 15062 markings/sec, 65 secs
lola: 1160902 markings, 1163726 edges, 15039 markings/sec, 70 secs
lola: 1236325 markings, 1239173 edges, 15085 markings/sec, 75 secs
lola: 1311714 markings, 1314597 edges, 15078 markings/sec, 80 secs
lola: 1386953 markings, 1389876 edges, 15048 markings/sec, 85 secs
lola: 1461991 markings, 1464947 edges, 15008 markings/sec, 90 secs
lola: 1537077 markings, 1540066 edges, 15017 markings/sec, 95 secs
lola: 1610697 markings, 1613858 edges, 14724 markings/sec, 100 secs
lola: 1683428 markings, 1686829 edges, 14546 markings/sec, 105 secs
lola: 1755036 markings, 1758646 edges, 14322 markings/sec, 110 secs
lola: 1827201 markings, 1832300 edges, 14433 markings/sec, 115 secs
lola: 1898243 markings, 1903612 edges, 14208 markings/sec, 120 secs
lola: 1970045 markings, 1975575 edges, 14360 markings/sec, 125 secs
lola: 2040654 markings, 2047702 edges, 14122 markings/sec, 130 secs
lola: 2110579 markings, 2117807 edges, 13985 markings/sec, 135 secs
lola: 2180651 markings, 2188104 edges, 14014 markings/sec, 140 secs
lola: 2250401 markings, 2258060 edges, 13950 markings/sec, 145 secs
lola: 2321799 markings, 2330957 edges, 14280 markings/sec, 150 secs
lola: 2392534 markings, 2401954 edges, 14147 markings/sec, 155 secs
lola: 2463853 markings, 2473435 edges, 14264 markings/sec, 160 secs
lola: 2534761 markings, 2545857 edges, 14182 markings/sec, 165 secs
lola: 2605374 markings, 2616635 edges, 14123 markings/sec, 170 secs
lola: 2675738 markings, 2687248 edges, 14073 markings/sec, 175 secs
lola: 2745866 markings, 2757587 edges, 14026 markings/sec, 180 secs
lola: 2817586 markings, 2830788 edges, 14344 markings/sec, 185 secs
lola: 2888681 markings, 2902091 edges, 14219 markings/sec, 190 secs
lola: 2961082 markings, 2974724 edges, 14480 markings/sec, 195 secs
lola: 3032019 markings, 3047186 edges, 14187 markings/sec, 200 secs
lola: 3103555 markings, 3118897 edges, 14307 markings/sec, 205 secs
lola: 3174771 markings, 3190358 edges, 14243 markings/sec, 210 secs
lola: 3245302 markings, 3261094 edges, 14106 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: 99935 markings, 104478 edges, 19987 markings/sec, 0 secs
lola: 187183 markings, 195948 edges, 17450 markings/sec, 5 secs
lola: 273535 markings, 286058 edges, 17270 markings/sec, 10 secs
lola: 357613 markings, 373981 edges, 16816 markings/sec, 15 secs
lola: 437820 markings, 457762 edges, 16041 markings/sec, 20 secs
lola: 513045 markings, 533446 edges, 15045 markings/sec, 25 secs
lola: 585315 markings, 605995 edges, 14454 markings/sec, 30 secs
lola: 658784 markings, 679551 edges, 14694 markings/sec, 35 secs
lola: 731983 markings, 752798 edges, 14640 markings/sec, 40 secs
lola: 804752 markings, 825642 edges, 14554 markings/sec, 45 secs
lola: 874608 markings, 895730 edges, 13971 markings/sec, 50 secs
lola: 942431 markings, 964635 edges, 13565 markings/sec, 55 secs
lola: 1010244 markings, 1032934 edges, 13563 markings/sec, 60 secs
lola: 1078579 markings, 1102252 edges, 13667 markings/sec, 65 secs
lola: 1146286 markings, 1170178 edges, 13541 markings/sec, 70 secs
lola: 1213710 markings, 1238199 edges, 13485 markings/sec, 75 secs
lola: 1280793 markings, 1305487 edges, 13417 markings/sec, 80 secs
lola: 1347371 markings, 1373376 edges, 13316 markings/sec, 85 secs
lola: 1414698 markings, 1440930 edges, 13465 markings/sec, 90 secs
lola: 1482454 markings, 1509271 edges, 13551 markings/sec, 95 secs
lola: 1549757 markings, 1576803 edges, 13461 markings/sec, 100 secs
lola: 1619985 markings, 1648336 edges, 14046 markings/sec, 105 secs
lola: 1689782 markings, 1718394 edges, 13959 markings/sec, 110 secs
lola: 1757863 markings, 1787032 edges, 13616 markings/sec, 115 secs
lola: 1825349 markings, 1854870 edges, 13497 markings/sec, 120 secs
lola: 1893418 markings, 1924121 edges, 13614 markings/sec, 125 secs
lola: 1961042 markings, 1992109 edges, 13525 markings/sec, 130 secs
lola: 2028748 markings, 2060261 edges, 13541 markings/sec, 135 secs
lola: 2095823 markings, 2127828 edges, 13415 markings/sec, 140 secs
lola: 2163708 markings, 2196723 edges, 13577 markings/sec, 145 secs
lola: 2232114 markings, 2265262 edges, 13681 markings/sec, 150 secs
lola: 2299642 markings, 2333150 edges, 13506 markings/sec, 155 secs
lola: 2367238 markings, 2401259 edges, 13519 markings/sec, 160 secs
lola: 2434290 markings, 2468865 edges, 13410 markings/sec, 165 secs
lola: 2502419 markings, 2537918 edges, 13626 markings/sec, 170 secs
lola: 2569876 markings, 2605737 edges, 13491 markings/sec, 175 secs
lola: 2637311 markings, 2673679 edges, 13487 markings/sec, 180 secs
lola: 2704234 markings, 2741541 edges, 13385 markings/sec, 185 secs
lola: 2772976 markings, 2810833 edges, 13748 markings/sec, 190 secs
lola: 2840670 markings, 2879247 edges, 13539 markings/sec, 195 secs
lola: 2908135 markings, 2946856 edges, 13493 markings/sec, 200 secs
lola: 2975113 markings, 3015156 edges, 13396 markings/sec, 205 secs
lola: 3043191 markings, 3083399 edges, 13616 markings/sec, 210 secs
lola: 3110658 markings, 3151578 edges, 13493 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: 127721 markings, 130305 edges, 25544 markings/sec, 0 secs
lola: 226371 markings, 230609 edges, 19730 markings/sec, 5 secs
lola: 310448 markings, 316125 edges, 16815 markings/sec, 10 secs
lola: 394739 markings, 402113 edges, 16858 markings/sec, 15 secs
lola: 469987 markings, 478716 edges, 15050 markings/sec, 20 secs
lola: 533836 markings, 550866 edges, 12770 markings/sec, 25 secs
lola: 595713 markings, 628076 edges, 12375 markings/sec, 30 secs
lola: 657617 markings, 705377 edges, 12381 markings/sec, 35 secs
lola: 719097 markings, 781708 edges, 12296 markings/sec, 40 secs
lola: 780680 markings, 858241 edges, 12317 markings/sec, 45 secs
lola: 841517 markings, 934303 edges, 12167 markings/sec, 50 secs
lola: 902405 markings, 1010724 edges, 12178 markings/sec, 55 secs
lola: 962939 markings, 1088159 edges, 12107 markings/sec, 60 secs
lola: 1023670 markings, 1163559 edges, 12146 markings/sec, 65 secs
lola: 1082448 markings, 1240357 edges, 11756 markings/sec, 70 secs
lola: 1142716 markings, 1317543 edges, 12054 markings/sec, 75 secs
lola: 1201619 markings, 1392614 edges, 11781 markings/sec, 80 secs
lola: 1260128 markings, 1465367 edges, 11702 markings/sec, 85 secs
lola: 1319229 markings, 1539834 edges, 11820 markings/sec, 90 secs
lola: 1377893 markings, 1616886 edges, 11733 markings/sec, 95 secs
lola: 1434847 markings, 1689822 edges, 11391 markings/sec, 100 secs
lola: 1492729 markings, 1764275 edges, 11576 markings/sec, 105 secs
lola: 1551957 markings, 1838675 edges, 11846 markings/sec, 110 secs
lola: 1611046 markings, 1908734 edges, 11818 markings/sec, 115 secs
lola: 1669508 markings, 1979240 edges, 11692 markings/sec, 120 secs
lola: 1727107 markings, 2050217 edges, 11520 markings/sec, 125 secs
lola: 1785042 markings, 2122342 edges, 11587 markings/sec, 130 secs
lola: 1842326 markings, 2193908 edges, 11457 markings/sec, 135 secs
lola: 1898175 markings, 2267426 edges, 11170 markings/sec, 140 secs
lola: 1954674 markings, 2342438 edges, 11300 markings/sec, 145 secs
lola: 2010612 markings, 2418217 edges, 11188 markings/sec, 150 secs
lola: 2065038 markings, 2497854 edges, 10885 markings/sec, 155 secs
lola: 2099517 markings, 2753792 edges, 6896 markings/sec, 160 secs
lola: 2147611 markings, 2897403 edges, 9619 markings/sec, 165 secs
lola: 2201362 markings, 2970694 edges, 10750 markings/sec, 170 secs
lola: 2256214 markings, 3045464 edges, 10970 markings/sec, 175 secs
lola: 2310479 markings, 3119616 edges, 10853 markings/sec, 180 secs
lola: 2364547 markings, 3200169 edges, 10814 markings/sec, 185 secs
lola: 2394101 markings, 3528827 edges, 5911 markings/sec, 190 secs
lola: 2454399 markings, 3603373 edges, 12060 markings/sec, 195 secs
lola: 2515117 markings, 3678966 edges, 12144 markings/sec, 200 secs
lola: 2575261 markings, 3754497 edges, 12029 markings/sec, 205 secs
lola: 2636028 markings, 3830118 edges, 12153 markings/sec, 210 secs
lola: 2696486 markings, 3904308 edges, 12092 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: 95068 markings, 96838 edges, 19014 markings/sec, 0 secs
lola: 158372 markings, 160443 edges, 12661 markings/sec, 5 secs
lola: 218898 markings, 222914 edges, 12105 markings/sec, 10 secs
lola: 278587 markings, 284541 edges, 11938 markings/sec, 15 secs
lola: 338058 markings, 345957 edges, 11894 markings/sec, 20 secs
lola: 397181 markings, 407038 edges, 11825 markings/sec, 25 secs
lola: 456227 markings, 467519 edges, 11809 markings/sec, 30 secs
lola: 516727 markings, 529833 edges, 12100 markings/sec, 35 secs
lola: 575854 markings, 590106 edges, 11825 markings/sec, 40 secs
lola: 634738 markings, 650930 edges, 11777 markings/sec, 45 secs
lola: 694292 markings, 712423 edges, 11911 markings/sec, 50 secs
lola: 753932 markings, 774059 edges, 11928 markings/sec, 55 secs
lola: 812864 markings, 834843 edges, 11786 markings/sec, 60 secs
lola: 871767 markings, 895701 edges, 11781 markings/sec, 65 secs
lola: 930751 markings, 956691 edges, 11797 markings/sec, 70 secs
lola: 989964 markings, 1017802 edges, 11843 markings/sec, 75 secs
lola: 1050134 markings, 1079899 edges, 12034 markings/sec, 80 secs
lola: 1110563 markings, 1142292 edges, 12086 markings/sec, 85 secs
lola: 1170101 markings, 1203792 edges, 11908 markings/sec, 90 secs
lola: 1228749 markings, 1264400 edges, 11730 markings/sec, 95 secs
lola: 1287117 markings, 1324751 edges, 11674 markings/sec, 100 secs
lola: 1347933 markings, 1386169 edges, 12163 markings/sec, 105 secs
lola: 1408421 markings, 1448606 edges, 12098 markings/sec, 110 secs
lola: 1468072 markings, 1510212 edges, 11930 markings/sec, 115 secs
lola: 1527226 markings, 1571334 edges, 11831 markings/sec, 120 secs
lola: 1587168 markings, 1633250 edges, 11988 markings/sec, 125 secs
lola: 1646774 markings, 1694840 edges, 11921 markings/sec, 130 secs
lola: 1706242 markings, 1756285 edges, 11894 markings/sec, 135 secs
lola: 1765240 markings, 1817241 edges, 11800 markings/sec, 140 secs
lola: 1824658 markings, 1878629 edges, 11884 markings/sec, 145 secs
lola: 1884909 markings, 1940877 edges, 12050 markings/sec, 150 secs
lola: 1944692 markings, 2002646 edges, 11957 markings/sec, 155 secs
lola: 2004115 markings, 2064066 edges, 11885 markings/sec, 160 secs
lola: 2063372 markings, 2125306 edges, 11851 markings/sec, 165 secs
lola: 2122628 markings, 2185873 edges, 11851 markings/sec, 170 secs
lola: 2182438 markings, 2246987 edges, 11962 markings/sec, 175 secs
lola: 2241839 markings, 2308362 edges, 11880 markings/sec, 180 secs
lola: 2302076 markings, 2370596 edges, 12047 markings/sec, 185 secs
lola: 2362394 markings, 2432933 edges, 12064 markings/sec, 190 secs
lola: 2421911 markings, 2494687 edges, 11903 markings/sec, 195 secs
lola: 2481499 markings, 2556297 edges, 11918 markings/sec, 200 secs
lola: 2540955 markings, 2617984 edges, 11891 markings/sec, 205 secs
lola: 2600575 markings, 2679623 edges, 11924 markings/sec, 210 secs
lola: 2659999 markings, 2741057 edges, 11885 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 222 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: 147084 markings, 151885 edges, 29417 markings/sec, 0 secs
lola: 240183 markings, 246850 edges, 18620 markings/sec, 5 secs
lola: 314720 markings, 321702 edges, 14907 markings/sec, 10 secs
lola: 388000 markings, 395399 edges, 14656 markings/sec, 15 secs
lola: 456993 markings, 466691 edges, 13799 markings/sec, 20 secs
lola: 525779 markings, 537781 edges, 13757 markings/sec, 25 secs
lola: 594480 markings, 608792 edges, 13740 markings/sec, 30 secs
lola: 662800 markings, 679420 edges, 13664 markings/sec, 35 secs
lola: 731391 markings, 750309 edges, 13718 markings/sec, 40 secs
lola: 799445 markings, 820659 edges, 13611 markings/sec, 45 secs
lola: 867930 markings, 891462 edges, 13697 markings/sec, 50 secs
lola: 936002 markings, 961859 edges, 13614 markings/sec, 55 secs
lola: 1004847 markings, 1033022 edges, 13769 markings/sec, 60 secs
lola: 1073504 markings, 1104002 edges, 13731 markings/sec, 65 secs
lola: 1141140 markings, 1173964 edges, 13527 markings/sec, 70 secs
lola: 1208515 markings, 1243662 edges, 13475 markings/sec, 75 secs
lola: 1275235 markings, 1312711 edges, 13344 markings/sec, 80 secs
lola: 1341413 markings, 1381222 edges, 13236 markings/sec, 85 secs
lola: 1410267 markings, 1452430 edges, 13771 markings/sec, 90 secs
lola: 1478193 markings, 1522705 edges, 13585 markings/sec, 95 secs
lola: 1547020 markings, 1593900 edges, 13765 markings/sec, 100 secs
lola: 1613668 markings, 1662893 edges, 13330 markings/sec, 105 secs
lola: 1679814 markings, 1731396 edges, 13229 markings/sec, 110 secs
lola: 1748279 markings, 1802242 edges, 13693 markings/sec, 115 secs
lola: 1816793 markings, 1873058 edges, 13703 markings/sec, 120 secs
lola: 1885348 markings, 1944030 edges, 13711 markings/sec, 125 secs
lola: 1952872 markings, 2014714 edges, 13505 markings/sec, 130 secs
lola: 2020491 markings, 2085324 edges, 13524 markings/sec, 135 secs
lola: 2085901 markings, 2152455 edges, 13082 markings/sec, 140 secs
lola: 2154300 markings, 2223711 edges, 13680 markings/sec, 145 secs
lola: 2219615 markings, 2291316 edges, 13063 markings/sec, 150 secs
lola: 2287970 markings, 2361971 edges, 13671 markings/sec, 155 secs
lola: 2356390 markings, 2431093 edges, 13684 markings/sec, 160 secs
lola: 2425093 markings, 2502114 edges, 13741 markings/sec, 165 secs
lola: 2493637 markings, 2573040 edges, 13709 markings/sec, 170 secs
lola: 2560734 markings, 2642523 edges, 13419 markings/sec, 175 secs
lola: 2627461 markings, 2711826 edges, 13345 markings/sec, 180 secs
lola: 2695699 markings, 2780967 edges, 13648 markings/sec, 185 secs
lola: 2762717 markings, 2850372 edges, 13404 markings/sec, 190 secs
lola: 2830733 markings, 2920739 edges, 13603 markings/sec, 195 secs
lola: 2899314 markings, 2992571 edges, 13716 markings/sec, 200 secs
lola: 2967119 markings, 3063571 edges, 13561 markings/sec, 205 secs
lola: 3034685 markings, 3133589 edges, 13513 markings/sec, 210 secs
lola: 3102931 markings, 3202745 edges, 13649 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: 104974 markings, 106645 edges, 20995 markings/sec, 0 secs
lola: 163937 markings, 177064 edges, 11793 markings/sec, 5 secs
lola: 220804 markings, 250756 edges, 11373 markings/sec, 10 secs
lola: 278123 markings, 323277 edges, 11464 markings/sec, 15 secs
lola: 333227 markings, 393521 edges, 11021 markings/sec, 20 secs
lola: 389530 markings, 464765 edges, 11261 markings/sec, 25 secs
lola: 447001 markings, 537431 edges, 11494 markings/sec, 30 secs
lola: 503479 markings, 609391 edges, 11296 markings/sec, 35 secs
lola: 560838 markings, 680210 edges, 11472 markings/sec, 40 secs
lola: 616816 markings, 754918 edges, 11196 markings/sec, 45 secs
lola: 673057 markings, 824468 edges, 11248 markings/sec, 50 secs
lola: 729495 markings, 894426 edges, 11288 markings/sec, 55 secs
lola: 785321 markings, 966579 edges, 11165 markings/sec, 60 secs
lola: 840947 markings, 1036662 edges, 11125 markings/sec, 65 secs
lola: 896436 markings, 1105495 edges, 11098 markings/sec, 70 secs
lola: 951645 markings, 1173556 edges, 11042 markings/sec, 75 secs
lola: 1007579 markings, 1242960 edges, 11187 markings/sec, 80 secs
lola: 1063678 markings, 1313884 edges, 11220 markings/sec, 85 secs
lola: 1118412 markings, 1380232 edges, 10947 markings/sec, 90 secs
lola: 1172905 markings, 1447303 edges, 10899 markings/sec, 95 secs
lola: 1226104 markings, 1517392 edges, 10640 markings/sec, 100 secs
lola: 1278560 markings, 1584687 edges, 10491 markings/sec, 105 secs
lola: 1333053 markings, 1657992 edges, 10899 markings/sec, 110 secs
lola: 1385363 markings, 1725338 edges, 10462 markings/sec, 115 secs
lola: 1437463 markings, 1794571 edges, 10420 markings/sec, 120 secs
lola: 1488994 markings, 1863811 edges, 10306 markings/sec, 125 secs
lola: 1541063 markings, 1935315 edges, 10414 markings/sec, 130 secs
lola: 1592357 markings, 2011680 edges, 10259 markings/sec, 135 secs
lola: 1639310 markings, 2120692 edges, 9391 markings/sec, 140 secs
lola: 1666971 markings, 2387862 edges, 5532 markings/sec, 145 secs
lola: 1707824 markings, 2569001 edges, 8171 markings/sec, 150 secs
lola: 1761688 markings, 2636399 edges, 10773 markings/sec, 155 secs
lola: 1815587 markings, 2705583 edges, 10780 markings/sec, 160 secs
lola: 1868686 markings, 2772617 edges, 10620 markings/sec, 165 secs
lola: 1923311 markings, 2840095 edges, 10925 markings/sec, 170 secs
lola: 1976973 markings, 2907466 edges, 10732 markings/sec, 175 secs
lola: 2030453 markings, 2973415 edges, 10696 markings/sec, 180 secs
lola: 2084622 markings, 3039209 edges, 10834 markings/sec, 185 secs
lola: 2137913 markings, 3107117 edges, 10658 markings/sec, 190 secs
lola: 2190826 markings, 3172720 edges, 10583 markings/sec, 195 secs
lola: 2244275 markings, 3240619 edges, 10690 markings/sec, 200 secs
lola: 2297833 markings, 3307710 edges, 10712 markings/sec, 205 secs
lola: 2350361 markings, 3378694 edges, 10506 markings/sec, 210 secs
lola: 2402843 markings, 3447519 edges, 10496 markings/sec, 215 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
FORMULA 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 1496353684442

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

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="S_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/S_HypertorusGrid-PT-d4k3p2b08.tgz
mv S_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 S_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 r118-blw7-149441649800047"
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 ;