Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2019-input.r005-smll-155225008900083.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2019-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
..................
=====================================================================
Generated by BenchKit 2-3957
Executing tool lola
Input is ASLink-PT-05a, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r005-smll-155225008900083
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 676K
-rw-r--r-- 1 mcc users 4.5K Feb 9 05:49 CTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Feb 9 05:49 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 5 02:00 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 5 02:00 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 100 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 338 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.4K Feb 4 22:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K Feb 4 22:50 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.7K Feb 4 22:31 LTLFireability.txt
-rw-r--r-- 1 mcc users 7.2K Feb 4 22:31 LTLFireability.xml
-rw-r--r-- 1 mcc users 2.9K Feb 1 23:27 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 14K Feb 1 23:27 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Jan 29 09:53 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Jan 29 09:53 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 4 22:17 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 4 22:17 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 4 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 516K Mar 10 17:31 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 ASLink-PT-05a-UpperBounds-00
FORMULA_NAME ASLink-PT-05a-UpperBounds-01
FORMULA_NAME ASLink-PT-05a-UpperBounds-02
FORMULA_NAME ASLink-PT-05a-UpperBounds-03
FORMULA_NAME ASLink-PT-05a-UpperBounds-04
FORMULA_NAME ASLink-PT-05a-UpperBounds-05
FORMULA_NAME ASLink-PT-05a-UpperBounds-06
FORMULA_NAME ASLink-PT-05a-UpperBounds-07
FORMULA_NAME ASLink-PT-05a-UpperBounds-08
FORMULA_NAME ASLink-PT-05a-UpperBounds-09
FORMULA_NAME ASLink-PT-05a-UpperBounds-10
FORMULA_NAME ASLink-PT-05a-UpperBounds-11
FORMULA_NAME ASLink-PT-05a-UpperBounds-12
FORMULA_NAME ASLink-PT-05a-UpperBounds-13
FORMULA_NAME ASLink-PT-05a-UpperBounds-14
FORMULA_NAME ASLink-PT-05a-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1552552120648

info: Time: 3600 - MCC
vrfy: Checking UpperBounds @ ASLink-PT-05a @ 3570 seconds

FORMULA ASLink-PT-05a-UpperBounds-00 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ASLink-PT-05a-UpperBounds-01 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ASLink-PT-05a-UpperBounds-02 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ASLink-PT-05a-UpperBounds-04 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ASLink-PT-05a-UpperBounds-06 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ASLink-PT-05a-UpperBounds-09 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ASLink-PT-05a-UpperBounds-10 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ASLink-PT-05a-UpperBounds-11 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ASLink-PT-05a-UpperBounds-12 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ASLink-PT-05a-UpperBounds-13 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ASLink-PT-05a-UpperBounds-14 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

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

{
"build":
{
"architecture": 64,
"assertions": false,
"build_hostname": "mcc2019",
"build_system": "x86_64-unknown-linux-gnu",
"optimizations": true,
"package_version": "2.0",
"svn_version": "3189M"
},
"call":
{
"exec_host": "mcc2019",
"markinglimit": null,
"parameters":
[
"--pnmlnet",
"model.pnml",
"--xmlformula",
"--formula=UpperBounds.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--check=modelchecking",
"--stubborn=tarjan",
"--timelimit=3570",
"--localtimelimit=0",
"--json=UpperBounds.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Thu Mar 14 08:28:40 2019
",
"timelimit": 3570
},
"child":
[

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 222
},
"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": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "MAX(p339)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 5,
"markings": 6,
"produced_by": "search",
"value": 1
},
"task":
{
"compoundnumber": 0,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 237
},
"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": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "MAX(p1088)",
"processed_size": 10,
"rewrites": 0
},
"result":
{
"edges": 6,
"markings": 7,
"produced_by": "search",
"value": 1
},
"task":
{
"compoundnumber": 1,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 254
},
"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": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "MAX(p791)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 6,
"markings": 7,
"produced_by": "search",
"value": 1
},
"task":
{
"compoundnumber": 2,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 274
},
"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": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "MAX(p993)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 6,
"markings": 7,
"produced_by": "search",
"value": 1
},
"task":
{
"compoundnumber": 4,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 299
},
"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": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "MAX(p603)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 6,
"markings": 7,
"produced_by": "search",
"value": 1
},
"task":
{
"compoundnumber": 6,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 332
},
"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": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "MAX(p179)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 11561,
"markings": 9020,
"produced_by": "search",
"value": 1
},
"task":
{
"compoundnumber": 9,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 387
},
"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": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "MAX(p897)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 83,
"markings": 84,
"produced_by": "search",
"value": 1
},
"task":
{
"compoundnumber": 10,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 465
},
"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": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "MAX(p1194)",
"processed_size": 10,
"rewrites": 0
},
"result":
{
"edges": 8,
"markings": 9,
"produced_by": "search",
"value": 1
},
"task":
{
"compoundnumber": 11,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 581
},
"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": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "MAX(p1025)",
"processed_size": 10,
"rewrites": 0
},
"result":
{
"edges": 9,
"markings": 10,
"produced_by": "search",
"value": 1
},
"task":
{
"compoundnumber": 12,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 775
},
"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": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "MAX(p914)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 3,
"markings": 4,
"produced_by": "search",
"value": 1
},
"task":
{
"compoundnumber": 13,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1163
},
"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": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "MAX(p795)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 1,
"markings": 2,
"produced_by": "search",
"value": 1
},
"task":
{
"compoundnumber": 14,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 2326
},
"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": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "MAX(p532)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 4,
"markings": 5,
"produced_by": "search",
"value": 1
},
"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": 3896236,
"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": 6877,
"conflict_clusters": 404,
"places": 1211,
"places_significant": 979,
"singleton_clusters": 0,
"transitions": 1827
},
"result":
{
"interim_value": "1 1 1 unknown 1 unknown 1 unknown unknown 1 1 1 1 1 1 1 ",
"preliminary_value": "1 1 1 unknown 1 unknown 1 unknown unknown 1 1 1 1 1 1 1 "
},
"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: 3038/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 1211
lola: finding significant places
lola: 1211 places, 1827 transitions, 979 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(p339) : MAX(p1088) : MAX(p791) : MAX(p59) : MAX(p993) : MAX(p799) : MAX(p603) : MAX(p586) : MAX(p712) : MAX(p179) : MAX(p897) : MAX(p1194) : MAX(p1025) : MAX(p914) : MAX(p795) : MAX(p532)
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(p339)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p339)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 6 markings, 5 edges
lola: ========================================
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1088)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1088)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 7 markings, 6 edges
lola: ========================================
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p791)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p791)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 7 markings, 6 edges
lola: ========================================
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p59)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p59)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: 240446 markings, 349619 edges, 48089 markings/sec, 0 secs
lola: 481319 markings, 711892 edges, 48175 markings/sec, 5 secs
lola: 675039 markings, 1040193 edges, 38744 markings/sec, 10 secs
lola: 866966 markings, 1369054 edges, 38385 markings/sec, 15 secs
lola: 1108741 markings, 1730401 edges, 48355 markings/sec, 20 secs
lola: 1301441 markings, 2058921 edges, 38540 markings/sec, 25 secs
lola: 1537942 markings, 2417920 edges, 47300 markings/sec, 30 secs
lola: 1752227 markings, 2762512 edges, 42857 markings/sec, 35 secs
lola: 1982733 markings, 3117182 edges, 46101 markings/sec, 40 secs
lola: 2218139 markings, 3474922 edges, 47081 markings/sec, 45 secs
lola: 2450347 markings, 3830033 edges, 46442 markings/sec, 50 secs
lola: 2693301 markings, 4207205 edges, 48591 markings/sec, 55 secs
lola: 2961484 markings, 4598266 edges, 53637 markings/sec, 60 secs
lola: 3167733 markings, 4959381 edges, 41250 markings/sec, 65 secs
lola: 3325158 markings, 5299516 edges, 31485 markings/sec, 70 secs
lola: 3560033 markings, 5676371 edges, 46975 markings/sec, 75 secs
lola: 3749655 markings, 6028618 edges, 37924 markings/sec, 80 secs
lola: 3868181 markings, 6354697 edges, 23705 markings/sec, 85 secs
lola: 4112899 markings, 6735156 edges, 48944 markings/sec, 90 secs
lola: 4411696 markings, 7138623 edges, 59759 markings/sec, 95 secs
lola: 4495670 markings, 7444210 edges, 16795 markings/sec, 100 secs
lola: 4616029 markings, 7770909 edges, 24072 markings/sec, 105 secs
lola: 4790194 markings, 8108590 edges, 34833 markings/sec, 110 secs
lola: 5086739 markings, 8505505 edges, 59309 markings/sec, 115 secs
lola: 5391629 markings, 8911275 edges, 60978 markings/sec, 120 secs
lola: 5485761 markings, 9218397 edges, 18826 markings/sec, 125 secs
lola: 5568053 markings, 9530327 edges, 16458 markings/sec, 130 secs
lola: 5731471 markings, 9947837 edges, 32684 markings/sec, 135 secs
lola: 5991553 markings, 10351814 edges, 52016 markings/sec, 140 secs
lola: 6192031 markings, 10712339 edges, 40096 markings/sec, 145 secs
lola: 6404905 markings, 11093219 edges, 42575 markings/sec, 150 secs
lola: 6568355 markings, 11441252 edges, 32690 markings/sec, 155 secs
lola: 6823379 markings, 11828867 edges, 51005 markings/sec, 160 secs
lola: 6989436 markings, 12206641 edges, 33211 markings/sec, 165 secs
lola: 7222442 markings, 12581743 edges, 46601 markings/sec, 170 secs
lola: 7406886 markings, 12968035 edges, 36889 markings/sec, 175 secs
lola: 7608130 markings, 13367601 edges, 40249 markings/sec, 180 secs
lola: 7780553 markings, 13720539 edges, 34485 markings/sec, 185 secs
lola: 8034344 markings, 14113411 edges, 50758 markings/sec, 190 secs
lola: 8244595 markings, 14475947 edges, 42050 markings/sec, 195 secs
lola: 8398079 markings, 14873001 edges, 30697 markings/sec, 200 secs
lola: 8624339 markings, 15262689 edges, 45252 markings/sec, 205 secs
lola: 8823844 markings, 15619736 edges, 39901 markings/sec, 210 secs
lola: 9021790 markings, 15996159 edges, 39589 markings/sec, 215 secs
lola: 9202695 markings, 16396387 edges, 36181 markings/sec, 220 secs
lola: 9429698 markings, 16817332 edges, 45401 markings/sec, 225 secs
lola: 9584304 markings, 17159474 edges, 30921 markings/sec, 230 secs
lola: 9810207 markings, 17543483 edges, 45181 markings/sec, 235 secs
lola: 10037152 markings, 17915924 edges, 45389 markings/sec, 240 secs
lola: 10221549 markings, 18269365 edges, 36879 markings/sec, 245 secs
lola: 10427067 markings, 18630991 edges, 41104 markings/sec, 250 secs
lola: 10593436 markings, 19042115 edges, 33274 markings/sec, 255 secs
lola: 10812098 markings, 19428388 edges, 43732 markings/sec, 260 secs
lola: 11040310 markings, 19800469 edges, 45642 markings/sec, 265 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 509392 KB
lola: time consumption: 279 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 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p993)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p993)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 7 markings, 6 edges
lola: ========================================
lola: subprocess 5 will run for 299 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p799)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p799)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: 178460 markings, 304458 edges, 35692 markings/sec, 0 secs
lola: 379241 markings, 645712 edges, 40156 markings/sec, 5 secs
lola: 566271 markings, 972494 edges, 37406 markings/sec, 10 secs
lola: 745714 markings, 1298277 edges, 35889 markings/sec, 15 secs
lola: 906925 markings, 1600171 edges, 32242 markings/sec, 20 secs
lola: 1097402 markings, 1932640 edges, 38095 markings/sec, 25 secs
lola: 1266414 markings, 2251181 edges, 33802 markings/sec, 30 secs
lola: 1456939 markings, 2583714 edges, 38105 markings/sec, 35 secs
lola: 1652109 markings, 2918976 edges, 39034 markings/sec, 40 secs
lola: 1824659 markings, 3239461 edges, 34510 markings/sec, 45 secs
lola: 2023363 markings, 3577466 edges, 39741 markings/sec, 50 secs
lola: 2214643 markings, 3909293 edges, 38256 markings/sec, 55 secs
lola: 2408249 markings, 4243182 edges, 38721 markings/sec, 60 secs
lola: 2614507 markings, 4595485 edges, 41252 markings/sec, 65 secs
lola: 2844814 markings, 4972095 edges, 46061 markings/sec, 70 secs
lola: 3091823 markings, 5358743 edges, 49402 markings/sec, 75 secs
lola: 3330664 markings, 5737189 edges, 47768 markings/sec, 80 secs
lola: 3547487 markings, 6103212 edges, 43365 markings/sec, 85 secs
lola: 3759522 markings, 6469072 edges, 42407 markings/sec, 90 secs
lola: 3982799 markings, 6841471 edges, 44655 markings/sec, 95 secs
lola: 4211437 markings, 7216483 edges, 45728 markings/sec, 100 secs
lola: 4415961 markings, 7580404 edges, 40905 markings/sec, 105 secs
lola: 4638603 markings, 7953263 edges, 44528 markings/sec, 110 secs
lola: 4869065 markings, 8329182 edges, 46092 markings/sec, 115 secs
lola: 5098852 markings, 8705209 edges, 45957 markings/sec, 120 secs
lola: 5328175 markings, 9081157 edges, 45865 markings/sec, 125 secs
lola: 5507135 markings, 9432844 edges, 35792 markings/sec, 130 secs
lola: 5742361 markings, 9811122 edges, 47045 markings/sec, 135 secs
lola: 5970888 markings, 10185798 edges, 45705 markings/sec, 140 secs
lola: 6205714 markings, 10563708 edges, 46965 markings/sec, 145 secs
lola: 6435249 markings, 10939153 edges, 45907 markings/sec, 150 secs
lola: 6668848 markings, 11316145 edges, 46720 markings/sec, 155 secs
lola: 6900177 markings, 11693275 edges, 46266 markings/sec, 160 secs
lola: 7139274 markings, 12073737 edges, 47819 markings/sec, 165 secs
lola: 7348883 markings, 12431285 edges, 41922 markings/sec, 170 secs
lola: 7566721 markings, 12793501 edges, 43568 markings/sec, 175 secs
lola: 7748624 markings, 13147264 edges, 36381 markings/sec, 180 secs
lola: 7976182 markings, 13522265 edges, 45512 markings/sec, 185 secs
lola: 8186408 markings, 13886097 edges, 42045 markings/sec, 190 secs
lola: 8412861 markings, 14259442 edges, 45291 markings/sec, 195 secs
lola: 8622475 markings, 14622028 edges, 41923 markings/sec, 200 secs
lola: 8844707 markings, 14994365 edges, 44446 markings/sec, 205 secs
lola: 9016210 markings, 15342127 edges, 34301 markings/sec, 210 secs
lola: 9249357 markings, 15722797 edges, 46629 markings/sec, 215 secs
lola: 9478273 markings, 16095585 edges, 45783 markings/sec, 220 secs
lola: 9696712 markings, 16465686 edges, 43688 markings/sec, 225 secs
lola: 9906903 markings, 16834447 edges, 42038 markings/sec, 230 secs
lola: 10135920 markings, 17211447 edges, 45803 markings/sec, 235 secs
lola: 10356816 markings, 17579280 edges, 44179 markings/sec, 240 secs
lola: 10582974 markings, 17952716 edges, 45232 markings/sec, 245 secs
lola: 10793279 markings, 18320149 edges, 42061 markings/sec, 250 secs
lola: 11021196 markings, 18695091 edges, 45583 markings/sec, 255 secs
lola: 11200867 markings, 19047486 edges, 35934 markings/sec, 260 secs
lola: 11413528 markings, 19415485 edges, 42532 markings/sec, 265 secs
lola: 11647698 markings, 19795152 edges, 46834 markings/sec, 270 secs
lola: 11868410 markings, 20163155 edges, 44142 markings/sec, 275 secs
lola: 12085009 markings, 20532276 edges, 43320 markings/sec, 280 secs
lola: 12314148 markings, 20908213 edges, 45828 markings/sec, 285 secs
lola: 12525292 markings, 21276215 edges, 42229 markings/sec, 290 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 568296 KB
lola: time consumption: 578 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 6 will run for 299 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p603)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p603)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 7 markings, 6 edges
lola: ========================================
lola: subprocess 7 will run for 332 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p586)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p586)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 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: 149807 markings, 162726 edges, 29961 markings/sec, 30 secs
lola: 299078 markings, 327665 edges, 29854 markings/sec, 35 secs
lola: 452084 markings, 493989 edges, 30601 markings/sec, 40 secs
lola: 603461 markings, 660650 edges, 30275 markings/sec, 45 secs
lola: 757292 markings, 826769 edges, 30766 markings/sec, 50 secs
lola: 909437 markings, 993530 edges, 30429 markings/sec, 55 secs
lola: 1061202 markings, 1160281 edges, 30353 markings/sec, 60 secs
lola: 1214333 markings, 1326608 edges, 30626 markings/sec, 65 secs
lola: 1367983 markings, 1491843 edges, 30730 markings/sec, 70 secs
lola: 1520278 markings, 1658872 edges, 30459 markings/sec, 75 secs
lola: 1671988 markings, 1825275 edges, 30342 markings/sec, 80 secs
lola: 1824792 markings, 1991958 edges, 30561 markings/sec, 85 secs
lola: 1966249 markings, 2172439 edges, 28291 markings/sec, 90 secs
lola: 2101967 markings, 2361896 edges, 27144 markings/sec, 95 secs
lola: 2244621 markings, 2533984 edges, 28531 markings/sec, 100 secs
lola: 2389411 markings, 2708805 edges, 28958 markings/sec, 105 secs
lola: 2534146 markings, 2883691 edges, 28947 markings/sec, 110 secs
lola: 2681422 markings, 3056153 edges, 29455 markings/sec, 115 secs
lola: 2825550 markings, 3230334 edges, 28826 markings/sec, 120 secs
lola: 2973168 markings, 3402799 edges, 29524 markings/sec, 125 secs
lola: 3115384 markings, 3577883 edges, 28443 markings/sec, 130 secs
lola: 3253786 markings, 3752319 edges, 27680 markings/sec, 135 secs
lola: 3388967 markings, 3933773 edges, 27036 markings/sec, 140 secs
lola: 3535701 markings, 4104303 edges, 29347 markings/sec, 145 secs
lola: 3675724 markings, 4283332 edges, 28005 markings/sec, 150 secs
lola: 3817687 markings, 4457926 edges, 28393 markings/sec, 155 secs
lola: 3958608 markings, 4638656 edges, 28184 markings/sec, 160 secs
lola: 4105182 markings, 4809248 edges, 29315 markings/sec, 165 secs
lola: 4246639 markings, 4988349 edges, 28291 markings/sec, 170 secs
lola: 4392648 markings, 5158619 edges, 29202 markings/sec, 175 secs
lola: 4533526 markings, 5337096 edges, 28176 markings/sec, 180 secs
lola: 4675786 markings, 5508134 edges, 28452 markings/sec, 185 secs
lola: 4819654 markings, 5682463 edges, 28774 markings/sec, 190 secs
lola: 4962835 markings, 5851140 edges, 28636 markings/sec, 195 secs
lola: 5113696 markings, 6015858 edges, 30172 markings/sec, 200 secs
lola: 5252698 markings, 6197665 edges, 27800 markings/sec, 205 secs
lola: 5398160 markings, 6368835 edges, 29092 markings/sec, 210 secs
lola: 5550349 markings, 6534914 edges, 30438 markings/sec, 215 secs
lola: 5689029 markings, 6716448 edges, 27736 markings/sec, 220 secs
lola: 5836102 markings, 6886982 edges, 29415 markings/sec, 225 secs
lola: 5979205 markings, 7065151 edges, 28621 markings/sec, 230 secs
lola: 6125193 markings, 7236441 edges, 29198 markings/sec, 235 secs
lola: 6270003 markings, 7410770 edges, 28962 markings/sec, 240 secs
lola: 6418008 markings, 7582393 edges, 29601 markings/sec, 245 secs
lola: 6562999 markings, 7755727 edges, 28998 markings/sec, 250 secs
lola: 6712857 markings, 7926744 edges, 29972 markings/sec, 255 secs
lola: 6855455 markings, 8099847 edges, 28520 markings/sec, 260 secs
lola: 7001106 markings, 8272685 edges, 29130 markings/sec, 265 secs
lola: 7148987 markings, 8443813 edges, 29576 markings/sec, 270 secs
lola: 7293247 markings, 8618034 edges, 28852 markings/sec, 275 secs
lola: 7441828 markings, 8788758 edges, 29716 markings/sec, 280 secs
lola: 7583258 markings, 8973323 edges, 28286 markings/sec, 285 secs
lola: 7736149 markings, 9139000 edges, 30578 markings/sec, 290 secs
lola: 7878128 markings, 9315726 edges, 28396 markings/sec, 295 secs
lola: 8031298 markings, 9482755 edges, 30634 markings/sec, 300 secs
lola: 8184537 markings, 9649505 edges, 30648 markings/sec, 305 secs
lola: 8337143 markings, 9815270 edges, 30521 markings/sec, 310 secs
lola: 8489874 markings, 9981082 edges, 30546 markings/sec, 315 secs
lola: 8627034 markings, 10162731 edges, 27432 markings/sec, 320 secs
lola: 8770170 markings, 10342247 edges, 28627 markings/sec, 325 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 unknown 1 unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 722444 KB
lola: time consumption: 911 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 332 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p712)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p712)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: 173980 markings, 297023 edges, 34796 markings/sec, 0 secs
lola: 372720 markings, 635146 edges, 39748 markings/sec, 5 secs
lola: 561112 markings, 961742 edges, 37678 markings/sec, 10 secs
lola: 737096 markings, 1284399 edges, 35197 markings/sec, 15 secs
lola: 909183 markings, 1604461 edges, 34417 markings/sec, 20 secs
lola: 1099408 markings, 1935915 edges, 38045 markings/sec, 25 secs
lola: 1267894 markings, 2253547 edges, 33697 markings/sec, 30 secs
lola: 1457315 markings, 2584376 edges, 37884 markings/sec, 35 secs
lola: 1651519 markings, 2917772 edges, 38841 markings/sec, 40 secs
lola: 1823086 markings, 3237071 edges, 34313 markings/sec, 45 secs
lola: 2020899 markings, 3573499 edges, 39563 markings/sec, 50 secs
lola: 2211769 markings, 3903767 edges, 38174 markings/sec, 55 secs
lola: 2403256 markings, 4235038 edges, 38297 markings/sec, 60 secs
lola: 2607085 markings, 4584286 edges, 40766 markings/sec, 65 secs
lola: 2837048 markings, 4959923 edges, 45993 markings/sec, 70 secs
lola: 3081929 markings, 5343082 edges, 48976 markings/sec, 75 secs
lola: 3319406 markings, 5719366 edges, 47495 markings/sec, 80 secs
lola: 3534937 markings, 6082633 edges, 43106 markings/sec, 85 secs
lola: 3748465 markings, 6447406 edges, 42706 markings/sec, 90 secs
lola: 3968307 markings, 6816637 edges, 43968 markings/sec, 95 secs
lola: 4194188 markings, 7188492 edges, 45176 markings/sec, 100 secs
lola: 4401322 markings, 7551804 edges, 41427 markings/sec, 105 secs
lola: 4617638 markings, 7920169 edges, 43263 markings/sec, 110 secs
lola: 4847091 markings, 8293826 edges, 45891 markings/sec, 115 secs
lola: 5076816 markings, 8667890 edges, 45945 markings/sec, 120 secs
lola: 5305957 markings, 9041597 edges, 45828 markings/sec, 125 secs
lola: 5486366 markings, 9393174 edges, 36082 markings/sec, 130 secs
lola: 5713658 markings, 9765915 edges, 45458 markings/sec, 135 secs
lola: 5945330 markings, 10139758 edges, 46334 markings/sec, 140 secs
lola: 6172911 markings, 10512467 edges, 45516 markings/sec, 145 secs
lola: 6406509 markings, 10887974 edges, 46720 markings/sec, 150 secs
lola: 6633033 markings, 11260012 edges, 45305 markings/sec, 155 secs
lola: 6861827 markings, 11633405 edges, 45759 markings/sec, 160 secs
lola: 7101458 markings, 12014277 edges, 47926 markings/sec, 165 secs
lola: 7315090 markings, 12371736 edges, 42726 markings/sec, 170 secs
lola: 7530728 markings, 12730789 edges, 43128 markings/sec, 175 secs
lola: 7707995 markings, 13080611 edges, 35453 markings/sec, 180 secs
lola: 7934620 markings, 13455466 edges, 45325 markings/sec, 185 secs
lola: 8143480 markings, 13815552 edges, 41772 markings/sec, 190 secs
lola: 8368866 markings, 14188460 edges, 45077 markings/sec, 195 secs
lola: 8577686 markings, 14547714 edges, 41764 markings/sec, 200 secs
lola: 8801199 markings, 14918378 edges, 44703 markings/sec, 205 secs
lola: 8980270 markings, 15269626 edges, 35814 markings/sec, 210 secs
lola: 9198830 markings, 15640772 edges, 43712 markings/sec, 215 secs
lola: 9428350 markings, 16014659 edges, 45904 markings/sec, 220 secs
lola: 9645553 markings, 16380791 edges, 43441 markings/sec, 225 secs
lola: 9853506 markings, 16746619 edges, 41591 markings/sec, 230 secs
lola: 10082528 markings, 17122092 edges, 45804 markings/sec, 235 secs
lola: 10310135 markings, 17492039 edges, 45521 markings/sec, 240 secs
lola: 10526020 markings, 17858461 edges, 43177 markings/sec, 245 secs
lola: 10733328 markings, 18223194 edges, 41462 markings/sec, 250 secs
lola: 10962315 markings, 18597293 edges, 45797 markings/sec, 255 secs
lola: 11155228 markings, 18954748 edges, 38583 markings/sec, 260 secs
lola: 11348887 markings, 19311835 edges, 38732 markings/sec, 265 secs
lola: 11582032 markings, 19689234 edges, 46629 markings/sec, 270 secs
lola: 11812115 markings, 20060053 edges, 46017 markings/sec, 275 secs
lola: 12029196 markings, 20427710 edges, 43416 markings/sec, 280 secs
lola: 12245646 markings, 20796137 edges, 43290 markings/sec, 285 secs
lola: 12473272 markings, 21170230 edges, 45525 markings/sec, 290 secs
lola: 12684103 markings, 21536058 edges, 42166 markings/sec, 295 secs
lola: 12915506 markings, 21911386 edges, 46281 markings/sec, 300 secs
lola: 13135163 markings, 22276303 edges, 43931 markings/sec, 305 secs
lola: 13348297 markings, 22641327 edges, 42627 markings/sec, 310 secs
lola: 13575928 markings, 23013321 edges, 45526 markings/sec, 315 secs
lola: 13787434 markings, 23378392 edges, 42301 markings/sec, 320 secs
lola: 14009728 markings, 23746897 edges, 44459 markings/sec, 325 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 unknown 1 unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 626936 KB
lola: time consumption: 1243 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 332 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p179)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p179)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 9020 markings, 11561 edges
lola: ========================================
lola: subprocess 10 will run for 387 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p897)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p897)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 84 markings, 83 edges
lola: ========================================
lola: subprocess 11 will run for 465 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1194)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1194)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 9 markings, 8 edges
lola: ========================================
lola: subprocess 12 will run for 581 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1025)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1025)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 10 markings, 9 edges
lola: ========================================
lola: subprocess 13 will run for 775 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p914)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p914)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 4 markings, 3 edges
lola: ========================================
lola: subprocess 14 will run for 1163 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p795)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p795)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 2 markings, 1 edges
lola: ========================================
lola: subprocess 15 will run for 2326 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p532)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p532)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 5 markings, 4 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: MAX(p59)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p59)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: 233661 markings, 340571 edges, 46732 markings/sec, 0 secs
lola: 475389 markings, 699429 edges, 48346 markings/sec, 5 secs
lola: 665529 markings, 1020904 edges, 38028 markings/sec, 10 secs
lola: 850941 markings, 1341451 edges, 37082 markings/sec, 15 secs
lola: 1077200 markings, 1688272 edges, 45252 markings/sec, 20 secs
lola: 1269505 markings, 2013920 edges, 38461 markings/sec, 25 secs
lola: 1506189 markings, 2368345 edges, 47337 markings/sec, 30 secs
lola: 1728975 markings, 2714173 edges, 44557 markings/sec, 35 secs
lola: 1932216 markings, 3046832 edges, 40648 markings/sec, 40 secs
lola: 2167290 markings, 3400225 edges, 47015 markings/sec, 45 secs
lola: 2408134 markings, 3758328 edges, 48169 markings/sec, 50 secs
lola: 2638491 markings, 4110924 edges, 46071 markings/sec, 55 secs
lola: 2902222 markings, 4503912 edges, 52746 markings/sec, 60 secs
lola: 3086822 markings, 4849684 edges, 36920 markings/sec, 65 secs
lola: 3290260 markings, 5205433 edges, 40688 markings/sec, 70 secs
lola: 3467893 markings, 5552083 edges, 35527 markings/sec, 75 secs
lola: 3723201 markings, 5928478 edges, 51062 markings/sec, 80 secs
lola: 3818695 markings, 6239578 edges, 19099 markings/sec, 85 secs
lola: 4004211 markings, 6589661 edges, 37103 markings/sec, 90 secs
lola: 4301850 markings, 6988723 edges, 59528 markings/sec, 95 secs
lola: 4463321 markings, 7321320 edges, 32294 markings/sec, 100 secs
lola: 4543961 markings, 7627266 edges, 16128 markings/sec, 105 secs
lola: 4697836 markings, 7960689 edges, 30775 markings/sec, 110 secs
lola: 4969440 markings, 8347336 edges, 54321 markings/sec, 115 secs
lola: 5267724 markings, 8746944 edges, 59657 markings/sec, 120 secs
lola: 5450836 markings, 9085662 edges, 36622 markings/sec, 125 secs
lola: 5531738 markings, 9392236 edges, 16180 markings/sec, 130 secs
lola: 5642437 markings, 9738029 edges, 22140 markings/sec, 135 secs
lola: 5857104 markings, 10166028 edges, 42933 markings/sec, 140 secs
lola: 6090378 markings, 10531708 edges, 46655 markings/sec, 145 secs
lola: 6295730 markings, 10892043 edges, 41070 markings/sec, 150 secs
lola: 6478733 markings, 11255928 edges, 36601 markings/sec, 155 secs
lola: 6689203 markings, 11623315 edges, 42094 markings/sec, 160 secs
lola: 6885665 markings, 11997418 edges, 39292 markings/sec, 165 secs
lola: 7099329 markings, 12373926 edges, 42733 markings/sec, 170 secs
lola: 7287963 markings, 12743997 edges, 37727 markings/sec, 175 secs
lola: 7510014 markings, 13121275 edges, 44410 markings/sec, 180 secs
lola: 7665273 markings, 13493809 edges, 31052 markings/sec, 185 secs
lola: 7873133 markings, 13862254 edges, 41572 markings/sec, 190 secs
lola: 8091444 markings, 14227680 edges, 43662 markings/sec, 195 secs
lola: 8272630 markings, 14578217 edges, 36237 markings/sec, 200 secs
lola: 8441229 markings, 14979629 edges, 33720 markings/sec, 205 secs
lola: 8701887 markings, 15375053 edges, 52132 markings/sec, 210 secs
lola: 8904009 markings, 15727208 edges, 40424 markings/sec, 215 secs
lola: 9065259 markings, 16111494 edges, 32250 markings/sec, 220 secs
lola: 9261254 markings, 16487637 edges, 39199 markings/sec, 225 secs
lola: 9461974 markings, 16889366 edges, 40144 markings/sec, 230 secs
lola: 9613744 markings, 17224812 edges, 30354 markings/sec, 235 secs
lola: 9857473 markings, 17613996 edges, 48746 markings/sec, 240 secs
lola: 10061600 markings, 17969208 edges, 40825 markings/sec, 245 secs
lola: 10243346 markings, 18316801 edges, 36349 markings/sec, 250 secs
lola: 10437132 markings, 18669295 edges, 38757 markings/sec, 255 secs
lola: 10607932 markings, 19079245 edges, 34160 markings/sec, 260 secs
lola: 10836025 markings, 19465263 edges, 45619 markings/sec, 265 secs
lola: 11051462 markings, 19824921 edges, 43087 markings/sec, 270 secs
lola: 11233234 markings, 20171663 edges, 36354 markings/sec, 275 secs
lola: 11432801 markings, 20525388 edges, 39913 markings/sec, 280 secs
lola: 11597428 markings, 20929783 edges, 32925 markings/sec, 285 secs
lola: 11810676 markings, 21308108 edges, 42650 markings/sec, 290 secs
lola: 12011262 markings, 21714306 edges, 40117 markings/sec, 295 secs
lola: 12162360 markings, 22049626 edges, 30220 markings/sec, 300 secs
lola: 12379234 markings, 22423662 edges, 43375 markings/sec, 305 secs
lola: 12634865 markings, 22808197 edges, 51126 markings/sec, 310 secs
lola: 12833965 markings, 23161560 edges, 39820 markings/sec, 315 secs
lola: 13035104 markings, 23518161 edges, 40228 markings/sec, 320 secs
lola: 13188019 markings, 23851543 edges, 30583 markings/sec, 325 secs
lola: 13358115 markings, 24202995 edges, 34019 markings/sec, 330 secs
lola: 13532548 markings, 24614458 edges, 34887 markings/sec, 335 secs
lola: 13758134 markings, 24998598 edges, 45117 markings/sec, 340 secs
lola: 14008974 markings, 25376592 edges, 50168 markings/sec, 345 secs
lola: 14189721 markings, 25721941 edges, 36149 markings/sec, 350 secs
lola: 14395045 markings, 26077150 edges, 41065 markings/sec, 355 secs
lola: 14565750 markings, 26418747 edges, 34141 markings/sec, 360 secs
lola: 14723834 markings, 26773368 edges, 31617 markings/sec, 365 secs
lola: 14891917 markings, 27172714 edges, 33617 markings/sec, 370 secs
lola: 15126354 markings, 27555814 edges, 46887 markings/sec, 375 secs
lola: 15324968 markings, 27967928 edges, 39723 markings/sec, 380 secs
lola: 15476796 markings, 28303421 edges, 30366 markings/sec, 385 secs
lola: 15669144 markings, 28662309 edges, 38470 markings/sec, 390 secs
lola: 15930856 markings, 29056188 edges, 52342 markings/sec, 395 secs
lola: 16134588 markings, 29410573 edges, 40746 markings/sec, 400 secs
lola: 16309574 markings, 29755038 edges, 34997 markings/sec, 405 secs
lola: 16496013 markings, 30103643 edges, 37288 markings/sec, 410 secs
lola: 16713707 markings, 30463564 edges, 43539 markings/sec, 415 secs
lola: 16890477 markings, 30807277 edges, 35354 markings/sec, 420 secs
lola: 17044775 markings, 31140376 edges, 30860 markings/sec, 425 secs
lola: 17223748 markings, 31553044 edges, 35795 markings/sec, 430 secs
lola: 17414184 markings, 31920722 edges, 38087 markings/sec, 435 secs
lola: 17676406 markings, 32313018 edges, 52444 markings/sec, 440 secs
lola: 17879087 markings, 32666057 edges, 40536 markings/sec, 445 secs
lola: 18052537 markings, 33008483 edges, 34690 markings/sec, 450 secs
lola: 18229963 markings, 33351418 edges, 35485 markings/sec, 455 secs
lola: 18444265 markings, 33708973 edges, 42860 markings/sec, 460 secs
lola: 18629350 markings, 34055219 edges, 37017 markings/sec, 465 secs
lola: 18781659 markings, 34395599 edges, 30462 markings/sec, 470 secs
lola: 18962467 markings, 34815391 edges, 36162 markings/sec, 475 secs
lola: 19161897 markings, 35186239 edges, 39886 markings/sec, 480 secs
lola: 19420311 markings, 35571926 edges, 51683 markings/sec, 485 secs
lola: 19655765 markings, 35943109 edges, 47091 markings/sec, 490 secs
lola: 19885711 markings, 36313377 edges, 45989 markings/sec, 495 secs
lola: 20134779 markings, 36691384 edges, 49814 markings/sec, 500 secs
lola: 20296909 markings, 37022994 edges, 32426 markings/sec, 505 secs
lola: 20489995 markings, 37371556 edges, 38617 markings/sec, 510 secs
lola: 20675125 markings, 37718001 edges, 37026 markings/sec, 515 secs
lola: 20877408 markings, 38071239 edges, 40457 markings/sec, 520 secs
lola: 21078773 markings, 38424658 edges, 40273 markings/sec, 525 secs
lola: 21303161 markings, 38789161 edges, 44878 markings/sec, 530 secs
lola: 21458315 markings, 39119822 edges, 31031 markings/sec, 535 secs
lola: 21698229 markings, 39492028 edges, 47983 markings/sec, 540 secs
lola: 21916697 markings, 39852905 edges, 43694 markings/sec, 545 secs
lola: 22117255 markings, 40205443 edges, 40112 markings/sec, 550 secs
lola: 22306704 markings, 40551955 edges, 37890 markings/sec, 555 secs
lola: 22536115 markings, 40920695 edges, 45882 markings/sec, 560 secs
lola: 22761944 markings, 41285268 edges, 45166 markings/sec, 565 secs
lola: 22988495 markings, 41648981 edges, 45310 markings/sec, 570 secs
lola: 23188193 markings, 41982109 edges, 39940 markings/sec, 575 secs
lola: 23386762 markings, 42314639 edges, 39714 markings/sec, 580 secs
lola: 23558163 markings, 42656129 edges, 34280 markings/sec, 585 secs
lola: 23760433 markings, 43012165 edges, 40454 markings/sec, 590 secs
lola: 23914725 markings, 43372644 edges, 30858 markings/sec, 595 secs
lola: 24112748 markings, 43704436 edges, 39605 markings/sec, 600 secs
lola: 24309085 markings, 44035898 edges, 39267 markings/sec, 605 secs
lola: 24465075 markings, 44403171 edges, 31198 markings/sec, 610 secs
lola: 24612442 markings, 44759216 edges, 29473 markings/sec, 615 secs
lola: 24833104 markings, 45130493 edges, 44132 markings/sec, 620 secs
lola: 25081702 markings, 45510262 edges, 49720 markings/sec, 625 secs
lola: 25330105 markings, 45888215 edges, 49681 markings/sec, 630 secs
lola: 25515377 markings, 46247131 edges, 37054 markings/sec, 635 secs
lola: 25657734 markings, 46627864 edges, 28471 markings/sec, 640 secs
lola: 25866928 markings, 47006227 edges, 41839 markings/sec, 645 secs
lola: 26114141 markings, 47384585 edges, 49443 markings/sec, 650 secs
lola: 26362252 markings, 47760830 edges, 49622 markings/sec, 655 secs
lola: 26549598 markings, 48118219 edges, 37469 markings/sec, 660 secs
lola: 26690120 markings, 48498203 edges, 28104 markings/sec, 665 secs
lola: 26895409 markings, 48874191 edges, 41058 markings/sec, 670 secs
lola: 27141148 markings, 49250458 edges, 49148 markings/sec, 675 secs
lola: 27387484 markings, 49624849 edges, 49267 markings/sec, 680 secs
lola: 27586209 markings, 49979507 edges, 39745 markings/sec, 685 secs
lola: 27746453 markings, 50323813 edges, 32049 markings/sec, 690 secs
lola: 27905333 markings, 50664312 edges, 31776 markings/sec, 695 secs
lola: 28064359 markings, 51006118 edges, 31805 markings/sec, 700 secs
lola: 28221212 markings, 51343166 edges, 31371 markings/sec, 705 secs
lola: 28378749 markings, 51681742 edges, 31507 markings/sec, 710 secs
lola: 28611338 markings, 52061811 edges, 46518 markings/sec, 715 secs
lola: 28852184 markings, 52425641 edges, 48169 markings/sec, 720 secs
lola: 29014015 markings, 52797017 edges, 32366 markings/sec, 725 secs
lola: 29276154 markings, 53179146 edges, 52428 markings/sec, 730 secs
lola: 29482936 markings, 53558339 edges, 41356 markings/sec, 735 secs
lola: 29571985 markings, 53941693 edges, 17810 markings/sec, 740 secs
lola: 29701563 markings, 54342791 edges, 25916 markings/sec, 745 secs
lola: 29890462 markings, 54723402 edges, 37780 markings/sec, 750 secs
lola: 30109655 markings, 55094527 edges, 43839 markings/sec, 755 secs
lola: 30323965 markings, 55454078 edges, 42862 markings/sec, 760 secs
lola: 30526368 markings, 55827075 edges, 40481 markings/sec, 765 secs
lola: 30735613 markings, 56188582 edges, 41849 markings/sec, 770 secs
lola: 30936277 markings, 56561033 edges, 40133 markings/sec, 775 secs
lola: 31146477 markings, 56922051 edges, 42040 markings/sec, 780 secs
lola: 31345577 markings, 57293524 edges, 39820 markings/sec, 785 secs
lola: 31556698 markings, 57655146 edges, 42224 markings/sec, 790 secs
lola: 31753640 markings, 58024808 edges, 39388 markings/sec, 795 secs
lola: 31965049 markings, 58386132 edges, 42282 markings/sec, 800 secs
lola: 32161235 markings, 58754686 edges, 39237 markings/sec, 805 secs
lola: 32373216 markings, 59116868 edges, 42396 markings/sec, 810 secs
lola: 32568183 markings, 59483726 edges, 38993 markings/sec, 815 secs
lola: 32781293 markings, 59846696 edges, 42622 markings/sec, 820 secs
lola: 32974675 markings, 60212576 edges, 38676 markings/sec, 825 secs
lola: 33186781 markings, 60575769 edges, 42421 markings/sec, 830 secs
lola: 33383346 markings, 60945147 edges, 39313 markings/sec, 835 secs
lola: 33575004 markings, 61342974 edges, 38332 markings/sec, 840 secs
lola: 33715263 markings, 61786869 edges, 28052 markings/sec, 845 secs
lola: 33866740 markings, 62133463 edges, 30295 markings/sec, 850 secs
lola: 34011172 markings, 62483466 edges, 28886 markings/sec, 855 secs
lola: 34153265 markings, 62829396 edges, 28419 markings/sec, 860 secs
lola: 34303344 markings, 63171952 edges, 30016 markings/sec, 865 secs
lola: 34448462 markings, 63523447 edges, 29024 markings/sec, 870 secs
lola: 34593261 markings, 63874518 edges, 28960 markings/sec, 875 secs
lola: 34740994 markings, 64215255 edges, 29547 markings/sec, 880 secs
lola: 34881331 markings, 64553804 edges, 28067 markings/sec, 885 secs
lola: 35045927 markings, 64904249 edges, 32919 markings/sec, 890 secs
lola: 35315999 markings, 65306047 edges, 54014 markings/sec, 895 secs
lola: 35574415 markings, 65705550 edges, 51683 markings/sec, 900 secs
lola: 35830524 markings, 66103503 edges, 51222 markings/sec, 905 secs
lola: 36086061 markings, 66500443 edges, 51107 markings/sec, 910 secs
lola: 36342165 markings, 66897732 edges, 51221 markings/sec, 915 secs
lola: 36612956 markings, 67288978 edges, 54158 markings/sec, 920 secs
lola: 36821916 markings, 67650961 edges, 41792 markings/sec, 925 secs
lola: 37021373 markings, 68028481 edges, 39891 markings/sec, 930 secs
lola: 37299190 markings, 68421455 edges, 55563 markings/sec, 935 secs
lola: 37403616 markings, 68804904 edges, 20885 markings/sec, 940 secs
lola: 37531865 markings, 69210568 edges, 25650 markings/sec, 945 secs
lola: 37749995 markings, 69604403 edges, 43626 markings/sec, 950 secs
lola: 37885392 markings, 70065079 edges, 27079 markings/sec, 955 secs
lola: 38023268 markings, 70437125 edges, 27575 markings/sec, 960 secs
lola: 38148672 markings, 70802974 edges, 25081 markings/sec, 965 secs
lola: 38276514 markings, 71165466 edges, 25568 markings/sec, 970 secs
lola: 38500652 markings, 71552353 edges, 44828 markings/sec, 975 secs
lola: 38760999 markings, 71952803 edges, 52069 markings/sec, 980 secs
lola: 39016827 markings, 72349648 edges, 51166 markings/sec, 985 secs
lola: 39272025 markings, 72744396 edges, 51040 markings/sec, 990 secs
lola: 39525622 markings, 73138959 edges, 50719 markings/sec, 995 secs
lola: 39785763 markings, 73534397 edges, 52028 markings/sec, 1000 secs
lola: 40052569 markings, 73915947 edges, 53361 markings/sec, 1005 secs
lola: 40195380 markings, 74269725 edges, 28562 markings/sec, 1010 secs
lola: 40468396 markings, 74660390 edges, 54603 markings/sec, 1015 secs
lola: 40669604 markings, 75045808 edges, 40242 markings/sec, 1020 secs
lola: 40759552 markings, 75431866 edges, 17990 markings/sec, 1025 secs
lola: 40937798 markings, 75846452 edges, 35649 markings/sec, 1030 secs
lola: 41125751 markings, 76263450 edges, 37591 markings/sec, 1035 secs
lola: 41264878 markings, 76680203 edges, 27825 markings/sec, 1040 secs
lola: 41393975 markings, 77047602 edges, 25819 markings/sec, 1045 secs
lola: 41519337 markings, 77412505 edges, 25072 markings/sec, 1050 secs
lola: 41661849 markings, 77776362 edges, 28502 markings/sec, 1055 secs
lola: 41931403 markings, 78174554 edges, 53911 markings/sec, 1060 secs
lola: 42186008 markings, 78568550 edges, 50921 markings/sec, 1065 secs
lola: 42439171 markings, 78962442 edges, 50633 markings/sec, 1070 secs
lola: 42692017 markings, 79354908 edges, 50569 markings/sec, 1075 secs
lola: 42945622 markings, 79747499 edges, 50721 markings/sec, 1080 secs
lola: 43211758 markings, 80136464 edges, 53227 markings/sec, 1085 secs
lola: 43444120 markings, 80505660 edges, 46472 markings/sec, 1090 secs
lola: 43602177 markings, 80845427 edges, 31611 markings/sec, 1095 secs
lola: 43763032 markings, 81188067 edges, 32171 markings/sec, 1100 secs
lola: 43918876 markings, 81523146 edges, 31169 markings/sec, 1105 secs
lola: 44077717 markings, 81864339 edges, 31768 markings/sec, 1110 secs
lola: 44232660 markings, 82197354 edges, 30989 markings/sec, 1115 secs
lola: 44389800 markings, 82535225 edges, 31428 markings/sec, 1120 secs
lola: 44604498 markings, 82892653 edges, 42940 markings/sec, 1125 secs
lola: 44822207 markings, 83290766 edges, 43542 markings/sec, 1130 secs
lola: 45097268 markings, 83677132 edges, 55012 markings/sec, 1135 secs
lola: 45300968 markings, 84038677 edges, 40740 markings/sec, 1140 secs
lola: 45501523 markings, 84413172 edges, 40111 markings/sec, 1145 secs
lola: 45763089 markings, 84794537 edges, 52313 markings/sec, 1150 secs
lola: 45931562 markings, 85170376 edges, 33695 markings/sec, 1155 secs
lola: 46019338 markings, 85548638 edges, 17555 markings/sec, 1160 secs
lola: 46148387 markings, 85915880 edges, 25810 markings/sec, 1165 secs
lola: 46282166 markings, 86269946 edges, 26756 markings/sec, 1170 secs
lola: 46501362 markings, 86650264 edges, 43839 markings/sec, 1175 secs
lola: 46789144 markings, 87050179 edges, 57556 markings/sec, 1180 secs
lola: 47078416 markings, 87451907 edges, 57854 markings/sec, 1185 secs
lola: 47364638 markings, 87853018 edges, 57244 markings/sec, 1190 secs
lola: 47651051 markings, 88251291 edges, 57283 markings/sec, 1195 secs
lola: 47874545 markings, 88638975 edges, 44699 markings/sec, 1200 secs
lola: 47966177 markings, 89021349 edges, 18326 markings/sec, 1205 secs
lola: 48056160 markings, 89406579 edges, 17997 markings/sec, 1210 secs
lola: 48145633 markings, 89791018 edges, 17895 markings/sec, 1215 secs
lola: 48236658 markings, 90179324 edges, 18205 markings/sec, 1220 secs
lola: 48363940 markings, 90585912 edges, 25456 markings/sec, 1225 secs
lola: 48539560 markings, 91013878 edges, 35124 markings/sec, 1230 secs
lola: 48714045 markings, 91440476 edges, 34897 markings/sec, 1235 secs
lola: 48938593 markings, 91816382 edges, 44910 markings/sec, 1240 secs
lola: 49158450 markings, 92186615 edges, 43971 markings/sec, 1245 secs
lola: 49351792 markings, 92560649 edges, 38668 markings/sec, 1250 secs
lola: 49535249 markings, 92917774 edges, 36691 markings/sec, 1255 secs
lola: 49787094 markings, 93308054 edges, 50369 markings/sec, 1260 secs
lola: 49969485 markings, 93698588 edges, 36478 markings/sec, 1265 secs
lola: 50221773 markings, 94087659 edges, 50458 markings/sec, 1270 secs
lola: 50400989 markings, 94475590 edges, 35843 markings/sec, 1275 secs
lola: 50660326 markings, 94861050 edges, 51867 markings/sec, 1280 secs
lola: 50852150 markings, 95226306 edges, 38365 markings/sec, 1285 secs
lola: 51052651 markings, 95607431 edges, 40100 markings/sec, 1290 secs
lola: 51206731 markings, 95960604 edges, 30816 markings/sec, 1295 secs
lola: 51443466 markings, 96350997 edges, 47347 markings/sec, 1300 secs
lola: 51618046 markings, 96747620 edges, 34916 markings/sec, 1305 secs
lola: 51831708 markings, 97137819 edges, 42732 markings/sec, 1310 secs
lola: 52026628 markings, 97530182 edges, 38984 markings/sec, 1315 secs
lola: 52245565 markings, 97894503 edges, 43787 markings/sec, 1320 secs
lola: 52454697 markings, 98266195 edges, 41826 markings/sec, 1325 secs
lola: 52628705 markings, 98638744 edges, 34802 markings/sec, 1330 secs
lola: 52826706 markings, 99010056 edges, 39600 markings/sec, 1335 secs
lola: 53021907 markings, 99406005 edges, 39040 markings/sec, 1340 secs
lola: 53236072 markings, 99791968 edges, 42833 markings/sec, 1345 secs
lola: 53406187 markings, 100183105 edges, 34023 markings/sec, 1350 secs
lola: 53645139 markings, 100568984 edges, 47790 markings/sec, 1355 secs
lola: 53849805 markings, 100928638 edges, 40933 markings/sec, 1360 secs
lola: 54057108 markings, 101302144 edges, 41461 markings/sec, 1365 secs
lola: 54202817 markings, 101664711 edges, 29142 markings/sec, 1370 secs
lola: 54432278 markings, 102048278 edges, 45892 markings/sec, 1375 secs
lola: 54596317 markings, 102442150 edges, 32808 markings/sec, 1380 secs
lola: 54835795 markings, 102830410 edges, 47896 markings/sec, 1385 secs
lola: 55004028 markings, 103223853 edges, 33647 markings/sec, 1390 secs
lola: 55244106 markings, 103596909 edges, 48016 markings/sec, 1395 secs
lola: 55447304 markings, 103965419 edges, 40640 markings/sec, 1400 secs
lola: 55629343 markings, 104339914 edges, 36408 markings/sec, 1405 secs
lola: 55800380 markings, 104698071 edges, 34207 markings/sec, 1410 secs
lola: 56015320 markings, 105087332 edges, 42988 markings/sec, 1415 secs
lola: 56207150 markings, 105478890 edges, 38366 markings/sec, 1420 secs
lola: 56407823 markings, 105870615 edges, 40135 markings/sec, 1425 secs
lola: 56611155 markings, 106254541 edges, 40666 markings/sec, 1430 secs
lola: 56828999 markings, 106616009 edges, 43569 markings/sec, 1435 secs
lola: 57026257 markings, 106985979 edges, 39452 markings/sec, 1440 secs
lola: 57198567 markings, 107354153 edges, 34462 markings/sec, 1445 secs
lola: 57407386 markings, 107728581 edges, 41764 markings/sec, 1450 secs
lola: 57588951 markings, 108120399 edges, 36313 markings/sec, 1455 secs
lola: 57814116 markings, 108504207 edges, 45033 markings/sec, 1460 secs
lola: 57971606 markings, 108893368 edges, 31498 markings/sec, 1465 secs
lola: 58222476 markings, 109278361 edges, 50174 markings/sec, 1470 secs
lola: 58415131 markings, 109635601 edges, 38531 markings/sec, 1475 secs
lola: 58620469 markings, 110010054 edges, 41068 markings/sec, 1480 secs
lola: 58766104 markings, 110364735 edges, 29127 markings/sec, 1485 secs
lola: 58999168 markings, 110743724 edges, 46613 markings/sec, 1490 secs
lola: 59159914 markings, 111134911 edges, 32149 markings/sec, 1495 secs
lola: 59391899 markings, 111519709 edges, 46397 markings/sec, 1500 secs
lola: 59559912 markings, 111903420 edges, 33603 markings/sec, 1505 secs
lola: 59796949 markings, 112272104 edges, 47407 markings/sec, 1510 secs
lola: 59999477 markings, 112639811 edges, 40506 markings/sec, 1515 secs
lola: 60181493 markings, 113013702 edges, 36403 markings/sec, 1520 secs
lola: 60351616 markings, 113371434 edges, 34025 markings/sec, 1525 secs
lola: 60566850 markings, 113759496 edges, 43047 markings/sec, 1530 secs
lola: 60757501 markings, 114150411 edges, 38130 markings/sec, 1535 secs
lola: 60958962 markings, 114539975 edges, 40292 markings/sec, 1540 secs
lola: 61159772 markings, 114924130 edges, 40162 markings/sec, 1545 secs
lola: 61376655 markings, 115287182 edges, 43377 markings/sec, 1550 secs
lola: 61574777 markings, 115658498 edges, 39624 markings/sec, 1555 secs
lola: 61738551 markings, 116026366 edges, 32755 markings/sec, 1560 secs
lola: 61960984 markings, 116406343 edges, 44487 markings/sec, 1565 secs
lola: 62128294 markings, 116797844 edges, 33462 markings/sec, 1570 secs
lola: 62357059 markings, 117183518 edges, 45753 markings/sec, 1575 secs
lola: 62518341 markings, 117574711 edges, 32256 markings/sec, 1580 secs
lola: 62730703 markings, 117998761 edges, 42472 markings/sec, 1585 secs
lola: 62869361 markings, 118470097 edges, 27732 markings/sec, 1590 secs
lola: 63024865 markings, 118925600 edges, 31101 markings/sec, 1595 secs
lola: 63170754 markings, 119270969 edges, 29178 markings/sec, 1600 secs
lola: 63315159 markings, 119621239 edges, 28881 markings/sec, 1605 secs
lola: 63463506 markings, 119974951 edges, 29669 markings/sec, 1610 secs
lola: 63611592 markings, 120318631 edges, 29617 markings/sec, 1615 secs
lola: 63753555 markings, 120663198 edges, 28393 markings/sec, 1620 secs
lola: 63899648 markings, 121012546 edges, 29219 markings/sec, 1625 secs
lola: 64048247 markings, 121357565 edges, 29720 markings/sec, 1630 secs
lola: 64190162 markings, 121701802 edges, 28383 markings/sec, 1635 secs
lola: 64333945 markings, 122040834 edges, 28757 markings/sec, 1640 secs
lola: 64481880 markings, 122389582 edges, 29587 markings/sec, 1645 secs
lola: 64665187 markings, 122746221 edges, 36661 markings/sec, 1650 secs
lola: 64936955 markings, 123154909 edges, 54354 markings/sec, 1655 secs
lola: 65192036 markings, 123561121 edges, 51016 markings/sec, 1660 secs
lola: 65445277 markings, 123963553 edges, 50648 markings/sec, 1665 secs
lola: 65697577 markings, 124365942 edges, 50460 markings/sec, 1670 secs
lola: 65947737 markings, 124766712 edges, 50032 markings/sec, 1675 secs
lola: 66200120 markings, 125166805 edges, 50477 markings/sec, 1680 secs
lola: 66456725 markings, 125568777 edges, 51321 markings/sec, 1685 secs
lola: 66732459 markings, 125954466 edges, 55147 markings/sec, 1690 secs
lola: 66908934 markings, 126311097 edges, 35295 markings/sec, 1695 secs
lola: 67140639 markings, 126692151 edges, 46341 markings/sec, 1700 secs
lola: 67393698 markings, 127077405 edges, 50612 markings/sec, 1705 secs
lola: 67482608 markings, 127457524 edges, 17782 markings/sec, 1710 secs
lola: 67605471 markings, 127825475 edges, 24573 markings/sec, 1715 secs
lola: 67739093 markings, 128177662 edges, 26724 markings/sec, 1720 secs
lola: 68013128 markings, 128580527 edges, 54807 markings/sec, 1725 secs
lola: 68314283 markings, 128992264 edges, 60231 markings/sec, 1730 secs
lola: 68614494 markings, 129401497 edges, 60042 markings/sec, 1735 secs
lola: 68797251 markings, 129792720 edges, 36551 markings/sec, 1740 secs
lola: 68888577 markings, 130181982 edges, 18265 markings/sec, 1745 secs
lola: 68979856 markings, 130570883 edges, 18256 markings/sec, 1750 secs
lola: 69116459 markings, 130986146 edges, 27321 markings/sec, 1755 secs
lola: 69299060 markings, 131424204 edges, 36520 markings/sec, 1760 secs
lola: 69566343 markings, 131815430 edges, 53457 markings/sec, 1765 secs
lola: 69742642 markings, 132266152 edges, 35260 markings/sec, 1770 secs
lola: 69880677 markings, 132736005 edges, 27607 markings/sec, 1775 secs
lola: 70029994 markings, 133154801 edges, 29863 markings/sec, 1780 secs
lola: 70158345 markings, 133520133 edges, 25670 markings/sec, 1785 secs
lola: 70285189 markings, 133884843 edges, 25369 markings/sec, 1790 secs
lola: 70410146 markings, 134242069 edges, 24991 markings/sec, 1795 secs
lola: 70610117 markings, 134619070 edges, 39994 markings/sec, 1800 secs
lola: 70876989 markings, 135030723 edges, 53374 markings/sec, 1805 secs
lola: 71129474 markings, 135432439 edges, 50497 markings/sec, 1810 secs
lola: 71380927 markings, 135833128 edges, 50291 markings/sec, 1815 secs
lola: 71631030 markings, 136231625 edges, 50021 markings/sec, 1820 secs
lola: 71880992 markings, 136631318 edges, 49992 markings/sec, 1825 secs
lola: 72130462 markings, 137030036 edges, 49894 markings/sec, 1830 secs
lola: 72392037 markings, 137428754 edges, 52315 markings/sec, 1835 secs
lola: 72667447 markings, 137814358 edges, 55082 markings/sec, 1840 secs
lola: 72822958 markings, 138165062 edges, 31102 markings/sec, 1845 secs
lola: 73073289 markings, 138549179 edges, 50066 markings/sec, 1850 secs
lola: 73301022 markings, 138932365 edges, 45547 markings/sec, 1855 secs
lola: 73389223 markings, 139311217 edges, 17640 markings/sec, 1860 secs
lola: 73517815 markings, 139674675 edges, 25718 markings/sec, 1865 secs
lola: 73650414 markings, 140026136 edges, 26520 markings/sec, 1870 secs
lola: 73944176 markings, 140434356 edges, 58752 markings/sec, 1875 secs
lola: 74244777 markings, 140844046 edges, 60120 markings/sec, 1880 secs
lola: 74545021 markings, 141254574 edges, 60049 markings/sec, 1885 secs
lola: 74702049 markings, 141639059 edges, 31406 markings/sec, 1890 secs
lola: 74793226 markings, 142027441 edges, 18235 markings/sec, 1895 secs
lola: 74884779 markings, 142416314 edges, 18311 markings/sec, 1900 secs
lola: 75030518 markings, 142835158 edges, 29148 markings/sec, 1905 secs
lola: 75212436 markings, 143272139 edges, 36384 markings/sec, 1910 secs
lola: 75486349 markings, 143655091 edges, 54783 markings/sec, 1915 secs
lola: 75650068 markings, 144111828 edges, 32744 markings/sec, 1920 secs
lola: 75787240 markings, 144578676 edges, 27434 markings/sec, 1925 secs
lola: 75937390 markings, 144986962 edges, 30030 markings/sec, 1930 secs
lola: 76062955 markings, 145351157 edges, 25113 markings/sec, 1935 secs
lola: 76190836 markings, 145713652 edges, 25576 markings/sec, 1940 secs
lola: 76314202 markings, 146070782 edges, 24673 markings/sec, 1945 secs
lola: 76522680 markings, 146447377 edges, 41696 markings/sec, 1950 secs
lola: 76787174 markings, 146858083 edges, 52899 markings/sec, 1955 secs
lola: 77037344 markings, 147256208 edges, 50034 markings/sec, 1960 secs
lola: 77287821 markings, 147654815 edges, 50095 markings/sec, 1965 secs
lola: 77534928 markings, 148051557 edges, 49421 markings/sec, 1970 secs
lola: 77783455 markings, 148447652 edges, 49705 markings/sec, 1975 secs
lola: 78031525 markings, 148843312 edges, 49614 markings/sec, 1980 secs
lola: 78291490 markings, 149239047 edges, 51993 markings/sec, 1985 secs
lola: 78564349 markings, 149621170 edges, 54572 markings/sec, 1990 secs
lola: 78745178 markings, 149968280 edges, 36166 markings/sec, 1995 secs
lola: 78903042 markings, 150307576 edges, 31573 markings/sec, 2000 secs
lola: 79063938 markings, 150648590 edges, 32179 markings/sec, 2005 secs
lola: 79218819 markings, 150981170 edges, 30976 markings/sec, 2010 secs
lola: 79377428 markings, 151321877 edges, 31722 markings/sec, 2015 secs
lola: 79533029 markings, 151655992 edges, 31120 markings/sec, 2020 secs
lola: 79686845 markings, 151986606 edges, 30763 markings/sec, 2025 secs
lola: 79844439 markings, 152325074 edges, 31519 markings/sec, 2030 secs
lola: 80094022 markings, 152696161 edges, 49917 markings/sec, 2035 secs
lola: 80296335 markings, 153107242 edges, 40463 markings/sec, 2040 secs
lola: 80556366 markings, 153491798 edges, 52006 markings/sec, 2045 secs
lola: 80828712 markings, 153877181 edges, 54469 markings/sec, 2050 secs
lola: 81088699 markings, 154250656 edges, 51997 markings/sec, 2055 secs
lola: 81239109 markings, 154614162 edges, 30082 markings/sec, 2060 secs
lola: 81502967 markings, 154996628 edges, 52772 markings/sec, 2065 secs
lola: 81734939 markings, 155371495 edges, 46394 markings/sec, 2070 secs
lola: 81823303 markings, 155751161 edges, 17673 markings/sec, 2075 secs
lola: 81935812 markings, 156125222 edges, 22502 markings/sec, 2080 secs
lola: 82068038 markings, 156481195 edges, 26445 markings/sec, 2085 secs
lola: 82232705 markings, 156844678 edges, 32933 markings/sec, 2090 secs
lola: 82520134 markings, 157247302 edges, 57486 markings/sec, 2095 secs
lola: 82806357 markings, 157645318 edges, 57245 markings/sec, 2100 secs
lola: 83095795 markings, 158047120 edges, 57888 markings/sec, 2105 secs
lola: 83382337 markings, 158448596 edges, 57308 markings/sec, 2110 secs
lola: 83668736 markings, 158847073 edges, 57280 markings/sec, 2115 secs
lola: 83768143 markings, 159216778 edges, 19881 markings/sec, 2120 secs
lola: 83857767 markings, 159599634 edges, 17925 markings/sec, 2125 secs
lola: 83947030 markings, 159981782 edges, 17853 markings/sec, 2130 secs
lola: 84035928 markings, 160363517 edges, 17780 markings/sec, 2135 secs
lola: 84125750 markings, 160747692 edges, 17964 markings/sec, 2140 secs
lola: 84278692 markings, 161112939 edges, 30588 markings/sec, 2145 secs
lola: 84411691 markings, 161467636 edges, 26600 markings/sec, 2150 secs
lola: 84544020 markings, 161819987 edges, 26466 markings/sec, 2155 secs
lola: 84677337 markings, 162173182 edges, 26663 markings/sec, 2160 secs
lola: 84919268 markings, 162559804 edges, 48386 markings/sec, 2165 secs
lola: 85215501 markings, 162967409 edges, 59247 markings/sec, 2170 secs
lola: 85511610 markings, 163374449 edges, 59222 markings/sec, 2175 secs
lola: 85806056 markings, 163779649 edges, 58889 markings/sec, 2180 secs
lola: 86104534 markings, 164186113 edges, 59696 markings/sec, 2185 secs
lola: 86399284 markings, 164591655 edges, 58950 markings/sec, 2190 secs
lola: 86693755 markings, 164997296 edges, 58894 markings/sec, 2195 secs
lola: 86988558 markings, 165403054 edges, 58961 markings/sec, 2200 secs
lola: 87283387 markings, 165809020 edges, 58966 markings/sec, 2205 secs
lola: 87484116 markings, 166189256 edges, 40146 markings/sec, 2210 secs
lola: 87580622 markings, 166565761 edges, 19301 markings/sec, 2215 secs
lola: 87671112 markings, 166951541 edges, 18098 markings/sec, 2220 secs
lola: 87761498 markings, 167336770 edges, 18077 markings/sec, 2225 secs
lola: 87851958 markings, 167722569 edges, 18092 markings/sec, 2230 secs
lola: 87942314 markings, 168107863 edges, 18071 markings/sec, 2235 secs
lola: 88032744 markings, 168493592 edges, 18086 markings/sec, 2240 secs
lola: 88123416 markings, 168880220 edges, 18134 markings/sec, 2245 secs
lola: 88214356 markings, 169267950 edges, 18188 markings/sec, 2250 secs
lola: 88377446 markings, 169691836 edges, 32618 markings/sec, 2255 secs
lola: 88556358 markings, 170123141 edges, 35782 markings/sec, 2260 secs
lola: 88733707 markings, 170553235 edges, 35470 markings/sec, 2265 secs
lola: 88912071 markings, 170983449 edges, 35673 markings/sec, 2270 secs
lola: 89121678 markings, 171401088 edges, 41921 markings/sec, 2275 secs
lola: 89353496 markings, 171764469 edges, 46364 markings/sec, 2280 secs
lola: 89573399 markings, 172133274 edges, 43981 markings/sec, 2285 secs
lola: 89760295 markings, 172505040 edges, 37379 markings/sec, 2290 secs
lola: 89960653 markings, 172871106 edges, 40072 markings/sec, 2295 secs
lola: 90190942 markings, 173256680 edges, 46058 markings/sec, 2300 secs
lola: 90392868 markings, 173648251 edges, 40385 markings/sec, 2305 secs
lola: 90623368 markings, 174032005 edges, 46100 markings/sec, 2310 secs
lola: 90822342 markings, 174422416 edges, 39795 markings/sec, 2315 secs
lola: 91029455 markings, 174822820 edges, 41423 markings/sec, 2320 secs
lola: time limit reached - aborting
lola:
preliminary result: 1 1 1 unknown 1 unknown 1 unknown unknown 1 1 1 1 1 1 1
lola: lola: caught signal User defined signal 1 - aborting LoLA

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

BK_STOP 1552555690764

--------------------
content from stderr:

grep: GenericPropertiesVerdict.xml: No such file or directory
grep: GenericPropertiesVerdict.xml: No such file or directory

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="ASLink-PT-05a"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3957"
echo " Executing tool lola"
echo " Input is ASLink-PT-05a, 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 r005-smll-155225008900083"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ASLink-PT-05a.tgz
mv ASLink-PT-05a execution
cd execution
if [ "UpperBounds" = "GlobalProperties" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
if [ "UpperBounds" = "UpperBounds" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' UpperBounds.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
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 ;