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 264K
-rw-r--r-- 1 mcc users 3.0K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 15K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K 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.8K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.2K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.1K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.7K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 6.6K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 111 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 349 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 16K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 5 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 111K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is MultiwaySync-PT-none, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r112-csrt-152666469200198
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1527021138737

info: Time: 3600 - MCC
===========================================================================================
prep: translating MultiwaySync-PT-none Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: net is already safe
prep: check for too many tokens
===========================================================================================
prep: translating MultiwaySync-PT-none formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ MultiwaySync-PT-none @ 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: 694/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 222
lola: finding significant places
lola: 222 places, 472 transitions, 197 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 547 transition conflict sets
lola: TASK
lola: reading formula from MultiwaySync-PT-none-UpperBounds.task
lola: MAX(p183) : MAX(p205) : MAX(p6) : MAX(p92) : MAX(p122) : MAX(p151) : MAX(p63) : MAX(p189) : MAX(p172) : MAX(p100) : MAX(p175) : MAX(p89) : MAX(p44) : MAX(p59) : MAX(p214) : MAX(p201)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p183)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p183)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file MultiwaySync-PT-none-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: 2 markings, 1 edges
lola: ========================================

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

FORMULA MultiwaySync-PT-none-UpperBounds-1 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p6)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file MultiwaySync-PT-none-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: 11 markings, 10 edges
lola: ========================================

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

FORMULA MultiwaySync-PT-none-UpperBounds-3 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p122)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p122)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file MultiwaySync-PT-none-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: 601553 markings, 1489176 edges, 120311 markings/sec, 0 secs
lola: 1171836 markings, 3209030 edges, 114057 markings/sec, 5 secs
lola: 1736771 markings, 4936322 edges, 112987 markings/sec, 10 secs
lola: 2270084 markings, 6607127 edges, 106663 markings/sec, 15 secs
lola: 2814088 markings, 8370813 edges, 108801 markings/sec, 20 secs
lola: 3349919 markings, 10125577 edges, 107166 markings/sec, 25 secs
lola: 3876130 markings, 11875025 edges, 105242 markings/sec, 30 secs
lola: 4399368 markings, 13629073 edges, 104648 markings/sec, 35 secs
lola: 4924558 markings, 15378271 edges, 105038 markings/sec, 40 secs
lola: 5424070 markings, 17074218 edges, 99902 markings/sec, 45 secs
lola: 5927679 markings, 18785423 edges, 100722 markings/sec, 50 secs
lola: 6428440 markings, 20509208 edges, 100152 markings/sec, 55 secs
lola: 6924244 markings, 22223552 edges, 99161 markings/sec, 60 secs
lola: 7421939 markings, 23939524 edges, 99539 markings/sec, 65 secs
lola: 7892775 markings, 25591956 edges, 94167 markings/sec, 70 secs
lola: 8346157 markings, 27177913 edges, 90676 markings/sec, 75 secs
lola: 8804464 markings, 28780093 edges, 91661 markings/sec, 80 secs
lola: 9281066 markings, 30464571 edges, 95320 markings/sec, 85 secs
lola: 9760794 markings, 32165140 edges, 95946 markings/sec, 90 secs
lola: 10232355 markings, 33845510 edges, 94312 markings/sec, 95 secs
lola: 10708471 markings, 35554144 edges, 95223 markings/sec, 100 secs
lola: 11183722 markings, 37262453 edges, 95050 markings/sec, 105 secs
lola: 11648772 markings, 38947940 edges, 93010 markings/sec, 110 secs
lola: 12096005 markings, 40574499 edges, 89447 markings/sec, 115 secs
lola: 12552369 markings, 42244388 edges, 91273 markings/sec, 120 secs
lola: 13014527 markings, 43936875 edges, 92432 markings/sec, 125 secs
lola: 13469447 markings, 45615677 edges, 90984 markings/sec, 130 secs
lola: 13923070 markings, 47299690 edges, 90725 markings/sec, 135 secs
lola: 14365955 markings, 48955539 edges, 88577 markings/sec, 140 secs
lola: 14802048 markings, 50599461 edges, 87219 markings/sec, 145 secs
lola: 15220010 markings, 52186621 edges, 83592 markings/sec, 150 secs
lola: 15651410 markings, 53837748 edges, 86280 markings/sec, 155 secs
lola: 16079538 markings, 55487269 edges, 85626 markings/sec, 160 secs
lola: 16500663 markings, 57124012 edges, 84225 markings/sec, 165 secs
lola: 16890584 markings, 58649387 edges, 77984 markings/sec, 170 secs
lola: 17274668 markings, 60172185 edges, 76817 markings/sec, 175 secs
lola: 17656977 markings, 61701979 edges, 76462 markings/sec, 180 secs
lola: 18055793 markings, 63332031 edges, 79763 markings/sec, 185 secs
lola: 18452320 markings, 64981615 edges, 79305 markings/sec, 190 secs
lola: 18833487 markings, 66620132 edges, 76233 markings/sec, 195 secs
lola: 19189733 markings, 68231859 edges, 71249 markings/sec, 200 secs
lola: 19521353 markings, 69941674 edges, 66324 markings/sec, 205 secs
lola: 19605433 markings, 72037871 edges, 16816 markings/sec, 210 secs
lola: 19614156 markings, 74290545 edges, 1745 markings/sec, 215 secs
lola: 19619202 markings, 76583648 edges, 1009 markings/sec, 220 secs
lola: 19623178 markings, 78899898 edges, 795 markings/sec, 225 secs
lola: 19626331 markings, 81263897 edges, 631 markings/sec, 230 secs
lola: 19629086 markings, 83619013 edges, 551 markings/sec, 235 secs
lola: 19631373 markings, 86024260 edges, 457 markings/sec, 240 secs
lola: 19633544 markings, 88292156 edges, 434 markings/sec, 245 secs
lola: 19635634 markings, 90592137 edges, 418 markings/sec, 250 secs
lola: 19637522 markings, 92957089 edges, 378 markings/sec, 255 secs
lola: 19639279 markings, 95325849 edges, 351 markings/sec, 260 secs
lola: 19641006 markings, 97720495 edges, 345 markings/sec, 265 secs
lola: 19642335 markings, 99977116 edges, 266 markings/sec, 270 secs
lola: 19643818 markings, 102229919 edges, 297 markings/sec, 275 secs
lola: 19645193 markings, 104484362 edges, 275 markings/sec, 280 secs
lola: 19646500 markings, 106757222 edges, 261 markings/sec, 285 secs
lola: 19647692 markings, 109037825 edges, 238 markings/sec, 290 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1918340 KB
lola: time consumption: 298 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p151)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p151)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file MultiwaySync-PT-none-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: 4 markings, 3 edges
lola: ========================================

FORMULA MultiwaySync-PT-none-UpperBounds-5 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 327 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p63)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p63)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file MultiwaySync-PT-none-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: 5 markings, 4 edges
lola: ========================================

FORMULA MultiwaySync-PT-none-UpperBounds-6 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 363 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p189)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p189)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file MultiwaySync-PT-none-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: 2 markings, 1 edges
lola:
FORMULA MultiwaySync-PT-none-UpperBounds-7 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 409 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p172)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
========================================
lola: processed formula: MAX(p172)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file MultiwaySync-PT-none-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: 529881 markings, 1854157 edges, 105976 markings/sec, 0 secs
lola: 1060293 markings, 3713897 edges, 106082 markings/sec, 5 secs
lola: 1575764 markings, 5573285 edges, 103094 markings/sec, 10 secs
lola: 2075819 markings, 7422850 edges, 100011 markings/sec, 15 secs
lola: 2565533 markings, 9261941 edges, 97943 markings/sec, 20 secs
lola: 3071540 markings, 11179506 edges, 101201 markings/sec, 25 secs
lola: 3561821 markings, 13057854 edges, 98056 markings/sec, 30 secs
lola: 4053599 markings, 14953178 edges, 98356 markings/sec, 35 secs
lola: 4527464 markings, 16782329 edges, 94773 markings/sec, 40 secs
lola: 4996926 markings, 18598350 edges, 93892 markings/sec, 45 secs
lola: 5459770 markings, 20408631 edges, 92569 markings/sec, 50 secs
lola: 5919155 markings, 22210441 edges, 91877 markings/sec, 55 secs
lola: 6382409 markings, 24028167 edges, 92651 markings/sec, 60 secs
lola: 6839733 markings, 25836184 edges, 91465 markings/sec, 65 secs
lola: 7296684 markings, 27646571 edges, 91390 markings/sec, 70 secs
lola: 7748350 markings, 29437206 edges, 90333 markings/sec, 75 secs
lola: 8198964 markings, 31236932 edges, 90123 markings/sec, 80 secs
lola: 8660512 markings, 33089617 edges, 92310 markings/sec, 85 secs
lola: 9091184 markings, 34832205 edges, 86134 markings/sec, 90 secs
lola: 9527937 markings, 36606615 edges, 87351 markings/sec, 95 secs
lola: 9979756 markings, 38446172 edges, 90364 markings/sec, 100 secs
lola: 10430221 markings, 40286926 edges, 90093 markings/sec, 105 secs
lola: 10861960 markings, 42056120 edges, 86348 markings/sec, 110 secs
lola: 11315049 markings, 43923927 edges, 90618 markings/sec, 115 secs
lola: 11763493 markings, 45776891 edges, 89689 markings/sec, 120 secs
lola: 12195092 markings, 47575205 edges, 86320 markings/sec, 125 secs
lola: 12633983 markings, 49410115 edges, 87778 markings/sec, 130 secs
lola: 13071683 markings, 51247833 edges, 87540 markings/sec, 135 secs
lola: 13522891 markings, 53151543 edges, 90242 markings/sec, 140 secs
lola: 13962185 markings, 55019969 edges, 87859 markings/sec, 145 secs
lola: 14381362 markings, 56811393 edges, 83835 markings/sec, 150 secs
lola: 14815053 markings, 58675788 edges, 86738 markings/sec, 155 secs
lola: 15239178 markings, 60516541 edges, 84825 markings/sec, 160 secs
lola: 15655830 markings, 62336813 edges, 83330 markings/sec, 165 secs
lola: 16055436 markings, 64093476 edges, 79921 markings/sec, 170 secs
lola: 16450261 markings, 65848988 edges, 78965 markings/sec, 175 secs
lola: 16839267 markings, 67594523 edges, 77801 markings/sec, 180 secs
lola: 17218762 markings, 69318584 edges, 75899 markings/sec, 185 secs
lola: 17594242 markings, 71049600 edges, 75096 markings/sec, 190 secs
lola: 17967059 markings, 72803101 edges, 74563 markings/sec, 195 secs
lola: 18320726 markings, 74515173 edges, 70733 markings/sec, 200 secs
lola: 18664383 markings, 76265911 edges, 68731 markings/sec, 205 secs
lola: 18973417 markings, 78029985 edges, 61807 markings/sec, 210 secs
lola: 19068391 markings, 80214600 edges, 18995 markings/sec, 215 secs
lola: 19078315 markings, 82697146 edges, 1985 markings/sec, 220 secs
lola: 19083627 markings, 85232199 edges, 1062 markings/sec, 225 secs
lola: 19087462 markings, 87727961 edges, 767 markings/sec, 230 secs
lola: 19090748 markings, 90230046 edges, 657 markings/sec, 235 secs
lola: 19093416 markings, 92723551 edges, 534 markings/sec, 240 secs
lola: 19095819 markings, 95250718 edges, 481 markings/sec, 245 secs
lola: 19098251 markings, 97813238 edges, 486 markings/sec, 250 secs
lola: 19100351 markings, 100398353 edges, 420 markings/sec, 255 secs
lola: 19102280 markings, 103005324 edges, 386 markings/sec, 260 secs
lola: 19103957 markings, 105636894 edges, 335 markings/sec, 265 secs
lola: 19105502 markings, 108306306 edges, 309 markings/sec, 270 secs
lola: 19107171 markings, 110947545 edges, 334 markings/sec, 275 secs
lola: 19108569 markings, 113584628 edges, 280 markings/sec, 280 secs
lola: 19110190 markings, 116246647 edges, 324 markings/sec, 285 secs
lola: 19111635 markings, 118955098 edges, 289 markings/sec, 290 secs
lola: 19112892 markings, 121591230 edges, 251 markings/sec, 295 secs
lola: 19114092 markings, 124195531 edges, 240 markings/sec, 300 secs
lola: 19115179 markings, 126911360 edges, 217 markings/sec, 305 secs
lola: 19116234 markings, 129624030 edges, 211 markings/sec, 310 secs
lola: 19117341 markings, 132343282 edges, 221 markings/sec, 315 secs
lola: 19118416 markings, 135044173 edges, 215 markings/sec, 320 secs
lola: 19119360 markings, 137770682 edges, 189 markings/sec, 325 secs
lola: 19120191 markings, 140199131 edges, 166 markings/sec, 330 secs
lola: 19120941 markings, 142640849 edges, 150 markings/sec, 335 secs
lola: 19121806 markings, 145262731 edges, 173 markings/sec, 340 secs
lola: 19122558 markings, 148046472 edges, 150 markings/sec, 345 secs
lola: 19123496 markings, 150826197 edges, 188 markings/sec, 350 secs
lola: 19124160 markings, 153627102 edges, 133 markings/sec, 355 secs
lola: 19124919 markings, 156435791 edges, 152 markings/sec, 360 secs
lola: 19125702 markings, 159227971 edges, 157 markings/sec, 365 secs
lola: 19126355 markings, 162030466 edges, 131 markings/sec, 370 secs
lola: 19127103 markings, 164866954 edges, 150 markings/sec, 375 secs
lola: 19127770 markings, 167711696 edges, 133 markings/sec, 380 secs
lola: 19128308 markings, 170554280 edges, 108 markings/sec, 385 secs
lola: 19128708 markings, 173205190 edges, 80 markings/sec, 390 secs
lola: 19129133 markings, 175821458 edges, 85 markings/sec, 395 secs
lola: 19129642 markings, 178539161 edges, 102 markings/sec, 400 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 1 unknown 1 1 1 unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1880296 KB
lola: time consumption: 707 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 409 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p100)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p100)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file MultiwaySync-PT-none-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: 13 markings, 12 edges

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

FORMULA MultiwaySync-PT-none-UpperBounds-10 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 572 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p89)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p89)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file MultiwaySync-PT-none-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: 31 markings, 33 edges
lola: ========================================

FORMULA MultiwaySync-PT-none-UpperBounds-11 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 715 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p44)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p44)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file MultiwaySync-PT-none-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: 5 markings, 4 edges

FORMULA MultiwaySync-PT-none-UpperBounds-12 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 954 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p59)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p59)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file MultiwaySync-PT-none-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: ========================================
lola: Structural Bound: 1
lola: 703549 markings, 1727657 edges, 140710 markings/sec, 0 secs
lola: 1408102 markings, 3504778 edges, 140911 markings/sec, 5 secs
lola: 2137811 markings, 5457443 edges, 145942 markings/sec, 10 secs
lola: 2861371 markings, 7438813 edges, 144712 markings/sec, 15 secs
lola: 3586129 markings, 9470281 edges, 144952 markings/sec, 20 secs
lola: 4281161 markings, 11435191 edges, 139006 markings/sec, 25 secs
lola: 4969094 markings, 13399270 edges, 137587 markings/sec, 30 secs
lola: 5625110 markings, 15299617 edges, 131203 markings/sec, 35 secs
lola: 6282793 markings, 17208793 edges, 131537 markings/sec, 40 secs
lola: 6928405 markings, 19098470 edges, 129122 markings/sec, 45 secs
lola: 7592350 markings, 21054647 edges, 132789 markings/sec, 50 secs
lola: 8250513 markings, 23011338 edges, 131633 markings/sec, 55 secs
lola: 8897806 markings, 24961284 edges, 129459 markings/sec, 60 secs
lola: 9534278 markings, 26901751 edges, 127294 markings/sec, 65 secs
lola: 10167546 markings, 28840246 edges, 126654 markings/sec, 70 secs
lola: 10793002 markings, 30770546 edges, 125091 markings/sec, 75 secs
lola: 11413618 markings, 32701001 edges, 124123 markings/sec, 80 secs
lola: 12027863 markings, 34632768 edges, 122849 markings/sec, 85 secs
lola: 12639261 markings, 36565513 edges, 122280 markings/sec, 90 secs
lola: 13228240 markings, 38445951 edges, 117796 markings/sec, 95 secs
lola: 13816904 markings, 40352579 edges, 117733 markings/sec, 100 secs
lola: 14398047 markings, 42250927 edges, 116229 markings/sec, 105 secs
lola: 14971534 markings, 44145823 edges, 114697 markings/sec, 110 secs
lola: 15532204 markings, 46033322 edges, 112134 markings/sec, 115 secs
lola: 16071292 markings, 47868966 edges, 107818 markings/sec, 120 secs
lola: 16600482 markings, 49702022 edges, 105838 markings/sec, 125 secs
lola: 17121732 markings, 51550194 edges, 104250 markings/sec, 130 secs
lola: 17637054 markings, 53425397 edges, 103064 markings/sec, 135 secs
lola: 18135036 markings, 55309077 edges, 99596 markings/sec, 140 secs
lola: 18604033 markings, 57220342 edges, 93799 markings/sec, 145 secs
lola: 19013660 markings, 59228455 edges, 81925 markings/sec, 150 secs
lola: 19071431 markings, 61640886 edges, 11554 markings/sec, 155 secs
lola: 19079199 markings, 63933382 edges, 1554 markings/sec, 160 secs
lola: 19084214 markings, 66491793 edges, 1003 markings/sec, 165 secs
lola: 19088167 markings, 69094078 edges, 791 markings/sec, 170 secs
lola: 19091434 markings, 71745635 edges, 653 markings/sec, 175 secs
lola: 19094239 markings, 74416097 edges, 561 markings/sec, 180 secs
lola: 19096742 markings, 77118185 edges, 501 markings/sec, 185 secs
lola: 19099234 markings, 79858081 edges, 498 markings/sec, 190 secs
lola: 19101277 markings, 82530417 edges, 409 markings/sec, 195 secs
lola: 19103269 markings, 85208712 edges, 398 markings/sec, 200 secs
lola: 19104828 markings, 87870855 edges, 312 markings/sec, 205 secs
lola: 19106417 markings, 90565899 edges, 318 markings/sec, 210 secs
lola: 19107998 markings, 93296958 edges, 316 markings/sec, 215 secs
lola: 19109494 markings, 96076785 edges, 299 markings/sec, 220 secs
lola: 19111093 markings, 98809458 edges, 320 markings/sec, 225 secs
lola: 19112480 markings, 101606959 edges, 277 markings/sec, 230 secs
lola: 19113824 markings, 104317250 edges, 269 markings/sec, 235 secs
lola: 19114907 markings, 106907722 edges, 217 markings/sec, 240 secs
lola: 19115933 markings, 109611787 edges, 205 markings/sec, 245 secs
lola: 19116955 markings, 112303041 edges, 204 markings/sec, 250 secs
lola: 19118041 markings, 114980947 edges, 217 markings/sec, 255 secs
lola: 19118983 markings, 117430415 edges, 188 markings/sec, 260 secs
lola: 19119828 markings, 120125935 edges, 169 markings/sec, 265 secs
lola: 19120753 markings, 123015051 edges, 185 markings/sec, 270 secs
lola: 19121757 markings, 125879273 edges, 201 markings/sec, 275 secs
lola: 19122466 markings, 128754914 edges, 142 markings/sec, 280 secs
lola: 19123486 markings, 131658523 edges, 204 markings/sec, 285 secs
lola: 19124203 markings, 134559976 edges, 143 markings/sec, 290 secs
lola: 19125006 markings, 137474941 edges, 161 markings/sec, 295 secs
lola: 19125709 markings, 140046902 edges, 141 markings/sec, 300 secs
lola: 19126298 markings, 142655576 edges, 118 markings/sec, 305 secs
lola: 19127002 markings, 145221997 edges, 141 markings/sec, 310 secs
lola: 19127603 markings, 147747600 edges, 120 markings/sec, 315 secs
lola: 19128023 markings, 150277997 edges, 84 markings/sec, 320 secs
lola: 19128584 markings, 153038448 edges, 112 markings/sec, 325 secs
lola: 19129019 markings, 156010032 edges, 87 markings/sec, 330 secs
lola: 19129637 markings, 159023615 edges, 124 markings/sec, 335 secs
lola: 19129948 markings, 162038213 edges, 62 markings/sec, 340 secs
lola: 19130109 markings, 165068085 edges, 32 markings/sec, 345 secs
lola: 19130526 markings, 168120708 edges, 83 markings/sec, 350 secs
lola: 19130872 markings, 171225001 edges, 69 markings/sec, 355 secs
lola: 19131469 markings, 174250013 edges, 119 markings/sec, 360 secs
lola: 19131667 markings, 177321223 edges, 40 markings/sec, 365 secs
lola: 19131907 markings, 180495881 edges, 48 markings/sec, 370 secs
lola: 19132052 markings, 183699693 edges, 29 markings/sec, 375 secs
lola: 19132056 markings, 186933208 edges, 1 markings/sec, 380 secs
lola: 19243695 markings, 189995432 edges, 22328 markings/sec, 385 secs
lola: 19990520 markings, 191921925 edges, 149365 markings/sec, 390 secs
lola: 20740899 markings, 193777458 edges, 150076 markings/sec, 395 secs
lola: 21471121 markings, 195666098 edges, 146044 markings/sec, 400 secs
lola: 22155777 markings, 197515533 edges, 136931 markings/sec, 405 secs
lola: 22816550 markings, 199336159 edges, 132155 markings/sec, 410 secs
lola: 23457445 markings, 201138213 edges, 128179 markings/sec, 415 secs
lola: 24094561 markings, 202941542 edges, 127423 markings/sec, 420 secs
lola: 24720842 markings, 204734851 edges, 125256 markings/sec, 425 secs
lola: 25315390 markings, 206453229 edges, 118910 markings/sec, 430 secs
lola: 25929602 markings, 208236528 edges, 122842 markings/sec, 435 secs
lola: 26545649 markings, 210045345 edges, 123209 markings/sec, 440 secs
lola: 27157572 markings, 211843089 edges, 122385 markings/sec, 445 secs
lola: 27765036 markings, 213634472 edges, 121493 markings/sec, 450 secs
lola: 28366050 markings, 215431898 edges, 120203 markings/sec, 455 secs
lola: 28957351 markings, 217229462 edges, 118260 markings/sec, 460 secs
lola: 29549417 markings, 219032972 edges, 118413 markings/sec, 465 secs
lola: 30137458 markings, 220839858 edges, 117608 markings/sec, 470 secs
lola: 30733361 markings, 222681443 edges, 119181 markings/sec, 475 secs
lola: 31281624 markings, 224392147 edges, 109653 markings/sec, 480 secs
lola: 31850695 markings, 226182000 edges, 113814 markings/sec, 485 secs
lola: 32417076 markings, 227976390 edges, 113276 markings/sec, 490 secs
lola: 32937097 markings, 229637774 edges, 104004 markings/sec, 495 secs
lola: 33434011 markings, 231241428 edges, 99383 markings/sec, 500 secs
lola: 33925906 markings, 232843304 edges, 98379 markings/sec, 505 secs
lola: 34409447 markings, 234430908 edges, 96708 markings/sec, 510 secs
lola: 34881654 markings, 236001169 edges, 94441 markings/sec, 515 secs
lola: 35355025 markings, 237597993 edges, 94674 markings/sec, 520 secs
lola: 35846646 markings, 239272281 edges, 98324 markings/sec, 525 secs
lola: 36333618 markings, 240958866 edges, 97394 markings/sec, 530 secs
lola: 36802018 markings, 242614536 edges, 93680 markings/sec, 535 secs
lola: 37267991 markings, 244294270 edges, 93195 markings/sec, 540 secs
lola: 37717534 markings, 245974484 edges, 89909 markings/sec, 545 secs
lola: 38149720 markings, 247670114 edges, 86437 markings/sec, 550 secs
lola: 38549743 markings, 249391513 edges, 80005 markings/sec, 555 secs
lola: 38825616 markings, 251355518 edges, 55175 markings/sec, 560 secs
lola: 38842670 markings, 253565137 edges, 3411 markings/sec, 565 secs
lola: 38849274 markings, 255839411 edges, 1321 markings/sec, 570 secs
lola: 38853607 markings, 258206939 edges, 867 markings/sec, 575 secs
lola: 38857220 markings, 260601488 edges, 723 markings/sec, 580 secs
lola: 38860203 markings, 263007606 edges, 597 markings/sec, 585 secs
lola: 38862768 markings, 265441893 edges, 513 markings/sec, 590 secs
lola: 38865059 markings, 267847665 edges, 458 markings/sec, 595 secs
lola: 38867410 markings, 270359154 edges, 470 markings/sec, 600 secs
lola: 38869454 markings, 272918319 edges, 409 markings/sec, 605 secs
lola: 38871369 markings, 275502649 edges, 383 markings/sec, 610 secs
lola: 38873011 markings, 278096164 edges, 328 markings/sec, 615 secs
lola: 38874455 markings, 280631638 edges, 289 markings/sec, 620 secs
lola: 38876083 markings, 283213129 edges, 326 markings/sec, 625 secs
lola: 38877457 markings, 285792543 edges, 275 markings/sec, 630 secs
lola: 38879039 markings, 288405694 edges, 316 markings/sec, 635 secs
lola: 38880474 markings, 291019733 edges, 287 markings/sec, 640 secs
lola: 38881668 markings, 293645333 edges, 239 markings/sec, 645 secs
lola: 38882932 markings, 296258218 edges, 253 markings/sec, 650 secs
lola: 38883974 markings, 298880654 edges, 208 markings/sec, 655 secs
lola: 38885041 markings, 301490122 edges, 213 markings/sec, 660 secs
lola: 38886035 markings, 304160704 edges, 199 markings/sec, 665 secs
lola: 38887097 markings, 306763955 edges, 212 markings/sec, 670 secs
lola: 38888095 markings, 309380515 edges, 200 markings/sec, 675 secs
lola: 38888881 markings, 312021439 edges, 157 markings/sec, 680 secs
lola: 38889729 markings, 314658484 edges, 170 markings/sec, 685 secs
lola: 38890661 markings, 317304766 edges, 186 markings/sec, 690 secs
lola: 38891279 markings, 319914824 edges, 124 markings/sec, 695 secs
lola: 38892263 markings, 322582822 edges, 197 markings/sec, 700 secs
lola: 38892952 markings, 325208112 edges, 138 markings/sec, 705 secs
lola: 38893579 markings, 327896408 edges, 125 markings/sec, 710 secs
lola: 38894401 markings, 330583985 edges, 164 markings/sec, 715 secs
lola: 38895072 markings, 333254800 edges, 134 markings/sec, 720 secs
lola: 38895723 markings, 335979242 edges, 130 markings/sec, 725 secs
lola: 38896469 markings, 338682075 edges, 149 markings/sec, 730 secs
lola: 38896906 markings, 341410964 edges, 87 markings/sec, 735 secs
lola: 38897400 markings, 344150242 edges, 99 markings/sec, 740 secs
lola: 38897785 markings, 346905491 edges, 77 markings/sec, 745 secs
lola: 38898407 markings, 349670577 edges, 124 markings/sec, 750 secs
lola: 38898639 markings, 352399908 edges, 46 markings/sec, 755 secs
lola: 38898932 markings, 355191915 edges, 59 markings/sec, 760 secs
lola: 38899195 markings, 358002125 edges, 53 markings/sec, 765 secs
lola: 38899612 markings, 360843332 edges, 83 markings/sec, 770 secs
lola: 38899946 markings, 363671302 edges, 67 markings/sec, 775 secs
lola: 38900435 markings, 366506698 edges, 98 markings/sec, 780 secs
lola: 38900600 markings, 369415400 edges, 33 markings/sec, 785 secs
lola: 38900868 markings, 372343652 edges, 54 markings/sec, 790 secs
lola: 38900952 markings, 375304305 edges, 17 markings/sec, 795 secs
lola: 38900956 markings, 378248869 edges, 1 markings/sec, 800 secs
lola: 38918489 markings, 381146999 edges, 3507 markings/sec, 805 secs
lola: 39609135 markings, 382968328 edges, 138129 markings/sec, 810 secs
lola: 40280121 markings, 384775174 edges, 134197 markings/sec, 815 secs
lola: 40913793 markings, 386564769 edges, 126734 markings/sec, 820 secs
lola: 41531281 markings, 388352735 edges, 123498 markings/sec, 825 secs
lola: 42122841 markings, 390098580 edges, 118312 markings/sec, 830 secs
lola: 42718120 markings, 391881745 edges, 119056 markings/sec, 835 secs
lola: 43293090 markings, 393611805 edges, 114994 markings/sec, 840 secs
lola: 43871682 markings, 395359567 edges, 115718 markings/sec, 845 secs
lola: 44444061 markings, 397114090 edges, 114476 markings/sec, 850 secs
lola: 45007277 markings, 398840671 edges, 112643 markings/sec, 855 secs
lola: 45545688 markings, 400516254 edges, 107682 markings/sec, 860 secs
lola: 46113303 markings, 402273510 edges, 113523 markings/sec, 865 secs
lola: 46675868 markings, 404029858 edges, 112513 markings/sec, 870 secs
lola: 47237878 markings, 405794949 edges, 112402 markings/sec, 875 secs
lola: 47787512 markings, 407545286 edges, 109927 markings/sec, 880 secs
lola: 48334018 markings, 409303366 edges, 109301 markings/sec, 885 secs
lola: 48877669 markings, 411057706 edges, 108730 markings/sec, 890 secs
lola: 49416110 markings, 412802516 edges, 107688 markings/sec, 895 secs
lola: 49943750 markings, 414527078 edges, 105528 markings/sec, 900 secs
lola: 50475150 markings, 416271994 edges, 106280 markings/sec, 905 secs
lola: 50996690 markings, 418002710 edges, 104308 markings/sec, 910 secs
lola: 51514730 markings, 419730325 edges, 103608 markings/sec, 915 secs
lola: 52030953 markings, 421466900 edges, 103245 markings/sec, 920 secs
lola: 52537512 markings, 423185839 edges, 101312 markings/sec, 925 secs
lola: 53026995 markings, 424861501 edges, 97897 markings/sec, 930 secs
lola: 53520751 markings, 426563228 edges, 98751 markings/sec, 935 secs
lola: 54010366 markings, 428271971 edges, 97923 markings/sec, 940 secs
lola: 54483734 markings, 429947145 edges, 94674 markings/sec, 945 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 1 unknown 1 1 1 unknown 1 1 1 1 unknown unknown unknown
lola: memory consumption: 3165336 KB
lola: time consumption: 1661 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 954 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p214)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p214)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file MultiwaySync-PT-none-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: 5 markings, 4 edges
lola: ========================================

FORMULA MultiwaySync-PT-none-UpperBounds-14 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 1909 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p201)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p201)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file MultiwaySync-PT-none-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: 2 markings, 1 edges
lola:
FORMULA MultiwaySync-PT-none-UpperBounds-15 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: ========================================
lola: ...considering subproblem: MAX(p122)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p122)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file MultiwaySync-PT-none-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: 661315 markings, 1665198 edges, 132263 markings/sec, 0 secs
lola: 1275328 markings, 3527846 edges, 122803 markings/sec, 5 secs
lola: 1862634 markings, 5323656 edges, 117461 markings/sec, 10 secs
lola: 2442891 markings, 7159057 edges, 116051 markings/sec, 15 secs
lola: 2991900 markings, 8955002 edges, 109802 markings/sec, 20 secs
lola: 3544995 markings, 10760428 edges, 110619 markings/sec, 25 secs
lola: 4082146 markings, 12573978 edges, 107430 markings/sec, 30 secs
lola: 4624706 markings, 14380773 edges, 108512 markings/sec, 35 secs
lola: 5150598 markings, 16150056 edges, 105178 markings/sec, 40 secs
lola: 5690581 markings, 17981992 edges, 107997 markings/sec, 45 secs
lola: 6228178 markings, 19818260 edges, 107519 markings/sec, 50 secs
lola: 6754827 markings, 21642043 edges, 105330 markings/sec, 55 secs
lola: 7283325 markings, 23453215 edges, 105700 markings/sec, 60 secs
lola: 7798737 markings, 25258212 edges, 103082 markings/sec, 65 secs
lola: 8297705 markings, 27010502 edges, 99794 markings/sec, 70 secs
lola: 8800648 markings, 28766480 edges, 100589 markings/sec, 75 secs
lola: 9296082 markings, 30517883 edges, 99087 markings/sec, 80 secs
lola: 9795259 markings, 32289805 edges, 99835 markings/sec, 85 secs
lola: 10273772 markings, 33993446 edges, 95703 markings/sec, 90 secs
lola: 10764284 markings, 35750859 edges, 98102 markings/sec, 95 secs
lola: 11247454 markings, 37494085 edges, 96634 markings/sec, 100 secs
lola: 11734207 markings, 39256722 edges, 97351 markings/sec, 105 secs
lola: 12217426 markings, 41016247 edges, 96644 markings/sec, 110 secs
lola: 12694237 markings, 42763344 edges, 95362 markings/sec, 115 secs
lola: 13164302 markings, 44485382 edges, 94013 markings/sec, 120 secs
lola: 13640059 markings, 46247496 edges, 95151 markings/sec, 125 secs
lola: 14108767 markings, 47994069 edges, 93742 markings/sec, 130 secs
lola: 14578287 markings, 49753885 edges, 93904 markings/sec, 135 secs
lola: 15001192 markings, 51354961 edges, 84581 markings/sec, 140 secs
lola: 15409227 markings, 52909431 edges, 81607 markings/sec, 145 secs
lola: 15817685 markings, 54475043 edges, 81692 markings/sec, 150 secs
lola: 16260850 markings, 56190070 edges, 88633 markings/sec, 155 secs
lola: 16695344 markings, 57883647 edges, 86899 markings/sec, 160 secs
lola: 17132905 markings, 59607002 edges, 87512 markings/sec, 165 secs
lola: 17558205 markings, 61304367 edges, 85060 markings/sec, 170 secs
lola: 17962798 markings, 62948221 edges, 80919 markings/sec, 175 secs
lola: 18372097 markings, 64644549 edges, 81860 markings/sec, 180 secs
lola: 18772578 markings, 66352990 edges, 80096 markings/sec, 185 secs
lola: 19172581 markings, 68150552 edges, 80001 markings/sec, 190 secs
lola: 19526018 markings, 69969315 edges, 70687 markings/sec, 195 secs
lola: 19607034 markings, 72327646 edges, 16203 markings/sec, 200 secs
lola: 19615534 markings, 74792485 edges, 1700 markings/sec, 205 secs
lola: 19620367 markings, 77211393 edges, 967 markings/sec, 210 secs
lola: 19624265 markings, 79701983 edges, 780 markings/sec, 215 secs
lola: 19627454 markings, 82197859 edges, 638 markings/sec, 220 secs
lola: 19630104 markings, 84698980 edges, 530 markings/sec, 225 secs
lola: 19632528 markings, 87227420 edges, 485 markings/sec, 230 secs
lola: 19634955 markings, 89804300 edges, 485 markings/sec, 235 secs
lola: 19637106 markings, 92397318 edges, 430 markings/sec, 240 secs
lola: 19639083 markings, 95060627 edges, 395 markings/sec, 245 secs
lola: 19640973 markings, 97664153 edges, 378 markings/sec, 250 secs
lola: 19642331 markings, 99963045 edges, 272 markings/sec, 255 secs
lola: 19643849 markings, 102272325 edges, 304 markings/sec, 260 secs
lola: 19645237 markings, 104586111 edges, 278 markings/sec, 265 secs
lola: 19646776 markings, 107215406 edges, 308 markings/sec, 270 secs
lola: 19648205 markings, 109959317 edges, 286 markings/sec, 275 secs
lola: 19649558 markings, 112641217 edges, 271 markings/sec, 280 secs
lola: 19650820 markings, 115316565 edges, 252 markings/sec, 285 secs
lola: 19651958 markings, 117943948 edges, 228 markings/sec, 290 secs
lola: 19653025 markings, 120548328 edges, 213 markings/sec, 295 secs
lola: 19654027 markings, 123246973 edges, 200 markings/sec, 300 secs
lola: 19655131 markings, 125962528 edges, 221 markings/sec, 305 secs
lola: 19656070 markings, 128593720 edges, 188 markings/sec, 310 secs
lola: 19656973 markings, 131192339 edges, 181 markings/sec, 315 secs
lola: 19657758 markings, 133801796 edges, 157 markings/sec, 320 secs
lola: 19658416 markings, 136457351 edges, 132 markings/sec, 325 secs
lola: 19659312 markings, 139131015 edges, 179 markings/sec, 330 secs
lola: 19660287 markings, 141844870 edges, 195 markings/sec, 335 secs
lola: 19661072 markings, 144524319 edges, 157 markings/sec, 340 secs
lola: 19661812 markings, 147241469 edges, 148 markings/sec, 345 secs
lola: 19662473 markings, 150003191 edges, 132 markings/sec, 350 secs
lola: 19663110 markings, 152680242 edges, 127 markings/sec, 355 secs
lola: 19663483 markings, 155433897 edges, 75 markings/sec, 360 secs
lola: 19664129 markings, 158213572 edges, 129 markings/sec, 365 secs
lola: 19664715 markings, 160944547 edges, 117 markings/sec, 370 secs
lola: 19665095 markings, 163655953 edges, 76 markings/sec, 375 secs
lola: 19665679 markings, 166438003 edges, 117 markings/sec, 380 secs
lola: 19666222 markings, 169248661 edges, 109 markings/sec, 385 secs
lola: 19666557 markings, 172024401 edges, 67 markings/sec, 390 secs
lola: 19666684 markings, 174810804 edges, 25 markings/sec, 395 secs
lola: 19667301 markings, 177688756 edges, 123 markings/sec, 400 secs
lola: 19667458 markings, 180271585 edges, 31 markings/sec, 405 secs
lola: 19667650 markings, 182816335 edges, 38 markings/sec, 410 secs
lola: 19668036 markings, 185449310 edges, 77 markings/sec, 415 secs
lola: 19668384 markings, 188293001 edges, 70 markings/sec, 420 secs
lola: 19668715 markings, 191199854 edges, 66 markings/sec, 425 secs
lola: 19668740 markings, 193832200 edges, 5 markings/sec, 430 secs
lola: 19668745 markings, 196618218 edges, 1 markings/sec, 435 secs
lola: 19668747 markings, 199549262 edges, 0 markings/sec, 440 secs
lola: 19995617 markings, 201563649 edges, 65374 markings/sec, 445 secs
lola: 20509787 markings, 202817595 edges, 102834 markings/sec, 450 secs
lola: 21035116 markings, 204098517 edges, 105066 markings/sec, 455 secs
lola: 21643759 markings, 205578075 edges, 121729 markings/sec, 460 secs
lola: 22226689 markings, 207151253 edges, 116586 markings/sec, 465 secs
lola: 22836993 markings, 208627685 edges, 122061 markings/sec, 470 secs
lola: 23443085 markings, 210116637 edges, 121218 markings/sec, 475 secs
lola: 24035100 markings, 211577320 edges, 118403 markings/sec, 480 secs
lola: 24626971 markings, 213054049 edges, 118374 markings/sec, 485 secs
lola: 25242152 markings, 214558586 edges, 123036 markings/sec, 490 secs
lola: 25828857 markings, 216030671 edges, 117341 markings/sec, 495 secs
lola: 26439698 markings, 217552630 edges, 122168 markings/sec, 500 secs
lola: 27016491 markings, 218995053 edges, 115359 markings/sec, 505 secs
lola: 27579192 markings, 220408138 edges, 112540 markings/sec, 510 secs
lola: 28178977 markings, 221924140 edges, 119957 markings/sec, 515 secs
lola: 28730794 markings, 223316251 edges, 110363 markings/sec, 520 secs
lola: 29290484 markings, 224730309 edges, 111938 markings/sec, 525 secs
lola: 29871655 markings, 226241585 edges, 116234 markings/sec, 530 secs
lola: 30429511 markings, 227649811 edges, 111571 markings/sec, 535 secs
lola: 30986339 markings, 229061192 edges, 111366 markings/sec, 540 secs
lola: 31547387 markings, 230479037 edges, 112210 markings/sec, 545 secs
lola: 32109182 markings, 231904952 edges, 112359 markings/sec, 550 secs
lola: 32716917 markings, 233482591 edges, 121547 markings/sec, 555 secs
lola: 33357038 markings, 235115016 edges, 128024 markings/sec, 560 secs
lola: 34012919 markings, 236823802 edges, 131176 markings/sec, 565 secs
lola: 34624949 markings, 238691014 edges, 122406 markings/sec, 570 secs
lola: 35224814 markings, 240528696 edges, 119973 markings/sec, 575 secs
lola: 35773058 markings, 242273583 edges, 109649 markings/sec, 580 secs
lola: 36282682 markings, 243945846 edges, 101925 markings/sec, 585 secs
lola: 36770761 markings, 245531829 edges, 97616 markings/sec, 590 secs
lola: 37250866 markings, 247150028 edges, 96021 markings/sec, 595 secs
lola: 37723903 markings, 248732040 edges, 94607 markings/sec, 600 secs
lola: 38200386 markings, 250320163 edges, 95297 markings/sec, 605 secs
lola: 38704828 markings, 252031921 edges, 100888 markings/sec, 610 secs
lola: 39227727 markings, 253815500 edges, 104580 markings/sec, 615 secs
lola: 39745447 markings, 255589786 edges, 103544 markings/sec, 620 secs
lola: 40254003 markings, 257344661 edges, 101711 markings/sec, 625 secs
lola: 40753121 markings, 259075379 edges, 99824 markings/sec, 630 secs
lola: 41264792 markings, 260867650 edges, 102334 markings/sec, 635 secs
lola: 41772173 markings, 262643627 edges, 101476 markings/sec, 640 secs
lola: 42226788 markings, 264239354 edges, 90923 markings/sec, 645 secs
lola: 42690707 markings, 265881126 edges, 92784 markings/sec, 650 secs
lola: 43132860 markings, 267451719 edges, 88431 markings/sec, 655 secs
lola: 43594983 markings, 269100600 edges, 92425 markings/sec, 660 secs
lola: 44032586 markings, 270667469 edges, 87521 markings/sec, 665 secs
lola: 44469441 markings, 272243178 edges, 87371 markings/sec, 670 secs
lola: 44897588 markings, 273794723 edges, 85629 markings/sec, 675 secs
lola: 45346979 markings, 275428383 edges, 89878 markings/sec, 680 secs
lola: 45821831 markings, 277166090 edges, 94970 markings/sec, 685 secs
lola: 46290288 markings, 278881951 edges, 93691 markings/sec, 690 secs
lola: 46755141 markings, 280595413 edges, 92971 markings/sec, 695 secs
lola: 47206016 markings, 282272235 edges, 90175 markings/sec, 700 secs
lola: 47654596 markings, 283950107 edges, 89716 markings/sec, 705 secs
lola: 48108031 markings, 285659967 edges, 90687 markings/sec, 710 secs
lola: 48552455 markings, 287350566 edges, 88885 markings/sec, 715 secs
lola: 48992790 markings, 289034444 edges, 88067 markings/sec, 720 secs
lola: 49428877 markings, 290720493 edges, 87217 markings/sec, 725 secs
lola: 49875939 markings, 292460126 edges, 89412 markings/sec, 730 secs
lola: 50317474 markings, 294196934 edges, 88307 markings/sec, 735 secs
lola: 50742158 markings, 295885542 edges, 84937 markings/sec, 740 secs
lola: 51159233 markings, 297574351 edges, 83415 markings/sec, 745 secs
lola: 51574404 markings, 299287068 edges, 83034 markings/sec, 750 secs
lola: 51965267 markings, 300948146 edges, 78173 markings/sec, 755 secs
lola: 52343522 markings, 302625725 edges, 75651 markings/sec, 760 secs
lola: 52706780 markings, 304400971 edges, 72652 markings/sec, 765 secs
lola: 52863965 markings, 306573566 edges, 31437 markings/sec, 770 secs
lola: 52874449 markings, 308906913 edges, 2097 markings/sec, 775 secs
lola: 52879936 markings, 311275068 edges, 1097 markings/sec, 780 secs
lola: 52884158 markings, 313704480 edges, 844 markings/sec, 785 secs
lola: 52887392 markings, 316135975 edges, 647 markings/sec, 790 secs
lola: 52890198 markings, 318554556 edges, 561 markings/sec, 795 secs
lola: 52892650 markings, 321097623 edges, 490 markings/sec, 800 secs
lola: 52894794 markings, 323300074 edges, 429 markings/sec, 805 secs
lola: 52896739 markings, 325515762 edges, 389 markings/sec, 810 secs
lola: 52898647 markings, 327891733 edges, 382 markings/sec, 815 secs
lola: 52900426 markings, 330324621 edges, 356 markings/sec, 820 secs
lola: 52902281 markings, 332850672 edges, 371 markings/sec, 825 secs
lola: 52903740 markings, 335373661 edges, 292 markings/sec, 830 secs
lola: 52905267 markings, 337632290 edges, 305 markings/sec, 835 secs
lola: 52906556 markings, 339897045 edges, 258 markings/sec, 840 secs
lola: 52907923 markings, 342202049 edges, 273 markings/sec, 845 secs
lola: 52909064 markings, 344485017 edges, 228 markings/sec, 850 secs
lola: 52910275 markings, 346783499 edges, 242 markings/sec, 855 secs
lola: 52911512 markings, 349271846 edges, 247 markings/sec, 860 secs
lola: 52912654 markings, 351928007 edges, 228 markings/sec, 865 secs
lola: 52913805 markings, 354642194 edges, 230 markings/sec, 870 secs
lola: 52914780 markings, 357355825 edges, 195 markings/sec, 875 secs
lola: 52915950 markings, 360068045 edges, 234 markings/sec, 880 secs
lola: 52916860 markings, 362794344 edges, 182 markings/sec, 885 secs
lola: 52917865 markings, 365548878 edges, 201 markings/sec, 890 secs
lola: 52918738 markings, 368279307 edges, 175 markings/sec, 895 secs
lola: 52919431 markings, 370992634 edges, 139 markings/sec, 900 secs
lola: 52920333 markings, 373774951 edges, 180 markings/sec, 905 secs
lola: 52921312 markings, 376517931 edges, 196 markings/sec, 910 secs
lola: 52922094 markings, 379254542 edges, 156 markings/sec, 915 secs
lola: 52922893 markings, 382035739 edges, 160 markings/sec, 920 secs
lola: 52923528 markings, 384855237 edges, 127 markings/sec, 925 secs
lola: 52924182 markings, 387556299 edges, 131 markings/sec, 930 secs
lola: 52924464 markings, 390070959 edges, 56 markings/sec, 935 secs
lola: 52925147 markings, 392475701 edges, 137 markings/sec, 940 secs
lola: 52925642 markings, 394879410 edges, 99 markings/sec, 945 secs
lola: 52926022 markings, 397394204 edges, 76 markings/sec, 950 secs
lola: 52926576 markings, 399822568 edges, 111 markings/sec, 955 secs
lola: 52927008 markings, 402290492 edges, 86 markings/sec, 960 secs
lola: 52927597 markings, 404848296 edges, 118 markings/sec, 965 secs
lola: 52927648 markings, 407263994 edges, 10 markings/sec, 970 secs
lola: 52927775 markings, 409825379 edges, 25 markings/sec, 975 secs
lola: 52928390 markings, 412681242 edges, 123 markings/sec, 980 secs
lola: 52928556 markings, 415559577 edges, 33 markings/sec, 985 secs
lola: 52928850 markings, 418486373 edges, 59 markings/sec, 990 secs
lola: 52929265 markings, 421406280 edges, 83 markings/sec, 995 secs
lola: 52929677 markings, 424399514 edges, 82 markings/sec, 1000 secs
lola: 52929819 markings, 427444323 edges, 28 markings/sec, 1005 secs
lola: 52929827 markings, 430486469 edges, 2 markings/sec, 1010 secs
lola: 52929829 markings, 433548356 edges, 0 markings/sec, 1015 secs
lola: 53195760 markings, 436113963 edges, 53186 markings/sec, 1020 secs
lola: 53872311 markings, 437739534 edges, 135310 markings/sec, 1025 secs
lola: 54533780 markings, 439349512 edges, 132294 markings/sec, 1030 secs
lola: 55149036 markings, 440857999 edges, 123051 markings/sec, 1035 secs
lola: 55764501 markings, 442368650 edges, 123093 markings/sec, 1040 secs
lola: 56379262 markings, 443887501 edges, 122952 markings/sec, 1045 secs
lola: 56902647 markings, 445192220 edges, 104677 markings/sec, 1050 secs
lola: 57370633 markings, 446363276 edges, 93597 markings/sec, 1055 secs
lola: 57858475 markings, 447578454 edges, 97568 markings/sec, 1060 secs
lola: 58426733 markings, 448989312 edges, 113652 markings/sec, 1065 secs
lola: 59056776 markings, 450563973 edges, 126009 markings/sec, 1070 secs
lola: 59671887 markings, 452094081 edges, 123022 markings/sec, 1075 secs
lola: 60286658 markings, 453639854 edges, 122954 markings/sec, 1080 secs
lola: 60911224 markings, 455225001 edges, 124913 markings/sec, 1085 secs
lola: 61568066 markings, 456855908 edges, 131368 markings/sec, 1090 secs
lola: 62217094 markings, 458484315 edges, 129806 markings/sec, 1095 secs
lola: 62847809 markings, 460083149 edges, 126143 markings/sec, 1100 secs
lola: 63469788 markings, 461670439 edges, 124396 markings/sec, 1105 secs
lola: 64094180 markings, 463255032 edges, 124878 markings/sec, 1110 secs
lola: 64682057 markings, 464974151 edges, 117575 markings/sec, 1115 secs
lola: 65274070 markings, 467050525 edges, 118403 markings/sec, 1120 secs
lola: 65849682 markings, 469109624 edges, 115122 markings/sec, 1125 secs
lola: 66410370 markings, 471169573 edges, 112138 markings/sec, 1130 secs
lola: 66951615 markings, 473185277 edges, 108249 markings/sec, 1135 secs
lola: 67495576 markings, 475214594 edges, 108792 markings/sec, 1140 secs
lola: 68034832 markings, 477247282 edges, 107851 markings/sec, 1145 secs
lola: 68567617 markings, 479283480 edges, 106557 markings/sec, 1150 secs
lola: 69094554 markings, 481310697 edges, 105387 markings/sec, 1155 secs
lola: 69593199 markings, 483262209 edges, 99729 markings/sec, 1160 secs
lola: 70102512 markings, 485250267 edges, 101863 markings/sec, 1165 secs
lola: 70606229 markings, 487225951 edges, 100743 markings/sec, 1170 secs
lola: 71115485 markings, 489220273 edges, 101851 markings/sec, 1175 secs
lola: 71616331 markings, 491196375 edges, 100169 markings/sec, 1180 secs
lola: 72114456 markings, 493180922 edges, 99625 markings/sec, 1185 secs
lola: 72607736 markings, 495148744 edges, 98656 markings/sec, 1190 secs
lola: 73105247 markings, 497144177 edges, 99502 markings/sec, 1195 secs
lola: 73591623 markings, 499104776 edges, 97275 markings/sec, 1200 secs
lola: 74076669 markings, 501073367 edges, 97009 markings/sec, 1205 secs
lola: 74557577 markings, 503031008 edges, 96182 markings/sec, 1210 secs
lola: 75035014 markings, 504986115 edges, 95487 markings/sec, 1215 secs
lola: 75509264 markings, 506930507 edges, 94850 markings/sec, 1220 secs
lola: 75982887 markings, 508876947 edges, 94725 markings/sec, 1225 secs
lola: 76458854 markings, 510842123 edges, 95193 markings/sec, 1230 secs
lola: 76924867 markings, 512785367 edges, 93203 markings/sec, 1235 secs
lola: 77389745 markings, 514732085 edges, 92976 markings/sec, 1240 secs
lola: 77833558 markings, 516592959 edges, 88763 markings/sec, 1245 secs
lola: 78269663 markings, 518438944 edges, 87221 markings/sec, 1250 secs
lola: 78667233 markings, 520131611 edges, 79514 markings/sec, 1255 secs
lola: 79058099 markings, 521806003 edges, 78173 markings/sec, 1260 secs
lola: 79446408 markings, 523477823 edges, 77662 markings/sec, 1265 secs
lola: 79842059 markings, 525188177 edges, 79130 markings/sec, 1270 secs
lola: 80221110 markings, 526838797 edges, 75810 markings/sec, 1275 secs
lola: 80609707 markings, 528547456 edges, 77719 markings/sec, 1280 secs
lola: 80981301 markings, 530195503 edges, 74319 markings/sec, 1285 secs
lola: 81351601 markings, 531849456 edges, 74060 markings/sec, 1290 secs
lola: 81736608 markings, 533587315 edges, 77001 markings/sec, 1295 secs
lola: 82133084 markings, 535406418 edges, 79295 markings/sec, 1300 secs
lola: 82528182 markings, 537251454 edges, 79020 markings/sec, 1305 secs
lola: 82919920 markings, 539134531 edges, 78348 markings/sec, 1310 secs
lola: 83290238 markings, 541006206 edges, 74064 markings/sec, 1315 secs
lola: 83631357 markings, 542939743 edges, 68224 markings/sec, 1320 secs
lola: 83723822 markings, 545203979 edges, 18493 markings/sec, 1325 secs
lola: 83733065 markings, 547569924 edges, 1849 markings/sec, 1330 secs
lola: 83738152 markings, 549992523 edges, 1017 markings/sec, 1335 secs
lola: 83741845 markings, 552399726 edges, 739 markings/sec, 1340 secs
lola: 83744881 markings, 554878148 edges, 607 markings/sec, 1345 secs
lola: 83747661 markings, 557409235 edges, 556 markings/sec, 1350 secs
lola: 83750136 markings, 559916125 edges, 495 markings/sec, 1355 secs
lola: 83752368 markings, 562458708 edges, 446 markings/sec, 1360 secs
lola: 83754499 markings, 564942620 edges, 426 markings/sec, 1365 secs
lola: 83756425 markings, 567528716 edges, 385 markings/sec, 1370 secs
lola: 83758258 markings, 570079424 edges, 367 markings/sec, 1375 secs
lola: 83759863 markings, 572617762 edges, 321 markings/sec, 1380 secs
lola: 83761433 markings, 575204390 edges, 314 markings/sec, 1385 secs
lola: 83762856 markings, 577817077 edges, 285 markings/sec, 1390 secs
lola: 83764287 markings, 580450130 edges, 286 markings/sec, 1395 secs
lola: 83765681 markings, 583081623 edges, 279 markings/sec, 1400 secs
lola: 83766989 markings, 585681116 edges, 262 markings/sec, 1405 secs
lola: 83768327 markings, 588313583 edges, 268 markings/sec, 1410 secs
lola: 83769461 markings, 590992678 edges, 227 markings/sec, 1415 secs
lola: 83770714 markings, 593681544 edges, 251 markings/sec, 1420 secs
lola: 83771741 markings, 596304338 edges, 205 markings/sec, 1425 secs
lola: 83772772 markings, 598974654 edges, 206 markings/sec, 1430 secs
lola: 83773850 markings, 601693627 edges, 216 markings/sec, 1435 secs
lola: 83774794 markings, 604386708 edges, 189 markings/sec, 1440 secs
lola: 83775795 markings, 607062276 edges, 200 markings/sec, 1445 secs
lola: 83776741 markings, 609764781 edges, 189 markings/sec, 1450 secs
lola: 83777602 markings, 612478532 edges, 172 markings/sec, 1455 secs
lola: 83778252 markings, 615210189 edges, 130 markings/sec, 1460 secs
lola: 83778937 markings, 617907774 edges, 137 markings/sec, 1465 secs
lola: 83779692 markings, 620678467 edges, 151 markings/sec, 1470 secs
lola: 83780620 markings, 623465145 edges, 186 markings/sec, 1475 secs
lola: 83781296 markings, 626184222 edges, 135 markings/sec, 1480 secs
lola: 83781758 markings, 628971140 edges, 92 markings/sec, 1485 secs
lola: 83782360 markings, 631779132 edges, 120 markings/sec, 1490 secs
lola: 83782765 markings, 634570050 edges, 81 markings/sec, 1495 secs
lola: 83783342 markings, 637385205 edges, 115 markings/sec, 1500 secs
lola: 83783756 markings, 640184889 edges, 83 markings/sec, 1505 secs
lola: 83784226 markings, 643046521 edges, 94 markings/sec, 1510 secs
lola: 83784629 markings, 645924268 edges, 81 markings/sec, 1515 secs
lola: 83785008 markings, 648786091 edges, 76 markings/sec, 1520 secs
lola: 83785566 markings, 651743223 edges, 112 markings/sec, 1525 secs
lola: 83785899 markings, 654667607 edges, 67 markings/sec, 1530 secs
lola: 83786065 markings, 657577601 edges, 33 markings/sec, 1535 secs
lola: 83786217 markings, 660541301 edges, 30 markings/sec, 1540 secs
lola: 83786432 markings, 663391162 edges, 43 markings/sec, 1545 secs
lola: 83786630 markings, 666373226 edges, 40 markings/sec, 1550 secs
lola: 83786703 markings, 669356344 edges, 15 markings/sec, 1555 secs
lola: 83786767 markings, 672395730 edges, 13 markings/sec, 1560 secs
lola: 84042375 markings, 674784369 edges, 51122 markings/sec, 1565 secs
lola: 84470254 markings, 676625283 edges, 85576 markings/sec, 1570 secs
lola: 84869152 markings, 678413650 edges, 79780 markings/sec, 1575 secs
lola: 85252959 markings, 680155029 edges, 76761 markings/sec, 1580 secs
lola: 85620828 markings, 681881769 edges, 73574 markings/sec, 1585 secs
lola: 85981394 markings, 683602171 edges, 72113 markings/sec, 1590 secs
lola: 86338353 markings, 685345312 edges, 71392 markings/sec, 1595 secs
lola: 86688103 markings, 687061408 edges, 69950 markings/sec, 1600 secs
lola: 87036806 markings, 688774024 edges, 69741 markings/sec, 1605 secs
lola: 87363725 markings, 690415649 edges, 65384 markings/sec, 1610 secs
lola: 87705263 markings, 692137359 edges, 68308 markings/sec, 1615 secs
lola: 88044533 markings, 693865119 edges, 67854 markings/sec, 1620 secs
lola: 88378569 markings, 695586185 edges, 66807 markings/sec, 1625 secs
lola: 88702434 markings, 697270496 edges, 64773 markings/sec, 1630 secs
lola: 89032778 markings, 698999830 edges, 66069 markings/sec, 1635 secs
lola: 89356707 markings, 700706255 edges, 64786 markings/sec, 1640 secs
lola: 89683974 markings, 702449099 edges, 65453 markings/sec, 1645 secs
lola: 90015323 markings, 704236687 edges, 66270 markings/sec, 1650 secs
lola: 90337685 markings, 705988130 edges, 64472 markings/sec, 1655 secs
lola: 90658333 markings, 707752427 edges, 64130 markings/sec, 1660 secs
lola: 90977409 markings, 709531447 edges, 63815 markings/sec, 1665 secs
lola: 91287752 markings, 711278652 edges, 62069 markings/sec, 1670 secs
lola: 91583915 markings, 712970695 edges, 59233 markings/sec, 1675 secs
lola: 91866169 markings, 714605289 edges, 56451 markings/sec, 1680 secs
lola: 92159727 markings, 716331394 edges, 58712 markings/sec, 1685 secs
lola: 92444365 markings, 718042092 edges, 56928 markings/sec, 1690 secs
lola: 92722067 markings, 719756341 edges, 55540 markings/sec, 1695 secs
lola: 92993096 markings, 721506392 edges, 54206 markings/sec, 1700 secs
lola: 93244871 markings, 723325487 edges, 50355 markings/sec, 1705 secs
lola: 93302297 markings, 725657613 edges, 11485 markings/sec, 1710 secs
lola: 93308133 markings, 728104102 edges, 1167 markings/sec, 1715 secs
lola: 93311603 markings, 730631304 edges, 694 markings/sec, 1720 secs
lola: 93314239 markings, 733113979 edges, 527 markings/sec, 1725 secs
lola: 93316557 markings, 735640649 edges, 464 markings/sec, 1730 secs
lola: 93318693 markings, 738221956 edges, 427 markings/sec, 1735 secs
lola: 93320511 markings, 740713441 edges, 364 markings/sec, 1740 secs
lola: 93322300 markings, 743188101 edges, 358 markings/sec, 1745 secs
lola: 93324090 markings, 745827953 edges, 358 markings/sec, 1750 secs
lola: 93325674 markings, 748433609 edges, 317 markings/sec, 1755 secs
lola: 93327175 markings, 751114944 edges, 300 markings/sec, 1760 secs
lola: 93328586 markings, 753701714 edges, 282 markings/sec, 1765 secs
lola: 93329939 markings, 756376365 edges, 271 markings/sec, 1770 secs
lola: 93331247 markings, 759087204 edges, 262 markings/sec, 1775 secs
lola: 93332453 markings, 761685092 edges, 241 markings/sec, 1780 secs
lola: 93333684 markings, 764360701 edges, 246 markings/sec, 1785 secs
lola: 93334925 markings, 767084233 edges, 248 markings/sec, 1790 secs
lola: 93336010 markings, 769772151 edges, 217 markings/sec, 1795 secs
lola: 93337090 markings, 772504363 edges, 216 markings/sec, 1800 secs
lola: 93338265 markings, 775230693 edges, 235 markings/sec, 1805 secs
lola: 93339146 markings, 777934568 edges, 176 markings/sec, 1810 secs
lola: 93340128 markings, 780609858 edges, 196 markings/sec, 1815 secs
lola: 93340874 markings, 783235115 edges, 149 markings/sec, 1820 secs
lola: 93341895 markings, 785981520 edges, 204 markings/sec, 1825 secs
lola: 93342759 markings, 788731597 edges, 173 markings/sec, 1830 secs
lola: 93343578 markings, 791490880 edges, 164 markings/sec, 1835 secs
lola: 93344388 markings, 794275539 edges, 162 markings/sec, 1840 secs
lola: 93344958 markings, 796985707 edges, 114 markings/sec, 1845 secs
lola: 93345775 markings, 799782478 edges, 163 markings/sec, 1850 secs
lola: 93346305 markings, 802592470 edges, 106 markings/sec, 1855 secs
lola: 93347192 markings, 805414765 edges, 177 markings/sec, 1860 secs
lola: 93347664 markings, 808193790 edges, 94 markings/sec, 1865 secs
lola: 93348185 markings, 810985620 edges, 104 markings/sec, 1870 secs
lola: 93348674 markings, 813823978 edges, 98 markings/sec, 1875 secs
lola: 93349054 markings, 816532998 edges, 76 markings/sec, 1880 secs
lola: 93349665 markings, 819378162 edges, 122 markings/sec, 1885 secs
lola: 93350072 markings, 822235561 edges, 81 markings/sec, 1890 secs
lola: 93350569 markings, 825153440 edges, 99 markings/sec, 1895 secs
lola: 93350864 markings, 828074887 edges, 59 markings/sec, 1900 secs
lola: time limit reached - aborting
lola:
preliminary result: 1 1 1 1 unknown 1 1 1 unknown 1 1 1 1 unknown 1 1
lola:
preliminary result: 1 1 1 1 unknown 1 1 1 unknown 1 1 1 1 unknown 1 1
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 1 1 1 unknown 1 1 1 unknown 1 1 1 1 unknown 1 1
lola: memory consumption: 7983944 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 1 1 1 unknown 1 1 1 unknown 1 1 1 1 unknown 1 1
lola: memory consumption: 7984136 KB
lola: time consumption: 3571 seconds

BK_STOP 1527024709455

--------------------
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="MultiwaySync-PT-none"
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/MultiwaySync-PT-none.tgz
mv MultiwaySync-PT-none 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 MultiwaySync-PT-none, 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 r112-csrt-152666469200198"
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 ;