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

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

=== Now, execution of the tool begins

BK_START 1496533580685


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


checking for too many tokens
===========================================================================================
CloudReconfiguration-PT-316: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ CloudReconfiguration-PT-316 @ 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-316-UpperBounds.task
lola: MAX(p1092) : MAX(p1091) : MAX(p2422) : MAX(p397) : MAX(p1163) : MAX(p164) : MAX(p1573) : MAX(p1773) : MAX(p2405) : MAX(p1386) : MAX(p610) : MAX(p1156) : MAX(p1214) : MAX(p2396) : MAX(p1715) : MAX(p2019)
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(p1092)
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: 100829 markings, 121366 edges, 20166 markings/sec, 0 secs
lola: 202575 markings, 244410 edges, 20349 markings/sec, 5 secs
lola: 303029 markings, 365507 edges, 20091 markings/sec, 10 secs
lola: 405333 markings, 489395 edges, 20461 markings/sec, 15 secs
lola: 503407 markings, 607989 edges, 19615 markings/sec, 20 secs
lola: 626568 markings, 757485 edges, 24632 markings/sec, 25 secs
lola: 761554 markings, 921806 edges, 26997 markings/sec, 30 secs
lola: 882494 markings, 1068936 edges, 24188 markings/sec, 35 secs
lola: 1002560 markings, 1215392 edges, 24013 markings/sec, 40 secs
lola: 1124092 markings, 1363546 edges, 24306 markings/sec, 45 secs
lola: 1249904 markings, 1517299 edges, 25162 markings/sec, 50 secs
lola: 1366999 markings, 1660395 edges, 23419 markings/sec, 55 secs
lola: 1490234 markings, 1810764 edges, 24647 markings/sec, 60 secs
lola: 1612777 markings, 1963977 edges, 24509 markings/sec, 65 secs
lola: 1730626 markings, 2109710 edges, 23570 markings/sec, 70 secs
lola: 1847784 markings, 2253156 edges, 23432 markings/sec, 75 secs
lola: 1951231 markings, 2379223 edges, 20689 markings/sec, 80 secs
lola: 2061452 markings, 2514467 edges, 22044 markings/sec, 85 secs
lola: 2174003 markings, 2654289 edges, 22510 markings/sec, 90 secs
lola: 2280863 markings, 2788185 edges, 21372 markings/sec, 95 secs
lola: 2384912 markings, 2917841 edges, 20810 markings/sec, 100 secs
lola: 2489814 markings, 3048359 edges, 20980 markings/sec, 105 secs
lola: 2599756 markings, 3182441 edges, 21988 markings/sec, 110 secs
lola: 2713911 markings, 3322151 edges, 22831 markings/sec, 115 secs
lola: 2824375 markings, 3460355 edges, 22093 markings/sec, 120 secs
lola: 2930754 markings, 3593174 edges, 21276 markings/sec, 125 secs
lola: 3047633 markings, 3736185 edges, 23376 markings/sec, 130 secs
lola: 3170991 markings, 3887074 edges, 24672 markings/sec, 135 secs
lola: 3325154 markings, 4078339 edges, 30833 markings/sec, 140 secs
lola: 3469206 markings, 4257915 edges, 28810 markings/sec, 145 secs
lola: 3582405 markings, 4402623 edges, 22640 markings/sec, 150 secs
lola: 3695702 markings, 4545712 edges, 22659 markings/sec, 155 secs
lola: 3796812 markings, 4672559 edges, 20222 markings/sec, 160 secs
lola: 3897901 markings, 4798037 edges, 20218 markings/sec, 165 secs
lola: 4021033 markings, 4953961 edges, 24626 markings/sec, 170 secs
lola: 4126739 markings, 5088572 edges, 21141 markings/sec, 175 secs
lola: 4241053 markings, 5229641 edges, 22863 markings/sec, 180 secs
lola: 4375961 markings, 5397609 edges, 26982 markings/sec, 185 secs
lola: 4494155 markings, 5547151 edges, 23639 markings/sec, 190 secs
lola: 4598205 markings, 5681001 edges, 20810 markings/sec, 195 secs
lola: 4712621 markings, 5827716 edges, 22883 markings/sec, 200 secs
lola: 4832550 markings, 5981606 edges, 23986 markings/sec, 205 secs
lola: 4986896 markings, 6171308 edges, 30869 markings/sec, 210 secs
lola: 5125280 markings, 6344804 edges, 27677 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(p1091)
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: 105023 markings, 126396 edges, 21005 markings/sec, 0 secs
lola: 213211 markings, 257413 edges, 21638 markings/sec, 5 secs
lola: 321186 markings, 388178 edges, 21595 markings/sec, 10 secs
lola: 433360 markings, 523781 edges, 22435 markings/sec, 15 secs
lola: 548069 markings, 661275 edges, 22942 markings/sec, 20 secs
lola: 675301 markings, 814734 edges, 25446 markings/sec, 25 secs
lola: 795667 markings, 960730 edges, 24073 markings/sec, 30 secs
lola: 913251 markings, 1103074 edges, 23517 markings/sec, 35 secs
lola: 1024569 markings, 1238104 edges, 22264 markings/sec, 40 secs
lola: 1149401 markings, 1389586 edges, 24966 markings/sec, 45 secs
lola: 1266288 markings, 1531738 edges, 23377 markings/sec, 50 secs
lola: 1399998 markings, 1694981 edges, 26742 markings/sec, 55 secs
lola: 1519504 markings, 1840555 edges, 23901 markings/sec, 60 secs
lola: 1644636 markings, 1994085 edges, 25026 markings/sec, 65 secs
lola: 1755512 markings, 2127556 edges, 22175 markings/sec, 70 secs
lola: 1868939 markings, 2264151 edges, 22685 markings/sec, 75 secs
lola: 2007742 markings, 2432694 edges, 27761 markings/sec, 80 secs
lola: 2142227 markings, 2596487 edges, 26897 markings/sec, 85 secs
lola: 2276420 markings, 2760148 edges, 26839 markings/sec, 90 secs
lola: 2402434 markings, 2913893 edges, 25203 markings/sec, 95 secs
lola: 2524865 markings, 3063244 edges, 24486 markings/sec, 100 secs
lola: 2643852 markings, 3209089 edges, 23797 markings/sec, 105 secs
lola: 2757737 markings, 3347762 edges, 22777 markings/sec, 110 secs
lola: 2881647 markings, 3499242 edges, 24782 markings/sec, 115 secs
lola: 3008996 markings, 3658372 edges, 25470 markings/sec, 120 secs
lola: 3132468 markings, 3810852 edges, 24694 markings/sec, 125 secs
lola: 3253847 markings, 3958963 edges, 24276 markings/sec, 130 secs
lola: 3379843 markings, 4113549 edges, 25199 markings/sec, 135 secs
lola: 3499652 markings, 4261756 edges, 23962 markings/sec, 140 secs
lola: 3613471 markings, 4404493 edges, 22764 markings/sec, 145 secs
lola: 3723208 markings, 4541317 edges, 21947 markings/sec, 150 secs
lola: 3838892 markings, 4685275 edges, 23137 markings/sec, 155 secs
lola: 3949606 markings, 4819991 edges, 22143 markings/sec, 160 secs
lola: 4064620 markings, 4961097 edges, 23003 markings/sec, 165 secs
lola: 4174379 markings, 5098242 edges, 21952 markings/sec, 170 secs
lola: 4280451 markings, 5231268 edges, 21214 markings/sec, 175 secs
lola: 4397298 markings, 5373692 edges, 23369 markings/sec, 180 secs
lola: 4533613 markings, 5541646 edges, 27263 markings/sec, 185 secs
lola: 4685684 markings, 5730490 edges, 30414 markings/sec, 190 secs
lola: 4822700 markings, 5902499 edges, 27403 markings/sec, 195 secs
lola: 4948784 markings, 6063301 edges, 25217 markings/sec, 200 secs
lola: 5089783 markings, 6242175 edges, 28200 markings/sec, 205 secs
lola: 5209937 markings, 6392613 edges, 24031 markings/sec, 210 secs
lola: 5315113 markings, 6523982 edges, 21035 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(p2422)
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: 104132 markings, 125194 edges, 20826 markings/sec, 0 secs
lola: 205501 markings, 247395 edges, 20274 markings/sec, 5 secs
lola: 305931 markings, 368331 edges, 20086 markings/sec, 10 secs
lola: 415951 markings, 501605 edges, 22004 markings/sec, 15 secs
lola: 518662 markings, 625681 edges, 20542 markings/sec, 20 secs
lola: 617347 markings, 744523 edges, 19737 markings/sec, 25 secs
lola: 723087 markings, 872827 edges, 21148 markings/sec, 30 secs
lola: 832038 markings, 1005313 edges, 21790 markings/sec, 35 secs
lola: 930867 markings, 1124085 edges, 19766 markings/sec, 40 secs
lola: 1029947 markings, 1243110 edges, 19816 markings/sec, 45 secs
lola: 1134598 markings, 1369886 edges, 20930 markings/sec, 50 secs
lola: 1253804 markings, 1515427 edges, 23841 markings/sec, 55 secs
lola: 1363891 markings, 1649424 edges, 22017 markings/sec, 60 secs
lola: 1493338 markings, 1805232 edges, 25889 markings/sec, 65 secs
lola: 1619428 markings, 1957133 edges, 25218 markings/sec, 70 secs
lola: 1756870 markings, 2123021 edges, 27488 markings/sec, 75 secs
lola: 1888805 markings, 2282206 edges, 26387 markings/sec, 80 secs
lola: 2009657 markings, 2432469 edges, 24170 markings/sec, 85 secs
lola: 2120873 markings, 2571289 edges, 22243 markings/sec, 90 secs
lola: 2248675 markings, 2731227 edges, 25560 markings/sec, 95 secs
lola: 2381196 markings, 2896998 edges, 26504 markings/sec, 100 secs
lola: 2538870 markings, 3094150 edges, 31535 markings/sec, 105 secs
lola: 2680453 markings, 3269907 edges, 28317 markings/sec, 110 secs
lola: 2827028 markings, 3452539 edges, 29315 markings/sec, 115 secs
lola: 2947766 markings, 3601621 edges, 24148 markings/sec, 120 secs
lola: 3057418 markings, 3738601 edges, 21930 markings/sec, 125 secs
lola: 3165167 markings, 3873478 edges, 21550 markings/sec, 130 secs
lola: 3283965 markings, 4024489 edges, 23760 markings/sec, 135 secs
lola: 3413508 markings, 4187118 edges, 25909 markings/sec, 140 secs
lola: 3561803 markings, 4372765 edges, 29659 markings/sec, 145 secs
lola: 3690622 markings, 4536041 edges, 25764 markings/sec, 150 secs
lola: 3824604 markings, 4707454 edges, 26796 markings/sec, 155 secs
lola: 3950120 markings, 4859279 edges, 25103 markings/sec, 160 secs
lola: 4069071 markings, 5006155 edges, 23790 markings/sec, 165 secs
lola: 4175769 markings, 5139458 edges, 21340 markings/sec, 170 secs
lola: 4289819 markings, 5282755 edges, 22810 markings/sec, 175 secs
lola: 4418168 markings, 5446490 edges, 25670 markings/sec, 180 secs
lola: 4529450 markings, 5586444 edges, 22256 markings/sec, 185 secs
lola: 4685266 markings, 5782481 edges, 31163 markings/sec, 190 secs
lola: 4840999 markings, 5976830 edges, 31147 markings/sec, 195 secs
lola: 4972413 markings, 6143774 edges, 26283 markings/sec, 200 secs
lola: 5090741 markings, 6290515 edges, 23666 markings/sec, 205 secs
lola: 5210512 markings, 6438672 edges, 23954 markings/sec, 210 secs
lola: 5313451 markings, 6567456 edges, 20588 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(p397)
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: 110684 markings, 132952 edges, 22137 markings/sec, 0 secs
lola: 239370 markings, 287301 edges, 25737 markings/sec, 5 secs
lola: 370503 markings, 446667 edges, 26227 markings/sec, 10 secs
lola: 502917 markings, 608159 edges, 26483 markings/sec, 15 secs
lola: 649007 markings, 788406 edges, 29218 markings/sec, 20 secs
lola: 790162 markings, 961529 edges, 28231 markings/sec, 25 secs
lola: 941869 markings, 1146614 edges, 30341 markings/sec, 30 secs
lola: 1081840 markings, 1317109 edges, 27994 markings/sec, 35 secs
lola: 1213224 markings, 1477712 edges, 26277 markings/sec, 40 secs
lola: 1347912 markings, 1643754 edges, 26938 markings/sec, 45 secs
lola: 1474473 markings, 1800628 edges, 25312 markings/sec, 50 secs
lola: 1607756 markings, 1964576 edges, 26657 markings/sec, 55 secs
lola: 1728471 markings, 2112744 edges, 24143 markings/sec, 60 secs
lola: 1866040 markings, 2281940 edges, 27514 markings/sec, 65 secs
lola: 1990647 markings, 2436990 edges, 24921 markings/sec, 70 secs
lola: 2115490 markings, 2592522 edges, 24969 markings/sec, 75 secs
lola: 2254452 markings, 2766404 edges, 27792 markings/sec, 80 secs
lola: 2384420 markings, 2928243 edges, 25994 markings/sec, 85 secs
lola: 2498686 markings, 3072000 edges, 22853 markings/sec, 90 secs
lola: 2631095 markings, 3236352 edges, 26482 markings/sec, 95 secs
lola: 2748733 markings, 3385855 edges, 23528 markings/sec, 100 secs
lola: 2857124 markings, 3518778 edges, 21678 markings/sec, 105 secs
lola: 2961364 markings, 3646763 edges, 20848 markings/sec, 110 secs
lola: 3037958 markings, 3820216 edges, 15319 markings/sec, 115 secs
lola: 3146009 markings, 3952764 edges, 21610 markings/sec, 120 secs
lola: 3222748 markings, 4114763 edges, 15348 markings/sec, 125 secs
lola: 3314964 markings, 4269033 edges, 18443 markings/sec, 130 secs
lola: 3423026 markings, 4401571 edges, 21612 markings/sec, 135 secs
lola: 3516679 markings, 4546325 edges, 18731 markings/sec, 140 secs
lola: 3598482 markings, 4720309 edges, 16361 markings/sec, 145 secs
lola: 3696455 markings, 4919952 edges, 19595 markings/sec, 150 secs
lola: 3787123 markings, 5104995 edges, 18134 markings/sec, 155 secs
lola: 3875604 markings, 5285468 edges, 17696 markings/sec, 160 secs
lola: 3955849 markings, 5447907 edges, 16049 markings/sec, 165 secs
lola: 4025247 markings, 5589717 edges, 13880 markings/sec, 170 secs
lola: 4106764 markings, 5754224 edges, 16303 markings/sec, 175 secs
lola: 4179920 markings, 5904985 edges, 14631 markings/sec, 180 secs
lola: 4256244 markings, 6070296 edges, 15265 markings/sec, 185 secs
lola: 4325984 markings, 6242891 edges, 13948 markings/sec, 190 secs
lola: 4430821 markings, 6376542 edges, 20967 markings/sec, 195 secs
lola: 4538397 markings, 6508472 edges, 21515 markings/sec, 200 secs
lola: 4641073 markings, 6633908 edges, 20535 markings/sec, 205 secs
lola: 4747632 markings, 6764716 edges, 21312 markings/sec, 210 secs
lola: 4849058 markings, 6887834 edges, 20285 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(p1163)
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: 106582 markings, 128348 edges, 21316 markings/sec, 0 secs
lola: 220732 markings, 266483 edges, 22830 markings/sec, 5 secs
lola: 335499 markings, 405327 edges, 22953 markings/sec, 10 secs
lola: 468097 markings, 566182 edges, 26520 markings/sec, 15 secs
lola: 602437 markings, 730238 edges, 26868 markings/sec, 20 secs
lola: 733369 markings, 889351 edges, 26186 markings/sec, 25 secs
lola: 856020 markings, 1038854 edges, 24530 markings/sec, 30 secs
lola: 972313 markings, 1180400 edges, 23259 markings/sec, 35 secs
lola: 1085487 markings, 1318339 edges, 22635 markings/sec, 40 secs
lola: 1202954 markings, 1463109 edges, 23493 markings/sec, 45 secs
lola: 1316987 markings, 1605135 edges, 22807 markings/sec, 50 secs
lola: 1434717 markings, 1749828 edges, 23546 markings/sec, 55 secs
lola: 1547865 markings, 1887866 edges, 22630 markings/sec, 60 secs
lola: 1662674 markings, 2028753 edges, 22962 markings/sec, 65 secs
lola: 1769602 markings, 2163145 edges, 21386 markings/sec, 70 secs
lola: 1873297 markings, 2292141 edges, 20739 markings/sec, 75 secs
lola: 1984688 markings, 2429809 edges, 22278 markings/sec, 80 secs
lola: 2098791 markings, 2569012 edges, 22821 markings/sec, 85 secs
lola: 2214051 markings, 2709726 edges, 23052 markings/sec, 90 secs
lola: 2330128 markings, 2852693 edges, 23215 markings/sec, 95 secs
lola: 2437599 markings, 2987387 edges, 21494 markings/sec, 100 secs
lola: 2555285 markings, 3132822 edges, 23537 markings/sec, 105 secs
lola: 2668046 markings, 3272191 edges, 22552 markings/sec, 110 secs
lola: 2778762 markings, 3406999 edges, 22143 markings/sec, 115 secs
lola: 2888537 markings, 3541472 edges, 21955 markings/sec, 120 secs
lola: 2998341 markings, 3679227 edges, 21961 markings/sec, 125 secs
lola: 3101254 markings, 3806937 edges, 20583 markings/sec, 130 secs
lola: 3205210 markings, 3937603 edges, 20791 markings/sec, 135 secs
lola: 3329768 markings, 4088524 edges, 24912 markings/sec, 140 secs
lola: 3484627 markings, 4281703 edges, 30972 markings/sec, 145 secs
lola: 3604886 markings, 4434762 edges, 24052 markings/sec, 150 secs
lola: 3735822 markings, 4600552 edges, 26187 markings/sec, 155 secs
lola: 3866046 markings, 4762505 edges, 26045 markings/sec, 160 secs
lola: 4004084 markings, 4935399 edges, 27608 markings/sec, 165 secs
lola: 4135528 markings, 5102399 edges, 26289 markings/sec, 170 secs
lola: 4278292 markings, 5279614 edges, 28553 markings/sec, 175 secs
lola: 4395335 markings, 5428427 edges, 23409 markings/sec, 180 secs
lola: 4518853 markings, 5584737 edges, 24704 markings/sec, 185 secs
lola: 4643683 markings, 5744515 edges, 24966 markings/sec, 190 secs
lola: 4769973 markings, 5906324 edges, 25258 markings/sec, 195 secs
lola: 4896278 markings, 6066816 edges, 25261 markings/sec, 200 secs
lola: 5065606 markings, 6275489 edges, 33866 markings/sec, 205 secs
lola: 5204049 markings, 6451584 edges, 27689 markings/sec, 210 secs
lola: 5349526 markings, 6635964 edges, 29095 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(p164)
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: 109424 markings, 177556 edges, 21885 markings/sec, 0 secs
lola: 218791 markings, 365181 edges, 21873 markings/sec, 5 secs
lola: 350485 markings, 560746 edges, 26339 markings/sec, 10 secs
lola: 444762 markings, 720138 edges, 18855 markings/sec, 15 secs
lola: 555416 markings, 858257 edges, 22131 markings/sec, 20 secs
lola: 653508 markings, 1009748 edges, 19618 markings/sec, 25 secs
lola: 772532 markings, 1156650 edges, 23805 markings/sec, 30 secs
lola: 890774 markings, 1302245 edges, 23648 markings/sec, 35 secs
lola: 999638 markings, 1435989 edges, 21773 markings/sec, 40 secs
lola: 1113645 markings, 1576960 edges, 22801 markings/sec, 45 secs
lola: 1233486 markings, 1727070 edges, 23968 markings/sec, 50 secs
lola: 1349341 markings, 1874756 edges, 23171 markings/sec, 55 secs
lola: 1467279 markings, 2021623 edges, 23588 markings/sec, 60 secs
lola: 1579071 markings, 2160256 edges, 22358 markings/sec, 65 secs
lola: 1702807 markings, 2318471 edges, 24747 markings/sec, 70 secs
lola: 1818529 markings, 2464048 edges, 23144 markings/sec, 75 secs
lola: 1934148 markings, 2606300 edges, 23124 markings/sec, 80 secs
lola: 2054692 markings, 2757556 edges, 24109 markings/sec, 85 secs
lola: 2160670 markings, 2913054 edges, 21196 markings/sec, 90 secs
lola: 2273092 markings, 3053212 edges, 22484 markings/sec, 95 secs
lola: 2372669 markings, 3179333 edges, 19915 markings/sec, 100 secs
lola: 2473148 markings, 3307908 edges, 20096 markings/sec, 105 secs
lola: 2578484 markings, 3440418 edges, 21067 markings/sec, 110 secs
lola: 2693049 markings, 3580928 edges, 22913 markings/sec, 115 secs
lola: 2807367 markings, 3721155 edges, 22864 markings/sec, 120 secs
lola: 2904272 markings, 3839428 edges, 19381 markings/sec, 125 secs
lola: 3011409 markings, 3972151 edges, 21427 markings/sec, 130 secs
lola: 3111400 markings, 4098211 edges, 19998 markings/sec, 135 secs
lola: 3213439 markings, 4225336 edges, 20408 markings/sec, 140 secs
lola: 3325242 markings, 4362462 edges, 22361 markings/sec, 145 secs
lola: 3430314 markings, 4490641 edges, 21014 markings/sec, 150 secs
lola: 3535021 markings, 4619375 edges, 20941 markings/sec, 155 secs
lola: 3635487 markings, 4741676 edges, 20093 markings/sec, 160 secs
lola: 3726551 markings, 4857151 edges, 18213 markings/sec, 165 secs
lola: 3827536 markings, 4981393 edges, 20197 markings/sec, 170 secs
lola: 3934671 markings, 5112773 edges, 21427 markings/sec, 175 secs
lola: 4032638 markings, 5232258 edges, 19593 markings/sec, 180 secs
lola: 4125664 markings, 5347094 edges, 18605 markings/sec, 185 secs
lola: 4229355 markings, 5476933 edges, 20738 markings/sec, 190 secs
lola: 4316427 markings, 5587156 edges, 17414 markings/sec, 195 secs
lola: 4424115 markings, 5719219 edges, 21538 markings/sec, 200 secs
lola: 4531454 markings, 5851012 edges, 21468 markings/sec, 205 secs
lola: 4616259 markings, 5954460 edges, 16961 markings/sec, 210 secs
lola: 4722047 markings, 6084290 edges, 21158 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(p1573)
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: 106208 markings, 127663 edges, 21242 markings/sec, 0 secs
lola: 205132 markings, 247038 edges, 19785 markings/sec, 5 secs
lola: 314063 markings, 379289 edges, 21786 markings/sec, 10 secs
lola: 423749 markings, 512914 edges, 21937 markings/sec, 15 secs
lola: 520411 markings, 629983 edges, 19332 markings/sec, 20 secs
lola: 613943 markings, 742953 edges, 18706 markings/sec, 25 secs
lola: 711094 markings, 860571 edges, 19430 markings/sec, 30 secs
lola: 832567 markings, 1009236 edges, 24295 markings/sec, 35 secs
lola: 934246 markings, 1133085 edges, 20336 markings/sec, 40 secs
lola: 1043155 markings, 1266245 edges, 21782 markings/sec, 45 secs
lola: 1161125 markings, 1410634 edges, 23594 markings/sec, 50 secs
lola: 1276887 markings, 1550185 edges, 23152 markings/sec, 55 secs
lola: 1392746 markings, 1689593 edges, 23172 markings/sec, 60 secs
lola: 1504864 markings, 1822925 edges, 22424 markings/sec, 65 secs
lola: 1630141 markings, 1976245 edges, 25055 markings/sec, 70 secs
lola: 1742117 markings, 2113464 edges, 22395 markings/sec, 75 secs
lola: 1847301 markings, 2242465 edges, 21037 markings/sec, 80 secs
lola: 1956395 markings, 2376810 edges, 21819 markings/sec, 85 secs
lola: 2067937 markings, 2513282 edges, 22308 markings/sec, 90 secs
lola: 2170827 markings, 2639065 edges, 20578 markings/sec, 95 secs
lola: 2299470 markings, 2797148 edges, 25729 markings/sec, 100 secs
lola: 2447066 markings, 2978688 edges, 29519 markings/sec, 105 secs
lola: 2554649 markings, 3108844 edges, 21517 markings/sec, 110 secs
lola: 2666943 markings, 3243046 edges, 22459 markings/sec, 115 secs
lola: 2783083 markings, 3384867 edges, 23228 markings/sec, 120 secs
lola: 2900475 markings, 3529132 edges, 23478 markings/sec, 125 secs
lola: 3024382 markings, 3680990 edges, 24781 markings/sec, 130 secs
lola: 3143832 markings, 3827928 edges, 23890 markings/sec, 135 secs
lola: 3258364 markings, 3967604 edges, 22906 markings/sec, 140 secs
lola: 3361044 markings, 4090348 edges, 20536 markings/sec, 145 secs
lola: 3465307 markings, 4217895 edges, 20853 markings/sec, 150 secs
lola: 3595555 markings, 4378852 edges, 26050 markings/sec, 155 secs
lola: 3716025 markings, 4526489 edges, 24094 markings/sec, 160 secs
lola: 3837570 markings, 4675778 edges, 24309 markings/sec, 165 secs
lola: 3980953 markings, 4852168 edges, 28677 markings/sec, 170 secs
lola: 4097452 markings, 4995986 edges, 23300 markings/sec, 175 secs
lola: 4222062 markings, 5148879 edges, 24922 markings/sec, 180 secs
lola: 4349351 markings, 5306594 edges, 25458 markings/sec, 185 secs
lola: 4476336 markings, 5464283 edges, 25397 markings/sec, 190 secs
lola: 4599943 markings, 5616453 edges, 24721 markings/sec, 195 secs
lola: 4714888 markings, 5758129 edges, 22989 markings/sec, 200 secs
lola: 4825168 markings, 5893353 edges, 22056 markings/sec, 205 secs
lola: 4937084 markings, 6029930 edges, 22383 markings/sec, 210 secs
lola: 5044372 markings, 6160851 edges, 21458 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(p1773)
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: 100684 markings, 121295 edges, 20137 markings/sec, 0 secs
lola: 205318 markings, 247819 edges, 20927 markings/sec, 5 secs
lola: 306753 markings, 370307 edges, 20287 markings/sec, 10 secs
lola: 420106 markings, 507790 edges, 22671 markings/sec, 15 secs
lola: 525795 markings, 636163 edges, 21138 markings/sec, 20 secs
lola: 642753 markings, 779044 edges, 23392 markings/sec, 25 secs
lola: 751530 markings, 911875 edges, 21755 markings/sec, 30 secs
lola: 855311 markings, 1037549 edges, 20756 markings/sec, 35 secs
lola: 975251 markings, 1183091 edges, 23988 markings/sec, 40 secs
lola: 1090748 markings, 1324620 edges, 23099 markings/sec, 45 secs
lola: 1195678 markings, 1451314 edges, 20986 markings/sec, 50 secs
lola: 1319345 markings, 1601361 edges, 24733 markings/sec, 55 secs
lola: 1427925 markings, 1733639 edges, 21716 markings/sec, 60 secs
lola: 1544954 markings, 1876235 edges, 23406 markings/sec, 65 secs
lola: 1649848 markings, 2003996 edges, 20979 markings/sec, 70 secs
lola: 1762125 markings, 2141371 edges, 22455 markings/sec, 75 secs
lola: 1886477 markings, 2293880 edges, 24870 markings/sec, 80 secs
lola: 2002549 markings, 2435575 edges, 23214 markings/sec, 85 secs
lola: 2110241 markings, 2567075 edges, 21538 markings/sec, 90 secs
lola: 2238908 markings, 2724602 edges, 25733 markings/sec, 95 secs
lola: 2383499 markings, 2902619 edges, 28918 markings/sec, 100 secs
lola: 2508294 markings, 3056044 edges, 24959 markings/sec, 105 secs
lola: 2614308 markings, 3185324 edges, 21203 markings/sec, 110 secs
lola: 2732425 markings, 3330151 edges, 23623 markings/sec, 115 secs
lola: 2859264 markings, 3486174 edges, 25368 markings/sec, 120 secs
lola: 2972279 markings, 3624500 edges, 22603 markings/sec, 125 secs
lola: 3082279 markings, 3759166 edges, 22000 markings/sec, 130 secs
lola: 3207457 markings, 3912831 edges, 25036 markings/sec, 135 secs
lola: 3309072 markings, 4036748 edges, 20323 markings/sec, 140 secs
lola: 3420975 markings, 4173915 edges, 22381 markings/sec, 145 secs
lola: 3548425 markings, 4330406 edges, 25490 markings/sec, 150 secs
lola: 3670839 markings, 4480919 edges, 24483 markings/sec, 155 secs
lola: 3781402 markings, 4616354 edges, 22113 markings/sec, 160 secs
lola: 3897435 markings, 4758466 edges, 23207 markings/sec, 165 secs
lola: 4009695 markings, 4895902 edges, 22452 markings/sec, 170 secs
lola: 4125706 markings, 5038214 edges, 23202 markings/sec, 175 secs
lola: 4249882 markings, 5190797 edges, 24835 markings/sec, 180 secs
lola: 4355918 markings, 5320419 edges, 21207 markings/sec, 185 secs
lola: 4473484 markings, 5464672 edges, 23513 markings/sec, 190 secs
lola: 4578088 markings, 5592970 edges, 20921 markings/sec, 195 secs
lola: 4701637 markings, 5744048 edges, 24710 markings/sec, 200 secs
lola: 4817028 markings, 5884962 edges, 23078 markings/sec, 205 secs
lola: 4943561 markings, 6040192 edges, 25307 markings/sec, 210 secs
lola: 5080059 markings, 6208208 edges, 27300 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(p2405)
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: 108052 markings, 129838 edges, 21610 markings/sec, 0 secs
lola: 212658 markings, 255806 edges, 20921 markings/sec, 5 secs
lola: 320045 markings, 385544 edges, 21477 markings/sec, 10 secs
lola: 435099 markings, 525009 edges, 23011 markings/sec, 15 secs
lola: 547529 markings, 660532 edges, 22486 markings/sec, 20 secs
lola: 660139 markings, 795095 edges, 22522 markings/sec, 25 secs
lola: 775335 markings, 935248 edges, 23039 markings/sec, 30 secs
lola: 892746 markings, 1077672 edges, 23482 markings/sec, 35 secs
lola: 1009793 markings, 1220143 edges, 23409 markings/sec, 40 secs
lola: 1125332 markings, 1360918 edges, 23108 markings/sec, 45 secs
lola: 1233614 markings, 1492794 edges, 21656 markings/sec, 50 secs
lola: 1350244 markings, 1634486 edges, 23326 markings/sec, 55 secs
lola: 1489232 markings, 1803075 edges, 27798 markings/sec, 60 secs
lola: 1623135 markings, 1966355 edges, 26781 markings/sec, 65 secs
lola: 1771568 markings, 2147618 edges, 29687 markings/sec, 70 secs
lola: 1917583 markings, 2326092 edges, 29203 markings/sec, 75 secs
lola: 2057907 markings, 2496990 edges, 28065 markings/sec, 80 secs
lola: 2194824 markings, 2663795 edges, 27383 markings/sec, 85 secs
lola: 2340066 markings, 2844131 edges, 29048 markings/sec, 90 secs
lola: 2494909 markings, 3037334 edges, 30969 markings/sec, 95 secs
lola: 2630917 markings, 3203371 edges, 27202 markings/sec, 100 secs
lola: 2771889 markings, 3375785 edges, 28194 markings/sec, 105 secs
lola: 2925836 markings, 3568499 edges, 30789 markings/sec, 110 secs
lola: 3068886 markings, 3746975 edges, 28610 markings/sec, 115 secs
lola: 3215282 markings, 3927536 edges, 29279 markings/sec, 120 secs
lola: 3358838 markings, 4102690 edges, 28711 markings/sec, 125 secs
lola: 3523681 markings, 4308661 edges, 32969 markings/sec, 130 secs
lola: 3670324 markings, 4489323 edges, 29329 markings/sec, 135 secs
lola: 3792203 markings, 4637943 edges, 24376 markings/sec, 140 secs
lola: 3900964 markings, 4772773 edges, 21752 markings/sec, 145 secs
lola: 4003104 markings, 4900440 edges, 20428 markings/sec, 150 secs
lola: 4112782 markings, 5038085 edges, 21936 markings/sec, 155 secs
lola: 4234650 markings, 5193265 edges, 24374 markings/sec, 160 secs
lola: 4351896 markings, 5341507 edges, 23449 markings/sec, 165 secs
lola: 4504942 markings, 5534041 edges, 30609 markings/sec, 170 secs
lola: 4661115 markings, 5728928 edges, 31235 markings/sec, 175 secs
lola: 4800429 markings, 5904331 edges, 27863 markings/sec, 180 secs
lola: 4918740 markings, 6050109 edges, 23662 markings/sec, 185 secs
lola: 5023708 markings, 6180703 edges, 20994 markings/sec, 190 secs
lola: 5122566 markings, 6304506 edges, 19772 markings/sec, 195 secs
lola: 5234521 markings, 6446542 edges, 22391 markings/sec, 200 secs
lola: 5352417 markings, 6601170 edges, 23579 markings/sec, 205 secs
lola: 5453984 markings, 6732010 edges, 20313 markings/sec, 210 secs
lola: 5560442 markings, 6861967 edges, 21292 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(p1386)
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: 118472 markings, 157184 edges, 23694 markings/sec, 0 secs
lola: 212321 markings, 270516 edges, 18770 markings/sec, 5 secs
lola: 307219 markings, 385173 edges, 18980 markings/sec, 10 secs
lola: 403169 markings, 501029 edges, 19190 markings/sec, 15 secs
lola: 503422 markings, 623136 edges, 20051 markings/sec, 20 secs
lola: 608211 markings, 755680 edges, 20958 markings/sec, 25 secs
lola: 716280 markings, 890830 edges, 21614 markings/sec, 30 secs
lola: 830531 markings, 1035901 edges, 22850 markings/sec, 35 secs
lola: 956570 markings, 1193342 edges, 25208 markings/sec, 40 secs
lola: 1078529 markings, 1344567 edges, 24392 markings/sec, 45 secs
lola: 1181639 markings, 1471787 edges, 20622 markings/sec, 50 secs
lola: 1303765 markings, 1626140 edges, 24425 markings/sec, 55 secs
lola: 1433282 markings, 1789294 edges, 25903 markings/sec, 60 secs
lola: 1541879 markings, 1922468 edges, 21719 markings/sec, 65 secs
lola: 1660443 markings, 2070789 edges, 23713 markings/sec, 70 secs
lola: 1774153 markings, 2212772 edges, 22742 markings/sec, 75 secs
lola: 1877679 markings, 2340409 edges, 20705 markings/sec, 80 secs
lola: 2000604 markings, 2494343 edges, 24585 markings/sec, 85 secs
lola: 2113173 markings, 2639719 edges, 22514 markings/sec, 90 secs
lola: 2229533 markings, 2785119 edges, 23272 markings/sec, 95 secs
lola: 2351481 markings, 2937271 edges, 24390 markings/sec, 100 secs
lola: 2473030 markings, 3096287 edges, 24310 markings/sec, 105 secs
lola: 2596558 markings, 3254313 edges, 24706 markings/sec, 110 secs
lola: 2716299 markings, 3403199 edges, 23948 markings/sec, 115 secs
lola: 2857956 markings, 3581547 edges, 28331 markings/sec, 120 secs
lola: 2995130 markings, 3764377 edges, 27435 markings/sec, 125 secs
lola: 3101356 markings, 3895727 edges, 21245 markings/sec, 130 secs
lola: 3250374 markings, 4084252 edges, 29804 markings/sec, 135 secs
lola: 3375994 markings, 4243693 edges, 25124 markings/sec, 140 secs
lola: 3505441 markings, 4405439 edges, 25889 markings/sec, 145 secs
lola: 3640918 markings, 4576143 edges, 27095 markings/sec, 150 secs
lola: 3769441 markings, 4739866 edges, 25705 markings/sec, 155 secs
lola: 3889951 markings, 4891107 edges, 24102 markings/sec, 160 secs
lola: 4024822 markings, 5062353 edges, 26974 markings/sec, 165 secs
lola: 4152278 markings, 5220551 edges, 25491 markings/sec, 170 secs
lola: 4275909 markings, 5374521 edges, 24726 markings/sec, 175 secs
lola: 4419178 markings, 5557017 edges, 28654 markings/sec, 180 secs
lola: 4539026 markings, 5706970 edges, 23970 markings/sec, 185 secs
lola: 4657305 markings, 5855170 edges, 23656 markings/sec, 190 secs
lola: 4777079 markings, 6007978 edges, 23955 markings/sec, 195 secs
lola: 4900652 markings, 6163121 edges, 24715 markings/sec, 200 secs
lola: 5033390 markings, 6339672 edges, 26548 markings/sec, 205 secs
lola: 5144531 markings, 6478477 edges, 22228 markings/sec, 210 secs
lola: 5281502 markings, 6656568 edges, 27394 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(p610)
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: 134648 markings, 159816 edges, 26930 markings/sec, 0 secs
lola: 280510 markings, 332849 edges, 29172 markings/sec, 5 secs
lola: 430188 markings, 514525 edges, 29936 markings/sec, 10 secs
lola: 581169 markings, 696975 edges, 30196 markings/sec, 15 secs
lola: 738252 markings, 889714 edges, 31417 markings/sec, 20 secs
lola: 893837 markings, 1080702 edges, 31117 markings/sec, 25 secs
lola: 1041763 markings, 1259417 edges, 29585 markings/sec, 30 secs
lola: 1200523 markings, 1452015 edges, 31752 markings/sec, 35 secs
lola: 1337366 markings, 1620131 edges, 27369 markings/sec, 40 secs
lola: 1487912 markings, 1804600 edges, 30109 markings/sec, 45 secs
lola: 1646599 markings, 1997920 edges, 31737 markings/sec, 50 secs
lola: 1797895 markings, 2183987 edges, 30259 markings/sec, 55 secs
lola: 1943693 markings, 2362226 edges, 29160 markings/sec, 60 secs
lola: 2091810 markings, 2543715 edges, 29623 markings/sec, 65 secs
lola: 2245442 markings, 2733135 edges, 30726 markings/sec, 70 secs
lola: 2395216 markings, 2917077 edges, 29955 markings/sec, 75 secs
lola: 2545500 markings, 3102222 edges, 30057 markings/sec, 80 secs
lola: 2698156 markings, 3289624 edges, 30531 markings/sec, 85 secs
lola: 2836826 markings, 3459889 edges, 27734 markings/sec, 90 secs
lola: 2977515 markings, 3630644 edges, 28138 markings/sec, 95 secs
lola: 3114947 markings, 3797216 edges, 27486 markings/sec, 100 secs
lola: 3254939 markings, 3967999 edges, 27998 markings/sec, 105 secs
lola: 3391074 markings, 4133717 edges, 27227 markings/sec, 110 secs
lola: 3529437 markings, 4302143 edges, 27673 markings/sec, 115 secs
lola: 3663995 markings, 4466971 edges, 26912 markings/sec, 120 secs
lola: 3809012 markings, 4645352 edges, 29003 markings/sec, 125 secs
lola: 3950860 markings, 4819332 edges, 28370 markings/sec, 130 secs
lola: 4086738 markings, 4986575 edges, 27176 markings/sec, 135 secs
lola: 4234876 markings, 5168758 edges, 29628 markings/sec, 140 secs
lola: 4383496 markings, 5352407 edges, 29724 markings/sec, 145 secs
lola: 4518045 markings, 5517952 edges, 26910 markings/sec, 150 secs
lola: 4665310 markings, 5698799 edges, 29453 markings/sec, 155 secs
lola: 4805338 markings, 5870490 edges, 28006 markings/sec, 160 secs
lola: 4947066 markings, 6044502 edges, 28346 markings/sec, 165 secs
lola: 5082673 markings, 6210454 edges, 27121 markings/sec, 170 secs
lola: 5226543 markings, 6388434 edges, 28774 markings/sec, 175 secs
lola: 5361124 markings, 6554081 edges, 26916 markings/sec, 180 secs
lola: 5498702 markings, 6723835 edges, 27516 markings/sec, 185 secs
lola: 5634451 markings, 6891245 edges, 27150 markings/sec, 190 secs
lola: 5775059 markings, 7064335 edges, 28122 markings/sec, 195 secs
lola: 5909713 markings, 7230666 edges, 26931 markings/sec, 200 secs
lola: 6045368 markings, 7397952 edges, 27131 markings/sec, 205 secs
lola: 6178677 markings, 7561849 edges, 26662 markings/sec, 210 secs
lola: 6327702 markings, 7743629 edges, 29805 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(p1156)
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: 111651 markings, 134006 edges, 22330 markings/sec, 0 secs
lola: 228776 markings, 276013 edges, 23425 markings/sec, 5 secs
lola: 352214 markings, 422663 edges, 24688 markings/sec, 10 secs
lola: 461518 markings, 554873 edges, 21861 markings/sec, 15 secs
lola: 582904 markings, 701483 edges, 24277 markings/sec, 20 secs
lola: 708828 markings, 855005 edges, 25185 markings/sec, 25 secs
lola: 830355 markings, 1002208 edges, 24305 markings/sec, 30 secs
lola: 963222 markings, 1161785 edges, 26573 markings/sec, 35 secs
lola: 1090749 markings, 1314843 edges, 25505 markings/sec, 40 secs
lola: 1223365 markings, 1474490 edges, 26523 markings/sec, 45 secs
lola: 1353435 markings, 1631134 edges, 26014 markings/sec, 50 secs
lola: 1478917 markings, 1788030 edges, 25096 markings/sec, 55 secs
lola: 1591785 markings, 1928327 edges, 22574 markings/sec, 60 secs
lola: 1723211 markings, 2092236 edges, 26285 markings/sec, 65 secs
lola: 1887416 markings, 2296190 edges, 32841 markings/sec, 70 secs
lola: 2051828 markings, 2501341 edges, 32882 markings/sec, 75 secs
lola: 2168295 markings, 2647699 edges, 23293 markings/sec, 80 secs
lola: 2307375 markings, 2820760 edges, 27816 markings/sec, 85 secs
lola: 2427431 markings, 2968097 edges, 24011 markings/sec, 90 secs
lola: 2537689 markings, 3106137 edges, 22052 markings/sec, 95 secs
lola: 2643489 markings, 3238004 edges, 21160 markings/sec, 100 secs
lola: 2773116 markings, 3402827 edges, 25925 markings/sec, 105 secs
lola: 2922315 markings, 3589450 edges, 29840 markings/sec, 110 secs
lola: 3057900 markings, 3761250 edges, 27117 markings/sec, 115 secs
lola: 3163740 markings, 3895259 edges, 21168 markings/sec, 120 secs
lola: 3291976 markings, 4058982 edges, 25647 markings/sec, 125 secs
lola: 3415726 markings, 4208037 edges, 24750 markings/sec, 130 secs
lola: 3538239 markings, 4360502 edges, 24503 markings/sec, 135 secs
lola: 3648824 markings, 4497968 edges, 22117 markings/sec, 140 secs
lola: 3764800 markings, 4642208 edges, 23195 markings/sec, 145 secs
lola: 3900489 markings, 4815655 edges, 27138 markings/sec, 150 secs
lola: 4075048 markings, 5033324 edges, 34912 markings/sec, 155 secs
lola: 4246554 markings, 5247378 edges, 34301 markings/sec, 160 secs
lola: 4377478 markings, 5414445 edges, 26185 markings/sec, 165 secs
lola: 4523127 markings, 5598374 edges, 29130 markings/sec, 170 secs
lola: 4647196 markings, 5749425 edges, 24814 markings/sec, 175 secs
lola: 4815204 markings, 5959289 edges, 33602 markings/sec, 180 secs
lola: 4958052 markings, 6141306 edges, 28570 markings/sec, 185 secs
lola: 5083730 markings, 6301765 edges, 25136 markings/sec, 190 secs
lola: 5197472 markings, 6444363 edges, 22748 markings/sec, 195 secs
lola: 5304708 markings, 6577426 edges, 21447 markings/sec, 200 secs
lola: 5420398 markings, 6726158 edges, 23138 markings/sec, 205 secs
lola: 5562412 markings, 6908090 edges, 28403 markings/sec, 210 secs
lola: 5672470 markings, 7049435 edges, 22012 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(p1214)
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: 117033 markings, 140775 edges, 23407 markings/sec, 0 secs
lola: 239779 markings, 289213 edges, 24549 markings/sec, 5 secs
lola: 365372 markings, 438978 edges, 25119 markings/sec, 10 secs
lola: 478772 markings, 576037 edges, 22680 markings/sec, 15 secs
lola: 599949 markings, 722421 edges, 24235 markings/sec, 20 secs
lola: 721101 markings, 869486 edges, 24230 markings/sec, 25 secs
lola: 854316 markings, 1032446 edges, 26643 markings/sec, 30 secs
lola: 984057 markings, 1190662 edges, 25948 markings/sec, 35 secs
lola: 1115867 markings, 1351831 edges, 26362 markings/sec, 40 secs
lola: 1254400 markings, 1518581 edges, 27707 markings/sec, 45 secs
lola: 1389096 markings, 1681169 edges, 26939 markings/sec, 50 secs
lola: 1522346 markings, 1841169 edges, 26650 markings/sec, 55 secs
lola: 1640469 markings, 1983774 edges, 23625 markings/sec, 60 secs
lola: 1773957 markings, 2147442 edges, 26698 markings/sec, 65 secs
lola: 1888093 markings, 2290239 edges, 22827 markings/sec, 70 secs
lola: 2013078 markings, 2445487 edges, 24997 markings/sec, 75 secs
lola: 2133814 markings, 2595482 edges, 24147 markings/sec, 80 secs
lola: 2265428 markings, 2758789 edges, 26323 markings/sec, 85 secs
lola: 2433596 markings, 2967025 edges, 33634 markings/sec, 90 secs
lola: 2578712 markings, 3148680 edges, 29023 markings/sec, 95 secs
lola: 2720503 markings, 3324124 edges, 28358 markings/sec, 100 secs
lola: 2837893 markings, 3471471 edges, 23478 markings/sec, 105 secs
lola: 2943786 markings, 3602979 edges, 21179 markings/sec, 110 secs
lola: 3062890 markings, 3754349 edges, 23821 markings/sec, 115 secs
lola: 3170794 markings, 3890358 edges, 21581 markings/sec, 120 secs
lola: 3323144 markings, 4080084 edges, 30470 markings/sec, 125 secs
lola: 3473319 markings, 4268202 edges, 30035 markings/sec, 130 secs
lola: 3605745 markings, 4437918 edges, 26485 markings/sec, 135 secs
lola: 3725682 markings, 4586083 edges, 23987 markings/sec, 140 secs
lola: 3850985 markings, 4739981 edges, 25061 markings/sec, 145 secs
lola: 3955714 markings, 4871327 edges, 20946 markings/sec, 150 secs
lola: 4065903 markings, 5008611 edges, 22038 markings/sec, 155 secs
lola: 4188937 markings, 5165279 edges, 24607 markings/sec, 160 secs
lola: 4344950 markings, 5359285 edges, 31203 markings/sec, 165 secs
lola: 4521499 markings, 5578810 edges, 35310 markings/sec, 170 secs
lola: 4670451 markings, 5767013 edges, 29790 markings/sec, 175 secs
lola: 4797583 markings, 5927181 edges, 25426 markings/sec, 180 secs
lola: 4934705 markings, 6097491 edges, 27424 markings/sec, 185 secs
lola: 5046758 markings, 6237718 edges, 22411 markings/sec, 190 secs
lola: 5146428 markings, 6361787 edges, 19934 markings/sec, 195 secs
lola: 5251079 markings, 6493081 edges, 20930 markings/sec, 200 secs
lola: 5370186 markings, 6647032 edges, 23821 markings/sec, 205 secs
lola: 5476506 markings, 6782900 edges, 21264 markings/sec, 210 secs
lola: 5629531 markings, 6974477 edges, 30605 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(p2396)
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: 100668 markings, 120800 edges, 20134 markings/sec, 0 secs
lola: 199248 markings, 239218 edges, 19716 markings/sec, 5 secs
lola: 301944 markings, 363010 edges, 20539 markings/sec, 10 secs
lola: 410915 markings, 494719 edges, 21794 markings/sec, 15 secs
lola: 521654 markings, 627191 edges, 22148 markings/sec, 20 secs
lola: 634179 markings, 763078 edges, 22505 markings/sec, 25 secs
lola: 749724 markings, 904105 edges, 23109 markings/sec, 30 secs
lola: 865398 markings, 1045083 edges, 23135 markings/sec, 35 secs
lola: 978395 markings, 1182554 edges, 22599 markings/sec, 40 secs
lola: 1102522 markings, 1333752 edges, 24825 markings/sec, 45 secs
lola: 1231249 markings, 1491187 edges, 25745 markings/sec, 50 secs
lola: 1369297 markings, 1660833 edges, 27610 markings/sec, 55 secs
lola: 1494311 markings, 1815104 edges, 25003 markings/sec, 60 secs
lola: 1607457 markings, 1952682 edges, 22629 markings/sec, 65 secs
lola: 1709469 markings, 2074684 edges, 20402 markings/sec, 70 secs
lola: 1831978 markings, 2226964 edges, 24502 markings/sec, 75 secs
lola: 1981272 markings, 2409979 edges, 29859 markings/sec, 80 secs
lola: 2105622 markings, 2563604 edges, 24870 markings/sec, 85 secs
lola: 2212444 markings, 2692569 edges, 21364 markings/sec, 90 secs
lola: 2313471 markings, 2813429 edges, 20205 markings/sec, 95 secs
lola: 2435751 markings, 2963295 edges, 24456 markings/sec, 100 secs
lola: 2592774 markings, 3161234 edges, 31405 markings/sec, 105 secs
lola: 2721215 markings, 3320988 edges, 25688 markings/sec, 110 secs
lola: 2879449 markings, 3518675 edges, 31647 markings/sec, 115 secs
lola: 3014540 markings, 3691574 edges, 27018 markings/sec, 120 secs
lola: 3114482 markings, 3812543 edges, 19988 markings/sec, 125 secs
lola: 3223435 markings, 3948948 edges, 21791 markings/sec, 130 secs
lola: 3349248 markings, 4103118 edges, 25163 markings/sec, 135 secs
lola: 3521719 markings, 4315678 edges, 34494 markings/sec, 140 secs
lola: 3651996 markings, 4480207 edges, 26055 markings/sec, 145 secs
lola: 3781505 markings, 4639165 edges, 25902 markings/sec, 150 secs
lola: 3913499 markings, 4802588 edges, 26399 markings/sec, 155 secs
lola: 4060439 markings, 4985581 edges, 29388 markings/sec, 160 secs
lola: 4182648 markings, 5133678 edges, 24442 markings/sec, 165 secs
lola: 4301189 markings, 5276156 edges, 23708 markings/sec, 170 secs
lola: 4430055 markings, 5431167 edges, 25773 markings/sec, 175 secs
lola: 4559618 markings, 5587482 edges, 25913 markings/sec, 180 secs
lola: 4687160 markings, 5743509 edges, 25508 markings/sec, 185 secs
lola: 4792899 markings, 5874529 edges, 21148 markings/sec, 190 secs
lola: 4899396 markings, 6007102 edges, 21299 markings/sec, 195 secs
lola: 5022578 markings, 6161456 edges, 24636 markings/sec, 200 secs
lola: 5175727 markings, 6353114 edges, 30630 markings/sec, 205 secs
lola: 5326865 markings, 6541782 edges, 30228 markings/sec, 210 secs
lola: 5465005 markings, 6712814 edges, 27628 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(p1715)
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: 105696 markings, 126875 edges, 21139 markings/sec, 0 secs
lola: 213425 markings, 256754 edges, 21546 markings/sec, 5 secs
lola: 320366 markings, 385905 edges, 21388 markings/sec, 10 secs
lola: 430069 markings, 519206 edges, 21941 markings/sec, 15 secs
lola: 547944 markings, 662742 edges, 23575 markings/sec, 20 secs
lola: 663180 markings, 803599 edges, 23047 markings/sec, 25 secs
lola: 778117 markings, 944316 edges, 22987 markings/sec, 30 secs
lola: 893849 markings, 1085572 edges, 23146 markings/sec, 35 secs
lola: 1005958 markings, 1222871 edges, 22422 markings/sec, 40 secs
lola: 1110679 markings, 1350447 edges, 20944 markings/sec, 45 secs
lola: 1220432 markings, 1485021 edges, 21951 markings/sec, 50 secs
lola: 1348306 markings, 1641707 edges, 25575 markings/sec, 55 secs
lola: 1461616 markings, 1779948 edges, 22662 markings/sec, 60 secs
lola: 1569477 markings, 1911602 edges, 21572 markings/sec, 65 secs
lola: 1707784 markings, 2081301 edges, 27661 markings/sec, 70 secs
lola: 1849213 markings, 2255315 edges, 28286 markings/sec, 75 secs
lola: 1969828 markings, 2402961 edges, 24123 markings/sec, 80 secs
lola: 2096759 markings, 2558731 edges, 25386 markings/sec, 85 secs
lola: 2222251 markings, 2712016 edges, 25098 markings/sec, 90 secs
lola: 2349010 markings, 2867149 edges, 25352 markings/sec, 95 secs
lola: 2469920 markings, 3014733 edges, 24182 markings/sec, 100 secs
lola: 2581790 markings, 3148512 edges, 22374 markings/sec, 105 secs
lola: 2711812 markings, 3306725 edges, 26004 markings/sec, 110 secs
lola: 2833485 markings, 3456163 edges, 24335 markings/sec, 115 secs
lola: 2939306 markings, 3583489 edges, 21164 markings/sec, 120 secs
lola: 3046550 markings, 3711797 edges, 21449 markings/sec, 125 secs
lola: 3170978 markings, 3863616 edges, 24886 markings/sec, 130 secs
lola: 3291940 markings, 4011175 edges, 24192 markings/sec, 135 secs
lola: 3416702 markings, 4163977 edges, 24952 markings/sec, 140 secs
lola: 3537035 markings, 4309622 edges, 24067 markings/sec, 145 secs
lola: 3664539 markings, 4462479 edges, 25501 markings/sec, 150 secs
lola: 3798720 markings, 4626402 edges, 26836 markings/sec, 155 secs
lola: 3928018 markings, 4785190 edges, 25860 markings/sec, 160 secs
lola: 4042596 markings, 4924793 edges, 22916 markings/sec, 165 secs
lola: 4158228 markings, 5067923 edges, 23126 markings/sec, 170 secs
lola: 4281329 markings, 5219220 edges, 24620 markings/sec, 175 secs
lola: 4390159 markings, 5352200 edges, 21766 markings/sec, 180 secs
lola: 4510269 markings, 5499266 edges, 24022 markings/sec, 185 secs
lola: 4633069 markings, 5649765 edges, 24560 markings/sec, 190 secs
lola: 4746877 markings, 5788945 edges, 22762 markings/sec, 195 secs
lola: 4873459 markings, 5944809 edges, 25316 markings/sec, 200 secs
lola: 5007405 markings, 6109051 edges, 26789 markings/sec, 205 secs
lola: 5131965 markings, 6261065 edges, 24912 markings/sec, 210 secs
lola: 5254409 markings, 6411202 edges, 24489 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(p2019)
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: 162410 markings, 240409 edges, 32482 markings/sec, 0 secs
lola: 350433 markings, 535954 edges, 37605 markings/sec, 5 secs
lola: 539472 markings, 841448 edges, 37808 markings/sec, 10 secs
lola: 700488 markings, 1101744 edges, 32203 markings/sec, 15 secs
lola: 847210 markings, 1339275 edges, 29344 markings/sec, 20 secs
lola: 962203 markings, 1526634 edges, 22999 markings/sec, 25 secs
lola: 1065520 markings, 1691213 edges, 20663 markings/sec, 30 secs
lola: 1154687 markings, 1839849 edges, 17833 markings/sec, 35 secs
lola: 1258036 markings, 2006753 edges, 20670 markings/sec, 40 secs
lola: 1363836 markings, 2181267 edges, 21160 markings/sec, 45 secs
lola: 1459053 markings, 2336115 edges, 19043 markings/sec, 50 secs
lola: 1550910 markings, 2483835 edges, 18371 markings/sec, 55 secs
lola: 1668107 markings, 2659440 edges, 23439 markings/sec, 60 secs
lola: 1804917 markings, 2865434 edges, 27362 markings/sec, 65 secs
lola: 1945559 markings, 3079727 edges, 28128 markings/sec, 70 secs
lola: 2074078 markings, 3277884 edges, 25704 markings/sec, 75 secs
lola: 2219267 markings, 3497556 edges, 29038 markings/sec, 80 secs
lola: 2366958 markings, 3716011 edges, 29538 markings/sec, 85 secs
lola: 2481698 markings, 3886321 edges, 22948 markings/sec, 90 secs
lola: 2592004 markings, 4053314 edges, 22061 markings/sec, 95 secs
lola: 2707774 markings, 4236736 edges, 23154 markings/sec, 100 secs
lola: 2860251 markings, 4469095 edges, 30495 markings/sec, 105 secs
lola: 2976501 markings, 4649124 edges, 23250 markings/sec, 110 secs
lola: 3110499 markings, 4852269 edges, 26800 markings/sec, 115 secs
lola: 3237117 markings, 5047969 edges, 25324 markings/sec, 120 secs
lola: 3357530 markings, 5232186 edges, 24083 markings/sec, 125 secs
lola: 3490982 markings, 5430485 edges, 26690 markings/sec, 130 secs
lola: 3619453 markings, 5622310 edges, 25694 markings/sec, 135 secs
lola: 3777409 markings, 5860423 edges, 31591 markings/sec, 140 secs
lola: 3882226 markings, 6025984 edges, 20963 markings/sec, 145 secs
lola: 4039126 markings, 6277109 edges, 31380 markings/sec, 150 secs
lola: 4198577 markings, 6511940 edges, 31890 markings/sec, 155 secs
lola: 4320654 markings, 6705995 edges, 24415 markings/sec, 160 secs
lola: 4497327 markings, 6987686 edges, 35335 markings/sec, 165 secs
lola: 4657092 markings, 7228295 edges, 31953 markings/sec, 170 secs
lola: 4823721 markings, 7493889 edges, 33326 markings/sec, 175 secs
lola: 4995002 markings, 7769290 edges, 34256 markings/sec, 180 secs
lola: 5175630 markings, 8040420 edges, 36126 markings/sec, 185 secs
lola: 5327626 markings, 8276126 edges, 30399 markings/sec, 190 secs
lola: 5434077 markings, 8443039 edges, 21290 markings/sec, 195 secs
lola: 5544017 markings, 8617236 edges, 21988 markings/sec, 200 secs
lola: 5701613 markings, 8855065 edges, 31519 markings/sec, 205 secs
lola: 5810502 markings, 9022912 edges, 21778 markings/sec, 210 secs
lola: 5926067 markings, 9197372 edges, 23113 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-316-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-316-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-316-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-316-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-316-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-316-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-316-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-316-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-316-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-316-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-316-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-316-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-316-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-316-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-316-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-316-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496537120589

--------------------
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-316"
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-316.tgz
mv CloudReconfiguration-PT-316 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-316, 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-149580961400137"
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 ;