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 CloudReconfiguration-PT-305, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r178-csrt-149580961200038
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1496529541451


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


checking for too many tokens
===========================================================================================
CloudReconfiguration-PT-305: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ CloudReconfiguration-PT-305 @ 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: 5680/65536 symbol table entries, 639 collisions
lola: preprocessing...
lola: finding significant places
lola: 2585 places, 3095 transitions, 2581 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2708 transition conflict sets
lola: TASK
lola: reading formula from CloudReconfiguration-PT-305-UpperBounds.task
lola: MAX(p336) : MAX(p1724) : MAX(p2060) : MAX(p1287) : MAX(p946) : MAX(p2574) : MAX(p747) : MAX(p1702) : MAX(p1117) : MAX(p2567) : MAX(p109) : MAX(p1959) : MAX(p2115) : MAX(p1352) : MAX(p243) : MAX(p420)
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(p336)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 11 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: 97345 markings, 186237 edges, 19469 markings/sec, 0 secs
lola: 194395 markings, 398112 edges, 19410 markings/sec, 5 secs
lola: 285406 markings, 583477 edges, 18202 markings/sec, 10 secs
lola: 378553 markings, 775510 edges, 18629 markings/sec, 15 secs
lola: 479336 markings, 968207 edges, 20157 markings/sec, 20 secs
lola: 582231 markings, 1200515 edges, 20579 markings/sec, 25 secs
lola: 687935 markings, 1427376 edges, 21141 markings/sec, 30 secs
lola: 790009 markings, 1642038 edges, 20415 markings/sec, 35 secs
lola: 880838 markings, 1843356 edges, 18166 markings/sec, 40 secs
lola: 972465 markings, 2040359 edges, 18325 markings/sec, 45 secs
lola: 1061114 markings, 2230478 edges, 17730 markings/sec, 50 secs
lola: 1146931 markings, 2420844 edges, 17163 markings/sec, 55 secs
lola: 1236990 markings, 2607960 edges, 18012 markings/sec, 60 secs
lola: 1334698 markings, 2817967 edges, 19542 markings/sec, 65 secs
lola: 1425752 markings, 3004278 edges, 18211 markings/sec, 70 secs
lola: 1521423 markings, 3210957 edges, 19134 markings/sec, 75 secs
lola: 1616794 markings, 3416813 edges, 19074 markings/sec, 80 secs
lola: 1705242 markings, 3605548 edges, 17690 markings/sec, 85 secs
lola: 1793096 markings, 3791702 edges, 17571 markings/sec, 90 secs
lola: 1879203 markings, 3985123 edges, 17221 markings/sec, 95 secs
lola: 1969813 markings, 4179439 edges, 18122 markings/sec, 100 secs
lola: 2054680 markings, 4362744 edges, 16973 markings/sec, 105 secs
lola: 2137244 markings, 4532243 edges, 16513 markings/sec, 110 secs
lola: 2217203 markings, 4709382 edges, 15992 markings/sec, 115 secs
lola: 2300695 markings, 4891993 edges, 16698 markings/sec, 120 secs
lola: 2382655 markings, 5066012 edges, 16392 markings/sec, 125 secs
lola: 2469417 markings, 5251243 edges, 17352 markings/sec, 130 secs
lola: 2547385 markings, 5423552 edges, 15594 markings/sec, 135 secs
lola: 2626929 markings, 5599394 edges, 15909 markings/sec, 140 secs
lola: 2702520 markings, 5771514 edges, 15118 markings/sec, 145 secs
lola: 2786731 markings, 5950840 edges, 16842 markings/sec, 150 secs
lola: 2869671 markings, 6125171 edges, 16588 markings/sec, 155 secs
lola: 2953662 markings, 6305522 edges, 16798 markings/sec, 160 secs
lola: 3040847 markings, 6490643 edges, 17437 markings/sec, 165 secs
lola: 3123450 markings, 6675583 edges, 16521 markings/sec, 170 secs
lola: 3205391 markings, 6853870 edges, 16388 markings/sec, 175 secs
lola: 3288240 markings, 7031648 edges, 16570 markings/sec, 180 secs
lola: 3378837 markings, 7226676 edges, 18119 markings/sec, 185 secs
lola: 3468559 markings, 7418709 edges, 17944 markings/sec, 190 secs
lola: 3551107 markings, 7603141 edges, 16510 markings/sec, 195 secs
lola: 3633366 markings, 7782198 edges, 16452 markings/sec, 200 secs
lola: 3715335 markings, 7961817 edges, 16394 markings/sec, 205 secs
lola: 3794944 markings, 8144466 edges, 15922 markings/sec, 210 secs
lola: 3878921 markings, 8327318 edges, 16795 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(p1724)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 11 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: 121219 markings, 161968 edges, 24244 markings/sec, 0 secs
lola: 246995 markings, 321217 edges, 25155 markings/sec, 5 secs
lola: 359892 markings, 460947 edges, 22579 markings/sec, 10 secs
lola: 469489 markings, 595979 edges, 21919 markings/sec, 15 secs
lola: 582539 markings, 736117 edges, 22610 markings/sec, 20 secs
lola: 708049 markings, 891629 edges, 25102 markings/sec, 25 secs
lola: 822657 markings, 1035424 edges, 22922 markings/sec, 30 secs
lola: 936415 markings, 1177752 edges, 22752 markings/sec, 35 secs
lola: 1063940 markings, 1337476 edges, 25505 markings/sec, 40 secs
lola: 1202019 markings, 1509736 edges, 27616 markings/sec, 45 secs
lola: 1326103 markings, 1666059 edges, 24817 markings/sec, 50 secs
lola: 1457298 markings, 1832917 edges, 26239 markings/sec, 55 secs
lola: 1578532 markings, 1984476 edges, 24247 markings/sec, 60 secs
lola: 1707454 markings, 2145822 edges, 25784 markings/sec, 65 secs
lola: 1828975 markings, 2299002 edges, 24304 markings/sec, 70 secs
lola: 1944066 markings, 2443718 edges, 23018 markings/sec, 75 secs
lola: 2052276 markings, 2578389 edges, 21642 markings/sec, 80 secs
lola: 2171864 markings, 2731923 edges, 23918 markings/sec, 85 secs
lola: 2289576 markings, 2881469 edges, 23542 markings/sec, 90 secs
lola: 2407138 markings, 3032437 edges, 23512 markings/sec, 95 secs
lola: 2520287 markings, 3175465 edges, 22630 markings/sec, 100 secs
lola: 2634312 markings, 3315822 edges, 22805 markings/sec, 105 secs
lola: 2784933 markings, 3504504 edges, 30124 markings/sec, 110 secs
lola: 2930985 markings, 3688815 edges, 29210 markings/sec, 115 secs
lola: 3077082 markings, 3874397 edges, 29219 markings/sec, 120 secs
lola: 3201898 markings, 4031826 edges, 24963 markings/sec, 125 secs
lola: 3300207 markings, 4154691 edges, 19662 markings/sec, 130 secs
lola: 3393968 markings, 4272374 edges, 18752 markings/sec, 135 secs
lola: 3502437 markings, 4408975 edges, 21694 markings/sec, 140 secs
lola: 3630875 markings, 4573037 edges, 25688 markings/sec, 145 secs
lola: 3745562 markings, 4720378 edges, 22937 markings/sec, 150 secs
lola: 3853863 markings, 4858926 edges, 21660 markings/sec, 155 secs
lola: 3965301 markings, 4997443 edges, 22288 markings/sec, 160 secs
lola: 4108751 markings, 5177240 edges, 28690 markings/sec, 165 secs
lola: 4239516 markings, 5343612 edges, 26153 markings/sec, 170 secs
lola: 4368003 markings, 5508447 edges, 25697 markings/sec, 175 secs
lola: 4497535 markings, 5674366 edges, 25906 markings/sec, 180 secs
lola: 4607048 markings, 5812161 edges, 21903 markings/sec, 185 secs
lola: 4707876 markings, 5937909 edges, 20166 markings/sec, 190 secs
lola: 4815321 markings, 6073744 edges, 21489 markings/sec, 195 secs
lola: 4940125 markings, 6235921 edges, 24961 markings/sec, 200 secs
lola: 5038192 markings, 6361109 edges, 19613 markings/sec, 205 secs
lola: 5141588 markings, 6499633 edges, 20679 markings/sec, 210 secs
lola: 5236093 markings, 6631696 edges, 18901 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(p2060)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 11 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: 160476 markings, 242630 edges, 32095 markings/sec, 0 secs
lola: 304350 markings, 454001 edges, 28775 markings/sec, 5 secs
lola: 444005 markings, 653924 edges, 27931 markings/sec, 10 secs
lola: 573678 markings, 834284 edges, 25935 markings/sec, 15 secs
lola: 694120 markings, 1009797 edges, 24088 markings/sec, 20 secs
lola: 821542 markings, 1180490 edges, 25484 markings/sec, 25 secs
lola: 937712 markings, 1342601 edges, 23234 markings/sec, 30 secs
lola: 1048772 markings, 1503611 edges, 22212 markings/sec, 35 secs
lola: 1155370 markings, 1654535 edges, 21320 markings/sec, 40 secs
lola: 1263698 markings, 1808744 edges, 21666 markings/sec, 45 secs
lola: 1371169 markings, 1956916 edges, 21494 markings/sec, 50 secs
lola: 1482242 markings, 2109766 edges, 22215 markings/sec, 55 secs
lola: 1596760 markings, 2268882 edges, 22904 markings/sec, 60 secs
lola: 1710148 markings, 2422856 edges, 22678 markings/sec, 65 secs
lola: 1833019 markings, 2585300 edges, 24574 markings/sec, 70 secs
lola: 1968909 markings, 2762270 edges, 27178 markings/sec, 75 secs
lola: 2103373 markings, 2932217 edges, 26893 markings/sec, 80 secs
lola: 2230973 markings, 3091954 edges, 25520 markings/sec, 85 secs
lola: 2355304 markings, 3252188 edges, 24866 markings/sec, 90 secs
lola: 2476203 markings, 3408514 edges, 24180 markings/sec, 95 secs
lola: 2604246 markings, 3576888 edges, 25609 markings/sec, 100 secs
lola: 2734165 markings, 3743488 edges, 25984 markings/sec, 105 secs
lola: 2860659 markings, 3901695 edges, 25299 markings/sec, 110 secs
lola: 2982363 markings, 4054777 edges, 24341 markings/sec, 115 secs
lola: 3117690 markings, 4228274 edges, 27065 markings/sec, 120 secs
lola: 3255730 markings, 4401141 edges, 27608 markings/sec, 125 secs
lola: 3397855 markings, 4582633 edges, 28425 markings/sec, 130 secs
lola: 3527279 markings, 4765201 edges, 25885 markings/sec, 135 secs
lola: 3637256 markings, 4930653 edges, 21995 markings/sec, 140 secs
lola: 3775941 markings, 5115021 edges, 27737 markings/sec, 145 secs
lola: 3870747 markings, 5256799 edges, 18961 markings/sec, 150 secs
lola: 3981103 markings, 5414649 edges, 22071 markings/sec, 155 secs
lola: 4079942 markings, 5562372 edges, 19768 markings/sec, 160 secs
lola: 4196354 markings, 5723383 edges, 23282 markings/sec, 165 secs
lola: 4318171 markings, 5876004 edges, 24363 markings/sec, 170 secs
lola: 4443133 markings, 6046001 edges, 24992 markings/sec, 175 secs
lola: 4538098 markings, 6201877 edges, 18993 markings/sec, 180 secs
lola: 4652334 markings, 6364862 edges, 22847 markings/sec, 185 secs
lola: 4749309 markings, 6513458 edges, 19395 markings/sec, 190 secs
lola: 4858753 markings, 6668079 edges, 21889 markings/sec, 195 secs
lola: 4965989 markings, 6822904 edges, 21447 markings/sec, 200 secs
lola: 5068169 markings, 6979033 edges, 20436 markings/sec, 205 secs
lola: 5185470 markings, 7144577 edges, 23460 markings/sec, 210 secs
lola: 5286413 markings, 7298753 edges, 20189 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(p1287)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 11 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: 140229 markings, 169411 edges, 28046 markings/sec, 0 secs
lola: 288268 markings, 350528 edges, 29608 markings/sec, 5 secs
lola: 449089 markings, 547206 edges, 32164 markings/sec, 10 secs
lola: 626292 markings, 764506 edges, 35441 markings/sec, 15 secs
lola: 783813 markings, 953886 edges, 31504 markings/sec, 20 secs
lola: 915560 markings, 1111142 edges, 26349 markings/sec, 25 secs
lola: 1025082 markings, 1242745 edges, 21904 markings/sec, 30 secs
lola: 1195146 markings, 1443583 edges, 34013 markings/sec, 35 secs
lola: 1383139 markings, 1665591 edges, 37599 markings/sec, 40 secs
lola: 1575916 markings, 1893064 edges, 38555 markings/sec, 45 secs
lola: 1760269 markings, 2110477 edges, 36871 markings/sec, 50 secs
lola: 1953808 markings, 2338883 edges, 38708 markings/sec, 55 secs
lola: 2152918 markings, 2574163 edges, 39822 markings/sec, 60 secs
lola: 2340920 markings, 2796025 edges, 37600 markings/sec, 65 secs
lola: 2562891 markings, 3057829 edges, 44394 markings/sec, 70 secs
lola: 2825102 markings, 3367411 edges, 52442 markings/sec, 75 secs
lola: 3091032 markings, 3681170 edges, 53186 markings/sec, 80 secs
lola: 3350563 markings, 3987495 edges, 51906 markings/sec, 85 secs
lola: 3554176 markings, 4228691 edges, 40723 markings/sec, 90 secs
lola: 3814398 markings, 4534998 edges, 52044 markings/sec, 95 secs
lola: 4040819 markings, 4802593 edges, 45284 markings/sec, 100 secs
lola: 4292280 markings, 5098739 edges, 50292 markings/sec, 105 secs
lola: 4550198 markings, 5403762 edges, 51584 markings/sec, 110 secs
lola: 4843275 markings, 5749379 edges, 58615 markings/sec, 115 secs
lola: 5118895 markings, 6074629 edges, 55124 markings/sec, 120 secs
lola: 5378774 markings, 6381641 edges, 51976 markings/sec, 125 secs
lola: 5658510 markings, 6711470 edges, 55947 markings/sec, 130 secs
lola: 5926213 markings, 7027533 edges, 53541 markings/sec, 135 secs
lola: 6085361 markings, 7215584 edges, 31830 markings/sec, 140 secs
lola: 6245829 markings, 7405084 edges, 32094 markings/sec, 145 secs
lola: 6434084 markings, 7627389 edges, 37651 markings/sec, 150 secs
lola: 6654913 markings, 7887541 edges, 44166 markings/sec, 155 secs
lola: 6860098 markings, 8129209 edges, 41037 markings/sec, 160 secs
lola: 7056417 markings, 8360499 edges, 39264 markings/sec, 165 secs
lola: 7263147 markings, 8603658 edges, 41346 markings/sec, 170 secs
lola: 7489131 markings, 8869502 edges, 45197 markings/sec, 175 secs
lola: 7689624 markings, 9105211 edges, 40099 markings/sec, 180 secs
lola: 7805570 markings, 9245737 edges, 23189 markings/sec, 185 secs
lola: 7902331 markings, 9364137 edges, 19352 markings/sec, 190 secs
lola: 8000645 markings, 9484791 edges, 19663 markings/sec, 195 secs
lola: 8113513 markings, 9622815 edges, 22574 markings/sec, 200 secs
lola: 8226004 markings, 9760990 edges, 22498 markings/sec, 205 secs
lola: 8343765 markings, 9905760 edges, 23552 markings/sec, 210 secs
lola: 8447317 markings, 10117407 edges, 20710 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(p946)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 11 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: 119070 markings, 152273 edges, 23814 markings/sec, 0 secs
lola: 233493 markings, 291962 edges, 22885 markings/sec, 5 secs
lola: 356058 markings, 444672 edges, 24513 markings/sec, 10 secs
lola: 456709 markings, 568358 edges, 20130 markings/sec, 15 secs
lola: 567199 markings, 705917 edges, 22098 markings/sec, 20 secs
lola: 657858 markings, 816181 edges, 18132 markings/sec, 25 secs
lola: 767234 markings, 953372 edges, 21875 markings/sec, 30 secs
lola: 877264 markings, 1090269 edges, 22006 markings/sec, 35 secs
lola: 978387 markings, 1215651 edges, 20225 markings/sec, 40 secs
lola: 1068430 markings, 1325363 edges, 18009 markings/sec, 45 secs
lola: 1168313 markings, 1446907 edges, 19977 markings/sec, 50 secs
lola: 1271175 markings, 1574098 edges, 20572 markings/sec, 55 secs
lola: 1392928 markings, 1728790 edges, 24351 markings/sec, 60 secs
lola: 1512137 markings, 1879260 edges, 23842 markings/sec, 65 secs
lola: 1628474 markings, 2028856 edges, 23267 markings/sec, 70 secs
lola: 1731354 markings, 2154449 edges, 20576 markings/sec, 75 secs
lola: 1846941 markings, 2303252 edges, 23117 markings/sec, 80 secs
lola: 1964820 markings, 2453971 edges, 23576 markings/sec, 85 secs
lola: 2070719 markings, 2586641 edges, 21180 markings/sec, 90 secs
lola: 2181729 markings, 2729478 edges, 22202 markings/sec, 95 secs
lola: 2287167 markings, 2857667 edges, 21088 markings/sec, 100 secs
lola: 2400774 markings, 2998941 edges, 22721 markings/sec, 105 secs
lola: 2537071 markings, 3174166 edges, 27259 markings/sec, 110 secs
lola: 2671476 markings, 3341648 edges, 26881 markings/sec, 115 secs
lola: 2786258 markings, 3484820 edges, 22956 markings/sec, 120 secs
lola: 2889565 markings, 3612072 edges, 20661 markings/sec, 125 secs
lola: 2992075 markings, 3737098 edges, 20502 markings/sec, 130 secs
lola: 3124134 markings, 3906636 edges, 26412 markings/sec, 135 secs
lola: 3246699 markings, 4062303 edges, 24513 markings/sec, 140 secs
lola: 3360105 markings, 4204564 edges, 22681 markings/sec, 145 secs
lola: 3452916 markings, 4320333 edges, 18562 markings/sec, 150 secs
lola: 3568560 markings, 4468714 edges, 23129 markings/sec, 155 secs
lola: 3672602 markings, 4597214 edges, 20808 markings/sec, 160 secs
lola: 3768411 markings, 4714208 edges, 19162 markings/sec, 165 secs
lola: 3857829 markings, 4829509 edges, 17884 markings/sec, 170 secs
lola: 3963807 markings, 4959342 edges, 21196 markings/sec, 175 secs
lola: 4029793 markings, 5039433 edges, 13197 markings/sec, 180 secs
lola: 4164002 markings, 5211542 edges, 26842 markings/sec, 185 secs
lola: 4259514 markings, 5328272 edges, 19102 markings/sec, 190 secs
lola: 4361911 markings, 5453869 edges, 20479 markings/sec, 195 secs
lola: 4460390 markings, 5577314 edges, 19696 markings/sec, 200 secs
lola: 4544008 markings, 5682872 edges, 16724 markings/sec, 205 secs
lola: 4644765 markings, 5807594 edges, 20151 markings/sec, 210 secs
lola: 4728909 markings, 5910180 edges, 16829 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(p2574)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 11 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: 135436 markings, 226438 edges, 27087 markings/sec, 0 secs
lola: 260291 markings, 448768 edges, 24971 markings/sec, 5 secs
lola: 385187 markings, 667424 edges, 24979 markings/sec, 10 secs
lola: 517577 markings, 909912 edges, 26478 markings/sec, 15 secs
lola: 656633 markings, 1152888 edges, 27811 markings/sec, 20 secs
lola: 781562 markings, 1373362 edges, 24986 markings/sec, 25 secs
lola: 927402 markings, 1619794 edges, 29168 markings/sec, 30 secs
lola: 1076539 markings, 1873307 edges, 29827 markings/sec, 35 secs
lola: 1229067 markings, 2132959 edges, 30506 markings/sec, 40 secs
lola: 1374343 markings, 2379849 edges, 29055 markings/sec, 45 secs
lola: 1521726 markings, 2630329 edges, 29477 markings/sec, 50 secs
lola: 1671847 markings, 2884726 edges, 30024 markings/sec, 55 secs
lola: 1808475 markings, 3125849 edges, 27326 markings/sec, 60 secs
lola: 1941757 markings, 3362211 edges, 26656 markings/sec, 65 secs
lola: 2045990 markings, 3563719 edges, 20847 markings/sec, 70 secs
lola: 2164664 markings, 3787978 edges, 23735 markings/sec, 75 secs
lola: 2303037 markings, 4036772 edges, 27675 markings/sec, 80 secs
lola: 2413091 markings, 4236900 edges, 22011 markings/sec, 85 secs
lola: 2543234 markings, 4466045 edges, 26029 markings/sec, 90 secs
lola: 2658059 markings, 4681145 edges, 22965 markings/sec, 95 secs
lola: 2769590 markings, 4886852 edges, 22306 markings/sec, 100 secs
lola: 2875489 markings, 5073755 edges, 21180 markings/sec, 105 secs
lola: 3000423 markings, 5294389 edges, 24987 markings/sec, 110 secs
lola: 3102129 markings, 5484266 edges, 20341 markings/sec, 115 secs
lola: 3233549 markings, 5714878 edges, 26284 markings/sec, 120 secs
lola: 3356529 markings, 5945417 edges, 24596 markings/sec, 125 secs
lola: 3472736 markings, 6154831 edges, 23241 markings/sec, 130 secs
lola: 3569080 markings, 6335388 edges, 19269 markings/sec, 135 secs
lola: 3652833 markings, 6498059 edges, 16751 markings/sec, 140 secs
lola: 3746810 markings, 6668143 edges, 18795 markings/sec, 145 secs
lola: 3845344 markings, 6862993 edges, 19707 markings/sec, 150 secs
lola: 3971527 markings, 7081263 edges, 25237 markings/sec, 155 secs
lola: 4099524 markings, 7309147 edges, 25599 markings/sec, 160 secs
lola: 4219405 markings, 7521518 edges, 23976 markings/sec, 165 secs
lola: 4329810 markings, 7717626 edges, 22081 markings/sec, 170 secs
lola: 4430464 markings, 7906729 edges, 20131 markings/sec, 175 secs
lola: 4525676 markings, 8094052 edges, 19042 markings/sec, 180 secs
lola: 4648818 markings, 8316106 edges, 24628 markings/sec, 185 secs
lola: 4783109 markings, 8545035 edges, 26858 markings/sec, 190 secs
lola: 4902545 markings, 8758534 edges, 23887 markings/sec, 195 secs
lola: 5007127 markings, 8958252 edges, 20916 markings/sec, 200 secs
lola: 5106143 markings, 9153470 edges, 19803 markings/sec, 205 secs
lola: 5200289 markings, 9333058 edges, 18829 markings/sec, 210 secs
lola: 5303388 markings, 9527392 edges, 20620 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(p747)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 11 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: 119010 markings, 145218 edges, 23802 markings/sec, 0 secs
lola: 234810 markings, 286948 edges, 23160 markings/sec, 5 secs
lola: 360922 markings, 443471 edges, 25222 markings/sec, 10 secs
lola: 476472 markings, 586350 edges, 23110 markings/sec, 15 secs
lola: 586916 markings, 722831 edges, 22089 markings/sec, 20 secs
lola: 691195 markings, 850568 edges, 20856 markings/sec, 25 secs
lola: 812575 markings, 1002831 edges, 24276 markings/sec, 30 secs
lola: 928831 markings, 1148449 edges, 23251 markings/sec, 35 secs
lola: 1017235 markings, 1256028 edges, 17681 markings/sec, 40 secs
lola: 1110166 markings, 1369299 edges, 18586 markings/sec, 45 secs
lola: 1212096 markings, 1492849 edges, 20386 markings/sec, 50 secs
lola: 1346731 markings, 1663964 edges, 26927 markings/sec, 55 secs
lola: 1480759 markings, 1833425 edges, 26806 markings/sec, 60 secs
lola: 1603512 markings, 1990566 edges, 24551 markings/sec, 65 secs
lola: 1707941 markings, 2118934 edges, 20886 markings/sec, 70 secs
lola: 1818297 markings, 2259722 edges, 22071 markings/sec, 75 secs
lola: 1935824 markings, 2411244 edges, 23505 markings/sec, 80 secs
lola: 2047583 markings, 2551476 edges, 22352 markings/sec, 85 secs
lola: 2162785 markings, 2699409 edges, 23040 markings/sec, 90 secs
lola: 2260878 markings, 2818635 edges, 19619 markings/sec, 95 secs
lola: 2375384 markings, 2960267 edges, 22901 markings/sec, 100 secs
lola: 2512625 markings, 3135952 edges, 27448 markings/sec, 105 secs
lola: 2642939 markings, 3298909 edges, 26063 markings/sec, 110 secs
lola: 2755058 markings, 3439023 edges, 22424 markings/sec, 115 secs
lola: 2852638 markings, 3560008 edges, 19516 markings/sec, 120 secs
lola: 2956456 markings, 3686560 edges, 20764 markings/sec, 125 secs
lola: 3078003 markings, 3840903 edges, 24309 markings/sec, 130 secs
lola: 3210680 markings, 4010739 edges, 26535 markings/sec, 135 secs
lola: 3332839 markings, 4164158 edges, 24432 markings/sec, 140 secs
lola: 3447785 markings, 4307118 edges, 22989 markings/sec, 145 secs
lola: 3576811 markings, 4471908 edges, 25805 markings/sec, 150 secs
lola: 3698227 markings, 4621819 edges, 24283 markings/sec, 155 secs
lola: 3778913 markings, 4720609 edges, 16137 markings/sec, 160 secs
lola: 3885231 markings, 4856243 edges, 21264 markings/sec, 165 secs
lola: 3980491 markings, 4972544 edges, 19052 markings/sec, 170 secs
lola: 4079771 markings, 5099032 edges, 19856 markings/sec, 175 secs
lola: 4206185 markings, 5256444 edges, 25283 markings/sec, 180 secs
lola: 4290261 markings, 5358964 edges, 16815 markings/sec, 185 secs
lola: 4392829 markings, 5486839 edges, 20514 markings/sec, 190 secs
lola: 4498570 markings, 5618624 edges, 21148 markings/sec, 195 secs
lola: 4574045 markings, 5713900 edges, 15095 markings/sec, 200 secs
lola: 4672569 markings, 5834345 edges, 19705 markings/sec, 205 secs
lola: 4777358 markings, 5963190 edges, 20958 markings/sec, 210 secs
lola: 4865054 markings, 6078401 edges, 17539 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(p1702)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 11 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: 127825 markings, 177498 edges, 25565 markings/sec, 0 secs
lola: 266668 markings, 356576 edges, 27769 markings/sec, 5 secs
lola: 391849 markings, 514731 edges, 25036 markings/sec, 10 secs
lola: 524884 markings, 683851 edges, 26607 markings/sec, 15 secs
lola: 672302 markings, 874843 edges, 29484 markings/sec, 20 secs
lola: 808536 markings, 1045333 edges, 27247 markings/sec, 25 secs
lola: 933278 markings, 1201956 edges, 24948 markings/sec, 30 secs
lola: 1085381 markings, 1392383 edges, 30421 markings/sec, 35 secs
lola: 1227344 markings, 1569805 edges, 28393 markings/sec, 40 secs
lola: 1365021 markings, 1742697 edges, 27535 markings/sec, 45 secs
lola: 1507585 markings, 1929110 edges, 28513 markings/sec, 50 secs
lola: 1642278 markings, 2104013 edges, 26939 markings/sec, 55 secs
lola: 1766231 markings, 2259567 edges, 24791 markings/sec, 60 secs
lola: 1890164 markings, 2415383 edges, 24787 markings/sec, 65 secs
lola: 2037616 markings, 2603224 edges, 29490 markings/sec, 70 secs
lola: 2173572 markings, 2774542 edges, 27191 markings/sec, 75 secs
lola: 2308593 markings, 2946803 edges, 27004 markings/sec, 80 secs
lola: 2444289 markings, 3125051 edges, 27139 markings/sec, 85 secs
lola: 2579518 markings, 3298982 edges, 27046 markings/sec, 90 secs
lola: 2712391 markings, 3471704 edges, 26575 markings/sec, 95 secs
lola: 2877760 markings, 3678774 edges, 33074 markings/sec, 100 secs
lola: 3023449 markings, 3862311 edges, 29138 markings/sec, 105 secs
lola: 3171269 markings, 4050891 edges, 29564 markings/sec, 110 secs
lola: 3318723 markings, 4241125 edges, 29491 markings/sec, 115 secs
lola: 3436236 markings, 4388337 edges, 23503 markings/sec, 120 secs
lola: 3550153 markings, 4531598 edges, 22783 markings/sec, 125 secs
lola: 3681142 markings, 4698383 edges, 26198 markings/sec, 130 secs
lola: 3812872 markings, 4868586 edges, 26346 markings/sec, 135 secs
lola: 3928664 markings, 5019587 edges, 23158 markings/sec, 140 secs
lola: 4061997 markings, 5187529 edges, 26667 markings/sec, 145 secs
lola: 4211682 markings, 5375792 edges, 29937 markings/sec, 150 secs
lola: 4356614 markings, 5561988 edges, 28986 markings/sec, 155 secs
lola: 4502322 markings, 5751166 edges, 29142 markings/sec, 160 secs
lola: 4624842 markings, 5905501 edges, 24504 markings/sec, 165 secs
lola: 4740083 markings, 6050284 edges, 23048 markings/sec, 170 secs
lola: 4850887 markings, 6189239 edges, 22161 markings/sec, 175 secs
lola: 4975951 markings, 6350751 edges, 25013 markings/sec, 180 secs
lola: 5099517 markings, 6511175 edges, 24713 markings/sec, 185 secs
lola: 5208857 markings, 6655928 edges, 21868 markings/sec, 190 secs
lola: 5321090 markings, 6819473 edges, 22447 markings/sec, 195 secs
lola: 5419087 markings, 6950771 edges, 19599 markings/sec, 200 secs
lola: 5555773 markings, 7147057 edges, 27337 markings/sec, 205 secs
lola: 5659983 markings, 7280558 edges, 20842 markings/sec, 210 secs
lola: 5792299 markings, 7475986 edges, 26463 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(p1117)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 11 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: 118830 markings, 144752 edges, 23766 markings/sec, 0 secs
lola: 235190 markings, 287164 edges, 23272 markings/sec, 5 secs
lola: 357603 markings, 439179 edges, 24483 markings/sec, 10 secs
lola: 475867 markings, 585372 edges, 23653 markings/sec, 15 secs
lola: 585669 markings, 721059 edges, 21960 markings/sec, 20 secs
lola: 687554 markings, 845741 edges, 20377 markings/sec, 25 secs
lola: 801017 markings, 988283 edges, 22693 markings/sec, 30 secs
lola: 914446 markings, 1130530 edges, 22686 markings/sec, 35 secs
lola: 1007065 markings, 1243437 edges, 18524 markings/sec, 40 secs
lola: 1097390 markings, 1353416 edges, 18065 markings/sec, 45 secs
lola: 1201808 markings, 1480086 edges, 20884 markings/sec, 50 secs
lola: 1327232 markings, 1638477 edges, 25085 markings/sec, 55 secs
lola: 1450209 markings, 1795454 edges, 24595 markings/sec, 60 secs
lola: 1564428 markings, 1938488 edges, 22844 markings/sec, 65 secs
lola: 1672882 markings, 2075802 edges, 21691 markings/sec, 70 secs
lola: 1767834 markings, 2194260 edges, 18990 markings/sec, 75 secs
lola: 1883391 markings, 2343797 edges, 23111 markings/sec, 80 secs
lola: 2000844 markings, 2492363 edges, 23491 markings/sec, 85 secs
lola: 2104976 markings, 2626070 edges, 20826 markings/sec, 90 secs
lola: 2200760 markings, 2745331 edges, 19157 markings/sec, 95 secs
lola: 2305522 markings, 2872646 edges, 20952 markings/sec, 100 secs
lola: 2426541 markings, 3025698 edges, 24204 markings/sec, 105 secs
lola: 2561917 markings, 3197922 edges, 27075 markings/sec, 110 secs
lola: 2683142 markings, 3349303 edges, 24245 markings/sec, 115 secs
lola: 2784313 markings, 3475396 edges, 20234 markings/sec, 120 secs
lola: 2891458 markings, 3607099 edges, 21429 markings/sec, 125 secs
lola: 3000228 markings, 3739865 edges, 21754 markings/sec, 130 secs
lola: 3135150 markings, 3913883 edges, 26984 markings/sec, 135 secs
lola: 3260071 markings, 4072358 edges, 24984 markings/sec, 140 secs
lola: 3369288 markings, 4209136 edges, 21843 markings/sec, 145 secs
lola: 3472798 markings, 4339983 edges, 20702 markings/sec, 150 secs
lola: 3589923 markings, 4487787 edges, 23425 markings/sec, 155 secs
lola: 3714182 markings, 4641124 edges, 24852 markings/sec, 160 secs
lola: 3787253 markings, 4731883 edges, 14614 markings/sec, 165 secs
lola: 3903926 markings, 4878935 edges, 23335 markings/sec, 170 secs
lola: 3991174 markings, 4985292 edges, 17450 markings/sec, 175 secs
lola: 4111069 markings, 5138547 edges, 23979 markings/sec, 180 secs
lola: 4231213 markings, 5286681 edges, 24029 markings/sec, 185 secs
lola: 4331031 markings, 5408751 edges, 19964 markings/sec, 190 secs
lola: 4436737 markings, 5540932 edges, 21141 markings/sec, 195 secs
lola: 4529460 markings, 5657665 edges, 18545 markings/sec, 200 secs
lola: 4637521 markings, 5791592 edges, 21612 markings/sec, 205 secs
lola: 4726813 markings, 5900477 edges, 17858 markings/sec, 210 secs
lola: 4814381 markings, 6011356 edges, 17514 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(p2567)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 11 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: 135700 markings, 282090 edges, 27140 markings/sec, 0 secs
lola: 277932 markings, 583105 edges, 28446 markings/sec, 5 secs
lola: 416070 markings, 878011 edges, 27628 markings/sec, 10 secs
lola: 537914 markings, 1140671 edges, 24369 markings/sec, 15 secs
lola: 665464 markings, 1413415 edges, 25510 markings/sec, 20 secs
lola: 777905 markings, 1649145 edges, 22488 markings/sec, 25 secs
lola: 884497 markings, 1877275 edges, 21318 markings/sec, 30 secs
lola: 981479 markings, 2085922 edges, 19396 markings/sec, 35 secs
lola: 1075954 markings, 2289814 edges, 18895 markings/sec, 40 secs
lola: 1177647 markings, 2507976 edges, 20339 markings/sec, 45 secs
lola: 1264089 markings, 2690065 edges, 17288 markings/sec, 50 secs
lola: 1352038 markings, 2874408 edges, 17590 markings/sec, 55 secs
lola: 1437336 markings, 3058457 edges, 17060 markings/sec, 60 secs
lola: 1510407 markings, 3215202 edges, 14614 markings/sec, 65 secs
lola: 1581070 markings, 3367582 edges, 14133 markings/sec, 70 secs
lola: 1658351 markings, 3531745 edges, 15456 markings/sec, 75 secs
lola: 1731279 markings, 3689606 edges, 14586 markings/sec, 80 secs
lola: 1802421 markings, 3839797 edges, 14228 markings/sec, 85 secs
lola: 1867187 markings, 3974547 edges, 12953 markings/sec, 90 secs
lola: 1930995 markings, 4111239 edges, 12762 markings/sec, 95 secs
lola: 1995450 markings, 4249759 edges, 12891 markings/sec, 100 secs
lola: 2059957 markings, 4388824 edges, 12901 markings/sec, 105 secs
lola: 2122267 markings, 4523523 edges, 12462 markings/sec, 110 secs
lola: 2190537 markings, 4669483 edges, 13654 markings/sec, 115 secs
lola: 2255587 markings, 4810749 edges, 13010 markings/sec, 120 secs
lola: 2318061 markings, 4942965 edges, 12495 markings/sec, 125 secs
lola: 2372940 markings, 5060848 edges, 10976 markings/sec, 130 secs
lola: 2424080 markings, 5167268 edges, 10228 markings/sec, 135 secs
lola: 2478361 markings, 5283216 edges, 10856 markings/sec, 140 secs
lola: 2533392 markings, 5399919 edges, 11006 markings/sec, 145 secs
lola: 2588595 markings, 5516481 edges, 11041 markings/sec, 150 secs
lola: 2641171 markings, 5628918 edges, 10515 markings/sec, 155 secs
lola: 2693862 markings, 5740683 edges, 10538 markings/sec, 160 secs
lola: 2744153 markings, 5848274 edges, 10058 markings/sec, 165 secs
lola: 2797545 markings, 5960971 edges, 10678 markings/sec, 170 secs
lola: 2847114 markings, 6065309 edges, 9914 markings/sec, 175 secs
lola: 2893484 markings, 6165596 edges, 9274 markings/sec, 180 secs
lola: 2941866 markings, 6269609 edges, 9676 markings/sec, 185 secs
lola: 2996251 markings, 6382793 edges, 10877 markings/sec, 190 secs
lola: 3046832 markings, 6491502 edges, 10116 markings/sec, 195 secs
lola: 3096000 markings, 6597155 edges, 9834 markings/sec, 200 secs
lola: 3144916 markings, 6703632 edges, 9783 markings/sec, 205 secs
lola: 3193077 markings, 6804827 edges, 9632 markings/sec, 210 secs
lola: 3239017 markings, 6901516 edges, 9188 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(p109)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 11 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: 93973 markings, 114356 edges, 18795 markings/sec, 0 secs
lola: 184018 markings, 223946 edges, 18009 markings/sec, 5 secs
lola: 290664 markings, 356768 edges, 21329 markings/sec, 10 secs
lola: 386401 markings, 474319 edges, 19147 markings/sec, 15 secs
lola: 484768 markings, 597038 edges, 19673 markings/sec, 20 secs
lola: 577746 markings, 711509 edges, 18596 markings/sec, 25 secs
lola: 657859 markings, 809040 edges, 16023 markings/sec, 30 secs
lola: 748513 markings, 922509 edges, 18131 markings/sec, 35 secs
lola: 839827 markings, 1036813 edges, 18263 markings/sec, 40 secs
lola: 932231 markings, 1152339 edges, 18481 markings/sec, 45 secs
lola: 1013676 markings, 1251450 edges, 16289 markings/sec, 50 secs
lola: 1096113 markings, 1351889 edges, 16487 markings/sec, 55 secs
lola: 1186400 markings, 1461414 edges, 18057 markings/sec, 60 secs
lola: 1286128 markings, 1587089 edges, 19946 markings/sec, 65 secs
lola: 1391007 markings, 1720650 edges, 20976 markings/sec, 70 secs
lola: 1496852 markings, 1853234 edges, 21169 markings/sec, 75 secs
lola: 1598894 markings, 1984405 edges, 20408 markings/sec, 80 secs
lola: 1691088 markings, 2098113 edges, 18439 markings/sec, 85 secs
lola: 1783711 markings, 2214005 edges, 18525 markings/sec, 90 secs
lola: 1883438 markings, 2343868 edges, 19945 markings/sec, 95 secs
lola: 1983140 markings, 2469987 edges, 19940 markings/sec, 100 secs
lola: 2076887 markings, 2588544 edges, 18749 markings/sec, 105 secs
lola: 2172725 markings, 2711319 edges, 19168 markings/sec, 110 secs
lola: 2257834 markings, 2814679 edges, 17022 markings/sec, 115 secs
lola: 2351651 markings, 2929724 edges, 18763 markings/sec, 120 secs
lola: 2471499 markings, 3082510 edges, 23970 markings/sec, 125 secs
lola: 2583283 markings, 3224388 edges, 22357 markings/sec, 130 secs
lola: 2694121 markings, 3363150 edges, 22168 markings/sec, 135 secs
lola: 2791944 markings, 3484911 edges, 19565 markings/sec, 140 secs
lola: 2881577 markings, 3595138 edges, 17927 markings/sec, 145 secs
lola: 2971052 markings, 3704168 edges, 17895 markings/sec, 150 secs
lola: 3066183 markings, 3825747 edges, 19026 markings/sec, 155 secs
lola: 3164428 markings, 3953115 edges, 19649 markings/sec, 160 secs
lola: 3264927 markings, 4078375 edges, 20100 markings/sec, 165 secs
lola: 3359748 markings, 4197433 edges, 18964 markings/sec, 170 secs
lola: 3447968 markings, 4307143 edges, 17644 markings/sec, 175 secs
lola: 3552274 markings, 4441528 edges, 20861 markings/sec, 180 secs
lola: 3639112 markings, 4549017 edges, 17368 markings/sec, 185 secs
lola: 3733694 markings, 4664807 edges, 18916 markings/sec, 190 secs
lola: 3797591 markings, 4745453 edges, 12779 markings/sec, 195 secs
lola: 3891716 markings, 4863971 edges, 18825 markings/sec, 200 secs
lola: 3970291 markings, 4959931 edges, 15715 markings/sec, 205 secs
lola: 4039783 markings, 5045802 edges, 13898 markings/sec, 210 secs
lola: 4148955 markings, 5185962 edges, 21834 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(p1959)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 11 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: 117862 markings, 232150 edges, 23572 markings/sec, 0 secs
lola: 235537 markings, 464755 edges, 23535 markings/sec, 5 secs
lola: 334359 markings, 669924 edges, 19764 markings/sec, 10 secs
lola: 426512 markings, 867972 edges, 18431 markings/sec, 15 secs
lola: 526994 markings, 1079298 edges, 20096 markings/sec, 20 secs
lola: 629947 markings, 1285074 edges, 20591 markings/sec, 25 secs
lola: 723780 markings, 1478446 edges, 18767 markings/sec, 30 secs
lola: 814312 markings, 1671432 edges, 18106 markings/sec, 35 secs
lola: 905681 markings, 1873206 edges, 18274 markings/sec, 40 secs
lola: 992857 markings, 2072121 edges, 17435 markings/sec, 45 secs
lola: 1079984 markings, 2273709 edges, 17425 markings/sec, 50 secs
lola: 1161950 markings, 2459593 edges, 16393 markings/sec, 55 secs
lola: 1249520 markings, 2648147 edges, 17514 markings/sec, 60 secs
lola: 1339571 markings, 2846003 edges, 18010 markings/sec, 65 secs
lola: 1426262 markings, 3035775 edges, 17338 markings/sec, 70 secs
lola: 1513894 markings, 3225208 edges, 17526 markings/sec, 75 secs
lola: 1606764 markings, 3427958 edges, 18574 markings/sec, 80 secs
lola: 1684082 markings, 3579727 edges, 15464 markings/sec, 85 secs
lola: 1760260 markings, 3731712 edges, 15236 markings/sec, 90 secs
lola: 1828408 markings, 3878358 edges, 13630 markings/sec, 95 secs
lola: 1900394 markings, 4031260 edges, 14397 markings/sec, 100 secs
lola: 1973747 markings, 4191696 edges, 14671 markings/sec, 105 secs
lola: 2050680 markings, 4368625 edges, 15387 markings/sec, 110 secs
lola: 2134398 markings, 4568261 edges, 16744 markings/sec, 115 secs
lola: 2218573 markings, 4769313 edges, 16835 markings/sec, 120 secs
lola: 2302228 markings, 4968137 edges, 16731 markings/sec, 125 secs
lola: 2380326 markings, 5154652 edges, 15620 markings/sec, 130 secs
lola: 2452010 markings, 5325600 edges, 14337 markings/sec, 135 secs
lola: 2522609 markings, 5494107 edges, 14120 markings/sec, 140 secs
lola: 2590199 markings, 5655293 edges, 13518 markings/sec, 145 secs
lola: 2653912 markings, 5807280 edges, 12743 markings/sec, 150 secs
lola: 2711591 markings, 5944682 edges, 11536 markings/sec, 155 secs
lola: 2769151 markings, 6082424 edges, 11512 markings/sec, 160 secs
lola: 2826926 markings, 6219841 edges, 11555 markings/sec, 165 secs
lola: 2891393 markings, 6360956 edges, 12893 markings/sec, 170 secs
lola: 2955999 markings, 6500845 edges, 12921 markings/sec, 175 secs
lola: 3020589 markings, 6640906 edges, 12918 markings/sec, 180 secs
lola: 3080385 markings, 6775553 edges, 11959 markings/sec, 185 secs
lola: 3140682 markings, 6914135 edges, 12059 markings/sec, 190 secs
lola: 3208531 markings, 7063266 edges, 13570 markings/sec, 195 secs
lola: 3290679 markings, 7258939 edges, 16430 markings/sec, 200 secs
lola: 3375581 markings, 7462406 edges, 16980 markings/sec, 205 secs
lola: 3463637 markings, 7672702 edges, 17611 markings/sec, 210 secs
lola: 3547815 markings, 7873994 edges, 16836 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(p2115)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 11 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: 162419 markings, 214389 edges, 32484 markings/sec, 0 secs
lola: 319424 markings, 420052 edges, 31401 markings/sec, 5 secs
lola: 461863 markings, 610865 edges, 28488 markings/sec, 10 secs
lola: 592105 markings, 781620 edges, 26048 markings/sec, 15 secs
lola: 723244 markings, 947440 edges, 26228 markings/sec, 20 secs
lola: 839922 markings, 1091722 edges, 23336 markings/sec, 25 secs
lola: 952867 markings, 1231096 edges, 22589 markings/sec, 30 secs
lola: 1069799 markings, 1375020 edges, 23386 markings/sec, 35 secs
lola: 1185114 markings, 1516668 edges, 23063 markings/sec, 40 secs
lola: 1310467 markings, 1669941 edges, 25071 markings/sec, 45 secs
lola: 1437206 markings, 1828647 edges, 25348 markings/sec, 50 secs
lola: 1565613 markings, 1993294 edges, 25681 markings/sec, 55 secs
lola: 1693541 markings, 2152656 edges, 25586 markings/sec, 60 secs
lola: 1809603 markings, 2297645 edges, 23212 markings/sec, 65 secs
lola: 1927916 markings, 2448961 edges, 23663 markings/sec, 70 secs
lola: 2042111 markings, 2588722 edges, 22839 markings/sec, 75 secs
lola: 2167648 markings, 2749636 edges, 25107 markings/sec, 80 secs
lola: 2295966 markings, 2911510 edges, 25664 markings/sec, 85 secs
lola: 2422192 markings, 3069461 edges, 25245 markings/sec, 90 secs
lola: 2554133 markings, 3236255 edges, 26388 markings/sec, 95 secs
lola: 2694023 markings, 3415209 edges, 27978 markings/sec, 100 secs
lola: 2832480 markings, 3587878 edges, 27691 markings/sec, 105 secs
lola: 2968687 markings, 3761437 edges, 27241 markings/sec, 110 secs
lola: 3076897 markings, 3899583 edges, 21642 markings/sec, 115 secs
lola: 3216470 markings, 4080072 edges, 27915 markings/sec, 120 secs
lola: 3318171 markings, 4206085 edges, 20340 markings/sec, 125 secs
lola: 3436379 markings, 4354948 edges, 23642 markings/sec, 130 secs
lola: 3560661 markings, 4512056 edges, 24856 markings/sec, 135 secs
lola: 3690441 markings, 4678124 edges, 25956 markings/sec, 140 secs
lola: 3808341 markings, 4826436 edges, 23580 markings/sec, 145 secs
lola: 3924972 markings, 4975395 edges, 23326 markings/sec, 150 secs
lola: 4040304 markings, 5120829 edges, 23066 markings/sec, 155 secs
lola: 4153051 markings, 5266838 edges, 22549 markings/sec, 160 secs
lola: 4261715 markings, 5401642 edges, 21733 markings/sec, 165 secs
lola: 4388776 markings, 5561620 edges, 25412 markings/sec, 170 secs
lola: 4522101 markings, 5729642 edges, 26665 markings/sec, 175 secs
lola: 4645028 markings, 5886977 edges, 24585 markings/sec, 180 secs
lola: 4766194 markings, 6039811 edges, 24233 markings/sec, 185 secs
lola: 4888003 markings, 6195020 edges, 24362 markings/sec, 190 secs
lola: 5009617 markings, 6350559 edges, 24323 markings/sec, 195 secs
lola: 5121256 markings, 6492716 edges, 22328 markings/sec, 200 secs
lola: 5241263 markings, 6643443 edges, 24001 markings/sec, 205 secs
lola: 5362192 markings, 6791659 edges, 24186 markings/sec, 210 secs
lola: 5481038 markings, 6939021 edges, 23769 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 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1352)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 11 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: 163853 markings, 199099 edges, 32771 markings/sec, 0 secs
lola: 324320 markings, 395519 edges, 32093 markings/sec, 5 secs
lola: 497375 markings, 607714 edges, 34611 markings/sec, 10 secs
lola: 687721 markings, 841310 edges, 38069 markings/sec, 15 secs
lola: 841568 markings, 1031088 edges, 30769 markings/sec, 20 secs
lola: 975869 markings, 1196587 edges, 26860 markings/sec, 25 secs
lola: 1140712 markings, 1399996 edges, 32969 markings/sec, 30 secs
lola: 1330279 markings, 1634580 edges, 37913 markings/sec, 35 secs
lola: 1462455 markings, 1795667 edges, 26435 markings/sec, 40 secs
lola: 1593221 markings, 1954849 edges, 26153 markings/sec, 45 secs
lola: 1731190 markings, 2123085 edges, 27594 markings/sec, 50 secs
lola: 1870423 markings, 2293062 edges, 27847 markings/sec, 55 secs
lola: 2006752 markings, 2459766 edges, 27266 markings/sec, 60 secs
lola: 2145707 markings, 2630160 edges, 27791 markings/sec, 65 secs
lola: 2286910 markings, 2803479 edges, 28241 markings/sec, 70 secs
lola: 2424563 markings, 2972119 edges, 27531 markings/sec, 75 secs
lola: 2565502 markings, 3145143 edges, 28188 markings/sec, 80 secs
lola: 2711630 markings, 3324387 edges, 29226 markings/sec, 85 secs
lola: 2855315 markings, 3500097 edges, 28737 markings/sec, 90 secs
lola: 3005548 markings, 3684472 edges, 30047 markings/sec, 95 secs
lola: 3150611 markings, 3862114 edges, 29013 markings/sec, 100 secs
lola: 3293552 markings, 4037412 edges, 28588 markings/sec, 105 secs
lola: 3429842 markings, 4204306 edges, 27258 markings/sec, 110 secs
lola: 3560304 markings, 4364641 edges, 26092 markings/sec, 115 secs
lola: 3699013 markings, 4534608 edges, 27742 markings/sec, 120 secs
lola: 3841981 markings, 4710071 edges, 28594 markings/sec, 125 secs
lola: 3974287 markings, 4872186 edges, 26461 markings/sec, 130 secs
lola: 4110243 markings, 5039026 edges, 27191 markings/sec, 135 secs
lola: 4246111 markings, 5205682 edges, 27174 markings/sec, 140 secs
lola: 4386966 markings, 5379069 edges, 28171 markings/sec, 145 secs
lola: 4523593 markings, 5547061 edges, 27325 markings/sec, 150 secs
lola: 4655870 markings, 5709412 edges, 26455 markings/sec, 155 secs
lola: 4791218 markings, 5875668 edges, 27070 markings/sec, 160 secs
lola: 4925661 markings, 6041318 edges, 26889 markings/sec, 165 secs
lola: 5061078 markings, 6207466 edges, 27083 markings/sec, 170 secs
lola: 5195669 markings, 6371353 edges, 26918 markings/sec, 175 secs
lola: 5326162 markings, 6531524 edges, 26099 markings/sec, 180 secs
lola: 5455917 markings, 6691861 edges, 25951 markings/sec, 185 secs
lola: 5593462 markings, 6861762 edges, 27509 markings/sec, 190 secs
lola: 5731601 markings, 7031908 edges, 27628 markings/sec, 195 secs
lola: 5866066 markings, 7196876 edges, 26893 markings/sec, 200 secs
lola: 6002902 markings, 7364438 edges, 27367 markings/sec, 205 secs
lola: 6138255 markings, 7531199 edges, 27071 markings/sec, 210 secs
lola: 6282145 markings, 7708135 edges, 28778 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(p243)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 11 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: 88896 markings, 175614 edges, 17779 markings/sec, 0 secs
lola: 183128 markings, 390533 edges, 18846 markings/sec, 5 secs
lola: 278641 markings, 596260 edges, 19103 markings/sec, 10 secs
lola: 364437 markings, 784938 edges, 17159 markings/sec, 15 secs
lola: 445914 markings, 967934 edges, 16295 markings/sec, 20 secs
lola: 530751 markings, 1153508 edges, 16967 markings/sec, 25 secs
lola: 616616 markings, 1342965 edges, 17173 markings/sec, 30 secs
lola: 698260 markings, 1527561 edges, 16329 markings/sec, 35 secs
lola: 778823 markings, 1709408 edges, 16113 markings/sec, 40 secs
lola: 867070 markings, 1908209 edges, 17649 markings/sec, 45 secs
lola: 949444 markings, 2100697 edges, 16475 markings/sec, 50 secs
lola: 1025803 markings, 2268007 edges, 15272 markings/sec, 55 secs
lola: 1102161 markings, 2427095 edges, 15272 markings/sec, 60 secs
lola: 1180966 markings, 2605995 edges, 15761 markings/sec, 65 secs
lola: 1260781 markings, 2787446 edges, 15963 markings/sec, 70 secs
lola: 1338392 markings, 2963251 edges, 15522 markings/sec, 75 secs
lola: 1419752 markings, 3146517 edges, 16272 markings/sec, 80 secs
lola: 1503550 markings, 3335741 edges, 16760 markings/sec, 85 secs
lola: 1588018 markings, 3529803 edges, 16894 markings/sec, 90 secs
lola: 1672507 markings, 3721409 edges, 16898 markings/sec, 95 secs
lola: 1751357 markings, 3899706 edges, 15770 markings/sec, 100 secs
lola: 1832679 markings, 4084022 edges, 16264 markings/sec, 105 secs
lola: 1912556 markings, 4261307 edges, 15975 markings/sec, 110 secs
lola: 1988503 markings, 4422332 edges, 15189 markings/sec, 115 secs
lola: 2058475 markings, 4582839 edges, 13994 markings/sec, 120 secs
lola: 2133451 markings, 4748600 edges, 14995 markings/sec, 125 secs
lola: 2209129 markings, 4920507 edges, 15136 markings/sec, 130 secs
lola: 2288602 markings, 5096081 edges, 15895 markings/sec, 135 secs
lola: 2366633 markings, 5273730 edges, 15606 markings/sec, 140 secs
lola: 2444224 markings, 5453158 edges, 15518 markings/sec, 145 secs
lola: 2513549 markings, 5610986 edges, 13865 markings/sec, 150 secs
lola: 2585640 markings, 5769737 edges, 14418 markings/sec, 155 secs
lola: 2659320 markings, 5932199 edges, 14736 markings/sec, 160 secs
lola: 2730076 markings, 6093232 edges, 14151 markings/sec, 165 secs
lola: 2803278 markings, 6257936 edges, 14640 markings/sec, 170 secs
lola: 2877503 markings, 6428311 edges, 14845 markings/sec, 175 secs
lola: 2952804 markings, 6597195 edges, 15060 markings/sec, 180 secs
lola: 3026017 markings, 6762714 edges, 14643 markings/sec, 185 secs
lola: 3106145 markings, 6943971 edges, 16026 markings/sec, 190 secs
lola: 3188444 markings, 7127192 edges, 16460 markings/sec, 195 secs
lola: 3270750 markings, 7317672 edges, 16461 markings/sec, 200 secs
lola: 3351238 markings, 7499277 edges, 16098 markings/sec, 205 secs
lola: 3428778 markings, 7676583 edges, 15508 markings/sec, 210 secs
lola: 3511403 markings, 7863069 edges, 16525 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(p420)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 11 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: 164130 markings, 201124 edges, 32826 markings/sec, 0 secs
lola: 295650 markings, 362572 edges, 26304 markings/sec, 5 secs
lola: 423595 markings, 520160 edges, 25589 markings/sec, 10 secs
lola: 543382 markings, 668676 edges, 23957 markings/sec, 15 secs
lola: 662683 markings, 817229 edges, 23860 markings/sec, 20 secs
lola: 786394 markings, 970114 edges, 24742 markings/sec, 25 secs
lola: 901316 markings, 1109944 edges, 22984 markings/sec, 30 secs
lola: 1027435 markings, 1266073 edges, 25224 markings/sec, 35 secs
lola: 1141160 markings, 1407223 edges, 22745 markings/sec, 40 secs
lola: 1267175 markings, 1567871 edges, 25203 markings/sec, 45 secs
lola: 1386376 markings, 1716835 edges, 23840 markings/sec, 50 secs
lola: 1505507 markings, 1863586 edges, 23826 markings/sec, 55 secs
lola: 1623486 markings, 2009252 edges, 23596 markings/sec, 60 secs
lola: 1715223 markings, 2200220 edges, 18347 markings/sec, 65 secs
lola: 1823669 markings, 2345548 edges, 21689 markings/sec, 70 secs
lola: 1905308 markings, 2522593 edges, 16328 markings/sec, 75 secs
lola: 2012462 markings, 2674055 edges, 21431 markings/sec, 80 secs
lola: 2128212 markings, 2816014 edges, 23150 markings/sec, 85 secs
lola: 2212648 markings, 2987508 edges, 16887 markings/sec, 90 secs
lola: 2313430 markings, 3190530 edges, 20156 markings/sec, 95 secs
lola: 2406775 markings, 3378934 edges, 18669 markings/sec, 100 secs
lola: 2490385 markings, 3549075 edges, 16722 markings/sec, 105 secs
lola: 2560354 markings, 3692095 edges, 13994 markings/sec, 110 secs
lola: 2627625 markings, 3829412 edges, 13454 markings/sec, 115 secs
lola: 2693500 markings, 3963733 edges, 13175 markings/sec, 120 secs
lola: 2749632 markings, 4078144 edges, 11226 markings/sec, 125 secs
lola: 2803961 markings, 4189022 edges, 10866 markings/sec, 130 secs
lola: 2878444 markings, 4347980 edges, 14897 markings/sec, 135 secs
lola: 2960037 markings, 4541110 edges, 16319 markings/sec, 140 secs
lola: 3065569 markings, 4700637 edges, 21106 markings/sec, 145 secs
lola: 3179829 markings, 4840781 edges, 22852 markings/sec, 150 secs
lola: 3299143 markings, 4986598 edges, 23863 markings/sec, 155 secs
lola: 3423994 markings, 5139600 edges, 24970 markings/sec, 160 secs
lola: 3551788 markings, 5295521 edges, 25559 markings/sec, 165 secs
lola: 3677858 markings, 5450165 edges, 25214 markings/sec, 170 secs
lola: 3800506 markings, 5600035 edges, 24530 markings/sec, 175 secs
lola: 3924778 markings, 5753900 edges, 24854 markings/sec, 180 secs
lola: 4028491 markings, 5883621 edges, 20743 markings/sec, 185 secs
lola: 4133386 markings, 6018706 edges, 20979 markings/sec, 190 secs
lola: 4246044 markings, 6157530 edges, 22532 markings/sec, 195 secs
lola: 4368299 markings, 6308635 edges, 24451 markings/sec, 200 secs
lola: 4463322 markings, 6493014 edges, 19005 markings/sec, 205 secs
lola: 4582134 markings, 6638314 edges, 23762 markings/sec, 210 secs
lola: 4699239 markings, 6782432 edges, 23421 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA CloudReconfiguration-PT-305-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-305-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-305-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-305-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-305-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-305-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-305-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-305-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-305-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-305-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-305-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-305-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-305-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-305-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-305-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-305-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496533081311

--------------------
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="CloudReconfiguration-PT-305"
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/CloudReconfiguration-PT-305.tgz
mv CloudReconfiguration-PT-305 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 CloudReconfiguration-PT-305, 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 r178-csrt-149580961200038"
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 ;