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 324K
-rw-r--r-- 1 mcc users 4.1K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.3K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 22K 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.8K 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.1K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.6K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K 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.7K 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-S02J04T10, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r124-smll-152673526800023
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1526824627377

info: Time: 3600 - MCC
===========================================================================================
prep: translating PolyORBLF-COL-S02J04T10 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating COL Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating PolyORBLF-COL-S02J04T10 formula UpperBounds into LoLA format
===========================================================================================
prep: translating COL formula complete
vrfy: Checking UpperBounds @ PolyORBLF-COL-S02J04T10 @ 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: 2324/65536 symbol table entries, 6 collisions
lola: preprocessing...
lola: Size of bit vector: 24064
lola: finding significant places
lola: 752 places, 1572 transitions, 698 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2143 transition conflict sets
lola: TASK
lola: reading formula from PolyORBLF-COL-S02J04T10-UpperBounds.task
lola: LP says that atomic proposition is always false: (p368 + p367 + p366 + p365 + p364 <= 0)
lola: MAX(p232) : MAX(p542 + p541) : MAX(p613 + p614 + p615 + p616 + p617) : MAX(p368 + p367 + p366 + p365 + p364) : MAX(p100 + p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p94 + p93 + p92 + p91 + p90 + p89 + p88 + p87 + p86 + p85 + p84 + p83 + p82 + p81 + p80 + p79 + p78 + p77 + p76 + p95 + p96 + p97 + p98 + p99) : MAX(p446 + p447) : MAX(p73 + p72 + p71 + p70 + p69 + p68 + p67 + p66 + p65 + p74) : MAX(p314 + p315 + p316 + p317 + p318 + p319 + p320 + p321 + p322 + p323 + p324 + p325 + p326 + p327 + p328 + p329 + p330 + p331 + p332 + p333 + p334 + p335 + p336 + p337 + p338 + p339 + p340 + p341 + p342 + p343 + p344 + p345 + p346 + p347 + p348 + p349 + p350 + p351 + p352 + p353 + p354 + p355 + p356 + p357 + p358 + p359 + p360 + p361 + p362 + p363) : MAX(p244 + p245 + p246 + p247 + p248 + p249 + p250 + p251 + p252 + p253) : MAX(p446 + p447) : MAX(p518) : MAX(p389) : MAX(p446 + p447) : MAX(p294 + p295 + p296 + p297 + p298 + p299 + p300 + p301 + p302 + p303 + p304 + p305 + p306 + p307 + p308 + p309 + p310 + p311 + p312 + p313) : MAX(p233) : MAX(p730)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 217 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p368 + p367 + p366 + p365 + p364)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p368 + p367 + p366 + p365 + p364)
lola: processed formula length: 37
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J04T10-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: 5
lola: SUBRESULT
lola: result: 5
lola: produced by: state space
lola: The maximum value of the given expression is 5
lola: 0 markings, 0 edges
lola: ========================================

FORMULA PolyORBLF-COL-S02J04T10-UpperBounds-3 5 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 231 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p232)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p232)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J04T10-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: 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-S02J04T10-UpperBounds-0 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 246 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p518)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p518)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J04T10-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-S02J04T10-UpperBounds-10 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 264 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p389)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p389)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J04T10-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: 29 markings, 28 edges
lola: ========================================

FORMULA PolyORBLF-COL-S02J04T10-UpperBounds-11 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 286 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p233)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p233)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J04T10-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: 94278 markings, 97937 edges, 18856 markings/sec, 30 secs
lola: 187919 markings, 195985 edges, 18728 markings/sec, 35 secs
lola: 282354 markings, 295518 edges, 18887 markings/sec, 40 secs
lola: 375916 markings, 394110 edges, 18712 markings/sec, 45 secs
lola: 469344 markings, 493211 edges, 18686 markings/sec, 50 secs
lola: 563163 markings, 592819 edges, 18764 markings/sec, 55 secs
lola: 656679 markings, 691917 edges, 18703 markings/sec, 60 secs
lola: 750372 markings, 791211 edges, 18739 markings/sec, 65 secs
lola: 844019 markings, 890712 edges, 18729 markings/sec, 70 secs
lola: 938048 markings, 990909 edges, 18806 markings/sec, 75 secs
lola: 1031693 markings, 1090670 edges, 18729 markings/sec, 80 secs
lola: 1124779 markings, 1189675 edges, 18617 markings/sec, 85 secs
lola: 1217837 markings, 1288706 edges, 18612 markings/sec, 90 secs
lola: 1311120 markings, 1388369 edges, 18657 markings/sec, 95 secs
lola: 1404026 markings, 1487338 edges, 18581 markings/sec, 100 secs
lola: 1496930 markings, 1586152 edges, 18581 markings/sec, 105 secs
lola: 1589671 markings, 1684301 edges, 18548 markings/sec, 110 secs
lola: 1682713 markings, 1783287 edges, 18608 markings/sec, 115 secs
lola: 1775693 markings, 1882405 edges, 18596 markings/sec, 120 secs
lola: 1869051 markings, 1981831 edges, 18672 markings/sec, 125 secs
lola: 1962526 markings, 2081576 edges, 18695 markings/sec, 130 secs
lola: 2055769 markings, 2180937 edges, 18649 markings/sec, 135 secs
lola: 2149096 markings, 2280577 edges, 18665 markings/sec, 140 secs
lola: 2243041 markings, 2380989 edges, 18789 markings/sec, 145 secs
lola: 2337115 markings, 2481489 edges, 18815 markings/sec, 150 secs
lola: 2430804 markings, 2581377 edges, 18738 markings/sec, 155 secs
lola: 2524190 markings, 2681142 edges, 18677 markings/sec, 160 secs
lola: 2617761 markings, 2781390 edges, 18714 markings/sec, 165 secs
lola: 2711172 markings, 2881496 edges, 18682 markings/sec, 170 secs
lola: 2804373 markings, 2981195 edges, 18640 markings/sec, 175 secs
lola: 2897968 markings, 3081303 edges, 18719 markings/sec, 180 secs
lola: 2991863 markings, 3181706 edges, 18779 markings/sec, 185 secs
lola: 3085542 markings, 3281951 edges, 18736 markings/sec, 190 secs
lola: 3179278 markings, 3382414 edges, 18747 markings/sec, 195 secs
lola: 3272746 markings, 3482403 edges, 18694 markings/sec, 200 secs
lola: 3366116 markings, 3582473 edges, 18674 markings/sec, 205 secs
lola: 3459478 markings, 3682516 edges, 18672 markings/sec, 210 secs
lola: 3552865 markings, 3782436 edges, 18677 markings/sec, 215 secs
lola: 3646060 markings, 3882086 edges, 18639 markings/sec, 220 secs
lola: 3739375 markings, 3981821 edges, 18663 markings/sec, 225 secs
lola: 3832430 markings, 4080944 edges, 18611 markings/sec, 230 secs
lola: 3919497 markings, 4173771 edges, 17413 markings/sec, 235 secs
lola: 4010011 markings, 4270754 edges, 18103 markings/sec, 240 secs
lola: 4102974 markings, 4370585 edges, 18593 markings/sec, 245 secs
lola: 4196134 markings, 4470474 edges, 18632 markings/sec, 250 secs
lola: 4289001 markings, 4570203 edges, 18573 markings/sec, 255 secs
lola: 4382049 markings, 4668755 edges, 18610 markings/sec, 260 secs
lola: 4475065 markings, 4767216 edges, 18603 markings/sec, 265 secs
lola: 4568078 markings, 4867004 edges, 18603 markings/sec, 270 secs
lola: 4661111 markings, 4966528 edges, 18607 markings/sec, 275 secs
lola: 4754206 markings, 5066232 edges, 18619 markings/sec, 280 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 unknown unknown 5 unknown unknown unknown unknown unknown unknown 1 1 unknown unknown unknown unknown
lola: memory consumption: 755528 KB
lola: time consumption: 415 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 286 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p730)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p730)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J04T10-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: 86827 markings, 91592 edges, 17365 markings/sec, 30 secs
lola: 172431 markings, 182579 edges, 17121 markings/sec, 35 secs
lola: 257556 markings, 273126 edges, 17025 markings/sec, 40 secs
lola: 342289 markings, 363361 edges, 16947 markings/sec, 45 secs
lola: 427172 markings, 454021 edges, 16977 markings/sec, 50 secs
lola: 512065 markings, 544928 edges, 16979 markings/sec, 55 secs
lola: 596761 markings, 635451 edges, 16939 markings/sec, 60 secs
lola: 681256 markings, 725781 edges, 16899 markings/sec, 65 secs
lola: 765426 markings, 815904 edges, 16834 markings/sec, 70 secs
lola: 849691 markings, 906151 edges, 16853 markings/sec, 75 secs
lola: 933867 markings, 996283 edges, 16835 markings/sec, 80 secs
lola: 1017854 markings, 1086289 edges, 16797 markings/sec, 85 secs
lola: 1102123 markings, 1176959 edges, 16854 markings/sec, 90 secs
lola: 1186335 markings, 1267401 edges, 16842 markings/sec, 95 secs
lola: 1270501 markings, 1358024 edges, 16833 markings/sec, 100 secs
lola: 1354366 markings, 1447986 edges, 16773 markings/sec, 105 secs
lola: 1438436 markings, 1538496 edges, 16814 markings/sec, 110 secs
lola: 1522407 markings, 1628921 edges, 16794 markings/sec, 115 secs
lola: 1606147 markings, 1719435 edges, 16748 markings/sec, 120 secs
lola: 1690268 markings, 1809967 edges, 16824 markings/sec, 125 secs
lola: 1774199 markings, 1899973 edges, 16786 markings/sec, 130 secs
lola: 1857939 markings, 1989913 edges, 16748 markings/sec, 135 secs
lola: 1941976 markings, 2080178 edges, 16807 markings/sec, 140 secs
lola: 2026077 markings, 2170678 edges, 16820 markings/sec, 145 secs
lola: 2110652 markings, 2261576 edges, 16915 markings/sec, 150 secs
lola: 2194516 markings, 2351709 edges, 16773 markings/sec, 155 secs
lola: 2278239 markings, 2441656 edges, 16745 markings/sec, 160 secs
lola: 2361677 markings, 2531515 edges, 16688 markings/sec, 165 secs
lola: 2445410 markings, 2621627 edges, 16747 markings/sec, 170 secs
lola: 2529498 markings, 2712052 edges, 16818 markings/sec, 175 secs
lola: 2613371 markings, 2802437 edges, 16775 markings/sec, 180 secs
lola: 2697169 markings, 2892887 edges, 16760 markings/sec, 185 secs
lola: 2781339 markings, 2983399 edges, 16834 markings/sec, 190 secs
lola: 2864976 markings, 3073508 edges, 16727 markings/sec, 195 secs
lola: 2948896 markings, 3163575 edges, 16784 markings/sec, 200 secs
lola: 3032430 markings, 3253558 edges, 16707 markings/sec, 205 secs
lola: 3116022 markings, 3343367 edges, 16718 markings/sec, 210 secs
lola: 3199563 markings, 3433253 edges, 16708 markings/sec, 215 secs
lola: 3283651 markings, 3524004 edges, 16818 markings/sec, 220 secs
lola: 3367104 markings, 3613741 edges, 16691 markings/sec, 225 secs
lola: 3450551 markings, 3703542 edges, 16689 markings/sec, 230 secs
lola: 3534271 markings, 3793979 edges, 16744 markings/sec, 235 secs
lola: 3617875 markings, 3883888 edges, 16721 markings/sec, 240 secs
lola: 3701512 markings, 3973933 edges, 16727 markings/sec, 245 secs
lola: 3784775 markings, 4063692 edges, 16653 markings/sec, 250 secs
lola: 3868196 markings, 4153447 edges, 16684 markings/sec, 255 secs
lola: 3951816 markings, 4243907 edges, 16724 markings/sec, 260 secs
lola: 4035354 markings, 4333878 edges, 16708 markings/sec, 265 secs
lola: 4118637 markings, 4423826 edges, 16657 markings/sec, 270 secs
lola: 4202086 markings, 4513943 edges, 16690 markings/sec, 275 secs
lola: 4285431 markings, 4603594 edges, 16669 markings/sec, 280 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 unknown unknown 5 unknown unknown unknown unknown unknown unknown 1 1 unknown unknown unknown unknown
lola: memory consumption: 583828 KB
lola: time consumption: 701 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 286 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p446 + p447)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p446 + p447)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J04T10-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: 3 markings, 2 edges

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

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

FORMULA PolyORBLF-COL-S02J04T10-UpperBounds-9 2 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 9 will run for 409 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p542 + p541)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p542 + p541)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J04T10-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-S02J04T10-UpperBounds-1 2 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 10 will run for 478 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p613 + p614 + p615 + p616 + p617)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p613 + p614 + p615 + p616 + p617)
lola: processed formula length: 37
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J04T10-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: 8 markings, 7 edges

FORMULA PolyORBLF-COL-S02J04T10-UpperBounds-2 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 11 will run for 573 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p73 + p72 + p71 + p70 + p69 + p68 + p67 + p66 + p65 + p74)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p73 + p72 + p71 + p70 + p69 + p68 + p67 + p66 + p65 + p74)
lola: processed formula length: 62
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J04T10-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: 85684 markings, 93378 edges, 17137 markings/sec, 30 secs
lola: 170888 markings, 187304 edges, 17041 markings/sec, 35 secs
lola: 255943 markings, 281363 edges, 17011 markings/sec, 40 secs
lola: 341133 markings, 376186 edges, 17038 markings/sec, 45 secs
lola: 426034 markings, 469889 edges, 16980 markings/sec, 50 secs
lola: 510886 markings, 564838 edges, 16970 markings/sec, 55 secs
lola: 595188 markings, 659059 edges, 16860 markings/sec, 60 secs
lola: 679925 markings, 754027 edges, 16947 markings/sec, 65 secs
lola: 764017 markings, 847765 edges, 16818 markings/sec, 70 secs
lola: 848519 markings, 942427 edges, 16900 markings/sec, 75 secs
lola: 932817 markings, 1037036 edges, 16860 markings/sec, 80 secs
lola: 1017399 markings, 1132347 edges, 16916 markings/sec, 85 secs
lola: 1101890 markings, 1226859 edges, 16898 markings/sec, 90 secs
lola: 1186263 markings, 1321627 edges, 16875 markings/sec, 95 secs
lola: 1270597 markings, 1416040 edges, 16867 markings/sec, 100 secs
lola: 1355201 markings, 1510798 edges, 16921 markings/sec, 105 secs
lola: 1439222 markings, 1605286 edges, 16804 markings/sec, 110 secs
lola: 1523110 markings, 1699877 edges, 16778 markings/sec, 115 secs
lola: 1607415 markings, 1795203 edges, 16861 markings/sec, 120 secs
lola: 1690323 markings, 1888926 edges, 16582 markings/sec, 125 secs
lola: 1772636 markings, 1981877 edges, 16463 markings/sec, 130 secs
lola: 1854476 markings, 2074465 edges, 16368 markings/sec, 135 secs
lola: 1928539 markings, 2158383 edges, 14813 markings/sec, 140 secs
lola: 2012288 markings, 2253272 edges, 16750 markings/sec, 145 secs
lola: 2095744 markings, 2347933 edges, 16691 markings/sec, 150 secs
lola: 2179124 markings, 2442181 edges, 16676 markings/sec, 155 secs
lola: 2262571 markings, 2536918 edges, 16689 markings/sec, 160 secs
lola: 2346039 markings, 2630842 edges, 16694 markings/sec, 165 secs
lola: 2426195 markings, 2720820 edges, 16031 markings/sec, 170 secs
lola: 2510315 markings, 2816024 edges, 16824 markings/sec, 175 secs
lola: 2594473 markings, 2910489 edges, 16832 markings/sec, 180 secs
lola: 2678234 markings, 3004173 edges, 16752 markings/sec, 185 secs
lola: 2762398 markings, 3097624 edges, 16833 markings/sec, 190 secs
lola: 2846667 markings, 3192528 edges, 16854 markings/sec, 195 secs
lola: 2930451 markings, 3287659 edges, 16757 markings/sec, 200 secs
lola: 3014276 markings, 3382523 edges, 16765 markings/sec, 205 secs
lola: 3098257 markings, 3477870 edges, 16796 markings/sec, 210 secs
lola: 3182348 markings, 3573361 edges, 16818 markings/sec, 215 secs
lola: 3266324 markings, 3669032 edges, 16795 markings/sec, 220 secs
lola: 3350212 markings, 3764129 edges, 16778 markings/sec, 225 secs
lola: 3434152 markings, 3859553 edges, 16788 markings/sec, 230 secs
lola: 3518118 markings, 3952702 edges, 16793 markings/sec, 235 secs
lola: 3601975 markings, 4047888 edges, 16771 markings/sec, 240 secs
lola: 3685815 markings, 4142996 edges, 16768 markings/sec, 245 secs
lola: 3769344 markings, 4237860 edges, 16706 markings/sec, 250 secs
lola: 3852781 markings, 4332539 edges, 16687 markings/sec, 255 secs
lola: 3936663 markings, 4428040 edges, 16776 markings/sec, 260 secs
lola: 4020086 markings, 4522594 edges, 16685 markings/sec, 265 secs
lola: 4103779 markings, 4618033 edges, 16739 markings/sec, 270 secs
lola: 4187430 markings, 4713180 edges, 16730 markings/sec, 275 secs
lola: 4271305 markings, 4808543 edges, 16775 markings/sec, 280 secs
lola: 4355082 markings, 4904148 edges, 16755 markings/sec, 285 secs
lola: 4439120 markings, 4999581 edges, 16808 markings/sec, 290 secs
lola: 4522833 markings, 5093011 edges, 16743 markings/sec, 295 secs
lola: 4606587 markings, 5186865 edges, 16751 markings/sec, 300 secs
lola: 4690430 markings, 5282343 edges, 16769 markings/sec, 305 secs
lola: 4774639 markings, 5378515 edges, 16842 markings/sec, 310 secs
lola: 4858373 markings, 5474289 edges, 16747 markings/sec, 315 secs
lola: 4942122 markings, 5569965 edges, 16750 markings/sec, 320 secs
lola: 5025955 markings, 5665842 edges, 16767 markings/sec, 325 secs
lola: 5109508 markings, 5760966 edges, 16711 markings/sec, 330 secs
lola: 5193599 markings, 5854588 edges, 16818 markings/sec, 335 secs
lola: 5277103 markings, 5949154 edges, 16701 markings/sec, 340 secs
lola: 5361208 markings, 6045618 edges, 16821 markings/sec, 345 secs
lola: 5444903 markings, 6141107 edges, 16739 markings/sec, 350 secs
lola: 5528428 markings, 6236121 edges, 16705 markings/sec, 355 secs
lola: 5612441 markings, 6330913 edges, 16803 markings/sec, 360 secs
lola: 5696342 markings, 6424044 edges, 16780 markings/sec, 365 secs
lola: 5779847 markings, 6519641 edges, 16701 markings/sec, 370 secs
lola: 5863487 markings, 6614796 edges, 16728 markings/sec, 375 secs
lola: 5947415 markings, 6708790 edges, 16786 markings/sec, 380 secs
lola: 6031353 markings, 6802978 edges, 16788 markings/sec, 385 secs
lola: 6114785 markings, 6898317 edges, 16686 markings/sec, 390 secs
lola: 6198257 markings, 6993607 edges, 16694 markings/sec, 395 secs
lola: 6281997 markings, 7089883 edges, 16748 markings/sec, 400 secs
lola: 6365438 markings, 7185014 edges, 16688 markings/sec, 405 secs
lola: 6449144 markings, 7278375 edges, 16741 markings/sec, 410 secs
lola: 6532863 markings, 7374165 edges, 16744 markings/sec, 415 secs
lola: 6616594 markings, 7469971 edges, 16746 markings/sec, 420 secs
lola: 6700311 markings, 7565718 edges, 16743 markings/sec, 425 secs
lola: 6783824 markings, 7661351 edges, 16703 markings/sec, 430 secs
lola: 6868063 markings, 7758139 edges, 16848 markings/sec, 435 secs
lola: 6951559 markings, 7853601 edges, 16699 markings/sec, 440 secs
lola: 7034866 markings, 7948655 edges, 16661 markings/sec, 445 secs
lola: 7118859 markings, 8044857 edges, 16799 markings/sec, 450 secs
lola: 7202320 markings, 8140352 edges, 16692 markings/sec, 455 secs
lola: 7286159 markings, 8234555 edges, 16768 markings/sec, 460 secs
lola: 7369981 markings, 8330406 edges, 16764 markings/sec, 465 secs
lola: 7454059 markings, 8426973 edges, 16816 markings/sec, 470 secs
lola: 7537529 markings, 8520591 edges, 16694 markings/sec, 475 secs
lola: 7621148 markings, 8616280 edges, 16724 markings/sec, 480 secs
lola: 7705052 markings, 8712808 edges, 16781 markings/sec, 485 secs
lola: 7788394 markings, 8808468 edges, 16668 markings/sec, 490 secs
lola: 7871703 markings, 8903500 edges, 16662 markings/sec, 495 secs
lola: 7955711 markings, 8999855 edges, 16802 markings/sec, 500 secs
lola: 8039215 markings, 9095663 edges, 16701 markings/sec, 505 secs
lola: 8122500 markings, 9191030 edges, 16657 markings/sec, 510 secs
lola: 8205714 markings, 9286346 edges, 16643 markings/sec, 515 secs
lola: 8289300 markings, 9382315 edges, 16717 markings/sec, 520 secs
lola: 8372961 markings, 9478023 edges, 16732 markings/sec, 525 secs
lola: 8456531 markings, 9573847 edges, 16714 markings/sec, 530 secs
lola: 8540407 markings, 9670243 edges, 16775 markings/sec, 535 secs
lola: 8623909 markings, 9766031 edges, 16700 markings/sec, 540 secs
lola: 8707456 markings, 9861730 edges, 16709 markings/sec, 545 secs
lola: 8791010 markings, 9957885 edges, 16711 markings/sec, 550 secs
lola: 8874726 markings, 10053970 edges, 16743 markings/sec, 555 secs
lola: 8958331 markings, 10149696 edges, 16721 markings/sec, 560 secs
lola: 9041792 markings, 10245235 edges, 16692 markings/sec, 565 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 2 1 5 unknown 2 unknown unknown unknown 2 1 1 2 unknown unknown unknown
lola: memory consumption: 1281968 KB
lola: time consumption: 1276 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 573 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p244 + p245 + p246 + p247 + p248 + p249 + p250 + p251 + p252 + p253)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p244 + p245 + p246 + p247 + p248 + p249 + p250 + p251 + p252 + p253)
lola: processed formula length: 72
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J04T10-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: 45 markings, 44 edges

FORMULA PolyORBLF-COL-S02J04T10-UpperBounds-8 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 13 will run for 764 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p294 + p295 + p296 + p297 + p298 + p299 + p300 + p301 + p302 + p303 + p304 + p305 + p306 + p307 + p308 + p309 + p310 + p311 + p312 + p313)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p294 + p295 + p296 + p297 + p298 + p299 + p300 + p301 + p302 + p303 + p304 + p305 + p306 + p307 + p308 + p309 + p310 + p311 + p312 + p313)
lola: processed formula length: 142
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J04T10-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: Structural Bound: 2
lola: 10270 markings, 10693 edges, 2054 markings/sec, 5 secs
lola: 101590 markings, 107250 edges, 18264 markings/sec, 10 secs
lola: 192583 markings, 204000 edges, 18199 markings/sec, 15 secs
lola: 283340 markings, 300503 edges, 18151 markings/sec, 20 secs
lola: 374032 markings, 397170 edges, 18138 markings/sec, 25 secs
lola: 464378 markings, 493795 edges, 18069 markings/sec, 30 secs
lola: 554451 markings, 590325 edges, 18015 markings/sec, 35 secs
lola: 645506 markings, 687514 edges, 18211 markings/sec, 40 secs
lola: 735711 markings, 783961 edges, 18041 markings/sec, 45 secs
lola: 825693 markings, 880507 edges, 17996 markings/sec, 50 secs
lola: 916119 markings, 977238 edges, 18085 markings/sec, 55 secs
lola: 1006275 markings, 1073841 edges, 18031 markings/sec, 60 secs
lola: 1096260 markings, 1170621 edges, 17997 markings/sec, 65 secs
lola: 1186238 markings, 1267298 edges, 17996 markings/sec, 70 secs
lola: 1275093 markings, 1362984 edges, 17771 markings/sec, 75 secs
lola: 1365198 markings, 1459669 edges, 18021 markings/sec, 80 secs
lola: 1454854 markings, 1556161 edges, 17931 markings/sec, 85 secs
lola: 1544297 markings, 1652532 edges, 17889 markings/sec, 90 secs
lola: 1633617 markings, 1748983 edges, 17864 markings/sec, 95 secs
lola: 1723815 markings, 1845828 edges, 18040 markings/sec, 100 secs
lola: 1813678 markings, 1942324 edges, 17973 markings/sec, 105 secs
lola: 1903542 markings, 2038919 edges, 17973 markings/sec, 110 secs
lola: 1993591 markings, 2135651 edges, 18010 markings/sec, 115 secs
lola: 2083561 markings, 2232525 edges, 17994 markings/sec, 120 secs
lola: 2173860 markings, 2329416 edges, 18060 markings/sec, 125 secs
lola: 2263420 markings, 2425762 edges, 17912 markings/sec, 130 secs
lola: 2353075 markings, 2522319 edges, 17931 markings/sec, 135 secs
lola: 2438903 markings, 2614587 edges, 17166 markings/sec, 140 secs
lola: 2528394 markings, 2710874 edges, 17898 markings/sec, 145 secs
lola: 2618105 markings, 2807508 edges, 17942 markings/sec, 150 secs
lola: 2707567 markings, 2904025 edges, 17892 markings/sec, 155 secs
lola: 2797379 markings, 3000626 edges, 17962 markings/sec, 160 secs
lola: 2887170 markings, 3097296 edges, 17958 markings/sec, 165 secs
lola: 2977269 markings, 3194073 edges, 18020 markings/sec, 170 secs
lola: 3066680 markings, 3290410 edges, 17882 markings/sec, 175 secs
lola: 3156775 markings, 3387183 edges, 18019 markings/sec, 180 secs
lola: 3245955 markings, 3483340 edges, 17836 markings/sec, 185 secs
lola: 3334801 markings, 3579058 edges, 17769 markings/sec, 190 secs
lola: 3423964 markings, 3675003 edges, 17833 markings/sec, 195 secs
lola: 3512558 markings, 3770621 edges, 17719 markings/sec, 200 secs
lola: 3601622 markings, 3866392 edges, 17813 markings/sec, 205 secs
lola: 3690997 markings, 3962567 edges, 17875 markings/sec, 210 secs
lola: 3779610 markings, 4058096 edges, 17723 markings/sec, 215 secs
lola: 3868800 markings, 4154087 edges, 17838 markings/sec, 220 secs
lola: 3957311 markings, 4249823 edges, 17702 markings/sec, 225 secs
lola: 4046208 markings, 4345622 edges, 17779 markings/sec, 230 secs
lola: 4135121 markings, 4441662 edges, 17783 markings/sec, 235 secs
lola: 4224162 markings, 4537685 edges, 17808 markings/sec, 240 secs
lola: 4313308 markings, 4633588 edges, 17829 markings/sec, 245 secs
lola: 4396557 markings, 4723472 edges, 16650 markings/sec, 250 secs
lola: 4485978 markings, 4820054 edges, 17884 markings/sec, 255 secs
lola: 4575246 markings, 4916569 edges, 17854 markings/sec, 260 secs
lola: 4664398 markings, 5012982 edges, 17830 markings/sec, 265 secs
lola: 4753576 markings, 5109334 edges, 17836 markings/sec, 270 secs
lola: 4843327 markings, 5206010 edges, 17950 markings/sec, 275 secs
lola: 4932539 markings, 5302579 edges, 17842 markings/sec, 280 secs
lola: 5022487 markings, 5399632 edges, 17990 markings/sec, 285 secs
lola: 5112030 markings, 5496434 edges, 17909 markings/sec, 290 secs
lola: 5201757 markings, 5593266 edges, 17945 markings/sec, 295 secs
lola: 5291029 markings, 5689742 edges, 17854 markings/sec, 300 secs
lola: 5380378 markings, 5786322 edges, 17870 markings/sec, 305 secs
lola: 5469543 markings, 5882757 edges, 17833 markings/sec, 310 secs
lola: 5559180 markings, 5979565 edges, 17927 markings/sec, 315 secs
lola: 5649079 markings, 6076495 edges, 17980 markings/sec, 320 secs
lola: 5738626 markings, 6173165 edges, 17909 markings/sec, 325 secs
lola: 5828169 markings, 6270066 edges, 17909 markings/sec, 330 secs
lola: 5917858 markings, 6366775 edges, 17938 markings/sec, 335 secs
lola: 6007335 markings, 6463450 edges, 17895 markings/sec, 340 secs
lola: 6097024 markings, 6560282 edges, 17938 markings/sec, 345 secs
lola: 6186972 markings, 6657286 edges, 17990 markings/sec, 350 secs
lola: 6275895 markings, 6753915 edges, 17785 markings/sec, 355 secs
lola: 6365751 markings, 6850866 edges, 17971 markings/sec, 360 secs
lola: 6455619 markings, 6947727 edges, 17974 markings/sec, 365 secs
lola: 6544870 markings, 7044270 edges, 17850 markings/sec, 370 secs
lola: 6634046 markings, 7140822 edges, 17835 markings/sec, 375 secs
lola: 6723132 markings, 7237265 edges, 17817 markings/sec, 380 secs
lola: 6812654 markings, 7333981 edges, 17904 markings/sec, 385 secs
lola: 6902122 markings, 7430660 edges, 17894 markings/sec, 390 secs
lola: 6992314 markings, 7527682 edges, 18038 markings/sec, 395 secs
lola: 7081829 markings, 7624408 edges, 17903 markings/sec, 400 secs
lola: 7171545 markings, 7721077 edges, 17943 markings/sec, 405 secs
lola: 7260678 markings, 7817671 edges, 17827 markings/sec, 410 secs
lola: 7349950 markings, 7914311 edges, 17854 markings/sec, 415 secs
lola: 7439584 markings, 8011057 edges, 17927 markings/sec, 420 secs
lola: 7529246 markings, 8107943 edges, 17932 markings/sec, 425 secs
lola: 7618666 markings, 8204792 edges, 17884 markings/sec, 430 secs
lola: 7708398 markings, 8301781 edges, 17946 markings/sec, 435 secs
lola: 7797924 markings, 8398624 edges, 17905 markings/sec, 440 secs
lola: 7887483 markings, 8495295 edges, 17912 markings/sec, 445 secs
lola: 7976553 markings, 8591984 edges, 17814 markings/sec, 450 secs
lola: 8066310 markings, 8688906 edges, 17951 markings/sec, 455 secs
lola: 8155663 markings, 8785789 edges, 17871 markings/sec, 460 secs
lola: 8244238 markings, 8881773 edges, 17715 markings/sec, 465 secs
lola: 8333410 markings, 8977889 edges, 17834 markings/sec, 470 secs
lola: 8422419 markings, 9074076 edges, 17802 markings/sec, 475 secs
lola: 8511189 markings, 9170156 edges, 17754 markings/sec, 480 secs
lola: 8599203 markings, 9265796 edges, 17603 markings/sec, 485 secs
lola: 8687703 markings, 9361837 edges, 17700 markings/sec, 490 secs
lola: 8775890 markings, 9457542 edges, 17637 markings/sec, 495 secs
lola: 8865001 markings, 9553908 edges, 17822 markings/sec, 500 secs
lola: 8953480 markings, 9649751 edges, 17696 markings/sec, 505 secs
lola: 9042079 markings, 9745815 edges, 17720 markings/sec, 510 secs
lola: 9130611 markings, 9841673 edges, 17706 markings/sec, 515 secs
lola: 9219501 markings, 9937705 edges, 17778 markings/sec, 520 secs
lola: 9308118 markings, 10033543 edges, 17723 markings/sec, 525 secs
lola: 9396541 markings, 10129461 edges, 17685 markings/sec, 530 secs
lola: 9485681 markings, 10225679 edges, 17828 markings/sec, 535 secs
lola: 9573754 markings, 10321294 edges, 17615 markings/sec, 540 secs
lola: 9662424 markings, 10417254 edges, 17734 markings/sec, 545 secs
lola: 9751682 markings, 10513350 edges, 17852 markings/sec, 550 secs
lola: 9840323 markings, 10609361 edges, 17728 markings/sec, 555 secs
lola: 9929175 markings, 10705442 edges, 17770 markings/sec, 560 secs
lola: 10018041 markings, 10801478 edges, 17773 markings/sec, 565 secs
lola: 10106466 markings, 10897347 edges, 17685 markings/sec, 570 secs
lola: 10194594 markings, 10993096 edges, 17626 markings/sec, 575 secs
lola: 10283069 markings, 11088681 edges, 17695 markings/sec, 580 secs
lola: 10372172 markings, 11184854 edges, 17821 markings/sec, 585 secs
lola: 10461549 markings, 11281348 edges, 17875 markings/sec, 590 secs
lola: 10551791 markings, 11378756 edges, 18048 markings/sec, 595 secs
lola: 10641481 markings, 11475973 edges, 17938 markings/sec, 600 secs
lola: 10731840 markings, 11573184 edges, 18072 markings/sec, 605 secs
lola: 10821672 markings, 11670403 edges, 17966 markings/sec, 610 secs
lola: 10911722 markings, 11767819 edges, 18010 markings/sec, 615 secs
lola: 11001456 markings, 11865311 edges, 17947 markings/sec, 620 secs
lola: 11091584 markings, 11962753 edges, 18026 markings/sec, 625 secs
lola: 11181614 markings, 12060069 edges, 18006 markings/sec, 630 secs
lola: 11271831 markings, 12157520 edges, 18043 markings/sec, 635 secs
lola: 11361987 markings, 12254953 edges, 18031 markings/sec, 640 secs
lola: 11451640 markings, 12352220 edges, 17931 markings/sec, 645 secs
lola: 11542350 markings, 12449918 edges, 18142 markings/sec, 650 secs
lola: 11632250 markings, 12546979 edges, 17980 markings/sec, 655 secs
lola: 11722412 markings, 12644633 edges, 18032 markings/sec, 660 secs
lola: 11812787 markings, 12742333 edges, 18075 markings/sec, 665 secs
lola: 11902718 markings, 12839856 edges, 17986 markings/sec, 670 secs
lola: 11992877 markings, 12937403 edges, 18032 markings/sec, 675 secs
lola: 12082799 markings, 13034948 edges, 17984 markings/sec, 680 secs
lola: 12172620 markings, 13132110 edges, 17964 markings/sec, 685 secs
lola: 12262704 markings, 13229630 edges, 18017 markings/sec, 690 secs
lola: 12352271 markings, 13326784 edges, 17913 markings/sec, 695 secs
lola: 12442235 markings, 13424235 edges, 17993 markings/sec, 700 secs
lola: 12532003 markings, 13521410 edges, 17954 markings/sec, 705 secs
lola: 12622538 markings, 13619217 edges, 18107 markings/sec, 710 secs
lola: 12712925 markings, 13716913 edges, 18077 markings/sec, 715 secs
lola: 12802878 markings, 13814448 edges, 17991 markings/sec, 720 secs
lola: 12892643 markings, 13912072 edges, 17953 markings/sec, 725 secs
lola: 12983123 markings, 14009806 edges, 18096 markings/sec, 730 secs
lola: 13072747 markings, 14107277 edges, 17925 markings/sec, 735 secs
lola: 13163309 markings, 14205389 edges, 18112 markings/sec, 740 secs
lola: 13253999 markings, 14303424 edges, 18138 markings/sec, 745 secs
lola: 13343860 markings, 14401098 edges, 17972 markings/sec, 750 secs
lola: 13434393 markings, 14499149 edges, 18107 markings/sec, 755 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 2 1 5 unknown 2 unknown unknown 1 2 1 1 2 unknown unknown unknown
lola: memory consumption: 1756564 KB
lola: time consumption: 2040 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 765 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p100 + p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p94 + p93 + p92 + p91 + p90 + p89 + p88 + p87 + p86 + p85 + p84 + p83 + p82 + p81 + p80 + p79 + p78 + p77 + p76 + p95 + p96 + p97 + p98 + p99)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p100 + p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p94 + p93 + p92 + p91 + p90 + p89 + p88 + p87 + p86 + p85 + p84 + p83 + p82 + p81 + p80 + p79 + p78 + p77 + p76 + p95 + p96 + p97 + p98 + p99)
lola: processed formula length: 328
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J04T10-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: 51588 markings, 53614 edges, 10318 markings/sec, 0 secs
lola: 139688 markings, 146174 edges, 17620 markings/sec, 5 secs
lola: 227662 markings, 239170 edges, 17595 markings/sec, 10 secs
lola: 315568 markings, 332205 edges, 17581 markings/sec, 15 secs
lola: 403256 markings, 425628 edges, 17538 markings/sec, 20 secs
lola: 484653 markings, 512128 edges, 16279 markings/sec, 25 secs
lola: 571370 markings, 604808 edges, 17343 markings/sec, 30 secs
lola: 658084 markings, 697548 edges, 17343 markings/sec, 35 secs
lola: 743590 markings, 788781 edges, 17101 markings/sec, 40 secs
lola: 829174 markings, 880052 edges, 17117 markings/sec, 45 secs
lola: 916397 markings, 973065 edges, 17445 markings/sec, 50 secs
lola: 1003599 markings, 1066381 edges, 17440 markings/sec, 55 secs
lola: 1091092 markings, 1159651 edges, 17499 markings/sec, 60 secs
lola: 1178375 markings, 1253224 edges, 17457 markings/sec, 65 secs
lola: 1265560 markings, 1346469 edges, 17437 markings/sec, 70 secs
lola: 1352817 markings, 1440081 edges, 17451 markings/sec, 75 secs
lola: 1439740 markings, 1533321 edges, 17385 markings/sec, 80 secs
lola: 1526759 markings, 1626555 edges, 17404 markings/sec, 85 secs
lola: 1613785 markings, 1719842 edges, 17405 markings/sec, 90 secs
lola: 1700773 markings, 1813236 edges, 17398 markings/sec, 95 secs
lola: 1787789 markings, 1906727 edges, 17403 markings/sec, 100 secs
lola: 1871356 markings, 1996762 edges, 16713 markings/sec, 105 secs
lola: 1957652 markings, 2088112 edges, 17259 markings/sec, 110 secs
lola: 2044282 markings, 2180827 edges, 17326 markings/sec, 115 secs
lola: 2130675 markings, 2273639 edges, 17279 markings/sec, 120 secs
lola: 2216821 markings, 2366449 edges, 17229 markings/sec, 125 secs
lola: 2303186 markings, 2459400 edges, 17273 markings/sec, 130 secs
lola: 2383464 markings, 2545501 edges, 16056 markings/sec, 135 secs
lola: 2469124 markings, 2637746 edges, 17132 markings/sec, 140 secs
lola: 2554825 markings, 2729752 edges, 17140 markings/sec, 145 secs
lola: 2640463 markings, 2821882 edges, 17128 markings/sec, 150 secs
lola: 2725865 markings, 2913655 edges, 17080 markings/sec, 155 secs
lola: 2810420 markings, 3004452 edges, 16911 markings/sec, 160 secs
lola: 2895497 markings, 3095968 edges, 17015 markings/sec, 165 secs
lola: 2981067 markings, 3188150 edges, 17114 markings/sec, 170 secs
lola: 3066678 markings, 3280511 edges, 17122 markings/sec, 175 secs
lola: 3152223 markings, 3372527 edges, 17109 markings/sec, 180 secs
lola: 3237907 markings, 3464818 edges, 17137 markings/sec, 185 secs
lola: 3323562 markings, 3557051 edges, 17131 markings/sec, 190 secs
lola: 3409233 markings, 3649445 edges, 17134 markings/sec, 195 secs
lola: 3494679 markings, 3741535 edges, 17089 markings/sec, 200 secs
lola: 3579995 markings, 3833572 edges, 17063 markings/sec, 205 secs
lola: 3665697 markings, 3925643 edges, 17140 markings/sec, 210 secs
lola: 3751305 markings, 4018024 edges, 17122 markings/sec, 215 secs
lola: 3836729 markings, 4110164 edges, 17085 markings/sec, 220 secs
lola: 3921914 markings, 4202147 edges, 17037 markings/sec, 225 secs
lola: 4006147 markings, 4293015 edges, 16847 markings/sec, 230 secs
lola: 4090346 markings, 4383755 edges, 16840 markings/sec, 235 secs
lola: 4174558 markings, 4474430 edges, 16842 markings/sec, 240 secs
lola: 4258746 markings, 4565388 edges, 16838 markings/sec, 245 secs
lola: 4343021 markings, 4655947 edges, 16855 markings/sec, 250 secs
lola: 4427265 markings, 4746692 edges, 16849 markings/sec, 255 secs
lola: 4511674 markings, 4837530 edges, 16882 markings/sec, 260 secs
lola: 4595856 markings, 4928123 edges, 16836 markings/sec, 265 secs
lola: 4680065 markings, 5019269 edges, 16842 markings/sec, 270 secs
lola: 4764210 markings, 5110065 edges, 16829 markings/sec, 275 secs
lola: 4848315 markings, 5201026 edges, 16821 markings/sec, 280 secs
lola: 4932408 markings, 5292015 edges, 16819 markings/sec, 285 secs
lola: 5016449 markings, 5382983 edges, 16808 markings/sec, 290 secs
lola: 5100596 markings, 5473984 edges, 16829 markings/sec, 295 secs
lola: 5184607 markings, 5564712 edges, 16802 markings/sec, 300 secs
lola: 5268617 markings, 5655268 edges, 16802 markings/sec, 305 secs
lola: 5352723 markings, 5746030 edges, 16821 markings/sec, 310 secs
lola: 5437010 markings, 5837042 edges, 16857 markings/sec, 315 secs
lola: 5521029 markings, 5926492 edges, 16804 markings/sec, 320 secs
lola: 5605429 markings, 6016242 edges, 16880 markings/sec, 325 secs
lola: 5689753 markings, 6106483 edges, 16865 markings/sec, 330 secs
lola: 5773936 markings, 6197309 edges, 16837 markings/sec, 335 secs
lola: 5858064 markings, 6288284 edges, 16826 markings/sec, 340 secs
lola: 5942114 markings, 6379213 edges, 16810 markings/sec, 345 secs
lola: 6026102 markings, 6469902 edges, 16798 markings/sec, 350 secs
lola: 6110359 markings, 6561123 edges, 16851 markings/sec, 355 secs
lola: 6194503 markings, 6652028 edges, 16829 markings/sec, 360 secs
lola: 6278603 markings, 6743039 edges, 16820 markings/sec, 365 secs
lola: 6362640 markings, 6833809 edges, 16807 markings/sec, 370 secs
lola: 6446720 markings, 6924545 edges, 16816 markings/sec, 375 secs
lola: 6530739 markings, 7015096 edges, 16804 markings/sec, 380 secs
lola: 6614871 markings, 7105785 edges, 16826 markings/sec, 385 secs
lola: 6693441 markings, 7190744 edges, 15714 markings/sec, 390 secs
lola: 6777579 markings, 7281710 edges, 16828 markings/sec, 395 secs
lola: 6861687 markings, 7372701 edges, 16822 markings/sec, 400 secs
lola: 6946611 markings, 7464357 edges, 16985 markings/sec, 405 secs
lola: 7031555 markings, 7556153 edges, 16989 markings/sec, 410 secs
lola: 7116246 markings, 7647632 edges, 16938 markings/sec, 415 secs
lola: 7201262 markings, 7739757 edges, 17003 markings/sec, 420 secs
lola: 7286124 markings, 7831325 edges, 16972 markings/sec, 425 secs
lola: 7371057 markings, 7922985 edges, 16987 markings/sec, 430 secs
lola: 7457447 markings, 8016513 edges, 17278 markings/sec, 435 secs
lola: 7544047 markings, 8109939 edges, 17320 markings/sec, 440 secs
lola: 7630451 markings, 8203374 edges, 17281 markings/sec, 445 secs
lola: 7716473 markings, 8296253 edges, 17204 markings/sec, 450 secs
lola: 7802361 markings, 8389177 edges, 17178 markings/sec, 455 secs
lola: 7888639 markings, 8482249 edges, 17256 markings/sec, 460 secs
lola: 7974847 markings, 8575630 edges, 17242 markings/sec, 465 secs
lola: 8061535 markings, 8669377 edges, 17338 markings/sec, 470 secs
lola: 8148075 markings, 8763116 edges, 17308 markings/sec, 475 secs
lola: 8234503 markings, 8856576 edges, 17286 markings/sec, 480 secs
lola: 8320817 markings, 8949737 edges, 17263 markings/sec, 485 secs
lola: 8407096 markings, 9043196 edges, 17256 markings/sec, 490 secs
lola: 8493618 markings, 9136444 edges, 17304 markings/sec, 495 secs
lola: 8580435 markings, 9229213 edges, 17363 markings/sec, 500 secs
lola: 8666821 markings, 9322326 edges, 17277 markings/sec, 505 secs
lola: 8753230 markings, 9415849 edges, 17282 markings/sec, 510 secs
lola: 8839436 markings, 9509135 edges, 17241 markings/sec, 515 secs
lola: 8925585 markings, 9602592 edges, 17230 markings/sec, 520 secs
lola: 9011888 markings, 9696047 edges, 17261 markings/sec, 525 secs
lola: 9098188 markings, 9789461 edges, 17260 markings/sec, 530 secs
lola: 9184610 markings, 9882248 edges, 17284 markings/sec, 535 secs
lola: 9270802 markings, 9975408 edges, 17238 markings/sec, 540 secs
lola: 9356889 markings, 10068439 edges, 17217 markings/sec, 545 secs
lola: 9442924 markings, 10161431 edges, 17207 markings/sec, 550 secs
lola: 9529054 markings, 10254394 edges, 17226 markings/sec, 555 secs
lola: 9615081 markings, 10347304 edges, 17205 markings/sec, 560 secs
lola: 9701226 markings, 10440525 edges, 17229 markings/sec, 565 secs
lola: 9787171 markings, 10533594 edges, 17189 markings/sec, 570 secs
lola: 9873098 markings, 10626510 edges, 17185 markings/sec, 575 secs
lola: 9959258 markings, 10719889 edges, 17232 markings/sec, 580 secs
lola: 10045253 markings, 10813133 edges, 17199 markings/sec, 585 secs
lola: 10131558 markings, 10906397 edges, 17261 markings/sec, 590 secs
lola: 10217430 markings, 10999197 edges, 17174 markings/sec, 595 secs
lola: 10303544 markings, 11092296 edges, 17223 markings/sec, 600 secs
lola: 10389515 markings, 11185033 edges, 17194 markings/sec, 605 secs
lola: 10475518 markings, 11278184 edges, 17201 markings/sec, 610 secs
lola: 10561457 markings, 11371333 edges, 17188 markings/sec, 615 secs
lola: 10647803 markings, 11464817 edges, 17269 markings/sec, 620 secs
lola: 10733977 markings, 11558258 edges, 17235 markings/sec, 625 secs
lola: 10820251 markings, 11651900 edges, 17255 markings/sec, 630 secs
lola: 10906516 markings, 11744445 edges, 17253 markings/sec, 635 secs
lola: 10993098 markings, 11836221 edges, 17316 markings/sec, 640 secs
lola: 11079299 markings, 11929509 edges, 17240 markings/sec, 645 secs
lola: 11165546 markings, 12022651 edges, 17249 markings/sec, 650 secs
lola: 11251802 markings, 12116151 edges, 17251 markings/sec, 655 secs
lola: 11338070 markings, 12209521 edges, 17254 markings/sec, 660 secs
lola: 11424230 markings, 12302826 edges, 17232 markings/sec, 665 secs
lola: 11510369 markings, 12396037 edges, 17228 markings/sec, 670 secs
lola: 11596442 markings, 12489094 edges, 17215 markings/sec, 675 secs
lola: 11682681 markings, 12582718 edges, 17248 markings/sec, 680 secs
lola: 11768700 markings, 12675846 edges, 17204 markings/sec, 685 secs
lola: 11854322 markings, 12768618 edges, 17124 markings/sec, 690 secs
lola: 11940077 markings, 12861221 edges, 17151 markings/sec, 695 secs
lola: 12025928 markings, 12953160 edges, 17170 markings/sec, 700 secs
lola: 12111619 markings, 13046001 edges, 17138 markings/sec, 705 secs
lola: 12197625 markings, 13139365 edges, 17201 markings/sec, 710 secs
lola: 12283815 markings, 13232461 edges, 17238 markings/sec, 715 secs
lola: 12369972 markings, 13325831 edges, 17231 markings/sec, 720 secs
lola: 12456153 markings, 13419373 edges, 17236 markings/sec, 725 secs
lola: 12542459 markings, 13512698 edges, 17261 markings/sec, 730 secs
lola: 12628701 markings, 13606039 edges, 17248 markings/sec, 735 secs
lola: 12714610 markings, 13699352 edges, 17182 markings/sec, 740 secs
lola: 12800125 markings, 13792239 edges, 17103 markings/sec, 745 secs
lola: 12885711 markings, 13884857 edges, 17117 markings/sec, 750 secs
lola: 12971403 markings, 13977792 edges, 17138 markings/sec, 755 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 2 1 5 unknown 2 unknown unknown 1 2 1 1 2 unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: 1 2 1 5 unknown 2 unknown unknown 1 2 1 1 2 unknown unknown unknown
lola: memory consumption: 1988464 KB
lola: time consumption: 2805 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 765 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p314 + p315 + p316 + p317 + p318 + p319 + p320 + p321 + p322 + p323 + p324 + p325 + p326 + p327 + p328 + p329 + p330 + p331 + p332 + p333 + p334 + p335 + p336 + p337 + p338 + p339 + p340 + p341 + p342 + p343 + p344 + p345 + p346 + p347 + p348 + p349 + p350 + p351 + p352 + p353 + p354 + p355 + p356 + p357 + p358 + p359 + p360 + p361 + p362 + p363)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p314 + p315 + p316 + p317 + p318 + p319 + p320 + p321 + p322 + p323 + p324 + p325 + p326 + p327 + p328 + p329 + p330 + p331 + p332 + p333 + p334 + p335 + p336 + p337 + p338 + p339 + p340 + p341 + p342 + p343 + p344 + p345 + p346 + p347 + p348 + p349 + p350 + p351 + p352 + p353 + p354 + p355 + p356 + p357 + p358 + p359 + p360 + p361 + p362 + p363)
lola: processed formula length: 352
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J04T10-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: 89047 markings, 92978 edges, 17809 markings/sec, 30 secs
lola: 177764 markings, 186389 edges, 17743 markings/sec, 35 secs
lola: 266495 markings, 280241 edges, 17746 markings/sec, 40 secs
lola: 355063 markings, 374337 edges, 17714 markings/sec, 45 secs
lola: 443340 markings, 468485 edges, 17655 markings/sec, 50 secs
lola: 531525 markings, 562221 edges, 17637 markings/sec, 55 secs
lola: 619526 markings, 656254 edges, 17600 markings/sec, 60 secs
lola: 707160 markings, 749922 edges, 17527 markings/sec, 65 secs
lola: 789136 markings, 837357 edges, 16395 markings/sec, 70 secs
lola: 877299 markings, 931475 edges, 17633 markings/sec, 75 secs
lola: 965335 markings, 1025422 edges, 17607 markings/sec, 80 secs
lola: 1054317 markings, 1120461 edges, 17796 markings/sec, 85 secs
lola: 1143463 markings, 1215810 edges, 17829 markings/sec, 90 secs
lola: 1232300 markings, 1310898 edges, 17767 markings/sec, 95 secs
lola: 1321120 markings, 1406091 edges, 17764 markings/sec, 100 secs
lola: 1409774 markings, 1501177 edges, 17731 markings/sec, 105 secs
lola: 1498474 markings, 1596206 edges, 17740 markings/sec, 110 secs
lola: 1587026 markings, 1691225 edges, 17710 markings/sec, 115 secs
lola: 1675676 markings, 1786350 edges, 17730 markings/sec, 120 secs
lola: 1764213 markings, 1881403 edges, 17707 markings/sec, 125 secs
lola: 1851900 markings, 1975866 edges, 17537 markings/sec, 130 secs
lola: 1935136 markings, 2064058 edges, 16647 markings/sec, 135 secs
lola: 2023151 markings, 2158126 edges, 17603 markings/sec, 140 secs
lola: 2111164 markings, 2252739 edges, 17603 markings/sec, 145 secs
lola: 2198869 markings, 2347127 edges, 17541 markings/sec, 150 secs
lola: 2286844 markings, 2441842 edges, 17595 markings/sec, 155 secs
lola: 2374635 markings, 2536055 edges, 17558 markings/sec, 160 secs
lola: 2462460 markings, 2630494 edges, 17565 markings/sec, 165 secs
lola: 2550265 markings, 2724819 edges, 17561 markings/sec, 170 secs
lola: 2638067 markings, 2819276 edges, 17560 markings/sec, 175 secs
lola: 2720618 markings, 2907966 edges, 16510 markings/sec, 180 secs
lola: 2808403 markings, 3002300 edges, 17557 markings/sec, 185 secs
lola: 2896067 markings, 3096577 edges, 17533 markings/sec, 190 secs
lola: 2983624 markings, 3190908 edges, 17511 markings/sec, 195 secs
lola: 3071356 markings, 3285553 edges, 17546 markings/sec, 200 secs
lola: 3158983 markings, 3379729 edges, 17525 markings/sec, 205 secs
lola: 3246613 markings, 3474129 edges, 17526 markings/sec, 210 secs
lola: 3334269 markings, 3568608 edges, 17531 markings/sec, 215 secs
lola: 3421946 markings, 3663149 edges, 17535 markings/sec, 220 secs
lola: 3509445 markings, 3757389 edges, 17500 markings/sec, 225 secs
lola: 3596881 markings, 3851697 edges, 17487 markings/sec, 230 secs
lola: 3684507 markings, 3945905 edges, 17525 markings/sec, 235 secs
lola: 3772129 markings, 4040561 edges, 17524 markings/sec, 240 secs
lola: 3859444 markings, 4134634 edges, 17463 markings/sec, 245 secs
lola: 3946902 markings, 4229145 edges, 17492 markings/sec, 250 secs
lola: 4034489 markings, 4323586 edges, 17517 markings/sec, 255 secs
lola: 4122147 markings, 4418007 edges, 17532 markings/sec, 260 secs
lola: 4209661 markings, 4512239 edges, 17503 markings/sec, 265 secs
lola: 4297112 markings, 4606753 edges, 17490 markings/sec, 270 secs
lola: 4384577 markings, 4700824 edges, 17493 markings/sec, 275 secs
lola: 4472260 markings, 4795159 edges, 17537 markings/sec, 280 secs
lola: 4559797 markings, 4889153 edges, 17507 markings/sec, 285 secs
lola: 4647279 markings, 4983794 edges, 17496 markings/sec, 290 secs
lola: 4734549 markings, 5078043 edges, 17454 markings/sec, 295 secs
lola: 4821884 markings, 5172495 edges, 17467 markings/sec, 300 secs
lola: 4909189 markings, 5266967 edges, 17461 markings/sec, 305 secs
lola: 4994972 markings, 5359791 edges, 17157 markings/sec, 310 secs
lola: 5080798 markings, 5452577 edges, 17165 markings/sec, 315 secs
lola: 5166414 markings, 5545051 edges, 17123 markings/sec, 320 secs
lola: 5252095 markings, 5637429 edges, 17136 markings/sec, 325 secs
lola: 5339348 markings, 5731638 edges, 17451 markings/sec, 330 secs
lola: 5426807 markings, 5826029 edges, 17492 markings/sec, 335 secs
lola: 5514069 markings, 5919209 edges, 17452 markings/sec, 340 secs
lola: 5601685 markings, 6012243 edges, 17523 markings/sec, 345 secs
lola: 5689237 markings, 6105924 edges, 17510 markings/sec, 350 secs
lola: 5776457 markings, 6200061 edges, 17444 markings/sec, 355 secs
lola: 5863788 markings, 6294462 edges, 17466 markings/sec, 360 secs
lola: 5951027 markings, 6388806 edges, 17448 markings/sec, 365 secs
lola: 6038350 markings, 6483053 edges, 17465 markings/sec, 370 secs
lola: 6125695 markings, 6577687 edges, 17469 markings/sec, 375 secs
lola: 6213039 markings, 6672077 edges, 17469 markings/sec, 380 secs
lola: 6300347 markings, 6766551 edges, 17462 markings/sec, 385 secs
lola: 6387569 markings, 6860760 edges, 17444 markings/sec, 390 secs
lola: 6474910 markings, 6955009 edges, 17468 markings/sec, 395 secs
lola: 6562140 markings, 7048814 edges, 17446 markings/sec, 400 secs
lola: 6649589 markings, 7143328 edges, 17490 markings/sec, 405 secs
lola: 6736926 markings, 7237774 edges, 17467 markings/sec, 410 secs
lola: 6824518 markings, 7332479 edges, 17518 markings/sec, 415 secs
lola: 6911788 markings, 7426795 edges, 17454 markings/sec, 420 secs
lola: 6999298 markings, 7521307 edges, 17502 markings/sec, 425 secs
lola: 7086505 markings, 7615556 edges, 17441 markings/sec, 430 secs
lola: 7173967 markings, 7710067 edges, 17492 markings/sec, 435 secs
lola: 7261265 markings, 7804505 edges, 17460 markings/sec, 440 secs
lola: 7348719 markings, 7898939 edges, 17491 markings/sec, 445 secs
lola: 7435932 markings, 7993227 edges, 17443 markings/sec, 450 secs
lola: 7523375 markings, 8087560 edges, 17489 markings/sec, 455 secs
lola: 7610697 markings, 8181967 edges, 17464 markings/sec, 460 secs
lola: 7697931 markings, 8276281 edges, 17447 markings/sec, 465 secs
lola: 7785044 markings, 8370529 edges, 17423 markings/sec, 470 secs
lola: 7872310 markings, 8464581 edges, 17453 markings/sec, 475 secs
lola: 7959538 markings, 8559045 edges, 17446 markings/sec, 480 secs
lola: 8047007 markings, 8653674 edges, 17494 markings/sec, 485 secs
lola: 8134387 markings, 8748284 edges, 17476 markings/sec, 490 secs
lola: 8221687 markings, 8842801 edges, 17460 markings/sec, 495 secs
lola: 8308679 markings, 8936622 edges, 17398 markings/sec, 500 secs
lola: 8395776 markings, 9030956 edges, 17419 markings/sec, 505 secs
lola: 8483006 markings, 9125159 edges, 17446 markings/sec, 510 secs
lola: 8570653 markings, 9218766 edges, 17529 markings/sec, 515 secs
lola: 8657830 markings, 9312587 edges, 17435 markings/sec, 520 secs
lola: 8744965 markings, 9406760 edges, 17427 markings/sec, 525 secs
lola: 8831945 markings, 9501006 edges, 17396 markings/sec, 530 secs
lola: 8918823 markings, 9595313 edges, 17376 markings/sec, 535 secs
lola: 9005981 markings, 9689641 edges, 17432 markings/sec, 540 secs
lola: 9093000 markings, 9783831 edges, 17404 markings/sec, 545 secs
lola: 9180331 markings, 9877588 edges, 17466 markings/sec, 550 secs
lola: 9267478 markings, 9971806 edges, 17429 markings/sec, 555 secs
lola: 9354451 markings, 10065801 edges, 17395 markings/sec, 560 secs
lola: 9441420 markings, 10159827 edges, 17394 markings/sec, 565 secs
lola: 9528538 markings, 10253845 edges, 17424 markings/sec, 570 secs
lola: 9615519 markings, 10347772 edges, 17396 markings/sec, 575 secs
lola: 9702599 markings, 10441982 edges, 17416 markings/sec, 580 secs
lola: 9789548 markings, 10536170 edges, 17390 markings/sec, 585 secs
lola: 9876474 markings, 10630152 edges, 17385 markings/sec, 590 secs
lola: 9963673 markings, 10724736 edges, 17440 markings/sec, 595 secs
lola: 10050664 markings, 10818960 edges, 17398 markings/sec, 600 secs
lola: 10137838 markings, 10913183 edges, 17435 markings/sec, 605 secs
lola: 10224693 markings, 11006966 edges, 17371 markings/sec, 610 secs
lola: 10311745 markings, 11101146 edges, 17410 markings/sec, 615 secs
lola: 10398628 markings, 11194901 edges, 17377 markings/sec, 620 secs
lola: 10485536 markings, 11289033 edges, 17382 markings/sec, 625 secs
lola: 10572250 markings, 11383015 edges, 17343 markings/sec, 630 secs
lola: 10659433 markings, 11477401 edges, 17437 markings/sec, 635 secs
lola: 10746375 markings, 11571619 edges, 17388 markings/sec, 640 secs
lola: 10833374 markings, 11666078 edges, 17400 markings/sec, 645 secs
lola: 10920355 markings, 11759004 edges, 17396 markings/sec, 650 secs
lola: 11007630 markings, 11851946 edges, 17455 markings/sec, 655 secs
lola: 11094474 markings, 11945934 edges, 17369 markings/sec, 660 secs
lola: 11181626 markings, 12040105 edges, 17430 markings/sec, 665 secs
lola: 11268652 markings, 12134365 edges, 17405 markings/sec, 670 secs
lola: 11355771 markings, 12228621 edges, 17424 markings/sec, 675 secs
lola: 11442657 markings, 12322704 edges, 17377 markings/sec, 680 secs
lola: 11529294 markings, 12416500 edges, 17327 markings/sec, 685 secs
lola: 11616161 markings, 12510490 edges, 17373 markings/sec, 690 secs
lola: 11703229 markings, 12604892 edges, 17414 markings/sec, 695 secs
lola: 11790075 markings, 12699012 edges, 17369 markings/sec, 700 secs
lola: 11876819 markings, 12792902 edges, 17349 markings/sec, 705 secs
lola: 11963801 markings, 12886550 edges, 17396 markings/sec, 710 secs
lola: 12050793 markings, 12980099 edges, 17398 markings/sec, 715 secs
lola: 12137684 markings, 13074403 edges, 17378 markings/sec, 720 secs
lola: 12224559 markings, 13168706 edges, 17375 markings/sec, 725 secs
lola: 12311613 markings, 13262585 edges, 17411 markings/sec, 730 secs
lola: 12398550 markings, 13356847 edges, 17387 markings/sec, 735 secs
lola: 12485406 markings, 13450946 edges, 17371 markings/sec, 740 secs
lola: 12572522 markings, 13545188 edges, 17423 markings/sec, 745 secs
lola: 12659533 markings, 13639512 edges, 17402 markings/sec, 750 secs
lola: 12746533 markings, 13733950 edges, 17400 markings/sec, 755 secs
lola: time limit reached - aborting
lola:
preliminary result: 1 2 1 5 unknown 2 unknown unknown 1 2 1 1 2 unknown unknown unknown
lola:
preliminary result: 1 2 1 5 unknown 2 unknown unknown 1 2 1 1 2 unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 2 1 5 unknown 2 unknown unknown 1 2 1 1 2 unknown unknown unknown
lola: memory consumption: 1954720 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 2 1 5 unknown 2 unknown unknown 1 2 1 1 2 unknown unknown unknown
lola: memory consumption: 1954720 KB
lola: time consumption: 3570 seconds

BK_STOP 1526828197973

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