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 332K
-rw-r--r-- 1 mcc users 5.6K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 29K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 13K 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.7K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.1K 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 13K 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-S02J04T06, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r124-smll-152673526700009
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1526806398985

info: Time: 3600 - MCC
===========================================================================================
prep: translating PolyORBLF-COL-S02J04T06 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating COL Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating PolyORBLF-COL-S02J04T06 formula UpperBounds into LoLA format
===========================================================================================
prep: translating COL formula complete
vrfy: Checking UpperBounds @ PolyORBLF-COL-S02J04T06 @ 3569 seconds
lola: LoLA will run for 3569 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 1396/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 15232
lola: finding significant places
lola: 476 places, 920 transitions, 430 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1243 transition conflict sets
lola: TASK
lola: reading formula from PolyORBLF-COL-S02J04T06-UpperBounds.task
lola: LP says that atomic proposition is always false: (p36 <= 0)
lola: MAX(p432) : MAX(p195) : MAX(p215 + p216 + p217 + p218 + p219 + p220) : MAX(p356 + p357) : MAX(p36) : MAX(p77 + p76 + p75 + p74 + p73 + p78) : MAX(p123 + p124 + p125 + p126 + p127 + p128) : MAX(p343 + p344 + p345 + p346 + p347 + p348) : MAX(p402 + p403 + p404 + p405 + p406 + p407) : MAX(p72) : MAX(p384 + p385 + p386 + p387 + p388 + p389) : MAX(p109 + p110) : MAX(p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35) : MAX(p358 + p359 + p360 + p361 + p362 + p363 + p364 + p365 + p366 + p367 + p368 + p369) : MAX(p258) : MAX(p194)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 220 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p36)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p36)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J04T06-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: 10
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 16 markings, 15 edges
lola: ========================================

FORMULA PolyORBLF-COL-S02J04T06-UpperBounds-4 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 234 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p195)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p195)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J04T06-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: 0 markings, 0 edges
lola: ========================================

FORMULA PolyORBLF-COL-S02J04T06-UpperBounds-1 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 251 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p432)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p432)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J04T06-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: 30 markings, 29 edges
lola: ========================================

FORMULA PolyORBLF-COL-S02J04T06-UpperBounds-0 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 271 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p72)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p72)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J04T06-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: 0 markings, 0 edges
lola: ========================================

FORMULA PolyORBLF-COL-S02J04T06-UpperBounds-9 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 293 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p258)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p258)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J04T06-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: 150668 markings, 161513 edges, 30134 markings/sec, 30 secs
lola: 299831 markings, 323057 edges, 29833 markings/sec, 35 secs
lola: 448398 markings, 483900 edges, 29713 markings/sec, 40 secs
lola: 596684 markings, 645499 edges, 29657 markings/sec, 45 secs
lola: 745059 markings, 807194 edges, 29675 markings/sec, 50 secs
lola: 893137 markings, 968518 edges, 29616 markings/sec, 55 secs
lola: 1040897 markings, 1130141 edges, 29552 markings/sec, 60 secs
lola: 1188597 markings, 1292004 edges, 29540 markings/sec, 65 secs
lola: 1335733 markings, 1453951 edges, 29427 markings/sec, 70 secs
lola: 1483233 markings, 1614283 edges, 29500 markings/sec, 75 secs
lola: 1630613 markings, 1775988 edges, 29476 markings/sec, 80 secs
lola: 1777874 markings, 1936852 edges, 29452 markings/sec, 85 secs
lola: 1924893 markings, 2099279 edges, 29404 markings/sec, 90 secs
lola: 2071735 markings, 2261572 edges, 29368 markings/sec, 95 secs
lola: 2211571 markings, 2415068 edges, 27967 markings/sec, 100 secs
lola: 2357703 markings, 2577684 edges, 29226 markings/sec, 105 secs
lola: 2503689 markings, 2740378 edges, 29197 markings/sec, 110 secs
lola: 2649545 markings, 2902314 edges, 29171 markings/sec, 115 secs
lola: 2794935 markings, 3064949 edges, 29078 markings/sec, 120 secs
lola: 2940437 markings, 3228654 edges, 29100 markings/sec, 125 secs
lola: 3085781 markings, 3391827 edges, 29069 markings/sec, 130 secs
lola: 3231228 markings, 3554917 edges, 29089 markings/sec, 135 secs
lola: 3376162 markings, 3717428 edges, 28987 markings/sec, 140 secs
lola: 3520906 markings, 3881351 edges, 28949 markings/sec, 145 secs
lola: 3665115 markings, 4043708 edges, 28842 markings/sec, 150 secs
lola: 3809277 markings, 4206667 edges, 28832 markings/sec, 155 secs
lola: 3953161 markings, 4368441 edges, 28777 markings/sec, 160 secs
lola: 4096933 markings, 4531163 edges, 28754 markings/sec, 165 secs
lola: 4239986 markings, 4692599 edges, 28611 markings/sec, 170 secs
lola: 4383217 markings, 4855298 edges, 28646 markings/sec, 175 secs
lola: 4525360 markings, 5016907 edges, 28429 markings/sec, 180 secs
lola: 4667200 markings, 5178639 edges, 28368 markings/sec, 185 secs
lola: 4808557 markings, 5340079 edges, 28271 markings/sec, 190 secs
lola: 4948712 markings, 5500713 edges, 28031 markings/sec, 195 secs
lola: 5088657 markings, 5661777 edges, 27989 markings/sec, 200 secs
lola: 5229518 markings, 5825625 edges, 28172 markings/sec, 205 secs
lola: 5371140 markings, 5991301 edges, 28324 markings/sec, 210 secs
lola: 5511970 markings, 6155334 edges, 28166 markings/sec, 215 secs
lola: 5650876 markings, 6318016 edges, 27781 markings/sec, 220 secs
lola: 5790636 markings, 6482748 edges, 27952 markings/sec, 225 secs
lola: 5928301 markings, 6645449 edges, 27533 markings/sec, 230 secs
lola: 6065279 markings, 6805154 edges, 27396 markings/sec, 235 secs
lola: 6203840 markings, 6969216 edges, 27712 markings/sec, 240 secs
lola: 6343777 markings, 7133562 edges, 27987 markings/sec, 245 secs
lola: 6484235 markings, 7296034 edges, 28092 markings/sec, 250 secs
lola: 6622760 markings, 7460638 edges, 27705 markings/sec, 255 secs
lola: 6763570 markings, 7622983 edges, 28162 markings/sec, 260 secs
lola: 6903263 markings, 7785979 edges, 27939 markings/sec, 265 secs
lola: 7042084 markings, 7948787 edges, 27764 markings/sec, 270 secs
lola: 7180149 markings, 8107605 edges, 27613 markings/sec, 275 secs
lola: 7317387 markings, 8271085 edges, 27448 markings/sec, 280 secs
lola: 7454928 markings, 8434085 edges, 27508 markings/sec, 285 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 unknown unknown 10 unknown unknown unknown unknown 1 unknown unknown unknown unknown unknown unknown
lola: memory consumption: 692984 KB
lola: time consumption: 340 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 293 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p194)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p194)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J04T06-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: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 0 markings, 0 edges

FORMULA PolyORBLF-COL-S02J04T06-UpperBounds-15 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 6 will run for 321 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p356 + p357)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p356 + p357)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J04T06-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: 146206 markings, 177021 edges, 29241 markings/sec, 30 secs
lola: 291520 markings, 352288 edges, 29063 markings/sec, 35 secs
lola: 436498 markings, 529041 edges, 28996 markings/sec, 40 secs
lola: 580732 markings, 704324 edges, 28847 markings/sec, 45 secs
lola: 724459 markings, 880136 edges, 28745 markings/sec, 50 secs
lola: 867655 markings, 1056853 edges, 28639 markings/sec, 55 secs
lola: 1010937 markings, 1232414 edges, 28656 markings/sec, 60 secs
lola: 1153948 markings, 1408504 edges, 28602 markings/sec, 65 secs
lola: 1296892 markings, 1582794 edges, 28589 markings/sec, 70 secs
lola: 1439243 markings, 1758616 edges, 28470 markings/sec, 75 secs
lola: 1581515 markings, 1933304 edges, 28454 markings/sec, 80 secs
lola: 1723354 markings, 2108205 edges, 28368 markings/sec, 85 secs
lola: 1864812 markings, 2282269 edges, 28292 markings/sec, 90 secs
lola: 2005932 markings, 2456789 edges, 28224 markings/sec, 95 secs
lola: 2146602 markings, 2629521 edges, 28134 markings/sec, 100 secs
lola: 2287408 markings, 2803779 edges, 28161 markings/sec, 105 secs
lola: 2427467 markings, 2979172 edges, 28012 markings/sec, 110 secs
lola: 2567540 markings, 3153399 edges, 28015 markings/sec, 115 secs
lola: 2707403 markings, 3324885 edges, 27973 markings/sec, 120 secs
lola: 2846897 markings, 3497408 edges, 27899 markings/sec, 125 secs
lola: 2986225 markings, 3668401 edges, 27866 markings/sec, 130 secs
lola: 3125494 markings, 3838716 edges, 27854 markings/sec, 135 secs
lola: 3264205 markings, 4008672 edges, 27742 markings/sec, 140 secs
lola: 3402161 markings, 4176547 edges, 27591 markings/sec, 145 secs
lola: 3539762 markings, 4345642 edges, 27520 markings/sec, 150 secs
lola: 3677194 markings, 4512448 edges, 27486 markings/sec, 155 secs
lola: 3814725 markings, 4677901 edges, 27506 markings/sec, 160 secs
lola: 3952246 markings, 4846215 edges, 27504 markings/sec, 165 secs
lola: 4089308 markings, 5013104 edges, 27412 markings/sec, 170 secs
lola: 4226482 markings, 5178448 edges, 27435 markings/sec, 175 secs
lola: 4363216 markings, 5343233 edges, 27347 markings/sec, 180 secs
lola: 4499648 markings, 5508781 edges, 27286 markings/sec, 185 secs
lola: 4636060 markings, 5674234 edges, 27282 markings/sec, 190 secs
lola: 4772148 markings, 5838797 edges, 27218 markings/sec, 195 secs
lola: 4909013 markings, 6006972 edges, 27373 markings/sec, 200 secs
lola: 5045994 markings, 6173793 edges, 27396 markings/sec, 205 secs
lola: 5182381 markings, 6337780 edges, 27277 markings/sec, 210 secs
lola: 5318710 markings, 6504827 edges, 27266 markings/sec, 215 secs
lola: 5455674 markings, 6672108 edges, 27393 markings/sec, 220 secs
lola: 5592545 markings, 6838730 edges, 27374 markings/sec, 225 secs
lola: 5728865 markings, 7004360 edges, 27264 markings/sec, 230 secs
lola: 5865052 markings, 7168836 edges, 27237 markings/sec, 235 secs
lola: 6000964 markings, 7334465 edges, 27182 markings/sec, 240 secs
lola: 6137396 markings, 7500505 edges, 27286 markings/sec, 245 secs
lola: 6272482 markings, 7665446 edges, 27017 markings/sec, 250 secs
lola: 6408046 markings, 7831810 edges, 27113 markings/sec, 255 secs
lola: 6543675 markings, 7997257 edges, 27126 markings/sec, 260 secs
lola: 6678647 markings, 8161173 edges, 26994 markings/sec, 265 secs
lola: 6814138 markings, 8326070 edges, 27098 markings/sec, 270 secs
lola: 6948861 markings, 8491909 edges, 26945 markings/sec, 275 secs
lola: 7083481 markings, 8658093 edges, 26924 markings/sec, 280 secs
lola: 7218505 markings, 8825872 edges, 27005 markings/sec, 285 secs
lola: 7352441 markings, 8990036 edges, 26787 markings/sec, 290 secs
lola: 7487651 markings, 9153661 edges, 27042 markings/sec, 295 secs
lola: 7621731 markings, 9319125 edges, 26816 markings/sec, 300 secs
lola: 7756365 markings, 9483318 edges, 26927 markings/sec, 305 secs
lola: 7891411 markings, 9650414 edges, 27009 markings/sec, 310 secs
lola: 8026829 markings, 9815030 edges, 27084 markings/sec, 315 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 unknown unknown 10 unknown unknown unknown unknown 1 unknown unknown unknown unknown unknown 1
lola: memory consumption: 738880 KB
lola: time consumption: 679 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 321 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p109 + p110)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p109 + p110)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J04T06-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: 2
lola: SUBRESULT
lola: result: 2
lola: produced by: state space
lola: The maximum value of the given expression is 2
lola: 0 markings, 0 edges

FORMULA PolyORBLF-COL-S02J04T06-UpperBounds-11 2 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 8 will run for 361 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p402 + p403 + p404 + p405 + p406 + p407)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p402 + p403 + p404 + p405 + p406 + p407)
lola: processed formula length: 44
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J04T06-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: 16 markings, 15 edges
lola: ========================================

FORMULA PolyORBLF-COL-S02J04T06-UpperBounds-8 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 412 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p215 + p216 + p217 + p218 + p219 + p220)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p215 + p216 + p217 + p218 + p219 + p220)
lola: processed formula length: 44
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J04T06-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: 6
lola: SUBRESULT
lola: result: 6
lola: produced by: state space
lola: The maximum value of the given expression is 6
lola: 1534 markings, 1538 edges

FORMULA PolyORBLF-COL-S02J04T06-UpperBounds-2 6 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 10 will run for 481 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p384 + p385 + p386 + p387 + p388 + p389)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p384 + p385 + p386 + p387 + p388 + p389)
lola: processed formula length: 44
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J04T06-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: 40 markings, 39 edges

FORMULA PolyORBLF-COL-S02J04T06-UpperBounds-10 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 11 will run for 577 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p77 + p76 + p75 + p74 + p73 + p78)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p77 + p76 + p75 + p74 + p73 + p78)
lola: processed formula length: 38
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J04T06-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: 4
lola: 133351 markings, 137765 edges, 26670 markings/sec, 0 secs
lola: 276294 markings, 288012 edges, 28589 markings/sec, 5 secs
lola: 418196 markings, 438421 edges, 28380 markings/sec, 10 secs
lola: 559108 markings, 589236 edges, 28182 markings/sec, 15 secs
lola: 699329 markings, 740458 edges, 28044 markings/sec, 20 secs
lola: 838603 markings, 891783 edges, 27855 markings/sec, 25 secs
lola: 977170 markings, 1043312 edges, 27713 markings/sec, 30 secs
lola: 1114918 markings, 1194674 edges, 27550 markings/sec, 35 secs
lola: 1252281 markings, 1346379 edges, 27473 markings/sec, 40 secs
lola: 1388619 markings, 1497392 edges, 27268 markings/sec, 45 secs
lola: 1524854 markings, 1648864 edges, 27247 markings/sec, 50 secs
lola: 1659980 markings, 1800011 edges, 27025 markings/sec, 55 secs
lola: 1793939 markings, 1951202 edges, 26792 markings/sec, 60 secs
lola: 1927879 markings, 2103052 edges, 26788 markings/sec, 65 secs
lola: 2054232 markings, 2247430 edges, 25271 markings/sec, 70 secs
lola: 2191492 markings, 2403944 edges, 27452 markings/sec, 75 secs
lola: 2327779 markings, 2560697 edges, 27257 markings/sec, 80 secs
lola: 2463122 markings, 2718381 edges, 27069 markings/sec, 85 secs
lola: 2598828 markings, 2876558 edges, 27141 markings/sec, 90 secs
lola: 2734595 markings, 3033958 edges, 27153 markings/sec, 95 secs
lola: 2870549 markings, 3191099 edges, 27191 markings/sec, 100 secs
lola: 3005910 markings, 3349526 edges, 27072 markings/sec, 105 secs
lola: 3141104 markings, 3507109 edges, 27039 markings/sec, 110 secs
lola: 3276578 markings, 3664783 edges, 27095 markings/sec, 115 secs
lola: 3411174 markings, 3824012 edges, 26919 markings/sec, 120 secs
lola: 3546884 markings, 3982164 edges, 27142 markings/sec, 125 secs
lola: 3683303 markings, 4139756 edges, 27284 markings/sec, 130 secs
lola: 3819049 markings, 4296562 edges, 27149 markings/sec, 135 secs
lola: 3954934 markings, 4454699 edges, 27177 markings/sec, 140 secs
lola: 4089110 markings, 4612624 edges, 26835 markings/sec, 145 secs
lola: 4224664 markings, 4770815 edges, 27111 markings/sec, 150 secs
lola: 4359932 markings, 4930362 edges, 27054 markings/sec, 155 secs
lola: 4495698 markings, 5088703 edges, 27153 markings/sec, 160 secs
lola: 4631949 markings, 5244732 edges, 27250 markings/sec, 165 secs
lola: 4766593 markings, 5403858 edges, 26929 markings/sec, 170 secs
lola: 4902980 markings, 5564167 edges, 27277 markings/sec, 175 secs
lola: 5038379 markings, 5723703 edges, 27080 markings/sec, 180 secs
lola: 5173170 markings, 5883665 edges, 26958 markings/sec, 185 secs
lola: 5304705 markings, 6039417 edges, 26307 markings/sec, 190 secs
lola: 5441762 markings, 6201343 edges, 27411 markings/sec, 195 secs
lola: 5577548 markings, 6361605 edges, 27157 markings/sec, 200 secs
lola: 5713878 markings, 6522037 edges, 27266 markings/sec, 205 secs
lola: 5849392 markings, 6684159 edges, 27103 markings/sec, 210 secs
lola: 5985793 markings, 6844514 edges, 27280 markings/sec, 215 secs
lola: 6122408 markings, 7004001 edges, 27323 markings/sec, 220 secs
lola: 6259311 markings, 7164308 edges, 27381 markings/sec, 225 secs
lola: 6394084 markings, 7322940 edges, 26955 markings/sec, 230 secs
lola: 6525843 markings, 7475565 edges, 26352 markings/sec, 235 secs
lola: 6655905 markings, 7629020 edges, 26012 markings/sec, 240 secs
lola: 6786717 markings, 7781754 edges, 26162 markings/sec, 245 secs
lola: 6917580 markings, 7935270 edges, 26173 markings/sec, 250 secs
lola: 7048715 markings, 8088590 edges, 26227 markings/sec, 255 secs
lola: 7182738 markings, 8246295 edges, 26805 markings/sec, 260 secs
lola: 7312229 markings, 8400108 edges, 25898 markings/sec, 265 secs
lola: 7441648 markings, 8553273 edges, 25884 markings/sec, 270 secs
lola: 7572880 markings, 8710129 edges, 26246 markings/sec, 275 secs
lola: 7706364 markings, 8879761 edges, 26697 markings/sec, 280 secs
lola: 7842611 markings, 9043142 edges, 27249 markings/sec, 285 secs
lola: 7976595 markings, 9203483 edges, 26797 markings/sec, 290 secs
lola: 8111188 markings, 9361212 edges, 26919 markings/sec, 295 secs
lola: 8245734 markings, 9524263 edges, 26909 markings/sec, 300 secs
lola: 8376287 markings, 9700142 edges, 26111 markings/sec, 305 secs
lola: 8512038 markings, 9858839 edges, 27150 markings/sec, 310 secs
lola: 8647921 markings, 10018018 edges, 27177 markings/sec, 315 secs
lola: 8782321 markings, 10176274 edges, 26880 markings/sec, 320 secs
lola: 8916736 markings, 10339718 edges, 26883 markings/sec, 325 secs
lola: 9047691 markings, 10523725 edges, 26191 markings/sec, 330 secs
lola: 9178192 markings, 10698956 edges, 26100 markings/sec, 335 secs
lola: 9312650 markings, 10858651 edges, 26892 markings/sec, 340 secs
lola: 9446090 markings, 11017045 edges, 26688 markings/sec, 345 secs
lola: 9579825 markings, 11182999 edges, 26747 markings/sec, 350 secs
lola: 9710770 markings, 11354063 edges, 26189 markings/sec, 355 secs
lola: 9843259 markings, 11513815 edges, 26498 markings/sec, 360 secs
lola: 9976310 markings, 11675717 edges, 26610 markings/sec, 365 secs
lola: 10106496 markings, 11847950 edges, 26037 markings/sec, 370 secs
lola: 10237042 markings, 12028800 edges, 26109 markings/sec, 375 secs
lola: 10368749 markings, 12202381 edges, 26341 markings/sec, 380 secs
lola: 10499595 markings, 12383928 edges, 26169 markings/sec, 385 secs
lola: 10629903 markings, 12565262 edges, 26062 markings/sec, 390 secs
lola: 10762648 markings, 12730500 edges, 26549 markings/sec, 395 secs
lola: 10894603 markings, 12895756 edges, 26391 markings/sec, 400 secs
lola: 11024005 markings, 13074916 edges, 25880 markings/sec, 405 secs
lola: 11150119 markings, 13286916 edges, 25223 markings/sec, 410 secs
lola: 11279823 markings, 13465060 edges, 25941 markings/sec, 415 secs
lola: 11411844 markings, 13634494 edges, 26404 markings/sec, 420 secs
lola: 11542340 markings, 13814899 edges, 26099 markings/sec, 425 secs
lola: 11673655 markings, 13984673 edges, 26263 markings/sec, 430 secs
lola: 11798683 markings, 14189435 edges, 25006 markings/sec, 435 secs
lola: 11926938 markings, 14363990 edges, 25651 markings/sec, 440 secs
lola: 12056639 markings, 14537551 edges, 25940 markings/sec, 445 secs
lola: 12186334 markings, 14720099 edges, 25939 markings/sec, 450 secs
lola: 12317160 markings, 14884790 edges, 26165 markings/sec, 455 secs
lola: 12443391 markings, 15067272 edges, 25246 markings/sec, 460 secs
lola: 12568767 markings, 15250812 edges, 25075 markings/sec, 465 secs
lola: 12696809 markings, 15436656 edges, 25608 markings/sec, 470 secs
lola: 12828291 markings, 15601887 edges, 26296 markings/sec, 475 secs
lola: 12956890 markings, 15785185 edges, 25720 markings/sec, 480 secs
lola: 13085476 markings, 15976482 edges, 25717 markings/sec, 485 secs
lola: 13214697 markings, 16140748 edges, 25844 markings/sec, 490 secs
lola: 13340400 markings, 16306757 edges, 25141 markings/sec, 495 secs
lola: 13465700 markings, 16469754 edges, 25060 markings/sec, 500 secs
lola: 13589260 markings, 16644964 edges, 24712 markings/sec, 505 secs
lola: 13712098 markings, 16822472 edges, 24568 markings/sec, 510 secs
lola: 13832665 markings, 17005108 edges, 24113 markings/sec, 515 secs
lola: 13953808 markings, 17181039 edges, 24229 markings/sec, 520 secs
lola: 14080198 markings, 17348857 edges, 25278 markings/sec, 525 secs
lola: 14210309 markings, 17520320 edges, 26022 markings/sec, 530 secs
lola: 14335526 markings, 17716182 edges, 25043 markings/sec, 535 secs
lola: 14462050 markings, 17891238 edges, 25305 markings/sec, 540 secs
lola: 14590903 markings, 18059110 edges, 25771 markings/sec, 545 secs
lola: 14720532 markings, 18229925 edges, 25926 markings/sec, 550 secs
lola: 14848943 markings, 18409781 edges, 25682 markings/sec, 555 secs
lola: 14974099 markings, 18609194 edges, 25031 markings/sec, 560 secs
lola: 15101776 markings, 18794697 edges, 25535 markings/sec, 565 secs
lola: 15226873 markings, 18993375 edges, 25019 markings/sec, 570 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 6 unknown 10 unknown unknown unknown 1 1 1 2 unknown unknown unknown 1
lola: memory consumption: 1198012 KB
lola: time consumption: 1260 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 577 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p123 + p124 + p125 + p126 + p127 + p128)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p123 + p124 + p125 + p126 + p127 + p128)
lola: processed formula length: 44
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J04T06-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: 4
lola: 48593 markings, 49746 edges, 9719 markings/sec, 0 secs
lola: 186619 markings, 193463 edges, 27605 markings/sec, 5 secs
lola: 323578 markings, 337987 edges, 27392 markings/sec, 10 secs
lola: 459583 markings, 482545 edges, 27201 markings/sec, 15 secs
lola: 594956 markings, 627736 edges, 27075 markings/sec, 20 secs
lola: 729363 markings, 772984 edges, 26881 markings/sec, 25 secs
lola: 862939 markings, 918285 edges, 26715 markings/sec, 30 secs
lola: 1002005 markings, 1070559 edges, 27813 markings/sec, 35 secs
lola: 1141176 markings, 1223651 edges, 27834 markings/sec, 40 secs
lola: 1280156 markings, 1377312 edges, 27796 markings/sec, 45 secs
lola: 1417857 markings, 1529838 edges, 27540 markings/sec, 50 secs
lola: 1555584 markings, 1683251 edges, 27545 markings/sec, 55 secs
lola: 1692223 markings, 1836108 edges, 27328 markings/sec, 60 secs
lola: 1828097 markings, 1989831 edges, 27175 markings/sec, 65 secs
lola: 1962965 markings, 2143254 edges, 26974 markings/sec, 70 secs
lola: 2098178 markings, 2297783 edges, 27043 markings/sec, 75 secs
lola: 2232865 markings, 2451383 edges, 26937 markings/sec, 80 secs
lola: 2367212 markings, 2607621 edges, 26869 markings/sec, 85 secs
lola: 2500798 markings, 2763233 edges, 26717 markings/sec, 90 secs
lola: 2635052 markings, 2918212 edges, 26851 markings/sec, 95 secs
lola: 2769148 markings, 3073427 edges, 26819 markings/sec, 100 secs
lola: 2903603 markings, 3229812 edges, 26891 markings/sec, 105 secs
lola: 3038118 markings, 3386778 edges, 26903 markings/sec, 110 secs
lola: 3171901 markings, 3542809 edges, 26757 markings/sec, 115 secs
lola: 3306128 markings, 3699201 edges, 26845 markings/sec, 120 secs
lola: 3440109 markings, 3857965 edges, 26796 markings/sec, 125 secs
lola: 3574704 markings, 4014600 edges, 26919 markings/sec, 130 secs
lola: 3710134 markings, 4170139 edges, 27086 markings/sec, 135 secs
lola: 3844820 markings, 4326516 edges, 26937 markings/sec, 140 secs
lola: 3978904 markings, 4482683 edges, 26817 markings/sec, 145 secs
lola: 4109211 markings, 4636158 edges, 26061 markings/sec, 150 secs
lola: 4238846 markings, 4787623 edges, 25927 markings/sec, 155 secs
lola: 4371489 markings, 4943378 edges, 26529 markings/sec, 160 secs
lola: 4505959 markings, 5100204 edges, 26894 markings/sec, 165 secs
lola: 4637258 markings, 5251021 edges, 26260 markings/sec, 170 secs
lola: 4764461 markings, 5401208 edges, 25441 markings/sec, 175 secs
lola: 4893786 markings, 5552959 edges, 25865 markings/sec, 180 secs
lola: 5021484 markings, 5703532 edges, 25540 markings/sec, 185 secs
lola: 5149478 markings, 5855708 edges, 25599 markings/sec, 190 secs
lola: 5282827 markings, 6013021 edges, 26670 markings/sec, 195 secs
lola: 5417975 markings, 6173430 edges, 27030 markings/sec, 200 secs
lola: 5552557 markings, 6332613 edges, 26916 markings/sec, 205 secs
lola: 5687579 markings, 6491449 edges, 27004 markings/sec, 210 secs
lola: 5822244 markings, 6650843 edges, 26933 markings/sec, 215 secs
lola: 5957396 markings, 6810559 edges, 27030 markings/sec, 220 secs
lola: 6092396 markings, 6969271 edges, 27000 markings/sec, 225 secs
lola: 6227871 markings, 7127255 edges, 27095 markings/sec, 230 secs
lola: 6363259 markings, 7285518 edges, 27078 markings/sec, 235 secs
lola: 6497726 markings, 7442206 edges, 26893 markings/sec, 240 secs
lola: 6632027 markings, 7600627 edges, 26860 markings/sec, 245 secs
lola: 6767562 markings, 7759126 edges, 27107 markings/sec, 250 secs
lola: 6902693 markings, 7917864 edges, 27026 markings/sec, 255 secs
lola: 7037191 markings, 8074854 edges, 26900 markings/sec, 260 secs
lola: 7171099 markings, 8232118 edges, 26782 markings/sec, 265 secs
lola: 7305162 markings, 8390803 edges, 26813 markings/sec, 270 secs
lola: 7439030 markings, 8550003 edges, 26774 markings/sec, 275 secs
lola: 7572348 markings, 8709235 edges, 26664 markings/sec, 280 secs
lola: 7700964 markings, 8873165 edges, 25723 markings/sec, 285 secs
lola: 7832956 markings, 9031896 edges, 26398 markings/sec, 290 secs
lola: 7965736 markings, 9189839 edges, 26556 markings/sec, 295 secs
lola: 8099107 markings, 9346740 edges, 26674 markings/sec, 300 secs
lola: 8229102 markings, 9501891 edges, 25999 markings/sec, 305 secs
lola: 8351688 markings, 9671096 edges, 24517 markings/sec, 310 secs
lola: 8483300 markings, 9825492 edges, 26322 markings/sec, 315 secs
lola: 8617901 markings, 9983007 edges, 26920 markings/sec, 320 secs
lola: 8751109 markings, 10139833 edges, 26642 markings/sec, 325 secs
lola: 8884568 markings, 10298975 edges, 26692 markings/sec, 330 secs
lola: 9014547 markings, 10482936 edges, 25996 markings/sec, 335 secs
lola: 9143779 markings, 10656207 edges, 25846 markings/sec, 340 secs
lola: 9274797 markings, 10813405 edges, 26204 markings/sec, 345 secs
lola: 9406769 markings, 10969405 edges, 26394 markings/sec, 350 secs
lola: 9538071 markings, 11129807 edges, 26260 markings/sec, 355 secs
lola: 9667225 markings, 11294218 edges, 25831 markings/sec, 360 secs
lola: 9797719 markings, 11457733 edges, 26099 markings/sec, 365 secs
lola: 9929765 markings, 11619437 edges, 26409 markings/sec, 370 secs
lola: 10062070 markings, 11783375 edges, 26461 markings/sec, 375 secs
lola: 10190574 markings, 11970599 edges, 25701 markings/sec, 380 secs
lola: 10321733 markings, 12139209 edges, 26232 markings/sec, 385 secs
lola: 10452941 markings, 12312292 edges, 26242 markings/sec, 390 secs
lola: 10579354 markings, 12495429 edges, 25283 markings/sec, 395 secs
lola: 10707388 markings, 12664487 edges, 25607 markings/sec, 400 secs
lola: 10835994 markings, 12818742 edges, 25721 markings/sec, 405 secs
lola: 10961864 markings, 12991329 edges, 25174 markings/sec, 410 secs
lola: 11084620 markings, 13186143 edges, 24551 markings/sec, 415 secs
lola: 11207168 markings, 13366054 edges, 24510 markings/sec, 420 secs
lola: 11330395 markings, 13527065 edges, 24645 markings/sec, 425 secs
lola: 11456514 markings, 13692952 edges, 25224 markings/sec, 430 secs
lola: 11586187 markings, 13871801 edges, 25935 markings/sec, 435 secs
lola: 11715984 markings, 14044280 edges, 25959 markings/sec, 440 secs
lola: 11838745 markings, 14254243 edges, 24552 markings/sec, 445 secs
lola: 11966981 markings, 14413374 edges, 25647 markings/sec, 450 secs
lola: 12095805 markings, 14596569 edges, 25765 markings/sec, 455 secs
lola: 12225936 markings, 14766873 edges, 26026 markings/sec, 460 secs
lola: 12353997 markings, 14938061 edges, 25612 markings/sec, 465 secs
lola: 12479502 markings, 15117477 edges, 25101 markings/sec, 470 secs
lola: 12604348 markings, 15303329 edges, 24969 markings/sec, 475 secs
lola: 12733599 markings, 15481384 edges, 25850 markings/sec, 480 secs
lola: 12862011 markings, 15652213 edges, 25682 markings/sec, 485 secs
lola: 12990871 markings, 15837555 edges, 25772 markings/sec, 490 secs
lola: 13119624 markings, 16019312 edges, 25751 markings/sec, 495 secs
lola: 13249266 markings, 16182327 edges, 25928 markings/sec, 500 secs
lola: 13378927 markings, 16354957 edges, 25932 markings/sec, 505 secs
lola: 13506953 markings, 16536235 edges, 25605 markings/sec, 510 secs
lola: 13634946 markings, 16719944 edges, 25599 markings/sec, 515 secs
lola: 13761965 markings, 16899941 edges, 25404 markings/sec, 520 secs
lola: 13887678 markings, 17081861 edges, 25143 markings/sec, 525 secs
lola: 14015292 markings, 17262384 edges, 25523 markings/sec, 530 secs
lola: 14145868 markings, 17435299 edges, 26115 markings/sec, 535 secs
lola: 14271671 markings, 17618911 edges, 25161 markings/sec, 540 secs
lola: 14396630 markings, 17808578 edges, 24992 markings/sec, 545 secs
lola: 14522943 markings, 17975280 edges, 25263 markings/sec, 550 secs
lola: 14653117 markings, 18138179 edges, 26035 markings/sec, 555 secs
lola: 14781239 markings, 18312981 edges, 25624 markings/sec, 560 secs
lola: 14905031 markings, 18510324 edges, 24758 markings/sec, 565 secs
lola: 15030657 markings, 18698966 edges, 25125 markings/sec, 570 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 6 unknown 10 unknown unknown unknown 1 1 1 2 unknown unknown unknown 1
lola: memory consumption: 1187096 KB
lola: time consumption: 1837 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 577 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p343 + p344 + p345 + p346 + p347 + p348)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p343 + p344 + p345 + p346 + p347 + p348)
lola: processed formula length: 44
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J04T06-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: 147277 markings, 153159 edges, 29455 markings/sec, 30 secs
lola: 286657 markings, 301041 edges, 27876 markings/sec, 35 secs
lola: 432656 markings, 458332 edges, 29200 markings/sec, 40 secs
lola: 576763 markings, 615315 edges, 28821 markings/sec, 45 secs
lola: 718475 markings, 770669 edges, 28342 markings/sec, 50 secs
lola: 854318 markings, 920647 edges, 27169 markings/sec, 55 secs
lola: 988207 markings, 1069158 edges, 26778 markings/sec, 60 secs
lola: 1121549 markings, 1217059 edges, 26668 markings/sec, 65 secs
lola: 1253528 markings, 1363992 edges, 26396 markings/sec, 70 secs
lola: 1386024 markings, 1512750 edges, 26499 markings/sec, 75 secs
lola: 1517595 markings, 1660938 edges, 26314 markings/sec, 80 secs
lola: 1655492 markings, 1819225 edges, 27579 markings/sec, 85 secs
lola: 1792814 markings, 1976391 edges, 27464 markings/sec, 90 secs
lola: 1930166 markings, 2133655 edges, 27470 markings/sec, 95 secs
lola: 2060223 markings, 2282170 edges, 26011 markings/sec, 100 secs
lola: 2197775 markings, 2441361 edges, 27510 markings/sec, 105 secs
lola: 2332964 markings, 2597908 edges, 27038 markings/sec, 110 secs
lola: 2469365 markings, 2756791 edges, 27280 markings/sec, 115 secs
lola: 2605019 markings, 2914916 edges, 27131 markings/sec, 120 secs
lola: 2741396 markings, 3073776 edges, 27275 markings/sec, 125 secs
lola: 2878498 markings, 3233982 edges, 27420 markings/sec, 130 secs
lola: 3015565 markings, 3393680 edges, 27413 markings/sec, 135 secs
lola: 3152472 markings, 3554107 edges, 27381 markings/sec, 140 secs
lola: 3289563 markings, 3714764 edges, 27418 markings/sec, 145 secs
lola: 3426142 markings, 3874745 edges, 27316 markings/sec, 150 secs
lola: 3563473 markings, 4034867 edges, 27466 markings/sec, 155 secs
lola: 3700540 markings, 4194598 edges, 27413 markings/sec, 160 secs
lola: 3838805 markings, 4354659 edges, 27653 markings/sec, 165 secs
lola: 3975995 markings, 4513999 edges, 27438 markings/sec, 170 secs
lola: 4113427 markings, 4674250 edges, 27486 markings/sec, 175 secs
lola: 4251767 markings, 4834128 edges, 27668 markings/sec, 180 secs
lola: 4389250 markings, 4993917 edges, 27497 markings/sec, 185 secs
lola: 4526375 markings, 5152985 edges, 27425 markings/sec, 190 secs
lola: 4664243 markings, 5312006 edges, 27574 markings/sec, 195 secs
lola: 4801977 markings, 5471096 edges, 27547 markings/sec, 200 secs
lola: 4937829 markings, 5627646 edges, 27170 markings/sec, 205 secs
lola: 5073820 markings, 5782204 edges, 27198 markings/sec, 210 secs
lola: 5207154 markings, 5934870 edges, 26667 markings/sec, 215 secs
lola: 5346178 markings, 6093702 edges, 27805 markings/sec, 220 secs
lola: 5485927 markings, 6252616 edges, 27950 markings/sec, 225 secs
lola: 5625020 markings, 6410564 edges, 27819 markings/sec, 230 secs
lola: 5763648 markings, 6568645 edges, 27726 markings/sec, 235 secs
lola: 5902686 markings, 6727612 edges, 27808 markings/sec, 240 secs
lola: 6042970 markings, 6885074 edges, 28057 markings/sec, 245 secs
lola: 6179447 markings, 7039076 edges, 27295 markings/sec, 250 secs
lola: 6312869 markings, 7189714 edges, 26684 markings/sec, 255 secs
lola: 6448575 markings, 7340952 edges, 27141 markings/sec, 260 secs
lola: 6583798 markings, 7492008 edges, 27045 markings/sec, 265 secs
lola: 6724223 markings, 7649603 edges, 28085 markings/sec, 270 secs
lola: 6865177 markings, 7807825 edges, 28191 markings/sec, 275 secs
lola: 7006075 markings, 7966338 edges, 28180 markings/sec, 280 secs
lola: 7140773 markings, 8117800 edges, 26940 markings/sec, 285 secs
lola: 7278563 markings, 8273765 edges, 27558 markings/sec, 290 secs
lola: 7418662 markings, 8432249 edges, 28020 markings/sec, 295 secs
lola: 7558534 markings, 8591331 edges, 27974 markings/sec, 300 secs
lola: 7698495 markings, 8749109 edges, 27992 markings/sec, 305 secs
lola: 7839650 markings, 8907240 edges, 28231 markings/sec, 310 secs
lola: 7979938 markings, 9065636 edges, 28058 markings/sec, 315 secs
lola: 8120404 markings, 9223116 edges, 28093 markings/sec, 320 secs
lola: 8261038 markings, 9381432 edges, 28127 markings/sec, 325 secs
lola: 8401711 markings, 9540515 edges, 28135 markings/sec, 330 secs
lola: 8542252 markings, 9698486 edges, 28108 markings/sec, 335 secs
lola: 8681954 markings, 9855725 edges, 27940 markings/sec, 340 secs
lola: 8821345 markings, 10012062 edges, 27878 markings/sec, 345 secs
lola: 8959115 markings, 10169332 edges, 27554 markings/sec, 350 secs
lola: 9097873 markings, 10327348 edges, 27752 markings/sec, 355 secs
lola: 9236105 markings, 10483614 edges, 27646 markings/sec, 360 secs
lola: 9372664 markings, 10638734 edges, 27312 markings/sec, 365 secs
lola: 9508758 markings, 10796111 edges, 27219 markings/sec, 370 secs
lola: 9644902 markings, 10952804 edges, 27229 markings/sec, 375 secs
lola: 9774638 markings, 11102949 edges, 25947 markings/sec, 380 secs
lola: 9903949 markings, 11252137 edges, 25862 markings/sec, 385 secs
lola: 10033225 markings, 11401994 edges, 25855 markings/sec, 390 secs
lola: 10161892 markings, 11553132 edges, 25733 markings/sec, 395 secs
lola: 10290152 markings, 11703772 edges, 25652 markings/sec, 400 secs
lola: 10418403 markings, 11855764 edges, 25650 markings/sec, 405 secs
lola: 10546118 markings, 12006472 edges, 25543 markings/sec, 410 secs
lola: 10679789 markings, 12165411 edges, 26734 markings/sec, 415 secs
lola: 10810477 markings, 12319838 edges, 26138 markings/sec, 420 secs
lola: 10940312 markings, 12473470 edges, 25967 markings/sec, 425 secs
lola: 11069777 markings, 12628040 edges, 25893 markings/sec, 430 secs
lola: 11201048 markings, 12783025 edges, 26254 markings/sec, 435 secs
lola: 11329772 markings, 12936846 edges, 25745 markings/sec, 440 secs
lola: 11458505 markings, 13093233 edges, 25747 markings/sec, 445 secs
lola: 11588487 markings, 13249934 edges, 25996 markings/sec, 450 secs
lola: 11725237 markings, 13412637 edges, 27350 markings/sec, 455 secs
lola: 11862656 markings, 13575771 edges, 27484 markings/sec, 460 secs
lola: 11997692 markings, 13736872 edges, 27007 markings/sec, 465 secs
lola: 12134541 markings, 13899994 edges, 27370 markings/sec, 470 secs
lola: 12273314 markings, 14062749 edges, 27755 markings/sec, 475 secs
lola: 12411802 markings, 14225580 edges, 27698 markings/sec, 480 secs
lola: 12550417 markings, 14387473 edges, 27723 markings/sec, 485 secs
lola: 12690725 markings, 14552497 edges, 28062 markings/sec, 490 secs
lola: 12831808 markings, 14716176 edges, 28217 markings/sec, 495 secs
lola: 12970515 markings, 14879233 edges, 27741 markings/sec, 500 secs
lola: 13109009 markings, 15042672 edges, 27699 markings/sec, 505 secs
lola: 13250368 markings, 15206459 edges, 28272 markings/sec, 510 secs
lola: 13393724 markings, 15369671 edges, 28671 markings/sec, 515 secs
lola: 13536053 markings, 15533424 edges, 28466 markings/sec, 520 secs
lola: 13681005 markings, 15696837 edges, 28990 markings/sec, 525 secs
lola: 13821610 markings, 15857015 edges, 28121 markings/sec, 530 secs
lola: 13959827 markings, 16013297 edges, 27643 markings/sec, 535 secs
lola: 14100827 markings, 16174279 edges, 28200 markings/sec, 540 secs
lola: 14242522 markings, 16336936 edges, 28339 markings/sec, 545 secs
lola: 14386481 markings, 16500024 edges, 28792 markings/sec, 550 secs
lola: 14528174 markings, 16663227 edges, 28339 markings/sec, 555 secs
lola: 14668565 markings, 16824727 edges, 28078 markings/sec, 560 secs
lola: 14807641 markings, 16985334 edges, 27815 markings/sec, 565 secs
lola: 14947134 markings, 17147787 edges, 27899 markings/sec, 570 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 6 unknown 10 unknown unknown unknown 1 1 1 2 unknown unknown unknown 1
lola: memory consumption: 1201224 KB
lola: time consumption: 2414 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 577 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p358 + p359 + p360 + p361 + p362 + p363 + p364 + p365 + p366 + p367 + p368 + p369)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p358 + p359 + p360 + p361 + p362 + p363 + p364 + p365 + p366 + p367 + p368 + p369)
lola: processed formula length: 86
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J04T06-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: 28 markings, 27 edges
lola: ========================================
FORMULA PolyORBLF-COL-S02J04T06-UpperBounds-13 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

lola: subprocess 15 will run for 1155 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35)
lola: processed formula length: 178
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J04T06-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: 2
lola: 136370 markings, 142588 edges, 27274 markings/sec, 0 secs
lola: 284941 markings, 300511 edges, 29714 markings/sec, 5 secs
lola: 432098 markings, 458943 edges, 29431 markings/sec, 10 secs
lola: 577849 markings, 617730 edges, 29150 markings/sec, 15 secs
lola: 722406 markings, 776586 edges, 28911 markings/sec, 20 secs
lola: 865005 markings, 934884 edges, 28520 markings/sec, 25 secs
lola: 1007003 markings, 1092843 edges, 28400 markings/sec, 30 secs
lola: 1148410 markings, 1250109 edges, 28281 markings/sec, 35 secs
lola: 1288539 markings, 1406030 edges, 28026 markings/sec, 40 secs
lola: 1426583 markings, 1564114 edges, 27609 markings/sec, 45 secs
lola: 1565467 markings, 1721993 edges, 27777 markings/sec, 50 secs
lola: 1702089 markings, 1879590 edges, 27324 markings/sec, 55 secs
lola: 1838669 markings, 2037720 edges, 27316 markings/sec, 60 secs
lola: 1977041 markings, 2195205 edges, 27674 markings/sec, 65 secs
lola: 2115377 markings, 2353955 edges, 27667 markings/sec, 70 secs
lola: 2253344 markings, 2512075 edges, 27593 markings/sec, 75 secs
lola: 2391120 markings, 2671303 edges, 27555 markings/sec, 80 secs
lola: 2528411 markings, 2829780 edges, 27458 markings/sec, 85 secs
lola: 2665488 markings, 2989727 edges, 27415 markings/sec, 90 secs
lola: 2802606 markings, 3148339 edges, 27424 markings/sec, 95 secs
lola: 2940064 markings, 3307844 edges, 27492 markings/sec, 100 secs
lola: 3077614 markings, 3467978 edges, 27510 markings/sec, 105 secs
lola: 3215183 markings, 3627850 edges, 27514 markings/sec, 110 secs
lola: 3352512 markings, 3787293 edges, 27466 markings/sec, 115 secs
lola: 3489285 markings, 3945751 edges, 27355 markings/sec, 120 secs
lola: 3626935 markings, 4105715 edges, 27530 markings/sec, 125 secs
lola: 3765444 markings, 4265112 edges, 27702 markings/sec, 130 secs
lola: 3903229 markings, 4424445 edges, 27557 markings/sec, 135 secs
lola: 4042397 markings, 4584655 edges, 27834 markings/sec, 140 secs
lola: 4178855 markings, 4741348 edges, 27292 markings/sec, 145 secs
lola: 4317640 markings, 4900555 edges, 27757 markings/sec, 150 secs
lola: 4453395 markings, 5057600 edges, 27151 markings/sec, 155 secs
lola: 4586518 markings, 5211488 edges, 26625 markings/sec, 160 secs
lola: 4721068 markings, 5365975 edges, 26910 markings/sec, 165 secs
lola: 4860156 markings, 5526871 edges, 27818 markings/sec, 170 secs
lola: 4999287 markings, 5688963 edges, 27826 markings/sec, 175 secs
lola: 5139812 markings, 5849771 edges, 28105 markings/sec, 180 secs
lola: 5280590 markings, 6010601 edges, 28156 markings/sec, 185 secs
lola: 5422541 markings, 6171425 edges, 28390 markings/sec, 190 secs
lola: 5563900 markings, 6332306 edges, 28272 markings/sec, 195 secs
lola: 5706199 markings, 6493049 edges, 28460 markings/sec, 200 secs
lola: 5849394 markings, 6654098 edges, 28639 markings/sec, 205 secs
lola: 5993235 markings, 6815097 edges, 28768 markings/sec, 210 secs
lola: 6137297 markings, 6976364 edges, 28812 markings/sec, 215 secs
lola: 6280144 markings, 7137812 edges, 28569 markings/sec, 220 secs
lola: 6422622 markings, 7298128 edges, 28496 markings/sec, 225 secs
lola: 6566581 markings, 7459373 edges, 28792 markings/sec, 230 secs
lola: 6708028 markings, 7620791 edges, 28289 markings/sec, 235 secs
lola: 6852380 markings, 7781953 edges, 28870 markings/sec, 240 secs
lola: 6994433 markings, 7942555 edges, 28411 markings/sec, 245 secs
lola: 7137113 markings, 8103802 edges, 28536 markings/sec, 250 secs
lola: 7279881 markings, 8265446 edges, 28554 markings/sec, 255 secs
lola: 7422895 markings, 8427401 edges, 28603 markings/sec, 260 secs
lola: 7565942 markings, 8589042 edges, 28609 markings/sec, 265 secs
lola: 7709763 markings, 8750725 edges, 28764 markings/sec, 270 secs
lola: 7854436 markings, 8912348 edges, 28935 markings/sec, 275 secs
lola: 7998182 markings, 9073906 edges, 28749 markings/sec, 280 secs
lola: 8141952 markings, 9235736 edges, 28754 markings/sec, 285 secs
lola: 8285213 markings, 9397127 edges, 28652 markings/sec, 290 secs
lola: 8427776 markings, 9557192 edges, 28513 markings/sec, 295 secs
lola: 8569606 markings, 9717023 edges, 28366 markings/sec, 300 secs
lola: 8710721 markings, 9874987 edges, 28223 markings/sec, 305 secs
lola: 8850798 markings, 10033703 edges, 28015 markings/sec, 310 secs
lola: 8991595 markings, 10195433 edges, 28159 markings/sec, 315 secs
lola: 9129808 markings, 10353626 edges, 27643 markings/sec, 320 secs
lola: 9267920 markings, 10512486 edges, 27622 markings/sec, 325 secs
lola: 9406395 markings, 10672685 edges, 27695 markings/sec, 330 secs
lola: 9544547 markings, 10832056 edges, 27630 markings/sec, 335 secs
lola: 9679926 markings, 10988807 edges, 27076 markings/sec, 340 secs
lola: 9814783 markings, 11145609 edges, 26971 markings/sec, 345 secs
lola: 9946927 markings, 11300565 edges, 26429 markings/sec, 350 secs
lola: 10078237 markings, 11455573 edges, 26262 markings/sec, 355 secs
lola: 10208084 markings, 11610599 edges, 25969 markings/sec, 360 secs
lola: 10338815 markings, 11765175 edges, 26146 markings/sec, 365 secs
lola: 10468692 markings, 11918714 edges, 25975 markings/sec, 370 secs
lola: 10601488 markings, 12075888 edges, 26559 markings/sec, 375 secs
lola: 10737916 markings, 12238973 edges, 27286 markings/sec, 380 secs
lola: 10874208 markings, 12401368 edges, 27258 markings/sec, 385 secs
lola: 11010810 markings, 12564707 edges, 27320 markings/sec, 390 secs
lola: 11148488 markings, 12728021 edges, 27536 markings/sec, 395 secs
lola: 11284826 markings, 12889785 edges, 27268 markings/sec, 400 secs
lola: 11422977 markings, 13053600 edges, 27630 markings/sec, 405 secs
lola: 11560425 markings, 13216122 edges, 27490 markings/sec, 410 secs
lola: 11698659 markings, 13379875 edges, 27647 markings/sec, 415 secs
lola: 11837019 markings, 13542702 edges, 27672 markings/sec, 420 secs
lola: 11976071 markings, 13706155 edges, 27810 markings/sec, 425 secs
lola: 12116899 markings, 13871029 edges, 28166 markings/sec, 430 secs
lola: 12256887 markings, 14035450 edges, 27998 markings/sec, 435 secs
lola: 12395833 markings, 14200292 edges, 27789 markings/sec, 440 secs
lola: 12537965 markings, 14363884 edges, 28426 markings/sec, 445 secs
lola: 12679503 markings, 14527720 edges, 28308 markings/sec, 450 secs
lola: 12820824 markings, 14691837 edges, 28264 markings/sec, 455 secs
lola: 12963176 markings, 14857071 edges, 28470 markings/sec, 460 secs
lola: 13105090 markings, 15022786 edges, 28383 markings/sec, 465 secs
lola: 13247646 markings, 15185652 edges, 28511 markings/sec, 470 secs
lola: 13391772 markings, 15351490 edges, 28825 markings/sec, 475 secs
lola: 13535588 markings, 15517094 edges, 28763 markings/sec, 480 secs
lola: 13678014 markings, 15681540 edges, 28485 markings/sec, 485 secs
lola: 13821330 markings, 15846613 edges, 28663 markings/sec, 490 secs
lola: 13964532 markings, 16011359 edges, 28640 markings/sec, 495 secs
lola: 14110146 markings, 16177218 edges, 29123 markings/sec, 500 secs
lola: 14255084 markings, 16343653 edges, 28988 markings/sec, 505 secs
lola: 14398888 markings, 16510374 edges, 28761 markings/sec, 510 secs
lola: 14541998 markings, 16677681 edges, 28622 markings/sec, 515 secs
lola: SUBRESULT
lola: result: 2
lola: produced by: state space
lola: The maximum value of the given expression is 2
lola: 14641266 markings, 16793218 edges

FORMULA PolyORBLF-COL-S02J04T06-UpperBounds-12 2 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================lola:
lola: ========================================
...considering subproblem: MAX(p258)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p258)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J04T06-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: 144186 markings, 154486 edges, 28837 markings/sec, 30 secs
lola: 286852 markings, 308882 edges, 28533 markings/sec, 35 secs
lola: 429147 markings, 462761 edges, 28459 markings/sec, 40 secs
lola: 570784 markings, 617398 edges, 28327 markings/sec, 45 secs
lola: 712678 markings, 771974 edges, 28379 markings/sec, 50 secs
lola: 854321 markings, 926233 edges, 28329 markings/sec, 55 secs
lola: 996003 markings, 1080600 edges, 28336 markings/sec, 60 secs
lola: 1136965 markings, 1235350 edges, 28192 markings/sec, 65 secs
lola: 1277848 markings, 1390174 edges, 28177 markings/sec, 70 secs
lola: 1418899 markings, 1543652 edges, 28210 markings/sec, 75 secs
lola: 1559323 markings, 1697800 edges, 28085 markings/sec, 80 secs
lola: 1700344 markings, 1851390 edges, 28204 markings/sec, 85 secs
lola: 1840524 markings, 2006208 edges, 28036 markings/sec, 90 secs
lola: 1980956 markings, 2161263 edges, 28086 markings/sec, 95 secs
lola: 2120865 markings, 2315732 edges, 27982 markings/sec, 100 secs
lola: 2260328 markings, 2469515 edges, 27893 markings/sec, 105 secs
lola: 2399894 markings, 2624651 edges, 27913 markings/sec, 110 secs
lola: 2538817 markings, 2779566 edges, 27785 markings/sec, 115 secs
lola: 2677748 markings, 2934417 edges, 27786 markings/sec, 120 secs
lola: 2816396 markings, 3089225 edges, 27730 markings/sec, 125 secs
lola: 2955037 markings, 3245131 edges, 27728 markings/sec, 130 secs
lola: 3093526 markings, 3400534 edges, 27698 markings/sec, 135 secs
lola: 3232091 markings, 3555855 edges, 27713 markings/sec, 140 secs
lola: 3370127 markings, 3710595 edges, 27607 markings/sec, 145 secs
lola: 3508024 markings, 3866775 edges, 27579 markings/sec, 150 secs
lola: 3645538 markings, 4022104 edges, 27503 markings/sec, 155 secs
lola: 3782963 markings, 4176670 edges, 27485 markings/sec, 160 secs
lola: 3919831 markings, 4331031 edges, 27374 markings/sec, 165 secs
lola: 4056992 markings, 4485829 edges, 27432 markings/sec, 170 secs
lola: 4193658 markings, 4640146 edges, 27333 markings/sec, 175 secs
lola: 4330341 markings, 4795680 edges, 27337 markings/sec, 180 secs
lola: 4465888 markings, 4949547 edges, 27109 markings/sec, 185 secs
lola: 4601457 markings, 5103516 edges, 27114 markings/sec, 190 secs
lola: 4736524 markings, 5257519 edges, 27013 markings/sec, 195 secs
lola: 4871042 markings, 5412086 edges, 26904 markings/sec, 200 secs
lola: 5005098 markings, 5566013 edges, 26811 markings/sec, 205 secs
lola: 5137971 markings, 5719027 edges, 26575 markings/sec, 210 secs
lola: 5272913 markings, 5876460 edges, 26988 markings/sec, 215 secs
lola: 5408239 markings, 6034593 edges, 27065 markings/sec, 220 secs
lola: 5542429 markings, 6190359 edges, 26838 markings/sec, 225 secs
lola: 5674409 markings, 6345919 edges, 26396 markings/sec, 230 secs
lola: 5807777 markings, 6503183 edges, 26674 markings/sec, 235 secs
lola: 5939196 markings, 6658490 edges, 26284 markings/sec, 240 secs
lola: 6070663 markings, 6811650 edges, 26293 markings/sec, 245 secs
lola: 6202742 markings, 6968020 edges, 26416 markings/sec, 250 secs
lola: 6335764 markings, 7125045 edges, 26604 markings/sec, 255 secs
lola: 6470532 markings, 7280080 edges, 26954 markings/sec, 260 secs
lola: 6603003 markings, 7437021 edges, 26494 markings/sec, 265 secs
lola: 6737765 markings, 7592514 edges, 26952 markings/sec, 270 secs
lola: 6871963 markings, 7748062 edges, 26840 markings/sec, 275 secs
lola: 7005147 markings, 7904530 edges, 26637 markings/sec, 280 secs
lola: 7134767 markings, 8056856 edges, 25924 markings/sec, 285 secs
lola: 7267653 markings, 8210752 edges, 26577 markings/sec, 290 secs
lola: 7399298 markings, 8368011 edges, 26329 markings/sec, 295 secs
lola: 7533211 markings, 8521792 edges, 26783 markings/sec, 300 secs
lola: 7665779 markings, 8678359 edges, 26514 markings/sec, 305 secs
lola: 7797751 markings, 8832197 edges, 26394 markings/sec, 310 secs
lola: 7930243 markings, 8986178 edges, 26498 markings/sec, 315 secs
lola: 8060410 markings, 9141626 edges, 26033 markings/sec, 320 secs
lola: 8191782 markings, 9296249 edges, 26274 markings/sec, 325 secs
lola: 8329908 markings, 9458479 edges, 27625 markings/sec, 330 secs
lola: 8463580 markings, 9618388 edges, 26734 markings/sec, 335 secs
lola: 8602109 markings, 9781292 edges, 27706 markings/sec, 340 secs
lola: 8739621 markings, 9943067 edges, 27502 markings/sec, 345 secs
lola: 8874859 markings, 10106349 edges, 27048 markings/sec, 350 secs
lola: 9011080 markings, 10268398 edges, 27244 markings/sec, 355 secs
lola: 9149525 markings, 10429422 edges, 27689 markings/sec, 360 secs
lola: 9285002 markings, 10589859 edges, 27095 markings/sec, 365 secs
lola: 9417623 markings, 10750665 edges, 26524 markings/sec, 370 secs
lola: 9552147 markings, 10914968 edges, 26905 markings/sec, 375 secs
lola: 9688498 markings, 11077358 edges, 27270 markings/sec, 380 secs
lola: 9826012 markings, 11234765 edges, 27503 markings/sec, 385 secs
lola: 9961855 markings, 11397283 edges, 27169 markings/sec, 390 secs
lola: 10099248 markings, 11554519 edges, 27479 markings/sec, 395 secs
lola: 10233901 markings, 11714978 edges, 26931 markings/sec, 400 secs
lola: 10368413 markings, 11876306 edges, 26902 markings/sec, 405 secs
lola: 10502207 markings, 12036418 edges, 26759 markings/sec, 410 secs
lola: 10635749 markings, 12196845 edges, 26708 markings/sec, 415 secs
lola: 10769030 markings, 12363660 edges, 26656 markings/sec, 420 secs
lola: 10905001 markings, 12522884 edges, 27194 markings/sec, 425 secs
lola: 11038480 markings, 12687434 edges, 26696 markings/sec, 430 secs
lola: 11171906 markings, 12848813 edges, 26685 markings/sec, 435 secs
lola: 11305309 markings, 13009230 edges, 26681 markings/sec, 440 secs
lola: 11438891 markings, 13173752 edges, 26716 markings/sec, 445 secs
lola: 11569210 markings, 13360442 edges, 26064 markings/sec, 450 secs
lola: 11701784 markings, 13529566 edges, 26515 markings/sec, 455 secs
lola: 11834793 markings, 13700381 edges, 26602 markings/sec, 460 secs
lola: 11965478 markings, 13900612 edges, 26137 markings/sec, 465 secs
lola: 12092543 markings, 14084510 edges, 25413 markings/sec, 470 secs
lola: 12215364 markings, 14254774 edges, 24564 markings/sec, 475 secs
lola: 12341140 markings, 14410049 edges, 25155 markings/sec, 480 secs
lola: 12472505 markings, 14584490 edges, 26273 markings/sec, 485 secs
lola: 12602942 markings, 14784354 edges, 26087 markings/sec, 490 secs
lola: 12728643 markings, 14968835 edges, 25140 markings/sec, 495 secs
lola: 12859614 markings, 15165497 edges, 26194 markings/sec, 500 secs
lola: 12989644 markings, 15365568 edges, 26006 markings/sec, 505 secs
lola: 13122039 markings, 15561729 edges, 26479 markings/sec, 510 secs
lola: 13253754 markings, 15763308 edges, 26343 markings/sec, 515 secs
lola: 13386645 markings, 15963067 edges, 26578 markings/sec, 520 secs
lola: 13519739 markings, 16153625 edges, 26619 markings/sec, 525 secs
lola: 13650221 markings, 16360333 edges, 26096 markings/sec, 530 secs
lola: 13773606 markings, 16550476 edges, 24677 markings/sec, 535 secs
lola: 13900106 markings, 16728165 edges, 25300 markings/sec, 540 secs
lola: 14028808 markings, 16923136 edges, 25740 markings/sec, 545 secs
lola: 14160326 markings, 17102486 edges, 26304 markings/sec, 550 secs
lola: 14291916 markings, 17296561 edges, 26318 markings/sec, 555 secs
lola: 14419722 markings, 17513787 edges, 25561 markings/sec, 560 secs
lola: 14546549 markings, 17685737 edges, 25365 markings/sec, 565 secs
lola: 14677651 markings, 17880331 edges, 26220 markings/sec, 570 secs
lola: 14804574 markings, 18075562 edges, 25385 markings/sec, 575 secs
lola: 14935812 markings, 18261968 edges, 26248 markings/sec, 580 secs
lola: 15060427 markings, 18443820 edges, 24923 markings/sec, 585 secs
lola: 15185340 markings, 18638262 edges, 24983 markings/sec, 590 secs
lola: 15313661 markings, 18813486 edges, 25664 markings/sec, 595 secs
lola: 15443112 markings, 19002229 edges, 25890 markings/sec, 600 secs
lola: 15567589 markings, 19217785 edges, 24895 markings/sec, 605 secs
lola: 15697588 markings, 19401020 edges, 26000 markings/sec, 610 secs
lola: 15826819 markings, 19603159 edges, 25846 markings/sec, 615 secs
lola: 15957593 markings, 19780113 edges, 26155 markings/sec, 620 secs
lola: 16086710 markings, 19987253 edges, 25823 markings/sec, 625 secs
lola: time limit reached - aborting
lola:
preliminary result: 1 1 6 unknown 10 unknown unknown unknown 1 1 1 2 2 1 unknown 1
lola:
preliminary result: 1 1 6 unknown 10 unknown unknown unknown 1 1 1 2 2 1 unknown 1
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 1 6 unknown 10 unknown unknown unknown 1 1 1 2 2 1 unknown 1
lola: memory consumption: 1302408 KB
lola: time consumption: 3569 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 1 6 unknown 10 unknown unknown unknown 1 1 1 2 2 1 unknown 1
lola: memory consumption: 1302408 KB
lola: time consumption: 3569 seconds

BK_STOP 1526809968345

--------------------
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-S02J04T06"
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-S02J04T06.tgz
mv PolyORBLF-COL-S02J04T06 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-S02J04T06, 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-152673526700009"
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 ;