About the Execution of ITS-LoLa for PermAdmissibility-PT-50
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/local/x2003239/mcc2020-input.r174-csrt-158987853500653.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2020-input.qcow2 encryption=off 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 PermAdmissibility-PT-50, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r174-csrt-158987853500653
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 972K
-rw-r--r-- 1 mcc users 4.6K Apr 12 00:42 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 12 00:42 CTLCardinality.xml
-rw-r--r-- 1 mcc users 21K Apr 10 23:37 CTLFireability.txt
-rw-r--r-- 1 mcc users 81K Apr 10 23:37 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.1K Apr 14 12:44 LTLCardinality.txt
-rw-r--r-- 1 mcc users 31K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 23K Apr 14 12:44 LTLFireability.txt
-rw-r--r-- 1 mcc users 91K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Apr 10 08:17 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Apr 10 08:17 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 30K Apr 9 12:46 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 110K Apr 9 12:46 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.1K Apr 10 22:21 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.9K Apr 10 22:21 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 484K Mar 24 05:37 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 PermAdmissibility-PT-50-UpperBounds-00
FORMULA_NAME PermAdmissibility-PT-50-UpperBounds-01
FORMULA_NAME PermAdmissibility-PT-50-UpperBounds-02
FORMULA_NAME PermAdmissibility-PT-50-UpperBounds-03
FORMULA_NAME PermAdmissibility-PT-50-UpperBounds-04
FORMULA_NAME PermAdmissibility-PT-50-UpperBounds-05
FORMULA_NAME PermAdmissibility-PT-50-UpperBounds-06
FORMULA_NAME PermAdmissibility-PT-50-UpperBounds-07
FORMULA_NAME PermAdmissibility-PT-50-UpperBounds-08
FORMULA_NAME PermAdmissibility-PT-50-UpperBounds-09
FORMULA_NAME PermAdmissibility-PT-50-UpperBounds-10
FORMULA_NAME PermAdmissibility-PT-50-UpperBounds-11
FORMULA_NAME PermAdmissibility-PT-50-UpperBounds-12
FORMULA_NAME PermAdmissibility-PT-50-UpperBounds-13
FORMULA_NAME PermAdmissibility-PT-50-UpperBounds-14
FORMULA_NAME PermAdmissibility-PT-50-UpperBounds-15
=== Now, execution of the tool begins
BK_START 1591161648789
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-03 05:20:50] [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-03 05:20:51] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-03 05:20:51] [INFO ] Load time of PNML (sax parser for PT used): 113 ms
[2020-06-03 05:20:51] [INFO ] Transformed 168 places.
[2020-06-03 05:20:51] [INFO ] Transformed 592 transitions.
[2020-06-03 05:20:51] [INFO ] Parsed PT model containing 168 places and 592 transitions in 167 ms.
Parsed 16 properties from file /home/mcc/execution/UpperBounds.xml in 24 ms.
Finished random walk after 0 steps, including 0 resets, run visited all 0 properties in 2 ms. (steps per millisecond=0 )
[2020-06-03 05:20:51] [INFO ] Flatten gal took : 128 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 )
// Phase 1: matrix 592 rows 168 cols
[2020-06-03 05:20:51] [INFO ] Computed 32 place invariants in 34 ms
Support contains 52 out of 168 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 168/168 places, 592/592 transitions.
Discarding 47 places :
Also discarding 0 output transitions
Graph (complete) has 1615 edges and 168 vertex of which 121 are kept as prefixes of interest. Removing 47 places using SCC suffix rule.12 ms
Symmetric choice reduction at 0 with 12 rule applications. Total rules 13 place count 121 transition count 592
Deduced a syphon composed of 12 places in 2 ms
Reduce places removed 12 places and 192 transitions.
Iterating global reduction 0 with 24 rules applied. Total rules applied 37 place count 109 transition count 400
Symmetric choice reduction at 0 with 4 rule applications. Total rules 41 place count 109 transition count 400
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 64 transitions.
Iterating global reduction 0 with 8 rules applied. Total rules applied 49 place count 105 transition count 336
Applied a total of 49 rules in 62 ms. Remains 105 /168 variables (removed 63) and now considering 336/592 (removed 256) transitions.
Finished structural reductions, in 1 iterations. Remains : 105/168 places, 336/592 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 )
// Phase 1: matrix 336 rows 105 cols
[2020-06-03 05:20:51] [INFO ] Computed 18 place invariants in 6 ms
Support contains 52 out of 105 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 105/105 places, 336/336 transitions.
Applied a total of 0 rules in 19 ms. Remains 105 /105 variables (removed 0) and now considering 336/336 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 105/105 places, 336/336 transitions.
Starting structural reductions, iteration 0 : 105/105 places, 336/336 transitions.
Applied a total of 0 rules in 15 ms. Remains 105 /105 variables (removed 0) and now considering 336/336 (removed 0) transitions.
// Phase 1: matrix 336 rows 105 cols
[2020-06-03 05:20:51] [INFO ] Computed 18 place invariants in 5 ms
[2020-06-03 05:20:52] [INFO ] Implicit Places using invariants in 302 ms returned []
// Phase 1: matrix 336 rows 105 cols
[2020-06-03 05:20:52] [INFO ] Computed 18 place invariants in 6 ms
[2020-06-03 05:20:52] [INFO ] Implicit Places using invariants and state equation in 564 ms returned []
Implicit Place search using SMT with State Equation took 869 ms to find 0 implicit places.
[2020-06-03 05:20:52] [INFO ] Redundant transitions in 28 ms returned []
// Phase 1: matrix 336 rows 105 cols
[2020-06-03 05:20:52] [INFO ] Computed 18 place invariants in 7 ms
[2020-06-03 05:20:53] [INFO ] Dead Transitions using invariants and state equation in 1307 ms returned []
Finished structural reductions, in 1 iterations. Remains : 105/105 places, 336/336 transitions.
Finished random walk after 0 steps, including 0 resets, run visited all 0 properties in 1 ms. (steps per millisecond=0 )
Applied a total of 0 rules in 22 ms. Remains 105 /105 variables (removed 0) and now considering 336/336 (removed 0) transitions.
// Phase 1: matrix 336 rows 105 cols
[2020-06-03 05:20:54] [INFO ] Computed 18 place invariants in 5 ms
[2020-06-03 05:20:54] [INFO ] Export to MCC properties in file /home/mcc/execution/UpperBounds.sr.xml took 3 ms.
[2020-06-03 05:20:54] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 10 ms.
info: Time: 3600 - MCC
vrfy: Checking UpperBounds @ PermAdmissibility-PT-50 @ 3570 seconds
FORMULA PermAdmissibility-PT-50-UpperBounds-01 50 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA PermAdmissibility-PT-50-UpperBounds-05 50 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA PermAdmissibility-PT-50-UpperBounds-11 50 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA PermAdmissibility-PT-50-UpperBounds-07 100 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA PermAdmissibility-PT-50-UpperBounds-06 50 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA PermAdmissibility-PT-50-UpperBounds-02 100 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA PermAdmissibility-PT-50-UpperBounds-03 100 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA PermAdmissibility-PT-50-UpperBounds-04 50 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA PermAdmissibility-PT-50-UpperBounds-00 100 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for UpperBounds @ PermAdmissibility-PT-50
{
"exit":
{
"memory": 7881760,
"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(p72)",
"processed_size": 8,
"rewrites": 0
},
"result":
{
"preliminary_value": "100 50 100 100 50 50 50 100 unknown unknown unknown 50 unknown unknown unknown unknown "
},
"task":
{
"compoundnumber": 16,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
}
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1684
},
"exit":
{
"localtimelimitreached": false
},
"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": 8,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 8,
"visible_transitions": 0
},
"processed": "MAX(p92 + p91 + p90 + p78 + p79 + p80 + p81 + p93)",
"processed_size": 50,
"rewrites": 0
},
"result":
{
"edges": 250,
"markings": 251,
"produced_by": "search",
"value": 100
},
"task":
{
"compoundnumber": 15,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
}
],
"exit":
{
"error": null,
"memory": 7881760,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "UpperBounds.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*)"
},
"net":
{
"arcs": 1846,
"conflict_clusters": 25,
"places": 105,
"places_significant": 87,
"singleton_clusters": 0,
"transitions": 336
},
"result":
{
"interim_value": "100 50 100 100 50 50 50 100 unknown unknown unknown 50 unknown unknown unknown unknown ",
"preliminary_value": "100 50 100 100 50 50 50 100 unknown unknown unknown 50 unknown unknown unknown unknown "
},
"task":
{
"type": "compound"
}
}
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: 441/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 3360
lola: finding significant places
lola: 105 places, 336 transitions, 87 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(p92 + p91 + p90 + p78 + p79 + p80 + p81 + p93) : MAX(p89) : MAX(p87 + p64 + p66 + p67 + p68 + p69 + p86 + p88) : MAX(p2 + p3 + p4 + p5 + p6 + p7 + p8 + p10) : MAX(p32 + p33 + p34 + p35 + p37 + p38 + p39 + p40) : MAX(p9) : MAX(p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18) : MAX(p42 + p44 + p45 + p47) : MAX(p72) : MAX(p21) : MAX(p52) : MAX(p98) : MAX(p66) : MAX(p20) : MAX(p40) : MAX(p28)
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(p89)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p89)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file 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: 50
lola: SUBRESULT
lola: result: 50
lola: produced by: state space
lola: The maximum value of the given expression is 50
lola: 201 markings, 200 edges
lola: ========================================
lola: subprocess 1 will run for 237 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: 50
lola: SUBRESULT
lola: result: 50
lola: produced by: state space
lola: The maximum value of the given expression is 50
lola: 751 markings, 750 edges
lola: ========================================
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p72)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p72)
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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: Structural Bound: 4294967295
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: 894122 markings, 4707268 edges, 178824 markings/sec, 30 secs
lola: 1645799 markings, 9189208 edges, 150335 markings/sec, 35 secs
lola: 2392656 markings, 13702664 edges, 149371 markings/sec, 40 secs
lola: 3089709 markings, 18013425 edges, 139411 markings/sec, 45 secs
lola: 3739119 markings, 22100818 edges, 129882 markings/sec, 50 secs
lola: 4367579 markings, 26134799 edges, 125692 markings/sec, 55 secs
lola: 5000866 markings, 30134552 edges, 126657 markings/sec, 60 secs
lola: 5657327 markings, 34309904 edges, 131292 markings/sec, 65 secs
lola: 6264147 markings, 38177717 edges, 121364 markings/sec, 70 secs
lola: 6917697 markings, 42359421 edges, 130710 markings/sec, 75 secs
lola: 7528775 markings, 46484906 edges, 122216 markings/sec, 80 secs
lola: 8173246 markings, 50585536 edges, 128894 markings/sec, 85 secs
lola: 8758003 markings, 54578042 edges, 116951 markings/sec, 90 secs
lola: 9373673 markings, 58464096 edges, 123134 markings/sec, 95 secs
lola: 9933974 markings, 62393546 edges, 112060 markings/sec, 100 secs
lola: 10574080 markings, 66426440 edges, 128021 markings/sec, 105 secs
lola: 11175390 markings, 70552043 edges, 120262 markings/sec, 110 secs
lola: 11827238 markings, 74675460 edges, 130370 markings/sec, 115 secs
lola: 12405020 markings, 78735827 edges, 115556 markings/sec, 120 secs
lola: 13032663 markings, 82772360 edges, 125529 markings/sec, 125 secs
lola: 13630131 markings, 86789810 edges, 119494 markings/sec, 130 secs
lola: 14277654 markings, 91008681 edges, 129505 markings/sec, 135 secs
lola: 14871373 markings, 95025239 edges, 118744 markings/sec, 140 secs
lola: 15424223 markings, 98930112 edges, 110570 markings/sec, 145 secs
lola: 16047195 markings, 102996391 edges, 124594 markings/sec, 150 secs
lola: 16645128 markings, 107004451 edges, 119587 markings/sec, 155 secs
lola: 17230344 markings, 111086602 edges, 117043 markings/sec, 160 secs
lola: 17899157 markings, 115348341 edges, 133763 markings/sec, 165 secs
lola: 18491476 markings, 119457431 edges, 118464 markings/sec, 170 secs
lola: 19058663 markings, 123490627 edges, 113437 markings/sec, 175 secs
lola: 19664402 markings, 127497063 edges, 121148 markings/sec, 180 secs
lola: 20278270 markings, 131557616 edges, 122774 markings/sec, 185 secs
lola: 20881366 markings, 135764390 edges, 120619 markings/sec, 190 secs
lola: 21540196 markings, 140146307 edges, 131766 markings/sec, 195 secs
lola: 22168211 markings, 144341409 edges, 125603 markings/sec, 200 secs
lola: 22752123 markings, 148461954 edges, 116782 markings/sec, 205 secs
lola: 23322887 markings, 152555613 edges, 114153 markings/sec, 210 secs
lola: 23955228 markings, 156702783 edges, 126468 markings/sec, 215 secs
lola: 24556952 markings, 160734975 edges, 120345 markings/sec, 220 secs
lola: 25135198 markings, 164758468 edges, 115649 markings/sec, 225 secs
lola: 25740975 markings, 169005180 edges, 121155 markings/sec, 230 secs
lola: 26368458 markings, 173045953 edges, 125497 markings/sec, 235 secs
lola: 26957239 markings, 177119536 edges, 117756 markings/sec, 240 secs
lola: 27523895 markings, 181148496 edges, 113331 markings/sec, 245 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 50 unknown unknown unknown 50 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1336244 KB
lola: time consumption: 257 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 3 will run for 254 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: 50
lola: 1710436 markings, 1884845 edges, 342087 markings/sec, 0 secs
lola: 3403536 markings, 3835914 edges, 338620 markings/sec, 5 secs
lola: 5061249 markings, 5801087 edges, 331543 markings/sec, 10 secs
lola: 6647709 markings, 7777201 edges, 317292 markings/sec, 15 secs
lola: 8137137 markings, 9601385 edges, 297886 markings/sec, 20 secs
lola: 9653166 markings, 11414092 edges, 303206 markings/sec, 25 secs
lola: 11195744 markings, 13173562 edges, 308516 markings/sec, 30 secs
lola: 12688622 markings, 14929951 edges, 298576 markings/sec, 35 secs
lola: 14195440 markings, 16793953 edges, 301364 markings/sec, 40 secs
lola: 15775197 markings, 18625625 edges, 315951 markings/sec, 45 secs
lola: 17292662 markings, 20464602 edges, 303493 markings/sec, 50 secs
lola: 18737985 markings, 22191859 edges, 289065 markings/sec, 55 secs
lola: 20256765 markings, 23958225 edges, 303756 markings/sec, 60 secs
lola: 21740683 markings, 25687089 edges, 296784 markings/sec, 65 secs
lola: 23191779 markings, 27385256 edges, 290219 markings/sec, 70 secs
lola: 24656436 markings, 29091475 edges, 292931 markings/sec, 75 secs
lola: 26195336 markings, 30810894 edges, 307780 markings/sec, 80 secs
lola: 27660310 markings, 32558488 edges, 292995 markings/sec, 85 secs
lola: 29082652 markings, 34294864 edges, 284468 markings/sec, 90 secs
lola: 30534510 markings, 35968172 edges, 290372 markings/sec, 95 secs
lola: 32001539 markings, 37716719 edges, 293406 markings/sec, 100 secs
lola: 33513082 markings, 39505899 edges, 302309 markings/sec, 105 secs
lola: 34921221 markings, 41155985 edges, 281628 markings/sec, 110 secs
lola: 36406467 markings, 42830544 edges, 297049 markings/sec, 115 secs
lola: 37831975 markings, 44572397 edges, 285102 markings/sec, 120 secs
lola: 39287447 markings, 46271241 edges, 291094 markings/sec, 125 secs
lola: 40797749 markings, 48086385 edges, 302060 markings/sec, 130 secs
lola: 42322702 markings, 49890111 edges, 304991 markings/sec, 135 secs
lola: 43713597 markings, 51545584 edges, 278179 markings/sec, 140 secs
lola: 45225672 markings, 53288537 edges, 302415 markings/sec, 145 secs
lola: 46709619 markings, 55051828 edges, 296789 markings/sec, 150 secs
lola: 48182090 markings, 56886579 edges, 294494 markings/sec, 155 secs
lola: 49651778 markings, 58768675 edges, 293938 markings/sec, 160 secs
lola: 51175091 markings, 60625661 edges, 304663 markings/sec, 165 secs
lola: 52732838 markings, 62426115 edges, 311549 markings/sec, 170 secs
lola: 54277792 markings, 64312154 edges, 308991 markings/sec, 175 secs
lola: 55867553 markings, 66297457 edges, 317952 markings/sec, 180 secs
lola: 57462895 markings, 68209301 edges, 319068 markings/sec, 185 secs
lola: 59031557 markings, 70128811 edges, 313732 markings/sec, 190 secs
lola: 60603148 markings, 72003736 edges, 314318 markings/sec, 195 secs
lola: 62200691 markings, 73903993 edges, 319509 markings/sec, 200 secs
lola: 63733576 markings, 75731717 edges, 306577 markings/sec, 205 secs
lola: 65346917 markings, 77611861 edges, 322668 markings/sec, 210 secs
lola: 66884603 markings, 79529149 edges, 307537 markings/sec, 215 secs
lola: 68480709 markings, 81408121 edges, 319221 markings/sec, 220 secs
lola: 70050102 markings, 83317251 edges, 313879 markings/sec, 225 secs
lola: 71591196 markings, 85165756 edges, 308219 markings/sec, 230 secs
lola: 73157178 markings, 86986343 edges, 313196 markings/sec, 235 secs
lola: 74699901 markings, 88891955 edges, 308545 markings/sec, 240 secs
lola: 76269444 markings, 90766088 edges, 313909 markings/sec, 245 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 50 unknown unknown unknown 50 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 3087352 KB
lola: time consumption: 511 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 4 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p52)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p52)
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: 50
lola: 1374700 markings, 4743631 edges, 274940 markings/sec, 0 secs
lola: 2711383 markings, 9315891 edges, 267337 markings/sec, 5 secs
lola: 4013428 markings, 13742699 edges, 260409 markings/sec, 10 secs
lola: 5287512 markings, 17979230 edges, 254817 markings/sec, 15 secs
lola: 6578037 markings, 21880802 edges, 258105 markings/sec, 20 secs
lola: 7582450 markings, 24754976 edges, 200883 markings/sec, 25 secs
lola: 8548278 markings, 27570760 edges, 193166 markings/sec, 30 secs
lola: 9450948 markings, 30345995 edges, 180534 markings/sec, 35 secs
lola: 10387787 markings, 33253751 edges, 187368 markings/sec, 40 secs
lola: 11216299 markings, 36139495 edges, 165702 markings/sec, 45 secs
lola: 12035417 markings, 38964466 edges, 163824 markings/sec, 50 secs
lola: 12805684 markings, 41732672 edges, 154053 markings/sec, 55 secs
lola: 13711972 markings, 44552713 edges, 181258 markings/sec, 60 secs
lola: 14635001 markings, 47371279 edges, 184606 markings/sec, 65 secs
lola: 15433025 markings, 50193606 edges, 159605 markings/sec, 70 secs
lola: 16297501 markings, 53024233 edges, 172895 markings/sec, 75 secs
lola: 17222475 markings, 55897304 edges, 184995 markings/sec, 80 secs
lola: 18077377 markings, 58680264 edges, 170980 markings/sec, 85 secs
lola: 18854868 markings, 61404645 edges, 155498 markings/sec, 90 secs
lola: 19675914 markings, 64226665 edges, 164209 markings/sec, 95 secs
lola: 20413434 markings, 67123070 edges, 147504 markings/sec, 100 secs
lola: 21233839 markings, 69991733 edges, 164081 markings/sec, 105 secs
lola: 22018745 markings, 72817347 edges, 156981 markings/sec, 110 secs
lola: 22889992 markings, 75689135 edges, 174249 markings/sec, 115 secs
lola: 23765575 markings, 78463869 edges, 175117 markings/sec, 120 secs
lola: 24556069 markings, 81285329 edges, 158099 markings/sec, 125 secs
lola: 25470792 markings, 84236606 edges, 182945 markings/sec, 130 secs
lola: 26380342 markings, 86880040 edges, 181910 markings/sec, 135 secs
lola: 27207894 markings, 89547371 edges, 165510 markings/sec, 140 secs
lola: 28048065 markings, 92215608 edges, 168034 markings/sec, 145 secs
lola: 28805853 markings, 94980318 edges, 151558 markings/sec, 150 secs
lola: 29528735 markings, 97666591 edges, 144576 markings/sec, 155 secs
lola: 30348735 markings, 100338848 edges, 164000 markings/sec, 160 secs
lola: 31134099 markings, 103017252 edges, 157073 markings/sec, 165 secs
lola: 31903559 markings, 105689941 edges, 153892 markings/sec, 170 secs
lola: 32701367 markings, 108330416 edges, 159562 markings/sec, 175 secs
lola: 33465677 markings, 111040051 edges, 152862 markings/sec, 180 secs
lola: 34204224 markings, 113763384 edges, 147709 markings/sec, 185 secs
lola: 34902106 markings, 116483336 edges, 139576 markings/sec, 190 secs
lola: 35618872 markings, 119172484 edges, 143353 markings/sec, 195 secs
lola: 36440488 markings, 121865994 edges, 164323 markings/sec, 200 secs
lola: 37187379 markings, 124552699 edges, 149378 markings/sec, 205 secs
lola: 38039945 markings, 127330176 edges, 170513 markings/sec, 210 secs
lola: 38841758 markings, 130061836 edges, 160363 markings/sec, 215 secs
lola: 39633298 markings, 132772681 edges, 158308 markings/sec, 220 secs
lola: 40405564 markings, 135539436 edges, 154453 markings/sec, 225 secs
lola: 41208409 markings, 138312962 edges, 160569 markings/sec, 230 secs
lola: 41945650 markings, 140983499 edges, 147448 markings/sec, 235 secs
lola: 42731494 markings, 143699999 edges, 157169 markings/sec, 240 secs
lola: 43601224 markings, 146356761 edges, 173946 markings/sec, 245 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 50 unknown unknown unknown 50 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1901496 KB
lola: time consumption: 765 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 5 will run for 255 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p98)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p98)
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: 50
lola: SUBRESULT
lola: result: 50
lola: produced by: state space
lola: The maximum value of the given expression is 50
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 6 will run for 280 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p66)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p66)
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: 50
lola: 1320686 markings, 3852908 edges, 264137 markings/sec, 0 secs
lola: 2418340 markings, 7569846 edges, 219531 markings/sec, 5 secs
lola: 3341539 markings, 11292596 edges, 184640 markings/sec, 10 secs
lola: 4426266 markings, 15060308 edges, 216945 markings/sec, 15 secs
lola: 5506026 markings, 18771242 edges, 215952 markings/sec, 20 secs
lola: 6430204 markings, 22185088 edges, 184836 markings/sec, 25 secs
lola: 7113311 markings, 25405006 edges, 136621 markings/sec, 30 secs
lola: 7710242 markings, 28573399 edges, 119386 markings/sec, 35 secs
lola: 8788139 markings, 31679536 edges, 215579 markings/sec, 40 secs
lola: 9713882 markings, 34903705 edges, 185149 markings/sec, 45 secs
lola: 10753315 markings, 38010995 edges, 207887 markings/sec, 50 secs
lola: 11558509 markings, 41168027 edges, 161039 markings/sec, 55 secs
lola: 12276250 markings, 44108362 edges, 143548 markings/sec, 60 secs
lola: 13127357 markings, 47424036 edges, 170221 markings/sec, 65 secs
lola: 13950754 markings, 50759775 edges, 164679 markings/sec, 70 secs
lola: 14749860 markings, 53906959 edges, 159821 markings/sec, 75 secs
lola: 15509516 markings, 56959855 edges, 151931 markings/sec, 80 secs
lola: 16085718 markings, 59806006 edges, 115240 markings/sec, 85 secs
lola: 16862319 markings, 62945495 edges, 155320 markings/sec, 90 secs
lola: 17517534 markings, 66128007 edges, 131043 markings/sec, 95 secs
lola: 18222665 markings, 69456980 edges, 141026 markings/sec, 100 secs
lola: 18844917 markings, 72700879 edges, 124450 markings/sec, 105 secs
lola: 19471765 markings, 75974846 edges, 125370 markings/sec, 110 secs
lola: 20104018 markings, 79465152 edges, 126451 markings/sec, 115 secs
lola: 20885051 markings, 82799973 edges, 156207 markings/sec, 120 secs
lola: 21539526 markings, 86234304 edges, 130895 markings/sec, 125 secs
lola: 22475407 markings, 89824015 edges, 187176 markings/sec, 130 secs
lola: 23360809 markings, 93204593 edges, 177080 markings/sec, 135 secs
lola: 24323750 markings, 96628534 edges, 192588 markings/sec, 140 secs
lola: 25274687 markings, 99962466 edges, 190187 markings/sec, 145 secs
lola: 26179492 markings, 103367094 edges, 180961 markings/sec, 150 secs
lola: 27076272 markings, 106501155 edges, 179356 markings/sec, 155 secs
lola: 27885245 markings, 109763678 edges, 161795 markings/sec, 160 secs
lola: 28942249 markings, 113265326 edges, 211401 markings/sec, 165 secs
lola: 29781168 markings, 116500936 edges, 167784 markings/sec, 170 secs
lola: 30532439 markings, 119805927 edges, 150254 markings/sec, 175 secs
lola: 31586555 markings, 123143247 edges, 210823 markings/sec, 180 secs
lola: 32490735 markings, 126251794 edges, 180836 markings/sec, 185 secs
lola: 33377705 markings, 129666980 edges, 177394 markings/sec, 190 secs
lola: 34123143 markings, 133263242 edges, 149088 markings/sec, 195 secs
lola: 35115788 markings, 136592336 edges, 198529 markings/sec, 200 secs
lola: 36086212 markings, 139912628 edges, 194085 markings/sec, 205 secs
lola: 37036924 markings, 142961664 edges, 190142 markings/sec, 210 secs
lola: 37884265 markings, 146175547 edges, 169468 markings/sec, 215 secs
lola: 38655205 markings, 149399646 edges, 154188 markings/sec, 220 secs
lola: 39281116 markings, 152558043 edges, 125182 markings/sec, 225 secs
lola: 40065118 markings, 155794601 edges, 156800 markings/sec, 230 secs
lola: 40987539 markings, 158915498 edges, 184484 markings/sec, 235 secs
lola: 41925571 markings, 162053030 edges, 187606 markings/sec, 240 secs
lola: 42691948 markings, 165153266 edges, 153275 markings/sec, 245 secs
lola: 43470191 markings, 168351524 edges, 155649 markings/sec, 250 secs
lola: 44241149 markings, 171444159 edges, 154192 markings/sec, 255 secs
lola: 44981379 markings, 174398006 edges, 148046 markings/sec, 260 secs
lola: 45676753 markings, 177818770 edges, 139075 markings/sec, 265 secs
lola: 46456239 markings, 180961631 edges, 155897 markings/sec, 270 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 50 unknown unknown unknown 50 unknown unknown unknown unknown unknown 50 unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown 50 unknown unknown unknown 50 unknown unknown unknown unknown unknown 50 unknown unknown unknown unknown
lola: memory consumption: 1993724 KB
lola: time consumption: 1046 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 7 will run for 280 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p20)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p20)
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: 50
lola: 726481 markings, 1432209 edges, 145296 markings/sec, 0 secs
lola: 1388153 markings, 2750609 edges, 132334 markings/sec, 5 secs
lola: 2035495 markings, 4063191 edges, 129468 markings/sec, 10 secs
lola: 2614190 markings, 5731966 edges, 115739 markings/sec, 15 secs
lola: 3054583 markings, 7514162 edges, 88079 markings/sec, 20 secs
lola: 3479317 markings, 9191241 edges, 84947 markings/sec, 25 secs
lola: 3904684 markings, 10900309 edges, 85073 markings/sec, 30 secs
lola: 4368563 markings, 12606291 edges, 92776 markings/sec, 35 secs
lola: 4802112 markings, 14464084 edges, 86710 markings/sec, 40 secs
lola: 5457949 markings, 16382574 edges, 131167 markings/sec, 45 secs
lola: 6092301 markings, 18272870 edges, 126870 markings/sec, 50 secs
lola: 6681078 markings, 20189176 edges, 117755 markings/sec, 55 secs
lola: 7179749 markings, 21976454 edges, 99734 markings/sec, 60 secs
lola: 7733986 markings, 23699677 edges, 110847 markings/sec, 65 secs
lola: 8266760 markings, 25443036 edges, 106555 markings/sec, 70 secs
lola: 8831852 markings, 27188012 edges, 113018 markings/sec, 75 secs
lola: 9458051 markings, 28837775 edges, 125240 markings/sec, 80 secs
lola: 9957449 markings, 30648497 edges, 99880 markings/sec, 85 secs
lola: 10511003 markings, 32385102 edges, 110711 markings/sec, 90 secs
lola: 11019577 markings, 34173848 edges, 101715 markings/sec, 95 secs
lola: 11514494 markings, 35944348 edges, 98983 markings/sec, 100 secs
lola: 11928970 markings, 37635600 edges, 82895 markings/sec, 105 secs
lola: 12399987 markings, 39370891 edges, 94203 markings/sec, 110 secs
lola: 12915622 markings, 41012110 edges, 103127 markings/sec, 115 secs
lola: 13438655 markings, 42692857 edges, 104607 markings/sec, 120 secs
lola: 13919770 markings, 44557305 edges, 96223 markings/sec, 125 secs
lola: 14362205 markings, 46268483 edges, 88487 markings/sec, 130 secs
lola: 14775447 markings, 47912633 edges, 82648 markings/sec, 135 secs
lola: 15226557 markings, 49540578 edges, 90222 markings/sec, 140 secs
lola: 15701560 markings, 51206518 edges, 95001 markings/sec, 145 secs
lola: 16177956 markings, 53003001 edges, 95279 markings/sec, 150 secs
lola: 16623278 markings, 54652948 edges, 89064 markings/sec, 155 secs
lola: 17153206 markings, 56496140 edges, 105986 markings/sec, 160 secs
lola: 17641265 markings, 58389772 edges, 97612 markings/sec, 165 secs
lola: 18126450 markings, 60176609 edges, 97037 markings/sec, 170 secs
lola: 18544089 markings, 61928140 edges, 83528 markings/sec, 175 secs
lola: 19102724 markings, 63526186 edges, 111727 markings/sec, 180 secs
lola: 19664969 markings, 65125091 edges, 112449 markings/sec, 185 secs
lola: 20157804 markings, 66943615 edges, 98567 markings/sec, 190 secs
lola: 20668006 markings, 68843681 edges, 102040 markings/sec, 195 secs
lola: 21141116 markings, 70626356 edges, 94622 markings/sec, 200 secs
lola: 21692838 markings, 72523667 edges, 110344 markings/sec, 205 secs
lola: 22207271 markings, 74325201 edges, 102887 markings/sec, 210 secs
lola: 22695779 markings, 76207420 edges, 97702 markings/sec, 215 secs
lola: 23213938 markings, 77962957 edges, 103632 markings/sec, 220 secs
lola: 23718841 markings, 79583759 edges, 100981 markings/sec, 225 secs
lola: 24234909 markings, 81378244 edges, 103214 markings/sec, 230 secs
lola: 24727199 markings, 83149420 edges, 98458 markings/sec, 235 secs
lola: 25252033 markings, 84786589 edges, 104967 markings/sec, 240 secs
lola: 25677391 markings, 86560057 edges, 85072 markings/sec, 245 secs
lola: 26144528 markings, 88361026 edges, 93427 markings/sec, 250 secs
lola: 26584052 markings, 90094462 edges, 87905 markings/sec, 255 secs
lola: 27020704 markings, 91822537 edges, 87330 markings/sec, 260 secs
lola: 27459350 markings, 93528028 edges, 87729 markings/sec, 265 secs
lola: 27891080 markings, 95174841 edges, 86346 markings/sec, 270 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 50 unknown unknown unknown 50 unknown unknown unknown unknown unknown 50 unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown 50 unknown unknown unknown 50 unknown unknown unknown unknown unknown 50 unknown unknown unknown unknown
lola: memory consumption: 1061568 KB
lola: time consumption: 1326 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 8 will run for 280 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p40)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p40)
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: 50
lola: 1406379 markings, 3269723 edges, 281276 markings/sec, 0 secs
lola: 2605679 markings, 6282006 edges, 239860 markings/sec, 5 secs
lola: 3640136 markings, 9224013 edges, 206891 markings/sec, 10 secs
lola: 4575750 markings, 12174874 edges, 187123 markings/sec, 15 secs
lola: 5540832 markings, 15185374 edges, 193016 markings/sec, 20 secs
lola: 6469484 markings, 18156398 edges, 185730 markings/sec, 25 secs
lola: 7363945 markings, 21035710 edges, 178892 markings/sec, 30 secs
lola: 8206536 markings, 23913271 edges, 168518 markings/sec, 35 secs
lola: 9054261 markings, 26895530 edges, 169545 markings/sec, 40 secs
lola: 9796866 markings, 29756201 edges, 148521 markings/sec, 45 secs
lola: 10521574 markings, 32601690 edges, 144942 markings/sec, 50 secs
lola: 11513717 markings, 35483345 edges, 198429 markings/sec, 55 secs
lola: 12464705 markings, 38335329 edges, 190198 markings/sec, 60 secs
lola: 13384605 markings, 41198867 edges, 183980 markings/sec, 65 secs
lola: 14244216 markings, 44070421 edges, 171922 markings/sec, 70 secs
lola: 15092485 markings, 46847053 edges, 169654 markings/sec, 75 secs
lola: 15935913 markings, 49770622 edges, 168686 markings/sec, 80 secs
lola: 16893959 markings, 52698534 edges, 191609 markings/sec, 85 secs
lola: 17752264 markings, 55562252 edges, 171661 markings/sec, 90 secs
lola: 18628515 markings, 58476654 edges, 175250 markings/sec, 95 secs
lola: 19496855 markings, 61207345 edges, 173668 markings/sec, 100 secs
lola: 20286115 markings, 63954422 edges, 157852 markings/sec, 105 secs
lola: 21174222 markings, 66880031 edges, 177621 markings/sec, 110 secs
lola: 21985773 markings, 69731040 edges, 162310 markings/sec, 115 secs
lola: 22866406 markings, 72517436 edges, 176127 markings/sec, 120 secs
lola: 23778761 markings, 75280953 edges, 182471 markings/sec, 125 secs
lola: 24604246 markings, 78011711 edges, 165097 markings/sec, 130 secs
lola: 25367579 markings, 80722304 edges, 152667 markings/sec, 135 secs
lola: 26214596 markings, 83415659 edges, 169403 markings/sec, 140 secs
lola: 27047541 markings, 86179098 edges, 166589 markings/sec, 145 secs
lola: 27878225 markings, 88915298 edges, 166137 markings/sec, 150 secs
lola: 28656878 markings, 91599680 edges, 155731 markings/sec, 155 secs
lola: 29427013 markings, 94473271 edges, 154027 markings/sec, 160 secs
lola: 30207586 markings, 97228235 edges, 156115 markings/sec, 165 secs
lola: 30975277 markings, 99931162 edges, 153538 markings/sec, 170 secs
lola: 31691086 markings, 102698300 edges, 143162 markings/sec, 175 secs
lola: 32306322 markings, 105247526 edges, 123047 markings/sec, 180 secs
lola: 32957575 markings, 107904654 edges, 130251 markings/sec, 185 secs
lola: 33761365 markings, 110469127 edges, 160758 markings/sec, 190 secs
lola: 34515766 markings, 112988915 edges, 150880 markings/sec, 195 secs
lola: 35324395 markings, 115756592 edges, 161726 markings/sec, 200 secs
lola: 36106056 markings, 118383940 edges, 156332 markings/sec, 205 secs
lola: 36836120 markings, 120976050 edges, 146013 markings/sec, 210 secs
lola: 37580840 markings, 123584473 edges, 148944 markings/sec, 215 secs
lola: 38309934 markings, 126391207 edges, 145819 markings/sec, 220 secs
lola: 39128978 markings, 129002305 edges, 163809 markings/sec, 225 secs
lola: 39901907 markings, 131692523 edges, 154586 markings/sec, 230 secs
lola: 40628468 markings, 134321684 edges, 145312 markings/sec, 235 secs
lola: 41377982 markings, 137043898 edges, 149903 markings/sec, 240 secs
lola: 42101577 markings, 139580315 edges, 144719 markings/sec, 245 secs
lola: 42816782 markings, 142108035 edges, 143041 markings/sec, 250 secs
lola: 43521752 markings, 144711171 edges, 140994 markings/sec, 255 secs
lola: 44247736 markings, 147259816 edges, 145197 markings/sec, 260 secs
lola: 44933914 markings, 149865790 edges, 137236 markings/sec, 265 secs
lola: 45703981 markings, 152792607 edges, 154013 markings/sec, 270 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 50 unknown unknown unknown 50 unknown unknown unknown unknown unknown 50 unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown 50 unknown unknown unknown 50 unknown unknown unknown unknown unknown 50 unknown unknown unknown unknown
lola: memory consumption: 1706928 KB
lola: time consumption: 1606 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 9 will run for 280 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p28)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p28)
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: 50
lola: 1102187 markings, 1891484 edges, 220437 markings/sec, 0 secs
lola: 2245459 markings, 3896655 edges, 228654 markings/sec, 5 secs
lola: 3337019 markings, 5925635 edges, 218312 markings/sec, 10 secs
lola: 4426117 markings, 7951663 edges, 217820 markings/sec, 15 secs
lola: 5527543 markings, 9983966 edges, 220285 markings/sec, 20 secs
lola: 6603415 markings, 11985657 edges, 215174 markings/sec, 25 secs
lola: 7692990 markings, 13957459 edges, 217915 markings/sec, 30 secs
lola: 8735225 markings, 15777242 edges, 208447 markings/sec, 35 secs
lola: 9784035 markings, 17611740 edges, 209762 markings/sec, 40 secs
lola: 10780298 markings, 19413683 edges, 199253 markings/sec, 45 secs
lola: 11756921 markings, 21247255 edges, 195325 markings/sec, 50 secs
lola: 12751942 markings, 23116806 edges, 199004 markings/sec, 55 secs
lola: 13739076 markings, 24972267 edges, 197427 markings/sec, 60 secs
lola: 14744648 markings, 26840266 edges, 201114 markings/sec, 65 secs
lola: 15737326 markings, 28703924 edges, 198536 markings/sec, 70 secs
lola: 16725033 markings, 30559650 edges, 197541 markings/sec, 75 secs
lola: 17727231 markings, 32443864 edges, 200440 markings/sec, 80 secs
lola: 18732984 markings, 34281540 edges, 201151 markings/sec, 85 secs
lola: 19701422 markings, 36003540 edges, 193688 markings/sec, 90 secs
lola: 20674004 markings, 37736569 edges, 194516 markings/sec, 95 secs
lola: 21650052 markings, 39478258 edges, 195210 markings/sec, 100 secs
lola: 22619522 markings, 41207373 edges, 193894 markings/sec, 105 secs
lola: 23598354 markings, 42953912 edges, 195766 markings/sec, 110 secs
lola: 24585579 markings, 44715826 edges, 197445 markings/sec, 115 secs
lola: 25587346 markings, 46506194 edges, 200353 markings/sec, 120 secs
lola: 26523279 markings, 48268436 edges, 187187 markings/sec, 125 secs
lola: 27450313 markings, 50022731 edges, 185407 markings/sec, 130 secs
lola: 28370493 markings, 51761214 edges, 184036 markings/sec, 135 secs
lola: 29287505 markings, 53496531 edges, 183402 markings/sec, 140 secs
lola: 30205445 markings, 55234366 edges, 183588 markings/sec, 145 secs
lola: 31125427 markings, 56977047 edges, 183996 markings/sec, 150 secs
lola: 32052392 markings, 58731945 edges, 185393 markings/sec, 155 secs
lola: 32976343 markings, 60481142 edges, 184790 markings/sec, 160 secs
lola: 33909241 markings, 62248693 edges, 186580 markings/sec, 165 secs
lola: 34849674 markings, 63972572 edges, 188087 markings/sec, 170 secs
lola: 35796853 markings, 65639091 edges, 189436 markings/sec, 175 secs
lola: 36744326 markings, 67310277 edges, 189495 markings/sec, 180 secs
lola: 37697218 markings, 68990954 edges, 190578 markings/sec, 185 secs
lola: 38653495 markings, 70678659 edges, 191255 markings/sec, 190 secs
lola: 39582180 markings, 72349501 edges, 185737 markings/sec, 195 secs
lola: 40468740 markings, 74010598 edges, 177312 markings/sec, 200 secs
lola: 41357921 markings, 75677413 edges, 177836 markings/sec, 205 secs
lola: 42246342 markings, 77344633 edges, 177684 markings/sec, 210 secs
lola: 43133543 markings, 79009340 edges, 177440 markings/sec, 215 secs
lola: 44060196 markings, 80749282 edges, 185331 markings/sec, 220 secs
lola: 44968162 markings, 82453636 edges, 181593 markings/sec, 225 secs
lola: 45977704 markings, 84171447 edges, 201908 markings/sec, 230 secs
lola: 46944076 markings, 85888859 edges, 193274 markings/sec, 235 secs
lola: 47893711 markings, 87590338 edges, 189927 markings/sec, 240 secs
lola: 48849405 markings, 89280489 edges, 191139 markings/sec, 245 secs
lola: 49853672 markings, 90963033 edges, 200853 markings/sec, 250 secs
lola: 50801011 markings, 92643864 edges, 189468 markings/sec, 255 secs
lola: 51731626 markings, 94326630 edges, 186123 markings/sec, 260 secs
lola: 52669703 markings, 96011758 edges, 187615 markings/sec, 265 secs
lola: 53583335 markings, 97663556 edges, 182726 markings/sec, 270 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 50 unknown unknown unknown 50 unknown unknown unknown unknown unknown 50 unknown unknown unknown unknown
lola: memory consumption: 2518016 KB
lola: time consumption: 1886 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 10 will run for 280 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p42 + p44 + p45 + p47)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p42 + p44 + p45 + p47)
lola: processed formula length: 26
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: 100
lola: SUBRESULT
lola: result: 100
lola: produced by: state space
lola: The maximum value of the given expression is 100
lola: 201 markings, 200 edges
lola: ========================================
lola: subprocess 11 will run for 336 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18)
lola: processed formula length: 50
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: 50
lola: SUBRESULT
lola: result: 50
lola: produced by: state space
lola: The maximum value of the given expression is 50
lola: 801 markings, 800 edges
lola: ========================================
lola: subprocess 12 will run for 421 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p87 + p64 + p66 + p67 + p68 + p69 + p86 + p88)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p87 + p64 + p66 + p67 + p68 + p69 + p86 + p88)
lola: processed formula length: 50
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: 100
lola: SUBRESULT
lola: result: 100
lola: produced by: state space
lola: The maximum value of the given expression is 100
lola: 301 markings, 300 edges
lola: subprocess 13 will run for 561 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ========================================
lola: ...considering subproblem: MAX(p2 + p3 + p4 + p5 + p6 + p7 + p8 + p10)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2 + p3 + p4 + p5 + p6 + p7 + p8 + p10)
lola: processed formula length: 43
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: 100
lola: SUBRESULT
lola: result: 100
lola: produced by: state space
lola: The maximum value of the given expression is 100
lola: 501 markings, 500 edges
lola: ========================================
lola: subprocess 14 will run for 842 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p32 + p33 + p34 + p35 + p37 + p38 + p39 + p40)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p32 + p33 + p34 + p35 + p37 + p38 + p39 + p40)
lola: processed formula length: 50
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: 50
lola: SUBRESULT
lola: result: 50
lola: produced by: state space
lola: The maximum value of the given expression is 50
lola: 701 markings, 700 edges
lola: ========================================
lola: subprocess 15 will run for 1684 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p92 + p91 + p90 + p78 + p79 + p80 + p81 + p93)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p92 + p91 + p90 + p78 + p79 + p80 + p81 + p93)
lola: processed formula length: 50
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: 100
lola: SUBRESULT
lola: result: 100
lola: produced by: state space
lola: The maximum value of the given expression is 100
lola: 251 markings, 250 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: MAX(p72)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p72)
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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 803090 markings, 4200235 edges, 160618 markings/sec, 30 secs
lola: 1508877 markings, 8325320 edges, 141157 markings/sec, 35 secs
lola: 2186352 markings, 12422794 edges, 135495 markings/sec, 40 secs
lola: 2846773 markings, 16441243 edges, 132084 markings/sec, 45 secs
lola: 3472987 markings, 20396729 edges, 125243 markings/sec, 50 secs
lola: 4128606 markings, 24503795 edges, 131124 markings/sec, 55 secs
lola: 4761539 markings, 28526135 edges, 126587 markings/sec, 60 secs
lola: 5406205 markings, 32610500 edges, 128933 markings/sec, 65 secs
lola: 6028551 markings, 36703976 edges, 124469 markings/sec, 70 secs
lola: 6654849 markings, 40761636 edges, 125260 markings/sec, 75 secs
lola: 7288965 markings, 44824373 edges, 126823 markings/sec, 80 secs
lola: 7879631 markings, 48745402 edges, 118133 markings/sec, 85 secs
lola: 8463869 markings, 52563639 edges, 116848 markings/sec, 90 secs
lola: 9093908 markings, 56568900 edges, 126008 markings/sec, 95 secs
lola: 9641020 markings, 60324921 edges, 109422 markings/sec, 100 secs
lola: 10224197 markings, 64102273 edges, 116635 markings/sec, 105 secs
lola: 10798268 markings, 67928360 edges, 114814 markings/sec, 110 secs
lola: 11419319 markings, 71929210 edges, 124210 markings/sec, 115 secs
lola: 11987096 markings, 75791023 edges, 113555 markings/sec, 120 secs
lola: 12504765 markings, 79445068 edges, 103534 markings/sec, 125 secs
lola: 13100611 markings, 83201962 edges, 119169 markings/sec, 130 secs
lola: 13657982 markings, 86995442 edges, 111474 markings/sec, 135 secs
lola: 14275792 markings, 90997153 edges, 123562 markings/sec, 140 secs
lola: 14852441 markings, 94893365 edges, 115330 markings/sec, 145 secs
lola: 15375509 markings, 98585359 edges, 104614 markings/sec, 150 secs
lola: 15939035 markings, 102330289 edges, 112705 markings/sec, 155 secs
lola: 16504939 markings, 106050922 edges, 113181 markings/sec, 160 secs
lola: 17048940 markings, 109824488 edges, 108800 markings/sec, 165 secs
lola: 17658204 markings, 113767159 edges, 121853 markings/sec, 170 secs
lola: 18218024 markings, 117537938 edges, 111964 markings/sec, 175 secs
lola: 18728887 markings, 121137346 edges, 102173 markings/sec, 180 secs
lola: 19239928 markings, 124794818 edges, 102208 markings/sec, 185 secs
lola: 19825085 markings, 128534337 edges, 117031 markings/sec, 190 secs
lola: 20384740 markings, 132335441 edges, 111931 markings/sec, 195 secs
lola: 20939103 markings, 136192696 edges, 110873 markings/sec, 200 secs
lola: 21566864 markings, 140309902 edges, 125552 markings/sec, 205 secs
lola: 22138207 markings, 144138118 edges, 114269 markings/sec, 210 secs
lola: 22660258 markings, 147813292 edges, 104410 markings/sec, 215 secs
lola: 23165358 markings, 151420273 edges, 101020 markings/sec, 220 secs
lola: 23669841 markings, 155016991 edges, 100897 markings/sec, 225 secs
lola: 24266229 markings, 158755986 edges, 119278 markings/sec, 230 secs
lola: 24809729 markings, 162514056 edges, 108700 markings/sec, 235 secs
lola: 25351112 markings, 166275603 edges, 108277 markings/sec, 240 secs
lola: 25899136 markings, 170184018 edges, 109605 markings/sec, 245 secs
lola: 26528112 markings, 174125937 edges, 125795 markings/sec, 250 secs
lola: 27065126 markings, 177879100 edges, 107403 markings/sec, 255 secs
lola: 27571296 markings, 181492551 edges, 101234 markings/sec, 260 secs
lola: 28072571 markings, 185103019 edges, 100255 markings/sec, 265 secs
lola: 28603332 markings, 188754627 edges, 106152 markings/sec, 270 secs
lola: 29174121 markings, 192453374 edges, 114158 markings/sec, 275 secs
lola: 29710241 markings, 196106982 edges, 107224 markings/sec, 280 secs
lola: 30237553 markings, 199821644 edges, 105462 markings/sec, 285 secs
lola: 30768275 markings, 203600161 edges, 106144 markings/sec, 290 secs
lola: 31368852 markings, 207496607 edges, 120115 markings/sec, 295 secs
lola: 31928263 markings, 211294858 edges, 111882 markings/sec, 300 secs
lola: 32448839 markings, 214968768 edges, 104115 markings/sec, 305 secs
lola: 32950754 markings, 218566520 edges, 100383 markings/sec, 310 secs
lola: 33443969 markings, 222133684 edges, 98643 markings/sec, 315 secs
lola: 33931258 markings, 225677003 edges, 97458 markings/sec, 320 secs
lola: 34523291 markings, 229402376 edges, 118407 markings/sec, 325 secs
lola: 35052984 markings, 232982036 edges, 105939 markings/sec, 330 secs
lola: 35578359 markings, 236697900 edges, 105075 markings/sec, 335 secs
lola: 36143519 markings, 240643711 edges, 113032 markings/sec, 340 secs
lola: 36677350 markings, 244483859 edges, 106766 markings/sec, 345 secs
lola: 37305864 markings, 248556709 edges, 125703 markings/sec, 350 secs
lola: 37879905 markings, 252500278 edges, 114808 markings/sec, 355 secs
lola: 38397760 markings, 256178261 edges, 103571 markings/sec, 360 secs
lola: 38927584 markings, 259985632 edges, 105965 markings/sec, 365 secs
lola: 39434477 markings, 263657469 edges, 101379 markings/sec, 370 secs
lola: 39935659 markings, 267306049 edges, 100236 markings/sec, 375 secs
lola: 40508450 markings, 271042446 edges, 114558 markings/sec, 380 secs
lola: 41049913 markings, 274702327 edges, 108293 markings/sec, 385 secs
lola: 41592471 markings, 278465389 edges, 108512 markings/sec, 390 secs
lola: 42144658 markings, 282311273 edges, 110437 markings/sec, 395 secs
lola: 42676575 markings, 286102286 edges, 106383 markings/sec, 400 secs
lola: 43197447 markings, 289848971 edges, 104174 markings/sec, 405 secs
lola: 43792271 markings, 293720218 edges, 118965 markings/sec, 410 secs
lola: 44324814 markings, 297361632 edges, 106509 markings/sec, 415 secs
lola: 44824593 markings, 300897296 edges, 99956 markings/sec, 420 secs
lola: 45309923 markings, 304372415 edges, 97066 markings/sec, 425 secs
lola: 45793000 markings, 307871313 edges, 96615 markings/sec, 430 secs
lola: 46267847 markings, 311322743 edges, 94969 markings/sec, 435 secs
lola: 46737231 markings, 314759289 edges, 93877 markings/sec, 440 secs
lola: 47262537 markings, 318287301 edges, 105061 markings/sec, 445 secs
lola: 47807794 markings, 321905849 edges, 109051 markings/sec, 450 secs
lola: 48331497 markings, 325487020 edges, 104741 markings/sec, 455 secs
lola: 48836798 markings, 329023732 edges, 101060 markings/sec, 460 secs
lola: 49343598 markings, 332624895 edges, 101360 markings/sec, 465 secs
lola: 49854016 markings, 336264458 edges, 102084 markings/sec, 470 secs
lola: 50356616 markings, 339945790 edges, 100520 markings/sec, 475 secs
lola: 50954809 markings, 343877351 edges, 119639 markings/sec, 480 secs
lola: 51513927 markings, 347651853 edges, 111824 markings/sec, 485 secs
lola: 52034754 markings, 351328594 edges, 104165 markings/sec, 490 secs
lola: 52527395 markings, 354866715 edges, 98528 markings/sec, 495 secs
lola: 53008969 markings, 358346743 edges, 96315 markings/sec, 500 secs
lola: 53476231 markings, 361747621 edges, 93452 markings/sec, 505 secs
lola: 53948357 markings, 365203456 edges, 94425 markings/sec, 510 secs
lola: 54424986 markings, 368690925 edges, 95326 markings/sec, 515 secs
lola: 54958060 markings, 372221501 edges, 106615 markings/sec, 520 secs
lola: 55503997 markings, 375846531 edges, 109187 markings/sec, 525 secs
lola: 56019934 markings, 379408121 edges, 103187 markings/sec, 530 secs
lola: 56529083 markings, 383017194 edges, 101830 markings/sec, 535 secs
lola: 57040389 markings, 386655560 edges, 102261 markings/sec, 540 secs
lola: 57559235 markings, 390359108 edges, 103769 markings/sec, 545 secs
lola: 58063884 markings, 394054675 edges, 100930 markings/sec, 550 secs
lola: 58591521 markings, 397851459 edges, 105527 markings/sec, 555 secs
lola: 59212887 markings, 401806755 edges, 124273 markings/sec, 560 secs
lola: 59751609 markings, 405558805 edges, 107744 markings/sec, 565 secs
lola: 60265883 markings, 409220589 edges, 102855 markings/sec, 570 secs
lola: 60755076 markings, 412755427 edges, 97839 markings/sec, 575 secs
lola: 61240097 markings, 416268463 edges, 97004 markings/sec, 580 secs
lola: 61711337 markings, 419708340 edges, 94248 markings/sec, 585 secs
lola: 62182861 markings, 423163982 edges, 94305 markings/sec, 590 secs
lola: 62654547 markings, 426634323 edges, 94337 markings/sec, 595 secs
lola: 63154813 markings, 430123775 edges, 100053 markings/sec, 600 secs
lola: 63712249 markings, 433717528 edges, 111487 markings/sec, 605 secs
lola: 64233015 markings, 437310937 edges, 104153 markings/sec, 610 secs
lola: 64746125 markings, 440920606 edges, 102622 markings/sec, 615 secs
lola: 65259220 markings, 444534451 edges, 102619 markings/sec, 620 secs
lola: 65756454 markings, 448144138 edges, 99447 markings/sec, 625 secs
lola: 66269174 markings, 451812215 edges, 102544 markings/sec, 630 secs
lola: 66782071 markings, 455504065 edges, 102579 markings/sec, 635 secs
lola: 67291304 markings, 459244526 edges, 101847 markings/sec, 640 secs
lola: 67895435 markings, 463109677 edges, 120826 markings/sec, 645 secs
lola: 68412961 markings, 466695444 edges, 103505 markings/sec, 650 secs
lola: 68896577 markings, 470142553 edges, 96723 markings/sec, 655 secs
lola: 69371065 markings, 473557853 edges, 94898 markings/sec, 660 secs
lola: 69835278 markings, 476926341 edges, 92843 markings/sec, 665 secs
lola: 70300679 markings, 480321513 edges, 93080 markings/sec, 670 secs
lola: 70761254 markings, 483695876 edges, 92115 markings/sec, 675 secs
lola: 71214158 markings, 487020076 edges, 90581 markings/sec, 680 secs
lola: 71672391 markings, 490395417 edges, 91647 markings/sec, 685 secs
lola: 72128887 markings, 493769156 edges, 91299 markings/sec, 690 secs
lola: 72699053 markings, 497340884 edges, 114033 markings/sec, 695 secs
lola: 73226992 markings, 500917549 edges, 105588 markings/sec, 700 secs
lola: 73732527 markings, 504492967 edges, 101107 markings/sec, 705 secs
lola: 74236675 markings, 508075952 edges, 100830 markings/sec, 710 secs
lola: 74734327 markings, 511620752 edges, 99530 markings/sec, 715 secs
lola: 75231937 markings, 515179472 edges, 99522 markings/sec, 720 secs
lola: 75722579 markings, 518778310 edges, 98128 markings/sec, 725 secs
lola: 76233436 markings, 522455204 edges, 102171 markings/sec, 730 secs
lola: 76744148 markings, 526223966 edges, 102142 markings/sec, 735 secs
lola: 77357557 markings, 530161220 edges, 122682 markings/sec, 740 secs
lola: 77891186 markings, 533869803 edges, 106726 markings/sec, 745 secs
lola: 78403583 markings, 537523218 edges, 102479 markings/sec, 750 secs
lola: 78899462 markings, 541105847 edges, 99176 markings/sec, 755 secs
lola: 79373912 markings, 544555610 edges, 94890 markings/sec, 760 secs
lola: 79844442 markings, 547993175 edges, 94106 markings/sec, 765 secs
lola: 80313531 markings, 551434276 edges, 93818 markings/sec, 770 secs
lola: 80778621 markings, 554854693 edges, 93018 markings/sec, 775 secs
lola: 81235040 markings, 558215862 edges, 91284 markings/sec, 780 secs
lola: 81687447 markings, 561558016 edges, 90481 markings/sec, 785 secs
lola: 82213298 markings, 565054179 edges, 105170 markings/sec, 790 secs
lola: 82746909 markings, 568600102 edges, 106722 markings/sec, 795 secs
lola: 83256842 markings, 572125208 edges, 101987 markings/sec, 800 secs
lola: 83753640 markings, 575645509 edges, 99360 markings/sec, 805 secs
lola: 84254392 markings, 579211561 edges, 100150 markings/sec, 810 secs
lola: 84771882 markings, 582912492 edges, 103498 markings/sec, 815 secs
lola: 85265360 markings, 586533429 edges, 98696 markings/sec, 820 secs
lola: 85769368 markings, 590152466 edges, 100802 markings/sec, 825 secs
lola: 86253293 markings, 593719160 edges, 96785 markings/sec, 830 secs
lola: 86766824 markings, 597429812 edges, 102706 markings/sec, 835 secs
lola: 87362657 markings, 601377615 edges, 119167 markings/sec, 840 secs
lola: 87906589 markings, 605115667 edges, 108786 markings/sec, 845 secs
lola: 88419833 markings, 608761993 edges, 102649 markings/sec, 850 secs
lola: 88912695 markings, 612319960 edges, 98572 markings/sec, 855 secs
lola: 89394496 markings, 615821432 edges, 96360 markings/sec, 860 secs
lola: 89865498 markings, 619258267 edges, 94200 markings/sec, 865 secs
lola: 90327644 markings, 622643579 edges, 92429 markings/sec, 870 secs
lola: 90780474 markings, 625970849 edges, 90566 markings/sec, 875 secs
lola: 91234000 markings, 629310630 edges, 90705 markings/sec, 880 secs
lola: 91684363 markings, 632635543 edges, 90073 markings/sec, 885 secs
lola: 92130626 markings, 635934381 edges, 89253 markings/sec, 890 secs
lola: 92619760 markings, 639302080 edges, 97827 markings/sec, 895 secs
lola: 93161601 markings, 642856715 edges, 108368 markings/sec, 900 secs
lola: 93664374 markings, 646332310 edges, 100555 markings/sec, 905 secs
lola: 94161480 markings, 649793908 edges, 99421 markings/sec, 910 secs
lola: 94651612 markings, 653321664 edges, 98026 markings/sec, 915 secs
lola: 95130175 markings, 656760208 edges, 95713 markings/sec, 920 secs
lola: 95618729 markings, 660256129 edges, 97711 markings/sec, 925 secs
lola: 96103994 markings, 663823372 edges, 97053 markings/sec, 930 secs
lola: 96604704 markings, 667428124 edges, 100142 markings/sec, 935 secs
lola: 97098662 markings, 671077720 edges, 98792 markings/sec, 940 secs
lola: 97609482 markings, 674778181 edges, 102164 markings/sec, 945 secs
lola: 98188353 markings, 678637921 edges, 115774 markings/sec, 950 secs
lola: 98718511 markings, 682271734 edges, 106032 markings/sec, 955 secs
lola: 99207371 markings, 685741137 edges, 97772 markings/sec, 960 secs
lola: 99680116 markings, 689147696 edges, 94549 markings/sec, 965 secs
lola: 100142118 markings, 692503333 edges, 92400 markings/sec, 970 secs
lola: 100601358 markings, 695858564 edges, 91848 markings/sec, 975 secs
lola: 101052260 markings, 699176061 edges, 90180 markings/sec, 980 secs
lola: 101501219 markings, 702468304 edges, 89792 markings/sec, 985 secs
lola: 101947500 markings, 705754003 edges, 89256 markings/sec, 990 secs
lola: 102388991 markings, 709010890 edges, 88298 markings/sec, 995 secs
lola: 102826988 markings, 712257519 edges, 87599 markings/sec, 1000 secs
lola: 103263171 markings, 715484246 edges, 87237 markings/sec, 1005 secs
lola: 103721270 markings, 718788434 edges, 91620 markings/sec, 1010 secs
lola: 104265090 markings, 722246360 edges, 108764 markings/sec, 1015 secs
lola: 104765465 markings, 725663323 edges, 100075 markings/sec, 1020 secs
lola: 105252188 markings, 729110451 edges, 97345 markings/sec, 1025 secs
lola: 105741433 markings, 732593154 edges, 97849 markings/sec, 1030 secs
lola: 106229570 markings, 736077217 edges, 97627 markings/sec, 1035 secs
lola: 106712760 markings, 739538853 edges, 96638 markings/sec, 1040 secs
lola: 107185970 markings, 743011671 edges, 94642 markings/sec, 1045 secs
lola: 107670039 markings, 746562843 edges, 96814 markings/sec, 1050 secs
lola: 108159573 markings, 750108858 edges, 97907 markings/sec, 1055 secs
lola: 108645855 markings, 753710257 edges, 97256 markings/sec, 1060 secs
lola: 109159203 markings, 757436233 edges, 102670 markings/sec, 1065 secs
lola: 109743096 markings, 761317688 edges, 116779 markings/sec, 1070 secs
lola: 110262439 markings, 764897718 edges, 103869 markings/sec, 1075 secs
lola: 110743011 markings, 768314027 edges, 96114 markings/sec, 1080 secs
lola: 111212281 markings, 771703226 edges, 93854 markings/sec, 1085 secs
lola: 111667231 markings, 775010242 edges, 90990 markings/sec, 1090 secs
lola: 112128408 markings, 778381821 edges, 92235 markings/sec, 1095 secs
lola: 112580815 markings, 781710975 edges, 90481 markings/sec, 1100 secs
lola: 113023828 markings, 784965835 edges, 88603 markings/sec, 1105 secs
lola: 113469200 markings, 788246855 edges, 89074 markings/sec, 1110 secs
lola: 113908558 markings, 791499621 edges, 87872 markings/sec, 1115 secs
lola: 114343750 markings, 794712562 edges, 87038 markings/sec, 1120 secs
lola: 114778404 markings, 797927827 edges, 86931 markings/sec, 1125 secs
lola: 115208355 markings, 801109940 edges, 85990 markings/sec, 1130 secs
lola: 115686030 markings, 804351581 edges, 95535 markings/sec, 1135 secs
lola: 116195447 markings, 807733697 edges, 101883 markings/sec, 1140 secs
lola: 116685273 markings, 811125974 edges, 97965 markings/sec, 1145 secs
lola: 117172281 markings, 814512379 edges, 97402 markings/sec, 1150 secs
lola: 117643387 markings, 817922976 edges, 94221 markings/sec, 1155 secs
lola: 118117489 markings, 821326850 edges, 94820 markings/sec, 1160 secs
lola: 118602956 markings, 824806333 edges, 97093 markings/sec, 1165 secs
lola: 119074555 markings, 828276121 edges, 94320 markings/sec, 1170 secs
lola: 119566174 markings, 831820269 edges, 98324 markings/sec, 1175 secs
lola: 120048051 markings, 835382175 edges, 96375 markings/sec, 1180 secs
lola: 120540137 markings, 838950076 edges, 98417 markings/sec, 1185 secs
lola: 121022119 markings, 842519744 edges, 96396 markings/sec, 1190 secs
lola: 121518510 markings, 846214272 edges, 99278 markings/sec, 1195 secs
lola: 122107588 markings, 849972236 edges, 117816 markings/sec, 1200 secs
lola: 122619905 markings, 853568879 edges, 102463 markings/sec, 1205 secs
lola: 123096081 markings, 856991726 edges, 95235 markings/sec, 1210 secs
lola: 123560649 markings, 860361645 edges, 92914 markings/sec, 1215 secs
lola: 124021608 markings, 863725132 edges, 92192 markings/sec, 1220 secs
lola: 124475192 markings, 867054587 edges, 90717 markings/sec, 1225 secs
lola: 124917835 markings, 870313025 edges, 88529 markings/sec, 1230 secs
lola: 125361827 markings, 873581879 edges, 88798 markings/sec, 1235 secs
lola: 125799502 markings, 876822266 edges, 87535 markings/sec, 1240 secs
lola: 126236453 markings, 880047131 edges, 87390 markings/sec, 1245 secs
lola: 126677030 markings, 883303020 edges, 88115 markings/sec, 1250 secs
lola: 127108046 markings, 886498870 edges, 86203 markings/sec, 1255 secs
lola: 127506006 markings, 889451915 edges, 79592 markings/sec, 1260 secs
lola: 127892824 markings, 892315162 edges, 77364 markings/sec, 1265 secs
lola: 128422624 markings, 895674092 edges, 105960 markings/sec, 1270 secs
lola: 128919736 markings, 899094592 edges, 99422 markings/sec, 1275 secs
lola: 129413441 markings, 902527459 edges, 98741 markings/sec, 1280 secs
lola: 129897351 markings, 905974157 edges, 96782 markings/sec, 1285 secs
lola: 130382997 markings, 909448906 edges, 97129 markings/sec, 1290 secs
lola: 130858220 markings, 912933315 edges, 95045 markings/sec, 1295 secs
lola: 131344191 markings, 916426524 edges, 97194 markings/sec, 1300 secs
lola: 131816624 markings, 919912015 edges, 94487 markings/sec, 1305 secs
lola: 132305823 markings, 923446961 edges, 97840 markings/sec, 1310 secs
lola: 132785338 markings, 926998515 edges, 95903 markings/sec, 1315 secs
lola: 133278225 markings, 930582192 edges, 98577 markings/sec, 1320 secs
lola: 133771712 markings, 934244703 edges, 98697 markings/sec, 1325 secs
lola: 134276185 markings, 938005908 edges, 100895 markings/sec, 1330 secs
lola: 134879156 markings, 941849597 edges, 120594 markings/sec, 1335 secs
lola: 135387096 markings, 945441792 edges, 101588 markings/sec, 1340 secs
lola: 135873618 markings, 948946880 edges, 97304 markings/sec, 1345 secs
lola: 136341846 markings, 952353608 edges, 93646 markings/sec, 1350 secs
lola: 136798315 markings, 955694755 edges, 91294 markings/sec, 1355 secs
lola: 137247807 markings, 958989033 edges, 89898 markings/sec, 1360 secs
lola: 137694495 markings, 962280911 edges, 89338 markings/sec, 1365 secs
lola: 138128610 markings, 965484609 edges, 86823 markings/sec, 1370 secs
lola: 138565502 markings, 968711862 edges, 87378 markings/sec, 1375 secs
lola: 138994803 markings, 971892446 edges, 85860 markings/sec, 1380 secs
lola: 139428735 markings, 975100790 edges, 86786 markings/sec, 1385 secs
lola: 139859678 markings, 978294764 edges, 86189 markings/sec, 1390 secs
lola: 140280620 markings, 981421454 edges, 84188 markings/sec, 1395 secs
lola: 140707264 markings, 984585695 edges, 85329 markings/sec, 1400 secs
lola: 141204887 markings, 987905606 edges, 99525 markings/sec, 1405 secs
lola: 141712197 markings, 991298284 edges, 101462 markings/sec, 1410 secs
lola: 142202386 markings, 994704235 edges, 98038 markings/sec, 1415 secs
lola: 142684203 markings, 998135799 edges, 96363 markings/sec, 1420 secs
lola: 143161519 markings, 1001547489 edges, 95463 markings/sec, 1425 secs
lola: 143639300 markings, 1004974072 edges, 95556 markings/sec, 1430 secs
lola: 144107187 markings, 1008413523 edges, 93577 markings/sec, 1435 secs
lola: 144589371 markings, 1011890144 edges, 96437 markings/sec, 1440 secs
lola: 145056697 markings, 1015343071 edges, 93465 markings/sec, 1445 secs
lola: 145534644 markings, 1018803674 edges, 95589 markings/sec, 1450 secs
lola: 146024089 markings, 1022435329 edges, 97889 markings/sec, 1455 secs
lola: 146519767 markings, 1026051460 edges, 99136 markings/sec, 1460 secs
lola: 147012623 markings, 1029712302 edges, 98571 markings/sec, 1465 secs
lola: 147517347 markings, 1033480951 edges, 100945 markings/sec, 1470 secs
lola: 148128605 markings, 1037409215 edges, 122252 markings/sec, 1475 secs
lola: 148655154 markings, 1041141920 edges, 105310 markings/sec, 1480 secs
lola: 149127810 markings, 1044546376 edges, 94531 markings/sec, 1485 secs
lola: 149590442 markings, 1047916811 edges, 92526 markings/sec, 1490 secs
lola: 150062853 markings, 1051382414 edges, 94482 markings/sec, 1495 secs
lola: 150513244 markings, 1054696766 edges, 90078 markings/sec, 1500 secs
lola: 150961742 markings, 1057996578 edges, 89700 markings/sec, 1505 secs
lola: 151405866 markings, 1061287961 edges, 88825 markings/sec, 1510 secs
lola: 151842696 markings, 1064508210 edges, 87366 markings/sec, 1515 secs
lola: 152287702 markings, 1067803815 edges, 89001 markings/sec, 1520 secs
lola: 152722976 markings, 1071031604 edges, 87055 markings/sec, 1525 secs
lola: 153160212 markings, 1074269084 edges, 87447 markings/sec, 1530 secs
lola: 153596392 markings, 1077505966 edges, 87236 markings/sec, 1535 secs
lola: 154021517 markings, 1080667216 edges, 85025 markings/sec, 1540 secs
lola: 154460947 markings, 1083930887 edges, 87886 markings/sec, 1545 secs
lola: 155022590 markings, 1087455585 edges, 112329 markings/sec, 1550 secs
lola: 155531092 markings, 1090994480 edges, 101700 markings/sec, 1555 secs
lola: 156037758 markings, 1094542028 edges, 101333 markings/sec, 1560 secs
lola: 156526426 markings, 1098039508 edges, 97734 markings/sec, 1565 secs
lola: 157010418 markings, 1101518857 edges, 96798 markings/sec, 1570 secs
lola: 157487422 markings, 1105022073 edges, 95401 markings/sec, 1575 secs
lola: 157974553 markings, 1108541060 edges, 97426 markings/sec, 1580 secs
lola: 158456416 markings, 1112104888 edges, 96373 markings/sec, 1585 secs
lola: 158952321 markings, 1115705990 edges, 99181 markings/sec, 1590 secs
lola: 159431202 markings, 1119260515 edges, 95776 markings/sec, 1595 secs
lola: 159925411 markings, 1122868721 edges, 98842 markings/sec, 1600 secs
lola: 160418642 markings, 1126536912 edges, 98646 markings/sec, 1605 secs
lola: 160914805 markings, 1130238927 edges, 99233 markings/sec, 1610 secs
lola: 161488168 markings, 1134106378 edges, 114673 markings/sec, 1615 secs
lola: 162031805 markings, 1137857756 edges, 108727 markings/sec, 1620 secs
lola: 162532499 markings, 1141442193 edges, 100139 markings/sec, 1625 secs
lola: 163015846 markings, 1144947144 edges, 96669 markings/sec, 1630 secs
lola: 163481549 markings, 1148352563 edges, 93141 markings/sec, 1635 secs
lola: 163934836 markings, 1151695063 edges, 90657 markings/sec, 1640 secs
lola: 164385827 markings, 1155008228 edges, 90198 markings/sec, 1645 secs
lola: 164838979 markings, 1158352829 edges, 90630 markings/sec, 1650 secs
lola: 165269292 markings, 1161539202 edges, 86063 markings/sec, 1655 secs
lola: 165707045 markings, 1164775646 edges, 87551 markings/sec, 1660 secs
lola: 166139868 markings, 1167988922 edges, 86565 markings/sec, 1665 secs
lola: 166589620 markings, 1171317687 edges, 89950 markings/sec, 1670 secs
lola: 167035253 markings, 1174623045 edges, 89127 markings/sec, 1675 secs
lola: time limit reached - aborting
lola:
preliminary result: 100 50 100 100 50 50 50 100 unknown unknown unknown 50 unknown unknown unknown unknown
lola:
preliminary result: 100 50 100 100 50 50 50 100 unknown unknown unknown 50 unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 100 50 100 100 50 50 50 100 unknown unknown unknown 50 unknown unknown unknown unknown
lola: memory consumption: 7881760 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: memory consumption: 7881760 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: 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="PermAdmissibility-PT-50"
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 PermAdmissibility-PT-50, 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 r174-csrt-158987853500653"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/PermAdmissibility-PT-50.tgz
mv PermAdmissibility-PT-50 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 '
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 ;