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.r038-smll-155229648900200.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 CloudReconfiguration-PT-311, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r038-smll-155229648900200
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 808K
-rw-r--r-- 1 mcc users 3.4K Feb 9 09:23 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Feb 9 09:23 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Feb 5 08:19 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 5 08:19 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 114 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 352 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.5K Feb 4 23:13 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K Feb 4 23:13 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Feb 4 22:33 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.1K Feb 4 22:33 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Feb 2 02:18 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Feb 2 02:18 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Jan 29 16:04 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Jan 29 16:04 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 4 22:18 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 4 22:18 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 660K 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 CloudReconfiguration-PT-311-UpperBounds-00
FORMULA_NAME CloudReconfiguration-PT-311-UpperBounds-01
FORMULA_NAME CloudReconfiguration-PT-311-UpperBounds-02
FORMULA_NAME CloudReconfiguration-PT-311-UpperBounds-03
FORMULA_NAME CloudReconfiguration-PT-311-UpperBounds-04
FORMULA_NAME CloudReconfiguration-PT-311-UpperBounds-05
FORMULA_NAME CloudReconfiguration-PT-311-UpperBounds-06
FORMULA_NAME CloudReconfiguration-PT-311-UpperBounds-07
FORMULA_NAME CloudReconfiguration-PT-311-UpperBounds-08
FORMULA_NAME CloudReconfiguration-PT-311-UpperBounds-09
FORMULA_NAME CloudReconfiguration-PT-311-UpperBounds-10
FORMULA_NAME CloudReconfiguration-PT-311-UpperBounds-11
FORMULA_NAME CloudReconfiguration-PT-311-UpperBounds-12
FORMULA_NAME CloudReconfiguration-PT-311-UpperBounds-13
FORMULA_NAME CloudReconfiguration-PT-311-UpperBounds-14
FORMULA_NAME CloudReconfiguration-PT-311-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1552661139138

info: Time: 3600 - MCC
vrfy: Checking UpperBounds @ CloudReconfiguration-PT-311 @ 3570 seconds

FORMULA CloudReconfiguration-PT-311-UpperBounds-00 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudReconfiguration-PT-311-UpperBounds-01 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudReconfiguration-PT-311-UpperBounds-02 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudReconfiguration-PT-311-UpperBounds-03 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudReconfiguration-PT-311-UpperBounds-04 0 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudReconfiguration-PT-311-UpperBounds-05 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudReconfiguration-PT-311-UpperBounds-06 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudReconfiguration-PT-311-UpperBounds-07 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudReconfiguration-PT-311-UpperBounds-08 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudReconfiguration-PT-311-UpperBounds-09 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudReconfiguration-PT-311-UpperBounds-11 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudReconfiguration-PT-311-UpperBounds-12 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudReconfiguration-PT-311-UpperBounds-13 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudReconfiguration-PT-311-UpperBounds-14 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudReconfiguration-PT-311-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 @ CloudReconfiguration-PT-311

{
"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": "Fri Mar 15 14:45:39 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(p1088)",
"processed_size": 10,
"rewrites": 0
},
"result":
{
"edges": 71,
"markings": 72,
"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(p107)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 90,
"markings": 91,
"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(p2502)",
"processed_size": 10,
"rewrites": 0
},
"result":
{
"edges": 62,
"markings": 63,
"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(p2577)",
"processed_size": 10,
"rewrites": 0
},
"result":
{
"edges": 22,
"markings": 23,
"produced_by": "search",
"value": 1
},
"task":
{
"compoundnumber": 3,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 296
},
"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(p684)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 8163,
"markings": 6788,
"produced_by": "search",
"value": 0
},
"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": 323
},
"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(p2250)",
"processed_size": 10,
"rewrites": 0
},
"result":
{
"edges": 57,
"markings": 58,
"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": 355
},
"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(p1205)",
"processed_size": 10,
"rewrites": 0
},
"result":
{
"edges": 71,
"markings": 72,
"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": 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(p1091)",
"processed_size": 10,
"rewrites": 0
},
"result":
{
"edges": 68,
"markings": 69,
"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": 444
},
"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(p2049)",
"processed_size": 10,
"rewrites": 0
},
"result":
{
"edges": 60,
"markings": 61,
"produced_by": "search",
"value": 1
},
"task":
{
"compoundnumber": 8,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 508
},
"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(p1445)",
"processed_size": 10,
"rewrites": 0
},
"result":
{
"edges": 69,
"markings": 70,
"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": 592
},
"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(p1499)",
"processed_size": 10,
"rewrites": 0
},
"result":
{
"edges": 60,
"markings": 61,
"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": 740
},
"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(p1987)",
"processed_size": 10,
"rewrites": 0
},
"result":
{
"edges": 59,
"markings": 60,
"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": 987
},
"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(p2120)",
"processed_size": 10,
"rewrites": 0
},
"result":
{
"edges": 78,
"markings": 79,
"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": 1480
},
"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(p1853)",
"processed_size": 10,
"rewrites": 0
},
"result":
{
"edges": 74,
"markings": 75,
"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": 2958
},
"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(p175)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 90,
"markings": 91,
"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": 4212268,
"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": 6463,
"conflict_clusters": 2448,
"places": 2585,
"places_significant": 2581,
"singleton_clusters": 0,
"transitions": 3095
},
"result":
{
"interim_value": "1 1 1 1 0 1 1 1 1 1 unknown 1 1 1 1 1 ",
"preliminary_value": "1 1 1 1 0 1 1 1 1 1 unknown 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: 5680/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 2585
lola: finding significant places
lola: 2585 places, 3095 transitions, 2581 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(p1088) : MAX(p107) : MAX(p2502) : MAX(p2577) : MAX(p684) : MAX(p2250) : MAX(p1205) : MAX(p1091) : MAX(p2049) : MAX(p1445) : MAX(p1330) : MAX(p1499) : MAX(p1987) : MAX(p2120) : MAX(p1853) : MAX(p175)
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(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: 72 markings, 71 edges
lola: ========================================
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p107)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p107)
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: 91 markings, 90 edges
lola: ========================================
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p2502)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2502)
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: 63 markings, 62 edges
lola: ========================================
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p2577)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2577)
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: 23 markings, 22 edges
lola: ========================================
lola: subprocess 4 will run for 296 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p684)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p684)
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: 0
lola: produced by: state space
lola: The maximum value of the given expression is 0
lola: 6788 markings, 8163 edges
lola: ========================================
lola: subprocess 5 will run for 323 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p2250)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2250)
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: 58 markings, 57 edges
lola: ========================================
lola: subprocess 6 will run for 355 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1205)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1205)
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: 72 markings, 71 edges
lola: ========================================
lola: subprocess 7 will run for 395 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1091)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1091)
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: 69 markings, 68 edges
lola: ========================================
lola: subprocess 8 will run for 444 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p2049)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2049)
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: 61 markings, 60 edges
lola: ========================================
lola: subprocess 9 will run for 508 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1445)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1445)
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: 70 markings, 69 edges
lola: ========================================
lola: subprocess 10 will run for 592 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1330)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1330)
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: 29118 markings, 63319 edges, 5824 markings/sec, 0 secs
lola: 62579 markings, 144703 edges, 6692 markings/sec, 5 secs
lola: 96655 markings, 227045 edges, 6815 markings/sec, 10 secs
lola: 129056 markings, 305565 edges, 6480 markings/sec, 15 secs
lola: 161927 markings, 384433 edges, 6574 markings/sec, 20 secs
lola: 194937 markings, 464648 edges, 6602 markings/sec, 25 secs
lola: 227534 markings, 542997 edges, 6519 markings/sec, 30 secs
lola: 260661 markings, 623487 edges, 6625 markings/sec, 35 secs
lola: 293183 markings, 699756 edges, 6504 markings/sec, 40 secs
lola: 325464 markings, 778099 edges, 6456 markings/sec, 45 secs
lola: 358350 markings, 856527 edges, 6577 markings/sec, 50 secs
lola: 390172 markings, 935015 edges, 6364 markings/sec, 55 secs
lola: 423035 markings, 1013792 edges, 6573 markings/sec, 60 secs
lola: 455358 markings, 1091501 edges, 6465 markings/sec, 65 secs
lola: 487445 markings, 1169781 edges, 6417 markings/sec, 70 secs
lola: 520671 markings, 1250257 edges, 6645 markings/sec, 75 secs
lola: 553055 markings, 1328738 edges, 6477 markings/sec, 80 secs
lola: 585730 markings, 1406641 edges, 6535 markings/sec, 85 secs
lola: 618734 markings, 1484554 edges, 6601 markings/sec, 90 secs
lola: 650928 markings, 1562798 edges, 6439 markings/sec, 95 secs
lola: 690039 markings, 1631455 edges, 7822 markings/sec, 100 secs
lola: 730291 markings, 1687138 edges, 8050 markings/sec, 105 secs
lola: 770689 markings, 1746807 edges, 8080 markings/sec, 110 secs
lola: 811404 markings, 1806456 edges, 8143 markings/sec, 115 secs
lola: 847661 markings, 1873561 edges, 7251 markings/sec, 120 secs
lola: 879129 markings, 1947260 edges, 6294 markings/sec, 125 secs
lola: 911780 markings, 2023048 edges, 6530 markings/sec, 130 secs
lola: 944313 markings, 2096263 edges, 6507 markings/sec, 135 secs
lola: 981290 markings, 2170553 edges, 7395 markings/sec, 140 secs
lola: 1011126 markings, 2242866 edges, 5967 markings/sec, 145 secs
lola: 1040950 markings, 2315230 edges, 5965 markings/sec, 150 secs
lola: 1070995 markings, 2386857 edges, 6009 markings/sec, 155 secs
lola: 1100695 markings, 2458620 edges, 5940 markings/sec, 160 secs
lola: 1131949 markings, 2533508 edges, 6251 markings/sec, 165 secs
lola: 1162028 markings, 2606527 edges, 6016 markings/sec, 170 secs
lola: 1192962 markings, 2681149 edges, 6187 markings/sec, 175 secs
lola: 1223672 markings, 2755463 edges, 6142 markings/sec, 180 secs
lola: 1254402 markings, 2828797 edges, 6146 markings/sec, 185 secs
lola: 1284289 markings, 2901736 edges, 5977 markings/sec, 190 secs
lola: 1319775 markings, 2978976 edges, 7097 markings/sec, 195 secs
lola: 1354739 markings, 3051027 edges, 6993 markings/sec, 200 secs
lola: 1388420 markings, 3122755 edges, 6736 markings/sec, 205 secs
lola: 1424658 markings, 3195261 edges, 7248 markings/sec, 210 secs
lola: 1463519 markings, 3270033 edges, 7772 markings/sec, 215 secs
lola: 1500620 markings, 3345346 edges, 7420 markings/sec, 220 secs
lola: 1536680 markings, 3425076 edges, 7212 markings/sec, 225 secs
lola: 1575513 markings, 3496206 edges, 7767 markings/sec, 230 secs
lola: 1614501 markings, 3559404 edges, 7798 markings/sec, 235 secs
lola: 1651067 markings, 3628159 edges, 7313 markings/sec, 240 secs
lola: 1689201 markings, 3691333 edges, 7627 markings/sec, 245 secs
lola: 1726139 markings, 3758934 edges, 7388 markings/sec, 250 secs
lola: 1759972 markings, 3835236 edges, 6767 markings/sec, 255 secs
lola: 1796913 markings, 3917215 edges, 7388 markings/sec, 260 secs
lola: 1831881 markings, 3997472 edges, 6994 markings/sec, 265 secs
lola: 1867498 markings, 4077067 edges, 7123 markings/sec, 270 secs
lola: 1904549 markings, 4158889 edges, 7410 markings/sec, 275 secs
lola: 1938093 markings, 4238384 edges, 6709 markings/sec, 280 secs
lola: 1972973 markings, 4318306 edges, 6976 markings/sec, 285 secs
lola: 2009389 markings, 4401221 edges, 7283 markings/sec, 290 secs
lola: 2044096 markings, 4482476 edges, 6941 markings/sec, 295 secs
lola: 2078879 markings, 4562223 edges, 6957 markings/sec, 300 secs
lola: 2115068 markings, 4643931 edges, 7238 markings/sec, 305 secs
lola: 2150241 markings, 4724380 edges, 7035 markings/sec, 310 secs
lola: 2184624 markings, 4803359 edges, 6877 markings/sec, 315 secs
lola: 2216954 markings, 4884888 edges, 6466 markings/sec, 320 secs
lola: 2247231 markings, 4958658 edges, 6055 markings/sec, 325 secs
lola: 2277524 markings, 5030766 edges, 6059 markings/sec, 330 secs
lola: 2309690 markings, 5103379 edges, 6433 markings/sec, 335 secs
lola: 2339667 markings, 5175359 edges, 5995 markings/sec, 340 secs
lola: 2378015 markings, 5247961 edges, 7670 markings/sec, 345 secs
lola: 2413116 markings, 5322729 edges, 7020 markings/sec, 350 secs
lola: 2450464 markings, 5401461 edges, 7470 markings/sec, 355 secs
lola: 2483395 markings, 5471178 edges, 6586 markings/sec, 360 secs
lola: 2514497 markings, 5544770 edges, 6220 markings/sec, 365 secs
lola: 2553869 markings, 5618649 edges, 7874 markings/sec, 370 secs
lola: 2589947 markings, 5692700 edges, 7216 markings/sec, 375 secs
lola: 2623840 markings, 5771647 edges, 6779 markings/sec, 380 secs
lola: 2656132 markings, 5865247 edges, 6458 markings/sec, 385 secs
lola: 2690034 markings, 5944879 edges, 6780 markings/sec, 390 secs
lola: 2723355 markings, 6027867 edges, 6664 markings/sec, 395 secs
lola: 2755545 markings, 6098856 edges, 6438 markings/sec, 400 secs
lola: 2787002 markings, 6160929 edges, 6291 markings/sec, 405 secs
lola: 2820704 markings, 6226936 edges, 6740 markings/sec, 410 secs
lola: 2856304 markings, 6309934 edges, 7120 markings/sec, 415 secs
lola: 2889518 markings, 6375483 edges, 6643 markings/sec, 420 secs
lola: 2922595 markings, 6448754 edges, 6615 markings/sec, 425 secs
lola: 2952526 markings, 6520100 edges, 5986 markings/sec, 430 secs
lola: 2983522 markings, 6590506 edges, 6199 markings/sec, 435 secs
lola: 3014938 markings, 6662016 edges, 6283 markings/sec, 440 secs
lola: 3049329 markings, 6737852 edges, 6878 markings/sec, 445 secs
lola: 3085961 markings, 6808965 edges, 7326 markings/sec, 450 secs
lola: 3116882 markings, 6891711 edges, 6184 markings/sec, 455 secs
lola: 3148329 markings, 6971122 edges, 6289 markings/sec, 460 secs
lola: 3181035 markings, 7048574 edges, 6541 markings/sec, 465 secs
lola: 3217411 markings, 7133685 edges, 7275 markings/sec, 470 secs
lola: 3249506 markings, 7224592 edges, 6419 markings/sec, 475 secs
lola: 3281312 markings, 7302259 edges, 6361 markings/sec, 480 secs
lola: 3311737 markings, 7375643 edges, 6085 markings/sec, 485 secs
lola: 3343377 markings, 7445545 edges, 6328 markings/sec, 490 secs
lola: 3379492 markings, 7513189 edges, 7223 markings/sec, 495 secs
lola: 3418676 markings, 7578843 edges, 7837 markings/sec, 500 secs
lola: 3455421 markings, 7650268 edges, 7349 markings/sec, 505 secs
lola: 3491267 markings, 7722072 edges, 7169 markings/sec, 510 secs
lola: 3525238 markings, 7801024 edges, 6794 markings/sec, 515 secs
lola: 3560377 markings, 7869605 edges, 7028 markings/sec, 520 secs
lola: 3597053 markings, 7929966 edges, 7335 markings/sec, 525 secs
lola: 3631928 markings, 7994573 edges, 6975 markings/sec, 530 secs
lola: 3667942 markings, 8052187 edges, 7203 markings/sec, 535 secs
lola: 3701253 markings, 8125076 edges, 6662 markings/sec, 540 secs
lola: 3737068 markings, 8204586 edges, 7163 markings/sec, 545 secs
lola: 3771019 markings, 8283467 edges, 6790 markings/sec, 550 secs
lola: 3805304 markings, 8358985 edges, 6857 markings/sec, 555 secs
lola: 3839320 markings, 8434318 edges, 6803 markings/sec, 560 secs
lola: 3871185 markings, 8509489 edges, 6373 markings/sec, 565 secs
lola: 3903448 markings, 8583003 edges, 6453 markings/sec, 570 secs
lola: 3936698 markings, 8660752 edges, 6650 markings/sec, 575 secs
lola: 3972011 markings, 8741460 edges, 7063 markings/sec, 580 secs
lola: 4006412 markings, 8820311 edges, 6880 markings/sec, 585 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 1 0 1 1 1 1 1 unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1077756 KB
lola: time consumption: 607 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 11 will run for 592 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1499)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1499)
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: 61 markings, 60 edges
lola: ========================================
lola: subprocess 12 will run for 740 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1987)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1987)
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: 60 markings, 59 edges
lola: ========================================
lola: subprocess 13 will run for 987 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p2120)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2120)
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: 79 markings, 78 edges
lola: ========================================
lola: subprocess 14 will run for 1480 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1853)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1853)
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: 75 markings, 74 edges
lola: ========================================
lola: subprocess 15 will run for 2958 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p175)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p175)
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: 91 markings, 90 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: MAX(p1330)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1330)
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: 29381 markings, 63900 edges, 5876 markings/sec, 0 secs
lola: 63005 markings, 145631 edges, 6725 markings/sec, 5 secs
lola: 97127 markings, 228110 edges, 6824 markings/sec, 10 secs
lola: 129832 markings, 307460 edges, 6541 markings/sec, 15 secs
lola: 162896 markings, 386832 edges, 6613 markings/sec, 20 secs
lola: 196056 markings, 466821 edges, 6632 markings/sec, 25 secs
lola: 228829 markings, 546127 edges, 6555 markings/sec, 30 secs
lola: 261854 markings, 627087 edges, 6605 markings/sec, 35 secs
lola: 293916 markings, 701829 edges, 6412 markings/sec, 40 secs
lola: 325196 markings, 777507 edges, 6256 markings/sec, 45 secs
lola: 358301 markings, 856388 edges, 6621 markings/sec, 50 secs
lola: 390340 markings, 935342 edges, 6408 markings/sec, 55 secs
lola: 423391 markings, 1014695 edges, 6610 markings/sec, 60 secs
lola: 455805 markings, 1093145 edges, 6483 markings/sec, 65 secs
lola: 488252 markings, 1171710 edges, 6489 markings/sec, 70 secs
lola: 521692 markings, 1252510 edges, 6688 markings/sec, 75 secs
lola: 554463 markings, 1331851 edges, 6554 markings/sec, 80 secs
lola: 587067 markings, 1409920 edges, 6521 markings/sec, 85 secs
lola: 619636 markings, 1486544 edges, 6514 markings/sec, 90 secs
lola: 651580 markings, 1564434 edges, 6389 markings/sec, 95 secs
lola: 690668 markings, 1632213 edges, 7818 markings/sec, 100 secs
lola: 730724 markings, 1687659 edges, 8011 markings/sec, 105 secs
lola: 769381 markings, 1745228 edges, 7731 markings/sec, 110 secs
lola: 809870 markings, 1804614 edges, 8098 markings/sec, 115 secs
lola: 846231 markings, 1869934 edges, 7272 markings/sec, 120 secs
lola: 877287 markings, 1942902 edges, 6211 markings/sec, 125 secs
lola: 909736 markings, 2018183 edges, 6490 markings/sec, 130 secs
lola: 941893 markings, 2091274 edges, 6431 markings/sec, 135 secs
lola: 978938 markings, 2165311 edges, 7409 markings/sec, 140 secs
lola: 1008903 markings, 2238016 edges, 5993 markings/sec, 145 secs
lola: 1038970 markings, 2309897 edges, 6013 markings/sec, 150 secs
lola: 1068977 markings, 2382092 edges, 6001 markings/sec, 155 secs
lola: 1098526 markings, 2453349 edges, 5910 markings/sec, 160 secs
lola: 1129486 markings, 2528039 edges, 6192 markings/sec, 165 secs
lola: 1159117 markings, 2599804 edges, 5926 markings/sec, 170 secs
lola: 1189702 markings, 2673915 edges, 6117 markings/sec, 175 secs
lola: 1220010 markings, 2746628 edges, 6062 markings/sec, 180 secs
lola: 1250766 markings, 2821098 edges, 6151 markings/sec, 185 secs
lola: 1280776 markings, 2892979 edges, 6002 markings/sec, 190 secs
lola: 1315743 markings, 2969185 edges, 6993 markings/sec, 195 secs
lola: 1350216 markings, 3040459 edges, 6895 markings/sec, 200 secs
lola: 1383988 markings, 3111732 edges, 6754 markings/sec, 205 secs
lola: 1417349 markings, 3183424 edges, 6672 markings/sec, 210 secs
lola: 1457052 markings, 3256541 edges, 7941 markings/sec, 215 secs
lola: 1492272 markings, 3331242 edges, 7044 markings/sec, 220 secs
lola: 1528049 markings, 3409268 edges, 7155 markings/sec, 225 secs
lola: 1567077 markings, 3476506 edges, 7806 markings/sec, 230 secs
lola: 1604458 markings, 3545386 edges, 7476 markings/sec, 235 secs
lola: 1642171 markings, 3608438 edges, 7543 markings/sec, 240 secs
lola: 1677969 markings, 3677498 edges, 7160 markings/sec, 245 secs
lola: 1716285 markings, 3737715 edges, 7663 markings/sec, 250 secs
lola: 1750953 markings, 3808246 edges, 6934 markings/sec, 255 secs
lola: 1786059 markings, 3891504 edges, 7021 markings/sec, 260 secs
lola: 1819703 markings, 3971116 edges, 6729 markings/sec, 265 secs
lola: 1854095 markings, 4048915 edges, 6878 markings/sec, 270 secs
lola: 1891083 markings, 4128634 edges, 7398 markings/sec, 275 secs
lola: 1924979 markings, 4207618 edges, 6779 markings/sec, 280 secs
lola: 1958615 markings, 4284718 edges, 6727 markings/sec, 285 secs
lola: 1992353 markings, 4365927 edges, 6748 markings/sec, 290 secs
lola: 2028987 markings, 4446687 edges, 7327 markings/sec, 295 secs
lola: 2063439 markings, 4525736 edges, 6890 markings/sec, 300 secs
lola: 2097980 markings, 4605029 edges, 6908 markings/sec, 305 secs
lola: 2133925 markings, 4685673 edges, 7189 markings/sec, 310 secs
lola: 2167656 markings, 4762295 edges, 6746 markings/sec, 315 secs
lola: 2201490 markings, 4843328 edges, 6767 markings/sec, 320 secs
lola: 2229723 markings, 4919818 edges, 5647 markings/sec, 325 secs
lola: 2261119 markings, 4991723 edges, 6279 markings/sec, 330 secs
lola: 2292780 markings, 5063554 edges, 6332 markings/sec, 335 secs
lola: 2322341 markings, 5133843 edges, 5912 markings/sec, 340 secs
lola: 2353570 markings, 5205565 edges, 6246 markings/sec, 345 secs
lola: 2391275 markings, 5273615 edges, 7541 markings/sec, 350 secs
lola: 2427244 markings, 5351190 edges, 7194 markings/sec, 355 secs
lola: 2463998 markings, 5429573 edges, 7351 markings/sec, 360 secs
lola: 2495119 markings, 5498741 edges, 6224 markings/sec, 365 secs
lola: 2527720 markings, 5572747 edges, 6520 markings/sec, 370 secs
lola: 2566073 markings, 5639257 edges, 7671 markings/sec, 375 secs
lola: 2601508 markings, 5722190 edges, 7087 markings/sec, 380 secs
lola: 2635453 markings, 5803533 edges, 6789 markings/sec, 385 secs
lola: 2667314 markings, 5892351 edges, 6372 markings/sec, 390 secs
lola: 2701407 markings, 5972831 edges, 6819 markings/sec, 395 secs
lola: 2735273 markings, 6052738 edges, 6773 markings/sec, 400 secs
lola: 2765885 markings, 6126503 edges, 6122 markings/sec, 405 secs
lola: 2799204 markings, 6177129 edges, 6664 markings/sec, 410 secs
lola: 2832714 markings, 6256206 edges, 6702 markings/sec, 415 secs
lola: 2867308 markings, 6338507 edges, 6919 markings/sec, 420 secs
lola: 2901115 markings, 6403705 edges, 6761 markings/sec, 425 secs
lola: 2933111 markings, 6473724 edges, 6399 markings/sec, 430 secs
lola: 2964463 markings, 6544654 edges, 6270 markings/sec, 435 secs
lola: 2994127 markings, 6615985 edges, 5933 markings/sec, 440 secs
lola: 3026754 markings, 6688084 edges, 6525 markings/sec, 445 secs
lola: 3063302 markings, 6759591 edges, 7310 markings/sec, 450 secs
lola: 3097309 markings, 6839349 edges, 6801 markings/sec, 455 secs
lola: 3128308 markings, 6921973 edges, 6200 markings/sec, 460 secs
lola: 3160942 markings, 6998727 edges, 6527 markings/sec, 465 secs
lola: 3194775 markings, 7078416 edges, 6767 markings/sec, 470 secs
lola: 3228676 markings, 7168795 edges, 6780 markings/sec, 475 secs
lola: 3261485 markings, 7252256 edges, 6562 markings/sec, 480 secs
lola: 3293323 markings, 7332311 edges, 6368 markings/sec, 485 secs
lola: 3323442 markings, 7402815 edges, 6024 markings/sec, 490 secs
lola: 3356939 markings, 7464326 edges, 6699 markings/sec, 495 secs
lola: 3394415 markings, 7535505 edges, 7495 markings/sec, 500 secs
lola: 3432443 markings, 7601330 edges, 7606 markings/sec, 505 secs
lola: 3467111 markings, 7677292 edges, 6934 markings/sec, 510 secs
lola: 3502742 markings, 7748477 edges, 7126 markings/sec, 515 secs
lola: 3537729 markings, 7820963 edges, 6997 markings/sec, 520 secs
lola: 3572798 markings, 7887110 edges, 7014 markings/sec, 525 secs
lola: 3608643 markings, 7947605 edges, 7169 markings/sec, 530 secs
lola: 3642024 markings, 8015646 edges, 6676 markings/sec, 535 secs
lola: 3678016 markings, 8072491 edges, 7198 markings/sec, 540 secs
lola: 3712784 markings, 8148075 edges, 6954 markings/sec, 545 secs
lola: 3746492 markings, 8226986 edges, 6742 markings/sec, 550 secs
lola: 3780177 markings, 8304265 edges, 6737 markings/sec, 555 secs
lola: 3813906 markings, 8379976 edges, 6746 markings/sec, 560 secs
lola: 3847556 markings, 8453853 edges, 6730 markings/sec, 565 secs
lola: 3879541 markings, 8527047 edges, 6397 markings/sec, 570 secs
lola: 3910778 markings, 8601780 edges, 6247 markings/sec, 575 secs
lola: 3945580 markings, 8679437 edges, 6960 markings/sec, 580 secs
lola: 3979390 markings, 8758706 edges, 6762 markings/sec, 585 secs
lola: 4013396 markings, 8836346 edges, 6801 markings/sec, 590 secs
lola: 4048386 markings, 8915597 edges, 6998 markings/sec, 595 secs
lola: 4082719 markings, 8993483 edges, 6867 markings/sec, 600 secs
lola: 4116160 markings, 9069962 edges, 6688 markings/sec, 605 secs
lola: 4147897 markings, 9148975 edges, 6347 markings/sec, 610 secs
lola: 4176160 markings, 9217584 edges, 5653 markings/sec, 615 secs
lola: 4206779 markings, 9298792 edges, 6124 markings/sec, 620 secs
lola: 4237073 markings, 9373188 edges, 6059 markings/sec, 625 secs
lola: 4267679 markings, 9450440 edges, 6121 markings/sec, 630 secs
lola: 4302512 markings, 9523490 edges, 6967 markings/sec, 635 secs
lola: 4334632 markings, 9601827 edges, 6424 markings/sec, 640 secs
lola: 4366551 markings, 9673428 edges, 6384 markings/sec, 645 secs
lola: 4396902 markings, 9747130 edges, 6070 markings/sec, 650 secs
lola: 4426881 markings, 9824480 edges, 5996 markings/sec, 655 secs
lola: 4457184 markings, 9902637 edges, 6061 markings/sec, 660 secs
lola: 4488106 markings, 9982853 edges, 6184 markings/sec, 665 secs
lola: 4517668 markings, 10064745 edges, 5912 markings/sec, 670 secs
lola: 4548325 markings, 10142271 edges, 6131 markings/sec, 675 secs
lola: 4580467 markings, 10210513 edges, 6428 markings/sec, 680 secs
lola: 4613501 markings, 10283279 edges, 6607 markings/sec, 685 secs
lola: 4643212 markings, 10358068 edges, 5942 markings/sec, 690 secs
lola: 4672808 markings, 10440866 edges, 5919 markings/sec, 695 secs
lola: 4702363 markings, 10518571 edges, 5911 markings/sec, 700 secs
lola: 4732074 markings, 10595752 edges, 5942 markings/sec, 705 secs
lola: 4764083 markings, 10666462 edges, 6402 markings/sec, 710 secs
lola: 4793173 markings, 10749732 edges, 5818 markings/sec, 715 secs
lola: 4824013 markings, 10826559 edges, 6168 markings/sec, 720 secs
lola: 4853952 markings, 10909993 edges, 5988 markings/sec, 725 secs
lola: 4883161 markings, 10986332 edges, 5842 markings/sec, 730 secs
lola: 4912088 markings, 11068625 edges, 5785 markings/sec, 735 secs
lola: 4940135 markings, 11159279 edges, 5609 markings/sec, 740 secs
lola: 4970252 markings, 11236912 edges, 6023 markings/sec, 745 secs
lola: 4999295 markings, 11320915 edges, 5809 markings/sec, 750 secs
lola: 5028356 markings, 11403780 edges, 5812 markings/sec, 755 secs
lola: 5064880 markings, 11466505 edges, 7305 markings/sec, 760 secs
lola: 5094935 markings, 11544102 edges, 6011 markings/sec, 765 secs
lola: 5125311 markings, 11617669 edges, 6075 markings/sec, 770 secs
lola: 5153739 markings, 11704592 edges, 5686 markings/sec, 775 secs
lola: 5182164 markings, 11788992 edges, 5685 markings/sec, 780 secs
lola: 5206966 markings, 11885544 edges, 4960 markings/sec, 785 secs
lola: 5232997 markings, 11977750 edges, 5206 markings/sec, 790 secs
lola: 5260874 markings, 12063490 edges, 5575 markings/sec, 795 secs
lola: 5292055 markings, 12134100 edges, 6236 markings/sec, 800 secs
lola: 5322575 markings, 12208426 edges, 6104 markings/sec, 805 secs
lola: 5354219 markings, 12278885 edges, 6329 markings/sec, 810 secs
lola: 5384109 markings, 12356158 edges, 5978 markings/sec, 815 secs
lola: 5411811 markings, 12441971 edges, 5540 markings/sec, 820 secs
lola: 5441225 markings, 12520177 edges, 5883 markings/sec, 825 secs
lola: 5470226 markings, 12602899 edges, 5800 markings/sec, 830 secs
lola: 5501427 markings, 12668547 edges, 6240 markings/sec, 835 secs
lola: 5531989 markings, 12738192 edges, 6112 markings/sec, 840 secs
lola: 5561980 markings, 12813060 edges, 5998 markings/sec, 845 secs
lola: 5595276 markings, 12877875 edges, 6659 markings/sec, 850 secs
lola: 5625392 markings, 12950492 edges, 6023 markings/sec, 855 secs
lola: 5652991 markings, 13035012 edges, 5520 markings/sec, 860 secs
lola: 5684792 markings, 13094351 edges, 6360 markings/sec, 865 secs
lola: 5716160 markings, 13166211 edges, 6274 markings/sec, 870 secs
lola: 5746134 markings, 13243169 edges, 5995 markings/sec, 875 secs
lola: 5774871 markings, 13323882 edges, 5747 markings/sec, 880 secs
lola: 5805217 markings, 13399103 edges, 6069 markings/sec, 885 secs
lola: 5833833 markings, 13477865 edges, 5723 markings/sec, 890 secs
lola: 5864749 markings, 13550948 edges, 6183 markings/sec, 895 secs
lola: 5893460 markings, 13630407 edges, 5742 markings/sec, 900 secs
lola: 5919597 markings, 13717873 edges, 5227 markings/sec, 905 secs
lola: 5948553 markings, 13795604 edges, 5791 markings/sec, 910 secs
lola: 5976740 markings, 13880315 edges, 5637 markings/sec, 915 secs
lola: 6007680 markings, 13946455 edges, 6188 markings/sec, 920 secs
lola: 6036065 markings, 14020218 edges, 5677 markings/sec, 925 secs
lola: 6066031 markings, 14085468 edges, 5993 markings/sec, 930 secs
lola: 6093750 markings, 14164508 edges, 5544 markings/sec, 935 secs
lola: 6123967 markings, 14240337 edges, 6043 markings/sec, 940 secs
lola: 6154656 markings, 14313663 edges, 6138 markings/sec, 945 secs
lola: 6183570 markings, 14385230 edges, 5783 markings/sec, 950 secs
lola: 6213484 markings, 14451564 edges, 5983 markings/sec, 955 secs
lola: 6242171 markings, 14532913 edges, 5737 markings/sec, 960 secs
lola: 6268639 markings, 14619673 edges, 5294 markings/sec, 965 secs
lola: 6293537 markings, 14711554 edges, 4980 markings/sec, 970 secs
lola: 6320787 markings, 14793620 edges, 5450 markings/sec, 975 secs
lola: 6350171 markings, 14867293 edges, 5877 markings/sec, 980 secs
lola: 6382380 markings, 14932157 edges, 6442 markings/sec, 985 secs
lola: 6410044 markings, 15013623 edges, 5533 markings/sec, 990 secs
lola: 6438592 markings, 15093212 edges, 5710 markings/sec, 995 secs
lola: 6467313 markings, 15166923 edges, 5744 markings/sec, 1000 secs
lola: 6497376 markings, 15236045 edges, 6013 markings/sec, 1005 secs
lola: 6529202 markings, 15315198 edges, 6365 markings/sec, 1010 secs
lola: 6556948 markings, 15390125 edges, 5549 markings/sec, 1015 secs
lola: 6584231 markings, 15472588 edges, 5457 markings/sec, 1020 secs
lola: 6610601 markings, 15556787 edges, 5274 markings/sec, 1025 secs
lola: 6640603 markings, 15632820 edges, 6000 markings/sec, 1030 secs
lola: 6666943 markings, 15714960 edges, 5268 markings/sec, 1035 secs
lola: 6693484 markings, 15797393 edges, 5308 markings/sec, 1040 secs
lola: 6719339 markings, 15888423 edges, 5171 markings/sec, 1045 secs
lola: 6744760 markings, 15977911 edges, 5084 markings/sec, 1050 secs
lola: 6770896 markings, 16064499 edges, 5227 markings/sec, 1055 secs
lola: 6796899 markings, 16151834 edges, 5201 markings/sec, 1060 secs
lola: 6826434 markings, 16227944 edges, 5907 markings/sec, 1065 secs
lola: 6856628 markings, 16302149 edges, 6039 markings/sec, 1070 secs
lola: 6885964 markings, 16377534 edges, 5867 markings/sec, 1075 secs
lola: 6918737 markings, 16440840 edges, 6555 markings/sec, 1080 secs
lola: 6952811 markings, 16498498 edges, 6815 markings/sec, 1085 secs
lola: 6988488 markings, 16547978 edges, 7135 markings/sec, 1090 secs
lola: 7018835 markings, 16616783 edges, 6069 markings/sec, 1095 secs
lola: 7048784 markings, 16693931 edges, 5990 markings/sec, 1100 secs
lola: 7077441 markings, 16767474 edges, 5731 markings/sec, 1105 secs
lola: 7105633 markings, 16846124 edges, 5638 markings/sec, 1110 secs
lola: 7135042 markings, 16918133 edges, 5882 markings/sec, 1115 secs
lola: 7161488 markings, 16998160 edges, 5289 markings/sec, 1120 secs
lola: 7188483 markings, 17078195 edges, 5399 markings/sec, 1125 secs
lola: 7214091 markings, 17162063 edges, 5122 markings/sec, 1130 secs
lola: 7239425 markings, 17248737 edges, 5067 markings/sec, 1135 secs
lola: 7269328 markings, 17325120 edges, 5981 markings/sec, 1140 secs
lola: 7300946 markings, 17396346 edges, 6324 markings/sec, 1145 secs
lola: 7329402 markings, 17473332 edges, 5691 markings/sec, 1150 secs
lola: 7357921 markings, 17550668 edges, 5704 markings/sec, 1155 secs
lola: 7387983 markings, 17628222 edges, 6012 markings/sec, 1160 secs
lola: 7421281 markings, 17699118 edges, 6660 markings/sec, 1165 secs
lola: 7453814 markings, 17778786 edges, 6507 markings/sec, 1170 secs
lola: 7483299 markings, 17850148 edges, 5897 markings/sec, 1175 secs
lola: 7513781 markings, 17913522 edges, 6096 markings/sec, 1180 secs
lola: 7546809 markings, 17974458 edges, 6606 markings/sec, 1185 secs
lola: 7577857 markings, 18043694 edges, 6210 markings/sec, 1190 secs
lola: 7607145 markings, 18109992 edges, 5858 markings/sec, 1195 secs
lola: 7635473 markings, 18186113 edges, 5666 markings/sec, 1200 secs
lola: 7667237 markings, 18253463 edges, 6353 markings/sec, 1205 secs
lola: 7697721 markings, 18338183 edges, 6097 markings/sec, 1210 secs
lola: 7727310 markings, 18424341 edges, 5918 markings/sec, 1215 secs
lola: 7753524 markings, 18517885 edges, 5243 markings/sec, 1220 secs
lola: 7781708 markings, 18598785 edges, 5637 markings/sec, 1225 secs
lola: 7810535 markings, 18677855 edges, 5765 markings/sec, 1230 secs
lola: 7840021 markings, 18751300 edges, 5897 markings/sec, 1235 secs
lola: 7869416 markings, 18828860 edges, 5879 markings/sec, 1240 secs
lola: 7899956 markings, 18898460 edges, 6108 markings/sec, 1245 secs
lola: 7929536 markings, 18982881 edges, 5916 markings/sec, 1250 secs
lola: 7957725 markings, 19072280 edges, 5638 markings/sec, 1255 secs
lola: 7989692 markings, 19143437 edges, 6393 markings/sec, 1260 secs
lola: 8021448 markings, 19211124 edges, 6351 markings/sec, 1265 secs
lola: 8056604 markings, 19269535 edges, 7031 markings/sec, 1270 secs
lola: 8090270 markings, 19335539 edges, 6733 markings/sec, 1275 secs
lola: 8119302 markings, 19406493 edges, 5806 markings/sec, 1280 secs
lola: 8149362 markings, 19459675 edges, 6012 markings/sec, 1285 secs
lola: 8180241 markings, 19519339 edges, 6176 markings/sec, 1290 secs
lola: 8209082 markings, 19588570 edges, 5768 markings/sec, 1295 secs
lola: 8240471 markings, 19656553 edges, 6278 markings/sec, 1300 secs
lola: 8271735 markings, 19734197 edges, 6253 markings/sec, 1305 secs
lola: 8301620 markings, 19820280 edges, 5977 markings/sec, 1310 secs
lola: 8332073 markings, 19901302 edges, 6091 markings/sec, 1315 secs
lola: 8362805 markings, 19978621 edges, 6146 markings/sec, 1320 secs
lola: 8391307 markings, 20055286 edges, 5700 markings/sec, 1325 secs
lola: 8418672 markings, 20127889 edges, 5473 markings/sec, 1330 secs
lola: 8444804 markings, 20208017 edges, 5226 markings/sec, 1335 secs
lola: 8473101 markings, 20283533 edges, 5659 markings/sec, 1340 secs
lola: 8498114 markings, 20372262 edges, 5003 markings/sec, 1345 secs
lola: 8522843 markings, 20460886 edges, 4946 markings/sec, 1350 secs
lola: 8549468 markings, 20542600 edges, 5325 markings/sec, 1355 secs
lola: 8576565 markings, 20619643 edges, 5419 markings/sec, 1360 secs
lola: 8606349 markings, 20689105 edges, 5957 markings/sec, 1365 secs
lola: 8636419 markings, 20757722 edges, 6014 markings/sec, 1370 secs
lola: 8667520 markings, 20823628 edges, 6220 markings/sec, 1375 secs
lola: 8698617 markings, 20889802 edges, 6219 markings/sec, 1380 secs
lola: 8722842 markings, 20976604 edges, 4845 markings/sec, 1385 secs
lola: 8749188 markings, 21057274 edges, 5269 markings/sec, 1390 secs
lola: 8780374 markings, 21128279 edges, 6237 markings/sec, 1395 secs
lola: 8807708 markings, 21203930 edges, 5467 markings/sec, 1400 secs
lola: 8836432 markings, 21275946 edges, 5745 markings/sec, 1405 secs
lola: 8863419 markings, 21347585 edges, 5397 markings/sec, 1410 secs
lola: 8894865 markings, 21421467 edges, 6289 markings/sec, 1415 secs
lola: 8924364 markings, 21493792 edges, 5900 markings/sec, 1420 secs
lola: 8951057 markings, 21568668 edges, 5339 markings/sec, 1425 secs
lola: 8977641 markings, 21645589 edges, 5317 markings/sec, 1430 secs
lola: 9005092 markings, 21718523 edges, 5490 markings/sec, 1435 secs
lola: 9037290 markings, 21788715 edges, 6440 markings/sec, 1440 secs
lola: 9067003 markings, 21867381 edges, 5943 markings/sec, 1445 secs
lola: 9097763 markings, 21921065 edges, 6152 markings/sec, 1450 secs
lola: 9127092 markings, 21994373 edges, 5866 markings/sec, 1455 secs
lola: 9156117 markings, 22069265 edges, 5805 markings/sec, 1460 secs
lola: 9183062 markings, 22136301 edges, 5389 markings/sec, 1465 secs
lola: 9208883 markings, 22212823 edges, 5164 markings/sec, 1470 secs
lola: 9243064 markings, 22277015 edges, 6836 markings/sec, 1475 secs
lola: 9279688 markings, 22331142 edges, 7325 markings/sec, 1480 secs
lola: 9312628 markings, 22396135 edges, 6588 markings/sec, 1485 secs
lola: 9343714 markings, 22466927 edges, 6217 markings/sec, 1490 secs
lola: 9371296 markings, 22536387 edges, 5516 markings/sec, 1495 secs
lola: 9397840 markings, 22602489 edges, 5309 markings/sec, 1500 secs
lola: 9425473 markings, 22670528 edges, 5527 markings/sec, 1505 secs
lola: 9454550 markings, 22734246 edges, 5815 markings/sec, 1510 secs
lola: 9482734 markings, 22810435 edges, 5637 markings/sec, 1515 secs
lola: 9509283 markings, 22887535 edges, 5310 markings/sec, 1520 secs
lola: 9538168 markings, 22951517 edges, 5777 markings/sec, 1525 secs
lola: 9567670 markings, 23025565 edges, 5900 markings/sec, 1530 secs
lola: 9595735 markings, 23107839 edges, 5613 markings/sec, 1535 secs
lola: 9626178 markings, 23179952 edges, 6089 markings/sec, 1540 secs
lola: 9653519 markings, 23253330 edges, 5468 markings/sec, 1545 secs
lola: 9683231 markings, 23317714 edges, 5942 markings/sec, 1550 secs
lola: 9710648 markings, 23387100 edges, 5483 markings/sec, 1555 secs
lola: 9740748 markings, 23441697 edges, 6020 markings/sec, 1560 secs
lola: 9771208 markings, 23515300 edges, 6092 markings/sec, 1565 secs
lola: 9798265 markings, 23585904 edges, 5411 markings/sec, 1570 secs
lola: 9823867 markings, 23662613 edges, 5120 markings/sec, 1575 secs
lola: 9852981 markings, 23733097 edges, 5823 markings/sec, 1580 secs
lola: 9884507 markings, 23805114 edges, 6305 markings/sec, 1585 secs
lola: 9914915 markings, 23879721 edges, 6082 markings/sec, 1590 secs
lola: 9943095 markings, 23961724 edges, 5636 markings/sec, 1595 secs
lola: 9968312 markings, 24046521 edges, 5043 markings/sec, 1600 secs
lola: 9994414 markings, 24124216 edges, 5220 markings/sec, 1605 secs
lola: 10019065 markings, 24206171 edges, 4930 markings/sec, 1610 secs
lola: 10049216 markings, 24275904 edges, 6030 markings/sec, 1615 secs
lola: 10081045 markings, 24343754 edges, 6366 markings/sec, 1620 secs
lola: 10111468 markings, 24408776 edges, 6085 markings/sec, 1625 secs
lola: 10143044 markings, 24476883 edges, 6315 markings/sec, 1630 secs
lola: 10169460 markings, 24555980 edges, 5283 markings/sec, 1635 secs
lola: 10194988 markings, 24650105 edges, 5106 markings/sec, 1640 secs
lola: 10222499 markings, 24732740 edges, 5502 markings/sec, 1645 secs
lola: 10251128 markings, 24810325 edges, 5726 markings/sec, 1650 secs
lola: 10279873 markings, 24876969 edges, 5749 markings/sec, 1655 secs
lola: 10307916 markings, 24953927 edges, 5609 markings/sec, 1660 secs
lola: 10338468 markings, 25022174 edges, 6110 markings/sec, 1665 secs
lola: 10368404 markings, 25075296 edges, 5987 markings/sec, 1670 secs
lola: 10395761 markings, 25156793 edges, 5471 markings/sec, 1675 secs
lola: 10424506 markings, 25231928 edges, 5749 markings/sec, 1680 secs
lola: 10451357 markings, 25303327 edges, 5370 markings/sec, 1685 secs
lola: 10477710 markings, 25379148 edges, 5271 markings/sec, 1690 secs
lola: 10504839 markings, 25457420 edges, 5426 markings/sec, 1695 secs
lola: 10536672 markings, 25519807 edges, 6367 markings/sec, 1700 secs
lola: 10565378 markings, 25585075 edges, 5741 markings/sec, 1705 secs
lola: 10593800 markings, 25661262 edges, 5684 markings/sec, 1710 secs
lola: 10621971 markings, 25729807 edges, 5634 markings/sec, 1715 secs
lola: 10649048 markings, 25797539 edges, 5415 markings/sec, 1720 secs
lola: 10676646 markings, 25862493 edges, 5520 markings/sec, 1725 secs
lola: 10702542 markings, 25934492 edges, 5179 markings/sec, 1730 secs
lola: 10729008 markings, 26013791 edges, 5293 markings/sec, 1735 secs
lola: 10756780 markings, 26092446 edges, 5554 markings/sec, 1740 secs
lola: 10783295 markings, 26175096 edges, 5303 markings/sec, 1745 secs
lola: 10808149 markings, 26262916 edges, 4971 markings/sec, 1750 secs
lola: 10834583 markings, 26343265 edges, 5287 markings/sec, 1755 secs
lola: 10862440 markings, 26417325 edges, 5571 markings/sec, 1760 secs
lola: 10890738 markings, 26490836 edges, 5660 markings/sec, 1765 secs
lola: 10921380 markings, 26556325 edges, 6128 markings/sec, 1770 secs
lola: 10952240 markings, 26621446 edges, 6172 markings/sec, 1775 secs
lola: 10981393 markings, 26690493 edges, 5831 markings/sec, 1780 secs
lola: 11005389 markings, 26777209 edges, 4799 markings/sec, 1785 secs
lola: 11032565 markings, 26855059 edges, 5435 markings/sec, 1790 secs
lola: 11064083 markings, 26923051 edges, 6304 markings/sec, 1795 secs
lola: 11094881 markings, 26993638 edges, 6160 markings/sec, 1800 secs
lola: 11124961 markings, 27062179 edges, 6016 markings/sec, 1805 secs
lola: 11152895 markings, 27141026 edges, 5587 markings/sec, 1810 secs
lola: 11181489 markings, 27218822 edges, 5719 markings/sec, 1815 secs
lola: 11214998 markings, 27280471 edges, 6702 markings/sec, 1820 secs
lola: 11251470 markings, 27332508 edges, 7294 markings/sec, 1825 secs
lola: 11282787 markings, 27401537 edges, 6263 markings/sec, 1830 secs
lola: 11314344 markings, 27470218 edges, 6311 markings/sec, 1835 secs
lola: 11343524 markings, 27543131 edges, 5836 markings/sec, 1840 secs
lola: 11369049 markings, 27620697 edges, 5105 markings/sec, 1845 secs
lola: 11396157 markings, 27693846 edges, 5422 markings/sec, 1850 secs
lola: 11423885 markings, 27767472 edges, 5546 markings/sec, 1855 secs
lola: 11453305 markings, 27838362 edges, 5884 markings/sec, 1860 secs
lola: 11484618 markings, 27905027 edges, 6263 markings/sec, 1865 secs
lola: 11514915 markings, 27980165 edges, 6059 markings/sec, 1870 secs
lola: 11543948 markings, 28057020 edges, 5807 markings/sec, 1875 secs
lola: 11574159 markings, 28121113 edges, 6042 markings/sec, 1880 secs
lola: 11600912 markings, 28194472 edges, 5351 markings/sec, 1885 secs
lola: 11628152 markings, 28264956 edges, 5448 markings/sec, 1890 secs
lola: 11656769 markings, 28328442 edges, 5723 markings/sec, 1895 secs
lola: 11685561 markings, 28389709 edges, 5758 markings/sec, 1900 secs
lola: 11714549 markings, 28450615 edges, 5798 markings/sec, 1905 secs
lola: 11742470 markings, 28516024 edges, 5584 markings/sec, 1910 secs
lola: 11769591 markings, 28575985 edges, 5424 markings/sec, 1915 secs
lola: 11795166 markings, 28648535 edges, 5115 markings/sec, 1920 secs
lola: 11823052 markings, 28723772 edges, 5577 markings/sec, 1925 secs
lola: 11853993 markings, 28793000 edges, 6188 markings/sec, 1930 secs
lola: 11883677 markings, 28862905 edges, 5937 markings/sec, 1935 secs
lola: 11912165 markings, 28927390 edges, 5698 markings/sec, 1940 secs
lola: 11937244 markings, 29002599 edges, 5016 markings/sec, 1945 secs
lola: 11962236 markings, 29079712 edges, 4998 markings/sec, 1950 secs
lola: 11989897 markings, 29157854 edges, 5532 markings/sec, 1955 secs
lola: 12014760 markings, 29236051 edges, 4973 markings/sec, 1960 secs
lola: 12044186 markings, 29308349 edges, 5885 markings/sec, 1965 secs
lola: 12074361 markings, 29381676 edges, 6035 markings/sec, 1970 secs
lola: 12103180 markings, 29453818 edges, 5764 markings/sec, 1975 secs
lola: 12130580 markings, 29519422 edges, 5480 markings/sec, 1980 secs
lola: 12159175 markings, 29581800 edges, 5719 markings/sec, 1985 secs
lola: 12189135 markings, 29641150 edges, 5992 markings/sec, 1990 secs
lola: 12219288 markings, 29702386 edges, 6031 markings/sec, 1995 secs
lola: 12252788 markings, 29753240 edges, 6700 markings/sec, 2000 secs
lola: 12286150 markings, 29801495 edges, 6672 markings/sec, 2005 secs
lola: 12316957 markings, 29858156 edges, 6161 markings/sec, 2010 secs
lola: 12343776 markings, 29929028 edges, 5364 markings/sec, 2015 secs
lola: 12374625 markings, 29990049 edges, 6170 markings/sec, 2020 secs
lola: 12407279 markings, 30055065 edges, 6531 markings/sec, 2025 secs
lola: 12440678 markings, 30116297 edges, 6680 markings/sec, 2030 secs
lola: 12472213 markings, 30182918 edges, 6307 markings/sec, 2035 secs
lola: 12506165 markings, 30244830 edges, 6790 markings/sec, 2040 secs
lola: 12535744 markings, 30320108 edges, 5916 markings/sec, 2045 secs
lola: 12567153 markings, 30376936 edges, 6282 markings/sec, 2050 secs
lola: 12597725 markings, 30454061 edges, 6114 markings/sec, 2055 secs
lola: 12630239 markings, 30517773 edges, 6503 markings/sec, 2060 secs
lola: 12661362 markings, 30601918 edges, 6225 markings/sec, 2065 secs
lola: 12690486 markings, 30683734 edges, 5825 markings/sec, 2070 secs
lola: 12721213 markings, 30760653 edges, 6145 markings/sec, 2075 secs
lola: 12746916 markings, 30823074 edges, 5141 markings/sec, 2080 secs
lola: 12773191 markings, 30886032 edges, 5255 markings/sec, 2085 secs
lola: 12797860 markings, 30956112 edges, 4934 markings/sec, 2090 secs
lola: 12825206 markings, 31015930 edges, 5469 markings/sec, 2095 secs
lola: 12853599 markings, 31079716 edges, 5679 markings/sec, 2100 secs
lola: 12880620 markings, 31152754 edges, 5404 markings/sec, 2105 secs
lola: 12907817 markings, 31223061 edges, 5439 markings/sec, 2110 secs
lola: 12936800 markings, 31288406 edges, 5797 markings/sec, 2115 secs
lola: 12965100 markings, 31355431 edges, 5660 markings/sec, 2120 secs
lola: 12996011 markings, 31422968 edges, 6182 markings/sec, 2125 secs
lola: 13022655 markings, 31498703 edges, 5329 markings/sec, 2130 secs
lola: 13048242 markings, 31575355 edges, 5117 markings/sec, 2135 secs
lola: 13073824 markings, 31651599 edges, 5116 markings/sec, 2140 secs
lola: 13102969 markings, 31720076 edges, 5829 markings/sec, 2145 secs
lola: 13130044 markings, 31786428 edges, 5415 markings/sec, 2150 secs
lola: 13158251 markings, 31845611 edges, 5641 markings/sec, 2155 secs
lola: 13185958 markings, 31904762 edges, 5541 markings/sec, 2160 secs
lola: 13214570 markings, 31963092 edges, 5722 markings/sec, 2165 secs
lola: 13238345 markings, 32034375 edges, 4755 markings/sec, 2170 secs
lola: 13262500 markings, 32108335 edges, 4831 markings/sec, 2175 secs
lola: 13288710 markings, 32177117 edges, 5242 markings/sec, 2180 secs
lola: 13315943 markings, 32237575 edges, 5447 markings/sec, 2185 secs
lola: 13343425 markings, 32295411 edges, 5496 markings/sec, 2190 secs
lola: 13370649 markings, 32353839 edges, 5445 markings/sec, 2195 secs
lola: 13398539 markings, 32407516 edges, 5578 markings/sec, 2200 secs
lola: 13427082 markings, 32464149 edges, 5709 markings/sec, 2205 secs
lola: 13452287 markings, 32529008 edges, 5041 markings/sec, 2210 secs
lola: 13481499 markings, 32586807 edges, 5842 markings/sec, 2215 secs
lola: 13514692 markings, 32639135 edges, 6639 markings/sec, 2220 secs
lola: 13548371 markings, 32687128 edges, 6736 markings/sec, 2225 secs
lola: 13576486 markings, 32752055 edges, 5623 markings/sec, 2230 secs
lola: 13607439 markings, 32811399 edges, 6191 markings/sec, 2235 secs
lola: 13640417 markings, 32874678 edges, 6596 markings/sec, 2240 secs
lola: 13671927 markings, 32938013 edges, 6302 markings/sec, 2245 secs
lola: 13707171 markings, 32990008 edges, 7049 markings/sec, 2250 secs
lola: 13741864 markings, 33043140 edges, 6939 markings/sec, 2255 secs
lola: 13769835 markings, 33117736 edges, 5594 markings/sec, 2260 secs
lola: 13800407 markings, 33182545 edges, 6114 markings/sec, 2265 secs
lola: 13825811 markings, 33253299 edges, 5081 markings/sec, 2270 secs
lola: 13849467 markings, 33332530 edges, 4731 markings/sec, 2275 secs
lola: 13875386 markings, 33400077 edges, 5184 markings/sec, 2280 secs
lola: 13904358 markings, 33465057 edges, 5794 markings/sec, 2285 secs
lola: 13934651 markings, 33529957 edges, 6059 markings/sec, 2290 secs
lola: 13963833 markings, 33598007 edges, 5836 markings/sec, 2295 secs
lola: 13989467 markings, 33666214 edges, 5127 markings/sec, 2300 secs
lola: 14012070 markings, 33735484 edges, 4521 markings/sec, 2305 secs
lola: 14036221 markings, 33809688 edges, 4830 markings/sec, 2310 secs
lola: 14064052 markings, 33879563 edges, 5566 markings/sec, 2315 secs
lola: 14094754 markings, 33945348 edges, 6140 markings/sec, 2320 secs
lola: 14125742 markings, 34011022 edges, 6198 markings/sec, 2325 secs
lola: 14156652 markings, 34076872 edges, 6182 markings/sec, 2330 secs
lola: 14189581 markings, 34138696 edges, 6586 markings/sec, 2335 secs
lola: 14224319 markings, 34191947 edges, 6948 markings/sec, 2340 secs
lola: 14257089 markings, 34250426 edges, 6554 markings/sec, 2345 secs
lola: 14283417 markings, 34318046 edges, 5266 markings/sec, 2350 secs
lola: 14307914 markings, 34386707 edges, 4899 markings/sec, 2355 secs
lola: 14335384 markings, 34449067 edges, 5494 markings/sec, 2360 secs
lola: 14359718 markings, 34520982 edges, 4867 markings/sec, 2365 secs
lola: 14388118 markings, 34588982 edges, 5680 markings/sec, 2370 secs
lola: 14413174 markings, 34674036 edges, 5011 markings/sec, 2375 secs
lola: 14440652 markings, 34746433 edges, 5496 markings/sec, 2380 secs
lola: 14469101 markings, 34816712 edges, 5690 markings/sec, 2385 secs
lola: 14492871 markings, 34903968 edges, 4754 markings/sec, 2390 secs
lola: 14518681 markings, 34980438 edges, 5162 markings/sec, 2395 secs
lola: 14546102 markings, 35040831 edges, 5484 markings/sec, 2400 secs
lola: 14573268 markings, 35112240 edges, 5433 markings/sec, 2405 secs
lola: 14602215 markings, 35177181 edges, 5789 markings/sec, 2410 secs
lola: 14630128 markings, 35244303 edges, 5583 markings/sec, 2415 secs
lola: 14659393 markings, 35302018 edges, 5853 markings/sec, 2420 secs
lola: 14685515 markings, 35368727 edges, 5224 markings/sec, 2425 secs
lola: 14714365 markings, 35439115 edges, 5770 markings/sec, 2430 secs
lola: 14742645 markings, 35511916 edges, 5656 markings/sec, 2435 secs
lola: 14772703 markings, 35574135 edges, 6012 markings/sec, 2440 secs
lola: 14800943 markings, 35637751 edges, 5648 markings/sec, 2445 secs
lola: 14829065 markings, 35699975 edges, 5624 markings/sec, 2450 secs
lola: 14856436 markings, 35766026 edges, 5474 markings/sec, 2455 secs
lola: 14888943 markings, 35824311 edges, 6501 markings/sec, 2460 secs
lola: 14924294 markings, 35874465 edges, 7070 markings/sec, 2465 secs
lola: 14960281 markings, 35923161 edges, 7197 markings/sec, 2470 secs
lola: 14988298 markings, 35994695 edges, 5603 markings/sec, 2475 secs
lola: 15019693 markings, 36055269 edges, 6279 markings/sec, 2480 secs
lola: 15053554 markings, 36107746 edges, 6772 markings/sec, 2485 secs
lola: 15088991 markings, 36156904 edges, 7087 markings/sec, 2490 secs
lola: 15117007 markings, 36217475 edges, 5603 markings/sec, 2495 secs
lola: 15144026 markings, 36279442 edges, 5404 markings/sec, 2500 secs
lola: 15169977 markings, 36353607 edges, 5190 markings/sec, 2505 secs
lola: 15198443 markings, 36409912 edges, 5693 markings/sec, 2510 secs
lola: 15224272 markings, 36475156 edges, 5166 markings/sec, 2515 secs
lola: 15250373 markings, 36548153 edges, 5220 markings/sec, 2520 secs
lola: 15273765 markings, 36631112 edges, 4678 markings/sec, 2525 secs
lola: 15298372 markings, 36706467 edges, 4921 markings/sec, 2530 secs
lola: 15323686 markings, 36775924 edges, 5063 markings/sec, 2535 secs
lola: 15352136 markings, 36838269 edges, 5690 markings/sec, 2540 secs
lola: 15377632 markings, 36908819 edges, 5099 markings/sec, 2545 secs
lola: 15403251 markings, 36981613 edges, 5124 markings/sec, 2550 secs
lola: 15431492 markings, 37046982 edges, 5648 markings/sec, 2555 secs
lola: 15461280 markings, 37111042 edges, 5958 markings/sec, 2560 secs
lola: 15491143 markings, 37175468 edges, 5973 markings/sec, 2565 secs
lola: 15515261 markings, 37260657 edges, 4824 markings/sec, 2570 secs
lola: 15538982 markings, 37342168 edges, 4744 markings/sec, 2575 secs
lola: 15565973 markings, 37413920 edges, 5398 markings/sec, 2580 secs
lola: 15594632 markings, 37475207 edges, 5732 markings/sec, 2585 secs
lola: 15623639 markings, 37536642 edges, 5801 markings/sec, 2590 secs
lola: 15653431 markings, 37596883 edges, 5958 markings/sec, 2595 secs
lola: 15683646 markings, 37656961 edges, 6043 markings/sec, 2600 secs
lola: 15713062 markings, 37718643 edges, 5883 markings/sec, 2605 secs
lola: 15738807 markings, 37786540 edges, 5149 markings/sec, 2610 secs
lola: 15763454 markings, 37857156 edges, 4929 markings/sec, 2615 secs
lola: 15790195 markings, 37923973 edges, 5348 markings/sec, 2620 secs
lola: 15816052 markings, 37988322 edges, 5171 markings/sec, 2625 secs
lola: 15843240 markings, 38047260 edges, 5438 markings/sec, 2630 secs
lola: 15870157 markings, 38106948 edges, 5383 markings/sec, 2635 secs
lola: 15894450 markings, 38179575 edges, 4859 markings/sec, 2640 secs
lola: 15920320 markings, 38248963 edges, 5174 markings/sec, 2645 secs
lola: 15945328 markings, 38322417 edges, 5002 markings/sec, 2650 secs
lola: 15971447 markings, 38392173 edges, 5224 markings/sec, 2655 secs
lola: 15994117 markings, 38468637 edges, 4534 markings/sec, 2660 secs
lola: 16019735 markings, 38538398 edges, 5124 markings/sec, 2665 secs
lola: 16044510 markings, 38599398 edges, 4955 markings/sec, 2670 secs
lola: 16072045 markings, 38651152 edges, 5507 markings/sec, 2675 secs
lola: 16100440 markings, 38706143 edges, 5679 markings/sec, 2680 secs
lola: 16130428 markings, 38761311 edges, 5998 markings/sec, 2685 secs
lola: 16165443 markings, 38808938 edges, 7003 markings/sec, 2690 secs
lola: 16198707 markings, 38861977 edges, 6653 markings/sec, 2695 secs
lola: 16226555 markings, 38934544 edges, 5570 markings/sec, 2700 secs
lola: 16256892 markings, 39003174 edges, 6067 markings/sec, 2705 secs
lola: 16283061 markings, 39086410 edges, 5234 markings/sec, 2710 secs
lola: 16308328 markings, 39168340 edges, 5053 markings/sec, 2715 secs
lola: 16337424 markings, 39242680 edges, 5819 markings/sec, 2720 secs
lola: 16366345 markings, 39314187 edges, 5784 markings/sec, 2725 secs
lola: 16393594 markings, 39386137 edges, 5450 markings/sec, 2730 secs
lola: 16418766 markings, 39459354 edges, 5034 markings/sec, 2735 secs
lola: 16443803 markings, 39537549 edges, 5007 markings/sec, 2740 secs
lola: 16465534 markings, 39620581 edges, 4346 markings/sec, 2745 secs
lola: 16489028 markings, 39702952 edges, 4699 markings/sec, 2750 secs
lola: 16511000 markings, 39785005 edges, 4394 markings/sec, 2755 secs
lola: 16532827 markings, 39870871 edges, 4365 markings/sec, 2760 secs
lola: 16556930 markings, 39953699 edges, 4821 markings/sec, 2765 secs
lola: 16583819 markings, 40029709 edges, 5378 markings/sec, 2770 secs
lola: 16609227 markings, 40110951 edges, 5082 markings/sec, 2775 secs
lola: 16634231 markings, 40192212 edges, 5001 markings/sec, 2780 secs
lola: 16661187 markings, 40266931 edges, 5391 markings/sec, 2785 secs
lola: 16688583 markings, 40336558 edges, 5479 markings/sec, 2790 secs
lola: 16715368 markings, 40415990 edges, 5357 markings/sec, 2795 secs
lola: 16741983 markings, 40479906 edges, 5323 markings/sec, 2800 secs
lola: 16768249 markings, 40536801 edges, 5253 markings/sec, 2805 secs
lola: 16799900 markings, 40586863 edges, 6330 markings/sec, 2810 secs
lola: 16827481 markings, 40660978 edges, 5516 markings/sec, 2815 secs
lola: 16854032 markings, 40728628 edges, 5310 markings/sec, 2820 secs
lola: 16879819 markings, 40783380 edges, 5157 markings/sec, 2825 secs
lola: 16906711 markings, 40836169 edges, 5378 markings/sec, 2830 secs
lola: 16933546 markings, 40888709 edges, 5367 markings/sec, 2835 secs
lola: 16964048 markings, 40937873 edges, 6100 markings/sec, 2840 secs
lola: 16996638 markings, 40981132 edges, 6518 markings/sec, 2845 secs
lola: 17029180 markings, 41024401 edges, 6508 markings/sec, 2850 secs
lola: 17057239 markings, 41084877 edges, 5612 markings/sec, 2855 secs
lola: 17081568 markings, 41149723 edges, 4866 markings/sec, 2860 secs
lola: 17107790 markings, 41208429 edges, 5244 markings/sec, 2865 secs
lola: 17134731 markings, 41265347 edges, 5388 markings/sec, 2870 secs
lola: 17161439 markings, 41322296 edges, 5342 markings/sec, 2875 secs
lola: 17187976 markings, 41379089 edges, 5307 markings/sec, 2880 secs
lola: 17214898 markings, 41436117 edges, 5384 markings/sec, 2885 secs
lola: 17241332 markings, 41492928 edges, 5287 markings/sec, 2890 secs
lola: 17267727 markings, 41549492 edges, 5279 markings/sec, 2895 secs
lola: 17297735 markings, 41624914 edges, 6002 markings/sec, 2900 secs
lola: 17328224 markings, 41711557 edges, 6098 markings/sec, 2905 secs
lola: 17355132 markings, 41788367 edges, 5382 markings/sec, 2910 secs
lola: 17383428 markings, 41852809 edges, 5659 markings/sec, 2915 secs
lola: 17409968 markings, 41921635 edges, 5308 markings/sec, 2920 secs
lola: 17433578 markings, 41995369 edges, 4722 markings/sec, 2925 secs
lola: 17456631 markings, 42063939 edges, 4611 markings/sec, 2930 secs
lola: 17480760 markings, 42128310 edges, 4826 markings/sec, 2935 secs
lola: 17503520 markings, 42197075 edges, 4552 markings/sec, 2940 secs
lola: 17527012 markings, 42271475 edges, 4698 markings/sec, 2945 secs
lola: 17552308 markings, 42336095 edges, 5059 markings/sec, 2950 secs
lola: time limit reached - aborting
lola:
preliminary result: 1 1 1 1 0 1 1 1 1 1 unknown 1 1 1 1 1
lola: lola: caught signal User defined signal 1 - aborting LoLA

preliminary result: 1 1 1 1 0 1 1 1 1 1 unknown 1 1 1 1 1
lola:
preliminary result: 1 1 1 1 0 1 1 1 1 1 unknown 1 1 1 1 1
lola: memory consumption: 4212268 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 1 0 1 1 1 1 1 unknown 1 1 1 1 1
rslt: finished

BK_STOP 1552664709266

--------------------
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="CloudReconfiguration-PT-311"
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 CloudReconfiguration-PT-311, 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 r038-smll-155229648900200"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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