Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fko/mcc2020-input.r186-oct2-158987939300629.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itslola
Input is SimpleLoadBal-PT-20, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r186-oct2-158987939300629
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.2M
-rw-r--r-- 1 mcc users 3.6K Apr 12 17:44 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K Apr 12 17:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Apr 11 20:01 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 11 20:01 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:38 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.2K Apr 14 12:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 30 14:52 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Apr 14 12:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 30 14:52 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Apr 10 20:32 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 10 20:32 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.6K Apr 10 05:21 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 10 05:21 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Apr 10 22:29 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Apr 10 22:29 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:38 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 iscolored
-rw-r--r-- 1 mcc users 2.0M Mar 24 05:38 model.pnml

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

=== Now, execution of the tool begins

BK_START 1591255338246

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-04 07:22:19] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, UpperBounds, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -timeout, 3600, -rebuildPNML]
[2020-06-04 07:22:19] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-04 07:22:19] [INFO ] Load time of PNML (sax parser for PT used): 157 ms
[2020-06-04 07:22:19] [INFO ] Transformed 194 places.
[2020-06-04 07:22:19] [INFO ] Transformed 2205 transitions.
[2020-06-04 07:22:19] [INFO ] Parsed PT model containing 194 places and 2205 transitions in 204 ms.
Parsed 16 properties from file /home/mcc/execution/UpperBounds.xml in 35 ms.
Finished random walk after 0 steps, including 0 resets, run visited all 0 properties in 2 ms. (steps per millisecond=0 )
[2020-06-04 07:22:20] [INFO ] Flatten gal took : 225 ms
Finished random walk after 0 steps, including 0 resets, run visited all 0 properties in 1 ms. (steps per millisecond=0 )
Finished probabilistic random walk after 0 steps, run visited all 0 properties in 0 ms. (steps per millisecond=0 )
[2020-06-04 07:22:20] [INFO ] Flow matrix only has 1745 transitions (discarded 460 similar events)
// Phase 1: matrix 1745 rows 194 cols
[2020-06-04 07:22:20] [INFO ] Invariants computation overflowed in 27 ms
Support contains 16 out of 194 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 194/194 places, 2205/2205 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 0 with 2 rules applied. Total rules applied 2 place count 193 transition count 2204
Performed 14 Post agglomeration using F-continuation condition.Transition count delta: 14
Deduced a syphon composed of 14 places in 5 ms
Reduce places removed 28 places and 0 transitions.
Iterating global reduction 0 with 42 rules applied. Total rules applied 44 place count 165 transition count 2190
Performed 13 Post agglomeration using F-continuation condition.Transition count delta: 13
Deduced a syphon composed of 13 places in 5 ms
Reduce places removed 13 places and 0 transitions.
Iterating global reduction 0 with 26 rules applied. Total rules applied 70 place count 152 transition count 2177
Free-agglomeration rule (complex) applied 16 times.
Iterating global reduction 0 with 16 rules applied. Total rules applied 86 place count 152 transition count 2161
Reduce places removed 16 places and 0 transitions.
Iterating post reduction 0 with 16 rules applied. Total rules applied 102 place count 136 transition count 2161
Applied a total of 102 rules in 356 ms. Remains 136 /194 variables (removed 58) and now considering 2161/2205 (removed 44) transitions.
Finished structural reductions, in 1 iterations. Remains : 136/194 places, 2161/2205 transitions.
Finished random walk after 0 steps, including 0 resets, run visited all 0 properties in 1 ms. (steps per millisecond=0 )
Finished probabilistic random walk after 0 steps, run visited all 0 properties in 0 ms. (steps per millisecond=0 )
[2020-06-04 07:22:20] [INFO ] Flow matrix only has 1701 transitions (discarded 460 similar events)
// Phase 1: matrix 1701 rows 136 cols
[2020-06-04 07:22:20] [INFO ] Invariants computation overflowed in 8 ms
Support contains 16 out of 136 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 136/136 places, 2161/2161 transitions.
Applied a total of 0 rules in 193 ms. Remains 136 /136 variables (removed 0) and now considering 2161/2161 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 136/136 places, 2161/2161 transitions.
Starting structural reductions, iteration 0 : 136/136 places, 2161/2161 transitions.
Applied a total of 0 rules in 243 ms. Remains 136 /136 variables (removed 0) and now considering 2161/2161 (removed 0) transitions.
[2020-06-04 07:22:21] [INFO ] Flow matrix only has 1701 transitions (discarded 460 similar events)
// Phase 1: matrix 1701 rows 136 cols
[2020-06-04 07:22:21] [INFO ] Invariants computation overflowed in 7 ms
[2020-06-04 07:22:21] [INFO ] Implicit Places using invariants in 392 ms returned []
[2020-06-04 07:22:21] [INFO ] Flow matrix only has 1701 transitions (discarded 460 similar events)
// Phase 1: matrix 1701 rows 136 cols
[2020-06-04 07:22:21] [INFO ] Invariants computation overflowed in 11 ms
[2020-06-04 07:22:22] [INFO ] State equation strengthened by 841 read => feed constraints.
[2020-06-04 07:22:24] [INFO ] Implicit Places using invariants and state equation in 2955 ms returned [9, 10, 11, 41, 42]
Discarding 5 places :
Implicit Place search using SMT with State Equation took 3354 ms to find 5 implicit places.
[2020-06-04 07:22:24] [INFO ] Redundant transitions in 86 ms returned []
[2020-06-04 07:22:24] [INFO ] Flow matrix only has 1701 transitions (discarded 460 similar events)
// Phase 1: matrix 1701 rows 131 cols
[2020-06-04 07:22:24] [INFO ] Invariants computation overflowed in 7 ms
[2020-06-04 07:22:25] [INFO ] Dead Transitions using invariants and state equation in 1049 ms returned []
Starting structural reductions, iteration 1 : 131/136 places, 2161/2161 transitions.
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: 3
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 0 with 6 rules applied. Total rules applied 6 place count 128 transition count 2158
Applied a total of 6 rules in 170 ms. Remains 128 /131 variables (removed 3) and now considering 2158/2161 (removed 3) transitions.
[2020-06-04 07:22:25] [INFO ] Flow matrix only has 1698 transitions (discarded 460 similar events)
// Phase 1: matrix 1698 rows 128 cols
[2020-06-04 07:22:25] [INFO ] Invariants computation overflowed in 13 ms
[2020-06-04 07:22:26] [INFO ] Implicit Places using invariants in 254 ms returned []
[2020-06-04 07:22:26] [INFO ] Flow matrix only has 1698 transitions (discarded 460 similar events)
// Phase 1: matrix 1698 rows 128 cols
[2020-06-04 07:22:26] [INFO ] Invariants computation overflowed in 18 ms
[2020-06-04 07:22:26] [INFO ] State equation strengthened by 841 read => feed constraints.
[2020-06-04 07:22:28] [INFO ] Implicit Places using invariants and state equation in 2875 ms returned []
Implicit Place search using SMT with State Equation took 3134 ms to find 0 implicit places.
Finished structural reductions, in 2 iterations. Remains : 128/136 places, 2158/2161 transitions.
Finished random walk after 0 steps, including 0 resets, run visited all 0 properties in 1 ms. (steps per millisecond=0 )
Finished probabilistic random walk after 0 steps, run visited all 0 properties in 0 ms. (steps per millisecond=0 )
[2020-06-04 07:22:29] [INFO ] Flow matrix only has 1698 transitions (discarded 460 similar events)
// Phase 1: matrix 1698 rows 128 cols
[2020-06-04 07:22:29] [INFO ] Invariants computation overflowed in 12 ms
Support contains 16 out of 128 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 128/128 places, 2158/2158 transitions.
Applied a total of 0 rules in 171 ms. Remains 128 /128 variables (removed 0) and now considering 2158/2158 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 128/128 places, 2158/2158 transitions.
Starting structural reductions, iteration 0 : 128/128 places, 2158/2158 transitions.
Applied a total of 0 rules in 150 ms. Remains 128 /128 variables (removed 0) and now considering 2158/2158 (removed 0) transitions.
[2020-06-04 07:22:29] [INFO ] Flow matrix only has 1698 transitions (discarded 460 similar events)
// Phase 1: matrix 1698 rows 128 cols
[2020-06-04 07:22:29] [INFO ] Invariants computation overflowed in 11 ms
[2020-06-04 07:22:29] [INFO ] Implicit Places using invariants in 259 ms returned []
[2020-06-04 07:22:29] [INFO ] Flow matrix only has 1698 transitions (discarded 460 similar events)
// Phase 1: matrix 1698 rows 128 cols
[2020-06-04 07:22:29] [INFO ] Invariants computation overflowed in 14 ms
[2020-06-04 07:22:30] [INFO ] State equation strengthened by 841 read => feed constraints.
[2020-06-04 07:22:32] [INFO ] Implicit Places using invariants and state equation in 2944 ms returned []
Implicit Place search using SMT with State Equation took 3206 ms to find 0 implicit places.
[2020-06-04 07:22:32] [INFO ] Redundant transitions in 30 ms returned []
[2020-06-04 07:22:32] [INFO ] Flow matrix only has 1698 transitions (discarded 460 similar events)
// Phase 1: matrix 1698 rows 128 cols
[2020-06-04 07:22:32] [INFO ] Invariants computation overflowed in 16 ms
[2020-06-04 07:22:34] [INFO ] Dead Transitions using invariants and state equation in 1744 ms returned []
Finished structural reductions, in 1 iterations. Remains : 128/128 places, 2158/2158 transitions.
Finished random walk after 0 steps, including 0 resets, run visited all 0 properties in 1 ms. (steps per millisecond=0 )
Ensure Unique test removed 460 transitions
Reduce isomorphic transitions removed 460 transitions.
Iterating post reduction 0 with 460 rules applied. Total rules applied 460 place count 128 transition count 1698
Applied a total of 460 rules in 29 ms. Remains 128 /128 variables (removed 0) and now considering 1698/2158 (removed 460) transitions.
// Phase 1: matrix 1698 rows 128 cols
[2020-06-04 07:22:34] [INFO ] Invariants computation overflowed in 10 ms
[2020-06-04 07:22:34] [INFO ] Export to MCC properties in file /home/mcc/execution/UpperBounds.sr.xml took 2 ms.
[2020-06-04 07:22:34] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 18 ms.
info: Time: 3600 - MCC
vrfy: Checking UpperBounds @ SimpleLoadBal-PT-20 @ 3570 seconds

FORMULA SimpleLoadBal-PT-20-UpperBounds-01 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA SimpleLoadBal-PT-20-UpperBounds-02 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA SimpleLoadBal-PT-20-UpperBounds-03 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA SimpleLoadBal-PT-20-UpperBounds-04 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA SimpleLoadBal-PT-20-UpperBounds-05 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA SimpleLoadBal-PT-20-UpperBounds-06 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA SimpleLoadBal-PT-20-UpperBounds-07 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA SimpleLoadBal-PT-20-UpperBounds-08 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA SimpleLoadBal-PT-20-UpperBounds-09 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA SimpleLoadBal-PT-20-UpperBounds-10 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA SimpleLoadBal-PT-20-UpperBounds-11 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA SimpleLoadBal-PT-20-UpperBounds-12 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA SimpleLoadBal-PT-20-UpperBounds-13 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA SimpleLoadBal-PT-20-UpperBounds-14 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA SimpleLoadBal-PT-20-UpperBounds-15 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for UpperBounds @ SimpleLoadBal-PT-20

{
"exit":
{
"memory": 2264824,
"runtime": 3570.000000,
"signal": "User defined signal 1"
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "MAX(p124)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"preliminary_value": "unknown 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 "
},
"task":
{
"compoundnumber": 16,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 2286/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 4096
lola: finding significant places
lola: 128 places, 2158 transitions, 98 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from UpperBounds.xml
lola: MAX(p124) : MAX(p26) : MAX(p48) : MAX(p8) : MAX(p7) : MAX(p93) : MAX(p83) : MAX(p37) : MAX(p9) : MAX(p21) : MAX(p84) : MAX(p5) : MAX(p6) : MAX(p33) : MAX(p53) : MAX(p31)
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(p124)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p124)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 31627 markings, 78754 edges, 6325 markings/sec, 0 secs
lola: 64262 markings, 159735 edges, 6527 markings/sec, 5 secs
lola: 96767 markings, 244022 edges, 6501 markings/sec, 10 secs
lola: 129842 markings, 330924 edges, 6615 markings/sec, 15 secs
lola: 163262 markings, 416260 edges, 6684 markings/sec, 20 secs
lola: 195693 markings, 500513 edges, 6486 markings/sec, 25 secs
lola: 228768 markings, 586619 edges, 6615 markings/sec, 30 secs
lola: 262261 markings, 675551 edges, 6699 markings/sec, 35 secs
lola: 295197 markings, 760810 edges, 6587 markings/sec, 40 secs
lola: 328423 markings, 851351 edges, 6645 markings/sec, 45 secs
lola: 361312 markings, 942316 edges, 6578 markings/sec, 50 secs
lola: 394322 markings, 1035358 edges, 6602 markings/sec, 55 secs
lola: 427143 markings, 1131023 edges, 6564 markings/sec, 60 secs
lola: 459139 markings, 1227597 edges, 6399 markings/sec, 65 secs
lola: 491469 markings, 1310320 edges, 6466 markings/sec, 70 secs
lola: 524472 markings, 1396122 edges, 6601 markings/sec, 75 secs
lola: 558204 markings, 1485661 edges, 6746 markings/sec, 80 secs
lola: 591584 markings, 1572868 edges, 6676 markings/sec, 85 secs
lola: 625222 markings, 1663965 edges, 6728 markings/sec, 90 secs
lola: 658405 markings, 1755657 edges, 6637 markings/sec, 95 secs
lola: 691704 markings, 1849255 edges, 6660 markings/sec, 100 secs
lola: 724774 markings, 1946167 edges, 6614 markings/sec, 105 secs
lola: 757031 markings, 2045152 edges, 6451 markings/sec, 110 secs
lola: 789355 markings, 2130190 edges, 6465 markings/sec, 115 secs
lola: 821937 markings, 2215252 edges, 6516 markings/sec, 120 secs
lola: 855539 markings, 2304615 edges, 6720 markings/sec, 125 secs
lola: 889057 markings, 2392993 edges, 6704 markings/sec, 130 secs
lola: 922424 markings, 2480228 edges, 6673 markings/sec, 135 secs
lola: 955889 markings, 2571916 edges, 6693 markings/sec, 140 secs
lola: 988836 markings, 2665513 edges, 6589 markings/sec, 145 secs
lola: 1022155 markings, 2760195 edges, 6664 markings/sec, 150 secs
lola: 1054762 markings, 2858141 edges, 6521 markings/sec, 155 secs
lola: 1087223 markings, 2958085 edges, 6492 markings/sec, 160 secs
lola: 1119842 markings, 3053717 edges, 6524 markings/sec, 165 secs
lola: 1152183 markings, 3136921 edges, 6468 markings/sec, 170 secs
lola: 1185178 markings, 3221758 edges, 6599 markings/sec, 175 secs
lola: 1218928 markings, 3311440 edges, 6750 markings/sec, 180 secs
lola: 1252385 markings, 3399339 edges, 6691 markings/sec, 185 secs
lola: 1285580 markings, 3488029 edges, 6639 markings/sec, 190 secs
lola: 1318711 markings, 3579990 edges, 6626 markings/sec, 195 secs
lola: 1351989 markings, 3673546 edges, 6656 markings/sec, 200 secs
lola: 1384694 markings, 3771453 edges, 6541 markings/sec, 205 secs
lola: 1417331 markings, 3869416 edges, 6527 markings/sec, 210 secs
lola: 1449744 markings, 3968770 edges, 6483 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 212404 KB
lola: time consumption: 225 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p26)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p26)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 2 markings, 1 edges
lola: ========================================
lola: subprocess 2 will run for 238 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p48)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p48)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 2 markings, 1 edges
lola: ========================================
lola: subprocess 3 will run for 257 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p8)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p8)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 2 markings, 1 edges
lola: subprocess 4 will run for 278 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p7)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: ========================================
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 2 markings, 1 edges
lola: ========================================
lola: subprocess 5 will run for 304 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p93)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p93)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 17 markings, 16 edges
lola: ========================================
lola: subprocess 6 will run for 334 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p83)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p83)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 2 markings, 1 edges
lola: ========================================
lola: subprocess 7 will run for 371 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p37)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p37)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 4 markings, 3 edges
lola: ========================================
lola: subprocess 8 will run for 418 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p9)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p9)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 2 markings, 1 edges
lola: ========================================
lola: subprocess 9 will run for 477 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p21)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p21)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 2 markings, 1 edges
lola: ========================================
lola: subprocess 10 will run for 557 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p84)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p84)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 3 markings, 2 edges
lola: ========================================
lola: subprocess 11 will run for 668 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p5)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 12 will run for 836 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p6)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 2 markings, 1 edges
lola: ========================================
lola: subprocess 13 will run for 1114 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p33)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p33)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 5 markings, 4 edges
lola: ========================================
lola: subprocess 14 will run for 1672 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p53)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p53)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 3 markings, 2 edges
lola: ========================================
lola: subprocess 15 will run for 3344 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p31)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p31)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 3 markings, 2 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: MAX(p124)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p124)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 31748 markings, 79094 edges, 6350 markings/sec, 0 secs
lola: 64561 markings, 160519 edges, 6563 markings/sec, 5 secs
lola: 97266 markings, 245043 edges, 6541 markings/sec, 10 secs
lola: 130706 markings, 333180 edges, 6688 markings/sec, 15 secs
lola: 164286 markings, 418926 edges, 6716 markings/sec, 20 secs
lola: 197031 markings, 504215 edges, 6549 markings/sec, 25 secs
lola: 230387 markings, 591060 edges, 6671 markings/sec, 30 secs
lola: 264259 markings, 680778 edges, 6774 markings/sec, 35 secs
lola: 297695 markings, 767324 edges, 6687 markings/sec, 40 secs
lola: 331254 markings, 859244 edges, 6712 markings/sec, 45 secs
lola: 364613 markings, 951292 edges, 6672 markings/sec, 50 secs
lola: 398028 markings, 1045844 edges, 6683 markings/sec, 55 secs
lola: 431268 markings, 1142438 edges, 6648 markings/sec, 60 secs
lola: 463523 markings, 1238199 edges, 6451 markings/sec, 65 secs
lola: 496145 markings, 1322841 edges, 6524 markings/sec, 70 secs
lola: 529365 markings, 1409342 edges, 6644 markings/sec, 75 secs
lola: 563182 markings, 1499195 edges, 6763 markings/sec, 80 secs
lola: 596559 markings, 1585641 edges, 6675 markings/sec, 85 secs
lola: 630039 markings, 1677130 edges, 6696 markings/sec, 90 secs
lola: 663360 markings, 1769124 edges, 6664 markings/sec, 95 secs
lola: 696725 markings, 1863004 edges, 6673 markings/sec, 100 secs
lola: 729912 markings, 1960277 edges, 6637 markings/sec, 105 secs
lola: 762210 markings, 2060560 edges, 6460 markings/sec, 110 secs
lola: 794712 markings, 2144339 edges, 6500 markings/sec, 115 secs
lola: 827762 markings, 2230909 edges, 6610 markings/sec, 120 secs
lola: 861548 markings, 2320671 edges, 6757 markings/sec, 125 secs
lola: 894942 markings, 2407661 edges, 6679 markings/sec, 130 secs
lola: 928522 markings, 2497620 edges, 6716 markings/sec, 135 secs
lola: 961946 markings, 2589009 edges, 6685 markings/sec, 140 secs
lola: 995134 markings, 2682920 edges, 6638 markings/sec, 145 secs
lola: 1028452 markings, 2778510 edges, 6664 markings/sec, 150 secs
lola: 1061045 markings, 2877596 edges, 6519 markings/sec, 155 secs
lola: 1093433 markings, 2977761 edges, 6478 markings/sec, 160 secs
lola: 1126177 markings, 3069099 edges, 6549 markings/sec, 165 secs
lola: 1158800 markings, 3152953 edges, 6525 markings/sec, 170 secs
lola: 1192189 markings, 3240608 edges, 6678 markings/sec, 175 secs
lola: 1225971 markings, 3328735 edges, 6756 markings/sec, 180 secs
lola: 1259483 markings, 3417649 edges, 6702 markings/sec, 185 secs
lola: 1292972 markings, 3508058 edges, 6698 markings/sec, 190 secs
lola: 1326291 markings, 3600469 edges, 6664 markings/sec, 195 secs
lola: 1359357 markings, 3696444 edges, 6613 markings/sec, 200 secs
lola: 1392363 markings, 3794015 edges, 6601 markings/sec, 205 secs
lola: 1424954 markings, 3893542 edges, 6518 markings/sec, 210 secs
lola: 1457425 markings, 3993667 edges, 6494 markings/sec, 215 secs
lola: 1489936 markings, 4094923 edges, 6502 markings/sec, 220 secs
lola: 1522344 markings, 4196701 edges, 6482 markings/sec, 225 secs
lola: 1554777 markings, 4296465 edges, 6487 markings/sec, 230 secs
lola: 1587048 markings, 4398708 edges, 6454 markings/sec, 235 secs
lola: 1619330 markings, 4501658 edges, 6456 markings/sec, 240 secs
lola: 1651688 markings, 4604325 edges, 6472 markings/sec, 245 secs
lola: 1684307 markings, 4706189 edges, 6524 markings/sec, 250 secs
lola: 1716730 markings, 4810064 edges, 6485 markings/sec, 255 secs
lola: 1749184 markings, 4913349 edges, 6491 markings/sec, 260 secs
lola: 1781611 markings, 5017866 edges, 6485 markings/sec, 265 secs
lola: 1814208 markings, 5124977 edges, 6519 markings/sec, 270 secs
lola: 1846886 markings, 5230724 edges, 6536 markings/sec, 275 secs
lola: 1879645 markings, 5336214 edges, 6552 markings/sec, 280 secs
lola: 1912532 markings, 5444547 edges, 6577 markings/sec, 285 secs
lola: 1945632 markings, 5553767 edges, 6620 markings/sec, 290 secs
lola: 1978696 markings, 5662535 edges, 6613 markings/sec, 295 secs
lola: 2011627 markings, 5772724 edges, 6586 markings/sec, 300 secs
lola: 2044823 markings, 5883140 edges, 6639 markings/sec, 305 secs
lola: 2077945 markings, 5994532 edges, 6624 markings/sec, 310 secs
lola: 2111179 markings, 6104412 edges, 6647 markings/sec, 315 secs
lola: 2144425 markings, 6214878 edges, 6649 markings/sec, 320 secs
lola: 2177583 markings, 6324209 edges, 6632 markings/sec, 325 secs
lola: 2210784 markings, 6435625 edges, 6640 markings/sec, 330 secs
lola: 2243959 markings, 6547303 edges, 6635 markings/sec, 335 secs
lola: 2277099 markings, 6657052 edges, 6628 markings/sec, 340 secs
lola: 2310355 markings, 6769271 edges, 6651 markings/sec, 345 secs
lola: 2343671 markings, 6878097 edges, 6663 markings/sec, 350 secs
lola: 2376946 markings, 6989276 edges, 6655 markings/sec, 355 secs
lola: 2410302 markings, 7099750 edges, 6671 markings/sec, 360 secs
lola: 2443592 markings, 7209529 edges, 6658 markings/sec, 365 secs
lola: 2476892 markings, 7318440 edges, 6660 markings/sec, 370 secs
lola: 2509859 markings, 7425524 edges, 6593 markings/sec, 375 secs
lola: 2542908 markings, 7534828 edges, 6610 markings/sec, 380 secs
lola: 2575936 markings, 7643060 edges, 6606 markings/sec, 385 secs
lola: 2609056 markings, 7750374 edges, 6624 markings/sec, 390 secs
lola: 2642291 markings, 7857746 edges, 6647 markings/sec, 395 secs
lola: 2675217 markings, 7963725 edges, 6585 markings/sec, 400 secs
lola: 2708209 markings, 8071261 edges, 6598 markings/sec, 405 secs
lola: 2741196 markings, 8178732 edges, 6597 markings/sec, 410 secs
lola: 2774324 markings, 8286601 edges, 6626 markings/sec, 415 secs
lola: 2807282 markings, 8392789 edges, 6592 markings/sec, 420 secs
lola: 2840428 markings, 8500860 edges, 6629 markings/sec, 425 secs
lola: 2873412 markings, 8606883 edges, 6597 markings/sec, 430 secs
lola: 2906079 markings, 8715054 edges, 6533 markings/sec, 435 secs
lola: 2939062 markings, 8823036 edges, 6597 markings/sec, 440 secs
lola: 2972153 markings, 8930174 edges, 6618 markings/sec, 445 secs
lola: 3005013 markings, 9036292 edges, 6572 markings/sec, 450 secs
lola: 3037794 markings, 9143414 edges, 6556 markings/sec, 455 secs
lola: 3070816 markings, 9250565 edges, 6604 markings/sec, 460 secs
lola: 3103613 markings, 9358188 edges, 6559 markings/sec, 465 secs
lola: 3136449 markings, 9467006 edges, 6567 markings/sec, 470 secs
lola: 3169449 markings, 9574997 edges, 6600 markings/sec, 475 secs
lola: 3202546 markings, 9682517 edges, 6619 markings/sec, 480 secs
lola: 3235651 markings, 9791265 edges, 6621 markings/sec, 485 secs
lola: 3268682 markings, 9899419 edges, 6606 markings/sec, 490 secs
lola: 3301685 markings, 10007978 edges, 6601 markings/sec, 495 secs
lola: 3334734 markings, 10118075 edges, 6610 markings/sec, 500 secs
lola: 3367906 markings, 10227437 edges, 6634 markings/sec, 505 secs
lola: 3401010 markings, 10336721 edges, 6621 markings/sec, 510 secs
lola: 3434023 markings, 10446516 edges, 6603 markings/sec, 515 secs
lola: 3467029 markings, 10556300 edges, 6601 markings/sec, 520 secs
lola: 3500208 markings, 10665885 edges, 6636 markings/sec, 525 secs
lola: 3532789 markings, 10751790 edges, 6516 markings/sec, 530 secs
lola: 3565794 markings, 10836756 edges, 6601 markings/sec, 535 secs
lola: 3599389 markings, 10925609 edges, 6719 markings/sec, 540 secs
lola: 3633161 markings, 11015149 edges, 6754 markings/sec, 545 secs
lola: 3666735 markings, 11103662 edges, 6715 markings/sec, 550 secs
lola: 3700605 markings, 11192881 edges, 6774 markings/sec, 555 secs
lola: 3734453 markings, 11287682 edges, 6770 markings/sec, 560 secs
lola: 3767543 markings, 11394639 edges, 6618 markings/sec, 565 secs
lola: 3800746 markings, 11504992 edges, 6641 markings/sec, 570 secs
lola: 3833908 markings, 11614379 edges, 6632 markings/sec, 575 secs
lola: 3867103 markings, 11724040 edges, 6639 markings/sec, 580 secs
lola: 3900432 markings, 11834222 edges, 6666 markings/sec, 585 secs
lola: 3933644 markings, 11944899 edges, 6642 markings/sec, 590 secs
lola: 3967004 markings, 12053925 edges, 6672 markings/sec, 595 secs
lola: 4000067 markings, 12164528 edges, 6613 markings/sec, 600 secs
lola: 4033457 markings, 12275037 edges, 6678 markings/sec, 605 secs
lola: 4066828 markings, 12385802 edges, 6674 markings/sec, 610 secs
lola: 4099835 markings, 12475896 edges, 6601 markings/sec, 615 secs
lola: 4132708 markings, 12561185 edges, 6575 markings/sec, 620 secs
lola: 4166332 markings, 12648719 edges, 6725 markings/sec, 625 secs
lola: 4200061 markings, 12742463 edges, 6746 markings/sec, 630 secs
lola: 4233177 markings, 12842923 edges, 6623 markings/sec, 635 secs
lola: 4266375 markings, 12955458 edges, 6640 markings/sec, 640 secs
lola: 4299751 markings, 13067787 edges, 6675 markings/sec, 645 secs
lola: 4332977 markings, 13179965 edges, 6645 markings/sec, 650 secs
lola: 4366244 markings, 13290717 edges, 6653 markings/sec, 655 secs
lola: 4399119 markings, 13384651 edges, 6575 markings/sec, 660 secs
lola: 4432090 markings, 13470271 edges, 6594 markings/sec, 665 secs
lola: 4465527 markings, 13558090 edges, 6687 markings/sec, 670 secs
lola: 4499514 markings, 13646638 edges, 6797 markings/sec, 675 secs
lola: 4532817 markings, 13733555 edges, 6661 markings/sec, 680 secs
lola: 4566332 markings, 13821075 edges, 6703 markings/sec, 685 secs
lola: 4600013 markings, 13911992 edges, 6736 markings/sec, 690 secs
lola: 4632836 markings, 14018789 edges, 6565 markings/sec, 695 secs
lola: 4665898 markings, 14130298 edges, 6612 markings/sec, 700 secs
lola: 4699381 markings, 14241898 edges, 6697 markings/sec, 705 secs
lola: 4732294 markings, 14354245 edges, 6583 markings/sec, 710 secs
lola: 4765247 markings, 14465869 edges, 6591 markings/sec, 715 secs
lola: 4798429 markings, 14578639 edges, 6636 markings/sec, 720 secs
lola: 4831751 markings, 14690997 edges, 6664 markings/sec, 725 secs
lola: 4864865 markings, 14803156 edges, 6623 markings/sec, 730 secs
lola: 4898289 markings, 14914724 edges, 6685 markings/sec, 735 secs
lola: 4931498 markings, 15025879 edges, 6642 markings/sec, 740 secs
lola: 4964689 markings, 15129533 edges, 6638 markings/sec, 745 secs
lola: 4997909 markings, 15222600 edges, 6644 markings/sec, 750 secs
lola: 5031034 markings, 15328056 edges, 6625 markings/sec, 755 secs
lola: 5064155 markings, 15440273 edges, 6624 markings/sec, 760 secs
lola: 5097496 markings, 15552776 edges, 6668 markings/sec, 765 secs
lola: 5130403 markings, 15652589 edges, 6581 markings/sec, 770 secs
lola: 5162945 markings, 15758852 edges, 6508 markings/sec, 775 secs
lola: 5195794 markings, 15873004 edges, 6570 markings/sec, 780 secs
lola: 5228768 markings, 15980559 edges, 6595 markings/sec, 785 secs
lola: 5261666 markings, 16070841 edges, 6580 markings/sec, 790 secs
lola: 5294111 markings, 16174070 edges, 6489 markings/sec, 795 secs
lola: 5327013 markings, 16287081 edges, 6580 markings/sec, 800 secs
lola: 5359199 markings, 16385713 edges, 6437 markings/sec, 805 secs
lola: 5392226 markings, 16499263 edges, 6605 markings/sec, 810 secs
lola: 5425457 markings, 16612720 edges, 6646 markings/sec, 815 secs
lola: 5458603 markings, 16727560 edges, 6629 markings/sec, 820 secs
lola: 5491531 markings, 16841824 edges, 6586 markings/sec, 825 secs
lola: 5524241 markings, 16956365 edges, 6542 markings/sec, 830 secs
lola: 5557139 markings, 17070052 edges, 6580 markings/sec, 835 secs
lola: 5589981 markings, 17185059 edges, 6568 markings/sec, 840 secs
lola: 5622742 markings, 17299385 edges, 6552 markings/sec, 845 secs
lola: 5655380 markings, 17414967 edges, 6528 markings/sec, 850 secs
lola: 5688197 markings, 17529462 edges, 6563 markings/sec, 855 secs
lola: 5720708 markings, 17646489 edges, 6502 markings/sec, 860 secs
lola: 5753473 markings, 17761164 edges, 6553 markings/sec, 865 secs
lola: 5786546 markings, 17876695 edges, 6615 markings/sec, 870 secs
lola: 5819390 markings, 17991635 edges, 6569 markings/sec, 875 secs
lola: 5852236 markings, 18083414 edges, 6569 markings/sec, 880 secs
lola: 5884773 markings, 18187749 edges, 6507 markings/sec, 885 secs
lola: 5917402 markings, 18292232 edges, 6526 markings/sec, 890 secs
lola: 5950017 markings, 18398175 edges, 6523 markings/sec, 895 secs
lola: 5982475 markings, 18514634 edges, 6492 markings/sec, 900 secs
lola: 6015618 markings, 18621522 edges, 6629 markings/sec, 905 secs
lola: 6048784 markings, 18711692 edges, 6633 markings/sec, 910 secs
lola: 6081407 markings, 18820076 edges, 6525 markings/sec, 915 secs
lola: 6113874 markings, 18935050 edges, 6493 markings/sec, 920 secs
lola: 6146470 markings, 19044480 edges, 6519 markings/sec, 925 secs
lola: 6179296 markings, 19142456 edges, 6565 markings/sec, 930 secs
lola: 6212169 markings, 19246521 edges, 6575 markings/sec, 935 secs
lola: 6245262 markings, 19347802 edges, 6619 markings/sec, 940 secs
lola: 6277747 markings, 19462783 edges, 6497 markings/sec, 945 secs
lola: 6310251 markings, 19572392 edges, 6501 markings/sec, 950 secs
lola: 6343234 markings, 19680219 edges, 6597 markings/sec, 955 secs
lola: 6375876 markings, 19792109 edges, 6528 markings/sec, 960 secs
lola: 6408349 markings, 19909571 edges, 6495 markings/sec, 965 secs
lola: 6440727 markings, 20026473 edges, 6476 markings/sec, 970 secs
lola: 6473307 markings, 20138619 edges, 6516 markings/sec, 975 secs
lola: 6506698 markings, 20229531 edges, 6678 markings/sec, 980 secs
lola: 6539754 markings, 20324248 edges, 6611 markings/sec, 985 secs
lola: 6572769 markings, 20420090 edges, 6603 markings/sec, 990 secs
lola: 6605351 markings, 20518699 edges, 6516 markings/sec, 995 secs
lola: 6637669 markings, 20620090 edges, 6464 markings/sec, 1000 secs
lola: 6669820 markings, 20723302 edges, 6430 markings/sec, 1005 secs
lola: 6702141 markings, 20826531 edges, 6464 markings/sec, 1010 secs
lola: 6734858 markings, 20922456 edges, 6543 markings/sec, 1015 secs
lola: 6767168 markings, 21024825 edges, 6462 markings/sec, 1020 secs
lola: 6799918 markings, 21126196 edges, 6550 markings/sec, 1025 secs
lola: 6832391 markings, 21230199 edges, 6495 markings/sec, 1030 secs
lola: 6864883 markings, 21336657 edges, 6498 markings/sec, 1035 secs
lola: 6897403 markings, 21444633 edges, 6504 markings/sec, 1040 secs
lola: 6930044 markings, 21558886 edges, 6528 markings/sec, 1045 secs
lola: 6962295 markings, 21671589 edges, 6450 markings/sec, 1050 secs
lola: 6995167 markings, 21783197 edges, 6574 markings/sec, 1055 secs
lola: 7027375 markings, 21894074 edges, 6442 markings/sec, 1060 secs
lola: 7059983 markings, 22005408 edges, 6522 markings/sec, 1065 secs
lola: 7093084 markings, 22111217 edges, 6620 markings/sec, 1070 secs
lola: 7125903 markings, 22223592 edges, 6564 markings/sec, 1075 secs
lola: 7158547 markings, 22335874 edges, 6529 markings/sec, 1080 secs
lola: 7190792 markings, 22454487 edges, 6449 markings/sec, 1085 secs
lola: 7223252 markings, 22573890 edges, 6492 markings/sec, 1090 secs
lola: 7255178 markings, 22696036 edges, 6385 markings/sec, 1095 secs
lola: 7287486 markings, 22816199 edges, 6462 markings/sec, 1100 secs
lola: 7319453 markings, 22927201 edges, 6393 markings/sec, 1105 secs
lola: 7351544 markings, 23045311 edges, 6418 markings/sec, 1110 secs
lola: 7383950 markings, 23160399 edges, 6481 markings/sec, 1115 secs
lola: 7416872 markings, 23274400 edges, 6584 markings/sec, 1120 secs
lola: 7449163 markings, 23386133 edges, 6458 markings/sec, 1125 secs
lola: 7482258 markings, 23493225 edges, 6619 markings/sec, 1130 secs
lola: 7515583 markings, 23602018 edges, 6665 markings/sec, 1135 secs
lola: 7548995 markings, 23713348 edges, 6682 markings/sec, 1140 secs
lola: 7580982 markings, 23814200 edges, 6397 markings/sec, 1145 secs
lola: 7613404 markings, 23923965 edges, 6484 markings/sec, 1150 secs
lola: 7646598 markings, 24032171 edges, 6639 markings/sec, 1155 secs
lola: 7679287 markings, 24144820 edges, 6538 markings/sec, 1160 secs
lola: 7711293 markings, 24267035 edges, 6401 markings/sec, 1165 secs
lola: 7743698 markings, 24388099 edges, 6481 markings/sec, 1170 secs
lola: 7775938 markings, 24509749 edges, 6448 markings/sec, 1175 secs
lola: 7808669 markings, 24621836 edges, 6546 markings/sec, 1180 secs
lola: 7840671 markings, 24745102 edges, 6400 markings/sec, 1185 secs
lola: 7873956 markings, 24846000 edges, 6657 markings/sec, 1190 secs
lola: 7905980 markings, 24969348 edges, 6405 markings/sec, 1195 secs
lola: 7938521 markings, 25081638 edges, 6508 markings/sec, 1200 secs
lola: 7971970 markings, 25190219 edges, 6690 markings/sec, 1205 secs
lola: 8004941 markings, 25298455 edges, 6594 markings/sec, 1210 secs
lola: 8038381 markings, 25391774 edges, 6688 markings/sec, 1215 secs
lola: 8071035 markings, 25496993 edges, 6531 markings/sec, 1220 secs
lola: 8103611 markings, 25596433 edges, 6515 markings/sec, 1225 secs
lola: 8136036 markings, 25711877 edges, 6485 markings/sec, 1230 secs
lola: 8168764 markings, 25813698 edges, 6546 markings/sec, 1235 secs
lola: 8201446 markings, 25927507 edges, 6536 markings/sec, 1240 secs
lola: 8233815 markings, 26046951 edges, 6474 markings/sec, 1245 secs
lola: 8265782 markings, 26168305 edges, 6393 markings/sec, 1250 secs
lola: 8298358 markings, 26277203 edges, 6515 markings/sec, 1255 secs
lola: 8331347 markings, 26385792 edges, 6598 markings/sec, 1260 secs
lola: 8363794 markings, 26486480 edges, 6489 markings/sec, 1265 secs
lola: 8396502 markings, 26596151 edges, 6542 markings/sec, 1270 secs
lola: 8428926 markings, 26704585 edges, 6485 markings/sec, 1275 secs
lola: 8461941 markings, 26813228 edges, 6603 markings/sec, 1280 secs
lola: 8494724 markings, 26928156 edges, 6557 markings/sec, 1285 secs
lola: 8527195 markings, 27048212 edges, 6494 markings/sec, 1290 secs
lola: 8559834 markings, 27155711 edges, 6528 markings/sec, 1295 secs
lola: 8593122 markings, 27269295 edges, 6658 markings/sec, 1300 secs
lola: 8625681 markings, 27378633 edges, 6512 markings/sec, 1305 secs
lola: 8658020 markings, 27481103 edges, 6468 markings/sec, 1310 secs
lola: 8690980 markings, 27590289 edges, 6592 markings/sec, 1315 secs
lola: 8723573 markings, 27708259 edges, 6519 markings/sec, 1320 secs
lola: 8755818 markings, 27812701 edges, 6449 markings/sec, 1325 secs
lola: 8788758 markings, 27913491 edges, 6588 markings/sec, 1330 secs
lola: 8821877 markings, 28024237 edges, 6624 markings/sec, 1335 secs
lola: 8854556 markings, 28139385 edges, 6536 markings/sec, 1340 secs
lola: 8887121 markings, 28252642 edges, 6513 markings/sec, 1345 secs
lola: 8919839 markings, 28363250 edges, 6544 markings/sec, 1350 secs
lola: 8952855 markings, 28472092 edges, 6603 markings/sec, 1355 secs
lola: 8985598 markings, 28587362 edges, 6549 markings/sec, 1360 secs
lola: 9018211 markings, 28698124 edges, 6523 markings/sec, 1365 secs
lola: 9051165 markings, 28807427 edges, 6591 markings/sec, 1370 secs
lola: 9083958 markings, 28920604 edges, 6559 markings/sec, 1375 secs
lola: 9116975 markings, 29034803 edges, 6603 markings/sec, 1380 secs
lola: 9149613 markings, 29146769 edges, 6528 markings/sec, 1385 secs
lola: 9182415 markings, 29260995 edges, 6560 markings/sec, 1390 secs
lola: 9214960 markings, 29378825 edges, 6509 markings/sec, 1395 secs
lola: 9248215 markings, 29491605 edges, 6651 markings/sec, 1400 secs
lola: 9280355 markings, 29612277 edges, 6428 markings/sec, 1405 secs
lola: 9313157 markings, 29725830 edges, 6560 markings/sec, 1410 secs
lola: 9345305 markings, 29844737 edges, 6430 markings/sec, 1415 secs
lola: 9378588 markings, 29953664 edges, 6657 markings/sec, 1420 secs
lola: 9410984 markings, 30064919 edges, 6479 markings/sec, 1425 secs
lola: 9443792 markings, 30174775 edges, 6562 markings/sec, 1430 secs
lola: 9476240 markings, 30292670 edges, 6490 markings/sec, 1435 secs
lola: 9508816 markings, 30399987 edges, 6515 markings/sec, 1440 secs
lola: 9542069 markings, 30508105 edges, 6651 markings/sec, 1445 secs
lola: 9575027 markings, 30614401 edges, 6592 markings/sec, 1450 secs
lola: 9608261 markings, 30724693 edges, 6647 markings/sec, 1455 secs
lola: 9640951 markings, 30840481 edges, 6538 markings/sec, 1460 secs
lola: 9673292 markings, 30959162 edges, 6468 markings/sec, 1465 secs
lola: 9705540 markings, 31073498 edges, 6450 markings/sec, 1470 secs
lola: 9738552 markings, 31190011 edges, 6602 markings/sec, 1475 secs
lola: 9771821 markings, 31304922 edges, 6654 markings/sec, 1480 secs
lola: 9804456 markings, 31414844 edges, 6527 markings/sec, 1485 secs
lola: 9837508 markings, 31522823 edges, 6610 markings/sec, 1490 secs
lola: 9870478 markings, 31637829 edges, 6594 markings/sec, 1495 secs
lola: 9902819 markings, 31756692 edges, 6468 markings/sec, 1500 secs
lola: 9935670 markings, 31867014 edges, 6570 markings/sec, 1505 secs
lola: 9968486 markings, 31975112 edges, 6563 markings/sec, 1510 secs
lola: 10001095 markings, 32087753 edges, 6522 markings/sec, 1515 secs
lola: 10033348 markings, 32203539 edges, 6451 markings/sec, 1520 secs
lola: 10066193 markings, 32318678 edges, 6569 markings/sec, 1525 secs
lola: 10098546 markings, 32436544 edges, 6471 markings/sec, 1530 secs
lola: 10131062 markings, 32550007 edges, 6503 markings/sec, 1535 secs
lola: 10163344 markings, 32669185 edges, 6456 markings/sec, 1540 secs
lola: 10196707 markings, 32778656 edges, 6673 markings/sec, 1545 secs
lola: 10229225 markings, 32898857 edges, 6504 markings/sec, 1550 secs
lola: 10261849 markings, 33012686 edges, 6525 markings/sec, 1555 secs
lola: 10294790 markings, 33125257 edges, 6588 markings/sec, 1560 secs
lola: 10327567 markings, 33243672 edges, 6555 markings/sec, 1565 secs
lola: 10359850 markings, 33361442 edges, 6457 markings/sec, 1570 secs
lola: 10392208 markings, 33478676 edges, 6472 markings/sec, 1575 secs
lola: 10424949 markings, 33592320 edges, 6548 markings/sec, 1580 secs
lola: 10457383 markings, 33712485 edges, 6487 markings/sec, 1585 secs
lola: 10490402 markings, 33824697 edges, 6604 markings/sec, 1590 secs
lola: 10522933 markings, 33944252 edges, 6506 markings/sec, 1595 secs
lola: 10556585 markings, 34057869 edges, 6730 markings/sec, 1600 secs
lola: 10589928 markings, 34176032 edges, 6669 markings/sec, 1605 secs
lola: 10623105 markings, 34278111 edges, 6635 markings/sec, 1610 secs
lola: 10656406 markings, 34386972 edges, 6660 markings/sec, 1615 secs
lola: 10689182 markings, 34500880 edges, 6555 markings/sec, 1620 secs
lola: 10721950 markings, 34613434 edges, 6554 markings/sec, 1625 secs
lola: 10754408 markings, 34728787 edges, 6492 markings/sec, 1630 secs
lola: 10787609 markings, 34831261 edges, 6640 markings/sec, 1635 secs
lola: 10820748 markings, 34938836 edges, 6628 markings/sec, 1640 secs
lola: 10853450 markings, 35049167 edges, 6540 markings/sec, 1645 secs
lola: 10885890 markings, 35168285 edges, 6488 markings/sec, 1650 secs
lola: 10918484 markings, 35273341 edges, 6519 markings/sec, 1655 secs
lola: 10951810 markings, 35386397 edges, 6665 markings/sec, 1660 secs
lola: 10984698 markings, 35495050 edges, 6578 markings/sec, 1665 secs
lola: 11018000 markings, 35607423 edges, 6660 markings/sec, 1670 secs
lola: 11050777 markings, 35720432 edges, 6555 markings/sec, 1675 secs
lola: 11083444 markings, 35828778 edges, 6533 markings/sec, 1680 secs
lola: 11115800 markings, 35949223 edges, 6471 markings/sec, 1685 secs
lola: 11148596 markings, 36065414 edges, 6559 markings/sec, 1690 secs
lola: 11181207 markings, 36175082 edges, 6522 markings/sec, 1695 secs
lola: 11214367 markings, 36285533 edges, 6632 markings/sec, 1700 secs
lola: 11247041 markings, 36402042 edges, 6535 markings/sec, 1705 secs
lola: 11279753 markings, 36516892 edges, 6542 markings/sec, 1710 secs
lola: 11312023 markings, 36637259 edges, 6454 markings/sec, 1715 secs
lola: 11345002 markings, 36751363 edges, 6596 markings/sec, 1720 secs
lola: 11377469 markings, 36873343 edges, 6493 markings/sec, 1725 secs
lola: 11409967 markings, 36991781 edges, 6500 markings/sec, 1730 secs
lola: 11442586 markings, 37110442 edges, 6524 markings/sec, 1735 secs
lola: 11475586 markings, 37223848 edges, 6600 markings/sec, 1740 secs
lola: 11508937 markings, 37337398 edges, 6670 markings/sec, 1745 secs
lola: 11541379 markings, 37458741 edges, 6488 markings/sec, 1750 secs
lola: 11574074 markings, 37574284 edges, 6539 markings/sec, 1755 secs
lola: 11606738 markings, 37687939 edges, 6533 markings/sec, 1760 secs
lola: 11639048 markings, 37807489 edges, 6462 markings/sec, 1765 secs
lola: 11672181 markings, 37915755 edges, 6627 markings/sec, 1770 secs
lola: 11704718 markings, 38035140 edges, 6507 markings/sec, 1775 secs
lola: 11737822 markings, 38147242 edges, 6621 markings/sec, 1780 secs
lola: 11771113 markings, 38261464 edges, 6658 markings/sec, 1785 secs
lola: 11804081 markings, 38370089 edges, 6594 markings/sec, 1790 secs
lola: 11837034 markings, 38482549 edges, 6591 markings/sec, 1795 secs
lola: 11870019 markings, 38596301 edges, 6597 markings/sec, 1800 secs
lola: 11902886 markings, 38710888 edges, 6573 markings/sec, 1805 secs
lola: 11935727 markings, 38824762 edges, 6568 markings/sec, 1810 secs
lola: 11968817 markings, 38937393 edges, 6618 markings/sec, 1815 secs
lola: 12002167 markings, 39044371 edges, 6670 markings/sec, 1820 secs
lola: 12034951 markings, 39160586 edges, 6557 markings/sec, 1825 secs
lola: 12068024 markings, 39275842 edges, 6615 markings/sec, 1830 secs
lola: 12100735 markings, 39392680 edges, 6542 markings/sec, 1835 secs
lola: 12133820 markings, 39505185 edges, 6617 markings/sec, 1840 secs
lola: 12166595 markings, 39617471 edges, 6555 markings/sec, 1845 secs
lola: 12199355 markings, 39733645 edges, 6552 markings/sec, 1850 secs
lola: 12232284 markings, 39847483 edges, 6586 markings/sec, 1855 secs
lola: 12265250 markings, 39962292 edges, 6593 markings/sec, 1860 secs
lola: 12298094 markings, 40074282 edges, 6569 markings/sec, 1865 secs
lola: 12331254 markings, 40185860 edges, 6632 markings/sec, 1870 secs
lola: 12364135 markings, 40301830 edges, 6576 markings/sec, 1875 secs
lola: 12396842 markings, 40416854 edges, 6541 markings/sec, 1880 secs
lola: 12429860 markings, 40533753 edges, 6604 markings/sec, 1885 secs
lola: 12463218 markings, 40645968 edges, 6672 markings/sec, 1890 secs
lola: 12496647 markings, 40757460 edges, 6686 markings/sec, 1895 secs
lola: 12530094 markings, 40872304 edges, 6689 markings/sec, 1900 secs
lola: 12562890 markings, 40989998 edges, 6559 markings/sec, 1905 secs
lola: 12595657 markings, 41084145 edges, 6553 markings/sec, 1910 secs
lola: 12628646 markings, 41170562 edges, 6598 markings/sec, 1915 secs
lola: 12662384 markings, 41259065 edges, 6748 markings/sec, 1920 secs
lola: 12696147 markings, 41348277 edges, 6753 markings/sec, 1925 secs
lola: 12729708 markings, 41436844 edges, 6712 markings/sec, 1930 secs
lola: 12763258 markings, 41528307 edges, 6710 markings/sec, 1935 secs
lola: 12796442 markings, 41622215 edges, 6637 markings/sec, 1940 secs
lola: 12829445 markings, 41717934 edges, 6601 markings/sec, 1945 secs
lola: 12862009 markings, 41818236 edges, 6513 markings/sec, 1950 secs
lola: 12894667 markings, 41916927 edges, 6532 markings/sec, 1955 secs
lola: 12927443 markings, 42017411 edges, 6555 markings/sec, 1960 secs
lola: 12959755 markings, 42121040 edges, 6462 markings/sec, 1965 secs
lola: 12992412 markings, 42223608 edges, 6531 markings/sec, 1970 secs
lola: 13024873 markings, 42326256 edges, 6492 markings/sec, 1975 secs
lola: 13057638 markings, 42429794 edges, 6553 markings/sec, 1980 secs
lola: 13090201 markings, 42533878 edges, 6513 markings/sec, 1985 secs
lola: 13122583 markings, 42637058 edges, 6476 markings/sec, 1990 secs
lola: 13155451 markings, 42737684 edges, 6574 markings/sec, 1995 secs
lola: 13188278 markings, 42841460 edges, 6565 markings/sec, 2000 secs
lola: 13221027 markings, 42946064 edges, 6550 markings/sec, 2005 secs
lola: 13253774 markings, 43051342 edges, 6549 markings/sec, 2010 secs
lola: 13286465 markings, 43157249 edges, 6538 markings/sec, 2015 secs
lola: 13319354 markings, 43263454 edges, 6578 markings/sec, 2020 secs
lola: 13352317 markings, 43371334 edges, 6593 markings/sec, 2025 secs
lola: 13385356 markings, 43479021 edges, 6608 markings/sec, 2030 secs
lola: 13418471 markings, 43587140 edges, 6623 markings/sec, 2035 secs
lola: 13451545 markings, 43697779 edges, 6615 markings/sec, 2040 secs
lola: 13484867 markings, 43809879 edges, 6664 markings/sec, 2045 secs
lola: 13518136 markings, 43921074 edges, 6654 markings/sec, 2050 secs
lola: 13551432 markings, 44031626 edges, 6659 markings/sec, 2055 secs
lola: 13584675 markings, 44140659 edges, 6649 markings/sec, 2060 secs
lola: 13617893 markings, 44240369 edges, 6644 markings/sec, 2065 secs
lola: 13651741 markings, 44330894 edges, 6770 markings/sec, 2070 secs
lola: 13685497 markings, 44423011 edges, 6751 markings/sec, 2075 secs
lola: 13718133 markings, 44525113 edges, 6527 markings/sec, 2080 secs
lola: 13750521 markings, 44628349 edges, 6478 markings/sec, 2085 secs
lola: 13783190 markings, 44731408 edges, 6534 markings/sec, 2090 secs
lola: 13815703 markings, 44835632 edges, 6503 markings/sec, 2095 secs
lola: 13848271 markings, 44943397 edges, 6514 markings/sec, 2100 secs
lola: 13881002 markings, 45051427 edges, 6546 markings/sec, 2105 secs
lola: 13913855 markings, 45160732 edges, 6571 markings/sec, 2110 secs
lola: 13946776 markings, 45271407 edges, 6584 markings/sec, 2115 secs
lola: 13980099 markings, 45382012 edges, 6665 markings/sec, 2120 secs
lola: 14013184 markings, 45497980 edges, 6617 markings/sec, 2125 secs
lola: 14046247 markings, 45611473 edges, 6613 markings/sec, 2130 secs
lola: 14079106 markings, 45724154 edges, 6572 markings/sec, 2135 secs
lola: 14113164 markings, 45835972 edges, 6812 markings/sec, 2140 secs
lola: 14146520 markings, 45943869 edges, 6671 markings/sec, 2145 secs
lola: 14179416 markings, 46057020 edges, 6579 markings/sec, 2150 secs
lola: 14212155 markings, 46175720 edges, 6548 markings/sec, 2155 secs
lola: 14244886 markings, 46290359 edges, 6546 markings/sec, 2160 secs
lola: 14277805 markings, 46408280 edges, 6584 markings/sec, 2165 secs
lola: 14310419 markings, 46526783 edges, 6523 markings/sec, 2170 secs
lola: 14343703 markings, 46636717 edges, 6657 markings/sec, 2175 secs
lola: 14376920 markings, 46750843 edges, 6643 markings/sec, 2180 secs
lola: 14411289 markings, 46861340 edges, 6874 markings/sec, 2185 secs
lola: 14445150 markings, 46977006 edges, 6772 markings/sec, 2190 secs
lola: 14478472 markings, 47092592 edges, 6664 markings/sec, 2195 secs
lola: 14512116 markings, 47204991 edges, 6729 markings/sec, 2200 secs
lola: 14546504 markings, 47318304 edges, 6878 markings/sec, 2205 secs
lola: 14580235 markings, 47436444 edges, 6746 markings/sec, 2210 secs
lola: 14613751 markings, 47555804 edges, 6703 markings/sec, 2215 secs
lola: 14647911 markings, 47671576 edges, 6832 markings/sec, 2220 secs
lola: 14682226 markings, 47783414 edges, 6863 markings/sec, 2225 secs
lola: 14716269 markings, 47899031 edges, 6809 markings/sec, 2230 secs
lola: 14750207 markings, 48016540 edges, 6788 markings/sec, 2235 secs
lola: 14783772 markings, 48139133 edges, 6713 markings/sec, 2240 secs
lola: 14817824 markings, 48252683 edges, 6810 markings/sec, 2245 secs
lola: 14851852 markings, 48368328 edges, 6806 markings/sec, 2250 secs
lola: 14885336 markings, 48483852 edges, 6697 markings/sec, 2255 secs
lola: 14919018 markings, 48601793 edges, 6736 markings/sec, 2260 secs
lola: 14952515 markings, 48717424 edges, 6699 markings/sec, 2265 secs
lola: 14985939 markings, 48837911 edges, 6685 markings/sec, 2270 secs
lola: 15019476 markings, 48952041 edges, 6707 markings/sec, 2275 secs
lola: 15053759 markings, 49068851 edges, 6857 markings/sec, 2280 secs
lola: 15087255 markings, 49186898 edges, 6699 markings/sec, 2285 secs
lola: 15121139 markings, 49304751 edges, 6777 markings/sec, 2290 secs
lola: 15154995 markings, 49426319 edges, 6771 markings/sec, 2295 secs
lola: 15188658 markings, 49547502 edges, 6733 markings/sec, 2300 secs
lola: 15222530 markings, 49662502 edges, 6774 markings/sec, 2305 secs
lola: 15256345 markings, 49777979 edges, 6763 markings/sec, 2310 secs
lola: 15289824 markings, 49898614 edges, 6696 markings/sec, 2315 secs
lola: 15323705 markings, 50013834 edges, 6776 markings/sec, 2320 secs
lola: 15357277 markings, 50129836 edges, 6714 markings/sec, 2325 secs
lola: 15391199 markings, 50240241 edges, 6784 markings/sec, 2330 secs
lola: 15425140 markings, 50354602 edges, 6788 markings/sec, 2335 secs
lola: 15458989 markings, 50474355 edges, 6770 markings/sec, 2340 secs
lola: 15492287 markings, 50590607 edges, 6660 markings/sec, 2345 secs
lola: 15526168 markings, 50708281 edges, 6776 markings/sec, 2350 secs
lola: 15559258 markings, 50831244 edges, 6618 markings/sec, 2355 secs
lola: 15592876 markings, 50943279 edges, 6724 markings/sec, 2360 secs
lola: 15627388 markings, 51056430 edges, 6902 markings/sec, 2365 secs
lola: 15661072 markings, 51169795 edges, 6737 markings/sec, 2370 secs
lola: 15694355 markings, 51289725 edges, 6657 markings/sec, 2375 secs
lola: 15726589 markings, 51413034 edges, 6447 markings/sec, 2380 secs
lola: 15760212 markings, 51528468 edges, 6725 markings/sec, 2385 secs
lola: 15793981 markings, 51644083 edges, 6754 markings/sec, 2390 secs
lola: 15828040 markings, 51762749 edges, 6812 markings/sec, 2395 secs
lola: 15861612 markings, 51884890 edges, 6714 markings/sec, 2400 secs
lola: 15895424 markings, 52004261 edges, 6762 markings/sec, 2405 secs
lola: 15929633 markings, 52113755 edges, 6842 markings/sec, 2410 secs
lola: 15963234 markings, 52236281 edges, 6720 markings/sec, 2415 secs
lola: 15996460 markings, 52347965 edges, 6645 markings/sec, 2420 secs
lola: 16029998 markings, 52462984 edges, 6708 markings/sec, 2425 secs
lola: 16064220 markings, 52577510 edges, 6844 markings/sec, 2430 secs
lola: 16098828 markings, 52690451 edges, 6922 markings/sec, 2435 secs
lola: 16132386 markings, 52808661 edges, 6712 markings/sec, 2440 secs
lola: 16165412 markings, 52929303 edges, 6605 markings/sec, 2445 secs
lola: 16198864 markings, 53047774 edges, 6690 markings/sec, 2450 secs
lola: 16232361 markings, 53164219 edges, 6699 markings/sec, 2455 secs
lola: 16265802 markings, 53283046 edges, 6688 markings/sec, 2460 secs
lola: 16298930 markings, 53406279 edges, 6626 markings/sec, 2465 secs
lola: 16332758 markings, 53521300 edges, 6766 markings/sec, 2470 secs
lola: 16365810 markings, 53642673 edges, 6610 markings/sec, 2475 secs
lola: 16399645 markings, 53761830 edges, 6767 markings/sec, 2480 secs
lola: 16433336 markings, 53882637 edges, 6738 markings/sec, 2485 secs
lola: 16467125 markings, 54001575 edges, 6758 markings/sec, 2490 secs
lola: 16500562 markings, 54119601 edges, 6687 markings/sec, 2495 secs
lola: 16533810 markings, 54241969 edges, 6650 markings/sec, 2500 secs
lola: 16567048 markings, 54363912 edges, 6648 markings/sec, 2505 secs
lola: 16600548 markings, 54483006 edges, 6700 markings/sec, 2510 secs
lola: 16634040 markings, 54602963 edges, 6698 markings/sec, 2515 secs
lola: 16667564 markings, 54722452 edges, 6705 markings/sec, 2520 secs
lola: 16701032 markings, 54844905 edges, 6694 markings/sec, 2525 secs
lola: 16734799 markings, 54960004 edges, 6753 markings/sec, 2530 secs
lola: 16767560 markings, 55086321 edges, 6552 markings/sec, 2535 secs
lola: 16800800 markings, 55212305 edges, 6648 markings/sec, 2540 secs
lola: 16833955 markings, 55333493 edges, 6631 markings/sec, 2545 secs
lola: 16867270 markings, 55453587 edges, 6663 markings/sec, 2550 secs
lola: 16900608 markings, 55570663 edges, 6668 markings/sec, 2555 secs
lola: 16934254 markings, 55684504 edges, 6729 markings/sec, 2560 secs
lola: 16968523 markings, 55799086 edges, 6854 markings/sec, 2565 secs
lola: 17002129 markings, 55918426 edges, 6721 markings/sec, 2570 secs
lola: 17036098 markings, 56035336 edges, 6794 markings/sec, 2575 secs
lola: 17070357 markings, 56146511 edges, 6852 markings/sec, 2580 secs
lola: 17103816 markings, 56271111 edges, 6692 markings/sec, 2585 secs
lola: 17137176 markings, 56394469 edges, 6672 markings/sec, 2590 secs
lola: 17170365 markings, 56517836 edges, 6638 markings/sec, 2595 secs
lola: 17203128 markings, 56644230 edges, 6553 markings/sec, 2600 secs
lola: 17236468 markings, 56760145 edges, 6668 markings/sec, 2605 secs
lola: 17269991 markings, 56882418 edges, 6705 markings/sec, 2610 secs
lola: 17304203 markings, 56998292 edges, 6842 markings/sec, 2615 secs
lola: 17337897 markings, 57120393 edges, 6739 markings/sec, 2620 secs
lola: 17370970 markings, 57240681 edges, 6615 markings/sec, 2625 secs
lola: 17404930 markings, 57352206 edges, 6792 markings/sec, 2630 secs
lola: 17438461 markings, 57471911 edges, 6706 markings/sec, 2635 secs
lola: 17472443 markings, 57583348 edges, 6796 markings/sec, 2640 secs
lola: 17506542 markings, 57697202 edges, 6820 markings/sec, 2645 secs
lola: 17540057 markings, 57813150 edges, 6703 markings/sec, 2650 secs
lola: 17573376 markings, 57935085 edges, 6664 markings/sec, 2655 secs
lola: 17606437 markings, 58060095 edges, 6612 markings/sec, 2660 secs
lola: 17639869 markings, 58180546 edges, 6686 markings/sec, 2665 secs
lola: 17673884 markings, 58292970 edges, 6803 markings/sec, 2670 secs
lola: 17707269 markings, 58414441 edges, 6677 markings/sec, 2675 secs
lola: 17740959 markings, 58535130 edges, 6738 markings/sec, 2680 secs
lola: 17774216 markings, 58655474 edges, 6651 markings/sec, 2685 secs
lola: 17808267 markings, 58769390 edges, 6810 markings/sec, 2690 secs
lola: 17841574 markings, 58891281 edges, 6661 markings/sec, 2695 secs
lola: 17875288 markings, 59003093 edges, 6743 markings/sec, 2700 secs
lola: 17908913 markings, 59111463 edges, 6725 markings/sec, 2705 secs
lola: 17942571 markings, 59224366 edges, 6732 markings/sec, 2710 secs
lola: 17976266 markings, 59340132 edges, 6739 markings/sec, 2715 secs
lola: 18010196 markings, 59453378 edges, 6786 markings/sec, 2720 secs
lola: 18044239 markings, 59565712 edges, 6809 markings/sec, 2725 secs
lola: 18077518 markings, 59681770 edges, 6656 markings/sec, 2730 secs
lola: 18110576 markings, 59808708 edges, 6612 markings/sec, 2735 secs
lola: 18143999 markings, 59932160 edges, 6685 markings/sec, 2740 secs
lola: 18177888 markings, 60042788 edges, 6778 markings/sec, 2745 secs
lola: 18211261 markings, 60167462 edges, 6675 markings/sec, 2750 secs
lola: 18244844 markings, 60284425 edges, 6717 markings/sec, 2755 secs
lola: 18278013 markings, 60409696 edges, 6634 markings/sec, 2760 secs
lola: 18311844 markings, 60523329 edges, 6766 markings/sec, 2765 secs
lola: 18345045 markings, 60649930 edges, 6640 markings/sec, 2770 secs
lola: 18379207 markings, 60763102 edges, 6832 markings/sec, 2775 secs
lola: 18412383 markings, 60882218 edges, 6635 markings/sec, 2780 secs
lola: 18446441 markings, 60989686 edges, 6812 markings/sec, 2785 secs
lola: 18480484 markings, 61102873 edges, 6809 markings/sec, 2790 secs
lola: 18514548 markings, 61217813 edges, 6813 markings/sec, 2795 secs
lola: 18547744 markings, 61341541 edges, 6639 markings/sec, 2800 secs
lola: 18581211 markings, 61463844 edges, 6693 markings/sec, 2805 secs
lola: 18615239 markings, 61576408 edges, 6806 markings/sec, 2810 secs
lola: 18648522 markings, 61699860 edges, 6657 markings/sec, 2815 secs
lola: 18681774 markings, 61812627 edges, 6650 markings/sec, 2820 secs
lola: 18714982 markings, 61936236 edges, 6642 markings/sec, 2825 secs
lola: 18748018 markings, 62063702 edges, 6607 markings/sec, 2830 secs
lola: 18781453 markings, 62185933 edges, 6687 markings/sec, 2835 secs
lola: 18814890 markings, 62283516 edges, 6687 markings/sec, 2840 secs
lola: 18848527 markings, 62369834 edges, 6727 markings/sec, 2845 secs
lola: 18882789 markings, 62469690 edges, 6852 markings/sec, 2850 secs
lola: 18916338 markings, 62595710 edges, 6710 markings/sec, 2855 secs
lola: 18950265 markings, 62719106 edges, 6785 markings/sec, 2860 secs
lola: 18983434 markings, 62844363 edges, 6634 markings/sec, 2865 secs
lola: 19017011 markings, 62966436 edges, 6715 markings/sec, 2870 secs
lola: 19050307 markings, 63091428 edges, 6659 markings/sec, 2875 secs
lola: 19083509 markings, 63217867 edges, 6640 markings/sec, 2880 secs
lola: 19116533 markings, 63341193 edges, 6605 markings/sec, 2885 secs
lola: 19150455 markings, 63461776 edges, 6784 markings/sec, 2890 secs
lola: 19183492 markings, 63588222 edges, 6607 markings/sec, 2895 secs
lola: 19216698 markings, 63714397 edges, 6641 markings/sec, 2900 secs
lola: 19250453 markings, 63829304 edges, 6751 markings/sec, 2905 secs
lola: 19283634 markings, 63954249 edges, 6636 markings/sec, 2910 secs
lola: 19317633 markings, 64068134 edges, 6800 markings/sec, 2915 secs
lola: 19351650 markings, 64185840 edges, 6803 markings/sec, 2920 secs
lola: 19385185 markings, 64310453 edges, 6707 markings/sec, 2925 secs
lola: 19419285 markings, 64424028 edges, 6820 markings/sec, 2930 secs
lola: 19453347 markings, 64537161 edges, 6812 markings/sec, 2935 secs
lola: 19486924 markings, 64654281 edges, 6715 markings/sec, 2940 secs
lola: 19519914 markings, 64783462 edges, 6598 markings/sec, 2945 secs
lola: 19553055 markings, 64907190 edges, 6628 markings/sec, 2950 secs
lola: 19586458 markings, 65027736 edges, 6681 markings/sec, 2955 secs
lola: 19619605 markings, 65150180 edges, 6629 markings/sec, 2960 secs
lola: 19653147 markings, 65272660 edges, 6708 markings/sec, 2965 secs
lola: 19686397 markings, 65396917 edges, 6650 markings/sec, 2970 secs
lola: 19719657 markings, 65516599 edges, 6652 markings/sec, 2975 secs
lola: 19753612 markings, 65632452 edges, 6791 markings/sec, 2980 secs
lola: 19786910 markings, 65757558 edges, 6660 markings/sec, 2985 secs
lola: 19820088 markings, 65884082 edges, 6636 markings/sec, 2990 secs
lola: 19853373 markings, 66008914 edges, 6657 markings/sec, 2995 secs
lola: 19887907 markings, 66125423 edges, 6907 markings/sec, 3000 secs
lola: 19921597 markings, 66242426 edges, 6738 markings/sec, 3005 secs
lola: 19954900 markings, 66363737 edges, 6661 markings/sec, 3010 secs
lola: 19987793 markings, 66490085 edges, 6579 markings/sec, 3015 secs
lola: 20020903 markings, 66616837 edges, 6622 markings/sec, 3020 secs
lola: 20054426 markings, 66727557 edges, 6705 markings/sec, 3025 secs
lola: 20088169 markings, 66842532 edges, 6749 markings/sec, 3030 secs
lola: 20121650 markings, 66962265 edges, 6696 markings/sec, 3035 secs
lola: 20155150 markings, 67081281 edges, 6700 markings/sec, 3040 secs
lola: 20188630 markings, 67204487 edges, 6696 markings/sec, 3045 secs
lola: 20222252 markings, 67322729 edges, 6724 markings/sec, 3050 secs
lola: 20255559 markings, 67445300 edges, 6661 markings/sec, 3055 secs
lola: 20288635 markings, 67573526 edges, 6615 markings/sec, 3060 secs
lola: 20321829 markings, 67700094 edges, 6639 markings/sec, 3065 secs
lola: 20354982 markings, 67829534 edges, 6631 markings/sec, 3070 secs
lola: 20388249 markings, 67956184 edges, 6653 markings/sec, 3075 secs
lola: 20421417 markings, 68081193 edges, 6634 markings/sec, 3080 secs
lola: 20454890 markings, 68198699 edges, 6695 markings/sec, 3085 secs
lola: 20488043 markings, 68321526 edges, 6631 markings/sec, 3090 secs
lola: 20521695 markings, 68440936 edges, 6730 markings/sec, 3095 secs
lola: 20555284 markings, 68566716 edges, 6718 markings/sec, 3100 secs
lola: 20588791 markings, 68688599 edges, 6701 markings/sec, 3105 secs
lola: 20622529 markings, 68807325 edges, 6748 markings/sec, 3110 secs
lola: 20656426 markings, 68920665 edges, 6779 markings/sec, 3115 secs
lola: 20690066 markings, 69039825 edges, 6728 markings/sec, 3120 secs
lola: 20723351 markings, 69159633 edges, 6657 markings/sec, 3125 secs
lola: 20756365 markings, 69288356 edges, 6603 markings/sec, 3130 secs
lola: 20789371 markings, 69418165 edges, 6601 markings/sec, 3135 secs
lola: 20823076 markings, 69539085 edges, 6741 markings/sec, 3140 secs
lola: 20856204 markings, 69668125 edges, 6626 markings/sec, 3145 secs
lola: 20889657 markings, 69783324 edges, 6691 markings/sec, 3150 secs
lola: 20923540 markings, 69898812 edges, 6777 markings/sec, 3155 secs
lola: 20956488 markings, 70025583 edges, 6590 markings/sec, 3160 secs
lola: 20989769 markings, 70147236 edges, 6656 markings/sec, 3165 secs
lola: 21023821 markings, 70258955 edges, 6810 markings/sec, 3170 secs
lola: 21057310 markings, 70381733 edges, 6698 markings/sec, 3175 secs
lola: 21090589 markings, 70507690 edges, 6656 markings/sec, 3180 secs
lola: 21124254 markings, 70626116 edges, 6733 markings/sec, 3185 secs
lola: 21158340 markings, 70745314 edges, 6817 markings/sec, 3190 secs
lola: 21191155 markings, 70878518 edges, 6563 markings/sec, 3195 secs
lola: 21224173 markings, 71007292 edges, 6604 markings/sec, 3200 secs
lola: 21257952 markings, 71129470 edges, 6756 markings/sec, 3205 secs
lola: 21291525 markings, 71241384 edges, 6715 markings/sec, 3210 secs
lola: 21324958 markings, 71363464 edges, 6687 markings/sec, 3215 secs
lola: 21358597 markings, 71482658 edges, 6728 markings/sec, 3220 secs
lola: 21391955 markings, 71604866 edges, 6672 markings/sec, 3225 secs
lola: 21425861 markings, 71722314 edges, 6781 markings/sec, 3230 secs
lola: 21459417 markings, 71845055 edges, 6711 markings/sec, 3235 secs
lola: 21492201 markings, 71975320 edges, 6557 markings/sec, 3240 secs
lola: 21527401 markings, 72103972 edges, 7040 markings/sec, 3245 secs
lola: 21562358 markings, 72232865 edges, 6991 markings/sec, 3250 secs
lola: 21597267 markings, 72363087 edges, 6982 markings/sec, 3255 secs
lola: 21633023 markings, 72482673 edges, 7151 markings/sec, 3260 secs
lola: 21668510 markings, 72605063 edges, 7097 markings/sec, 3265 secs
lola: 21703601 markings, 72743650 edges, 7018 markings/sec, 3270 secs
lola: 21738738 markings, 72874303 edges, 7027 markings/sec, 3275 secs
lola: 21773779 markings, 73005608 edges, 7008 markings/sec, 3280 secs
lola: 21808475 markings, 73145162 edges, 6939 markings/sec, 3285 secs
lola: 21843283 markings, 73281944 edges, 6962 markings/sec, 3290 secs
lola: 21877886 markings, 73413786 edges, 6921 markings/sec, 3295 secs
lola: 21911515 markings, 73548043 edges, 6726 markings/sec, 3300 secs
lola: 21947034 markings, 73669760 edges, 7104 markings/sec, 3305 secs
lola: 21983155 markings, 73787922 edges, 7224 markings/sec, 3310 secs
lola: 22018404 markings, 73915391 edges, 7050 markings/sec, 3315 secs
lola: 22053504 markings, 74043480 edges, 7020 markings/sec, 3320 secs
lola: 22088939 markings, 74172615 edges, 7087 markings/sec, 3325 secs
lola: 22123816 markings, 74310696 edges, 6975 markings/sec, 3330 secs
lola: 22158442 markings, 74452239 edges, 6925 markings/sec, 3335 secs
lola: time limit reached - aborting
lola: caught signal User defined signal 1 - aborting LoLA
lola: lola:
preliminary result: unknown 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
preliminary result: unknown 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1

lola:
preliminary result: unknown 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
lola: memory consumption: 2264824 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
lola: memory consumption: 2264824 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
rslt: finished

--------------------
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="SimpleLoadBal-PT-20"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="itslola"
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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool itslola"
echo " Input is SimpleLoadBal-PT-20, 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 r186-oct2-158987939300629"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/SimpleLoadBal-PT-20.tgz
mv SimpleLoadBal-PT-20 execution
cd execution
if [ "UpperBounds" = "ReachabilityDeadlock" ] || [ "UpperBounds" = "UpperBounds" ] || [ "UpperBounds" = "QuasiLiveness" ] || [ "UpperBounds" = "StableMarking" ] || [ "UpperBounds" = "Liveness" ] || [ "UpperBounds" = "OneSafe" ] || [ "UpperBounds" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

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
elif [ "UpperBounds" = "ReachabilityDeadlock" ] || [ "UpperBounds" = "QuasiLiveness" ] || [ "UpperBounds" = "StableMarking" ] || [ "UpperBounds" = "Liveness" ] || [ "UpperBounds" = "OneSafe" ] ; then
echo "FORMULA_NAME UpperBounds"
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 ;