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 1.4M
-rw-r--r-- 1 mcc users 3.7K 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 2.5K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K 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 6.1K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.5K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.6K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 113 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 351 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.8K 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.8K 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 4 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 1.2M May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is FlexibleBarrier-PT-18b, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r088-blw7-152649998200205
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1526684955906

info: Time: 3600 - MCC
===========================================================================================
prep: translating FlexibleBarrier-PT-18b 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 FlexibleBarrier-PT-18b formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ FlexibleBarrier-PT-18b @ 3569 seconds
lola: LoLA will run for 3569 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 9407/65536 symbol table entries, 2286 collisions
lola: preprocessing...
lola: Size of bit vector: 4370
lola: finding significant places
lola: 4370 places, 5037 transitions, 4350 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 5075 transition conflict sets
lola: TASK
lola: reading formula from FlexibleBarrier-PT-18b-UpperBounds.task
lola: MAX(p2938) : MAX(p3917) : MAX(p3080) : MAX(p1315) : MAX(p3962) : MAX(p480) : MAX(p1966) : MAX(p711) : MAX(p1499) : MAX(p4047) : MAX(p2614) : MAX(p4200) : MAX(p3174) : MAX(p212) : MAX(p2417) : MAX(p693)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p2938)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2938)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-18b-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: 59 markings, 58 edges
lola: ========================================

FORMULA FlexibleBarrier-PT-18b-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(p3917)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p3917)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-18b-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: 26 markings, 25 edges
lola: ========================================

FORMULA FlexibleBarrier-PT-18b-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(p3080)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p3080)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-18b-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: 58 markings, 57 edges
lola: ========================================

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

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

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

FORMULA FlexibleBarrier-PT-18b-UpperBounds-5 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 355 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1966)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1966)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-18b-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: 30646 markings, 59238 edges, 6129 markings/sec, 0 secs
lola: 70895 markings, 139895 edges, 8050 markings/sec, 5 secs
lola: 107653 markings, 223835 edges, 7352 markings/sec, 10 secs
lola: 148655 markings, 304293 edges, 8200 markings/sec, 15 secs
lola: 188896 markings, 383261 edges, 8048 markings/sec, 20 secs
lola: 228095 markings, 461482 edges, 7840 markings/sec, 25 secs
lola: 268413 markings, 540843 edges, 8064 markings/sec, 30 secs
lola: 301597 markings, 637418 edges, 6637 markings/sec, 35 secs
lola: 331115 markings, 742333 edges, 5904 markings/sec, 40 secs
lola: 361602 markings, 850948 edges, 6097 markings/sec, 45 secs
lola: 390923 markings, 956154 edges, 5864 markings/sec, 50 secs
lola: 417057 markings, 1074644 edges, 5227 markings/sec, 55 secs
lola: 444278 markings, 1190767 edges, 5444 markings/sec, 60 secs
lola: 470540 markings, 1310030 edges, 5252 markings/sec, 65 secs
lola: 496780 markings, 1424987 edges, 5248 markings/sec, 70 secs
lola: 528918 markings, 1514603 edges, 6428 markings/sec, 75 secs
lola: 568860 markings, 1593126 edges, 7988 markings/sec, 80 secs
lola: 606940 markings, 1674629 edges, 7616 markings/sec, 85 secs
lola: 645248 markings, 1756688 edges, 7662 markings/sec, 90 secs
lola: 685815 markings, 1836066 edges, 8113 markings/sec, 95 secs
lola: 726282 markings, 1915781 edges, 8093 markings/sec, 100 secs
lola: 766424 markings, 1995655 edges, 8028 markings/sec, 105 secs
lola: 805850 markings, 2078053 edges, 7885 markings/sec, 110 secs
lola: 835432 markings, 2182903 edges, 5916 markings/sec, 115 secs
lola: 864144 markings, 2285061 edges, 5742 markings/sec, 120 secs
lola: 893580 markings, 2389497 edges, 5887 markings/sec, 125 secs
lola: 921232 markings, 2498845 edges, 5530 markings/sec, 130 secs
lola: 947372 markings, 2614833 edges, 5228 markings/sec, 135 secs
lola: 974388 markings, 2728980 edges, 5403 markings/sec, 140 secs
lola: 1000180 markings, 2838817 edges, 5158 markings/sec, 145 secs
lola: 1026148 markings, 2950956 edges, 5194 markings/sec, 150 secs
lola: 1061014 markings, 3036037 edges, 6973 markings/sec, 155 secs
lola: 1100127 markings, 3113466 edges, 7823 markings/sec, 160 secs
lola: 1137223 markings, 3198345 edges, 7419 markings/sec, 165 secs
lola: 1177600 markings, 3277437 edges, 8075 markings/sec, 170 secs
lola: 1217192 markings, 3356591 edges, 7918 markings/sec, 175 secs
lola: 1257812 markings, 3436686 edges, 8124 markings/sec, 180 secs
lola: 1297691 markings, 3516507 edges, 7976 markings/sec, 185 secs
lola: 1334479 markings, 3605386 edges, 7358 markings/sec, 190 secs
lola: 1364222 markings, 3711076 edges, 5949 markings/sec, 195 secs
lola: 1394308 markings, 3817661 edges, 6017 markings/sec, 200 secs
lola: 1424431 markings, 3924322 edges, 6025 markings/sec, 205 secs
lola: 1450554 markings, 4039125 edges, 5225 markings/sec, 210 secs
lola: 1477584 markings, 4153392 edges, 5406 markings/sec, 215 secs
lola: 1503706 markings, 4271010 edges, 5224 markings/sec, 220 secs
lola: 1529150 markings, 4387389 edges, 5089 markings/sec, 225 secs
lola: 1558547 markings, 4484907 edges, 5879 markings/sec, 230 secs
lola: 1596748 markings, 4565290 edges, 7640 markings/sec, 235 secs
lola: 1636086 markings, 4643243 edges, 7868 markings/sec, 240 secs
lola: 1670644 markings, 4723480 edges, 6912 markings/sec, 245 secs
lola: 1710401 markings, 4801407 edges, 7951 markings/sec, 250 secs
lola: 1748915 markings, 4878812 edges, 7703 markings/sec, 255 secs
lola: 1778033 markings, 4934564 edges, 5824 markings/sec, 260 secs
lola: 1817426 markings, 5013261 edges, 7879 markings/sec, 265 secs
lola: 1854376 markings, 5100996 edges, 7390 markings/sec, 270 secs
lola: 1884118 markings, 5206445 edges, 5948 markings/sec, 275 secs
lola: 1914154 markings, 5313602 edges, 6007 markings/sec, 280 secs
lola: 1944248 markings, 5420407 edges, 6019 markings/sec, 285 secs
lola: 1970590 markings, 5533663 edges, 5268 markings/sec, 290 secs
lola: 1997417 markings, 5648246 edges, 5365 markings/sec, 295 secs
lola: 2023170 markings, 5761425 edges, 5151 markings/sec, 300 secs
lola: 2049759 markings, 5871967 edges, 5318 markings/sec, 305 secs
lola: 2077179 markings, 5977404 edges, 5484 markings/sec, 310 secs
lola: 2116394 markings, 6062408 edges, 7843 markings/sec, 315 secs
lola: 2152190 markings, 6133263 edges, 7159 markings/sec, 320 secs
lola: 2190842 markings, 6222272 edges, 7730 markings/sec, 325 secs
lola: 2232641 markings, 6303863 edges, 8360 markings/sec, 330 secs
lola: 2274189 markings, 6385839 edges, 8310 markings/sec, 335 secs
lola: 2315645 markings, 6467534 edges, 8291 markings/sec, 340 secs
lola: 2356400 markings, 6548749 edges, 8151 markings/sec, 345 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 1 1 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: 1 1 1 1 1 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 683636 KB
lola: time consumption: 370 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 355 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p711)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p711)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-18b-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: 44 markings, 43 edges

FORMULA FlexibleBarrier-PT-18b-UpperBounds-7 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 8 will run for 399 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1499)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1499)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-18b-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 FlexibleBarrier-PT-18b-UpperBounds-8 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 9 will run for 456 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p4047)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p4047)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-18b-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: 48 markings, 47 edges

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

FORMULA FlexibleBarrier-PT-18b-UpperBounds-10 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 638 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p4200)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p4200)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-18b-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: 26276 markings, 51398 edges, 5255 markings/sec, 0 secs
lola: 66448 markings, 135807 edges, 8034 markings/sec, 5 secs
lola: 104673 markings, 228140 edges, 7645 markings/sec, 10 secs
lola: 145609 markings, 310261 edges, 8187 markings/sec, 15 secs
lola: 187546 markings, 392539 edges, 8387 markings/sec, 20 secs
lola: 229525 markings, 475241 edges, 8396 markings/sec, 25 secs
lola: 269287 markings, 554358 edges, 7952 markings/sec, 30 secs
lola: 306507 markings, 643137 edges, 7444 markings/sec, 35 secs
lola: 336705 markings, 750914 edges, 6040 markings/sec, 40 secs
lola: 366125 markings, 855806 edges, 5884 markings/sec, 45 secs
lola: 396543 markings, 964721 edges, 6084 markings/sec, 50 secs
lola: 423730 markings, 1079387 edges, 5437 markings/sec, 55 secs
lola: 450912 markings, 1196429 edges, 5436 markings/sec, 60 secs
lola: 477473 markings, 1316071 edges, 5312 markings/sec, 65 secs
lola: 503376 markings, 1434283 edges, 5181 markings/sec, 70 secs
lola: 532971 markings, 1534622 edges, 5919 markings/sec, 75 secs
lola: 571747 markings, 1616035 edges, 7755 markings/sec, 80 secs
lola: 608863 markings, 1701263 edges, 7423 markings/sec, 85 secs
lola: 646695 markings, 1787186 edges, 7566 markings/sec, 90 secs
lola: 687539 markings, 1867501 edges, 8169 markings/sec, 95 secs
lola: 727543 markings, 1947857 edges, 8001 markings/sec, 100 secs
lola: 768956 markings, 2028671 edges, 8283 markings/sec, 105 secs
lola: 809603 markings, 2108726 edges, 8129 markings/sec, 110 secs
lola: 845561 markings, 2198949 edges, 7192 markings/sec, 115 secs
lola: 875638 markings, 2306069 edges, 6015 markings/sec, 120 secs
lola: 905964 markings, 2413979 edges, 6065 markings/sec, 125 secs
lola: 936084 markings, 2521486 edges, 6024 markings/sec, 130 secs
lola: 962801 markings, 2635859 edges, 5343 markings/sec, 135 secs
lola: 989847 markings, 2752579 edges, 5409 markings/sec, 140 secs
lola: 1016176 markings, 2872160 edges, 5266 markings/sec, 145 secs
lola: 1041528 markings, 2990932 edges, 5070 markings/sec, 150 secs
lola: 1071678 markings, 3087979 edges, 6030 markings/sec, 155 secs
lola: 1111434 markings, 3169169 edges, 7951 markings/sec, 160 secs
lola: 1147828 markings, 3253149 edges, 7279 markings/sec, 165 secs
lola: 1185798 markings, 3339582 edges, 7594 markings/sec, 170 secs
lola: 1226400 markings, 3419573 edges, 8120 markings/sec, 175 secs
lola: 1267527 markings, 3500210 edges, 8225 markings/sec, 180 secs
lola: 1307907 markings, 3580948 edges, 8076 markings/sec, 185 secs
lola: 1348875 markings, 3661728 edges, 8194 markings/sec, 190 secs
lola: 1384518 markings, 3753533 edges, 7129 markings/sec, 195 secs
lola: 1414595 markings, 3861266 edges, 6015 markings/sec, 200 secs
lola: 1444894 markings, 3969424 edges, 6060 markings/sec, 205 secs
lola: 1475299 markings, 4077633 edges, 6081 markings/sec, 210 secs
lola: 1501796 markings, 4193179 edges, 5299 markings/sec, 215 secs
lola: 1528966 markings, 4309459 edges, 5434 markings/sec, 220 secs
lola: 1554814 markings, 4429932 edges, 5170 markings/sec, 225 secs
lola: 1580382 markings, 4546944 edges, 5114 markings/sec, 230 secs
lola: 1610589 markings, 4642083 edges, 6041 markings/sec, 235 secs
lola: 1650695 markings, 4721878 edges, 8021 markings/sec, 240 secs
lola: 1687570 markings, 4806412 edges, 7375 markings/sec, 245 secs
lola: 1725762 markings, 4893219 edges, 7638 markings/sec, 250 secs
lola: 1765734 markings, 4972925 edges, 7994 markings/sec, 255 secs
lola: 1806821 markings, 5053652 edges, 8217 markings/sec, 260 secs
lola: 1847648 markings, 5134716 edges, 8165 markings/sec, 265 secs
lola: 1888413 markings, 5215226 edges, 8153 markings/sec, 270 secs
lola: 1923552 markings, 5309199 edges, 7028 markings/sec, 275 secs
lola: 1953744 markings, 5416722 edges, 6038 markings/sec, 280 secs
lola: 1984018 markings, 5524596 edges, 6055 markings/sec, 285 secs
lola: 2014157 markings, 5633117 edges, 6028 markings/sec, 290 secs
lola: 2040630 markings, 5748759 edges, 5295 markings/sec, 295 secs
lola: 2067727 markings, 5865100 edges, 5419 markings/sec, 300 secs
lola: 2093568 markings, 5985716 edges, 5168 markings/sec, 305 secs
lola: 2119171 markings, 6102499 edges, 5121 markings/sec, 310 secs
lola: 2147881 markings, 6191537 edges, 5742 markings/sec, 315 secs
lola: 2189924 markings, 6274741 edges, 8409 markings/sec, 320 secs
lola: 2228053 markings, 6363631 edges, 7626 markings/sec, 325 secs
lola: 2267643 markings, 6452048 edges, 7918 markings/sec, 330 secs
lola: 2309695 markings, 6534523 edges, 8410 markings/sec, 335 secs
lola: 2351704 markings, 6617459 edges, 8402 markings/sec, 340 secs
lola: 2392944 markings, 6700072 edges, 8248 markings/sec, 345 secs
lola: 2434461 markings, 6781393 edges, 8303 markings/sec, 350 secs
lola: 2466305 markings, 6878043 edges, 6369 markings/sec, 355 secs
lola: 2497093 markings, 6987561 edges, 6158 markings/sec, 360 secs
lola: 2527884 markings, 7097297 edges, 6158 markings/sec, 365 secs
lola: 2557931 markings, 7207488 edges, 6009 markings/sec, 370 secs
lola: 2584658 markings, 7326286 edges, 5345 markings/sec, 375 secs
lola: 2612068 markings, 7444141 edges, 5482 markings/sec, 380 secs
lola: 2638426 markings, 7564579 edges, 5272 markings/sec, 385 secs
lola: 2665059 markings, 7679799 edges, 5327 markings/sec, 390 secs
lola: 2700092 markings, 7769932 edges, 7007 markings/sec, 395 secs
lola: 2740626 markings, 7851060 edges, 8107 markings/sec, 400 secs
lola: 2775580 markings, 7942148 edges, 6991 markings/sec, 405 secs
lola: 2812796 markings, 8015855 edges, 7443 markings/sec, 410 secs
lola: 2852408 markings, 8093527 edges, 7922 markings/sec, 415 secs
lola: 2891830 markings, 8172168 edges, 7884 markings/sec, 420 secs
lola: 2932264 markings, 8251369 edges, 8087 markings/sec, 425 secs
lola: 2972062 markings, 8330908 edges, 7960 markings/sec, 430 secs
lola: 3004908 markings, 8431465 edges, 6569 markings/sec, 435 secs
lola: 3035193 markings, 8539219 edges, 6057 markings/sec, 440 secs
lola: 3064504 markings, 8643883 edges, 5862 markings/sec, 445 secs
lola: 3093457 markings, 8748490 edges, 5791 markings/sec, 450 secs
lola: 3119748 markings, 8866446 edges, 5258 markings/sec, 455 secs
lola: 3146984 markings, 8983198 edges, 5447 markings/sec, 460 secs
lola: 3173042 markings, 9102980 edges, 5212 markings/sec, 465 secs
lola: 3199132 markings, 9218574 edges, 5218 markings/sec, 470 secs
lola: 3232348 markings, 9309522 edges, 6643 markings/sec, 475 secs
lola: 3273826 markings, 9390939 edges, 8296 markings/sec, 480 secs
lola: 3310057 markings, 9485082 edges, 7246 markings/sec, 485 secs
lola: 3350017 markings, 9564616 edges, 7992 markings/sec, 490 secs
lola: 3391702 markings, 9646867 edges, 8337 markings/sec, 495 secs
lola: 3433465 markings, 9728714 edges, 8353 markings/sec, 500 secs
lola: 3474413 markings, 9810705 edges, 8190 markings/sec, 505 secs
lola: 3516328 markings, 9893391 edges, 8383 markings/sec, 510 secs
lola: 3547364 markings, 9999390 edges, 6207 markings/sec, 515 secs
lola: 3578228 markings, 10109057 edges, 6173 markings/sec, 520 secs
lola: 3607990 markings, 10215122 edges, 5952 markings/sec, 525 secs
lola: 3636842 markings, 10327882 edges, 5770 markings/sec, 530 secs
lola: 3664031 markings, 10445258 edges, 5438 markings/sec, 535 secs
lola: 3691433 markings, 10563180 edges, 5480 markings/sec, 540 secs
lola: 3717336 markings, 10676952 edges, 5181 markings/sec, 545 secs
lola: 3744243 markings, 10791082 edges, 5381 markings/sec, 550 secs
lola: 3781079 markings, 10879981 edges, 7367 markings/sec, 555 secs
lola: 3822080 markings, 10961329 edges, 8200 markings/sec, 560 secs
lola: 3858632 markings, 11056595 edges, 7310 markings/sec, 565 secs
lola: 3899535 markings, 11136654 edges, 8181 markings/sec, 570 secs
lola: 3936440 markings, 11210317 edges, 7381 markings/sec, 575 secs
lola: 3975035 markings, 11286933 edges, 7719 markings/sec, 580 secs
lola: 4016062 markings, 11367679 edges, 8205 markings/sec, 585 secs
lola: 4056719 markings, 11449172 edges, 8131 markings/sec, 590 secs
lola: 4086895 markings, 11556400 edges, 6035 markings/sec, 595 secs
lola: 4117294 markings, 11664952 edges, 6080 markings/sec, 600 secs
lola: 4147828 markings, 11773537 edges, 6107 markings/sec, 605 secs
lola: 4176141 markings, 11885999 edges, 5663 markings/sec, 610 secs
lola: 4203231 markings, 12002286 edges, 5418 markings/sec, 615 secs
lola: 4230401 markings, 12119476 edges, 5434 markings/sec, 620 secs
lola: 4257025 markings, 12234916 edges, 5325 markings/sec, 625 secs
lola: 4283684 markings, 12347023 edges, 5332 markings/sec, 630 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 1 1 1 unknown 1 1 1 1 unknown unknown unknown unknown unknown
lola: memory consumption: 1995184 KB
lola: time consumption: 1014 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 638 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p3174)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p3174)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-18b-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: 25213 markings, 48673 edges, 5043 markings/sec, 0 secs
lola: 67051 markings, 131223 edges, 8368 markings/sec, 5 secs
lola: 102697 markings, 224970 edges, 7129 markings/sec, 10 secs
lola: 144107 markings, 306666 edges, 8282 markings/sec, 15 secs
lola: 185711 markings, 388734 edges, 8321 markings/sec, 20 secs
lola: 226573 markings, 470666 edges, 8172 markings/sec, 25 secs
lola: 268292 markings, 552325 edges, 8344 markings/sec, 30 secs
lola: 306068 markings, 641706 edges, 7555 markings/sec, 35 secs
lola: 335395 markings, 746367 edges, 5865 markings/sec, 40 secs
lola: 365812 markings, 854549 edges, 6083 markings/sec, 45 secs
lola: 396162 markings, 963314 edges, 6070 markings/sec, 50 secs
lola: 423241 markings, 1077900 edges, 5416 markings/sec, 55 secs
lola: 450448 markings, 1193492 edges, 5441 markings/sec, 60 secs
lola: 476905 markings, 1312344 edges, 5291 markings/sec, 65 secs
lola: 503223 markings, 1427170 edges, 5264 markings/sec, 70 secs
lola: 531748 markings, 1530749 edges, 5705 markings/sec, 75 secs
lola: 570194 markings, 1612684 edges, 7689 markings/sec, 80 secs
lola: 609798 markings, 1691961 edges, 7921 markings/sec, 85 secs
lola: 645332 markings, 1784167 edges, 7107 markings/sec, 90 secs
lola: 686285 markings, 1864660 edges, 8191 markings/sec, 95 secs
lola: 726510 markings, 1944845 edges, 8045 markings/sec, 100 secs
lola: 767768 markings, 2026210 edges, 8252 markings/sec, 105 secs
lola: 808877 markings, 2107951 edges, 8222 markings/sec, 110 secs
lola: 844319 markings, 2194494 edges, 7088 markings/sec, 115 secs
lola: 874100 markings, 2300639 edges, 5956 markings/sec, 120 secs
lola: 904178 markings, 2408140 edges, 6016 markings/sec, 125 secs
lola: 934236 markings, 2515259 edges, 6012 markings/sec, 130 secs
lola: 961072 markings, 2628627 edges, 5367 markings/sec, 135 secs
lola: 987965 markings, 2744581 edges, 5379 markings/sec, 140 secs
lola: 1014347 markings, 2863221 edges, 5276 markings/sec, 145 secs
lola: 1040379 markings, 2977947 edges, 5206 markings/sec, 150 secs
lola: 1068863 markings, 3079252 edges, 5697 markings/sec, 155 secs
lola: 1107307 markings, 3161179 edges, 7689 markings/sec, 160 secs
lola: 1146751 markings, 3240145 edges, 7889 markings/sec, 165 secs
lola: 1182089 markings, 3331945 edges, 7068 markings/sec, 170 secs
lola: 1222797 markings, 3411576 edges, 8142 markings/sec, 175 secs
lola: 1262689 markings, 3491436 edges, 7978 markings/sec, 180 secs
lola: 1302789 markings, 3569833 edges, 8020 markings/sec, 185 secs
lola: 1343335 markings, 3651029 edges, 8109 markings/sec, 190 secs
lola: 1380788 markings, 3740261 edges, 7491 markings/sec, 195 secs
lola: 1410866 markings, 3847629 edges, 6016 markings/sec, 200 secs
lola: 1441044 markings, 3955727 edges, 6036 markings/sec, 205 secs
lola: 1471206 markings, 4063251 edges, 6032 markings/sec, 210 secs
lola: 1498172 markings, 4176890 edges, 5393 markings/sec, 215 secs
lola: 1525126 markings, 4293334 edges, 5391 markings/sec, 220 secs
lola: 1551504 markings, 4412024 edges, 5276 markings/sec, 225 secs
lola: 1577570 markings, 4527369 edges, 5213 markings/sec, 230 secs
lola: 1605115 markings, 4624828 edges, 5509 markings/sec, 235 secs
lola: 1641847 markings, 4704367 edges, 7346 markings/sec, 240 secs
lola: 1681285 markings, 4782720 edges, 7888 markings/sec, 245 secs
lola: 1716510 markings, 4874789 edges, 7045 markings/sec, 250 secs
lola: 1755248 markings, 4951769 edges, 7748 markings/sec, 255 secs
lola: 1793376 markings, 5028154 edges, 7626 markings/sec, 260 secs
lola: 1832823 markings, 5105062 edges, 7889 markings/sec, 265 secs
lola: 1870275 markings, 5179300 edges, 7490 markings/sec, 270 secs
lola: 1909593 markings, 5259682 edges, 7864 markings/sec, 275 secs
lola: 1939301 markings, 5365603 edges, 5942 markings/sec, 280 secs
lola: 1969309 markings, 5472516 edges, 6002 markings/sec, 285 secs
lola: 1999581 markings, 5580255 edges, 6054 markings/sec, 290 secs
lola: 2027457 markings, 5691090 edges, 5575 markings/sec, 295 secs
lola: 2054235 markings, 5806741 edges, 5356 markings/sec, 300 secs
lola: 2081342 markings, 5922133 edges, 5421 markings/sec, 305 secs
lola: 2107104 markings, 6035704 edges, 5152 markings/sec, 310 secs
lola: 2132698 markings, 6145139 edges, 5119 markings/sec, 315 secs
lola: 2167716 markings, 6230835 edges, 7004 markings/sec, 320 secs
lola: 2208767 markings, 6312133 edges, 8210 markings/sec, 325 secs
lola: 2244732 markings, 6394918 edges, 7193 markings/sec, 330 secs
lola: 2283791 markings, 6483374 edges, 7812 markings/sec, 335 secs
lola: 2323473 markings, 6561081 edges, 7936 markings/sec, 340 secs
lola: 2364100 markings, 6642251 edges, 8125 markings/sec, 345 secs
lola: 2405660 markings, 6724250 edges, 8312 markings/sec, 350 secs
lola: 2446299 markings, 6806666 edges, 8128 markings/sec, 355 secs
lola: 2476611 markings, 6914756 edges, 6062 markings/sec, 360 secs
lola: 2507051 markings, 7023043 edges, 6088 markings/sec, 365 secs
lola: 2537482 markings, 7131315 edges, 6086 markings/sec, 370 secs
lola: 2565394 markings, 7244323 edges, 5582 markings/sec, 375 secs
lola: 2592008 markings, 7358002 edges, 5323 markings/sec, 380 secs
lola: 2618695 markings, 7472259 edges, 5337 markings/sec, 385 secs
lola: 2645360 markings, 7588219 edges, 5333 markings/sec, 390 secs
lola: 2671271 markings, 7698126 edges, 5182 markings/sec, 395 secs
lola: 2706095 markings, 7781076 edges, 6965 markings/sec, 400 secs
lola: 2744733 markings, 7858242 edges, 7728 markings/sec, 405 secs
lola: 2782680 markings, 7946417 edges, 7589 markings/sec, 410 secs
lola: 2822112 markings, 8034493 edges, 7886 markings/sec, 415 secs
lola: 2863611 markings, 8116212 edges, 8300 markings/sec, 420 secs
lola: 2905207 markings, 8197756 edges, 8319 markings/sec, 425 secs
lola: 2945953 markings, 8279290 edges, 8149 markings/sec, 430 secs
lola: 2986018 markings, 8363864 edges, 8013 markings/sec, 435 secs
lola: 3016162 markings, 8471904 edges, 6029 markings/sec, 440 secs
lola: 3046595 markings, 8580436 edges, 6087 markings/sec, 445 secs
lola: 3077193 markings, 8689257 edges, 6120 markings/sec, 450 secs
lola: 3104603 markings, 8802566 edges, 5482 markings/sec, 455 secs
lola: 3131057 markings, 8914858 edges, 5291 markings/sec, 460 secs
lola: 3157537 markings, 9027748 edges, 5296 markings/sec, 465 secs
lola: 3184490 markings, 9142806 edges, 5391 markings/sec, 470 secs
lola: 3211361 markings, 9255821 edges, 5374 markings/sec, 475 secs
lola: 3249085 markings, 9342659 edges, 7545 markings/sec, 480 secs
lola: 3290915 markings, 9424680 edges, 8366 markings/sec, 485 secs
lola: 3327173 markings, 9518593 edges, 7252 markings/sec, 490 secs
lola: 3367854 markings, 9600077 edges, 8136 markings/sec, 495 secs
lola: 3409792 markings, 9682648 edges, 8388 markings/sec, 500 secs
lola: 3451757 markings, 9765058 edges, 8393 markings/sec, 505 secs
lola: 3492815 markings, 9847487 edges, 8212 markings/sec, 510 secs
lola: 3530378 markings, 9938803 edges, 7513 markings/sec, 515 secs
lola: 3561035 markings, 10047978 edges, 6131 markings/sec, 520 secs
lola: 3591769 markings, 10157217 edges, 6147 markings/sec, 525 secs
lola: 3622292 markings, 10266619 edges, 6105 markings/sec, 530 secs
lola: 3649270 markings, 10383429 edges, 5396 markings/sec, 535 secs
lola: 3676756 markings, 10499887 edges, 5497 markings/sec, 540 secs
lola: 3702864 markings, 10622058 edges, 5222 markings/sec, 545 secs
lola: 3728693 markings, 10740517 edges, 5166 markings/sec, 550 secs
lola: 3759248 markings, 10837056 edges, 6111 markings/sec, 555 secs
lola: 3801258 markings, 10920270 edges, 8402 markings/sec, 560 secs
lola: 3842011 markings, 11002917 edges, 8151 markings/sec, 565 secs
lola: 3878573 markings, 11096355 edges, 7312 markings/sec, 570 secs
lola: 3919939 markings, 11177808 edges, 8273 markings/sec, 575 secs
lola: 3959304 markings, 11256951 edges, 7873 markings/sec, 580 secs
lola: 3999372 markings, 11334906 edges, 8014 markings/sec, 585 secs
lola: 4039191 markings, 11414504 edges, 7964 markings/sec, 590 secs
lola: 4072474 markings, 11504698 edges, 6657 markings/sec, 595 secs
lola: 4102319 markings, 11611072 edges, 5969 markings/sec, 600 secs
lola: 4131721 markings, 11715975 edges, 5880 markings/sec, 605 secs
lola: 4159986 markings, 11817192 edges, 5653 markings/sec, 610 secs
lola: 4184783 markings, 11924836 edges, 4959 markings/sec, 615 secs
lola: 4212021 markings, 12039656 edges, 5448 markings/sec, 620 secs
lola: 4236587 markings, 12151348 edges, 4913 markings/sec, 625 secs
lola: 4261781 markings, 12253119 edges, 5039 markings/sec, 630 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 1 1 1 unknown 1 1 1 1 unknown unknown unknown unknown unknown
lola: memory consumption: 1976736 KB
lola: time consumption: 1652 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 639 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p212)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p212)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-18b-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: 78 markings, 77 edges
lola: ========================================

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

FORMULA FlexibleBarrier-PT-18b-UpperBounds-14 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 1915 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p693)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p693)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-18b-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 40 markings, 39 edges
lola: ========================================

FORMULA FlexibleBarrier-PT-18b-UpperBounds-15 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: MAX(p1966)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1966)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-18b-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: 31295 markings, 60544 edges, 6259 markings/sec, 0 secs
lola: 71901 markings, 141600 edges, 8121 markings/sec, 5 secs
lola: 111331 markings, 230332 edges, 7886 markings/sec, 10 secs
lola: 152351 markings, 311480 edges, 8204 markings/sec, 15 secs
lola: 193096 markings, 392254 edges, 8149 markings/sec, 20 secs
lola: 234404 markings, 473757 edges, 8262 markings/sec, 25 secs
lola: 275809 markings, 555064 edges, 8281 markings/sec, 30 secs
lola: 306941 markings, 656733 edges, 6226 markings/sec, 35 secs
lola: 337359 markings, 764233 edges, 6084 markings/sec, 40 secs
lola: 367696 markings, 872586 edges, 6067 markings/sec, 45 secs
lola: 396553 markings, 982545 edges, 5771 markings/sec, 50 secs
lola: 422650 markings, 1099292 edges, 5219 markings/sec, 55 secs
lola: 449527 markings, 1213228 edges, 5375 markings/sec, 60 secs
lola: 475619 markings, 1327203 edges, 5218 markings/sec, 65 secs
lola: 501329 markings, 1439879 edges, 5142 markings/sec, 70 secs
lola: 534560 markings, 1525362 edges, 6646 markings/sec, 75 secs
lola: 572726 markings, 1601120 edges, 7633 markings/sec, 80 secs
lola: 609309 markings, 1683568 edges, 7317 markings/sec, 85 secs
lola: 648497 markings, 1761709 edges, 7838 markings/sec, 90 secs
lola: 687123 markings, 1838777 edges, 7725 markings/sec, 95 secs
lola: 727586 markings, 1918300 edges, 8093 markings/sec, 100 secs
lola: 767401 markings, 1997654 edges, 7963 markings/sec, 105 secs
lola: 806507 markings, 2080389 edges, 7821 markings/sec, 110 secs
lola: 836055 markings, 2185633 edges, 5910 markings/sec, 115 secs
lola: 865826 markings, 2291360 edges, 5954 markings/sec, 120 secs
lola: 895112 markings, 2395278 edges, 5857 markings/sec, 125 secs
lola: 921909 markings, 2503525 edges, 5359 markings/sec, 130 secs
lola: 948098 markings, 2616852 edges, 5238 markings/sec, 135 secs
lola: 974893 markings, 2731325 edges, 5359 markings/sec, 140 secs
lola: 1001418 markings, 2843266 edges, 5305 markings/sec, 145 secs
lola: 1027472 markings, 2954748 edges, 5211 markings/sec, 150 secs
lola: 1062777 markings, 3039207 edges, 7061 markings/sec, 155 secs
lola: 1101488 markings, 3116269 edges, 7742 markings/sec, 160 secs
lola: 1138306 markings, 3200580 edges, 7364 markings/sec, 165 secs
lola: 1177957 markings, 3278167 edges, 7930 markings/sec, 170 secs
lola: 1216441 markings, 3355058 edges, 7697 markings/sec, 175 secs
lola: 1255645 markings, 3432576 edges, 7841 markings/sec, 180 secs
lola: 1295019 markings, 3510451 edges, 7875 markings/sec, 185 secs
lola: 1331428 markings, 3594614 edges, 7282 markings/sec, 190 secs
lola: 1360490 markings, 3697683 edges, 5812 markings/sec, 195 secs
lola: 1390295 markings, 3803608 edges, 5961 markings/sec, 200 secs
lola: 1420173 markings, 3909530 edges, 5976 markings/sec, 205 secs
lola: 1446728 markings, 4022508 edges, 5311 markings/sec, 210 secs
lola: 1473419 markings, 4136452 edges, 5338 markings/sec, 215 secs
lola: 1500341 markings, 4250566 edges, 5384 markings/sec, 220 secs
lola: 1526881 markings, 4360557 edges, 5308 markings/sec, 225 secs
lola: 1553342 markings, 4469936 edges, 5292 markings/sec, 230 secs
lola: 1589550 markings, 4551945 edges, 7242 markings/sec, 235 secs
lola: 1629205 markings, 4629281 edges, 7931 markings/sec, 240 secs
lola: 1666341 markings, 4714222 edges, 7427 markings/sec, 245 secs
lola: 1705707 markings, 4792852 edges, 7873 markings/sec, 250 secs
lola: 1745842 markings, 4871539 edges, 8027 markings/sec, 255 secs
lola: 1786462 markings, 4951108 edges, 8124 markings/sec, 260 secs
lola: 1826398 markings, 5031027 edges, 7987 markings/sec, 265 secs
lola: 1860683 markings, 5123481 edges, 6857 markings/sec, 270 secs
lola: 1889631 markings, 5226313 edges, 5790 markings/sec, 275 secs
lola: 1918572 markings, 5329124 edges, 5788 markings/sec, 280 secs
lola: 1948471 markings, 5435089 edges, 5980 markings/sec, 285 secs
lola: 1974356 markings, 5549404 edges, 5177 markings/sec, 290 secs
lola: 2001067 markings, 5663714 edges, 5342 markings/sec, 295 secs
lola: 2026800 markings, 5782158 edges, 5147 markings/sec, 300 secs
lola: 2051118 markings, 5894040 edges, 4864 markings/sec, 305 secs
lola: 2078714 markings, 5982263 edges, 5519 markings/sec, 310 secs
lola: 2117926 markings, 6065536 edges, 7842 markings/sec, 315 secs
lola: 2158905 markings, 6146219 edges, 8196 markings/sec, 320 secs
lola: 2197459 markings, 6234272 edges, 7711 markings/sec, 325 secs
lola: 2238556 markings, 6315346 edges, 8219 markings/sec, 330 secs
lola: 2278665 markings, 6396016 edges, 8022 markings/sec, 335 secs
lola: 2320027 markings, 6476698 edges, 8272 markings/sec, 340 secs
lola: 2361298 markings, 6558116 edges, 8254 markings/sec, 345 secs
lola: 2392041 markings, 6659921 edges, 6149 markings/sec, 350 secs
lola: 2422115 markings, 6767263 edges, 6015 markings/sec, 355 secs
lola: 2452339 markings, 6874441 edges, 6045 markings/sec, 360 secs
lola: 2481089 markings, 6983931 edges, 5750 markings/sec, 365 secs
lola: 2507277 markings, 7100720 edges, 5238 markings/sec, 370 secs
lola: 2534275 markings, 7215635 edges, 5400 markings/sec, 375 secs
lola: 2560678 markings, 7330609 edges, 5281 markings/sec, 380 secs
lola: 2586648 markings, 7443742 edges, 5194 markings/sec, 385 secs
lola: 2621346 markings, 7530671 edges, 6940 markings/sec, 390 secs
lola: 2662382 markings, 7611641 edges, 8207 markings/sec, 395 secs
lola: 2700819 markings, 7699270 edges, 7687 markings/sec, 400 secs
lola: 2741948 markings, 7780359 edges, 8226 markings/sec, 405 secs
lola: 2782052 markings, 7861045 edges, 8021 markings/sec, 410 secs
lola: 2823301 markings, 7941478 edges, 8250 markings/sec, 415 secs
lola: 2861851 markings, 8018276 edges, 7710 markings/sec, 420 secs
lola: 2898328 markings, 8108169 edges, 7295 markings/sec, 425 secs
lola: 2928321 markings, 8214385 edges, 5999 markings/sec, 430 secs
lola: 2958602 markings, 8321446 edges, 6056 markings/sec, 435 secs
lola: 2988818 markings, 8429359 edges, 6043 markings/sec, 440 secs
lola: 3015042 markings, 8545196 edges, 5245 markings/sec, 445 secs
lola: 3042006 markings, 8659651 edges, 5393 markings/sec, 450 secs
lola: 3068099 markings, 8778315 edges, 5219 markings/sec, 455 secs
lola: 3093424 markings, 8894641 edges, 5065 markings/sec, 460 secs
lola: 3123343 markings, 8990134 edges, 5984 markings/sec, 465 secs
lola: 3164006 markings, 9072700 edges, 8133 markings/sec, 470 secs
lola: 3203407 markings, 9153038 edges, 7880 markings/sec, 475 secs
lola: 3242083 markings, 9240132 edges, 7735 markings/sec, 480 secs
lola: 3283132 markings, 9320406 edges, 8210 markings/sec, 485 secs
lola: 3324192 markings, 9401317 edges, 8212 markings/sec, 490 secs
lola: 3363652 markings, 9480008 edges, 7892 markings/sec, 495 secs
lola: 3403686 markings, 9558710 edges, 8007 markings/sec, 500 secs
lola: 3434103 markings, 9659986 edges, 6083 markings/sec, 505 secs
lola: 3463759 markings, 9765809 edges, 5931 markings/sec, 510 secs
lola: 3493622 markings, 9871753 edges, 5973 markings/sec, 515 secs
lola: 3522053 markings, 9980013 edges, 5686 markings/sec, 520 secs
lola: 3547210 markings, 10092215 edges, 5031 markings/sec, 525 secs
lola: 3573955 markings, 10205621 edges, 5349 markings/sec, 530 secs
lola: 3599757 markings, 10321280 edges, 5160 markings/sec, 535 secs
lola: 3625277 markings, 10432969 edges, 5104 markings/sec, 540 secs
lola: 3658878 markings, 10521097 edges, 6720 markings/sec, 545 secs
lola: 3698681 markings, 10600471 edges, 7961 markings/sec, 550 secs
lola: 3736519 markings, 10687702 edges, 7568 markings/sec, 555 secs
lola: 3777647 markings, 10767925 edges, 8226 markings/sec, 560 secs
lola: 3818371 markings, 10847922 edges, 8145 markings/sec, 565 secs
lola: 3858280 markings, 10927568 edges, 7982 markings/sec, 570 secs
lola: 3898965 markings, 11007780 edges, 8137 markings/sec, 575 secs
lola: 3936223 markings, 11093452 edges, 7452 markings/sec, 580 secs
lola: 3965730 markings, 11198171 edges, 5901 markings/sec, 585 secs
lola: 3995490 markings, 11303811 edges, 5952 markings/sec, 590 secs
lola: 4025368 markings, 11409680 edges, 5976 markings/sec, 595 secs
lola: 4051741 markings, 11522462 edges, 5275 markings/sec, 600 secs
lola: 4078125 markings, 11634203 edges, 5277 markings/sec, 605 secs
lola: 4104653 markings, 11747662 edges, 5306 markings/sec, 610 secs
lola: 4131159 markings, 11855954 edges, 5301 markings/sec, 615 secs
lola: 4157255 markings, 11965895 edges, 5219 markings/sec, 620 secs
lola: 4194313 markings, 12051108 edges, 7412 markings/sec, 625 secs
lola: 4235636 markings, 12131686 edges, 8265 markings/sec, 630 secs
lola: 4274055 markings, 12219407 edges, 7684 markings/sec, 635 secs
lola: 4315249 markings, 12300562 edges, 8239 markings/sec, 640 secs
lola: 4356492 markings, 12381430 edges, 8249 markings/sec, 645 secs
lola: 4396387 markings, 12461261 edges, 7979 markings/sec, 650 secs
lola: 4437208 markings, 12541761 edges, 8164 markings/sec, 655 secs
lola: 4469753 markings, 12637416 edges, 6509 markings/sec, 660 secs
lola: 4499491 markings, 12743332 edges, 5948 markings/sec, 665 secs
lola: 4529334 markings, 12849342 edges, 5969 markings/sec, 670 secs
lola: 4558769 markings, 12954885 edges, 5887 markings/sec, 675 secs
lola: 4584443 markings, 13070900 edges, 5135 markings/sec, 680 secs
lola: 4611144 markings, 13184379 edges, 5340 markings/sec, 685 secs
lola: 4636894 markings, 13300944 edges, 5150 markings/sec, 690 secs
lola: 4661941 markings, 13414863 edges, 5009 markings/sec, 695 secs
lola: 4693315 markings, 13506170 edges, 6275 markings/sec, 700 secs
lola: 4733302 markings, 13586181 edges, 7997 markings/sec, 705 secs
lola: 4772731 markings, 13669111 edges, 7886 markings/sec, 710 secs
lola: 4811915 markings, 13752499 edges, 7837 markings/sec, 715 secs
lola: 4852517 markings, 13832563 edges, 8120 markings/sec, 720 secs
lola: 4892186 markings, 13912260 edges, 7934 markings/sec, 725 secs
lola: 4933032 markings, 13991941 edges, 8169 markings/sec, 730 secs
lola: 4972544 markings, 14073047 edges, 7902 markings/sec, 735 secs
lola: 5002029 markings, 14177662 edges, 5897 markings/sec, 740 secs
lola: 5031861 markings, 14283372 edges, 5966 markings/sec, 745 secs
lola: 5061786 markings, 14389423 edges, 5985 markings/sec, 750 secs
lola: 5089378 markings, 14498876 edges, 5518 markings/sec, 755 secs
lola: 5115414 markings, 14614158 edges, 5207 markings/sec, 760 secs
lola: 5142189 markings, 14727704 edges, 5355 markings/sec, 765 secs
lola: 5168518 markings, 14839178 edges, 5266 markings/sec, 770 secs
lola: 5194306 markings, 14950447 edges, 5158 markings/sec, 775 secs
lola: 5230021 markings, 15036524 edges, 7143 markings/sec, 780 secs
lola: 5269723 markings, 15115907 edges, 7940 markings/sec, 785 secs
lola: 5307632 markings, 15203007 edges, 7582 markings/sec, 790 secs
lola: 5348398 markings, 15282879 edges, 8153 markings/sec, 795 secs
lola: 5388812 markings, 15362539 edges, 8083 markings/sec, 800 secs
lola: 5428793 markings, 15442004 edges, 7996 markings/sec, 805 secs
lola: 5469525 markings, 15522173 edges, 8146 markings/sec, 810 secs
lola: 5504612 markings, 15611859 edges, 7017 markings/sec, 815 secs
lola: 5534076 markings, 15716405 edges, 5893 markings/sec, 820 secs
lola: 5563860 markings, 15822172 edges, 5957 markings/sec, 825 secs
lola: 5593686 markings, 15928420 edges, 5965 markings/sec, 830 secs
lola: 5619637 markings, 16042175 edges, 5190 markings/sec, 835 secs
lola: 5646269 markings, 16155410 edges, 5326 markings/sec, 840 secs
lola: 5672110 markings, 16272390 edges, 5168 markings/sec, 845 secs
lola: 5697070 markings, 16386390 edges, 4992 markings/sec, 850 secs
lola: 5726101 markings, 16482782 edges, 5806 markings/sec, 855 secs
lola: 5765048 markings, 16565044 edges, 7789 markings/sec, 860 secs
lola: 5805603 markings, 16644927 edges, 8111 markings/sec, 865 secs
lola: 5843774 markings, 16732139 edges, 7634 markings/sec, 870 secs
lola: 5884564 markings, 16812137 edges, 8158 markings/sec, 875 secs
lola: 5924352 markings, 16891630 edges, 7958 markings/sec, 880 secs
lola: 5965076 markings, 16971920 edges, 8145 markings/sec, 885 secs
lola: 6005132 markings, 17052006 edges, 8011 markings/sec, 890 secs
lola: 6036530 markings, 17150973 edges, 6280 markings/sec, 895 secs
lola: 6066328 markings, 17256780 edges, 5960 markings/sec, 900 secs
lola: 6096216 markings, 17362685 edges, 5978 markings/sec, 905 secs
lola: 6125033 markings, 17469864 edges, 5763 markings/sec, 910 secs
lola: 6150863 markings, 17585257 edges, 5166 markings/sec, 915 secs
lola: 6177553 markings, 17698639 edges, 5338 markings/sec, 920 secs
lola: 6203030 markings, 17815378 edges, 5095 markings/sec, 925 secs
lola: 6228562 markings, 17926800 edges, 5106 markings/sec, 930 secs
lola: 6260648 markings, 18015740 edges, 6417 markings/sec, 935 secs
lola: 6301899 markings, 18096189 edges, 8250 markings/sec, 940 secs
lola: 6340464 markings, 18182993 edges, 7713 markings/sec, 945 secs
lola: 6381477 markings, 18265020 edges, 8203 markings/sec, 950 secs
lola: 6422643 markings, 18345669 edges, 8233 markings/sec, 955 secs
lola: 6462895 markings, 18426218 edges, 8050 markings/sec, 960 secs
lola: 6504073 markings, 18507459 edges, 8236 markings/sec, 965 secs
lola: 6541636 markings, 18594496 edges, 7513 markings/sec, 970 secs
lola: 6571174 markings, 18699304 edges, 5908 markings/sec, 975 secs
lola: 6601345 markings, 18806106 edges, 6034 markings/sec, 980 secs
lola: 6631310 markings, 18912257 edges, 5993 markings/sec, 985 secs
lola: 6657756 markings, 19025092 edges, 5289 markings/sec, 990 secs
lola: 6684322 markings, 19138177 edges, 5313 markings/sec, 995 secs
lola: 6711014 markings, 19252189 edges, 5338 markings/sec, 1000 secs
lola: 6737257 markings, 19361572 edges, 5249 markings/sec, 1005 secs
lola: 6763568 markings, 19470037 edges, 5262 markings/sec, 1010 secs
lola: 6801774 markings, 19553511 edges, 7641 markings/sec, 1015 secs
lola: 6841533 markings, 19633023 edges, 7952 markings/sec, 1020 secs
lola: 6879419 markings, 19720045 edges, 7577 markings/sec, 1025 secs
lola: 6920217 markings, 19799985 edges, 8160 markings/sec, 1030 secs
lola: 6960885 markings, 19879870 edges, 8134 markings/sec, 1035 secs
lola: 7000745 markings, 19959408 edges, 7972 markings/sec, 1040 secs
lola: 7041516 markings, 20039790 edges, 8154 markings/sec, 1045 secs
lola: 7074441 markings, 20135694 edges, 6585 markings/sec, 1050 secs
lola: 7104506 markings, 20242975 edges, 6013 markings/sec, 1055 secs
lola: 7134718 markings, 20350165 edges, 6042 markings/sec, 1060 secs
lola: 7164394 markings, 20456510 edges, 5935 markings/sec, 1065 secs
lola: 7188749 markings, 20568518 edges, 4871 markings/sec, 1070 secs
lola: 7215575 markings, 20682157 edges, 5365 markings/sec, 1075 secs
lola: 7241718 markings, 20799574 edges, 5229 markings/sec, 1080 secs
lola: 7266190 markings, 20912069 edges, 4894 markings/sec, 1085 secs
lola: 7296012 markings, 21000551 edges, 5964 markings/sec, 1090 secs
lola: 7335366 markings, 21079112 edges, 7871 markings/sec, 1095 secs
lola: 7372977 markings, 21158731 edges, 7522 markings/sec, 1100 secs
lola: 7412601 markings, 21242745 edges, 7925 markings/sec, 1105 secs
lola: 7451503 markings, 21320352 edges, 7780 markings/sec, 1110 secs
lola: 7492077 markings, 21400217 edges, 8115 markings/sec, 1115 secs
lola: 7531713 markings, 21479402 edges, 7927 markings/sec, 1120 secs
lola: 7572474 markings, 21559484 edges, 8152 markings/sec, 1125 secs
lola: 7602410 markings, 21660912 edges, 5987 markings/sec, 1130 secs
lola: 7632177 markings, 21766540 edges, 5953 markings/sec, 1135 secs
lola: 7661936 markings, 21872231 edges, 5952 markings/sec, 1140 secs
lola: 7690208 markings, 21980258 edges, 5654 markings/sec, 1145 secs
lola: 7716077 markings, 22094734 edges, 5174 markings/sec, 1150 secs
lola: 7742697 markings, 22208351 edges, 5324 markings/sec, 1155 secs
lola: 7768562 markings, 22322673 edges, 5173 markings/sec, 1160 secs
lola: 7793990 markings, 22434421 edges, 5086 markings/sec, 1165 secs
lola: 7827598 markings, 22521927 edges, 6722 markings/sec, 1170 secs
lola: 7867254 markings, 22601576 edges, 7931 markings/sec, 1175 secs
lola: 7905855 markings, 22688222 edges, 7720 markings/sec, 1180 secs
lola: 7945946 markings, 22767696 edges, 8018 markings/sec, 1185 secs
lola: 7986532 markings, 22847576 edges, 8117 markings/sec, 1190 secs
lola: 8026212 markings, 22926647 edges, 7936 markings/sec, 1195 secs
lola: 8066886 markings, 23006781 edges, 8135 markings/sec, 1200 secs
lola: 8104063 markings, 23092129 edges, 7435 markings/sec, 1205 secs
lola: 8133505 markings, 23196648 edges, 5888 markings/sec, 1210 secs
lola: 8163247 markings, 23302252 edges, 5948 markings/sec, 1215 secs
lola: 8193126 markings, 23408135 edges, 5976 markings/sec, 1220 secs
lola: 8219608 markings, 23521000 edges, 5296 markings/sec, 1225 secs
lola: 8246193 markings, 23634530 edges, 5317 markings/sec, 1230 secs
lola: 8273025 markings, 23748428 edges, 5366 markings/sec, 1235 secs
lola: 8299428 markings, 23857535 edges, 5281 markings/sec, 1240 secs
lola: 8325668 markings, 23966418 edges, 5248 markings/sec, 1245 secs
lola: 8362555 markings, 24050465 edges, 7377 markings/sec, 1250 secs
lola: 8403256 markings, 24130108 edges, 8140 markings/sec, 1255 secs
lola: 8441253 markings, 24216808 edges, 7599 markings/sec, 1260 secs
lola: 8481857 markings, 24296881 edges, 8121 markings/sec, 1265 secs
lola: 8521489 markings, 24376445 edges, 7926 markings/sec, 1270 secs
lola: 8562149 markings, 24455819 edges, 8132 markings/sec, 1275 secs
lola: 8602998 markings, 24535880 edges, 8170 markings/sec, 1280 secs
lola: 8635805 markings, 24630123 edges, 6561 markings/sec, 1285 secs
lola: 8665504 markings, 24735444 edges, 5940 markings/sec, 1290 secs
lola: 8695348 markings, 24841199 edges, 5969 markings/sec, 1295 secs
lola: 8724919 markings, 24946561 edges, 5914 markings/sec, 1300 secs
lola: 8750530 markings, 25062113 edges, 5122 markings/sec, 1305 secs
lola: 8777143 markings, 25175342 edges, 5323 markings/sec, 1310 secs
lola: 8802970 markings, 25291667 edges, 5165 markings/sec, 1315 secs
lola: 8827666 markings, 25406929 edges, 4939 markings/sec, 1320 secs
lola: 8857969 markings, 25499089 edges, 6061 markings/sec, 1325 secs
lola: 8898369 markings, 25578787 edges, 8080 markings/sec, 1330 secs
lola: 8937114 markings, 25662177 edges, 7749 markings/sec, 1335 secs
lola: 8976895 markings, 25745425 edges, 7956 markings/sec, 1340 secs
lola: 9016438 markings, 25824962 edges, 7909 markings/sec, 1345 secs
lola: 9057200 markings, 25904427 edges, 8152 markings/sec, 1350 secs
lola: 9098000 markings, 25984354 edges, 8160 markings/sec, 1355 secs
lola: 9137802 markings, 26063979 edges, 7960 markings/sec, 1360 secs
lola: 9167397 markings, 26167395 edges, 5919 markings/sec, 1365 secs
lola: 9197175 markings, 26272931 edges, 5956 markings/sec, 1370 secs
lola: 9227010 markings, 26378785 edges, 5967 markings/sec, 1375 secs
lola: 9255009 markings, 26487747 edges, 5600 markings/sec, 1380 secs
lola: 9280947 markings, 26602559 edges, 5188 markings/sec, 1385 secs
lola: 9307493 markings, 26716335 edges, 5309 markings/sec, 1390 secs
lola: 9333662 markings, 26829334 edges, 5234 markings/sec, 1395 secs
lola: 9359281 markings, 26941209 edges, 5124 markings/sec, 1400 secs
lola: 9393364 markings, 27027296 edges, 6817 markings/sec, 1405 secs
lola: 9433355 markings, 27105749 edges, 7998 markings/sec, 1410 secs
lola: 9471942 markings, 27194012 edges, 7717 markings/sec, 1415 secs
lola: 9513352 markings, 27275309 edges, 8282 markings/sec, 1420 secs
lola: 9553759 markings, 27356086 edges, 8081 markings/sec, 1425 secs
lola: 9595085 markings, 27437629 edges, 8265 markings/sec, 1430 secs
lola: 9636599 markings, 27519130 edges, 8303 markings/sec, 1435 secs
lola: 9672373 markings, 27610316 edges, 7155 markings/sec, 1440 secs
lola: 9702550 markings, 27717469 edges, 6035 markings/sec, 1445 secs
lola: 9732891 markings, 27825530 edges, 6068 markings/sec, 1450 secs
lola: 9763359 markings, 27933330 edges, 6094 markings/sec, 1455 secs
lola: 9789554 markings, 28049609 edges, 5239 markings/sec, 1460 secs
lola: 9816627 markings, 28165508 edges, 5415 markings/sec, 1465 secs
lola: 9842952 markings, 28284151 edges, 5265 markings/sec, 1470 secs
lola: 9868085 markings, 28400873 edges, 5027 markings/sec, 1475 secs
lola: 9898218 markings, 28495235 edges, 6027 markings/sec, 1480 secs
lola: 9939628 markings, 28577050 edges, 8282 markings/sec, 1485 secs
lola: 9979075 markings, 28661900 edges, 7889 markings/sec, 1490 secs
lola: 10019614 markings, 28746737 edges, 8108 markings/sec, 1495 secs
lola: 10061027 markings, 28827948 edges, 8283 markings/sec, 1500 secs
lola: 10101410 markings, 28908821 edges, 8077 markings/sec, 1505 secs
lola: 10142562 markings, 28989933 edges, 8230 markings/sec, 1510 secs
lola: 10182565 markings, 29072178 edges, 8001 markings/sec, 1515 secs
lola: 10212685 markings, 29178845 edges, 6024 markings/sec, 1520 secs
lola: 10243000 markings, 29286395 edges, 6063 markings/sec, 1525 secs
lola: 10272201 markings, 29389882 edges, 5840 markings/sec, 1530 secs
lola: 10299736 markings, 29501345 edges, 5507 markings/sec, 1535 secs
lola: 10326343 markings, 29616691 edges, 5321 markings/sec, 1540 secs
lola: 10353142 markings, 29731798 edges, 5360 markings/sec, 1545 secs
lola: 10379419 markings, 29841555 edges, 5255 markings/sec, 1550 secs
lola: 10405150 markings, 29951923 edges, 5146 markings/sec, 1555 secs
lola: 10440740 markings, 30037287 edges, 7118 markings/sec, 1560 secs
lola: 10480499 markings, 30116766 edges, 7952 markings/sec, 1565 secs
lola: 10518536 markings, 30203831 edges, 7607 markings/sec, 1570 secs
lola: 10559208 markings, 30283461 edges, 8134 markings/sec, 1575 secs
lola: 10599867 markings, 30363314 edges, 8132 markings/sec, 1580 secs
lola: 10639612 markings, 30442646 edges, 7949 markings/sec, 1585 secs
lola: 10680356 markings, 30522996 edges, 8149 markings/sec, 1590 secs
lola: 10715241 markings, 30613338 edges, 6977 markings/sec, 1595 secs
lola: 10744832 markings, 30718598 edges, 5918 markings/sec, 1600 secs
lola: 10774615 markings, 30824413 edges, 5957 markings/sec, 1605 secs
lola: 10804496 markings, 30930317 edges, 5976 markings/sec, 1610 secs
lola: 10830191 markings, 31044488 edges, 5139 markings/sec, 1615 secs
lola: 10856798 markings, 31157642 edges, 5321 markings/sec, 1620 secs
lola: 10882658 markings, 31274356 edges, 5172 markings/sec, 1625 secs
lola: 10907408 markings, 31389494 edges, 4950 markings/sec, 1630 secs
lola: 10936759 markings, 31483887 edges, 5870 markings/sec, 1635 secs
lola: 10974572 markings, 31563044 edges, 7563 markings/sec, 1640 secs
lola: 11015694 markings, 31644005 edges, 8224 markings/sec, 1645 secs
lola: 11054343 markings, 31732247 edges, 7730 markings/sec, 1650 secs
lola: 11095598 markings, 31813654 edges, 8251 markings/sec, 1655 secs
lola: 11136164 markings, 31894701 edges, 8113 markings/sec, 1660 secs
lola: 11175716 markings, 31972193 edges, 7910 markings/sec, 1665 secs
lola: 11216988 markings, 32053114 edges, 8254 markings/sec, 1670 secs
lola: 11247677 markings, 32153959 edges, 6138 markings/sec, 1675 secs
lola: 11277794 markings, 32260580 edges, 6023 markings/sec, 1680 secs
lola: 11307867 markings, 32367379 edges, 6015 markings/sec, 1685 secs
lola: 11336627 markings, 32475712 edges, 5752 markings/sec, 1690 secs
lola: 11361419 markings, 32587754 edges, 4958 markings/sec, 1695 secs
lola: 11387991 markings, 32701286 edges, 5314 markings/sec, 1700 secs
lola: 11413649 markings, 32816580 edges, 5132 markings/sec, 1705 secs
lola: 11439056 markings, 32927675 edges, 5081 markings/sec, 1710 secs
lola: 11471225 markings, 33015311 edges, 6434 markings/sec, 1715 secs
lola: 11511772 markings, 33094875 edges, 8109 markings/sec, 1720 secs
lola: 11548754 markings, 33175347 edges, 7396 markings/sec, 1725 secs
lola: 11588871 markings, 33258018 edges, 8023 markings/sec, 1730 secs
lola: 11628714 markings, 33337751 edges, 7969 markings/sec, 1735 secs
lola: 11659379 markings, 33397743 edges, 6133 markings/sec, 1740 secs
lola: 11699764 markings, 33478898 edges, 8077 markings/sec, 1745 secs
lola: 11741314 markings, 33560396 edges, 8310 markings/sec, 1750 secs
lola: 11762977 markings, 33633398 edges, 4333 markings/sec, 1755 secs
lola: 11793281 markings, 33741273 edges, 6061 markings/sec, 1760 secs
lola: 11823679 markings, 33849201 edges, 6080 markings/sec, 1765 secs
lola: 11853712 markings, 33956745 edges, 6007 markings/sec, 1770 secs
lola: 11879674 markings, 34075495 edges, 5192 markings/sec, 1775 secs
lola: 11905888 markings, 34187562 edges, 5243 markings/sec, 1780 secs
lola: 11931657 markings, 34303340 edges, 5154 markings/sec, 1785 secs
lola: 11956639 markings, 34415698 edges, 4996 markings/sec, 1790 secs
lola: 11987884 markings, 34505889 edges, 6249 markings/sec, 1795 secs
lola: 12028434 markings, 34585798 edges, 8110 markings/sec, 1800 secs
lola: 12067316 markings, 34668579 edges, 7776 markings/sec, 1805 secs
lola: 12106298 markings, 34751801 edges, 7796 markings/sec, 1810 secs
lola: 12146855 markings, 34831804 edges, 8111 markings/sec, 1815 secs
lola: 12186448 markings, 34911297 edges, 7919 markings/sec, 1820 secs
lola: 12227421 markings, 34991254 edges, 8195 markings/sec, 1825 secs
lola: 12266924 markings, 35072977 edges, 7901 markings/sec, 1830 secs
lola: 12296257 markings, 35177114 edges, 5867 markings/sec, 1835 secs
lola: 12325944 markings, 35282342 edges, 5937 markings/sec, 1840 secs
lola: 12355730 markings, 35387931 edges, 5957 markings/sec, 1845 secs
lola: 12382654 markings, 35494002 edges, 5385 markings/sec, 1850 secs
lola: 12407702 markings, 35605380 edges, 5010 markings/sec, 1855 secs
lola: 12434304 markings, 35718500 edges, 5320 markings/sec, 1860 secs
lola: 12460355 markings, 35830657 edges, 5210 markings/sec, 1865 secs
lola: 12485832 markings, 35942956 edges, 5095 markings/sec, 1870 secs
lola: 12520386 markings, 36028773 edges, 6911 markings/sec, 1875 secs
lola: 12560963 markings, 36108783 edges, 8115 markings/sec, 1880 secs
lola: 12598850 markings, 36195259 edges, 7577 markings/sec, 1885 secs
lola: 12639595 markings, 36275078 edges, 8149 markings/sec, 1890 secs
lola: 12679219 markings, 36354346 edges, 7925 markings/sec, 1895 secs
lola: 12719786 markings, 36434333 edges, 8113 markings/sec, 1900 secs
lola: 12759469 markings, 36513755 edges, 7937 markings/sec, 1905 secs
lola: time limit reached - aborting
lola:
preliminary result: 1 1 1 1 1 1 unknown 1 1 1 1 unknown unknown 1 1 1
lola:
preliminary result: 1 1 1 1 1 1 unknown 1 1 1 1 unknown unknown 1 1 1
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 1 1 1 1 1 unknown 1 1 1 1 unknown unknown 1 1 1
lola: memory consumption: 7944316 KB
lola: time consumption: 3569 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 1 1 1 1 1 unknown 1 1 1 1 unknown unknown 1 1 1
lola: memory consumption: 7944508 KB
lola: time consumption: 3569 seconds

BK_STOP 1526688525737

--------------------
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="FlexibleBarrier-PT-18b"
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/FlexibleBarrier-PT-18b.tgz
mv FlexibleBarrier-PT-18b 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 FlexibleBarrier-PT-18b, 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 r088-blw7-152649998200205"
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 ;