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.1M
-rw-r--r-- 1 mcc users 4.0K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 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.6K 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 11K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 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.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 4 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 945K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is FlexibleBarrier-PT-16b, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r088-blw7-152649998200191
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1526675523946

info: Time: 3600 - MCC
===========================================================================================
prep: translating FlexibleBarrier-PT-16b 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-16b formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ FlexibleBarrier-PT-16b @ 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: 7473/65536 symbol table entries, 1468 collisions
lola: preprocessing...
lola: Size of bit vector: 3472
lola: finding significant places
lola: 3472 places, 4001 transitions, 3454 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 4035 transition conflict sets
lola: TASK
lola: reading formula from FlexibleBarrier-PT-16b-UpperBounds.task
lola: MAX(p1521) : MAX(p2316) : MAX(p1529) : MAX(p68) : MAX(p3078) : MAX(p2770) : MAX(p770) : MAX(p3136) : MAX(p1750) : MAX(p422) : MAX(p403) : MAX(p2046) : MAX(p212) : MAX(p3366) : MAX(p1566) : MAX(p771)
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(p1521)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1521)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-16b-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: 33 markings, 32 edges
lola: ========================================

FORMULA FlexibleBarrier-PT-16b-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(p2316)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2316)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-16b-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

FORMULA FlexibleBarrier-PT-16b-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(p1529)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1529)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-16b-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: ========================================
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: 27 markings, 26 edges
lola: ========================================

FORMULA FlexibleBarrier-PT-16b-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(p68)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p68)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-16b-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: 37855 markings, 93224 edges, 7571 markings/sec, 0 secs
lola: 83676 markings, 208248 edges, 9164 markings/sec, 5 secs
lola: 129658 markings, 324072 edges, 9196 markings/sec, 10 secs
lola: 171794 markings, 426677 edges, 8427 markings/sec, 15 secs
lola: 217576 markings, 541512 edges, 9156 markings/sec, 20 secs
lola: 256413 markings, 667978 edges, 7767 markings/sec, 25 secs
lola: 291854 markings, 800408 edges, 7088 markings/sec, 30 secs
lola: 327597 markings, 935929 edges, 7149 markings/sec, 35 secs
lola: 358371 markings, 1094387 edges, 6155 markings/sec, 40 secs
lola: 388107 markings, 1255179 edges, 5947 markings/sec, 45 secs
lola: 416439 markings, 1412232 edges, 5666 markings/sec, 50 secs
lola: 454857 markings, 1537324 edges, 7684 markings/sec, 55 secs
lola: 500183 markings, 1650654 edges, 9065 markings/sec, 60 secs
lola: 545862 markings, 1764665 edges, 9136 markings/sec, 65 secs
lola: 587836 markings, 1872250 edges, 8395 markings/sec, 70 secs
lola: 633420 markings, 1986300 edges, 9117 markings/sec, 75 secs
lola: 676506 markings, 2100107 edges, 8617 markings/sec, 80 secs
lola: 711325 markings, 2232641 edges, 6964 markings/sec, 85 secs
lola: 746212 markings, 2363339 edges, 6977 markings/sec, 90 secs
lola: 778548 markings, 2506679 edges, 6467 markings/sec, 95 secs
lola: 808235 markings, 2659791 edges, 5937 markings/sec, 100 secs
lola: 834036 markings, 2796565 edges, 5160 markings/sec, 105 secs
lola: 863411 markings, 2946785 edges, 5875 markings/sec, 110 secs
lola: 906651 markings, 3055664 edges, 8648 markings/sec, 115 secs
lola: 949654 markings, 3164224 edges, 8601 markings/sec, 120 secs
lola: 994598 markings, 3275907 edges, 8989 markings/sec, 125 secs
lola: 1039770 markings, 3389625 edges, 9034 markings/sec, 130 secs
lola: 1080852 markings, 3510709 edges, 8216 markings/sec, 135 secs
lola: 1115198 markings, 3641645 edges, 6869 markings/sec, 140 secs
lola: 1149530 markings, 3772902 edges, 6866 markings/sec, 145 secs
lola: 1181305 markings, 3921232 edges, 6355 markings/sec, 150 secs
lola: 1211029 markings, 4075704 edges, 5945 markings/sec, 155 secs
lola: 1239984 markings, 4225418 edges, 5791 markings/sec, 160 secs
lola: 1284814 markings, 4339140 edges, 8966 markings/sec, 165 secs
lola: 1327665 markings, 4447492 edges, 8570 markings/sec, 170 secs
lola: 1371823 markings, 4559488 edges, 8832 markings/sec, 175 secs
lola: 1416885 markings, 4673924 edges, 9012 markings/sec, 180 secs
lola: 1457201 markings, 4796641 edges, 8063 markings/sec, 185 secs
lola: 1491583 markings, 4927741 edges, 6876 markings/sec, 190 secs
lola: 1526164 markings, 5059001 edges, 6916 markings/sec, 195 secs
lola: 1557445 markings, 5209583 edges, 6256 markings/sec, 200 secs
lola: 1587088 markings, 5362610 edges, 5929 markings/sec, 205 secs
lola: 1615389 markings, 5504944 edges, 5660 markings/sec, 210 secs
lola: 1659766 markings, 5619346 edges, 8875 markings/sec, 215 secs
lola: 1704772 markings, 5731147 edges, 9001 markings/sec, 220 secs
lola: 1744368 markings, 5830924 edges, 7919 markings/sec, 225 secs
lola: 1789407 markings, 5945992 edges, 9008 markings/sec, 230 secs
lola: 1830029 markings, 6068338 edges, 8124 markings/sec, 235 secs
lola: 1864283 markings, 6199345 edges, 6851 markings/sec, 240 secs
lola: 1898877 markings, 6330848 edges, 6919 markings/sec, 245 secs
lola: 1930328 markings, 6481354 edges, 6290 markings/sec, 250 secs
lola: 1959991 markings, 6634408 edges, 5933 markings/sec, 255 secs
lola: 1989806 markings, 6783672 edges, 5963 markings/sec, 260 secs
lola: 2035386 markings, 6896420 edges, 9116 markings/sec, 265 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 731284 KB
lola: time consumption: 279 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p3078)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p3078)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-16b-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: 7 markings, 6 edges
lola: ========================================

FORMULA FlexibleBarrier-PT-16b-UpperBounds-4 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 298 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p2770)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2770)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-16b-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: 35346 markings, 88744 edges, 7069 markings/sec, 0 secs
lola: 80114 markings, 215721 edges, 8954 markings/sec, 5 secs
lola: 127636 markings, 337417 edges, 9504 markings/sec, 10 secs
lola: 172868 markings, 464501 edges, 9046 markings/sec, 15 secs
lola: 220344 markings, 588263 edges, 9495 markings/sec, 20 secs
lola: 266258 markings, 716225 edges, 9183 markings/sec, 25 secs
lola: 306969 markings, 825847 edges, 8142 markings/sec, 30 secs
lola: 354647 markings, 949884 edges, 9536 markings/sec, 35 secs
lola: 397245 markings, 1085640 edges, 8520 markings/sec, 40 secs
lola: 431737 markings, 1238199 edges, 6898 markings/sec, 45 secs
lola: 466604 markings, 1393594 edges, 6973 markings/sec, 50 secs
lola: 501878 markings, 1549406 edges, 7055 markings/sec, 55 secs
lola: 531763 markings, 1714953 edges, 5977 markings/sec, 60 secs
lola: 560547 markings, 1885012 edges, 5757 markings/sec, 65 secs
lola: 589336 markings, 2055060 edges, 5758 markings/sec, 70 secs
lola: 620403 markings, 2217554 edges, 6213 markings/sec, 75 secs
lola: 662957 markings, 2340758 edges, 8511 markings/sec, 80 secs
lola: 708328 markings, 2466063 edges, 9074 markings/sec, 85 secs
lola: 753325 markings, 2592032 edges, 8999 markings/sec, 90 secs
lola: 799172 markings, 2716328 edges, 9169 markings/sec, 95 secs
lola: 845405 markings, 2839457 edges, 9247 markings/sec, 100 secs
lola: 891186 markings, 2964339 edges, 9156 markings/sec, 105 secs
lola: 936424 markings, 3090708 edges, 9048 markings/sec, 110 secs
lola: 981278 markings, 3215584 edges, 8971 markings/sec, 115 secs
lola: 1019117 markings, 3358961 edges, 7568 markings/sec, 120 secs
lola: 1053263 markings, 3506091 edges, 6829 markings/sec, 125 secs
lola: 1086845 markings, 3654028 edges, 6716 markings/sec, 130 secs
lola: 1121001 markings, 3804848 edges, 6831 markings/sec, 135 secs
lola: 1153496 markings, 3962543 edges, 6499 markings/sec, 140 secs
lola: 1183357 markings, 4127988 edges, 5972 markings/sec, 145 secs
lola: 1207129 markings, 4309963 edges, 4754 markings/sec, 150 secs
lola: 1236652 markings, 4474339 edges, 5905 markings/sec, 155 secs
lola: 1280508 markings, 4600996 edges, 8771 markings/sec, 160 secs
lola: 1326706 markings, 4724980 edges, 9240 markings/sec, 165 secs
lola: 1372865 markings, 4848700 edges, 9232 markings/sec, 170 secs
lola: 1419090 markings, 4973023 edges, 9245 markings/sec, 175 secs
lola: 1465289 markings, 5097382 edges, 9240 markings/sec, 180 secs
lola: 1511500 markings, 5221447 edges, 9242 markings/sec, 185 secs
lola: 1557777 markings, 5345870 edges, 9255 markings/sec, 190 secs
lola: 1601325 markings, 5474957 edges, 8710 markings/sec, 195 secs
lola: 1635773 markings, 5625032 edges, 6890 markings/sec, 200 secs
lola: 1669062 markings, 5768626 edges, 6658 markings/sec, 205 secs
lola: 1703888 markings, 5917397 edges, 6965 markings/sec, 210 secs
lola: 1736368 markings, 6073339 edges, 6496 markings/sec, 215 secs
lola: 1768041 markings, 6234347 edges, 6335 markings/sec, 220 secs
lola: 1796294 markings, 6399482 edges, 5651 markings/sec, 225 secs
lola: 1822039 markings, 6580478 edges, 5149 markings/sec, 230 secs
lola: 1862340 markings, 6707967 edges, 8060 markings/sec, 235 secs
lola: 1906532 markings, 6827956 edges, 8838 markings/sec, 240 secs
lola: 1951814 markings, 6946658 edges, 9056 markings/sec, 245 secs
lola: 1997153 markings, 7067008 edges, 9068 markings/sec, 250 secs
lola: 2042476 markings, 7188088 edges, 9065 markings/sec, 255 secs
lola: 2088173 markings, 7310469 edges, 9139 markings/sec, 260 secs
lola: 2134172 markings, 7433826 edges, 9200 markings/sec, 265 secs
lola: 2179849 markings, 7556168 edges, 9135 markings/sec, 270 secs
lola: 2214796 markings, 7704346 edges, 6989 markings/sec, 275 secs
lola: 2248934 markings, 7850580 edges, 6828 markings/sec, 280 secs
lola: 2283331 markings, 8000653 edges, 6879 markings/sec, 285 secs
lola: 2316218 markings, 8151425 edges, 6577 markings/sec, 290 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 656692 KB
lola: time consumption: 579 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 299 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p770)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p770)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-16b-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-16b-UpperBounds-6 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 332 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p3136)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p3136)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-16b-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 28 markings, 27 edges
lola: ========================================

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

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

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

FORMULA FlexibleBarrier-PT-16b-UpperBounds-11 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 12 will run for 746 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-16b-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: 35741 markings, 89585 edges, 7148 markings/sec, 0 secs
lola: 80138 markings, 215831 edges, 8879 markings/sec, 5 secs
lola: 123671 markings, 330428 edges, 8707 markings/sec, 10 secs
lola: 168438 markings, 447004 edges, 8953 markings/sec, 15 secs
lola: 213419 markings, 573534 edges, 8996 markings/sec, 20 secs
lola: 260245 markings, 696243 edges, 9365 markings/sec, 25 secs
lola: 305946 markings, 822682 edges, 9140 markings/sec, 30 secs
lola: 352407 markings, 945984 edges, 9292 markings/sec, 35 secs
lola: 394477 markings, 1073171 edges, 8414 markings/sec, 40 secs
lola: 426661 markings, 1217495 edges, 6437 markings/sec, 45 secs
lola: 461208 markings, 1372617 edges, 6909 markings/sec, 50 secs
lola: 495767 markings, 1528572 edges, 6912 markings/sec, 55 secs
lola: 527063 markings, 1688268 edges, 6259 markings/sec, 60 secs
lola: 555647 markings, 1855491 edges, 5717 markings/sec, 65 secs
lola: 582897 markings, 2022389 edges, 5450 markings/sec, 70 secs
lola: 612801 markings, 2184850 edges, 5981 markings/sec, 75 secs
lola: 653293 markings, 2314638 edges, 8098 markings/sec, 80 secs
lola: 697575 markings, 2436981 edges, 8856 markings/sec, 85 secs
lola: 741185 markings, 2554193 edges, 8722 markings/sec, 90 secs
lola: 785796 markings, 2676542 edges, 8922 markings/sec, 95 secs
lola: 830460 markings, 2798898 edges, 8933 markings/sec, 100 secs
lola: 876077 markings, 2919790 edges, 9123 markings/sec, 105 secs
lola: 920006 markings, 3044985 edges, 8786 markings/sec, 110 secs
lola: 966061 markings, 3165390 edges, 9211 markings/sec, 115 secs
lola: 1006632 markings, 3297343 edges, 8114 markings/sec, 120 secs
lola: 1040711 markings, 3441910 edges, 6816 markings/sec, 125 secs
lola: 1075102 markings, 3586299 edges, 6878 markings/sec, 130 secs
lola: 1109869 markings, 3731850 edges, 6953 markings/sec, 135 secs
lola: 1140299 markings, 3883456 edges, 6086 markings/sec, 140 secs
lola: 1170200 markings, 4039122 edges, 5980 markings/sec, 145 secs
lola: 1198381 markings, 4194657 edges, 5636 markings/sec, 150 secs
lola: 1222358 markings, 4374505 edges, 4795 markings/sec, 155 secs
lola: 1263122 markings, 4504501 edges, 8153 markings/sec, 160 secs
lola: 1307337 markings, 4628367 edges, 8843 markings/sec, 165 secs
lola: 1352905 markings, 4749278 edges, 9114 markings/sec, 170 secs
lola: 1397916 markings, 4872112 edges, 9002 markings/sec, 175 secs
lola: 1442322 markings, 4996743 edges, 8881 markings/sec, 180 secs
lola: 1488411 markings, 5117326 edges, 9218 markings/sec, 185 secs
lola: 1532920 markings, 5242027 edges, 8902 markings/sec, 190 secs
lola: 1578721 markings, 5363715 edges, 9160 markings/sec, 195 secs
lola: 1618718 markings, 5497698 edges, 7999 markings/sec, 200 secs
lola: 1651958 markings, 5645964 edges, 6648 markings/sec, 205 secs
lola: 1685406 markings, 5794889 edges, 6690 markings/sec, 210 secs
lola: 1718873 markings, 5945953 edges, 6693 markings/sec, 215 secs
lola: 1748362 markings, 6098628 edges, 5898 markings/sec, 220 secs
lola: 1777310 markings, 6254739 edges, 5790 markings/sec, 225 secs
lola: 1799362 markings, 6438400 edges, 4410 markings/sec, 230 secs
lola: 1833632 markings, 6583235 edges, 6854 markings/sec, 235 secs
lola: 1878929 markings, 6701645 edges, 9059 markings/sec, 240 secs
lola: 1922708 markings, 6824343 edges, 8756 markings/sec, 245 secs
lola: 1967831 markings, 6944022 edges, 9025 markings/sec, 250 secs
lola: 2012092 markings, 7065990 edges, 8852 markings/sec, 255 secs
lola: 2056881 markings, 7186316 edges, 8958 markings/sec, 260 secs
lola: 2100502 markings, 7305857 edges, 8724 markings/sec, 265 secs
lola: 2145032 markings, 7428639 edges, 8906 markings/sec, 270 secs
lola: 2188819 markings, 7545506 edges, 8757 markings/sec, 275 secs
lola: 2222723 markings, 7687801 edges, 6781 markings/sec, 280 secs
lola: 2255970 markings, 7833982 edges, 6649 markings/sec, 285 secs
lola: 2289429 markings, 7981595 edges, 6692 markings/sec, 290 secs
lola: 2320157 markings, 8132571 edges, 6146 markings/sec, 295 secs
lola: 2349627 markings, 8282258 edges, 5894 markings/sec, 300 secs
lola: 2377884 markings, 8432732 edges, 5651 markings/sec, 305 secs
lola: 2399273 markings, 8619430 edges, 4278 markings/sec, 310 secs
lola: 2437382 markings, 8746797 edges, 7622 markings/sec, 315 secs
lola: 2481781 markings, 8863384 edges, 8880 markings/sec, 320 secs
lola: 2525280 markings, 8985702 edges, 8700 markings/sec, 325 secs
lola: 2569853 markings, 9103079 edges, 8915 markings/sec, 330 secs
lola: 2609868 markings, 9214147 edges, 8003 markings/sec, 335 secs
lola: 2653875 markings, 9332564 edges, 8801 markings/sec, 340 secs
lola: 2697841 markings, 9454067 edges, 8793 markings/sec, 345 secs
lola: 2742358 markings, 9572543 edges, 8903 markings/sec, 350 secs
lola: 2786186 markings, 9696438 edges, 8766 markings/sec, 355 secs
lola: 2819389 markings, 9840981 edges, 6641 markings/sec, 360 secs
lola: 2852379 markings, 9988019 edges, 6598 markings/sec, 365 secs
lola: 2885659 markings, 10136182 edges, 6656 markings/sec, 370 secs
lola: 2915809 markings, 10286318 edges, 6030 markings/sec, 375 secs
lola: 2946023 markings, 10437446 edges, 6043 markings/sec, 380 secs
lola: 2972798 markings, 10590990 edges, 5355 markings/sec, 385 secs
lola: 2996564 markings, 10768059 edges, 4753 markings/sec, 390 secs
lola: 3036995 markings, 10896088 edges, 8086 markings/sec, 395 secs
lola: 3081386 markings, 11017393 edges, 8878 markings/sec, 400 secs
lola: 3125425 markings, 11139453 edges, 8808 markings/sec, 405 secs
lola: 3170773 markings, 11259015 edges, 9070 markings/sec, 410 secs
lola: 3213500 markings, 11380138 edges, 8545 markings/sec, 415 secs
lola: 3259274 markings, 11499093 edges, 9155 markings/sec, 420 secs
lola: 3302888 markings, 11623618 edges, 8723 markings/sec, 425 secs
lola: 3348606 markings, 11743516 edges, 9144 markings/sec, 430 secs
lola: 3388451 markings, 11876205 edges, 7969 markings/sec, 435 secs
lola: 3421605 markings, 12021797 edges, 6631 markings/sec, 440 secs
lola: 3454931 markings, 12169073 edges, 6665 markings/sec, 445 secs
lola: 3488396 markings, 12318114 edges, 6693 markings/sec, 450 secs
lola: 3517070 markings, 12469198 edges, 5735 markings/sec, 455 secs
lola: 3546004 markings, 12622773 edges, 5787 markings/sec, 460 secs
lola: 3568648 markings, 12798021 edges, 4529 markings/sec, 465 secs
lola: 3600733 markings, 12947497 edges, 6417 markings/sec, 470 secs
lola: 3642523 markings, 13069538 edges, 8358 markings/sec, 475 secs
lola: 3688047 markings, 13188601 edges, 9105 markings/sec, 480 secs
lola: 3731954 markings, 13311257 edges, 8781 markings/sec, 485 secs
lola: 3777089 markings, 13431398 edges, 9027 markings/sec, 490 secs
lola: 3821663 markings, 13553509 edges, 8915 markings/sec, 495 secs
lola: 3866188 markings, 13676030 edges, 8905 markings/sec, 500 secs
lola: 3911795 markings, 13796477 edges, 9121 markings/sec, 505 secs
lola: 3953861 markings, 13914464 edges, 8413 markings/sec, 510 secs
lola: 3990123 markings, 14054074 edges, 7252 markings/sec, 515 secs
lola: 4023398 markings, 14200432 edges, 6655 markings/sec, 520 secs
lola: 4056769 markings, 14347542 edges, 6674 markings/sec, 525 secs
lola: 4088077 markings, 14498586 edges, 6262 markings/sec, 530 secs
lola: 4117739 markings, 14649663 edges, 5932 markings/sec, 535 secs
lola: 4145891 markings, 14802147 edges, 5630 markings/sec, 540 secs
lola: 4167318 markings, 14986877 edges, 4285 markings/sec, 545 secs
lola: 4205651 markings, 15119165 edges, 7667 markings/sec, 550 secs
lola: 4250194 markings, 15240182 edges, 8909 markings/sec, 555 secs
lola: 4294017 markings, 15362676 edges, 8765 markings/sec, 560 secs
lola: 4339524 markings, 15481634 edges, 9101 markings/sec, 565 secs
lola: 4383036 markings, 15606078 edges, 8702 markings/sec, 570 secs
lola: 4428747 markings, 15725393 edges, 9142 markings/sec, 575 secs
lola: 4472818 markings, 15848492 edges, 8814 markings/sec, 580 secs
lola: 4518097 markings, 15968885 edges, 9056 markings/sec, 585 secs
lola: 4561217 markings, 16094626 edges, 8624 markings/sec, 590 secs
lola: 4594069 markings, 16240573 edges, 6570 markings/sec, 595 secs
lola: 4627149 markings, 16387588 edges, 6616 markings/sec, 600 secs
lola: 4660483 markings, 16536140 edges, 6667 markings/sec, 605 secs
lola: 4690187 markings, 16686844 edges, 5941 markings/sec, 610 secs
lola: 4719560 markings, 16840853 edges, 5875 markings/sec, 615 secs
lola: 4744818 markings, 17004303 edges, 5052 markings/sec, 620 secs
lola: 4771831 markings, 17171660 edges, 5403 markings/sec, 625 secs
lola: 4813964 markings, 17297089 edges, 8427 markings/sec, 630 secs
lola: 4858700 markings, 17417540 edges, 8947 markings/sec, 635 secs
lola: 4903489 markings, 17538997 edges, 8958 markings/sec, 640 secs
lola: 4947353 markings, 17662680 edges, 8773 markings/sec, 645 secs
lola: 4993149 markings, 17782021 edges, 9159 markings/sec, 650 secs
lola: 5036921 markings, 17906020 edges, 8754 markings/sec, 655 secs
lola: 5082555 markings, 18026006 edges, 9127 markings/sec, 660 secs
lola: 5127109 markings, 18149118 edges, 8911 markings/sec, 665 secs
lola: 5164748 markings, 18281434 edges, 7528 markings/sec, 670 secs
lola: 5197564 markings, 18428365 edges, 6563 markings/sec, 675 secs
lola: 5230849 markings, 18575411 edges, 6657 markings/sec, 680 secs
lola: 5263296 markings, 18725928 edges, 6489 markings/sec, 685 secs
lola: 5292641 markings, 18874920 edges, 5869 markings/sec, 690 secs
lola: 5320980 markings, 19029517 edges, 5668 markings/sec, 695 secs
lola: 5342393 markings, 19211766 edges, 4283 markings/sec, 700 secs
lola: 5377101 markings, 19352924 edges, 6942 markings/sec, 705 secs
lola: 5422222 markings, 19471806 edges, 9024 markings/sec, 710 secs
lola: 5466370 markings, 19594278 edges, 8830 markings/sec, 715 secs
lola: 5511311 markings, 19714500 edges, 8988 markings/sec, 720 secs
lola: 5555919 markings, 19836282 edges, 8922 markings/sec, 725 secs
lola: 5600087 markings, 19959097 edges, 8834 markings/sec, 730 secs
lola: 5638583 markings, 20065574 edges, 7699 markings/sec, 735 secs
lola: 5684483 markings, 20185002 edges, 9180 markings/sec, 740 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 unknown 1 unknown 1 1 1 1 1 1 unknown unknown unknown unknown
lola: memory consumption: 1423676 KB
lola: time consumption: 1331 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 746 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p3366)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p3366)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-16b-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: 24 markings, 23 edges
lola: ========================================

FORMULA FlexibleBarrier-PT-16b-UpperBounds-13 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1118 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1566)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1566)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-16b-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: 37043 markings, 94910 edges, 7409 markings/sec, 0 secs
lola: 82601 markings, 220445 edges, 9112 markings/sec, 5 secs
lola: 124216 markings, 331359 edges, 8323 markings/sec, 10 secs
lola: 167759 markings, 445657 edges, 8709 markings/sec, 15 secs
lola: 212480 markings, 571230 edges, 8944 markings/sec, 20 secs
lola: 259385 markings, 694526 edges, 9381 markings/sec, 25 secs
lola: 305491 markings, 820282 edges, 9221 markings/sec, 30 secs
lola: 351558 markings, 944413 edges, 9213 markings/sec, 35 secs
lola: 394639 markings, 1073578 edges, 8616 markings/sec, 40 secs
lola: 428513 markings, 1224609 edges, 6775 markings/sec, 45 secs
lola: 460724 markings, 1367370 edges, 6442 markings/sec, 50 secs
lola: 495328 markings, 1520094 edges, 6921 markings/sec, 55 secs
lola: 525523 markings, 1678572 edges, 6039 markings/sec, 60 secs
lola: 552787 markings, 1836791 edges, 5453 markings/sec, 65 secs
lola: 580350 markings, 2006080 edges, 5513 markings/sec, 70 secs
lola: 608371 markings, 2171894 edges, 5604 markings/sec, 75 secs
lola: 648204 markings, 2301425 edges, 7967 markings/sec, 80 secs
lola: 690606 markings, 2421250 edges, 8480 markings/sec, 85 secs
lola: 734786 markings, 2536277 edges, 8836 markings/sec, 90 secs
lola: 778978 markings, 2660762 edges, 8838 markings/sec, 95 secs
lola: 823630 markings, 2784004 edges, 8930 markings/sec, 100 secs
lola: 869339 markings, 2904679 edges, 9142 markings/sec, 105 secs
lola: 914010 markings, 3027842 edges, 8934 markings/sec, 110 secs
lola: 957734 markings, 3151522 edges, 8745 markings/sec, 115 secs
lola: 1000572 markings, 3277840 edges, 8568 markings/sec, 120 secs
lola: 1034676 markings, 3424977 edges, 6821 markings/sec, 125 secs
lola: 1067878 markings, 3571247 edges, 6640 markings/sec, 130 secs
lola: 1101831 markings, 3720541 edges, 6791 markings/sec, 135 secs
lola: 1135078 markings, 3873021 edges, 6649 markings/sec, 140 secs
lola: 1165463 markings, 4027044 edges, 6077 markings/sec, 145 secs
lola: 1194237 markings, 4190024 edges, 5755 markings/sec, 150 secs
lola: 1215462 markings, 4383319 edges, 4245 markings/sec, 155 secs
lola: 1250846 markings, 4521646 edges, 7077 markings/sec, 160 secs
lola: 1296323 markings, 4644299 edges, 9095 markings/sec, 165 secs
lola: 1341888 markings, 4767087 edges, 9113 markings/sec, 170 secs
lola: 1386674 markings, 4888551 edges, 8957 markings/sec, 175 secs
lola: 1432100 markings, 5011109 edges, 9085 markings/sec, 180 secs
lola: 1477779 markings, 5133800 edges, 9136 markings/sec, 185 secs
lola: 1523645 markings, 5256139 edges, 9173 markings/sec, 190 secs
lola: 1569483 markings, 5377924 edges, 9168 markings/sec, 195 secs
lola: 1610075 markings, 5512905 edges, 8118 markings/sec, 200 secs
lola: 1643960 markings, 5661316 edges, 6777 markings/sec, 205 secs
lola: 1678132 markings, 5807996 edges, 6834 markings/sec, 210 secs
lola: 1713104 markings, 5956837 edges, 6994 markings/sec, 215 secs
lola: 1744738 markings, 6115843 edges, 6327 markings/sec, 220 secs
lola: 1774689 markings, 6281375 edges, 5990 markings/sec, 225 secs
lola: 1800111 markings, 6455914 edges, 5084 markings/sec, 230 secs
lola: 1830890 markings, 6614096 edges, 6156 markings/sec, 235 secs
lola: 1873128 markings, 6737573 edges, 8448 markings/sec, 240 secs
lola: 1917530 markings, 6855890 edges, 8880 markings/sec, 245 secs
lola: 1962670 markings, 6974362 edges, 9028 markings/sec, 250 secs
lola: 2007636 markings, 7094504 edges, 8993 markings/sec, 255 secs
lola: 2051634 markings, 7211898 edges, 8800 markings/sec, 260 secs
lola: 2096687 markings, 7333824 edges, 9011 markings/sec, 265 secs
lola: 2142182 markings, 7456533 edges, 9099 markings/sec, 270 secs
lola: 2186105 markings, 7579949 edges, 8785 markings/sec, 275 secs
lola: 2220003 markings, 7728136 edges, 6780 markings/sec, 280 secs
lola: 2253940 markings, 7871487 edges, 6787 markings/sec, 285 secs
lola: 2288227 markings, 8021199 edges, 6857 markings/sec, 290 secs
lola: 2321084 markings, 8172447 edges, 6571 markings/sec, 295 secs
lola: 2352552 markings, 8331477 edges, 6294 markings/sec, 300 secs
lola: 2381592 markings, 8492832 edges, 5808 markings/sec, 305 secs
lola: 2404251 markings, 8681458 edges, 4532 markings/sec, 310 secs
lola: 2443418 markings, 8808948 edges, 7833 markings/sec, 315 secs
lola: 2487262 markings, 8928658 edges, 8769 markings/sec, 320 secs
lola: 2531443 markings, 9048288 edges, 8836 markings/sec, 325 secs
lola: 2576806 markings, 9166253 edges, 9073 markings/sec, 330 secs
lola: 2621763 markings, 9286892 edges, 8991 markings/sec, 335 secs
lola: 2666992 markings, 9407310 edges, 9046 markings/sec, 340 secs
lola: 2712375 markings, 9528700 edges, 9077 markings/sec, 345 secs
lola: 2757336 markings, 9649384 edges, 8992 markings/sec, 350 secs
lola: 2795388 markings, 9788111 edges, 7610 markings/sec, 355 secs
lola: 2828751 markings, 9934973 edges, 6673 markings/sec, 360 secs
lola: 2863000 markings, 10079872 edges, 6850 markings/sec, 365 secs
lola: 2897359 markings, 10228788 edges, 6872 markings/sec, 370 secs
lola: 2928646 markings, 10386963 edges, 6257 markings/sec, 375 secs
lola: 2958447 markings, 10550443 edges, 5960 markings/sec, 380 secs
lola: 2982475 markings, 10728161 edges, 4806 markings/sec, 385 secs
lola: 3014507 markings, 10879240 edges, 6406 markings/sec, 390 secs
lola: 3057763 markings, 11000406 edges, 8651 markings/sec, 395 secs
lola: 3100773 markings, 11118628 edges, 8602 markings/sec, 400 secs
lola: 3144991 markings, 11238548 edges, 8844 markings/sec, 405 secs
lola: 3190038 markings, 11355202 edges, 9009 markings/sec, 410 secs
lola: 3234936 markings, 11475391 edges, 8980 markings/sec, 415 secs
lola: 3279967 markings, 11595538 edges, 9006 markings/sec, 420 secs
lola: 3324524 markings, 11715231 edges, 8911 markings/sec, 425 secs
lola: 3367904 markings, 11838931 edges, 8676 markings/sec, 430 secs
lola: 3401635 markings, 11986884 edges, 6746 markings/sec, 435 secs
lola: 3435504 markings, 12130645 edges, 6774 markings/sec, 440 secs
lola: 3469964 markings, 12279854 edges, 6892 markings/sec, 445 secs
lola: 3501927 markings, 12428400 edges, 6393 markings/sec, 450 secs
lola: 3533248 markings, 12586781 edges, 6264 markings/sec, 455 secs
lola: 3562271 markings, 12747887 edges, 5805 markings/sec, 460 secs
lola: 3583403 markings, 12928190 edges, 4226 markings/sec, 465 secs
lola: 3620632 markings, 13058391 edges, 7446 markings/sec, 470 secs
lola: 3665338 markings, 13175147 edges, 8941 markings/sec, 475 secs
lola: 3709880 markings, 13293387 edges, 8908 markings/sec, 480 secs
lola: 3753102 markings, 13409069 edges, 8644 markings/sec, 485 secs
lola: 3797386 markings, 13529550 edges, 8857 markings/sec, 490 secs
lola: 3841992 markings, 13650677 edges, 8921 markings/sec, 495 secs
lola: 3885903 markings, 13770312 edges, 8782 markings/sec, 500 secs
lola: 3931200 markings, 13889784 edges, 9059 markings/sec, 505 secs
lola: 3970099 markings, 14019695 edges, 7780 markings/sec, 510 secs
lola: 4002929 markings, 14159313 edges, 6566 markings/sec, 515 secs
lola: 4036211 markings, 14305812 edges, 6656 markings/sec, 520 secs
lola: 4070994 markings, 14453727 edges, 6957 markings/sec, 525 secs
lola: 4102867 markings, 14609064 edges, 6375 markings/sec, 530 secs
lola: 4133399 markings, 14771169 edges, 6106 markings/sec, 535 secs
lola: 4158692 markings, 14935705 edges, 5059 markings/sec, 540 secs
lola: 4186121 markings, 15102035 edges, 5486 markings/sec, 545 secs
lola: 4226567 markings, 15224533 edges, 8089 markings/sec, 550 secs
lola: 4269469 markings, 15342498 edges, 8580 markings/sec, 555 secs
lola: 4313571 markings, 15458854 edges, 8820 markings/sec, 560 secs
lola: 4358051 markings, 15576299 edges, 8896 markings/sec, 565 secs
lola: 4402493 markings, 15694363 edges, 8888 markings/sec, 570 secs
lola: 4446650 markings, 15814503 edges, 8831 markings/sec, 575 secs
lola: 4491194 markings, 15935496 edges, 8909 markings/sec, 580 secs
lola: 4535034 markings, 16055146 edges, 8768 markings/sec, 585 secs
lola: 4571556 markings, 16194025 edges, 7304 markings/sec, 590 secs
lola: 4604273 markings, 16337525 edges, 6543 markings/sec, 595 secs
lola: 4638329 markings, 16480883 edges, 6811 markings/sec, 600 secs
lola: 4671892 markings, 16630604 edges, 6713 markings/sec, 605 secs
lola: 4701831 markings, 16780804 edges, 5988 markings/sec, 610 secs
lola: 4731817 markings, 16943921 edges, 5997 markings/sec, 615 secs
lola: 4754973 markings, 17125022 edges, 4631 markings/sec, 620 secs
lola: 4787980 markings, 17271927 edges, 6601 markings/sec, 625 secs
lola: 4831976 markings, 17391218 edges, 8799 markings/sec, 630 secs
lola: 4876104 markings, 17509921 edges, 8826 markings/sec, 635 secs
lola: 4920355 markings, 17630375 edges, 8850 markings/sec, 640 secs
lola: 4964788 markings, 17751104 edges, 8887 markings/sec, 645 secs
lola: 5009556 markings, 17872525 edges, 8954 markings/sec, 650 secs
lola: 5054806 markings, 17993937 edges, 9050 markings/sec, 655 secs
lola: 5100475 markings, 18114550 edges, 9134 markings/sec, 660 secs
lola: 5143209 markings, 18240977 edges, 8547 markings/sec, 665 secs
lola: 5176973 markings, 18388938 edges, 6753 markings/sec, 670 secs
lola: 5211059 markings, 18532333 edges, 6817 markings/sec, 675 secs
lola: 5245463 markings, 18682377 edges, 6881 markings/sec, 680 secs
lola: 5277884 markings, 18835491 edges, 6484 markings/sec, 685 secs
lola: 5309226 markings, 18995060 edges, 6268 markings/sec, 690 secs
lola: 5338199 markings, 19154709 edges, 5795 markings/sec, 695 secs
lola: 5361884 markings, 19339460 edges, 4737 markings/sec, 700 secs
lola: 5401440 markings, 19463761 edges, 7911 markings/sec, 705 secs
lola: 5445858 markings, 19582306 edges, 8884 markings/sec, 710 secs
lola: 5490333 markings, 19701118 edges, 8895 markings/sec, 715 secs
lola: 5534670 markings, 19821805 edges, 8867 markings/sec, 720 secs
lola: 5579314 markings, 19942912 edges, 8929 markings/sec, 725 secs
lola: 5624283 markings, 20064644 edges, 8994 markings/sec, 730 secs
lola: 5669469 markings, 20186786 edges, 9037 markings/sec, 735 secs
lola: 5714527 markings, 20307884 edges, 9012 markings/sec, 740 secs
lola: 5752104 markings, 20447755 edges, 7515 markings/sec, 745 secs
lola: 5785383 markings, 20594331 edges, 6656 markings/sec, 750 secs
lola: 5819768 markings, 20740639 edges, 6877 markings/sec, 755 secs
lola: 5853834 markings, 20889875 edges, 6813 markings/sec, 760 secs
lola: 5884947 markings, 21048119 edges, 6223 markings/sec, 765 secs
lola: 5914531 markings, 21210961 edges, 5917 markings/sec, 770 secs
lola: 5937229 markings, 21394916 edges, 4540 markings/sec, 775 secs
lola: 5970771 markings, 21539363 edges, 6708 markings/sec, 780 secs
lola: 6015485 markings, 21655836 edges, 8943 markings/sec, 785 secs
lola: 6060023 markings, 21774307 edges, 8908 markings/sec, 790 secs
lola: 6103446 markings, 21890428 edges, 8685 markings/sec, 795 secs
lola: 6146733 markings, 22009151 edges, 8657 markings/sec, 800 secs
lola: 6189996 markings, 22127818 edges, 8653 markings/sec, 805 secs
lola: 6234584 markings, 22243193 edges, 8918 markings/sec, 810 secs
lola: 6279051 markings, 22361861 edges, 8893 markings/sec, 815 secs
lola: 6321241 markings, 22486458 edges, 8438 markings/sec, 820 secs
lola: 6355257 markings, 22631777 edges, 6803 markings/sec, 825 secs
lola: 6388788 markings, 22777926 edges, 6706 markings/sec, 830 secs
lola: 6423701 markings, 22926850 edges, 6983 markings/sec, 835 secs
lola: 6456376 markings, 23079615 edges, 6535 markings/sec, 840 secs
lola: 6486952 markings, 23234527 edges, 6115 markings/sec, 845 secs
lola: 6515560 markings, 23392890 edges, 5722 markings/sec, 850 secs
lola: 6538292 markings, 23582939 edges, 4546 markings/sec, 855 secs
lola: 6578665 markings, 23709053 edges, 8075 markings/sec, 860 secs
lola: 6623335 markings, 23830235 edges, 8934 markings/sec, 865 secs
lola: 6668254 markings, 23951846 edges, 8984 markings/sec, 870 secs
lola: 6713251 markings, 24073652 edges, 8999 markings/sec, 875 secs
lola: 6758675 markings, 24196219 edges, 9085 markings/sec, 880 secs
lola: 6804309 markings, 24319216 edges, 9127 markings/sec, 885 secs
lola: 6850074 markings, 24442355 edges, 9153 markings/sec, 890 secs
lola: 6895341 markings, 24563595 edges, 9053 markings/sec, 895 secs
lola: 6933021 markings, 24703878 edges, 7536 markings/sec, 900 secs
lola: 6966522 markings, 24851205 edges, 6700 markings/sec, 905 secs
lola: 7000946 markings, 24998542 edges, 6885 markings/sec, 910 secs
lola: 7035225 markings, 25147500 edges, 6856 markings/sec, 915 secs
lola: 7066388 markings, 25307316 edges, 6233 markings/sec, 920 secs
lola: 7094934 markings, 25464521 edges, 5709 markings/sec, 925 secs
lola: 7118145 markings, 25651357 edges, 4642 markings/sec, 930 secs
lola: 7151937 markings, 25795957 edges, 6758 markings/sec, 935 secs
lola: 7196683 markings, 25914518 edges, 8949 markings/sec, 940 secs
lola: 7239540 markings, 26026069 edges, 8571 markings/sec, 945 secs
lola: 7284280 markings, 26146387 edges, 8948 markings/sec, 950 secs
lola: 7328752 markings, 26267197 edges, 8894 markings/sec, 955 secs
lola: 7373505 markings, 26388595 edges, 8951 markings/sec, 960 secs
lola: 7418730 markings, 26510811 edges, 9045 markings/sec, 965 secs
lola: 7464028 markings, 26633155 edges, 9060 markings/sec, 970 secs
lola: 7506519 markings, 26761246 edges, 8498 markings/sec, 975 secs
lola: 7540771 markings, 26907436 edges, 6850 markings/sec, 980 secs
lola: 7574247 markings, 27054152 edges, 6695 markings/sec, 985 secs
lola: 7609129 markings, 27202602 edges, 6976 markings/sec, 990 secs
lola: 7637094 markings, 27334651 edges, 5593 markings/sec, 995 secs
lola: 7668217 markings, 27493518 edges, 6225 markings/sec, 1000 secs
lola: 7695595 markings, 27645463 edges, 5476 markings/sec, 1005 secs
lola: 7715223 markings, 27819117 edges, 3926 markings/sec, 1010 secs
lola: 7752694 markings, 27950878 edges, 7494 markings/sec, 1015 secs
lola: 7797659 markings, 28068464 edges, 8993 markings/sec, 1020 secs
lola: 7841170 markings, 28183717 edges, 8702 markings/sec, 1025 secs
lola: 7885637 markings, 28304272 edges, 8893 markings/sec, 1030 secs
lola: 7930428 markings, 28425652 edges, 8958 markings/sec, 1035 secs
lola: 7972547 markings, 28541978 edges, 8424 markings/sec, 1040 secs
lola: 8018155 markings, 28662739 edges, 9122 markings/sec, 1045 secs
lola: 8063666 markings, 28782360 edges, 9102 markings/sec, 1050 secs
lola: 8103848 markings, 28917930 edges, 8036 markings/sec, 1055 secs
lola: 8137616 markings, 29064857 edges, 6754 markings/sec, 1060 secs
lola: 8171772 markings, 29209716 edges, 6831 markings/sec, 1065 secs
lola: 8206224 markings, 29359981 edges, 6890 markings/sec, 1070 secs
lola: 8237948 markings, 29516278 edges, 6345 markings/sec, 1075 secs
lola: 8268219 markings, 29679624 edges, 6054 markings/sec, 1080 secs
lola: 8293154 markings, 29847334 edges, 4987 markings/sec, 1085 secs
lola: 8321934 markings, 30011799 edges, 5756 markings/sec, 1090 secs
lola: 8365737 markings, 30137894 edges, 8761 markings/sec, 1095 secs
lola: 8411489 markings, 30259271 edges, 9150 markings/sec, 1100 secs
lola: 8457734 markings, 30383352 edges, 9249 markings/sec, 1105 secs
lola: 8502773 markings, 30504107 edges, 9008 markings/sec, 1110 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 unknown 1 unknown 1 1 1 1 1 1 unknown 1 unknown unknown
lola: memory consumption: 1249580 KB
lola: time consumption: 2450 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 1119 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p771)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p771)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-16b-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: 39 markings, 38 edges

FORMULA FlexibleBarrier-PT-16b-UpperBounds-15 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ========================================
lola: ...considering subproblem: MAX(p68)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p68)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-16b-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: 40458 markings, 99611 edges, 8092 markings/sec, 0 secs
lola: 89772 markings, 222333 edges, 9863 markings/sec, 5 secs
lola: 138949 markings, 345776 edges, 9835 markings/sec, 10 secs
lola: 188259 markings, 468863 edges, 9862 markings/sec, 15 secs
lola: 236810 markings, 593726 edges, 9710 markings/sec, 20 secs
lola: 271491 markings, 723655 edges, 6936 markings/sec, 25 secs
lola: 308580 markings, 865238 edges, 7418 markings/sec, 30 secs
lola: 343624 markings, 1018709 edges, 7009 markings/sec, 35 secs
lola: 375658 markings, 1184147 edges, 6407 markings/sec, 40 secs
lola: 405160 markings, 1352074 edges, 5900 markings/sec, 45 secs
lola: 440350 markings, 1495462 edges, 7038 markings/sec, 50 secs
lola: 487483 markings, 1618937 edges, 9427 markings/sec, 55 secs
lola: 535182 markings, 1740591 edges, 9540 markings/sec, 60 secs
lola: 584312 markings, 1860215 edges, 9826 markings/sec, 65 secs
lola: 632137 markings, 1981805 edges, 9565 markings/sec, 70 secs
lola: 678191 markings, 2107746 edges, 9211 markings/sec, 75 secs
lola: 714935 markings, 2246299 edges, 7349 markings/sec, 80 secs
lola: 751770 markings, 2385163 edges, 7367 markings/sec, 85 secs
lola: 784591 markings, 2537538 edges, 6564 markings/sec, 90 secs
lola: 815764 markings, 2696215 edges, 6235 markings/sec, 95 secs
lola: 842519 markings, 2867265 edges, 5351 markings/sec, 100 secs
lola: 883957 markings, 2996116 edges, 8288 markings/sec, 105 secs
lola: 931874 markings, 3116354 edges, 9583 markings/sec, 110 secs
lola: 978765 markings, 3237297 edges, 9378 markings/sec, 115 secs
lola: 1026776 markings, 3357177 edges, 9602 markings/sec, 120 secs
lola: 1073130 markings, 3480866 edges, 9271 markings/sec, 125 secs
lola: 1109244 markings, 3618386 edges, 7223 markings/sec, 130 secs
lola: 1145398 markings, 3756379 edges, 7231 markings/sec, 135 secs
lola: 1178691 markings, 3907944 edges, 6659 markings/sec, 140 secs
lola: 1209379 markings, 4069554 edges, 6138 markings/sec, 145 secs
lola: 1240033 markings, 4225491 edges, 6131 markings/sec, 150 secs
lola: 1287002 markings, 4346905 edges, 9394 markings/sec, 155 secs
lola: 1334879 markings, 4465967 edges, 9575 markings/sec, 160 secs
lola: 1382449 markings, 4585753 edges, 9514 markings/sec, 165 secs
lola: 1429617 markings, 4707487 edges, 9434 markings/sec, 170 secs
lola: 1469092 markings, 4842037 edges, 7895 markings/sec, 175 secs
lola: 1505780 markings, 4981748 edges, 7338 markings/sec, 180 secs
lola: 1541384 markings, 5126896 edges, 7121 markings/sec, 185 secs
lola: 1571155 markings, 5280812 edges, 5954 markings/sec, 190 secs
lola: 1597630 markings, 5448502 edges, 5295 markings/sec, 195 secs
lola: 1642568 markings, 5572817 edges, 8988 markings/sec, 200 secs
lola: 1689680 markings, 5693737 edges, 9422 markings/sec, 205 secs
lola: 1737139 markings, 5812651 edges, 9492 markings/sec, 210 secs
lola: 1785426 markings, 5934154 edges, 9657 markings/sec, 215 secs
lola: 1828586 markings, 6062956 edges, 8632 markings/sec, 220 secs
lola: 1864101 markings, 6198308 edges, 7103 markings/sec, 225 secs
lola: 1900087 markings, 6335136 edges, 7197 markings/sec, 230 secs
lola: 1932512 markings, 6493187 edges, 6485 markings/sec, 235 secs
lola: 1963315 markings, 6651057 edges, 6161 markings/sec, 240 secs
lola: 1995465 markings, 6795698 edges, 6430 markings/sec, 245 secs
lola: 2041741 markings, 6913211 edges, 9255 markings/sec, 250 secs
lola: 2089248 markings, 7032750 edges, 9501 markings/sec, 255 secs
lola: 2137165 markings, 7153223 edges, 9583 markings/sec, 260 secs
lola: 2184413 markings, 7275240 edges, 9450 markings/sec, 265 secs
lola: 2221853 markings, 7412679 edges, 7488 markings/sec, 270 secs
lola: 2258450 markings, 7552061 edges, 7319 markings/sec, 275 secs
lola: 2292979 markings, 7701370 edges, 6906 markings/sec, 280 secs
lola: 2324553 markings, 7862298 edges, 6315 markings/sec, 285 secs
lola: 2352895 markings, 8025442 edges, 5668 markings/sec, 290 secs
lola: 2399491 markings, 8148337 edges, 9319 markings/sec, 295 secs
lola: 2447179 markings, 8267429 edges, 9538 markings/sec, 300 secs
lola: 2494864 markings, 8387104 edges, 9537 markings/sec, 305 secs
lola: 2542418 markings, 8509449 edges, 9511 markings/sec, 310 secs
lola: 2583376 markings, 8641775 edges, 8192 markings/sec, 315 secs
lola: 2620282 markings, 8782194 edges, 7381 markings/sec, 320 secs
lola: 2656495 markings, 8924576 edges, 7243 markings/sec, 325 secs
lola: 2688075 markings, 9087568 edges, 6316 markings/sec, 330 secs
lola: 2714267 markings, 9254161 edges, 5238 markings/sec, 335 secs
lola: 2755974 markings, 9377893 edges, 8341 markings/sec, 340 secs
lola: 2803968 markings, 9498200 edges, 9599 markings/sec, 345 secs
lola: 2849669 markings, 9614774 edges, 9140 markings/sec, 350 secs
lola: 2897929 markings, 9736355 edges, 9652 markings/sec, 355 secs
lola: 2942718 markings, 9861905 edges, 8958 markings/sec, 360 secs
lola: 2979127 markings, 10001095 edges, 7282 markings/sec, 365 secs
lola: 3016079 markings, 10141762 edges, 7390 markings/sec, 370 secs
lola: 3048981 markings, 10298542 edges, 6580 markings/sec, 375 secs
lola: 3079996 markings, 10458101 edges, 6203 markings/sec, 380 secs
lola: 3113368 markings, 10610421 edges, 6674 markings/sec, 385 secs
lola: 3160807 markings, 10731779 edges, 9488 markings/sec, 390 secs
lola: 3208394 markings, 10851473 edges, 9517 markings/sec, 395 secs
lola: 3256312 markings, 10971970 edges, 9584 markings/sec, 400 secs
lola: 3303662 markings, 11094118 edges, 9470 markings/sec, 405 secs
lola: 3341013 markings, 11231548 edges, 7470 markings/sec, 410 secs
lola: 3377167 markings, 11369451 edges, 7231 markings/sec, 415 secs
lola: 3411715 markings, 11518703 edges, 6910 markings/sec, 420 secs
lola: 3443025 markings, 11677824 edges, 6262 markings/sec, 425 secs
lola: 3471118 markings, 11841154 edges, 5619 markings/sec, 430 secs
lola: 3517412 markings, 11963966 edges, 9259 markings/sec, 435 secs
lola: 3565282 markings, 12083010 edges, 9574 markings/sec, 440 secs
lola: 3612569 markings, 12203454 edges, 9457 markings/sec, 445 secs
lola: 3660163 markings, 12325908 edges, 9519 markings/sec, 450 secs
lola: 3701619 markings, 12457709 edges, 8291 markings/sec, 455 secs
lola: 3738581 markings, 12598293 edges, 7392 markings/sec, 460 secs
lola: 3775230 markings, 12741664 edges, 7330 markings/sec, 465 secs
lola: 3806897 markings, 12904581 edges, 6333 markings/sec, 470 secs
lola: 3833360 markings, 13071982 edges, 5293 markings/sec, 475 secs
lola: 3876194 markings, 13201451 edges, 8567 markings/sec, 480 secs
lola: 3924367 markings, 13320784 edges, 9635 markings/sec, 485 secs
lola: 3971674 markings, 13440836 edges, 9461 markings/sec, 490 secs
lola: 4019387 markings, 13563448 edges, 9543 markings/sec, 495 secs
lola: 4062394 markings, 13683992 edges, 8601 markings/sec, 500 secs
lola: 4099275 markings, 13823916 edges, 7376 markings/sec, 505 secs
lola: 4136190 markings, 13964332 edges, 7383 markings/sec, 510 secs
lola: 4169062 markings, 14122658 edges, 6574 markings/sec, 515 secs
lola: 4200138 markings, 14281911 edges, 6215 markings/sec, 520 secs
lola: 4233181 markings, 14431275 edges, 6609 markings/sec, 525 secs
lola: 4281288 markings, 14552661 edges, 9621 markings/sec, 530 secs
lola: 4328438 markings, 14674356 edges, 9430 markings/sec, 535 secs
lola: 4376671 markings, 14794431 edges, 9647 markings/sec, 540 secs
lola: 4424651 markings, 14915875 edges, 9596 markings/sec, 545 secs
lola: 4461690 markings, 15056874 edges, 7408 markings/sec, 550 secs
lola: 4498199 markings, 15195963 edges, 7302 markings/sec, 555 secs
lola: 4532923 markings, 15346989 edges, 6945 markings/sec, 560 secs
lola: 4563926 markings, 15510016 edges, 6201 markings/sec, 565 secs
lola: 4593415 markings, 15671554 edges, 5898 markings/sec, 570 secs
lola: 4641629 markings, 15793590 edges, 9643 markings/sec, 575 secs
lola: 4689484 markings, 15914909 edges, 9571 markings/sec, 580 secs
lola: 4736863 markings, 16036960 edges, 9476 markings/sec, 585 secs
lola: 4785549 markings, 16157924 edges, 9737 markings/sec, 590 secs
lola: 4825622 markings, 16294500 edges, 8015 markings/sec, 595 secs
lola: 4863026 markings, 16437495 edges, 7481 markings/sec, 600 secs
lola: 4899255 markings, 16585857 edges, 7246 markings/sec, 605 secs
lola: 4931230 markings, 16747310 edges, 6395 markings/sec, 610 secs
lola: 4957902 markings, 16914127 edges, 5334 markings/sec, 615 secs
lola: 5003612 markings, 17040502 edges, 9142 markings/sec, 620 secs
lola: 5051687 markings, 17160484 edges, 9615 markings/sec, 625 secs
lola: 5099763 markings, 17281281 edges, 9615 markings/sec, 630 secs
lola: 5148265 markings, 17404438 edges, 9700 markings/sec, 635 secs
lola: 5190562 markings, 17537289 edges, 8459 markings/sec, 640 secs
lola: 5228090 markings, 17679691 edges, 7506 markings/sec, 645 secs
lola: 5265244 markings, 17822470 edges, 7431 markings/sec, 650 secs
lola: 5297044 markings, 17986938 edges, 6360 markings/sec, 655 secs
lola: 5325433 markings, 18153672 edges, 5678 markings/sec, 660 secs
lola: 5367045 markings, 18287700 edges, 8322 markings/sec, 665 secs
lola: 5415364 markings, 18408783 edges, 9664 markings/sec, 670 secs
lola: 5462908 markings, 18530860 edges, 9509 markings/sec, 675 secs
lola: 5510976 markings, 18653195 edges, 9614 markings/sec, 680 secs
lola: 5556085 markings, 18780799 edges, 9022 markings/sec, 685 secs
lola: 5593532 markings, 18923499 edges, 7489 markings/sec, 690 secs
lola: 5631268 markings, 19067200 edges, 7547 markings/sec, 695 secs
lola: 5664024 markings, 19228204 edges, 6551 markings/sec, 700 secs
lola: 5695494 markings, 19387888 edges, 6294 markings/sec, 705 secs
lola: 5732088 markings, 19539710 edges, 7319 markings/sec, 710 secs
lola: 5780259 markings, 19661720 edges, 9634 markings/sec, 715 secs
lola: 5827494 markings, 19783577 edges, 9447 markings/sec, 720 secs
lola: 5876227 markings, 19904634 edges, 9747 markings/sec, 725 secs
lola: 5923055 markings, 20029918 edges, 9366 markings/sec, 730 secs
lola: 5960139 markings, 20171990 edges, 7417 markings/sec, 735 secs
lola: 5997841 markings, 20315386 edges, 7540 markings/sec, 740 secs
lola: 6030018 markings, 20464151 edges, 6435 markings/sec, 745 secs
lola: 6061328 markings, 20625977 edges, 6262 markings/sec, 750 secs
lola: 6093306 markings, 20785553 edges, 6396 markings/sec, 755 secs
lola: 6142291 markings, 20907058 edges, 9797 markings/sec, 760 secs
lola: 6190730 markings, 21029066 edges, 9688 markings/sec, 765 secs
lola: 6235310 markings, 21142236 edges, 8916 markings/sec, 770 secs
lola: 6284049 markings, 21265302 edges, 9748 markings/sec, 775 secs
lola: 6322918 markings, 21405469 edges, 7774 markings/sec, 780 secs
lola: 6359445 markings, 21544828 edges, 7305 markings/sec, 785 secs
lola: 6395083 markings, 21696515 edges, 7128 markings/sec, 790 secs
lola: 6427032 markings, 21859991 edges, 6390 markings/sec, 795 secs
lola: 6456041 markings, 22026205 edges, 5802 markings/sec, 800 secs
lola: 6503322 markings, 22150789 edges, 9456 markings/sec, 805 secs
lola: 6551300 markings, 22270979 edges, 9596 markings/sec, 810 secs
lola: 6599605 markings, 22392643 edges, 9661 markings/sec, 815 secs
lola: 6647611 markings, 22514105 edges, 9601 markings/sec, 820 secs
lola: 6688507 markings, 22650821 edges, 8179 markings/sec, 825 secs
lola: 6726450 markings, 22794521 edges, 7589 markings/sec, 830 secs
lola: 6763033 markings, 22943398 edges, 7317 markings/sec, 835 secs
lola: 6795360 markings, 23105614 edges, 6465 markings/sec, 840 secs
lola: 6822873 markings, 23277748 edges, 5503 markings/sec, 845 secs
lola: 6868747 markings, 23404825 edges, 9175 markings/sec, 850 secs
lola: 6917131 markings, 23525557 edges, 9677 markings/sec, 855 secs
lola: 6965375 markings, 23647120 edges, 9649 markings/sec, 860 secs
lola: 7014277 markings, 23770255 edges, 9780 markings/sec, 865 secs
lola: 7056577 markings, 23904357 edges, 8460 markings/sec, 870 secs
lola: 7094010 markings, 24046576 edges, 7487 markings/sec, 875 secs
lola: 7129470 markings, 24182169 edges, 7092 markings/sec, 880 secs
lola: 7161328 markings, 24346068 edges, 6372 markings/sec, 885 secs
lola: 7190528 markings, 24511236 edges, 5840 markings/sec, 890 secs
lola: 7231339 markings, 24649195 edges, 8162 markings/sec, 895 secs
lola: 7278756 markings, 24770046 edges, 9483 markings/sec, 900 secs
lola: 7326309 markings, 24892405 edges, 9511 markings/sec, 905 secs
lola: 7374874 markings, 25012780 edges, 9713 markings/sec, 910 secs
lola: 7414573 markings, 25119382 edges, 7940 markings/sec, 915 secs
lola: 7451220 markings, 25259638 edges, 7329 markings/sec, 920 secs
lola: 7488706 markings, 25402440 edges, 7497 markings/sec, 925 secs
lola: 7522526 markings, 25558042 edges, 6764 markings/sec, 930 secs
lola: 7553891 markings, 25721279 edges, 6273 markings/sec, 935 secs
lola: 7586613 markings, 25879017 edges, 6544 markings/sec, 940 secs
lola: 7635037 markings, 26000856 edges, 9685 markings/sec, 945 secs
lola: 7683463 markings, 26122457 edges, 9685 markings/sec, 950 secs
lola: 7731961 markings, 26244243 edges, 9700 markings/sec, 955 secs
lola: 7779757 markings, 26368182 edges, 9559 markings/sec, 960 secs
lola: 7818379 markings, 26509830 edges, 7724 markings/sec, 965 secs
lola: 7856210 markings, 26654187 edges, 7566 markings/sec, 970 secs
lola: 7891227 markings, 26808387 edges, 7003 markings/sec, 975 secs
lola: 7922531 markings, 26973595 edges, 6261 markings/sec, 980 secs
lola: 7953376 markings, 27135263 edges, 6169 markings/sec, 985 secs
lola: 8001577 markings, 27258661 edges, 9640 markings/sec, 990 secs
lola: 8050020 markings, 27379107 edges, 9689 markings/sec, 995 secs
lola: 8098521 markings, 27501094 edges, 9700 markings/sec, 1000 secs
lola: 8147190 markings, 27624186 edges, 9734 markings/sec, 1005 secs
lola: 8186507 markings, 27764542 edges, 7863 markings/sec, 1010 secs
lola: 8224443 markings, 27908305 edges, 7587 markings/sec, 1015 secs
lola: 8257894 markings, 28048488 edges, 6690 markings/sec, 1020 secs
lola: 8290457 markings, 28211781 edges, 6513 markings/sec, 1025 secs
lola: 8318243 markings, 28382522 edges, 5557 markings/sec, 1030 secs
lola: 8365397 markings, 28506110 edges, 9431 markings/sec, 1035 secs
lola: 8413832 markings, 28627692 edges, 9687 markings/sec, 1040 secs
lola: 8461227 markings, 28749638 edges, 9479 markings/sec, 1045 secs
lola: 8509528 markings, 28873039 edges, 9660 markings/sec, 1050 secs
lola: 8552012 markings, 29008140 edges, 8497 markings/sec, 1055 secs
lola: 8589922 markings, 29152597 edges, 7582 markings/sec, 1060 secs
lola: 8626745 markings, 29300568 edges, 7365 markings/sec, 1065 secs
lola: 8658932 markings, 29465930 edges, 6437 markings/sec, 1070 secs
lola: 8687109 markings, 29638344 edges, 5635 markings/sec, 1075 secs
lola: 8732715 markings, 29764891 edges, 9121 markings/sec, 1080 secs
lola: 8781300 markings, 29887508 edges, 9717 markings/sec, 1085 secs
lola: 8829825 markings, 30009212 edges, 9705 markings/sec, 1090 secs
lola: 8878149 markings, 30132494 edges, 9665 markings/sec, 1095 secs
lola: 8920369 markings, 30262926 edges, 8444 markings/sec, 1100 secs
lola: 8958220 markings, 30407825 edges, 7570 markings/sec, 1105 secs
lola: 8996033 markings, 30554089 edges, 7563 markings/sec, 1110 secs
lola: time limit reached - aborting
lola: caught signal User defined signal 1 - aborting LoLA
lola: lola:
preliminary result: 1 1 1 unknown 1 unknown 1 1 1 1 1 1 unknown 1 unknown 1
preliminary result: 1 1 1 unknown 1 unknown 1 1 1 1 1 1 unknown 1 unknown 1

lola:
preliminary result: 1 1 1 unknown 1 unknown 1 1 1 1 1 1 unknown 1 unknown 1
lola: memory consumption: 3085448 KB
lola: time consumption: 3569 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 1 1 unknown 1 unknown 1 1 1 1 1 1 unknown 1 unknown 1
lola: memory consumption: 3085692 KB
lola: time consumption: 3569 seconds

BK_STOP 1526679093399

--------------------
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-16b"
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-16b.tgz
mv FlexibleBarrier-PT-16b 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-16b, 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-152649998200191"
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 ;