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)
...................
/home/mcc/execution
total 316K
-rw-r--r-- 1 mcc users 3.9K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.9K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.9K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.5K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 114 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 352 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.6K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 15 18:50 equiv_pt
-rw-r--r-- 1 mcc users 10 May 15 18:50 instance
-rw-r--r-- 1 mcc users 5 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 154K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is PolyORBLF-COL-S02J06T08, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r124-smll-152673526800037
=====================================================================

--------------------
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 PolyORBLF-COL-S02J06T08-UpperBounds-00
FORMULA_NAME PolyORBLF-COL-S02J06T08-UpperBounds-01
FORMULA_NAME PolyORBLF-COL-S02J06T08-UpperBounds-02
FORMULA_NAME PolyORBLF-COL-S02J06T08-UpperBounds-03
FORMULA_NAME PolyORBLF-COL-S02J06T08-UpperBounds-04
FORMULA_NAME PolyORBLF-COL-S02J06T08-UpperBounds-05
FORMULA_NAME PolyORBLF-COL-S02J06T08-UpperBounds-06
FORMULA_NAME PolyORBLF-COL-S02J06T08-UpperBounds-07
FORMULA_NAME PolyORBLF-COL-S02J06T08-UpperBounds-08
FORMULA_NAME PolyORBLF-COL-S02J06T08-UpperBounds-09
FORMULA_NAME PolyORBLF-COL-S02J06T08-UpperBounds-10
FORMULA_NAME PolyORBLF-COL-S02J06T08-UpperBounds-11
FORMULA_NAME PolyORBLF-COL-S02J06T08-UpperBounds-12
FORMULA_NAME PolyORBLF-COL-S02J06T08-UpperBounds-13
FORMULA_NAME PolyORBLF-COL-S02J06T08-UpperBounds-14
FORMULA_NAME PolyORBLF-COL-S02J06T08-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1526839138033

info: Time: 3600 - MCC
===========================================================================================
prep: translating PolyORBLF-COL-S02J06T08 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating COL Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating PolyORBLF-COL-S02J06T08 formula UpperBounds into LoLA format
===========================================================================================
prep: translating COL formula complete
vrfy: Checking UpperBounds @ PolyORBLF-COL-S02J06T08 @ 3570 seconds
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 2124/65536 symbol table entries, 6 collisions
lola: preprocessing...
lola: Size of bit vector: 22080
lola: finding significant places
lola: 690 places, 1434 transitions, 636 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2005 transition conflict sets
lola: TASK
lola: reading formula from PolyORBLF-COL-S02J06T08-UpperBounds.task
lola: MAX(p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146) : MAX(p424) : MAX(p149) : MAX(p682 + p683 + p684 + p685 + p686 + p687 + p688 + p689) : MAX(p491 + p492 + p493 + p494 + p495 + p496 + p497 + p498) : MAX(p55 + p54 + p53 + p52 + p51 + p50 + p49 + p56) : MAX(p482) : MAX(p248 + p249 + p250 + p251 + p252 + p253 + p254 + p255 + p256 + p257 + p258 + p259 + p260 + p261 + p262 + p263) : MAX(p398 + p399 + p400 + p401 + p402 + p403 + p404 + p405) : MAX(p424) : MAX(p209 + p210 + p211 + p212 + p213 + p214 + p215) : MAX(p507 + p508 + p509 + p510 + p511 + p512 + p513 + p514 + p515 + p516 + p517 + p518 + p519 + p520 + p521 + p522) : MAX(p365 + p366 + p367 + p368 + p369 + p370 + p371 + p372) : MAX(p473 + p474 + p475 + p476 + p477 + p478 + p479 + p480) : MAX(p629) : MAX(p491 + p492 + p493 + p494 + p495 + p496 + p497 + p498)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 213 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p424)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p424)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J06T08-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 50 markings, 49 edges
lola: ========================================

FORMULA PolyORBLF-COL-S02J06T08-UpperBounds-1 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 227 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p149)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p149)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J06T08-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: Structural Bound: 2
lola: SUBRESULT
lola: result: 2
lola: produced by: state space
lola: The maximum value of the given expression is 2
lola: 27 markings, 26 edges
lola: ========================================

FORMULA PolyORBLF-COL-S02J06T08-UpperBounds-2 2 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 242 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p482)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p482)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J06T08-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 84728 markings, 101663 edges, 16946 markings/sec, 30 secs
lola: 169229 markings, 203169 edges, 16900 markings/sec, 35 secs
lola: 253699 markings, 304121 edges, 16894 markings/sec, 40 secs
lola: 337748 markings, 405660 edges, 16810 markings/sec, 45 secs
lola: 421987 markings, 507767 edges, 16848 markings/sec, 50 secs
lola: 506212 markings, 609055 edges, 16845 markings/sec, 55 secs
lola: 590203 markings, 710656 edges, 16798 markings/sec, 60 secs
lola: 674263 markings, 812324 edges, 16812 markings/sec, 65 secs
lola: 758047 markings, 913415 edges, 16757 markings/sec, 70 secs
lola: 841653 markings, 1014373 edges, 16721 markings/sec, 75 secs
lola: 925246 markings, 1114325 edges, 16719 markings/sec, 80 secs
lola: 1008775 markings, 1216623 edges, 16706 markings/sec, 85 secs
lola: 1092293 markings, 1318170 edges, 16704 markings/sec, 90 secs
lola: 1176041 markings, 1419877 edges, 16750 markings/sec, 95 secs
lola: 1259565 markings, 1521850 edges, 16705 markings/sec, 100 secs
lola: 1342971 markings, 1623413 edges, 16681 markings/sec, 105 secs
lola: 1426211 markings, 1724563 edges, 16648 markings/sec, 110 secs
lola: 1509464 markings, 1825559 edges, 16651 markings/sec, 115 secs
lola: 1592903 markings, 1927104 edges, 16688 markings/sec, 120 secs
lola: 1676056 markings, 2027528 edges, 16631 markings/sec, 125 secs
lola: 1758941 markings, 2128491 edges, 16577 markings/sec, 130 secs
lola: 1842530 markings, 2229630 edges, 16718 markings/sec, 135 secs
lola: 1925665 markings, 2330193 edges, 16627 markings/sec, 140 secs
lola: 2009104 markings, 2432242 edges, 16688 markings/sec, 145 secs
lola: 2092476 markings, 2534438 edges, 16674 markings/sec, 150 secs
lola: 2175767 markings, 2635051 edges, 16658 markings/sec, 155 secs
lola: 2259017 markings, 2736272 edges, 16650 markings/sec, 160 secs
lola: 2342230 markings, 2838336 edges, 16643 markings/sec, 165 secs
lola: 2425383 markings, 2940072 edges, 16631 markings/sec, 170 secs
lola: 2508577 markings, 3041545 edges, 16639 markings/sec, 175 secs
lola: 2591921 markings, 3143061 edges, 16669 markings/sec, 180 secs
lola: 2675231 markings, 3244894 edges, 16662 markings/sec, 185 secs
lola: 2758461 markings, 3346131 edges, 16646 markings/sec, 190 secs
lola: 2841647 markings, 3447155 edges, 16637 markings/sec, 195 secs
lola: 2925085 markings, 3549515 edges, 16688 markings/sec, 200 secs
lola: 3008018 markings, 3651402 edges, 16587 markings/sec, 205 secs
lola: 3091136 markings, 3752930 edges, 16624 markings/sec, 210 secs
lola: 3174006 markings, 3853878 edges, 16574 markings/sec, 215 secs
lola: 3257288 markings, 3955051 edges, 16656 markings/sec, 220 secs
lola: 3340656 markings, 4056937 edges, 16674 markings/sec, 225 secs
lola: 3423963 markings, 4158064 edges, 16661 markings/sec, 230 secs
lola: 3506880 markings, 4259921 edges, 16583 markings/sec, 235 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 1 2 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 447952 KB
lola: time consumption: 418 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 242 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p424)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p424)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J06T08-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 50 markings, 49 edges

FORMULA PolyORBLF-COL-S02J06T08-UpperBounds-9 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 4 will run for 262 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p629)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p629)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J06T08-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 86188 markings, 101612 edges, 17238 markings/sec, 30 secs
lola: 171071 markings, 203401 edges, 16977 markings/sec, 35 secs
lola: 255864 markings, 304663 edges, 16959 markings/sec, 40 secs
lola: 340416 markings, 405825 edges, 16910 markings/sec, 45 secs
lola: 424575 markings, 507252 edges, 16832 markings/sec, 50 secs
lola: 508889 markings, 608792 edges, 16863 markings/sec, 55 secs
lola: 593009 markings, 709852 edges, 16824 markings/sec, 60 secs
lola: 677066 markings, 810922 edges, 16811 markings/sec, 65 secs
lola: 761162 markings, 912116 edges, 16819 markings/sec, 70 secs
lola: 844977 markings, 1012726 edges, 16763 markings/sec, 75 secs
lola: 928673 markings, 1113739 edges, 16739 markings/sec, 80 secs
lola: 1012304 markings, 1215191 edges, 16726 markings/sec, 85 secs
lola: 1096137 markings, 1316751 edges, 16767 markings/sec, 90 secs
lola: 1179611 markings, 1417372 edges, 16695 markings/sec, 95 secs
lola: 1263198 markings, 1518191 edges, 16717 markings/sec, 100 secs
lola: 1346613 markings, 1618783 edges, 16683 markings/sec, 105 secs
lola: 1430122 markings, 1720315 edges, 16702 markings/sec, 110 secs
lola: 1513735 markings, 1821932 edges, 16723 markings/sec, 115 secs
lola: 1597115 markings, 1923313 edges, 16676 markings/sec, 120 secs
lola: 1680394 markings, 2024335 edges, 16656 markings/sec, 125 secs
lola: 1763794 markings, 2125122 edges, 16680 markings/sec, 130 secs
lola: 1847041 markings, 2226030 edges, 16649 markings/sec, 135 secs
lola: 1930361 markings, 2327770 edges, 16664 markings/sec, 140 secs
lola: 2013609 markings, 2428373 edges, 16650 markings/sec, 145 secs
lola: 2096632 markings, 2529438 edges, 16605 markings/sec, 150 secs
lola: 2179939 markings, 2630810 edges, 16661 markings/sec, 155 secs
lola: 2263075 markings, 2732251 edges, 16627 markings/sec, 160 secs
lola: 2346020 markings, 2833266 edges, 16589 markings/sec, 165 secs
lola: 2428798 markings, 2934736 edges, 16556 markings/sec, 170 secs
lola: 2511739 markings, 3036021 edges, 16588 markings/sec, 175 secs
lola: 2594897 markings, 3136913 edges, 16632 markings/sec, 180 secs
lola: 2677756 markings, 3237887 edges, 16572 markings/sec, 185 secs
lola: 2760944 markings, 3338659 edges, 16638 markings/sec, 190 secs
lola: 2843738 markings, 3439714 edges, 16559 markings/sec, 195 secs
lola: 2926367 markings, 3540569 edges, 16526 markings/sec, 200 secs
lola: 3009622 markings, 3641589 edges, 16651 markings/sec, 205 secs
lola: 3092677 markings, 3742851 edges, 16611 markings/sec, 210 secs
lola: 3175826 markings, 3843688 edges, 16630 markings/sec, 215 secs
lola: 3249196 markings, 3932464 edges, 14674 markings/sec, 220 secs
lola: 3331987 markings, 4033149 edges, 16558 markings/sec, 225 secs
lola: 3414521 markings, 4133553 edges, 16507 markings/sec, 230 secs
lola: 3497285 markings, 4234874 edges, 16553 markings/sec, 235 secs
lola: 3580075 markings, 4335210 edges, 16558 markings/sec, 240 secs
lola: 3663093 markings, 4436590 edges, 16604 markings/sec, 245 secs
lola: 3745776 markings, 4537527 edges, 16537 markings/sec, 250 secs
lola: 3828338 markings, 4638706 edges, 16512 markings/sec, 255 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 1 2 unknown unknown unknown unknown unknown unknown 1 unknown unknown unknown unknown unknown unknown
lola: memory consumption: 482612 KB
lola: time consumption: 682 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 262 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p209 + p210 + p211 + p212 + p213 + p214 + p215)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p209 + p210 + p211 + p212 + p213 + p214 + p215)
lola: processed formula length: 51
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J06T08-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 86767 markings, 102353 edges, 17353 markings/sec, 30 secs
lola: 172733 markings, 205323 edges, 17193 markings/sec, 35 secs
lola: 258144 markings, 307306 edges, 17082 markings/sec, 40 secs
lola: 343307 markings, 409390 edges, 17033 markings/sec, 45 secs
lola: 428343 markings, 511710 edges, 17007 markings/sec, 50 secs
lola: 513122 markings, 613747 edges, 16956 markings/sec, 55 secs
lola: 597877 markings, 715700 edges, 16951 markings/sec, 60 secs
lola: 682529 markings, 817493 edges, 16930 markings/sec, 65 secs
lola: 767293 markings, 919435 edges, 16953 markings/sec, 70 secs
lola: 851503 markings, 1020707 edges, 16842 markings/sec, 75 secs
lola: 935169 markings, 1121527 edges, 16733 markings/sec, 80 secs
lola: 1018910 markings, 1223173 edges, 16748 markings/sec, 85 secs
lola: 1102685 markings, 1324757 edges, 16755 markings/sec, 90 secs
lola: 1186135 markings, 1425306 edges, 16690 markings/sec, 95 secs
lola: 1269728 markings, 1525988 edges, 16719 markings/sec, 100 secs
lola: 1353717 markings, 1627533 edges, 16798 markings/sec, 105 secs
lola: 1437918 markings, 1729832 edges, 16840 markings/sec, 110 secs
lola: 1522143 markings, 1832193 edges, 16845 markings/sec, 115 secs
lola: 1606269 markings, 1934320 edges, 16825 markings/sec, 120 secs
lola: 1690180 markings, 2036188 edges, 16782 markings/sec, 125 secs
lola: 1774129 markings, 2137911 edges, 16790 markings/sec, 130 secs
lola: 1857955 markings, 2239108 edges, 16765 markings/sec, 135 secs
lola: 1941934 markings, 2341727 edges, 16796 markings/sec, 140 secs
lola: 2025660 markings, 2442898 edges, 16745 markings/sec, 145 secs
lola: 2109392 markings, 2544781 edges, 16746 markings/sec, 150 secs
lola: 2193103 markings, 2646990 edges, 16742 markings/sec, 155 secs
lola: 2276670 markings, 2748686 edges, 16713 markings/sec, 160 secs
lola: 2360021 markings, 2850348 edges, 16670 markings/sec, 165 secs
lola: 2443000 markings, 2951934 edges, 16596 markings/sec, 170 secs
lola: 2526480 markings, 3053707 edges, 16696 markings/sec, 175 secs
lola: 2610049 markings, 3155579 edges, 16714 markings/sec, 180 secs
lola: 2693655 markings, 3256972 edges, 16721 markings/sec, 185 secs
lola: 2777169 markings, 3358424 edges, 16703 markings/sec, 190 secs
lola: 2860433 markings, 3460076 edges, 16653 markings/sec, 195 secs
lola: 2943699 markings, 3561610 edges, 16653 markings/sec, 200 secs
lola: 3027528 markings, 3663515 edges, 16766 markings/sec, 205 secs
lola: 3111063 markings, 3765102 edges, 16707 markings/sec, 210 secs
lola: 3194630 markings, 3866527 edges, 16713 markings/sec, 215 secs
lola: 3277938 markings, 3967082 edges, 16662 markings/sec, 220 secs
lola: 3361218 markings, 4069104 edges, 16656 markings/sec, 225 secs
lola: 3444343 markings, 4170088 edges, 16625 markings/sec, 230 secs
lola: 3527695 markings, 4271463 edges, 16670 markings/sec, 235 secs
lola: 3611030 markings, 4373197 edges, 16667 markings/sec, 240 secs
lola: 3694484 markings, 4475126 edges, 16691 markings/sec, 245 secs
lola: 3777710 markings, 4576265 edges, 16645 markings/sec, 250 secs
lola: 3860788 markings, 4678581 edges, 16616 markings/sec, 255 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 1 2 unknown unknown unknown unknown unknown unknown 1 unknown unknown unknown unknown unknown unknown
lola: memory consumption: 486416 KB
lola: time consumption: 944 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 262 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146)
lola: processed formula length: 58
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J06T08-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: Structural Bound: 4
lola: 71234 markings, 82170 edges, 14247 markings/sec, 15 secs
lola: 158293 markings, 184555 edges, 17412 markings/sec, 20 secs
lola: 244909 markings, 286859 edges, 17323 markings/sec, 25 secs
lola: 331156 markings, 388367 edges, 17249 markings/sec, 30 secs
lola: 417349 markings, 489467 edges, 17239 markings/sec, 35 secs
lola: 504181 markings, 592083 edges, 17366 markings/sec, 40 secs
lola: 590920 markings, 694708 edges, 17348 markings/sec, 45 secs
lola: 677606 markings, 797011 edges, 17337 markings/sec, 50 secs
lola: 764264 markings, 899260 edges, 17332 markings/sec, 55 secs
lola: 850782 markings, 1001852 edges, 17304 markings/sec, 60 secs
lola: 936807 markings, 1103987 edges, 17205 markings/sec, 65 secs
lola: 1023212 markings, 1206215 edges, 17281 markings/sec, 70 secs
lola: 1109675 markings, 1308064 edges, 17293 markings/sec, 75 secs
lola: 1195991 markings, 1409712 edges, 17263 markings/sec, 80 secs
lola: 1282195 markings, 1512467 edges, 17241 markings/sec, 85 secs
lola: 1368370 markings, 1614359 edges, 17235 markings/sec, 90 secs
lola: 1454627 markings, 1715868 edges, 17251 markings/sec, 95 secs
lola: 1540703 markings, 1817953 edges, 17215 markings/sec, 100 secs
lola: 1626991 markings, 1919051 edges, 17258 markings/sec, 105 secs
lola: 1712934 markings, 2021122 edges, 17189 markings/sec, 110 secs
lola: 1798805 markings, 2122947 edges, 17174 markings/sec, 115 secs
lola: 1884736 markings, 2225238 edges, 17186 markings/sec, 120 secs
lola: 1970638 markings, 2327521 edges, 17180 markings/sec, 125 secs
lola: 2056560 markings, 2429547 edges, 17184 markings/sec, 130 secs
lola: 2141968 markings, 2530682 edges, 17082 markings/sec, 135 secs
lola: 2227760 markings, 2632935 edges, 17158 markings/sec, 140 secs
lola: 2313211 markings, 2734902 edges, 17090 markings/sec, 145 secs
lola: 2392249 markings, 2828722 edges, 15808 markings/sec, 150 secs
lola: 2477141 markings, 2929559 edges, 16978 markings/sec, 155 secs
lola: 2562296 markings, 3030312 edges, 17031 markings/sec, 160 secs
lola: 2647457 markings, 3131314 edges, 17032 markings/sec, 165 secs
lola: 2732679 markings, 3232691 edges, 17044 markings/sec, 170 secs
lola: 2817766 markings, 3333173 edges, 17017 markings/sec, 175 secs
lola: 2902869 markings, 3434742 edges, 17021 markings/sec, 180 secs
lola: 2987538 markings, 3536401 edges, 16934 markings/sec, 185 secs
lola: 3072656 markings, 3637594 edges, 17024 markings/sec, 190 secs
lola: 3157516 markings, 3738312 edges, 16972 markings/sec, 195 secs
lola: 3242498 markings, 3839545 edges, 16996 markings/sec, 200 secs
lola: 3327184 markings, 3940459 edges, 16937 markings/sec, 205 secs
lola: 3412186 markings, 4040883 edges, 17000 markings/sec, 210 secs
lola: 3496899 markings, 4142138 edges, 16943 markings/sec, 215 secs
lola: 3581792 markings, 4243219 edges, 16979 markings/sec, 220 secs
lola: 3666517 markings, 4344855 edges, 16945 markings/sec, 225 secs
lola: 3751245 markings, 4446180 edges, 16946 markings/sec, 230 secs
lola: 3835936 markings, 4547734 edges, 16938 markings/sec, 235 secs
lola: 3920588 markings, 4648846 edges, 16930 markings/sec, 240 secs
lola: 4005353 markings, 4749114 edges, 16953 markings/sec, 245 secs
lola: 4090174 markings, 4849383 edges, 16964 markings/sec, 250 secs
lola: 4174954 markings, 4949988 edges, 16956 markings/sec, 255 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 1 2 unknown unknown unknown unknown unknown unknown 1 unknown unknown unknown unknown unknown unknown
lola: memory consumption: 541280 KB
lola: time consumption: 1206 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 262 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p398 + p399 + p400 + p401 + p402 + p403 + p404 + p405)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p398 + p399 + p400 + p401 + p402 + p403 + p404 + p405)
lola: processed formula length: 58
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J06T08-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: Structural Bound: 4294967295
lola: 13 markings, 12 edges, 3 markings/sec, 25 secs
lola: 83102 markings, 99623 edges, 16618 markings/sec, 30 secs
lola: 165908 markings, 199076 edges, 16561 markings/sec, 35 secs
lola: 248739 markings, 298218 edges, 16566 markings/sec, 40 secs
lola: 332052 markings, 398656 edges, 16663 markings/sec, 45 secs
lola: 414677 markings, 498910 edges, 16525 markings/sec, 50 secs
lola: 494963 markings, 595461 edges, 16057 markings/sec, 55 secs
lola: 578312 markings, 696600 edges, 16670 markings/sec, 60 secs
lola: 661770 markings, 797088 edges, 16692 markings/sec, 65 secs
lola: 745048 markings, 897503 edges, 16656 markings/sec, 70 secs
lola: 828181 markings, 998277 edges, 16627 markings/sec, 75 secs
lola: 910980 markings, 1097262 edges, 16560 markings/sec, 80 secs
lola: 993986 markings, 1198506 edges, 16601 markings/sec, 85 secs
lola: 1076836 markings, 1299642 edges, 16570 markings/sec, 90 secs
lola: 1156831 markings, 1396487 edges, 15999 markings/sec, 95 secs
lola: 1234296 markings, 1491029 edges, 15493 markings/sec, 100 secs
lola: 1317773 markings, 1593083 edges, 16695 markings/sec, 105 secs
lola: 1401130 markings, 1694076 edges, 16671 markings/sec, 110 secs
lola: 1484541 markings, 1795329 edges, 16682 markings/sec, 115 secs
lola: 1567807 markings, 1896812 edges, 16653 markings/sec, 120 secs
lola: 1651385 markings, 1997584 edges, 16716 markings/sec, 125 secs
lola: 1734459 markings, 2099037 edges, 16615 markings/sec, 130 secs
lola: 1817696 markings, 2199584 edges, 16647 markings/sec, 135 secs
lola: 1900928 markings, 2300241 edges, 16646 markings/sec, 140 secs
lola: 1984145 markings, 2401877 edges, 16643 markings/sec, 145 secs
lola: 2067557 markings, 2503955 edges, 16682 markings/sec, 150 secs
lola: 2150854 markings, 2605058 edges, 16659 markings/sec, 155 secs
lola: 2234123 markings, 2705931 edges, 16654 markings/sec, 160 secs
lola: 2317141 markings, 2807209 edges, 16604 markings/sec, 165 secs
lola: 2400378 markings, 2909715 edges, 16647 markings/sec, 170 secs
lola: 2483585 markings, 3011070 edges, 16641 markings/sec, 175 secs
lola: 2566922 markings, 3112439 edges, 16667 markings/sec, 180 secs
lola: 2650169 markings, 3214108 edges, 16649 markings/sec, 185 secs
lola: 2733324 markings, 3315345 edges, 16631 markings/sec, 190 secs
lola: 2816315 markings, 3416375 edges, 16598 markings/sec, 195 secs
lola: 2899485 markings, 3518106 edges, 16634 markings/sec, 200 secs
lola: 2982581 markings, 3620317 edges, 16619 markings/sec, 205 secs
lola: 3065647 markings, 3721630 edges, 16613 markings/sec, 210 secs
lola: 3148674 markings, 3822877 edges, 16605 markings/sec, 215 secs
lola: 3231813 markings, 3924173 edges, 16628 markings/sec, 220 secs
lola: 3315068 markings, 4025939 edges, 16651 markings/sec, 225 secs
lola: 3398183 markings, 4127012 edges, 16623 markings/sec, 230 secs
lola: 3481163 markings, 4228134 edges, 16596 markings/sec, 235 secs
lola: 3564126 markings, 4330180 edges, 16593 markings/sec, 240 secs
lola: 3647247 markings, 4431545 edges, 16624 markings/sec, 245 secs
lola: 3730260 markings, 4532381 edges, 16603 markings/sec, 250 secs
lola: 3813331 markings, 4633837 edges, 16614 markings/sec, 255 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 1 2 unknown unknown unknown unknown unknown unknown 1 unknown unknown unknown unknown unknown unknown
lola: memory consumption: 484220 KB
lola: time consumption: 1468 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 262 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p682 + p683 + p684 + p685 + p686 + p687 + p688 + p689)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p682 + p683 + p684 + p685 + p686 + p687 + p688 + p689)
lola: processed formula length: 58
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J06T08-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 82655 markings, 89896 edges, 16531 markings/sec, 30 secs
lola: 164811 markings, 180926 edges, 16431 markings/sec, 35 secs
lola: 246628 markings, 273409 edges, 16363 markings/sec, 40 secs
lola: 328163 markings, 366034 edges, 16307 markings/sec, 45 secs
lola: 409648 markings, 458254 edges, 16297 markings/sec, 50 secs
lola: 491042 markings, 550753 edges, 16279 markings/sec, 55 secs
lola: 572339 markings, 642840 edges, 16259 markings/sec, 60 secs
lola: 650861 markings, 732109 edges, 15704 markings/sec, 65 secs
lola: 726691 markings, 817533 edges, 15166 markings/sec, 70 secs
lola: 806486 markings, 908492 edges, 15959 markings/sec, 75 secs
lola: 886433 markings, 1000258 edges, 15989 markings/sec, 80 secs
lola: 963838 markings, 1088657 edges, 15481 markings/sec, 85 secs
lola: 1045561 markings, 1181453 edges, 16345 markings/sec, 90 secs
lola: 1127110 markings, 1275318 edges, 16310 markings/sec, 95 secs
lola: 1208786 markings, 1368138 edges, 16335 markings/sec, 100 secs
lola: 1290400 markings, 1461753 edges, 16323 markings/sec, 105 secs
lola: 1371997 markings, 1554178 edges, 16319 markings/sec, 110 secs
lola: 1453513 markings, 1647539 edges, 16303 markings/sec, 115 secs
lola: 1534986 markings, 1740859 edges, 16295 markings/sec, 120 secs
lola: 1616605 markings, 1833723 edges, 16324 markings/sec, 125 secs
lola: 1698050 markings, 1927798 edges, 16289 markings/sec, 130 secs
lola: 1779427 markings, 2022226 edges, 16275 markings/sec, 135 secs
lola: 1860761 markings, 2116064 edges, 16267 markings/sec, 140 secs
lola: 1941911 markings, 2209979 edges, 16230 markings/sec, 145 secs
lola: 2023340 markings, 2302274 edges, 16286 markings/sec, 150 secs
lola: 2105060 markings, 2395889 edges, 16344 markings/sec, 155 secs
lola: 2182847 markings, 2484135 edges, 15557 markings/sec, 160 secs
lola: 2263351 markings, 2576666 edges, 16101 markings/sec, 165 secs
lola: 2343884 markings, 2670310 edges, 16107 markings/sec, 170 secs
lola: 2424803 markings, 2762051 edges, 16184 markings/sec, 175 secs
lola: 2505267 markings, 2855264 edges, 16093 markings/sec, 180 secs
lola: 2585776 markings, 2947709 edges, 16102 markings/sec, 185 secs
lola: 2666420 markings, 3039378 edges, 16129 markings/sec, 190 secs
lola: 2747159 markings, 3131894 edges, 16148 markings/sec, 195 secs
lola: 2827940 markings, 3224403 edges, 16156 markings/sec, 200 secs
lola: 2908722 markings, 3316983 edges, 16156 markings/sec, 205 secs
lola: 2989143 markings, 3410193 edges, 16084 markings/sec, 210 secs
lola: 3069418 markings, 3503526 edges, 16055 markings/sec, 215 secs
lola: 3149992 markings, 3596469 edges, 16115 markings/sec, 220 secs
lola: 3230732 markings, 3688847 edges, 16148 markings/sec, 225 secs
lola: 3311608 markings, 3781048 edges, 16175 markings/sec, 230 secs
lola: 3392438 markings, 3872961 edges, 16166 markings/sec, 235 secs
lola: 3472931 markings, 3965649 edges, 16099 markings/sec, 240 secs
lola: 3552641 markings, 4057164 edges, 15942 markings/sec, 245 secs
lola: 3632901 markings, 4148243 edges, 16052 markings/sec, 250 secs
lola: 3712926 markings, 4240278 edges, 16005 markings/sec, 255 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 1 2 unknown unknown unknown unknown unknown unknown 1 unknown unknown unknown unknown unknown unknown
lola: memory consumption: 472092 KB
lola: time consumption: 1730 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 262 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p491 + p492 + p493 + p494 + p495 + p496 + p497 + p498)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p491 + p492 + p493 + p494 + p495 + p496 + p497 + p498)
lola: processed formula length: 58
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J06T08-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 15 markings, 14 edges

FORMULA PolyORBLF-COL-S02J06T08-UpperBounds-4 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 10 will run for 306 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p365 + p366 + p367 + p368 + p369 + p370 + p371 + p372)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p365 + p366 + p367 + p368 + p369 + p370 + p371 + p372)
lola: processed formula length: 58
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J06T08-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 17 markings, 16 edges
lola: ========================================

FORMULA PolyORBLF-COL-S02J06T08-UpperBounds-12 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 367 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p473 + p474 + p475 + p476 + p477 + p478 + p479 + p480)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p473 + p474 + p475 + p476 + p477 + p478 + p479 + p480)
lola: processed formula length: 58
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J06T08-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 82547 markings, 103820 edges, 16509 markings/sec, 30 secs
lola: 163759 markings, 211642 edges, 16242 markings/sec, 35 secs
lola: 244749 markings, 320116 edges, 16198 markings/sec, 40 secs
lola: 324977 markings, 430383 edges, 16046 markings/sec, 45 secs
lola: 405014 markings, 539955 edges, 16007 markings/sec, 50 secs
lola: 485415 markings, 649247 edges, 16080 markings/sec, 55 secs
lola: 564848 markings, 758705 edges, 15887 markings/sec, 60 secs
lola: 644328 markings, 869925 edges, 15896 markings/sec, 65 secs
lola: 723455 markings, 980839 edges, 15825 markings/sec, 70 secs
lola: 802370 markings, 1091917 edges, 15783 markings/sec, 75 secs
lola: 881386 markings, 1202300 edges, 15803 markings/sec, 80 secs
lola: 959793 markings, 1313863 edges, 15681 markings/sec, 85 secs
lola: 1038169 markings, 1427082 edges, 15675 markings/sec, 90 secs
lola: 1116615 markings, 1537019 edges, 15689 markings/sec, 95 secs
lola: 1194975 markings, 1647860 edges, 15672 markings/sec, 100 secs
lola: 1266513 markings, 1748215 edges, 14308 markings/sec, 105 secs
lola: 1342628 markings, 1856384 edges, 15223 markings/sec, 110 secs
lola: 1420965 markings, 1969928 edges, 15667 markings/sec, 115 secs
lola: 1498975 markings, 2081314 edges, 15602 markings/sec, 120 secs
lola: 1576656 markings, 2194437 edges, 15536 markings/sec, 125 secs
lola: 1654645 markings, 2306310 edges, 15598 markings/sec, 130 secs
lola: 1732649 markings, 2419372 edges, 15601 markings/sec, 135 secs
lola: 1810321 markings, 2531703 edges, 15534 markings/sec, 140 secs
lola: 1888758 markings, 2642743 edges, 15687 markings/sec, 145 secs
lola: 1966589 markings, 2754515 edges, 15566 markings/sec, 150 secs
lola: 2044396 markings, 2866416 edges, 15561 markings/sec, 155 secs
lola: 2122010 markings, 2980312 edges, 15523 markings/sec, 160 secs
lola: 2199943 markings, 3093094 edges, 15587 markings/sec, 165 secs
lola: 2277407 markings, 3206978 edges, 15493 markings/sec, 170 secs
lola: 2354921 markings, 3319875 edges, 15503 markings/sec, 175 secs
lola: 2432858 markings, 3431926 edges, 15587 markings/sec, 180 secs
lola: 2510754 markings, 3543737 edges, 15579 markings/sec, 185 secs
lola: 2588245 markings, 3655897 edges, 15498 markings/sec, 190 secs
lola: 2665592 markings, 3768933 edges, 15469 markings/sec, 195 secs
lola: 2743152 markings, 3881803 edges, 15512 markings/sec, 200 secs
lola: 2820804 markings, 3993887 edges, 15530 markings/sec, 205 secs
lola: 2898158 markings, 4107882 edges, 15471 markings/sec, 210 secs
lola: 2975560 markings, 4220894 edges, 15480 markings/sec, 215 secs
lola: 3053166 markings, 4332416 edges, 15521 markings/sec, 220 secs
lola: 3130235 markings, 4447043 edges, 15414 markings/sec, 225 secs
lola: 3207664 markings, 4557226 edges, 15486 markings/sec, 230 secs
lola: 3285107 markings, 4670607 edges, 15489 markings/sec, 235 secs
lola: 3362509 markings, 4783482 edges, 15480 markings/sec, 240 secs
lola: 3439916 markings, 4893949 edges, 15481 markings/sec, 245 secs
lola: 3517580 markings, 5006158 edges, 15533 markings/sec, 250 secs
lola: 3595033 markings, 5118850 edges, 15491 markings/sec, 255 secs
lola: 3672471 markings, 5229449 edges, 15488 markings/sec, 260 secs
lola: 3749878 markings, 5342990 edges, 15481 markings/sec, 265 secs
lola: 3827180 markings, 5454777 edges, 15460 markings/sec, 270 secs
lola: 3904172 markings, 5568696 edges, 15398 markings/sec, 275 secs
lola: 3981255 markings, 5684955 edges, 15417 markings/sec, 280 secs
lola: 4058543 markings, 5797639 edges, 15458 markings/sec, 285 secs
lola: 4135806 markings, 5909392 edges, 15453 markings/sec, 290 secs
lola: 4213009 markings, 6023476 edges, 15441 markings/sec, 295 secs
lola: 4290123 markings, 6136447 edges, 15423 markings/sec, 300 secs
lola: 4367429 markings, 6248133 edges, 15461 markings/sec, 305 secs
lola: 4444422 markings, 6361374 edges, 15399 markings/sec, 310 secs
lola: 4521328 markings, 6475403 edges, 15381 markings/sec, 315 secs
lola: 4598417 markings, 6587365 edges, 15418 markings/sec, 320 secs
lola: 4675859 markings, 6697909 edges, 15488 markings/sec, 325 secs
lola: 4753014 markings, 6809745 edges, 15431 markings/sec, 330 secs
lola: 4830397 markings, 6919693 edges, 15477 markings/sec, 335 secs
lola: 4907440 markings, 7032726 edges, 15409 markings/sec, 340 secs
lola: 4984144 markings, 7146999 edges, 15341 markings/sec, 345 secs
lola: 5061466 markings, 7261571 edges, 15464 markings/sec, 350 secs
lola: 5138832 markings, 7375038 edges, 15473 markings/sec, 355 secs
lola: 5215965 markings, 7487355 edges, 15427 markings/sec, 360 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 1 2 unknown 1 unknown unknown unknown unknown 1 unknown unknown 1 unknown unknown unknown
lola: memory consumption: 644348 KB
lola: time consumption: 2100 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 367 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p55 + p54 + p53 + p52 + p51 + p50 + p49 + p56)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p55 + p54 + p53 + p52 + p51 + p50 + p49 + p56)
lola: processed formula length: 50
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J06T08-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 97012 markings, 100153 edges, 19402 markings/sec, 30 secs
lola: 192375 markings, 200394 edges, 19073 markings/sec, 35 secs
lola: 286586 markings, 301350 edges, 18842 markings/sec, 40 secs
lola: 380625 markings, 402775 edges, 18808 markings/sec, 45 secs
lola: 474006 markings, 503826 edges, 18676 markings/sec, 50 secs
lola: 568253 markings, 605367 edges, 18849 markings/sec, 55 secs
lola: 662756 markings, 706335 edges, 18901 markings/sec, 60 secs
lola: 756598 markings, 807576 edges, 18768 markings/sec, 65 secs
lola: 851463 markings, 908646 edges, 18973 markings/sec, 70 secs
lola: 943229 markings, 1010954 edges, 18353 markings/sec, 75 secs
lola: 1035216 markings, 1113419 edges, 18397 markings/sec, 80 secs
lola: 1127656 markings, 1214399 edges, 18488 markings/sec, 85 secs
lola: 1219280 markings, 1316658 edges, 18325 markings/sec, 90 secs
lola: 1311777 markings, 1418646 edges, 18499 markings/sec, 95 secs
lola: 1403698 markings, 1520553 edges, 18384 markings/sec, 100 secs
lola: 1495204 markings, 1623369 edges, 18301 markings/sec, 105 secs
lola: 1586749 markings, 1725791 edges, 18309 markings/sec, 110 secs
lola: 1678211 markings, 1828415 edges, 18292 markings/sec, 115 secs
lola: 1770374 markings, 1930649 edges, 18433 markings/sec, 120 secs
lola: 1863306 markings, 2032871 edges, 18586 markings/sec, 125 secs
lola: 1956215 markings, 2134666 edges, 18582 markings/sec, 130 secs
lola: 2048068 markings, 2236952 edges, 18371 markings/sec, 135 secs
lola: 2139731 markings, 2339294 edges, 18333 markings/sec, 140 secs
lola: 2232100 markings, 2441326 edges, 18474 markings/sec, 145 secs
lola: 2324612 markings, 2543736 edges, 18502 markings/sec, 150 secs
lola: 2416060 markings, 2646126 edges, 18290 markings/sec, 155 secs
lola: 2508047 markings, 2749372 edges, 18397 markings/sec, 160 secs
lola: 2603277 markings, 2850056 edges, 19046 markings/sec, 165 secs
lola: 2694585 markings, 2952866 edges, 18262 markings/sec, 170 secs
lola: 2785560 markings, 3055384 edges, 18195 markings/sec, 175 secs
lola: 2877467 markings, 3157639 edges, 18381 markings/sec, 180 secs
lola: 2968518 markings, 3260495 edges, 18210 markings/sec, 185 secs
lola: 3060255 markings, 3363420 edges, 18347 markings/sec, 190 secs
lola: 3152372 markings, 3466242 edges, 18423 markings/sec, 195 secs
lola: 3244241 markings, 3569422 edges, 18374 markings/sec, 200 secs
lola: 3336280 markings, 3672352 edges, 18408 markings/sec, 205 secs
lola: 3427297 markings, 3775157 edges, 18203 markings/sec, 210 secs
lola: 3518531 markings, 3878554 edges, 18247 markings/sec, 215 secs
lola: 3609595 markings, 3981432 edges, 18213 markings/sec, 220 secs
lola: 3700734 markings, 4084297 edges, 18228 markings/sec, 225 secs
lola: 3791726 markings, 4187398 edges, 18198 markings/sec, 230 secs
lola: 3882804 markings, 4290690 edges, 18216 markings/sec, 235 secs
lola: 3973304 markings, 4393828 edges, 18100 markings/sec, 240 secs
lola: 4065318 markings, 4496289 edges, 18403 markings/sec, 245 secs
lola: 4156002 markings, 4600095 edges, 18137 markings/sec, 250 secs
lola: 4247130 markings, 4703421 edges, 18226 markings/sec, 255 secs
lola: 4337356 markings, 4806901 edges, 18045 markings/sec, 260 secs
lola: 4428224 markings, 4910379 edges, 18174 markings/sec, 265 secs
lola: 4519546 markings, 5014038 edges, 18264 markings/sec, 270 secs
lola: 4610464 markings, 5116914 edges, 18184 markings/sec, 275 secs
lola: 4701353 markings, 5220224 edges, 18178 markings/sec, 280 secs
lola: 4792220 markings, 5323265 edges, 18173 markings/sec, 285 secs
lola: 4883924 markings, 5425954 edges, 18341 markings/sec, 290 secs
lola: 4974749 markings, 5528607 edges, 18165 markings/sec, 295 secs
lola: 5065942 markings, 5632156 edges, 18239 markings/sec, 300 secs
lola: 5157556 markings, 5735524 edges, 18323 markings/sec, 305 secs
lola: 5248014 markings, 5838433 edges, 18092 markings/sec, 310 secs
lola: 5338645 markings, 5941909 edges, 18126 markings/sec, 315 secs
lola: 5429511 markings, 6045287 edges, 18173 markings/sec, 320 secs
lola: 5519612 markings, 6148863 edges, 18020 markings/sec, 325 secs
lola: 5611811 markings, 6251413 edges, 18440 markings/sec, 330 secs
lola: 5702199 markings, 6354619 edges, 18078 markings/sec, 335 secs
lola: 5792738 markings, 6458129 edges, 18108 markings/sec, 340 secs
lola: 5884066 markings, 6561137 edges, 18266 markings/sec, 345 secs
lola: 5974476 markings, 6664729 edges, 18082 markings/sec, 350 secs
lola: 6064203 markings, 6768285 edges, 17945 markings/sec, 355 secs
lola: 6155097 markings, 6871793 edges, 18179 markings/sec, 360 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 1 2 unknown 1 unknown unknown unknown unknown 1 unknown unknown 1 unknown unknown unknown
lola: memory consumption: 761744 KB
lola: time consumption: 2468 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 367 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p491 + p492 + p493 + p494 + p495 + p496 + p497 + p498)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p491 + p492 + p493 + p494 + p495 + p496 + p497 + p498)
lola: processed formula length: 58
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J06T08-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 15 markings, 14 edges

FORMULA PolyORBLF-COL-S02J06T08-UpperBounds-15 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 14 will run for 550 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p248 + p249 + p250 + p251 + p252 + p253 + p254 + p255 + p256 + p257 + p258 + p259 + p260 + p261 + p262 + p263)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p248 + p249 + p250 + p251 + p252 + p253 + p254 + p255 + p256 + p257 + p258 + p259 + p260 + p261 + p262 + p263)
lola: processed formula length: 114
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J06T08-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 61 markings, 60 edges

FORMULA PolyORBLF-COL-S02J06T08-UpperBounds-7 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 15 will run for 1098 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p507 + p508 + p509 + p510 + p511 + p512 + p513 + p514 + p515 + p516 + p517 + p518 + p519 + p520 + p521 + p522)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p507 + p508 + p509 + p510 + p511 + p512 + p513 + p514 + p515 + p516 + p517 + p518 + p519 + p520 + p521 + p522)
lola: processed formula length: 114
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J06T08-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: Structural Bound: 2
lola: 60931 markings, 66012 edges, 12186 markings/sec, 10 secs
lola: 140592 markings, 155179 edges, 15932 markings/sec, 15 secs
lola: 220038 markings, 244618 edges, 15889 markings/sec, 20 secs
lola: 299212 markings, 334462 edges, 15835 markings/sec, 25 secs
lola: 378433 markings, 423991 edges, 15844 markings/sec, 30 secs
lola: 457478 markings, 514177 edges, 15809 markings/sec, 35 secs
lola: 536436 markings, 604013 edges, 15792 markings/sec, 40 secs
lola: 615254 markings, 693321 edges, 15764 markings/sec, 45 secs
lola: 693928 markings, 784561 edges, 15735 markings/sec, 50 secs
lola: 772683 markings, 874488 edges, 15751 markings/sec, 55 secs
lola: 851374 markings, 964610 edges, 15738 markings/sec, 60 secs
lola: 929881 markings, 1053596 edges, 15701 markings/sec, 65 secs
lola: 1008469 markings, 1144733 edges, 15718 markings/sec, 70 secs
lola: 1086985 markings, 1234792 edges, 15703 markings/sec, 75 secs
lola: 1165338 markings, 1324746 edges, 15671 markings/sec, 80 secs
lola: 1243605 markings, 1414564 edges, 15653 markings/sec, 85 secs
lola: 1322025 markings, 1505133 edges, 15684 markings/sec, 90 secs
lola: 1400398 markings, 1595455 edges, 15675 markings/sec, 95 secs
lola: 1478789 markings, 1685917 edges, 15678 markings/sec, 100 secs
lola: 1556917 markings, 1776602 edges, 15626 markings/sec, 105 secs
lola: 1635062 markings, 1866753 edges, 15629 markings/sec, 110 secs
lola: 1713375 markings, 1957646 edges, 15663 markings/sec, 115 secs
lola: 1791464 markings, 2047870 edges, 15618 markings/sec, 120 secs
lola: 1869723 markings, 2138483 edges, 15652 markings/sec, 125 secs
lola: 1948097 markings, 2229351 edges, 15675 markings/sec, 130 secs
lola: 2026224 markings, 2319433 edges, 15625 markings/sec, 135 secs
lola: 2104360 markings, 2409871 edges, 15627 markings/sec, 140 secs
lola: 2182676 markings, 2500238 edges, 15663 markings/sec, 145 secs
lola: 2260814 markings, 2590535 edges, 15628 markings/sec, 150 secs
lola: 2339082 markings, 2680384 edges, 15654 markings/sec, 155 secs
lola: 2417148 markings, 2770811 edges, 15613 markings/sec, 160 secs
lola: 2495258 markings, 2861617 edges, 15622 markings/sec, 165 secs
lola: 2573296 markings, 2952628 edges, 15608 markings/sec, 170 secs
lola: 2651161 markings, 3042475 edges, 15573 markings/sec, 175 secs
lola: 2729138 markings, 3131337 edges, 15595 markings/sec, 180 secs
lola: 2806833 markings, 3220930 edges, 15539 markings/sec, 185 secs
lola: 2884811 markings, 3310936 edges, 15596 markings/sec, 190 secs
lola: 2962626 markings, 3401518 edges, 15563 markings/sec, 195 secs
lola: 3040597 markings, 3490857 edges, 15594 markings/sec, 200 secs
lola: 3118624 markings, 3582126 edges, 15605 markings/sec, 205 secs
lola: 3196699 markings, 3671419 edges, 15615 markings/sec, 210 secs
lola: 3274516 markings, 3762303 edges, 15563 markings/sec, 215 secs
lola: 3352529 markings, 3852130 edges, 15603 markings/sec, 220 secs
lola: 3430555 markings, 3942866 edges, 15605 markings/sec, 225 secs
lola: 3508689 markings, 4034405 edges, 15627 markings/sec, 230 secs
lola: 3586855 markings, 4125523 edges, 15633 markings/sec, 235 secs
lola: 3664908 markings, 4215348 edges, 15611 markings/sec, 240 secs
lola: 3742933 markings, 4306003 edges, 15605 markings/sec, 245 secs
lola: 3820993 markings, 4396610 edges, 15612 markings/sec, 250 secs
lola: 3899032 markings, 4487064 edges, 15608 markings/sec, 255 secs
lola: 3977097 markings, 4577267 edges, 15613 markings/sec, 260 secs
lola: 4055135 markings, 4668102 edges, 15608 markings/sec, 265 secs
lola: 4133294 markings, 4758080 edges, 15632 markings/sec, 270 secs
lola: 4211248 markings, 4848594 edges, 15591 markings/sec, 275 secs
lola: 4289238 markings, 4938975 edges, 15598 markings/sec, 280 secs
lola: 4366942 markings, 5029626 edges, 15541 markings/sec, 285 secs
lola: 4445193 markings, 5119210 edges, 15650 markings/sec, 290 secs
lola: 4523288 markings, 5208736 edges, 15619 markings/sec, 295 secs
lola: 4601171 markings, 5299428 edges, 15577 markings/sec, 300 secs
lola: 4679149 markings, 5390189 edges, 15596 markings/sec, 305 secs
lola: 4757380 markings, 5480751 edges, 15646 markings/sec, 310 secs
lola: 4835272 markings, 5571402 edges, 15578 markings/sec, 315 secs
lola: 4913078 markings, 5662492 edges, 15561 markings/sec, 320 secs
lola: 4990945 markings, 5753311 edges, 15573 markings/sec, 325 secs
lola: 5068678 markings, 5844398 edges, 15547 markings/sec, 330 secs
lola: 5146487 markings, 5935772 edges, 15562 markings/sec, 335 secs
lola: 5224341 markings, 6027027 edges, 15571 markings/sec, 340 secs
lola: 5302218 markings, 6118003 edges, 15575 markings/sec, 345 secs
lola: 5380295 markings, 6209363 edges, 15615 markings/sec, 350 secs
lola: 5458174 markings, 6299982 edges, 15576 markings/sec, 355 secs
lola: 5536236 markings, 6390710 edges, 15612 markings/sec, 360 secs
lola: 5614280 markings, 6481487 edges, 15609 markings/sec, 365 secs
lola: 5692232 markings, 6571325 edges, 15590 markings/sec, 370 secs
lola: 5770148 markings, 6661492 edges, 15583 markings/sec, 375 secs
lola: 5848176 markings, 6751698 edges, 15606 markings/sec, 380 secs
lola: 5926053 markings, 6841951 edges, 15575 markings/sec, 385 secs
lola: 6004087 markings, 6932578 edges, 15607 markings/sec, 390 secs
lola: 6081920 markings, 7023039 edges, 15567 markings/sec, 395 secs
lola: 6159927 markings, 7113743 edges, 15601 markings/sec, 400 secs
lola: 6237810 markings, 7204286 edges, 15577 markings/sec, 405 secs
lola: 6315670 markings, 7294934 edges, 15572 markings/sec, 410 secs
lola: 6393366 markings, 7385706 edges, 15539 markings/sec, 415 secs
lola: 6471251 markings, 7475890 edges, 15577 markings/sec, 420 secs
lola: 6549045 markings, 7566509 edges, 15559 markings/sec, 425 secs
lola: 6626940 markings, 7657428 edges, 15579 markings/sec, 430 secs
lola: 6704809 markings, 7747474 edges, 15574 markings/sec, 435 secs
lola: 6782488 markings, 7839014 edges, 15536 markings/sec, 440 secs
lola: 6860275 markings, 7930359 edges, 15557 markings/sec, 445 secs
lola: 6938114 markings, 8020076 edges, 15568 markings/sec, 450 secs
lola: 7016012 markings, 8111215 edges, 15580 markings/sec, 455 secs
lola: 7093740 markings, 8201872 edges, 15546 markings/sec, 460 secs
lola: 7171529 markings, 8292922 edges, 15558 markings/sec, 465 secs
lola: 7249293 markings, 8383312 edges, 15553 markings/sec, 470 secs
lola: 7327016 markings, 8474847 edges, 15545 markings/sec, 475 secs
lola: 7404938 markings, 8565279 edges, 15584 markings/sec, 480 secs
lola: 7482801 markings, 8655813 edges, 15573 markings/sec, 485 secs
lola: 7560530 markings, 8746672 edges, 15546 markings/sec, 490 secs
lola: 7638347 markings, 8837610 edges, 15563 markings/sec, 495 secs
lola: 7716128 markings, 8928930 edges, 15556 markings/sec, 500 secs
lola: 7793980 markings, 9019061 edges, 15570 markings/sec, 505 secs
lola: 7871788 markings, 9110258 edges, 15562 markings/sec, 510 secs
lola: 7949579 markings, 9201057 edges, 15558 markings/sec, 515 secs
lola: 8027147 markings, 9291842 edges, 15514 markings/sec, 520 secs
lola: 8104771 markings, 9382711 edges, 15525 markings/sec, 525 secs
lola: 8182452 markings, 9473325 edges, 15536 markings/sec, 530 secs
lola: 8260208 markings, 9564939 edges, 15551 markings/sec, 535 secs
lola: 8337890 markings, 9656156 edges, 15536 markings/sec, 540 secs
lola: 8415817 markings, 9746683 edges, 15585 markings/sec, 545 secs
lola: 8493557 markings, 9838099 edges, 15548 markings/sec, 550 secs
lola: 8568497 markings, 9926063 edges, 14988 markings/sec, 555 secs
lola: 8646744 markings, 10017522 edges, 15649 markings/sec, 560 secs
lola: 8722999 markings, 10106361 edges, 15251 markings/sec, 565 secs
lola: 8794132 markings, 10190063 edges, 14227 markings/sec, 570 secs
lola: 8872729 markings, 10280882 edges, 15719 markings/sec, 575 secs
lola: 8951169 markings, 10371139 edges, 15688 markings/sec, 580 secs
lola: 9029600 markings, 10462848 edges, 15686 markings/sec, 585 secs
lola: 9107934 markings, 10554983 edges, 15667 markings/sec, 590 secs
lola: 9186355 markings, 10646270 edges, 15684 markings/sec, 595 secs
lola: 9264840 markings, 10737937 edges, 15697 markings/sec, 600 secs
lola: 9343467 markings, 10828624 edges, 15725 markings/sec, 605 secs
lola: 9422014 markings, 10919410 edges, 15709 markings/sec, 610 secs
lola: 9500460 markings, 11010486 edges, 15689 markings/sec, 615 secs
lola: 9578926 markings, 11101193 edges, 15693 markings/sec, 620 secs
lola: 9657406 markings, 11192745 edges, 15696 markings/sec, 625 secs
lola: 9735825 markings, 11284357 edges, 15684 markings/sec, 630 secs
lola: 9814291 markings, 11375521 edges, 15693 markings/sec, 635 secs
lola: 9892693 markings, 11467344 edges, 15680 markings/sec, 640 secs
lola: 9971109 markings, 11558924 edges, 15683 markings/sec, 645 secs
lola: 10049382 markings, 11650047 edges, 15655 markings/sec, 650 secs
lola: 10127861 markings, 11741125 edges, 15696 markings/sec, 655 secs
lola: 10206128 markings, 11833030 edges, 15653 markings/sec, 660 secs
lola: 10284416 markings, 11924044 edges, 15658 markings/sec, 665 secs
lola: 10362918 markings, 12015610 edges, 15700 markings/sec, 670 secs
lola: 10441351 markings, 12106804 edges, 15687 markings/sec, 675 secs
lola: 10519559 markings, 12198293 edges, 15642 markings/sec, 680 secs
lola: 10598026 markings, 12289732 edges, 15693 markings/sec, 685 secs
lola: 10676338 markings, 12381309 edges, 15662 markings/sec, 690 secs
lola: 10754607 markings, 12472699 edges, 15654 markings/sec, 695 secs
lola: 10833130 markings, 12563130 edges, 15705 markings/sec, 700 secs
lola: 10911521 markings, 12654679 edges, 15678 markings/sec, 705 secs
lola: 10990143 markings, 12745469 edges, 15724 markings/sec, 710 secs
lola: 11068582 markings, 12837098 edges, 15688 markings/sec, 715 secs
lola: 11146929 markings, 12929881 edges, 15669 markings/sec, 720 secs
lola: 11225219 markings, 13021109 edges, 15658 markings/sec, 725 secs
lola: 11303539 markings, 13112783 edges, 15664 markings/sec, 730 secs
lola: 11381714 markings, 13204191 edges, 15635 markings/sec, 735 secs
lola: 11460138 markings, 13295952 edges, 15685 markings/sec, 740 secs
lola: 11538662 markings, 13386819 edges, 15705 markings/sec, 745 secs
lola: 11617157 markings, 13478055 edges, 15699 markings/sec, 750 secs
lola: 11695361 markings, 13570040 edges, 15641 markings/sec, 755 secs
lola: 11773821 markings, 13661059 edges, 15692 markings/sec, 760 secs
lola: 11852166 markings, 13752953 edges, 15669 markings/sec, 765 secs
lola: 11930536 markings, 13844058 edges, 15674 markings/sec, 770 secs
lola: 12008899 markings, 13935749 edges, 15673 markings/sec, 775 secs
lola: 12087188 markings, 14027027 edges, 15658 markings/sec, 780 secs
lola: 12165559 markings, 14118357 edges, 15674 markings/sec, 785 secs
lola: 12243881 markings, 14209039 edges, 15664 markings/sec, 790 secs
lola: 12322298 markings, 14300300 edges, 15683 markings/sec, 795 secs
lola: 12400516 markings, 14392531 edges, 15644 markings/sec, 800 secs
lola: 12478587 markings, 14484569 edges, 15614 markings/sec, 805 secs
lola: 12556851 markings, 14576589 edges, 15653 markings/sec, 810 secs
lola: 12635169 markings, 14667893 edges, 15664 markings/sec, 815 secs
lola: 12713458 markings, 14759717 edges, 15658 markings/sec, 820 secs
lola: 12791572 markings, 14851351 edges, 15623 markings/sec, 825 secs
lola: 12869883 markings, 14943336 edges, 15662 markings/sec, 830 secs
lola: 12948270 markings, 15035242 edges, 15677 markings/sec, 835 secs
lola: 13026863 markings, 15126612 edges, 15719 markings/sec, 840 secs
lola: 13105385 markings, 15218111 edges, 15704 markings/sec, 845 secs
lola: 13183628 markings, 15309496 edges, 15649 markings/sec, 850 secs
lola: 13262147 markings, 15400175 edges, 15704 markings/sec, 855 secs
lola: 13340417 markings, 15491493 edges, 15654 markings/sec, 860 secs
lola: 13416739 markings, 15580812 edges, 15264 markings/sec, 865 secs
lola: 13488045 markings, 15663864 edges, 14261 markings/sec, 870 secs
lola: 13566431 markings, 15755633 edges, 15677 markings/sec, 875 secs
lola: 13644563 markings, 15846831 edges, 15626 markings/sec, 880 secs
lola: 13722764 markings, 15938204 edges, 15640 markings/sec, 885 secs
lola: 13800996 markings, 16029539 edges, 15646 markings/sec, 890 secs
lola: 13879094 markings, 16120595 edges, 15620 markings/sec, 895 secs
lola: 13957370 markings, 16211997 edges, 15655 markings/sec, 900 secs
lola: 14035501 markings, 16303780 edges, 15626 markings/sec, 905 secs
lola: 14114089 markings, 16394763 edges, 15718 markings/sec, 910 secs
lola: 14192508 markings, 16486749 edges, 15684 markings/sec, 915 secs
lola: 14270617 markings, 16577274 edges, 15622 markings/sec, 920 secs
lola: 14348641 markings, 16669046 edges, 15605 markings/sec, 925 secs
lola: 14426903 markings, 16760325 edges, 15652 markings/sec, 930 secs
lola: 14504935 markings, 16853217 edges, 15606 markings/sec, 935 secs
lola: 14583313 markings, 16944854 edges, 15676 markings/sec, 940 secs
lola: 14661583 markings, 17036122 edges, 15654 markings/sec, 945 secs
lola: 14739915 markings, 17128196 edges, 15666 markings/sec, 950 secs
lola: 14818137 markings, 17220317 edges, 15644 markings/sec, 955 secs
lola: 14896326 markings, 17312051 edges, 15638 markings/sec, 960 secs
lola: 14974626 markings, 17403412 edges, 15660 markings/sec, 965 secs
lola: 15053033 markings, 17494873 edges, 15681 markings/sec, 970 secs
lola: 15131388 markings, 17586384 edges, 15671 markings/sec, 975 secs
lola: 15209739 markings, 17678399 edges, 15670 markings/sec, 980 secs
lola: 15287932 markings, 17769731 edges, 15639 markings/sec, 985 secs
lola: 15366039 markings, 17862004 edges, 15621 markings/sec, 990 secs
lola: 15444293 markings, 17953357 edges, 15651 markings/sec, 995 secs
lola: 15522665 markings, 18045350 edges, 15674 markings/sec, 1000 secs
lola: 15600899 markings, 18136512 edges, 15647 markings/sec, 1005 secs
lola: 15679162 markings, 18228173 edges, 15653 markings/sec, 1010 secs
lola: 15757171 markings, 18319965 edges, 15602 markings/sec, 1015 secs
lola: 15835376 markings, 18411607 edges, 15641 markings/sec, 1020 secs
lola: 15913748 markings, 18503114 edges, 15674 markings/sec, 1025 secs
lola: 15992120 markings, 18594545 edges, 15674 markings/sec, 1030 secs
lola: 16070426 markings, 18685618 edges, 15661 markings/sec, 1035 secs
lola: 16148777 markings, 18777178 edges, 15670 markings/sec, 1040 secs
lola: 16227039 markings, 18869081 edges, 15652 markings/sec, 1045 secs
lola: 16305342 markings, 18960777 edges, 15661 markings/sec, 1050 secs
lola: 16383385 markings, 19051809 edges, 15609 markings/sec, 1055 secs
lola: 16461521 markings, 19142923 edges, 15627 markings/sec, 1060 secs
lola: 16539613 markings, 19234184 edges, 15618 markings/sec, 1065 secs
lola: 16617848 markings, 19326150 edges, 15647 markings/sec, 1070 secs
lola: 16696260 markings, 19417104 edges, 15682 markings/sec, 1075 secs
lola: 16774513 markings, 19509172 edges, 15651 markings/sec, 1080 secs
lola: 16852641 markings, 19599827 edges, 15626 markings/sec, 1085 secs
lola: 16930843 markings, 19691885 edges, 15640 markings/sec, 1090 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 1 2 unknown 1 unknown unknown 1 unknown 1 unknown unknown 1 unknown unknown 1
lola: memory consumption: 1990312 KB
lola: time consumption: 3570 seconds
lola: time limit reached - aborting
lola:
preliminary result: unknown 1 2 unknown 1 unknown unknown 1 unknown 1 unknown unknown 1 unknown unknown 1
lola:
preliminary result: unknown 1 2 unknown 1 unknown unknown 1 unknown 1 unknown unknown 1 unknown unknown 1
lola: memory consumption: 20264 KB
lola: time consumption: 3570 seconds

BK_STOP 1526842708350

--------------------
content from 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="PolyORBLF-COL-S02J06T08"
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/PolyORBLF-COL-S02J06T08.tgz
mv PolyORBLF-COL-S02J06T08 execution
cd execution
pwd
ls -lh

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool lola"
echo " Input is PolyORBLF-COL-S02J06T08, 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 r124-smll-152673526800037"
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 ;