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-155225008800038.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-02b, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r005-smll-155225008800038
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 584K
-rw-r--r-- 1 mcc users 3.9K Feb 9 05:49 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 9 05:49 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Feb 5 02:00 CTLFireability.txt
-rw-r--r-- 1 mcc users 22K 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.8K Feb 4 22:31 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Feb 1 23:27 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Feb 1 23:27 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Jan 29 09:53 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K 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 417K 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-02b-UpperBounds-00
FORMULA_NAME ASLink-PT-02b-UpperBounds-01
FORMULA_NAME ASLink-PT-02b-UpperBounds-02
FORMULA_NAME ASLink-PT-02b-UpperBounds-03
FORMULA_NAME ASLink-PT-02b-UpperBounds-04
FORMULA_NAME ASLink-PT-02b-UpperBounds-05
FORMULA_NAME ASLink-PT-02b-UpperBounds-06
FORMULA_NAME ASLink-PT-02b-UpperBounds-07
FORMULA_NAME ASLink-PT-02b-UpperBounds-08
FORMULA_NAME ASLink-PT-02b-UpperBounds-09
FORMULA_NAME ASLink-PT-02b-UpperBounds-10
FORMULA_NAME ASLink-PT-02b-UpperBounds-11
FORMULA_NAME ASLink-PT-02b-UpperBounds-12
FORMULA_NAME ASLink-PT-02b-UpperBounds-13
FORMULA_NAME ASLink-PT-02b-UpperBounds-14
FORMULA_NAME ASLink-PT-02b-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1552496155492

info: Time: 3600 - MCC
vrfy: Checking UpperBounds @ ASLink-PT-02b @ 3570 seconds

FORMULA ASLink-PT-02b-UpperBounds-00 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ASLink-PT-02b-UpperBounds-01 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

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

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

FORMULA ASLink-PT-02b-UpperBounds-07 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ASLink-PT-02b-UpperBounds-09 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ASLink-PT-02b-UpperBounds-10 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ASLink-PT-02b-UpperBounds-11 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ASLink-PT-02b-UpperBounds-12 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ASLink-PT-02b-UpperBounds-13 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ASLink-PT-02b-UpperBounds-14 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ASLink-PT-02b-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-02b

{
"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": "Wed Mar 13 16:55:55 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(p1151)",
"processed_size": 10,
"rewrites": 0
},
"result":
{
"edges": 50949,
"markings": 22572,
"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(p646)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 79,
"markings": 80,
"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(p85)",
"processed_size": 8,
"rewrites": 0
},
"result":
{
"edges": 10,
"markings": 11,
"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(p657)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 238,
"markings": 239,
"produced_by": "search",
"value": 1
},
"task":
{
"compoundnumber": 5,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 301
},
"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(p932)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 35,
"markings": 36,
"produced_by": "search",
"value": 1
},
"task":
{
"compoundnumber": 7,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 339
},
"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(p797)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 82,
"markings": 83,
"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": 395
},
"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(p495)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 59,
"markings": 60,
"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": 474
},
"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(p614)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 74,
"markings": 75,
"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": 593
},
"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(p479)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 8,
"markings": 9,
"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": 791
},
"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(p981)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 11,
"markings": 12,
"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": 1186
},
"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(p506)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 45,
"markings": 46,
"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": 2372
},
"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(p1223)",
"processed_size": 10,
"rewrites": 0
},
"result":
{
"edges": 79,
"markings": 80,
"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": 5858024,
"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": 5041,
"conflict_clusters": 811,
"places": 1242,
"places_significant": 1121,
"singleton_clusters": 0,
"transitions": 1621
},
"result":
{
"interim_value": "1 1 1 unknown unknown 1 unknown 1 unknown 1 1 1 1 1 1 1 ",
"preliminary_value": "1 1 1 unknown unknown 1 unknown 1 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: 2863/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 1242
lola: finding significant places
lola: 1242 places, 1621 transitions, 1121 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(p1151) : MAX(p646) : MAX(p85) : MAX(p754) : MAX(p568) : MAX(p657) : MAX(p796) : MAX(p932) : MAX(p830) : MAX(p797) : MAX(p495) : MAX(p614) : MAX(p479) : MAX(p981) : MAX(p506) : MAX(p1223)
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(p1151)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1151)
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: 22572 markings, 50949 edges
lola: ========================================
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p646)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p646)
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: 80 markings, 79 edges
lola: ========================================
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p85)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p85)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 11 markings, 10 edges
lola: ========================================
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p754)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p754)
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: 134071 markings, 282461 edges, 26814 markings/sec, 0 secs
lola: 270103 markings, 590983 edges, 27206 markings/sec, 5 secs
lola: 405144 markings, 899389 edges, 27008 markings/sec, 10 secs
lola: 541571 markings, 1204772 edges, 27285 markings/sec, 15 secs
lola: 675302 markings, 1501228 edges, 26746 markings/sec, 20 secs
lola: 826894 markings, 1780778 edges, 30318 markings/sec, 25 secs
lola: 976178 markings, 2060845 edges, 29857 markings/sec, 30 secs
lola: 1108949 markings, 2341849 edges, 26554 markings/sec, 35 secs
lola: 1247065 markings, 2619546 edges, 27623 markings/sec, 40 secs
lola: 1391256 markings, 2897383 edges, 28838 markings/sec, 45 secs
lola: 1535263 markings, 3174704 edges, 28801 markings/sec, 50 secs
lola: 1679091 markings, 3451504 edges, 28766 markings/sec, 55 secs
lola: 1826068 markings, 3728553 edges, 29395 markings/sec, 60 secs
lola: 1972921 markings, 4004430 edges, 29371 markings/sec, 65 secs
lola: 2101406 markings, 4306051 edges, 25697 markings/sec, 70 secs
lola: 2227519 markings, 4620446 edges, 25223 markings/sec, 75 secs
lola: 2353360 markings, 4934461 edges, 25168 markings/sec, 80 secs
lola: 2470148 markings, 5245124 edges, 23358 markings/sec, 85 secs
lola: 2584460 markings, 5555139 edges, 22862 markings/sec, 90 secs
lola: 2699824 markings, 5863961 edges, 23073 markings/sec, 95 secs
lola: 2821446 markings, 6175390 edges, 24324 markings/sec, 100 secs
lola: 2940196 markings, 6485679 edges, 23750 markings/sec, 105 secs
lola: 3061445 markings, 6796138 edges, 24250 markings/sec, 110 secs
lola: 3179984 markings, 7105893 edges, 23708 markings/sec, 115 secs
lola: 3300278 markings, 7416849 edges, 24059 markings/sec, 120 secs
lola: 3419484 markings, 7725530 edges, 23841 markings/sec, 125 secs
lola: 3549786 markings, 8042617 edges, 26060 markings/sec, 130 secs
lola: 3677199 markings, 8360423 edges, 25483 markings/sec, 135 secs
lola: 3802684 markings, 8677796 edges, 25097 markings/sec, 140 secs
lola: 3914326 markings, 8990569 edges, 22328 markings/sec, 145 secs
lola: 4034743 markings, 9303429 edges, 24083 markings/sec, 150 secs
lola: 4155012 markings, 9617496 edges, 24054 markings/sec, 155 secs
lola: 4268678 markings, 9929302 edges, 22733 markings/sec, 160 secs
lola: 4394795 markings, 10244908 edges, 25223 markings/sec, 165 secs
lola: 4512602 markings, 10556133 edges, 23561 markings/sec, 170 secs
lola: 4640437 markings, 10872035 edges, 25567 markings/sec, 175 secs
lola: 4763055 markings, 11185666 edges, 24524 markings/sec, 180 secs
lola: 4884978 markings, 11491118 edges, 24385 markings/sec, 185 secs
lola: 5024238 markings, 11797751 edges, 27852 markings/sec, 190 secs
lola: 5160765 markings, 12105877 edges, 27305 markings/sec, 195 secs
lola: 5295652 markings, 12413822 edges, 26977 markings/sec, 200 secs
lola: 5430802 markings, 12718550 edges, 27030 markings/sec, 205 secs
lola: 5550770 markings, 13019502 edges, 23994 markings/sec, 210 secs
lola: 5685264 markings, 13323350 edges, 26899 markings/sec, 215 secs
lola: 5819782 markings, 13622264 edges, 26904 markings/sec, 220 secs
lola: 5943858 markings, 13921907 edges, 24815 markings/sec, 225 secs
lola: 6061296 markings, 14225216 edges, 23488 markings/sec, 230 secs
lola: 6205909 markings, 14582265 edges, 28923 markings/sec, 235 secs
lola: 6357823 markings, 14920669 edges, 30383 markings/sec, 240 secs
lola: 6504971 markings, 15246596 edges, 29430 markings/sec, 245 secs
lola: 6658825 markings, 15573807 edges, 30771 markings/sec, 250 secs
lola: 6797273 markings, 15920507 edges, 27690 markings/sec, 255 secs
lola: 6919318 markings, 16272442 edges, 24409 markings/sec, 260 secs
lola: 7044927 markings, 16624696 edges, 25122 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: 548396 KB
lola: time consumption: 280 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(p568)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p568)
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: 180932 markings, 200916 edges, 36186 markings/sec, 30 secs
lola: 333309 markings, 416296 edges, 30475 markings/sec, 35 secs
lola: 497718 markings, 635910 edges, 32882 markings/sec, 40 secs
lola: 657840 markings, 857735 edges, 32024 markings/sec, 45 secs
lola: 823847 markings, 1076967 edges, 33201 markings/sec, 50 secs
lola: 997201 markings, 1290692 edges, 34671 markings/sec, 55 secs
lola: 1170255 markings, 1504186 edges, 34611 markings/sec, 60 secs
lola: 1334307 markings, 1724346 edges, 32810 markings/sec, 65 secs
lola: 1511193 markings, 1936964 edges, 35377 markings/sec, 70 secs
lola: 1690997 markings, 2148875 edges, 35961 markings/sec, 75 secs
lola: 1869568 markings, 2359979 edges, 35714 markings/sec, 80 secs
lola: 2049883 markings, 2571351 edges, 36063 markings/sec, 85 secs
lola: 2226087 markings, 2783770 edges, 35241 markings/sec, 90 secs
lola: 2397296 markings, 3000149 edges, 34242 markings/sec, 95 secs
lola: 2576809 markings, 3210729 edges, 35903 markings/sec, 100 secs
lola: 2760611 markings, 3421822 edges, 36760 markings/sec, 105 secs
lola: 2944067 markings, 3635659 edges, 36691 markings/sec, 110 secs
lola: 3124455 markings, 3845400 edges, 36078 markings/sec, 115 secs
lola: 3308181 markings, 4055455 edges, 36745 markings/sec, 120 secs
lola: 3486002 markings, 4266271 edges, 35564 markings/sec, 125 secs
lola: 3666376 markings, 4475818 edges, 36075 markings/sec, 130 secs
lola: 3839790 markings, 4691327 edges, 34683 markings/sec, 135 secs
lola: 4023376 markings, 4895349 edges, 36717 markings/sec, 140 secs
lola: 4214111 markings, 5098772 edges, 38147 markings/sec, 145 secs
lola: 4406549 markings, 5301760 edges, 38488 markings/sec, 150 secs
lola: 4598735 markings, 5506131 edges, 38437 markings/sec, 155 secs
lola: 4790389 markings, 5707949 edges, 38331 markings/sec, 160 secs
lola: 4982096 markings, 5910082 edges, 38341 markings/sec, 165 secs
lola: 5173552 markings, 6112954 edges, 38291 markings/sec, 170 secs
lola: 5364889 markings, 6314182 edges, 38267 markings/sec, 175 secs
lola: 5556843 markings, 6516430 edges, 38391 markings/sec, 180 secs
lola: 5750370 markings, 6721216 edges, 38705 markings/sec, 185 secs
lola: 5943954 markings, 6924691 edges, 38717 markings/sec, 190 secs
lola: 6137175 markings, 7127915 edges, 38644 markings/sec, 195 secs
lola: 6326573 markings, 7335823 edges, 37880 markings/sec, 200 secs
lola: 6503161 markings, 7553408 edges, 35318 markings/sec, 205 secs
lola: 6684575 markings, 7767592 edges, 36283 markings/sec, 210 secs
lola: 6864133 markings, 7984022 edges, 35912 markings/sec, 215 secs
lola: 7041486 markings, 8200040 edges, 35471 markings/sec, 220 secs
lola: 7220521 markings, 8414507 edges, 35807 markings/sec, 225 secs
lola: 7401107 markings, 8627811 edges, 36117 markings/sec, 230 secs
lola: 7577885 markings, 8843468 edges, 35356 markings/sec, 235 secs
lola: 7755077 markings, 9058061 edges, 35438 markings/sec, 240 secs
lola: 7935976 markings, 9269840 edges, 36180 markings/sec, 245 secs
lola: 8110667 markings, 9483517 edges, 34938 markings/sec, 250 secs
lola: 8287387 markings, 9692674 edges, 35344 markings/sec, 255 secs
lola: 8457336 markings, 9908502 edges, 33990 markings/sec, 260 secs
lola: 8632697 markings, 10122348 edges, 35072 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: 684096 KB
lola: time consumption: 554 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 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p657)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p657)
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: 239 markings, 238 edges
lola: ========================================
lola: subprocess 6 will run for 301 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p796)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p796)
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: 161693 markings, 366698 edges, 32339 markings/sec, 30 secs
lola: 311376 markings, 729721 edges, 29937 markings/sec, 35 secs
lola: 437988 markings, 1131171 edges, 25322 markings/sec, 40 secs
lola: 553204 markings, 1525994 edges, 23043 markings/sec, 45 secs
lola: 695187 markings, 1898162 edges, 28397 markings/sec, 50 secs
lola: 847775 markings, 2258296 edges, 30518 markings/sec, 55 secs
lola: 989289 markings, 2606646 edges, 28303 markings/sec, 60 secs
lola: 1158812 markings, 2984778 edges, 33905 markings/sec, 65 secs
lola: 1318406 markings, 3353013 edges, 31919 markings/sec, 70 secs
lola: 1474844 markings, 3719841 edges, 31288 markings/sec, 75 secs
lola: 1610112 markings, 4086828 edges, 27054 markings/sec, 80 secs
lola: 1761008 markings, 4455356 edges, 30179 markings/sec, 85 secs
lola: 1895867 markings, 4816218 edges, 26972 markings/sec, 90 secs
lola: 2045567 markings, 5180152 edges, 29940 markings/sec, 95 secs
lola: 2183127 markings, 5535144 edges, 27512 markings/sec, 100 secs
lola: 2334113 markings, 5894616 edges, 30197 markings/sec, 105 secs
lola: 2466271 markings, 6257531 edges, 26432 markings/sec, 110 secs
lola: 2591991 markings, 6621553 edges, 25144 markings/sec, 115 secs
lola: 2745064 markings, 6979133 edges, 30615 markings/sec, 120 secs
lola: 2904993 markings, 7339454 edges, 31986 markings/sec, 125 secs
lola: 3060494 markings, 7711710 edges, 31100 markings/sec, 130 secs
lola: 3205143 markings, 8084380 edges, 28930 markings/sec, 135 secs
lola: 3362909 markings, 8447594 edges, 31553 markings/sec, 140 secs
lola: 3504541 markings, 8809252 edges, 28326 markings/sec, 145 secs
lola: 3646143 markings, 9177464 edges, 28320 markings/sec, 150 secs
lola: 3790694 markings, 9532924 edges, 28910 markings/sec, 155 secs
lola: 3935439 markings, 9895526 edges, 28949 markings/sec, 160 secs
lola: 4067244 markings, 10257028 edges, 26361 markings/sec, 165 secs
lola: 4214952 markings, 10619600 edges, 29542 markings/sec, 170 secs
lola: 4347865 markings, 10971569 edges, 26583 markings/sec, 175 secs
lola: 4489181 markings, 11326644 edges, 28263 markings/sec, 180 secs
lola: 4630509 markings, 11683832 edges, 28266 markings/sec, 185 secs
lola: 4762889 markings, 12046155 edges, 26476 markings/sec, 190 secs
lola: 4928317 markings, 12422024 edges, 33086 markings/sec, 195 secs
lola: 5084588 markings, 12792055 edges, 31254 markings/sec, 200 secs
lola: 5240749 markings, 13157815 edges, 31232 markings/sec, 205 secs
lola: 5373936 markings, 13524851 edges, 26637 markings/sec, 210 secs
lola: 5530436 markings, 13886143 edges, 31300 markings/sec, 215 secs
lola: 5659583 markings, 14251009 edges, 25829 markings/sec, 220 secs
lola: 5814119 markings, 14612634 edges, 30907 markings/sec, 225 secs
lola: 5947589 markings, 14969551 edges, 26694 markings/sec, 230 secs
lola: 6099810 markings, 15327988 edges, 30444 markings/sec, 235 secs
lola: 6226824 markings, 15691412 edges, 25403 markings/sec, 240 secs
lola: 6362793 markings, 16049098 edges, 27194 markings/sec, 245 secs
lola: 6506554 markings, 16409678 edges, 28752 markings/sec, 250 secs
lola: 6666311 markings, 16774898 edges, 31951 markings/sec, 255 secs
lola: 6806791 markings, 17150709 edges, 28096 markings/sec, 260 secs
lola: 6923347 markings, 17542498 edges, 23311 markings/sec, 265 secs
lola: 7060192 markings, 17915680 edges, 27369 markings/sec, 270 secs
lola: 7212983 markings, 18279932 edges, 30558 markings/sec, 275 secs
lola: 7356734 markings, 18639757 edges, 28750 markings/sec, 280 secs
lola: 7498479 markings, 18996164 edges, 28349 markings/sec, 285 secs
lola: 7654485 markings, 19363593 edges, 31201 markings/sec, 290 secs
lola: 7802566 markings, 19726995 edges, 29616 markings/sec, 295 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 unknown unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 595464 KB
lola: time consumption: 856 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 301 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p932)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p932)
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: 36 markings, 35 edges
lola: ========================================
lola: subprocess 8 will run for 339 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p830)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p830)
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: 139083 markings, 292531 edges, 27817 markings/sec, 0 secs
lola: 274678 markings, 602549 edges, 27119 markings/sec, 5 secs
lola: 409827 markings, 911197 edges, 27030 markings/sec, 10 secs
lola: 547443 markings, 1215452 edges, 27523 markings/sec, 15 secs
lola: 681857 markings, 1512948 edges, 26883 markings/sec, 20 secs
lola: 833801 markings, 1793333 edges, 30389 markings/sec, 25 secs
lola: 984328 markings, 2075655 edges, 30105 markings/sec, 30 secs
lola: 1119295 markings, 2360617 edges, 26993 markings/sec, 35 secs
lola: 1257388 markings, 2642815 edges, 27619 markings/sec, 40 secs
lola: 1406159 markings, 2924167 edges, 29754 markings/sec, 45 secs
lola: 1552270 markings, 3205546 edges, 29222 markings/sec, 50 secs
lola: 1695030 markings, 3485172 edges, 28552 markings/sec, 55 secs
lola: 1847231 markings, 3767228 edges, 30440 markings/sec, 60 secs
lola: 1989737 markings, 4042269 edges, 28501 markings/sec, 65 secs
lola: 2117165 markings, 4344775 edges, 25486 markings/sec, 70 secs
lola: 2245153 markings, 4663902 edges, 25598 markings/sec, 75 secs
lola: 2371036 markings, 4982267 edges, 25177 markings/sec, 80 secs
lola: 2488153 markings, 5297428 edges, 23423 markings/sec, 85 secs
lola: 2603931 markings, 5611828 edges, 23156 markings/sec, 90 secs
lola: 2725188 markings, 5926588 edges, 24251 markings/sec, 95 secs
lola: 2843018 markings, 6241271 edges, 23566 markings/sec, 100 secs
lola: 2969114 markings, 6557280 edges, 25219 markings/sec, 105 secs
lola: 3086739 markings, 6871130 edges, 23525 markings/sec, 110 secs
lola: 3212730 markings, 7186669 edges, 25198 markings/sec, 115 secs
lola: 3335811 markings, 7501637 edges, 24616 markings/sec, 120 secs
lola: 3458047 markings, 7815193 edges, 24447 markings/sec, 125 secs
lola: 3585356 markings, 8133967 edges, 25462 markings/sec, 130 secs
lola: 3713637 markings, 8453067 edges, 25656 markings/sec, 135 secs
lola: 3836526 markings, 8770229 edges, 24578 markings/sec, 140 secs
lola: 3948888 markings, 9083540 edges, 22472 markings/sec, 145 secs
lola: 4066613 markings, 9397380 edges, 23545 markings/sec, 150 secs
lola: 4187957 markings, 9712291 edges, 24269 markings/sec, 155 secs
lola: 4309036 markings, 10025529 edges, 24216 markings/sec, 160 secs
lola: 4432128 markings, 10340960 edges, 24618 markings/sec, 165 secs
lola: 4552131 markings, 10653591 edges, 24001 markings/sec, 170 secs
lola: 4680460 markings, 10971156 edges, 25666 markings/sec, 175 secs
lola: 4799997 markings, 11284483 edges, 23907 markings/sec, 180 secs
lola: 4925913 markings, 11588838 edges, 25183 markings/sec, 185 secs
lola: 5066681 markings, 11899758 edges, 28154 markings/sec, 190 secs
lola: 5205336 markings, 12205292 edges, 27731 markings/sec, 195 secs
lola: 5340661 markings, 12511709 edges, 27065 markings/sec, 200 secs
lola: 5475114 markings, 12816877 edges, 26891 markings/sec, 205 secs
lola: 5589758 markings, 13119565 edges, 22929 markings/sec, 210 secs
lola: 5730639 markings, 13426131 edges, 28176 markings/sec, 215 secs
lola: 5865978 markings, 13729898 edges, 27068 markings/sec, 220 secs
lola: 5986333 markings, 14028460 edges, 24071 markings/sec, 225 secs
lola: 6117509 markings, 14365269 edges, 26235 markings/sec, 230 secs
lola: 6263486 markings, 14723943 edges, 29195 markings/sec, 235 secs
lola: 6418952 markings, 15059627 edges, 31093 markings/sec, 240 secs
lola: 6572268 markings, 15392710 edges, 30663 markings/sec, 245 secs
lola: 6726349 markings, 15728800 edges, 30816 markings/sec, 250 secs
lola: 6858450 markings, 16092029 edges, 26420 markings/sec, 255 secs
lola: 6982682 markings, 16450382 edges, 24846 markings/sec, 260 secs
lola: 7111716 markings, 16809821 edges, 25807 markings/sec, 265 secs
lola: 7242858 markings, 17170982 edges, 26228 markings/sec, 270 secs
lola: 7369451 markings, 17531281 edges, 25319 markings/sec, 275 secs
lola: 7497756 markings, 17891085 edges, 25661 markings/sec, 280 secs
lola: 7626646 markings, 18250684 edges, 25778 markings/sec, 285 secs
lola: 7767098 markings, 18606938 edges, 28090 markings/sec, 290 secs
lola: 7904273 markings, 18958456 edges, 27435 markings/sec, 295 secs
lola: 8043377 markings, 19310126 edges, 27821 markings/sec, 300 secs
lola: 8188173 markings, 19671935 edges, 28959 markings/sec, 305 secs
lola: 8341670 markings, 20021338 edges, 30699 markings/sec, 310 secs
lola: 8492325 markings, 20354349 edges, 30131 markings/sec, 315 secs
lola: 8647190 markings, 20687067 edges, 30973 markings/sec, 320 secs
lola: 8792443 markings, 21036075 edges, 29051 markings/sec, 325 secs
lola: 8918554 markings, 21395197 edges, 25222 markings/sec, 330 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 unknown unknown 1 unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 701704 KB
lola: time consumption: 1195 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 339 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p797)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p797)
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: 83 markings, 82 edges
lola: ========================================
lola: subprocess 10 will run for 395 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p495)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p495)
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: 60 markings, 59 edges
lola: ========================================
lola: subprocess 11 will run for 474 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p614)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p614)
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: 75 markings, 74 edges
lola: ========================================
lola: subprocess 12 will run for 593 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p479)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p479)
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: 9 markings, 8 edges
lola: ========================================
lola: subprocess 13 will run for 791 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p981)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p981)
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: 12 markings, 11 edges
lola: ========================================
lola: subprocess 14 will run for 1186 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p506)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p506)
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: 46 markings, 45 edges
lola: ========================================
lola: subprocess 15 will run for 2372 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1223)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1223)
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: 0 markings, 0 edges, 0 markings/sec, 0 secs
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: 80 markings, 79 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: MAX(p754)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p754)
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: 134526 markings, 283214 edges, 26905 markings/sec, 0 secs
lola: 270703 markings, 592489 edges, 27235 markings/sec, 5 secs
lola: 406008 markings, 901559 edges, 27061 markings/sec, 10 secs
lola: 542952 markings, 1207352 edges, 27389 markings/sec, 15 secs
lola: 677272 markings, 1504719 edges, 26864 markings/sec, 20 secs
lola: 829310 markings, 1785221 edges, 30408 markings/sec, 25 secs
lola: 979080 markings, 2066097 edges, 29954 markings/sec, 30 secs
lola: 1112155 markings, 2347702 edges, 26615 markings/sec, 35 secs
lola: 1251466 markings, 2627502 edges, 27862 markings/sec, 40 secs
lola: 1396527 markings, 2906901 edges, 29012 markings/sec, 45 secs
lola: 1541181 markings, 3185401 edges, 28931 markings/sec, 50 secs
lola: 1682830 markings, 3463273 edges, 28330 markings/sec, 55 secs
lola: 1833354 markings, 3741536 edges, 30105 markings/sec, 60 secs
lola: 1980478 markings, 4018164 edges, 29425 markings/sec, 65 secs
lola: 2108430 markings, 4323228 edges, 25590 markings/sec, 70 secs
lola: 2234827 markings, 4638434 edges, 25279 markings/sec, 75 secs
lola: 2358624 markings, 4953629 edges, 24759 markings/sec, 80 secs
lola: 2475052 markings, 5265234 edges, 23286 markings/sec, 85 secs
lola: 2589599 markings, 5576497 edges, 22909 markings/sec, 90 secs
lola: 2709047 markings, 5886669 edges, 23890 markings/sec, 95 secs
lola: 2830422 markings, 6199073 edges, 24275 markings/sec, 100 secs
lola: 2950445 markings, 6510712 edges, 24005 markings/sec, 105 secs
lola: 3071989 markings, 6822016 edges, 24309 markings/sec, 110 secs
lola: 3191203 markings, 7133333 edges, 23843 markings/sec, 115 secs
lola: 3312857 markings, 7445187 edges, 24331 markings/sec, 120 secs
lola: 3433310 markings, 7754950 edges, 24091 markings/sec, 125 secs
lola: 3561383 markings, 8071225 edges, 25615 markings/sec, 130 secs
lola: 3685558 markings, 8386572 edges, 24835 markings/sec, 135 secs
lola: 3809983 markings, 8700956 edges, 24885 markings/sec, 140 secs
lola: 3922400 markings, 9010619 edges, 22483 markings/sec, 145 secs
lola: 4041843 markings, 9321521 edges, 23889 markings/sec, 150 secs
lola: 4161137 markings, 9633164 edges, 23859 markings/sec, 155 secs
lola: 4273979 markings, 9942427 edges, 22568 markings/sec, 160 secs
lola: 4397008 markings, 10255713 edges, 24606 markings/sec, 165 secs
lola: 4514646 markings, 10564791 edges, 23528 markings/sec, 170 secs
lola: 4642988 markings, 10878242 edges, 25668 markings/sec, 175 secs
lola: 4764466 markings, 11189132 edges, 24296 markings/sec, 180 secs
lola: 4885353 markings, 11492049 edges, 24177 markings/sec, 185 secs
lola: 5023465 markings, 11796314 edges, 27622 markings/sec, 190 secs
lola: 5159126 markings, 12101717 edges, 27132 markings/sec, 195 secs
lola: 5292793 markings, 12406639 edges, 26733 markings/sec, 200 secs
lola: 5425635 markings, 12709503 edges, 26568 markings/sec, 205 secs
lola: 5545395 markings, 13006624 edges, 23952 markings/sec, 210 secs
lola: 5678338 markings, 13310981 edges, 26589 markings/sec, 215 secs
lola: 5813906 markings, 13611638 edges, 27114 markings/sec, 220 secs
lola: 5941732 markings, 13912212 edges, 25565 markings/sec, 225 secs
lola: 6057057 markings, 14216335 edges, 23065 markings/sec, 230 secs
lola: 6202811 markings, 14573844 edges, 29151 markings/sec, 235 secs
lola: 6355664 markings, 14914798 edges, 30571 markings/sec, 240 secs
lola: 6502877 markings, 15242358 edges, 29443 markings/sec, 245 secs
lola: 6657583 markings, 15571291 edges, 30941 markings/sec, 250 secs
lola: 6797062 markings, 15919960 edges, 27896 markings/sec, 255 secs
lola: 6919848 markings, 16273815 edges, 24557 markings/sec, 260 secs
lola: 7046280 markings, 16628223 edges, 25286 markings/sec, 265 secs
lola: 7173057 markings, 16982867 edges, 25355 markings/sec, 270 secs
lola: 7305922 markings, 17342628 edges, 26573 markings/sec, 275 secs
lola: 7427043 markings, 17695773 edges, 24224 markings/sec, 280 secs
lola: 7553063 markings, 18049403 edges, 25204 markings/sec, 285 secs
lola: 7683703 markings, 18401488 edges, 26128 markings/sec, 290 secs
lola: 7827706 markings, 18756289 edges, 28801 markings/sec, 295 secs
lola: 7964423 markings, 19103081 edges, 27343 markings/sec, 300 secs
lola: 8099298 markings, 19449480 edges, 26975 markings/sec, 305 secs
lola: 8243416 markings, 19807101 edges, 28824 markings/sec, 310 secs
lola: 8393130 markings, 20132616 edges, 29943 markings/sec, 315 secs
lola: 8534402 markings, 20448207 edges, 28254 markings/sec, 320 secs
lola: 8683481 markings, 20765032 edges, 29816 markings/sec, 325 secs
lola: 8817237 markings, 21103551 edges, 26751 markings/sec, 330 secs
lola: 8935525 markings, 21444626 edges, 23658 markings/sec, 335 secs
lola: 9057144 markings, 21786374 edges, 24324 markings/sec, 340 secs
lola: 9181199 markings, 22128939 edges, 24811 markings/sec, 345 secs
lola: 9306598 markings, 22474770 edges, 25080 markings/sec, 350 secs
lola: 9424952 markings, 22814371 edges, 23671 markings/sec, 355 secs
lola: 9548387 markings, 23163675 edges, 24687 markings/sec, 360 secs
lola: 9678284 markings, 23519808 edges, 25979 markings/sec, 365 secs
lola: 9823701 markings, 23876866 edges, 29083 markings/sec, 370 secs
lola: 9961393 markings, 24228550 edges, 27538 markings/sec, 375 secs
lola: 10088632 markings, 24577282 edges, 25448 markings/sec, 380 secs
lola: 10202068 markings, 24929738 edges, 22687 markings/sec, 385 secs
lola: 10309623 markings, 25283761 edges, 21511 markings/sec, 390 secs
lola: 10416834 markings, 25636474 edges, 21442 markings/sec, 395 secs
lola: 10525180 markings, 25986923 edges, 21669 markings/sec, 400 secs
lola: 10633406 markings, 26336121 edges, 21645 markings/sec, 405 secs
lola: 10739155 markings, 26677540 edges, 21150 markings/sec, 410 secs
lola: 10856063 markings, 27011126 edges, 23382 markings/sec, 415 secs
lola: 10973075 markings, 27344975 edges, 23402 markings/sec, 420 secs
lola: 11085240 markings, 27677048 edges, 22433 markings/sec, 425 secs
lola: 11188245 markings, 28001903 edges, 20601 markings/sec, 430 secs
lola: 11298559 markings, 28329956 edges, 22063 markings/sec, 435 secs
lola: 11412347 markings, 28658727 edges, 22758 markings/sec, 440 secs
lola: 11517670 markings, 28982677 edges, 21065 markings/sec, 445 secs
lola: 11635889 markings, 29314500 edges, 23644 markings/sec, 450 secs
lola: 11744724 markings, 29640184 edges, 21767 markings/sec, 455 secs
lola: 11859265 markings, 29969167 edges, 22908 markings/sec, 460 secs
lola: 11971765 markings, 30296564 edges, 22500 markings/sec, 465 secs
lola: 12081815 markings, 30622362 edges, 22010 markings/sec, 470 secs
lola: 12185641 markings, 30979115 edges, 20765 markings/sec, 475 secs
lola: 12287011 markings, 31333938 edges, 20274 markings/sec, 480 secs
lola: 12388342 markings, 31688342 edges, 20266 markings/sec, 485 secs
lola: 12485607 markings, 32040094 edges, 19453 markings/sec, 490 secs
lola: 12577054 markings, 32385061 edges, 18289 markings/sec, 495 secs
lola: 12671482 markings, 32731657 edges, 18886 markings/sec, 500 secs
lola: 12767672 markings, 33078670 edges, 19238 markings/sec, 505 secs
lola: 12865029 markings, 33427944 edges, 19471 markings/sec, 510 secs
lola: 12959907 markings, 33773565 edges, 18976 markings/sec, 515 secs
lola: 13057430 markings, 34125177 edges, 19505 markings/sec, 520 secs
lola: 13154465 markings, 34472339 edges, 19407 markings/sec, 525 secs
lola: 13253923 markings, 34821629 edges, 19892 markings/sec, 530 secs
lola: 13351008 markings, 35171543 edges, 19417 markings/sec, 535 secs
lola: 13452425 markings, 35521152 edges, 20283 markings/sec, 540 secs
lola: 13549624 markings, 35870951 edges, 19440 markings/sec, 545 secs
lola: 13650855 markings, 36225703 edges, 20246 markings/sec, 550 secs
lola: 13751035 markings, 36581320 edges, 20036 markings/sec, 555 secs
lola: 13854191 markings, 36936939 edges, 20631 markings/sec, 560 secs
lola: 13946370 markings, 37284159 edges, 18436 markings/sec, 565 secs
lola: 14041940 markings, 37631414 edges, 19114 markings/sec, 570 secs
lola: 14132326 markings, 37976662 edges, 18077 markings/sec, 575 secs
lola: 14229860 markings, 38324757 edges, 19507 markings/sec, 580 secs
lola: 14321948 markings, 38654817 edges, 18418 markings/sec, 585 secs
lola: 14417845 markings, 38991649 edges, 19179 markings/sec, 590 secs
lola: 14515062 markings, 39340173 edges, 19443 markings/sec, 595 secs
lola: 14609194 markings, 39684169 edges, 18826 markings/sec, 600 secs
lola: 14711697 markings, 40039159 edges, 20501 markings/sec, 605 secs
lola: 14808706 markings, 40386978 edges, 19402 markings/sec, 610 secs
lola: 14902632 markings, 40728881 edges, 18785 markings/sec, 615 secs
lola: 15009620 markings, 41074852 edges, 21398 markings/sec, 620 secs
lola: 15118542 markings, 41425365 edges, 21784 markings/sec, 625 secs
lola: 15226261 markings, 41773530 edges, 21544 markings/sec, 630 secs
lola: 15333596 markings, 42119942 edges, 21467 markings/sec, 635 secs
lola: 15438901 markings, 42466530 edges, 21061 markings/sec, 640 secs
lola: 15544030 markings, 42810777 edges, 21026 markings/sec, 645 secs
lola: 15636953 markings, 43146723 edges, 18585 markings/sec, 650 secs
lola: 15743458 markings, 43493747 edges, 21301 markings/sec, 655 secs
lola: 15850786 markings, 43838126 edges, 21466 markings/sec, 660 secs
lola: 15957725 markings, 44179193 edges, 21388 markings/sec, 665 secs
lola: 16049772 markings, 44514639 edges, 18409 markings/sec, 670 secs
lola: 16150736 markings, 44875516 edges, 20193 markings/sec, 675 secs
lola: 16263483 markings, 45267909 edges, 22549 markings/sec, 680 secs
lola: 16379875 markings, 45649218 edges, 23278 markings/sec, 685 secs
lola: 16495383 markings, 46018815 edges, 23102 markings/sec, 690 secs
lola: 16611331 markings, 46387000 edges, 23190 markings/sec, 695 secs
lola: 16728809 markings, 46756147 edges, 23496 markings/sec, 700 secs
lola: 16839129 markings, 47137590 edges, 22064 markings/sec, 705 secs
lola: 16939774 markings, 47523285 edges, 20129 markings/sec, 710 secs
lola: 17039863 markings, 47906952 edges, 20018 markings/sec, 715 secs
lola: 17139137 markings, 48289712 edges, 19855 markings/sec, 720 secs
lola: 17241060 markings, 48673751 edges, 20385 markings/sec, 725 secs
lola: 17347197 markings, 49065264 edges, 21227 markings/sec, 730 secs
lola: 17446062 markings, 49448482 edges, 19773 markings/sec, 735 secs
lola: 17546023 markings, 49832427 edges, 19992 markings/sec, 740 secs
lola: 17647978 markings, 50217944 edges, 20391 markings/sec, 745 secs
lola: 17751021 markings, 50597656 edges, 20609 markings/sec, 750 secs
lola: 17863419 markings, 50986353 edges, 22480 markings/sec, 755 secs
lola: 17968159 markings, 51363921 edges, 20948 markings/sec, 760 secs
lola: 18079411 markings, 51747131 edges, 22250 markings/sec, 765 secs
lola: 18185991 markings, 52130010 edges, 21316 markings/sec, 770 secs
lola: 18299363 markings, 52522755 edges, 22674 markings/sec, 775 secs
lola: 18417432 markings, 52901419 edges, 23614 markings/sec, 780 secs
lola: 18531130 markings, 53270018 edges, 22740 markings/sec, 785 secs
lola: 18648162 markings, 53639614 edges, 23406 markings/sec, 790 secs
lola: 18767316 markings, 54009451 edges, 23831 markings/sec, 795 secs
lola: 18874190 markings, 54395822 edges, 21375 markings/sec, 800 secs
lola: 18974170 markings, 54780036 edges, 19996 markings/sec, 805 secs
lola: 19072364 markings, 55162667 edges, 19639 markings/sec, 810 secs
lola: 19174708 markings, 55548098 edges, 20469 markings/sec, 815 secs
lola: 19277169 markings, 55933848 edges, 20492 markings/sec, 820 secs
lola: 19382392 markings, 56324888 edges, 21045 markings/sec, 825 secs
lola: 19479103 markings, 56706029 edges, 19342 markings/sec, 830 secs
lola: 19580459 markings, 57092410 edges, 20271 markings/sec, 835 secs
lola: 19682074 markings, 57476929 edges, 20323 markings/sec, 840 secs
lola: 19789020 markings, 57858840 edges, 21389 markings/sec, 845 secs
lola: 19900223 markings, 58246323 edges, 22241 markings/sec, 850 secs
lola: 20005970 markings, 58624971 edges, 21149 markings/sec, 855 secs
lola: 20112258 markings, 59002809 edges, 21258 markings/sec, 860 secs
lola: 20307764 markings, 59353005 edges, 39101 markings/sec, 865 secs
lola: 20567357 markings, 59664827 edges, 51919 markings/sec, 870 secs
lola: 20822008 markings, 59980096 edges, 50930 markings/sec, 875 secs
lola: 21079699 markings, 60293007 edges, 51538 markings/sec, 880 secs
lola: 21331459 markings, 60608604 edges, 50352 markings/sec, 885 secs
lola: 21573376 markings, 60928724 edges, 48383 markings/sec, 890 secs
lola: 21819105 markings, 61245613 edges, 49146 markings/sec, 895 secs
lola: 22062498 markings, 61563510 edges, 48679 markings/sec, 900 secs
lola: 22304007 markings, 61881794 edges, 48302 markings/sec, 905 secs
lola: 22548845 markings, 62197398 edges, 48968 markings/sec, 910 secs
lola: 22790657 markings, 62514763 edges, 48362 markings/sec, 915 secs
lola: 23032454 markings, 62831766 edges, 48359 markings/sec, 920 secs
lola: 23276820 markings, 63146757 edges, 48873 markings/sec, 925 secs
lola: 23517289 markings, 63464188 edges, 48094 markings/sec, 930 secs
lola: 23758775 markings, 63779087 edges, 48297 markings/sec, 935 secs
lola: 24002650 markings, 64093152 edges, 48775 markings/sec, 940 secs
lola: 24241752 markings, 64410698 edges, 47820 markings/sec, 945 secs
lola: 24485552 markings, 64726020 edges, 48760 markings/sec, 950 secs
lola: 24710854 markings, 65043000 edges, 45060 markings/sec, 955 secs
lola: 24974396 markings, 65347761 edges, 52708 markings/sec, 960 secs
lola: 25227635 markings, 65656860 edges, 50648 markings/sec, 965 secs
lola: 25477661 markings, 65965777 edges, 50005 markings/sec, 970 secs
lola: 25727110 markings, 66273854 edges, 49890 markings/sec, 975 secs
lola: 25975676 markings, 66579960 edges, 49713 markings/sec, 980 secs
lola: 26237835 markings, 66885685 edges, 52432 markings/sec, 985 secs
lola: 26488329 markings, 67195050 edges, 50099 markings/sec, 990 secs
lola: 26737869 markings, 67503164 edges, 49908 markings/sec, 995 secs
lola: 26989564 markings, 67807860 edges, 50339 markings/sec, 1000 secs
lola: 27247666 markings, 68114095 edges, 51620 markings/sec, 1005 secs
lola: 27495868 markings, 68420583 edges, 49640 markings/sec, 1010 secs
lola: 27750477 markings, 68724823 edges, 50922 markings/sec, 1015 secs
lola: 28003313 markings, 69031674 edges, 50567 markings/sec, 1020 secs
lola: 28255263 markings, 69335086 edges, 50390 markings/sec, 1025 secs
lola: 28504690 markings, 69633532 edges, 49885 markings/sec, 1030 secs
lola: 28755984 markings, 69933243 edges, 50259 markings/sec, 1035 secs
lola: 29005198 markings, 70230561 edges, 49843 markings/sec, 1040 secs
lola: 29251197 markings, 70533294 edges, 49200 markings/sec, 1045 secs
lola: 29497057 markings, 70836765 edges, 49172 markings/sec, 1050 secs
lola: 29745885 markings, 71138633 edges, 49766 markings/sec, 1055 secs
lola: 29983344 markings, 71439296 edges, 47492 markings/sec, 1060 secs
lola: 30242695 markings, 71742780 edges, 51870 markings/sec, 1065 secs
lola: 30490024 markings, 72048639 edges, 49466 markings/sec, 1070 secs
lola: 30738012 markings, 72349242 edges, 49598 markings/sec, 1075 secs
lola: 30980466 markings, 72653299 edges, 48491 markings/sec, 1080 secs
lola: 31218054 markings, 72951827 edges, 47518 markings/sec, 1085 secs
lola: 31479053 markings, 73256025 edges, 52200 markings/sec, 1090 secs
lola: 31731756 markings, 73563233 edges, 50541 markings/sec, 1095 secs
lola: 31971303 markings, 73868349 edges, 47909 markings/sec, 1100 secs
lola: 32219735 markings, 74164510 edges, 49686 markings/sec, 1105 secs
lola: 32468478 markings, 74468688 edges, 49749 markings/sec, 1110 secs
lola: 32698008 markings, 74766095 edges, 45906 markings/sec, 1115 secs
lola: 32948219 markings, 75066747 edges, 50042 markings/sec, 1120 secs
lola: 33206842 markings, 75372038 edges, 51725 markings/sec, 1125 secs
lola: 33455166 markings, 75678774 edges, 49665 markings/sec, 1130 secs
lola: 33701652 markings, 75983160 edges, 49297 markings/sec, 1135 secs
lola: 33937470 markings, 76281449 edges, 47164 markings/sec, 1140 secs
lola: 34192563 markings, 76585527 edges, 51019 markings/sec, 1145 secs
lola: 34438096 markings, 76887923 edges, 49107 markings/sec, 1150 secs
lola: 34666256 markings, 77184503 edges, 45632 markings/sec, 1155 secs
lola: 34918478 markings, 77485112 edges, 50444 markings/sec, 1160 secs
lola: 35176335 markings, 77791073 edges, 51571 markings/sec, 1165 secs
lola: 35424941 markings, 78098123 edges, 49721 markings/sec, 1170 secs
lola: 35671814 markings, 78402935 edges, 49375 markings/sec, 1175 secs
lola: 35916609 markings, 78705990 edges, 48959 markings/sec, 1180 secs
lola: 36155386 markings, 79004196 edges, 47755 markings/sec, 1185 secs
lola: 36408828 markings, 79308941 edges, 50688 markings/sec, 1190 secs
lola: 36654017 markings, 79611156 edges, 49038 markings/sec, 1195 secs
lola: 36877720 markings, 79896429 edges, 44741 markings/sec, 1200 secs
lola: 37114589 markings, 80196230 edges, 47374 markings/sec, 1205 secs
lola: 37359136 markings, 80511444 edges, 48909 markings/sec, 1210 secs
lola: 37595863 markings, 80828738 edges, 47345 markings/sec, 1215 secs
lola: 37831755 markings, 81144856 edges, 47178 markings/sec, 1220 secs
lola: 38067218 markings, 81460417 edges, 47093 markings/sec, 1225 secs
lola: 38305999 markings, 81772969 edges, 47756 markings/sec, 1230 secs
lola: 38549597 markings, 82087729 edges, 48720 markings/sec, 1235 secs
lola: 38785858 markings, 82404354 edges, 47252 markings/sec, 1240 secs
lola: 39021257 markings, 82719819 edges, 47080 markings/sec, 1245 secs
lola: 39260453 markings, 83032279 edges, 47839 markings/sec, 1250 secs
lola: 39503255 markings, 83346828 edges, 48560 markings/sec, 1255 secs
lola: 39739069 markings, 83662856 edges, 47163 markings/sec, 1260 secs
lola: 39978358 markings, 83974882 edges, 47858 markings/sec, 1265 secs
lola: 40220556 markings, 84289128 edges, 48440 markings/sec, 1270 secs
lola: 40460093 markings, 84600957 edges, 47907 markings/sec, 1275 secs
lola: 40693254 markings, 84907973 edges, 46632 markings/sec, 1280 secs
lola: 40927996 markings, 85215045 edges, 46948 markings/sec, 1285 secs
lola: 41160783 markings, 85520835 edges, 46557 markings/sec, 1290 secs
lola: 41392018 markings, 85827420 edges, 46247 markings/sec, 1295 secs
lola: 41633327 markings, 86138326 edges, 48262 markings/sec, 1300 secs
lola: 41862654 markings, 86447008 edges, 45865 markings/sec, 1305 secs
lola: 42091055 markings, 86755066 edges, 45680 markings/sec, 1310 secs
lola: 42318851 markings, 87062880 edges, 45559 markings/sec, 1315 secs
lola: 42565842 markings, 87374538 edges, 49398 markings/sec, 1320 secs
lola: 42792764 markings, 87687039 edges, 45384 markings/sec, 1325 secs
lola: 43030828 markings, 87994343 edges, 47613 markings/sec, 1330 secs
lola: 43256873 markings, 88305143 edges, 45209 markings/sec, 1335 secs
lola: 43480211 markings, 88609990 edges, 44668 markings/sec, 1340 secs
lola: 43726370 markings, 88921596 edges, 49232 markings/sec, 1345 secs
lola: 43965042 markings, 89235990 edges, 47734 markings/sec, 1350 secs
lola: 44193245 markings, 89548499 edges, 45641 markings/sec, 1355 secs
lola: 44425170 markings, 89855155 edges, 46385 markings/sec, 1360 secs
lola: 44662988 markings, 90167249 edges, 47564 markings/sec, 1365 secs
lola: 44884734 markings, 90473850 edges, 44349 markings/sec, 1370 secs
lola: 45109693 markings, 90779040 edges, 44992 markings/sec, 1375 secs
lola: 45357884 markings, 91091824 edges, 49638 markings/sec, 1380 secs
lola: 45594563 markings, 91407359 edges, 47336 markings/sec, 1385 secs
lola: 45828379 markings, 91720649 edges, 46763 markings/sec, 1390 secs
lola: 46052725 markings, 92030604 edges, 44869 markings/sec, 1395 secs
lola: 46289730 markings, 92337419 edges, 47401 markings/sec, 1400 secs
lola: 46525419 markings, 92650320 edges, 47138 markings/sec, 1405 secs
lola: 46750196 markings, 92958938 edges, 44955 markings/sec, 1410 secs
lola: 46970916 markings, 93262045 edges, 44144 markings/sec, 1415 secs
lola: 47213661 markings, 93572613 edges, 48549 markings/sec, 1420 secs
lola: 47455548 markings, 93887660 edges, 48377 markings/sec, 1425 secs
lola: 47690553 markings, 94202573 edges, 47001 markings/sec, 1430 secs
lola: 47923851 markings, 94515267 edges, 46660 markings/sec, 1435 secs
lola: 48155810 markings, 94826149 edges, 46392 markings/sec, 1440 secs
lola: 48378294 markings, 95130974 edges, 44497 markings/sec, 1445 secs
lola: 48619621 markings, 95443804 edges, 48265 markings/sec, 1450 secs
lola: 48852675 markings, 95755394 edges, 46611 markings/sec, 1455 secs
lola: 49075154 markings, 96062970 edges, 44496 markings/sec, 1460 secs
lola: 49306008 markings, 96367842 edges, 46171 markings/sec, 1465 secs
lola: 49545594 markings, 96671672 edges, 47917 markings/sec, 1470 secs
lola: 49775335 markings, 96979695 edges, 45948 markings/sec, 1475 secs
lola: 50011683 markings, 97296400 edges, 47270 markings/sec, 1480 secs
lola: 50246309 markings, 97610797 edges, 46925 markings/sec, 1485 secs
lola: 50477800 markings, 97920011 edges, 46298 markings/sec, 1490 secs
lola: 50722181 markings, 98229484 edges, 48876 markings/sec, 1495 secs
lola: 50955662 markings, 98542415 edges, 46696 markings/sec, 1500 secs
lola: 51188392 markings, 98854338 edges, 46546 markings/sec, 1505 secs
lola: 51419590 markings, 99163501 edges, 46240 markings/sec, 1510 secs
lola: 51664191 markings, 99472949 edges, 48920 markings/sec, 1515 secs
lola: 51897536 markings, 99785710 edges, 46669 markings/sec, 1520 secs
lola: 52128415 markings, 100094558 edges, 46176 markings/sec, 1525 secs
lola: 52372251 markings, 100402936 edges, 48767 markings/sec, 1530 secs
lola: 52603467 markings, 100712210 edges, 46243 markings/sec, 1535 secs
lola: 52837445 markings, 101019255 edges, 46796 markings/sec, 1540 secs
lola: 53071336 markings, 101319334 edges, 46778 markings/sec, 1545 secs
lola: 53303369 markings, 101621322 edges, 46407 markings/sec, 1550 secs
lola: 53531923 markings, 101921328 edges, 45711 markings/sec, 1555 secs
lola: 53762316 markings, 102227149 edges, 46079 markings/sec, 1560 secs
lola: 53989834 markings, 102532999 edges, 45504 markings/sec, 1565 secs
lola: 54224539 markings, 102837672 edges, 46941 markings/sec, 1570 secs
lola: 54441243 markings, 103140271 edges, 43341 markings/sec, 1575 secs
lola: 54677599 markings, 103445129 edges, 47271 markings/sec, 1580 secs
lola: 54903611 markings, 103736250 edges, 45202 markings/sec, 1585 secs
lola: 55126437 markings, 104044813 edges, 44565 markings/sec, 1590 secs
lola: 55368670 markings, 104355716 edges, 48447 markings/sec, 1595 secs
lola: 55590398 markings, 104662233 edges, 44346 markings/sec, 1600 secs
lola: 55819822 markings, 104969855 edges, 45885 markings/sec, 1605 secs
lola: 56066982 markings, 105283030 edges, 49432 markings/sec, 1610 secs
lola: 56302126 markings, 105598166 edges, 47029 markings/sec, 1615 secs
lola: 56525765 markings, 105907266 edges, 44728 markings/sec, 1620 secs
lola: 56765962 markings, 106216051 edges, 48039 markings/sec, 1625 secs
lola: 56999352 markings, 106528196 edges, 46678 markings/sec, 1630 secs
lola: 57214880 markings, 106832436 edges, 43106 markings/sec, 1635 secs
lola: 57452456 markings, 107140794 edges, 47515 markings/sec, 1640 secs
lola: 57697131 markings, 107454872 edges, 48935 markings/sec, 1645 secs
lola: 57932360 markings, 107770096 edges, 47046 markings/sec, 1650 secs
lola: 58165806 markings, 108082914 edges, 46689 markings/sec, 1655 secs
lola: 58387051 markings, 108388805 edges, 44249 markings/sec, 1660 secs
lola: 58629239 markings, 108700051 edges, 48438 markings/sec, 1665 secs
lola: 58862560 markings, 109011954 edges, 46664 markings/sec, 1670 secs
lola: 59083194 markings, 109317167 edges, 44127 markings/sec, 1675 secs
lola: 59307291 markings, 109621402 edges, 44819 markings/sec, 1680 secs
lola: 59556280 markings, 109935026 edges, 49798 markings/sec, 1685 secs
lola: 59793773 markings, 110251530 edges, 47499 markings/sec, 1690 secs
lola: 60028337 markings, 110565833 edges, 46913 markings/sec, 1695 secs
lola: 60261183 markings, 110877847 edges, 46569 markings/sec, 1700 secs
lola: 60484697 markings, 111186772 edges, 44703 markings/sec, 1705 secs
lola: 60721476 markings, 111493565 edges, 47356 markings/sec, 1710 secs
lola: 60958169 markings, 111807414 edges, 47339 markings/sec, 1715 secs
lola: 61190433 markings, 112118000 edges, 46453 markings/sec, 1720 secs
lola: 61410164 markings, 112421774 edges, 43946 markings/sec, 1725 secs
lola: 61598478 markings, 112769345 edges, 37663 markings/sec, 1730 secs
lola: 61776318 markings, 113141827 edges, 35568 markings/sec, 1735 secs
lola: 61951940 markings, 113515442 edges, 35124 markings/sec, 1740 secs
lola: 62128306 markings, 113889079 edges, 35273 markings/sec, 1745 secs
lola: 62303610 markings, 114261574 edges, 35061 markings/sec, 1750 secs
lola: 62477611 markings, 114636188 edges, 34800 markings/sec, 1755 secs
lola: 62648598 markings, 115008716 edges, 34197 markings/sec, 1760 secs
lola: 62817048 markings, 115384062 edges, 33690 markings/sec, 1765 secs
lola: 62988704 markings, 115755837 edges, 34331 markings/sec, 1770 secs
lola: 63155791 markings, 116129925 edges, 33417 markings/sec, 1775 secs
lola: 63327873 markings, 116500881 edges, 34416 markings/sec, 1780 secs
lola: 63495043 markings, 116874103 edges, 33434 markings/sec, 1785 secs
lola: 63665775 markings, 117244167 edges, 34146 markings/sec, 1790 secs
lola: 63833047 markings, 117617148 edges, 33454 markings/sec, 1795 secs
lola: 64002359 markings, 117987782 edges, 33862 markings/sec, 1800 secs
lola: 64170731 markings, 118358411 edges, 33674 markings/sec, 1805 secs
lola: 64339344 markings, 118730353 edges, 33723 markings/sec, 1810 secs
lola: 64507894 markings, 119099204 edges, 33710 markings/sec, 1815 secs
lola: 64674319 markings, 119471360 edges, 33285 markings/sec, 1820 secs
lola: 64845041 markings, 119839454 edges, 34144 markings/sec, 1825 secs
lola: 65011054 markings, 120210075 edges, 33203 markings/sec, 1830 secs
lola: 65181446 markings, 120578060 edges, 34078 markings/sec, 1835 secs
lola: 65346804 markings, 120948340 edges, 33072 markings/sec, 1840 secs
lola: 65516259 markings, 121316128 edges, 33891 markings/sec, 1845 secs
lola: 65683249 markings, 121685611 edges, 33398 markings/sec, 1850 secs
lola: 65846892 markings, 122055344 edges, 32729 markings/sec, 1855 secs
lola: 66012706 markings, 122418498 edges, 33163 markings/sec, 1860 secs
lola: 66191684 markings, 122785745 edges, 35796 markings/sec, 1865 secs
lola: 66365936 markings, 123153916 edges, 34850 markings/sec, 1870 secs
lola: 66538028 markings, 123520727 edges, 34418 markings/sec, 1875 secs
lola: 66709693 markings, 123886575 edges, 34333 markings/sec, 1880 secs
lola: 66880890 markings, 124250977 edges, 34239 markings/sec, 1885 secs
lola: 67051494 markings, 124614399 edges, 34121 markings/sec, 1890 secs
lola: 67224262 markings, 124978107 edges, 34554 markings/sec, 1895 secs
lola: 67402762 markings, 125344742 edges, 35700 markings/sec, 1900 secs
lola: 67575783 markings, 125712593 edges, 34604 markings/sec, 1905 secs
lola: 67747286 markings, 126077916 edges, 34301 markings/sec, 1910 secs
lola: 67918594 markings, 126442884 edges, 34262 markings/sec, 1915 secs
lola: 68087196 markings, 126804197 edges, 33720 markings/sec, 1920 secs
lola: 68265922 markings, 127170734 edges, 35745 markings/sec, 1925 secs
lola: 68440716 markings, 127536510 edges, 34959 markings/sec, 1930 secs
lola: 68612553 markings, 127902628 edges, 34367 markings/sec, 1935 secs
lola: 68780782 markings, 128264720 edges, 33646 markings/sec, 1940 secs
lola: 68956811 markings, 128625486 edges, 35206 markings/sec, 1945 secs
lola: 69129275 markings, 128984866 edges, 34493 markings/sec, 1950 secs
lola: 69296210 markings, 129341164 edges, 33387 markings/sec, 1955 secs
lola: 69466751 markings, 129698647 edges, 34108 markings/sec, 1960 secs
lola: 69635039 markings, 130049866 edges, 33658 markings/sec, 1965 secs
lola: 69804033 markings, 130400731 edges, 33799 markings/sec, 1970 secs
lola: 69972066 markings, 130754465 edges, 33607 markings/sec, 1975 secs
lola: 70140578 markings, 131109175 edges, 33702 markings/sec, 1980 secs
lola: 70307056 markings, 131462785 edges, 33296 markings/sec, 1985 secs
lola: 70479540 markings, 131822859 edges, 34497 markings/sec, 1990 secs
lola: 70647239 markings, 132181825 edges, 33540 markings/sec, 1995 secs
lola: 70817149 markings, 132538475 edges, 33982 markings/sec, 2000 secs
lola: 70983852 markings, 132895384 edges, 33341 markings/sec, 2005 secs
lola: 71146507 markings, 133247030 edges, 32531 markings/sec, 2010 secs
lola: 71317638 markings, 133605278 edges, 34226 markings/sec, 2015 secs
lola: 71494675 markings, 133968616 edges, 35407 markings/sec, 2020 secs
lola: 71665519 markings, 134331082 edges, 34169 markings/sec, 2025 secs
lola: 71826414 markings, 134681939 edges, 32179 markings/sec, 2030 secs
lola: 72001809 markings, 135042525 edges, 35079 markings/sec, 2035 secs
lola: 72166569 markings, 135400035 edges, 32952 markings/sec, 2040 secs
lola: 72326845 markings, 135748955 edges, 32055 markings/sec, 2045 secs
lola: 72494995 markings, 136103826 edges, 33630 markings/sec, 2050 secs
lola: 72673141 markings, 136469165 edges, 35629 markings/sec, 2055 secs
lola: 72846461 markings, 136832573 edges, 34664 markings/sec, 2060 secs
lola: 73016925 markings, 137195677 edges, 34093 markings/sec, 2065 secs
lola: 73179671 markings, 137551388 edges, 32549 markings/sec, 2070 secs
lola: 73347885 markings, 137905126 edges, 33643 markings/sec, 2075 secs
lola: 73521840 markings, 138267269 edges, 34791 markings/sec, 2080 secs
lola: 73690474 markings, 138626048 edges, 33727 markings/sec, 2085 secs
lola: 73849940 markings, 138974605 edges, 31893 markings/sec, 2090 secs
lola: 74011378 markings, 139323722 edges, 32288 markings/sec, 2095 secs
lola: 74187376 markings, 139687045 edges, 35200 markings/sec, 2100 secs
lola: 74364213 markings, 140052570 edges, 35367 markings/sec, 2105 secs
lola: 74535054 markings, 140416519 edges, 34168 markings/sec, 2110 secs
lola: 74705122 markings, 140778334 edges, 34014 markings/sec, 2115 secs
lola: 74873804 markings, 141137902 edges, 33736 markings/sec, 2120 secs
lola: 75034638 markings, 141489298 edges, 32167 markings/sec, 2125 secs
lola: 75205447 markings, 141845644 edges, 34162 markings/sec, 2130 secs
lola: 75377915 markings, 142207553 edges, 34494 markings/sec, 2135 secs
lola: 75546854 markings, 142566808 edges, 33788 markings/sec, 2140 secs
lola: 75707963 markings, 142919135 edges, 32222 markings/sec, 2145 secs
lola: 75868056 markings, 143265134 edges, 32019 markings/sec, 2150 secs
lola: 76036045 markings, 143619270 edges, 33598 markings/sec, 2155 secs
lola: 76214842 markings, 143985708 edges, 35759 markings/sec, 2160 secs
lola: 76388559 markings, 144350848 edges, 34743 markings/sec, 2165 secs
lola: 76559816 markings, 144715641 edges, 34251 markings/sec, 2170 secs
lola: 76729396 markings, 145077021 edges, 33916 markings/sec, 2175 secs
lola: 76898777 markings, 145437304 edges, 33876 markings/sec, 2180 secs
lola: 77066665 markings, 145795139 edges, 33578 markings/sec, 2185 secs
lola: 77226800 markings, 146145164 edges, 32027 markings/sec, 2190 secs
lola: 77398405 markings, 146502403 edges, 34321 markings/sec, 2195 secs
lola: 77570997 markings, 146865218 edges, 34518 markings/sec, 2200 secs
lola: 77740504 markings, 147225573 edges, 33901 markings/sec, 2205 secs
lola: 77908085 markings, 147582124 edges, 33516 markings/sec, 2210 secs
lola: 78067620 markings, 147930823 edges, 31907 markings/sec, 2215 secs
lola: 78230835 markings, 148283970 edges, 32643 markings/sec, 2220 secs
lola: 78403038 markings, 148655048 edges, 34441 markings/sec, 2225 secs
lola: 78571282 markings, 149025358 edges, 33649 markings/sec, 2230 secs
lola: 78737168 markings, 149396206 edges, 33177 markings/sec, 2235 secs
lola: 78902165 markings, 149764948 edges, 32999 markings/sec, 2240 secs
lola: 79066719 markings, 150132773 edges, 32911 markings/sec, 2245 secs
lola: 79231126 markings, 150500268 edges, 32881 markings/sec, 2250 secs
lola: 79393247 markings, 150864607 edges, 32424 markings/sec, 2255 secs
lola: 79565081 markings, 151234715 edges, 34367 markings/sec, 2260 secs
lola: 79733642 markings, 151604677 edges, 33712 markings/sec, 2265 secs
lola: 79899048 markings, 151974655 edges, 33081 markings/sec, 2270 secs
lola: 80063990 markings, 152342905 edges, 32988 markings/sec, 2275 secs
lola: 80228117 markings, 152709763 edges, 32825 markings/sec, 2280 secs
lola: 80392831 markings, 153075532 edges, 32943 markings/sec, 2285 secs
lola: 80563982 markings, 153444791 edges, 34230 markings/sec, 2290 secs
lola: 80730699 markings, 153814231 edges, 33343 markings/sec, 2295 secs
lola: 80895646 markings, 154183048 edges, 32989 markings/sec, 2300 secs
lola: 81058265 markings, 154547883 edges, 32524 markings/sec, 2305 secs
lola: 81229514 markings, 154916806 edges, 34250 markings/sec, 2310 secs
lola: 81397189 markings, 155285308 edges, 33535 markings/sec, 2315 secs
lola: 81561093 markings, 155651020 edges, 32781 markings/sec, 2320 secs
lola: 81727303 markings, 156017640 edges, 33242 markings/sec, 2325 secs
lola: 81891934 markings, 156377619 edges, 32926 markings/sec, 2330 secs
lola: 82056594 markings, 156737130 edges, 32932 markings/sec, 2335 secs
lola: 82219496 markings, 157097335 edges, 32580 markings/sec, 2340 secs
lola: 82381660 markings, 157456204 edges, 32433 markings/sec, 2345 secs
lola: 82542189 markings, 157813328 edges, 32106 markings/sec, 2350 secs
lola: 82706873 markings, 158175703 edges, 32937 markings/sec, 2355 secs
lola: time limit reached - aborting
lola:
preliminary result: 1 1 1 unknown unknown 1 unknown 1 unknown 1 1 1 1 1 1 1
lola:
preliminary result: 1 1 1 unknown unknown 1 unknown 1 unknown 1 1 1 1 1 1 1
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 1 1 unknown unknown 1 unknown 1 unknown 1 1 1 1 1 1 1
lola: memory consumption: 5858024 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
rslt: finished

BK_STOP 1552499725580

--------------------
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-02b"
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-02b, 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-155225008800038"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ASLink-PT-02b.tgz
mv ASLink-PT-02b 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 ;