Execution Chart

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

Trace from the execution

Formatting '/local/x2003239/mcc2019-input.r082-csrt-155246549100191.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2019-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..............................
=====================================================================
Generated by BenchKit 2-3954
Executing tool lola
Input is FlexibleBarrier-PT-10b, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r082-csrt-155246549100191
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 532K
-rw-r--r-- 1 mcc users 3.2K Feb 11 00:05 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Feb 11 00:05 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Feb 6 21:41 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 6 21:41 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 109 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 347 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.4K Feb 4 23:48 LTLCardinality.txt
-rw-r--r-- 1 mcc users 10K Feb 4 23:48 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Feb 4 22:35 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.6K Feb 4 22:35 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Feb 3 08:18 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Feb 3 08:18 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Jan 31 01:12 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Jan 31 01:12 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 4 22:20 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 4 22:20 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 0 Jan 29 09:34 model-fix.log
-rw-r--r-- 1 mcc users 374K 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 FlexibleBarrier-PT-10b-UpperBounds-00
FORMULA_NAME FlexibleBarrier-PT-10b-UpperBounds-01
FORMULA_NAME FlexibleBarrier-PT-10b-UpperBounds-02
FORMULA_NAME FlexibleBarrier-PT-10b-UpperBounds-03
FORMULA_NAME FlexibleBarrier-PT-10b-UpperBounds-04
FORMULA_NAME FlexibleBarrier-PT-10b-UpperBounds-05
FORMULA_NAME FlexibleBarrier-PT-10b-UpperBounds-06
FORMULA_NAME FlexibleBarrier-PT-10b-UpperBounds-07
FORMULA_NAME FlexibleBarrier-PT-10b-UpperBounds-08
FORMULA_NAME FlexibleBarrier-PT-10b-UpperBounds-09
FORMULA_NAME FlexibleBarrier-PT-10b-UpperBounds-10
FORMULA_NAME FlexibleBarrier-PT-10b-UpperBounds-11
FORMULA_NAME FlexibleBarrier-PT-10b-UpperBounds-12
FORMULA_NAME FlexibleBarrier-PT-10b-UpperBounds-13
FORMULA_NAME FlexibleBarrier-PT-10b-UpperBounds-14
FORMULA_NAME FlexibleBarrier-PT-10b-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1552658098439

info: Time: 3600 - MCC
vrfy: Checking UpperBounds @ FlexibleBarrier-PT-10b @ 3570 seconds

FORMULA FlexibleBarrier-PT-10b-UpperBounds-00 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA FlexibleBarrier-PT-10b-UpperBounds-01 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

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

FORMULA FlexibleBarrier-PT-10b-UpperBounds-03 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA FlexibleBarrier-PT-10b-UpperBounds-04 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA FlexibleBarrier-PT-10b-UpperBounds-05 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA FlexibleBarrier-PT-10b-UpperBounds-06 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA FlexibleBarrier-PT-10b-UpperBounds-07 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA FlexibleBarrier-PT-10b-UpperBounds-09 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

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

FORMULA FlexibleBarrier-PT-10b-UpperBounds-11 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA FlexibleBarrier-PT-10b-UpperBounds-12 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA FlexibleBarrier-PT-10b-UpperBounds-13 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA FlexibleBarrier-PT-10b-UpperBounds-14 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA FlexibleBarrier-PT-10b-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 @ FlexibleBarrier-PT-10b

{
"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 13:54:58 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(p1269)",
"processed_size": 10,
"rewrites": 0
},
"result":
{
"edges": 29,
"markings": 30,
"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(p611)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 14,
"markings": 15,
"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(p210)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 9,
"markings": 10,
"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(p858)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 24,
"markings": 25,
"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": 297
},
"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(p1138)",
"processed_size": 10,
"rewrites": 0
},
"result":
{
"edges": 6,
"markings": 7,
"produced_by": "search",
"value": 1
},
"task":
{
"compoundnumber": 4,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 324
},
"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(p968)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 8,
"markings": 9,
"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": 356
},
"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(p1247)",
"processed_size": 10,
"rewrites": 0
},
"result":
{
"edges": 22,
"markings": 23,
"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": 396
},
"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(p669)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 16,
"markings": 17,
"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": 445
},
"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(p971)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 7,
"markings": 8,
"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": 519
},
"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(p158)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 29,
"markings": 30,
"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": 623
},
"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(p1322)",
"processed_size": 10,
"rewrites": 0
},
"result":
{
"edges": 23,
"markings": 24,
"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": 779
},
"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(p436)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 24,
"markings": 25,
"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": 1039
},
"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(p745)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 20,
"markings": 21,
"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": 1559
},
"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(p9)",
"processed_size": 7,
"rewrites": 0
},
"result":
{
"edges": 9,
"markings": 10,
"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": 3118
},
"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(p670)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 21,
"markings": 22,
"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": 33224,
"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": 4025,
"conflict_clusters": 1089,
"places": 1402,
"places_significant": 1390,
"singleton_clusters": 0,
"transitions": 1613
},
"result":
{
"interim_value": "1 1 1 1 1 1 1 1 unknown 1 1 1 1 1 1 1 ",
"preliminary_value": "1 1 1 1 1 1 1 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: 3015/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 1402
lola: finding significant places
lola: 1402 places, 1613 transitions, 1390 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(p1269) : MAX(p611) : MAX(p210) : MAX(p858) : MAX(p1138) : MAX(p968) : MAX(p1247) : MAX(p669) : MAX(p315) : MAX(p971) : MAX(p158) : MAX(p1322) : MAX(p436) : MAX(p745) : MAX(p9) : MAX(p670)
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(p1269)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1269)
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: 30 markings, 29 edges
lola: ========================================
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p611)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p611)
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: 15 markings, 14 edges
lola: ========================================
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p210)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p210)
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: 10 markings, 9 edges
lola: ========================================
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p858)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p858)
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: 25 markings, 24 edges
lola: ========================================
lola: subprocess 4 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1138)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1138)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 7 markings, 6 edges
lola: ========================================
lola: subprocess 5 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p968)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p968)
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 6 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1247)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1247)
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: subprocess 7 will run for 396 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p669)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p669)
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: ========================================
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 17 markings, 16 edges
lola: ========================================
lola: subprocess 8 will run for 445 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p315)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p315)
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: 107473 markings, 236165 edges, 21495 markings/sec, 0 secs
lola: 217861 markings, 484323 edges, 22078 markings/sec, 5 secs
lola: 317062 markings, 732501 edges, 19840 markings/sec, 10 secs
lola: 429061 markings, 979149 edges, 22400 markings/sec, 15 secs
lola: 533980 markings, 1221509 edges, 20984 markings/sec, 20 secs
lola: 642711 markings, 1487407 edges, 21746 markings/sec, 25 secs
lola: 755020 markings, 1753475 edges, 22462 markings/sec, 30 secs
lola: 854783 markings, 2011054 edges, 19953 markings/sec, 35 secs
lola: 963705 markings, 2265444 edges, 21784 markings/sec, 40 secs
lola: 1059308 markings, 2523735 edges, 19121 markings/sec, 45 secs
lola: 1170794 markings, 2765025 edges, 22297 markings/sec, 50 secs
lola: 1272716 markings, 3009102 edges, 20384 markings/sec, 55 secs
lola: 1379087 markings, 3258550 edges, 21274 markings/sec, 60 secs
lola: 1489963 markings, 3519663 edges, 22175 markings/sec, 65 secs
lola: 1607036 markings, 3789460 edges, 23415 markings/sec, 70 secs
lola: 1717298 markings, 4064333 edges, 22052 markings/sec, 75 secs
lola: 1837171 markings, 4329678 edges, 23975 markings/sec, 80 secs
lola: 1951458 markings, 4604991 edges, 22857 markings/sec, 85 secs
lola: 2068054 markings, 4876908 edges, 23319 markings/sec, 90 secs
lola: 2186205 markings, 5149626 edges, 23630 markings/sec, 95 secs
lola: 2297537 markings, 5425269 edges, 22266 markings/sec, 100 secs
lola: 2408574 markings, 5692748 edges, 22207 markings/sec, 105 secs
lola: 2516434 markings, 5956551 edges, 21572 markings/sec, 110 secs
lola: 2615043 markings, 6229987 edges, 19722 markings/sec, 115 secs
lola: 2716159 markings, 6501009 edges, 20223 markings/sec, 120 secs
lola: 2815248 markings, 6778370 edges, 19818 markings/sec, 125 secs
lola: 2917703 markings, 7052089 edges, 20491 markings/sec, 130 secs
lola: 3015043 markings, 7325493 edges, 19468 markings/sec, 135 secs
lola: 3112225 markings, 7584869 edges, 19436 markings/sec, 140 secs
lola: 3200851 markings, 7849535 edges, 17725 markings/sec, 145 secs
lola: 3287623 markings, 8116759 edges, 17354 markings/sec, 150 secs
lola: 3375709 markings, 8389429 edges, 17617 markings/sec, 155 secs
lola: 3464385 markings, 8661428 edges, 17735 markings/sec, 160 secs
lola: 3547958 markings, 8939326 edges, 16715 markings/sec, 165 secs
lola: 3632429 markings, 9218989 edges, 16894 markings/sec, 170 secs
lola: 3717256 markings, 9488267 edges, 16965 markings/sec, 175 secs
lola: 3802428 markings, 9713858 edges, 17034 markings/sec, 180 secs
lola: 3878504 markings, 9951978 edges, 15215 markings/sec, 185 secs
lola: 3908621 markings, 10251476 edges, 6023 markings/sec, 190 secs
lola: 3988634 markings, 10517212 edges, 16003 markings/sec, 195 secs
lola: 4093856 markings, 10756686 edges, 21044 markings/sec, 200 secs
lola: 4193790 markings, 10993602 edges, 19987 markings/sec, 205 secs
lola: 4291864 markings, 11241459 edges, 19615 markings/sec, 210 secs
lola: 4395213 markings, 11494841 edges, 20670 markings/sec, 215 secs
lola: 4502698 markings, 11743243 edges, 21497 markings/sec, 220 secs
lola: 4600385 markings, 11989799 edges, 19537 markings/sec, 225 secs
lola: 4705003 markings, 12243831 edges, 20924 markings/sec, 230 secs
lola: 4810152 markings, 12488044 edges, 21030 markings/sec, 235 secs
lola: 4911986 markings, 12741699 edges, 20367 markings/sec, 240 secs
lola: 5011458 markings, 12985490 edges, 19894 markings/sec, 245 secs
lola: 5108531 markings, 13222769 edges, 19415 markings/sec, 250 secs
lola: 5210101 markings, 13457712 edges, 20314 markings/sec, 255 secs
lola: 5316293 markings, 13699811 edges, 21238 markings/sec, 260 secs
lola: 5422470 markings, 13945849 edges, 21235 markings/sec, 265 secs
lola: 5527503 markings, 14194770 edges, 21007 markings/sec, 270 secs
lola: 5638428 markings, 14442692 edges, 22185 markings/sec, 275 secs
lola: 5749346 markings, 14690542 edges, 22184 markings/sec, 280 secs
lola: 5865711 markings, 14957383 edges, 23273 markings/sec, 285 secs
lola: 5975067 markings, 15213100 edges, 21871 markings/sec, 290 secs
lola: 6080394 markings, 15467532 edges, 21065 markings/sec, 295 secs
lola: 6190852 markings, 15712916 edges, 22092 markings/sec, 300 secs
lola: 6306602 markings, 15969445 edges, 23150 markings/sec, 305 secs
lola: 6415585 markings, 16218765 edges, 21797 markings/sec, 310 secs
lola: 6524174 markings, 16468376 edges, 21718 markings/sec, 315 secs
lola: 6637330 markings, 16732473 edges, 22631 markings/sec, 320 secs
lola: 6744927 markings, 16985994 edges, 21519 markings/sec, 325 secs
lola: 6852508 markings, 17233545 edges, 21516 markings/sec, 330 secs
lola: 6954762 markings, 17468304 edges, 20451 markings/sec, 335 secs
lola: 7056315 markings, 17729258 edges, 20311 markings/sec, 340 secs
lola: 7151380 markings, 17978437 edges, 19013 markings/sec, 345 secs
lola: 7247264 markings, 18219492 edges, 19177 markings/sec, 350 secs
lola: 7343761 markings, 18468369 edges, 19299 markings/sec, 355 secs
lola: 7440373 markings, 18717493 edges, 19322 markings/sec, 360 secs
lola: 7536533 markings, 18968776 edges, 19232 markings/sec, 365 secs
lola: 7632848 markings, 19220317 edges, 19263 markings/sec, 370 secs
lola: 7734068 markings, 19484556 edges, 20244 markings/sec, 375 secs
lola: 7833933 markings, 19732393 edges, 19973 markings/sec, 380 secs
lola: 7919746 markings, 19976621 edges, 17163 markings/sec, 385 secs
lola: 8007191 markings, 20223661 edges, 17489 markings/sec, 390 secs
lola: 8095729 markings, 20474359 edges, 17708 markings/sec, 395 secs
lola: 8187490 markings, 20733453 edges, 18352 markings/sec, 400 secs
lola: 8280754 markings, 20996533 edges, 18653 markings/sec, 405 secs
lola: 8369914 markings, 21256845 edges, 17832 markings/sec, 410 secs
lola: 8457207 markings, 21520784 edges, 17459 markings/sec, 415 secs
lola: 8542837 markings, 21783665 edges, 17126 markings/sec, 420 secs
lola: 8630969 markings, 22034652 edges, 17626 markings/sec, 425 secs
lola: 8721401 markings, 22251170 edges, 18086 markings/sec, 430 secs
lola: 8805273 markings, 22504028 edges, 16774 markings/sec, 435 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 1 1 1 1 1 unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: 1 1 1 1 1 1 1 1 unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 2086276 KB
lola: time consumption: 451 seconds
lola: print data as JSON (--json)
lola: memory consumption: 2086276 KB
lola: time consumption: 451 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 445 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p971)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p971)
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: 8 markings, 7 edges
lola: ========================================
lola: subprocess 10 will run for 519 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p158)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p158)
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: 30 markings, 29 edges
lola: ========================================
lola: subprocess 11 will run for 623 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1322)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1322)
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: 24 markings, 23 edges
lola: ========================================
lola: subprocess 12 will run for 779 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p436)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p436)
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: 25 markings, 24 edges
lola: ========================================
lola: subprocess 13 will run for 1039 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p745)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p745)
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: 21 markings, 20 edges
lola: subprocess 14 will run for 1559 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ========================================
lola: ...considering subproblem: MAX(p9)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p9)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 10 markings, 9 edges
lola: ========================================
lola: subprocess 15 will run for 3118 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p670)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p670)
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: 22 markings, 21 edges
lola: ========================================
lola: ...considering subproblem: MAX(p315)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p315)
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: ========================================
lola: Structural Bound: 1
lola: 112954 markings, 247625 edges, 22591 markings/sec, 0 secs
lola: 228442 markings, 506118 edges, 23098 markings/sec, 5 secs
lola: 333401 markings, 762438 edges, 20992 markings/sec, 10 secs
lola: 452617 markings, 1023684 edges, 23843 markings/sec, 15 secs
lola: 559337 markings, 1280589 edges, 21344 markings/sec, 20 secs
lola: 663191 markings, 1553305 edges, 20771 markings/sec, 25 secs
lola: 774713 markings, 1806880 edges, 22304 markings/sec, 30 secs
lola: 881711 markings, 2070322 edges, 21400 markings/sec, 35 secs
lola: 986324 markings, 2335688 edges, 20923 markings/sec, 40 secs
lola: 1094128 markings, 2588811 edges, 21561 markings/sec, 45 secs
lola: 1201719 markings, 2843700 edges, 21518 markings/sec, 50 secs
lola: 1315818 markings, 3105610 edges, 22820 markings/sec, 55 secs
lola: 1424354 markings, 3366571 edges, 21707 markings/sec, 60 secs
lola: 1535052 markings, 3620352 edges, 22140 markings/sec, 65 secs
lola: 1642325 markings, 3887609 edges, 21455 markings/sec, 70 secs
lola: 1759239 markings, 4146836 edges, 23383 markings/sec, 75 secs
lola: 1868423 markings, 4415756 edges, 21837 markings/sec, 80 secs
lola: 1984872 markings, 4677057 edges, 23290 markings/sec, 85 secs
lola: 2096182 markings, 4944979 edges, 22262 markings/sec, 90 secs
lola: 2213319 markings, 5218680 edges, 23427 markings/sec, 95 secs
lola: 2331898 markings, 5491720 edges, 23716 markings/sec, 100 secs
lola: 2439994 markings, 5760062 edges, 21619 markings/sec, 105 secs
lola: 2542933 markings, 6029107 edges, 20588 markings/sec, 110 secs
lola: 2643569 markings, 6302364 edges, 20127 markings/sec, 115 secs
lola: 2742878 markings, 6576855 edges, 19862 markings/sec, 120 secs
lola: 2841678 markings, 6845120 edges, 19760 markings/sec, 125 secs
lola: 2941851 markings, 7122549 edges, 20035 markings/sec, 130 secs
lola: 3044404 markings, 7399171 edges, 20511 markings/sec, 135 secs
lola: 3145358 markings, 7682114 edges, 20191 markings/sec, 140 secs
lola: 3239346 markings, 7970359 edges, 18798 markings/sec, 145 secs
lola: 3330782 markings, 8251420 edges, 18287 markings/sec, 150 secs
lola: 3424725 markings, 8537010 edges, 18789 markings/sec, 155 secs
lola: 3514570 markings, 8823280 edges, 17969 markings/sec, 160 secs
lola: 3602825 markings, 9121058 edges, 17651 markings/sec, 165 secs
lola: 3683799 markings, 9401172 edges, 16195 markings/sec, 170 secs
lola: 3774254 markings, 9629137 edges, 18091 markings/sec, 175 secs
lola: 3849889 markings, 9878555 edges, 15127 markings/sec, 180 secs
lola: 3906050 markings, 10160210 edges, 11232 markings/sec, 185 secs
lola: 3970549 markings, 10468425 edges, 12900 markings/sec, 190 secs
lola: 4079040 markings, 10726620 edges, 21698 markings/sec, 195 secs
lola: 4183868 markings, 10972621 edges, 20966 markings/sec, 200 secs
lola: 4285852 markings, 11229491 edges, 20397 markings/sec, 205 secs
lola: 4399567 markings, 11502992 edges, 22743 markings/sec, 210 secs
lola: 4514805 markings, 11768478 edges, 23048 markings/sec, 215 secs
lola: 4623958 markings, 12038465 edges, 21831 markings/sec, 220 secs
lola: 4738883 markings, 12314126 edges, 22985 markings/sec, 225 secs
lola: 4850478 markings, 12581440 edges, 22319 markings/sec, 230 secs
lola: 4954382 markings, 12869132 edges, 20781 markings/sec, 235 secs
lola: 5069592 markings, 13131180 edges, 23042 markings/sec, 240 secs
lola: 5180679 markings, 13390926 edges, 22217 markings/sec, 245 secs
lola: 5296235 markings, 13651149 edges, 23111 markings/sec, 250 secs
lola: 5413156 markings, 13923300 edges, 23384 markings/sec, 255 secs
lola: 5528673 markings, 14197266 edges, 23103 markings/sec, 260 secs
lola: 5651052 markings, 14466364 edges, 24476 markings/sec, 265 secs
lola: 5769422 markings, 14736401 edges, 23674 markings/sec, 270 secs
lola: 5886012 markings, 15009175 edges, 23318 markings/sec, 275 secs
lola: 6003568 markings, 15282993 edges, 23511 markings/sec, 280 secs
lola: 6125334 markings, 15553152 edges, 24353 markings/sec, 285 secs
lola: 6242498 markings, 15821826 edges, 23433 markings/sec, 290 secs
lola: 6358956 markings, 16096935 edges, 23292 markings/sec, 295 secs
lola: 6479654 markings, 16371431 edges, 24140 markings/sec, 300 secs
lola: 6601175 markings, 16644194 edges, 24304 markings/sec, 305 secs
lola: 6719589 markings, 16919149 edges, 23683 markings/sec, 310 secs
lola: 6834972 markings, 17194691 edges, 23077 markings/sec, 315 secs
lola: 6948832 markings, 17453703 edges, 22772 markings/sec, 320 secs
lola: 7052226 markings, 17720236 edges, 20679 markings/sec, 325 secs
lola: 7155417 markings, 17987533 edges, 20638 markings/sec, 330 secs
lola: 7257210 markings, 18251936 edges, 20359 markings/sec, 335 secs
lola: 7360968 markings, 18520333 edges, 20752 markings/sec, 340 secs
lola: 7464789 markings, 18790783 edges, 20764 markings/sec, 345 secs
lola: 7570805 markings, 19058825 edges, 21203 markings/sec, 350 secs
lola: 7677611 markings, 19329451 edges, 21361 markings/sec, 355 secs
lola: 7784095 markings, 19603023 edges, 21297 markings/sec, 360 secs
lola: 7885947 markings, 19881358 edges, 20370 markings/sec, 365 secs
lola: 7984663 markings, 20158368 edges, 19743 markings/sec, 370 secs
lola: 8083072 markings, 20443732 edges, 19682 markings/sec, 375 secs
lola: 8185033 markings, 20727089 edges, 20392 markings/sec, 380 secs
lola: 8285593 markings, 21010089 edges, 20112 markings/sec, 385 secs
lola: 8382963 markings, 21299587 edges, 19474 markings/sec, 390 secs
lola: 8477495 markings, 21593008 edges, 18906 markings/sec, 395 secs
lola: 8574714 markings, 21879881 edges, 19444 markings/sec, 400 secs
lola: 8674049 markings, 22133302 edges, 19867 markings/sec, 405 secs
lola: 8759727 markings, 22395567 edges, 17136 markings/sec, 410 secs
lola: 8858104 markings, 22641525 edges, 19675 markings/sec, 415 secs
lola: 8887814 markings, 22985973 edges, 5942 markings/sec, 420 secs
lola: 8987057 markings, 23261993 edges, 19849 markings/sec, 425 secs
lola: 9099017 markings, 23524269 edges, 22392 markings/sec, 430 secs
lola: 9198001 markings, 23804102 edges, 19797 markings/sec, 435 secs
lola: 9300622 markings, 24074257 edges, 20524 markings/sec, 440 secs
lola: 9407429 markings, 24341648 edges, 21361 markings/sec, 445 secs
lola: 9507083 markings, 24613839 edges, 19931 markings/sec, 450 secs
lola: 9613563 markings, 24884290 edges, 21296 markings/sec, 455 secs
lola: 9713570 markings, 25165548 edges, 20001 markings/sec, 460 secs
lola: 9813453 markings, 25438081 edges, 19977 markings/sec, 465 secs
lola: 9914990 markings, 25704687 edges, 20307 markings/sec, 470 secs
lola: 10011177 markings, 25968314 edges, 19237 markings/sec, 475 secs
lola: 10111678 markings, 26238323 edges, 20100 markings/sec, 480 secs
lola: 10216951 markings, 26508950 edges, 21055 markings/sec, 485 secs
lola: 10314327 markings, 26789496 edges, 19475 markings/sec, 490 secs
lola: 10421320 markings, 27054895 edges, 21399 markings/sec, 495 secs
lola: 10523415 markings, 27333382 edges, 20419 markings/sec, 500 secs
lola: 10625931 markings, 27607609 edges, 20503 markings/sec, 505 secs
lola: 10730410 markings, 27881669 edges, 20896 markings/sec, 510 secs
lola: 10830086 markings, 28159422 edges, 19935 markings/sec, 515 secs
lola: 10933345 markings, 28422987 edges, 20652 markings/sec, 520 secs
lola: 11034515 markings, 28699268 edges, 20234 markings/sec, 525 secs
lola: 11138750 markings, 28973275 edges, 20847 markings/sec, 530 secs
lola: 11241574 markings, 29249121 edges, 20565 markings/sec, 535 secs
lola: 11338666 markings, 29518542 edges, 19418 markings/sec, 540 secs
lola: 11430417 markings, 29795271 edges, 18350 markings/sec, 545 secs
lola: 11520980 markings, 30073017 edges, 18113 markings/sec, 550 secs
lola: 11611686 markings, 30353507 edges, 18141 markings/sec, 555 secs
lola: 11701265 markings, 30637627 edges, 17916 markings/sec, 560 secs
lola: 11793235 markings, 30917288 edges, 18394 markings/sec, 565 secs
lola: 11886670 markings, 31202435 edges, 18687 markings/sec, 570 secs
lola: 11979589 markings, 31489377 edges, 18584 markings/sec, 575 secs
lola: 12067336 markings, 31782681 edges, 17549 markings/sec, 580 secs
lola: 12154241 markings, 32077146 edges, 17381 markings/sec, 585 secs
lola: 12240523 markings, 32376819 edges, 17256 markings/sec, 590 secs
lola: 12327514 markings, 32677249 edges, 17398 markings/sec, 595 secs
lola: 12412879 markings, 32981789 edges, 17073 markings/sec, 600 secs
lola: 12495905 markings, 33288816 edges, 16605 markings/sec, 605 secs
lola: 12576775 markings, 33598986 edges, 16174 markings/sec, 610 secs
lola: 12668258 markings, 33854240 edges, 18297 markings/sec, 615 secs
lola: 12743585 markings, 34127573 edges, 15065 markings/sec, 620 secs
lola: 12795031 markings, 34437808 edges, 10289 markings/sec, 625 secs
lola: 12866278 markings, 34748810 edges, 14249 markings/sec, 630 secs
lola: 12981743 markings, 35016379 edges, 23093 markings/sec, 635 secs
lola: 13083317 markings, 35285562 edges, 20315 markings/sec, 640 secs
lola: 13204837 markings, 35552027 edges, 24304 markings/sec, 645 secs
lola: 13312194 markings, 35821956 edges, 21471 markings/sec, 650 secs
lola: 13424747 markings, 36096745 edges, 22511 markings/sec, 655 secs
lola: 13530081 markings, 36362203 edges, 21067 markings/sec, 660 secs
lola: 13639505 markings, 36624201 edges, 21885 markings/sec, 665 secs
lola: 13753358 markings, 36887655 edges, 22771 markings/sec, 670 secs
lola: 13867616 markings, 37156416 edges, 22852 markings/sec, 675 secs
lola: 13973866 markings, 37427723 edges, 21250 markings/sec, 680 secs
lola: 14092179 markings, 37692546 edges, 23663 markings/sec, 685 secs
lola: 14204181 markings, 37964397 edges, 22400 markings/sec, 690 secs
lola: 14316894 markings, 38234520 edges, 22543 markings/sec, 695 secs
lola: 14432393 markings, 38503720 edges, 23100 markings/sec, 700 secs
lola: 14543088 markings, 38776649 edges, 22139 markings/sec, 705 secs
lola: 14657896 markings, 39047492 edges, 22962 markings/sec, 710 secs
lola: 14774101 markings, 39318396 edges, 23241 markings/sec, 715 secs
lola: 14879598 markings, 39582501 edges, 21099 markings/sec, 720 secs
lola: 14979150 markings, 39848804 edges, 19910 markings/sec, 725 secs
lola: 15074921 markings, 40121218 edges, 19154 markings/sec, 730 secs
lola: 15173983 markings, 40389245 edges, 19812 markings/sec, 735 secs
lola: 15271769 markings, 40662542 edges, 19557 markings/sec, 740 secs
lola: 15370964 markings, 40935041 edges, 19839 markings/sec, 745 secs
lola: 15468790 markings, 41205612 edges, 19565 markings/sec, 750 secs
lola: 15564948 markings, 41480320 edges, 19232 markings/sec, 755 secs
lola: 15657114 markings, 41763524 edges, 18433 markings/sec, 760 secs
lola: 15747973 markings, 42051153 edges, 18172 markings/sec, 765 secs
lola: 15839892 markings, 42338934 edges, 18384 markings/sec, 770 secs
lola: 15931188 markings, 42629686 edges, 18259 markings/sec, 775 secs
lola: 16018250 markings, 42924657 edges, 17412 markings/sec, 780 secs
lola: 16105948 markings, 43220609 edges, 17540 markings/sec, 785 secs
lola: 16202819 markings, 43463090 edges, 19374 markings/sec, 790 secs
lola: 16284531 markings, 43728810 edges, 16342 markings/sec, 795 secs
lola: 16313441 markings, 44079982 edges, 5782 markings/sec, 800 secs
lola: 16415912 markings, 44363350 edges, 20494 markings/sec, 805 secs
lola: 16533073 markings, 44628701 edges, 23432 markings/sec, 810 secs
lola: 16639196 markings, 44892556 edges, 21225 markings/sec, 815 secs
lola: 16752103 markings, 45162349 edges, 22581 markings/sec, 820 secs
lola: 16864553 markings, 45423060 edges, 22490 markings/sec, 825 secs
lola: 16971077 markings, 45697761 edges, 21305 markings/sec, 830 secs
lola: 17080890 markings, 45963456 edges, 21963 markings/sec, 835 secs
lola: 17181588 markings, 46220976 edges, 20140 markings/sec, 840 secs
lola: 17293961 markings, 46470023 edges, 22475 markings/sec, 845 secs
lola: 17411210 markings, 46730018 edges, 23450 markings/sec, 850 secs
lola: 17525416 markings, 46995677 edges, 22841 markings/sec, 855 secs
lola: 17636208 markings, 47267769 edges, 22158 markings/sec, 860 secs
lola: 17755387 markings, 47532169 edges, 23836 markings/sec, 865 secs
lola: 17872095 markings, 47797876 edges, 23342 markings/sec, 870 secs
lola: 17982340 markings, 48059938 edges, 22049 markings/sec, 875 secs
lola: 18088427 markings, 48312658 edges, 21217 markings/sec, 880 secs
lola: 18200400 markings, 48562669 edges, 22395 markings/sec, 885 secs
lola: 18308366 markings, 48808371 edges, 21593 markings/sec, 890 secs
lola: 18417579 markings, 49064220 edges, 21843 markings/sec, 895 secs
lola: 18523474 markings, 49314934 edges, 21179 markings/sec, 900 secs
lola: 18630918 markings, 49565738 edges, 21489 markings/sec, 905 secs
lola: 18743374 markings, 49816505 edges, 22491 markings/sec, 910 secs
lola: 18840429 markings, 50060174 edges, 19411 markings/sec, 915 secs
lola: 18942441 markings, 50304411 edges, 20402 markings/sec, 920 secs
lola: 19039291 markings, 50548233 edges, 19370 markings/sec, 925 secs
lola: 19140252 markings, 50811775 edges, 20192 markings/sec, 930 secs
lola: 19241240 markings, 51076026 edges, 20198 markings/sec, 935 secs
lola: 19343622 markings, 51342064 edges, 20476 markings/sec, 940 secs
lola: 19446029 markings, 51607504 edges, 20481 markings/sec, 945 secs
lola: 19547945 markings, 51872672 edges, 20383 markings/sec, 950 secs
lola: 19650396 markings, 52139406 edges, 20490 markings/sec, 955 secs
lola: 19753980 markings, 52409251 edges, 20717 markings/sec, 960 secs
lola: 19849927 markings, 52682454 edges, 19189 markings/sec, 965 secs
lola: 19947082 markings, 52957142 edges, 19431 markings/sec, 970 secs
lola: 20036115 markings, 53213256 edges, 17807 markings/sec, 975 secs
lola: 20125275 markings, 53470869 edges, 17832 markings/sec, 980 secs
lola: 20215957 markings, 53731254 edges, 18136 markings/sec, 985 secs
lola: 20307964 markings, 53996891 edges, 18401 markings/sec, 990 secs
lola: 20393393 markings, 54257454 edges, 17086 markings/sec, 995 secs
lola: 20478018 markings, 54521251 edges, 16925 markings/sec, 1000 secs
lola: 20567499 markings, 54761705 edges, 17896 markings/sec, 1005 secs
lola: 20659950 markings, 55007168 edges, 18490 markings/sec, 1010 secs
lola: 20749597 markings, 55254903 edges, 17929 markings/sec, 1015 secs
lola: 20792086 markings, 55572190 edges, 8498 markings/sec, 1020 secs
lola: 20874869 markings, 55860321 edges, 16557 markings/sec, 1025 secs
lola: 20979803 markings, 56123713 edges, 20987 markings/sec, 1030 secs
lola: 21074440 markings, 56393766 edges, 18927 markings/sec, 1035 secs
lola: 21176372 markings, 56660933 edges, 20386 markings/sec, 1040 secs
lola: 21279296 markings, 56923954 edges, 20585 markings/sec, 1045 secs
lola: 21376455 markings, 57197612 edges, 19432 markings/sec, 1050 secs
lola: 21474297 markings, 57466284 edges, 19568 markings/sec, 1055 secs
lola: 21569458 markings, 57720087 edges, 19032 markings/sec, 1060 secs
lola: 21668681 markings, 57975469 edges, 19845 markings/sec, 1065 secs
lola: 21762724 markings, 58244060 edges, 18809 markings/sec, 1070 secs
lola: 21857847 markings, 58487953 edges, 19025 markings/sec, 1075 secs
lola: 21951158 markings, 58734503 edges, 18662 markings/sec, 1080 secs
lola: 22040002 markings, 58992908 edges, 17769 markings/sec, 1085 secs
lola: 22142424 markings, 59248524 edges, 20484 markings/sec, 1090 secs
lola: 22240171 markings, 59517719 edges, 19549 markings/sec, 1095 secs
lola: 22336980 markings, 59779294 edges, 19362 markings/sec, 1100 secs
lola: 22436682 markings, 60040587 edges, 19940 markings/sec, 1105 secs
lola: 22531042 markings, 60308621 edges, 18872 markings/sec, 1110 secs
lola: 22632755 markings, 60567322 edges, 20343 markings/sec, 1115 secs
lola: 22729326 markings, 60833734 edges, 19314 markings/sec, 1120 secs
lola: 22824376 markings, 61096885 edges, 19010 markings/sec, 1125 secs
lola: 22915550 markings, 61359669 edges, 18235 markings/sec, 1130 secs
lola: 23004788 markings, 61629902 edges, 17848 markings/sec, 1135 secs
lola: 23094071 markings, 61902994 edges, 17857 markings/sec, 1140 secs
lola: 23181689 markings, 62175445 edges, 17524 markings/sec, 1145 secs
lola: 23268876 markings, 62446879 edges, 17437 markings/sec, 1150 secs
lola: 23353773 markings, 62718867 edges, 16979 markings/sec, 1155 secs
lola: 23444362 markings, 62995971 edges, 18118 markings/sec, 1160 secs
lola: 23533440 markings, 63270218 edges, 17816 markings/sec, 1165 secs
lola: 23611652 markings, 63537606 edges, 15642 markings/sec, 1170 secs
lola: 23688360 markings, 63808531 edges, 15342 markings/sec, 1175 secs
lola: 23767501 markings, 64079038 edges, 15828 markings/sec, 1180 secs
lola: 23847418 markings, 64359027 edges, 15983 markings/sec, 1185 secs
lola: 23925761 markings, 64633828 edges, 15669 markings/sec, 1190 secs
lola: 23999298 markings, 64911624 edges, 14707 markings/sec, 1195 secs
lola: 24073146 markings, 65190832 edges, 14770 markings/sec, 1200 secs
lola: 24152845 markings, 65440013 edges, 15940 markings/sec, 1205 secs
lola: 24224024 markings, 65686548 edges, 14236 markings/sec, 1210 secs
lola: 24296805 markings, 65930034 edges, 14556 markings/sec, 1215 secs
lola: 24313711 markings, 66282532 edges, 3381 markings/sec, 1220 secs
lola: 24434427 markings, 66546422 edges, 24143 markings/sec, 1225 secs
lola: 24540688 markings, 66808724 edges, 21252 markings/sec, 1230 secs
lola: 24646966 markings, 67078742 edges, 21256 markings/sec, 1235 secs
lola: 24752633 markings, 67332240 edges, 21133 markings/sec, 1240 secs
lola: 24852020 markings, 67592084 edges, 19877 markings/sec, 1245 secs
lola: 24966115 markings, 67843169 edges, 22819 markings/sec, 1250 secs
lola: 25076066 markings, 68115390 edges, 21990 markings/sec, 1255 secs
lola: 25189774 markings, 68380198 edges, 22742 markings/sec, 1260 secs
lola: 25303908 markings, 68648747 edges, 22827 markings/sec, 1265 secs
lola: 25410729 markings, 68920675 edges, 21364 markings/sec, 1270 secs
lola: 25528017 markings, 69183435 edges, 23458 markings/sec, 1275 secs
lola: 25636433 markings, 69448959 edges, 21683 markings/sec, 1280 secs
lola: 25748633 markings, 69716400 edges, 22440 markings/sec, 1285 secs
lola: 25863891 markings, 69984244 edges, 23052 markings/sec, 1290 secs
lola: 25971450 markings, 70254436 edges, 21512 markings/sec, 1295 secs
lola: 26072253 markings, 70515993 edges, 20161 markings/sec, 1300 secs
lola: 26178773 markings, 70776272 edges, 21304 markings/sec, 1305 secs
lola: 26272223 markings, 71041920 edges, 18690 markings/sec, 1310 secs
lola: 26363940 markings, 71314098 edges, 18343 markings/sec, 1315 secs
lola: 26459407 markings, 71578675 edges, 19093 markings/sec, 1320 secs
lola: 26552131 markings, 71850850 edges, 18545 markings/sec, 1325 secs
lola: 26648146 markings, 72121613 edges, 19203 markings/sec, 1330 secs
lola: 26741792 markings, 72397477 edges, 18729 markings/sec, 1335 secs
lola: 26830638 markings, 72678565 edges, 17769 markings/sec, 1340 secs
lola: 26916299 markings, 72961676 edges, 17132 markings/sec, 1345 secs
lola: 27004807 markings, 73241524 edges, 17702 markings/sec, 1350 secs
lola: 27091793 markings, 73526431 edges, 17397 markings/sec, 1355 secs
lola: 27174866 markings, 73814831 edges, 16615 markings/sec, 1360 secs
lola: 27259164 markings, 74104502 edges, 16860 markings/sec, 1365 secs
lola: 27355134 markings, 74345992 edges, 19194 markings/sec, 1370 secs
lola: 27433375 markings, 74607024 edges, 15648 markings/sec, 1375 secs
lola: 27460105 markings, 74950132 edges, 5346 markings/sec, 1380 secs
lola: 27561620 markings, 75230812 edges, 20303 markings/sec, 1385 secs
lola: 27675647 markings, 75492681 edges, 22805 markings/sec, 1390 secs
lola: 27783174 markings, 75760721 edges, 21505 markings/sec, 1395 secs
lola: 27892138 markings, 76025635 edges, 21793 markings/sec, 1400 secs
lola: 27993360 markings, 76281987 edges, 20244 markings/sec, 1405 secs
lola: 28100131 markings, 76533364 edges, 21354 markings/sec, 1410 secs
lola: 28217373 markings, 76793177 edges, 23448 markings/sec, 1415 secs
lola: 28334293 markings, 77060029 edges, 23384 markings/sec, 1420 secs
lola: 28447754 markings, 77328806 edges, 22692 markings/sec, 1425 secs
lola: 28563230 markings, 77598514 edges, 23095 markings/sec, 1430 secs
lola: 28680482 markings, 77862003 edges, 23450 markings/sec, 1435 secs
lola: 28794721 markings, 78130832 edges, 22848 markings/sec, 1440 secs
lola: 28907793 markings, 78401838 edges, 22614 markings/sec, 1445 secs
lola: 29028385 markings, 78668490 edges, 24118 markings/sec, 1450 secs
lola: 29143052 markings, 78935709 edges, 22933 markings/sec, 1455 secs
lola: 29253382 markings, 79207721 edges, 22066 markings/sec, 1460 secs
lola: 29374190 markings, 79473143 edges, 24162 markings/sec, 1465 secs
lola: 29490796 markings, 79740145 edges, 23321 markings/sec, 1470 secs
lola: 29604740 markings, 80009841 edges, 22789 markings/sec, 1475 secs
lola: 29711194 markings, 80264550 edges, 21291 markings/sec, 1480 secs
lola: 29808483 markings, 80521714 edges, 19458 markings/sec, 1485 secs
lola: 29904160 markings, 80777265 edges, 19135 markings/sec, 1490 secs
lola: 30003203 markings, 81040843 edges, 19809 markings/sec, 1495 secs
lola: 30103267 markings, 81306934 edges, 20013 markings/sec, 1500 secs
lola: 30203362 markings, 81572763 edges, 20019 markings/sec, 1505 secs
lola: 30302922 markings, 81838591 edges, 19912 markings/sec, 1510 secs
lola: 30402989 markings, 82106567 edges, 20013 markings/sec, 1515 secs
lola: 30503754 markings, 82377380 edges, 20153 markings/sec, 1520 secs
lola: 30596839 markings, 82654957 edges, 18617 markings/sec, 1525 secs
lola: 30693530 markings, 82930326 edges, 19338 markings/sec, 1530 secs
lola: 30789462 markings, 83207383 edges, 19186 markings/sec, 1535 secs
lola: 30884689 markings, 83488599 edges, 19045 markings/sec, 1540 secs
lola: 30974519 markings, 83757500 edges, 17966 markings/sec, 1545 secs
lola: 31059401 markings, 84017927 edges, 16976 markings/sec, 1550 secs
lola: 31140374 markings, 84270272 edges, 16195 markings/sec, 1555 secs
lola: 31222207 markings, 84518901 edges, 16367 markings/sec, 1560 secs
lola: 31310792 markings, 84725834 edges, 17717 markings/sec, 1565 secs
lola: 31384009 markings, 84963037 edges, 14643 markings/sec, 1570 secs
lola: 31469360 markings, 85188123 edges, 17070 markings/sec, 1575 secs
lola: 31491684 markings, 85509492 edges, 4465 markings/sec, 1580 secs
lola: 31581800 markings, 85764982 edges, 18023 markings/sec, 1585 secs
lola: 31677908 markings, 86009648 edges, 19222 markings/sec, 1590 secs
lola: 31767867 markings, 86257121 edges, 17992 markings/sec, 1595 secs
lola: 31864022 markings, 86506457 edges, 19231 markings/sec, 1600 secs
lola: 31949357 markings, 86752692 edges, 17067 markings/sec, 1605 secs
lola: 32033553 markings, 86987257 edges, 16839 markings/sec, 1610 secs
lola: 32131718 markings, 87232915 edges, 19633 markings/sec, 1615 secs
lola: 32225085 markings, 87481928 edges, 18673 markings/sec, 1620 secs
lola: 32313471 markings, 87737687 edges, 17677 markings/sec, 1625 secs
lola: 32409598 markings, 87980216 edges, 19225 markings/sec, 1630 secs
lola: 32504279 markings, 88233420 edges, 18936 markings/sec, 1635 secs
lola: 32593857 markings, 88488522 edges, 17916 markings/sec, 1640 secs
lola: 32689269 markings, 88730456 edges, 19082 markings/sec, 1645 secs
lola: 32786064 markings, 88993510 edges, 19359 markings/sec, 1650 secs
lola: 32877403 markings, 89247878 edges, 18268 markings/sec, 1655 secs
lola: 32974746 markings, 89497370 edges, 19469 markings/sec, 1660 secs
lola: 33066492 markings, 89750010 edges, 18349 markings/sec, 1665 secs
lola: 33158809 markings, 90001918 edges, 18463 markings/sec, 1670 secs
lola: 33246583 markings, 90250287 edges, 17555 markings/sec, 1675 secs
lola: 33335477 markings, 90497056 edges, 17779 markings/sec, 1680 secs
lola: 33419111 markings, 90759139 edges, 16727 markings/sec, 1685 secs
lola: 33503565 markings, 91028213 edges, 16891 markings/sec, 1690 secs
lola: 33586085 markings, 91297131 edges, 16504 markings/sec, 1695 secs
lola: 33673260 markings, 91567899 edges, 17435 markings/sec, 1700 secs
lola: 33754477 markings, 91826830 edges, 16243 markings/sec, 1705 secs
lola: 33834784 markings, 92090762 edges, 16061 markings/sec, 1710 secs
lola: 33916591 markings, 92350716 edges, 16361 markings/sec, 1715 secs
lola: 33991719 markings, 92614736 edges, 15026 markings/sec, 1720 secs
lola: 34067742 markings, 92883915 edges, 15205 markings/sec, 1725 secs
lola: 34143509 markings, 93155478 edges, 15153 markings/sec, 1730 secs
lola: 34221797 markings, 93426991 edges, 15658 markings/sec, 1735 secs
lola: 34294115 markings, 93703746 edges, 14464 markings/sec, 1740 secs
lola: 34369163 markings, 93988868 edges, 15010 markings/sec, 1745 secs
lola: 34453437 markings, 94286394 edges, 16855 markings/sec, 1750 secs
lola: 34541491 markings, 94542806 edges, 17611 markings/sec, 1755 secs
lola: 34615282 markings, 94819177 edges, 14758 markings/sec, 1760 secs
lola: 34640546 markings, 95173530 edges, 5053 markings/sec, 1765 secs
lola: 34751894 markings, 95456943 edges, 22270 markings/sec, 1770 secs
lola: 34853867 markings, 95723236 edges, 20395 markings/sec, 1775 secs
lola: 34965953 markings, 95983801 edges, 22417 markings/sec, 1780 secs
lola: 35063976 markings, 96227179 edges, 19605 markings/sec, 1785 secs
lola: 35167763 markings, 96473027 edges, 20757 markings/sec, 1790 secs
lola: 35269316 markings, 96735086 edges, 20311 markings/sec, 1795 secs
lola: 35383267 markings, 96995781 edges, 22790 markings/sec, 1800 secs
lola: 35486515 markings, 97251506 edges, 20650 markings/sec, 1805 secs
lola: 35588868 markings, 97497669 edges, 20471 markings/sec, 1810 secs
lola: 35692280 markings, 97746762 edges, 20682 markings/sec, 1815 secs
lola: 35794925 markings, 97999531 edges, 20529 markings/sec, 1820 secs
lola: 35904986 markings, 98259927 edges, 22012 markings/sec, 1825 secs
lola: 36008376 markings, 98521510 edges, 20678 markings/sec, 1830 secs
lola: 36110221 markings, 98783891 edges, 20369 markings/sec, 1835 secs
lola: 36205570 markings, 99036402 edges, 19070 markings/sec, 1840 secs
lola: 36298867 markings, 99296707 edges, 18659 markings/sec, 1845 secs
lola: 36393231 markings, 99576085 edges, 18873 markings/sec, 1850 secs
lola: 36488351 markings, 99859807 edges, 19024 markings/sec, 1855 secs
lola: 36587277 markings, 100137881 edges, 19785 markings/sec, 1860 secs
lola: 36684216 markings, 100421355 edges, 19388 markings/sec, 1865 secs
lola: 36777751 markings, 100715465 edges, 18707 markings/sec, 1870 secs
lola: 36871426 markings, 101009355 edges, 18735 markings/sec, 1875 secs
lola: 36964988 markings, 101304357 edges, 18712 markings/sec, 1880 secs
lola: 37056385 markings, 101602309 edges, 18279 markings/sec, 1885 secs
lola: 37140501 markings, 101894204 edges, 16823 markings/sec, 1890 secs
lola: 37219702 markings, 102171783 edges, 15840 markings/sec, 1895 secs
lola: 37305003 markings, 102427964 edges, 17060 markings/sec, 1900 secs
lola: 37382260 markings, 102677341 edges, 15451 markings/sec, 1905 secs
lola: 37449127 markings, 102942025 edges, 13373 markings/sec, 1910 secs
lola: 37484782 markings, 103246404 edges, 7131 markings/sec, 1915 secs
lola: 37591883 markings, 103506445 edges, 21420 markings/sec, 1920 secs
lola: 37691589 markings, 103753454 edges, 19941 markings/sec, 1925 secs
lola: 37791086 markings, 103991163 edges, 19899 markings/sec, 1930 secs
lola: 37898671 markings, 104244979 edges, 21517 markings/sec, 1935 secs
lola: 38020079 markings, 104517432 edges, 24282 markings/sec, 1940 secs
lola: 38135658 markings, 104794043 edges, 23116 markings/sec, 1945 secs
lola: 38252777 markings, 105067800 edges, 23424 markings/sec, 1950 secs
lola: 38371849 markings, 105341856 edges, 23814 markings/sec, 1955 secs
lola: 38478175 markings, 105607765 edges, 21265 markings/sec, 1960 secs
lola: 38590250 markings, 105857963 edges, 22415 markings/sec, 1965 secs
lola: 38699442 markings, 106108558 edges, 21838 markings/sec, 1970 secs
lola: 38814667 markings, 106386289 edges, 23045 markings/sec, 1975 secs
lola: 38938344 markings, 106668937 edges, 24735 markings/sec, 1980 secs
lola: 39055951 markings, 106947375 edges, 23521 markings/sec, 1985 secs
lola: 39172593 markings, 107225716 edges, 23328 markings/sec, 1990 secs
lola: 39285658 markings, 107500816 edges, 22613 markings/sec, 1995 secs
lola: 39400380 markings, 107777974 edges, 22944 markings/sec, 2000 secs
lola: 39502889 markings, 108054779 edges, 20502 markings/sec, 2005 secs
lola: 39603710 markings, 108327772 edges, 20164 markings/sec, 2010 secs
lola: 39703068 markings, 108603669 edges, 19872 markings/sec, 2015 secs
lola: 39807172 markings, 108881040 edges, 20821 markings/sec, 2020 secs
lola: 39911911 markings, 109161810 edges, 20948 markings/sec, 2025 secs
lola: 40015906 markings, 109443246 edges, 20799 markings/sec, 2030 secs
lola: 40119475 markings, 109730852 edges, 20714 markings/sec, 2035 secs
lola: 40220678 markings, 110026406 edges, 20241 markings/sec, 2040 secs
lola: 40322640 markings, 110321141 edges, 20392 markings/sec, 2045 secs
lola: 40422275 markings, 110614398 edges, 19927 markings/sec, 2050 secs
lola: 40525867 markings, 110910332 edges, 20718 markings/sec, 2055 secs
lola: 40621285 markings, 111209951 edges, 19084 markings/sec, 2060 secs
lola: 40715967 markings, 111509832 edges, 18936 markings/sec, 2065 secs
lola: 40813479 markings, 111807605 edges, 19502 markings/sec, 2070 secs
lola: 40916396 markings, 112055604 edges, 20583 markings/sec, 2075 secs
lola: 41003815 markings, 112327331 edges, 17484 markings/sec, 2080 secs
lola: 41061318 markings, 112645112 edges, 11501 markings/sec, 2085 secs
lola: 41132195 markings, 112953878 edges, 14175 markings/sec, 2090 secs
lola: 41234294 markings, 113224835 edges, 20420 markings/sec, 2095 secs
lola: 41333059 markings, 113488655 edges, 19753 markings/sec, 2100 secs
lola: 41429435 markings, 113755205 edges, 19275 markings/sec, 2105 secs
lola: 41532084 markings, 114024019 edges, 20530 markings/sec, 2110 secs
lola: 41629829 markings, 114308738 edges, 19549 markings/sec, 2115 secs
lola: 41737220 markings, 114579704 edges, 21478 markings/sec, 2120 secs
lola: 41839117 markings, 114867898 edges, 20379 markings/sec, 2125 secs
lola: 41945741 markings, 115145436 edges, 21325 markings/sec, 2130 secs
lola: 42049270 markings, 115430417 edges, 20706 markings/sec, 2135 secs
lola: 42153437 markings, 115712827 edges, 20833 markings/sec, 2140 secs
lola: 42256976 markings, 115988157 edges, 20708 markings/sec, 2145 secs
lola: 42359043 markings, 116279330 edges, 20413 markings/sec, 2150 secs
lola: 42465126 markings, 116551281 edges, 21217 markings/sec, 2155 secs
lola: 42563485 markings, 116831285 edges, 19672 markings/sec, 2160 secs
lola: 42654009 markings, 117109713 edges, 18105 markings/sec, 2165 secs
lola: 42740854 markings, 117391825 edges, 17369 markings/sec, 2170 secs
lola: 42830403 markings, 117676770 edges, 17910 markings/sec, 2175 secs
lola: 42918022 markings, 117969186 edges, 17524 markings/sec, 2180 secs
lola: 43009259 markings, 118250639 edges, 18247 markings/sec, 2185 secs
lola: 43095861 markings, 118540134 edges, 17320 markings/sec, 2190 secs
lola: 43186525 markings, 118839611 edges, 18133 markings/sec, 2195 secs
lola: 43274256 markings, 119144804 edges, 17546 markings/sec, 2200 secs
lola: 43361352 markings, 119452252 edges, 17419 markings/sec, 2205 secs
lola: 43450270 markings, 119764745 edges, 17784 markings/sec, 2210 secs
lola: 43535427 markings, 120074696 edges, 17031 markings/sec, 2215 secs
lola: 43615781 markings, 120392025 edges, 16071 markings/sec, 2220 secs
lola: 43698365 markings, 120695810 edges, 16517 markings/sec, 2225 secs
lola: 43789209 markings, 120955415 edges, 18169 markings/sec, 2230 secs
lola: 43863532 markings, 121239755 edges, 14865 markings/sec, 2235 secs
lola: 43885543 markings, 121602020 edges, 4402 markings/sec, 2240 secs
lola: 43998569 markings, 121867703 edges, 22605 markings/sec, 2245 secs
lola: 44110226 markings, 122147556 edges, 22331 markings/sec, 2250 secs
lola: 44222582 markings, 122433533 edges, 22471 markings/sec, 2255 secs
lola: 44339393 markings, 122715376 edges, 23362 markings/sec, 2260 secs
lola: 44455856 markings, 122998926 edges, 23293 markings/sec, 2265 secs
lola: 44571758 markings, 123282497 edges, 23180 markings/sec, 2270 secs
lola: 44686256 markings, 123566270 edges, 22900 markings/sec, 2275 secs
lola: 44797643 markings, 123849997 edges, 22277 markings/sec, 2280 secs
lola: 44910721 markings, 124135416 edges, 22616 markings/sec, 2285 secs
lola: 45026786 markings, 124408298 edges, 23213 markings/sec, 2290 secs
lola: 45133656 markings, 124688389 edges, 21374 markings/sec, 2295 secs
lola: 45232355 markings, 124971622 edges, 19740 markings/sec, 2300 secs
lola: 45329521 markings, 125259027 edges, 19433 markings/sec, 2305 secs
lola: 45427043 markings, 125547416 edges, 19504 markings/sec, 2310 secs
lola: 45524671 markings, 125825250 edges, 19526 markings/sec, 2315 secs
lola: 45622308 markings, 126109068 edges, 19527 markings/sec, 2320 secs
lola: 45718917 markings, 126398616 edges, 19322 markings/sec, 2325 secs
lola: 45809707 markings, 126701303 edges, 18158 markings/sec, 2330 secs
lola: 45900737 markings, 126997308 edges, 18206 markings/sec, 2335 secs
lola: 45992480 markings, 127303060 edges, 18349 markings/sec, 2340 secs
lola: 46078148 markings, 127599866 edges, 17134 markings/sec, 2345 secs
lola: 46159791 markings, 127902376 edges, 16329 markings/sec, 2350 secs
lola: 46250929 markings, 128176175 edges, 18228 markings/sec, 2355 secs
lola: 46333145 markings, 128446221 edges, 16443 markings/sec, 2360 secs
lola: 46389601 markings, 128757587 edges, 11291 markings/sec, 2365 secs
lola: 46456538 markings, 129044412 edges, 13387 markings/sec, 2370 secs
lola: 46560266 markings, 129292112 edges, 20746 markings/sec, 2375 secs
lola: 46676585 markings, 129566358 edges, 23264 markings/sec, 2380 secs
lola: 46794996 markings, 129846166 edges, 23682 markings/sec, 2385 secs
lola: 46912842 markings, 130128304 edges, 23569 markings/sec, 2390 secs
lola: 47032643 markings, 130408507 edges, 23960 markings/sec, 2395 secs
lola: 47150088 markings, 130691784 edges, 23489 markings/sec, 2400 secs
lola: 47263795 markings, 130954230 edges, 22741 markings/sec, 2405 secs
lola: 47372826 markings, 131227536 edges, 21806 markings/sec, 2410 secs
lola: 47482934 markings, 131475106 edges, 22022 markings/sec, 2415 secs
lola: 47588213 markings, 131724531 edges, 21056 markings/sec, 2420 secs
lola: 47688494 markings, 131979616 edges, 20056 markings/sec, 2425 secs
lola: 47804825 markings, 132237656 edges, 23266 markings/sec, 2430 secs
lola: 47909914 markings, 132510188 edges, 21018 markings/sec, 2435 secs
lola: 48017560 markings, 132773069 edges, 21529 markings/sec, 2440 secs
lola: 48114554 markings, 133034003 edges, 19399 markings/sec, 2445 secs
lola: 48210708 markings, 133303669 edges, 19231 markings/sec, 2450 secs
lola: 48310312 markings, 133570115 edges, 19921 markings/sec, 2455 secs
lola: 48406219 markings, 133827908 edges, 19181 markings/sec, 2460 secs
lola: 48498492 markings, 134077525 edges, 18455 markings/sec, 2465 secs
lola: 48590134 markings, 134325408 edges, 18328 markings/sec, 2470 secs
lola: 48683968 markings, 134578748 edges, 18767 markings/sec, 2475 secs
lola: 48783006 markings, 134867092 edges, 19808 markings/sec, 2480 secs
lola: 48880120 markings, 135158271 edges, 19423 markings/sec, 2485 secs
lola: 48978131 markings, 135452708 edges, 19602 markings/sec, 2490 secs
lola: 49076171 markings, 135739927 edges, 19608 markings/sec, 2495 secs
lola: 49168882 markings, 136027696 edges, 18542 markings/sec, 2500 secs
lola: 49254753 markings, 136307436 edges, 17174 markings/sec, 2505 secs
lola: 49343241 markings, 136592608 edges, 17698 markings/sec, 2510 secs
lola: 49440942 markings, 136844538 edges, 19540 markings/sec, 2515 secs
lola: 49519208 markings, 137090922 edges, 15653 markings/sec, 2520 secs
lola: 49605821 markings, 137336011 edges, 17323 markings/sec, 2525 secs
lola: 49625828 markings, 137669690 edges, 4001 markings/sec, 2530 secs
lola: 49710783 markings, 137882550 edges, 16991 markings/sec, 2535 secs
lola: 49802421 markings, 138120393 edges, 18328 markings/sec, 2540 secs
lola: 49890905 markings, 138375924 edges, 17697 markings/sec, 2545 secs
lola: 49984895 markings, 138619046 edges, 18798 markings/sec, 2550 secs
lola: 50075161 markings, 138871442 edges, 18053 markings/sec, 2555 secs
lola: 50169953 markings, 139126842 edges, 18958 markings/sec, 2560 secs
lola: 50261137 markings, 139376704 edges, 18237 markings/sec, 2565 secs
lola: 50351553 markings, 139627883 edges, 18083 markings/sec, 2570 secs
lola: 50451531 markings, 139896877 edges, 19996 markings/sec, 2575 secs
lola: 50543359 markings, 140150394 edges, 18366 markings/sec, 2580 secs
lola: 50636283 markings, 140398542 edges, 18585 markings/sec, 2585 secs
lola: 50725643 markings, 140652804 edges, 17872 markings/sec, 2590 secs
lola: 50814061 markings, 140903825 edges, 17684 markings/sec, 2595 secs
lola: 50899774 markings, 141145187 edges, 17143 markings/sec, 2600 secs
lola: 50977168 markings, 141392950 edges, 15479 markings/sec, 2605 secs
lola: 51057985 markings, 141661658 edges, 16163 markings/sec, 2610 secs
lola: 51142948 markings, 141928900 edges, 16993 markings/sec, 2615 secs
lola: 51227527 markings, 142198004 edges, 16916 markings/sec, 2620 secs
lola: 51311662 markings, 142474719 edges, 16827 markings/sec, 2625 secs
lola: 51397660 markings, 142744238 edges, 17200 markings/sec, 2630 secs
lola: 51480821 markings, 143028735 edges, 16632 markings/sec, 2635 secs
lola: 51558181 markings, 143309009 edges, 15472 markings/sec, 2640 secs
lola: 51633724 markings, 143583424 edges, 15109 markings/sec, 2645 secs
lola: 51709899 markings, 143859844 edges, 15235 markings/sec, 2650 secs
lola: 51785782 markings, 144136558 edges, 15177 markings/sec, 2655 secs
lola: 51859765 markings, 144430959 edges, 14797 markings/sec, 2660 secs
lola: 51934513 markings, 144730399 edges, 14950 markings/sec, 2665 secs
lola: 52022744 markings, 144977375 edges, 17646 markings/sec, 2670 secs
lola: 52092997 markings, 145244598 edges, 14051 markings/sec, 2675 secs
lola: 52130571 markings, 145561123 edges, 7515 markings/sec, 2680 secs
lola: 52205328 markings, 145835922 edges, 14951 markings/sec, 2685 secs
lola: 52294598 markings, 146052111 edges, 17854 markings/sec, 2690 secs
lola: 52405923 markings, 146301725 edges, 22265 markings/sec, 2695 secs
lola: 52510796 markings, 146554584 edges, 20975 markings/sec, 2700 secs
lola: 52621673 markings, 146808208 edges, 22175 markings/sec, 2705 secs
lola: 52727069 markings, 147061518 edges, 21079 markings/sec, 2710 secs
lola: 52838493 markings, 147317318 edges, 22285 markings/sec, 2715 secs
lola: 52943482 markings, 147569245 edges, 20998 markings/sec, 2720 secs
lola: 53051837 markings, 147818839 edges, 21671 markings/sec, 2725 secs
lola: 53155559 markings, 148067680 edges, 20744 markings/sec, 2730 secs
lola: 53259849 markings, 148311427 edges, 20858 markings/sec, 2735 secs
lola: 53364568 markings, 148554476 edges, 20944 markings/sec, 2740 secs
lola: 53466326 markings, 148804882 edges, 20352 markings/sec, 2745 secs
lola: 53561830 markings, 149057832 edges, 19101 markings/sec, 2750 secs
lola: 53657024 markings, 149312549 edges, 19039 markings/sec, 2755 secs
lola: 53751654 markings, 149567675 edges, 18926 markings/sec, 2760 secs
lola: 53845303 markings, 149818357 edges, 18730 markings/sec, 2765 secs
lola: 53939250 markings, 150075405 edges, 18789 markings/sec, 2770 secs
lola: 54035650 markings, 150330586 edges, 19280 markings/sec, 2775 secs
lola: 54131936 markings, 150585951 edges, 19257 markings/sec, 2780 secs
lola: 54220002 markings, 150846500 edges, 17613 markings/sec, 2785 secs
lola: 54306282 markings, 151110901 edges, 17256 markings/sec, 2790 secs
lola: 54391971 markings, 151376826 edges, 17138 markings/sec, 2795 secs
lola: 54481178 markings, 151639274 edges, 17841 markings/sec, 2800 secs
lola: 54565963 markings, 151899591 edges, 16957 markings/sec, 2805 secs
lola: 54631211 markings, 152118931 edges, 13050 markings/sec, 2810 secs
lola: 54695602 markings, 152336161 edges, 12878 markings/sec, 2815 secs
lola: 54759142 markings, 152551069 edges, 12708 markings/sec, 2820 secs
lola: 54842890 markings, 152774227 edges, 16750 markings/sec, 2825 secs
lola: 54915162 markings, 153003462 edges, 14454 markings/sec, 2830 secs
lola: 54988988 markings, 153233782 edges, 14765 markings/sec, 2835 secs
lola: 55004647 markings, 153540695 edges, 3132 markings/sec, 2840 secs
lola: 55117696 markings, 153783604 edges, 22610 markings/sec, 2845 secs
lola: 55226259 markings, 154039962 edges, 21713 markings/sec, 2850 secs
lola: 55330773 markings, 154282998 edges, 20903 markings/sec, 2855 secs
lola: 55433897 markings, 154524438 edges, 20625 markings/sec, 2860 secs
lola: 55531028 markings, 154761413 edges, 19426 markings/sec, 2865 secs
lola: 55634727 markings, 154993849 edges, 20740 markings/sec, 2870 secs
lola: 55735406 markings, 155238195 edges, 20136 markings/sec, 2875 secs
lola: 55837859 markings, 155472951 edges, 20491 markings/sec, 2880 secs
lola: 55936579 markings, 155703311 edges, 19744 markings/sec, 2885 secs
lola: 56028660 markings, 155934637 edges, 18416 markings/sec, 2890 secs
lola: 56132184 markings, 156162202 edges, 20705 markings/sec, 2895 secs
lola: 56231972 markings, 156399591 edges, 19958 markings/sec, 2900 secs
lola: 56328585 markings, 156639464 edges, 19323 markings/sec, 2905 secs
lola: 56424591 markings, 156896975 edges, 19201 markings/sec, 2910 secs
lola: 56523363 markings, 157172119 edges, 19754 markings/sec, 2915 secs
lola: 56625470 markings, 157444803 edges, 20421 markings/sec, 2920 secs
lola: 56726146 markings, 157718240 edges, 20135 markings/sec, 2925 secs
lola: 56825835 markings, 157993058 edges, 19938 markings/sec, 2930 secs
lola: 56927202 markings, 158263402 edges, 20273 markings/sec, 2935 secs
lola: 57022058 markings, 158538799 edges, 18971 markings/sec, 2940 secs
lola: 57113161 markings, 158818037 edges, 18221 markings/sec, 2945 secs
lola: 57204053 markings, 159097131 edges, 18178 markings/sec, 2950 secs
lola: 57295825 markings, 159377571 edges, 18354 markings/sec, 2955 secs
lola: 57382663 markings, 159652757 edges, 17368 markings/sec, 2960 secs
lola: 57463771 markings, 159926774 edges, 16222 markings/sec, 2965 secs
lola: 57545989 markings, 160206220 edges, 16444 markings/sec, 2970 secs
lola: 57639313 markings, 160453616 edges, 18665 markings/sec, 2975 secs
lola: 57717558 markings, 160707827 edges, 15649 markings/sec, 2980 secs
lola: 57780366 markings, 160987486 edges, 12562 markings/sec, 2985 secs
lola: 57838328 markings, 161289364 edges, 11592 markings/sec, 2990 secs
lola: 57948243 markings, 161558101 edges, 21983 markings/sec, 2995 secs
lola: 58065275 markings, 161821493 edges, 23406 markings/sec, 3000 secs
lola: 58178416 markings, 162092099 edges, 22628 markings/sec, 3005 secs
lola: 58292566 markings, 162360373 edges, 22830 markings/sec, 3010 secs
lola: 58410079 markings, 162630311 edges, 23503 markings/sec, 3015 secs
lola: 58517915 markings, 162900617 edges, 21567 markings/sec, 3020 secs
lola: 58639363 markings, 163168447 edges, 24290 markings/sec, 3025 secs
lola: 58753940 markings, 163444508 edges, 22915 markings/sec, 3030 secs
lola: 58870530 markings, 163716890 edges, 23318 markings/sec, 3035 secs
lola: 58989067 markings, 163990091 edges, 23707 markings/sec, 3040 secs
lola: 59092659 markings, 164262014 edges, 20718 markings/sec, 3045 secs
lola: 59188946 markings, 164535699 edges, 19257 markings/sec, 3050 secs
lola: 59290483 markings, 164803201 edges, 20307 markings/sec, 3055 secs
lola: 59391491 markings, 165081420 edges, 20202 markings/sec, 3060 secs
lola: 59492748 markings, 165356121 edges, 20251 markings/sec, 3065 secs
lola: 59593818 markings, 165630739 edges, 20214 markings/sec, 3070 secs
lola: 59694337 markings, 165907362 edges, 20104 markings/sec, 3075 secs
lola: 59787743 markings, 166192940 edges, 18681 markings/sec, 3080 secs
lola: 59881554 markings, 166476935 edges, 18762 markings/sec, 3085 secs
lola: 59975511 markings, 166764282 edges, 18791 markings/sec, 3090 secs
lola: 60070614 markings, 167054887 edges, 19021 markings/sec, 3095 secs
lola: 60156530 markings, 167342355 edges, 17183 markings/sec, 3100 secs
lola: 60235522 markings, 167612976 edges, 15798 markings/sec, 3105 secs
lola: 60319222 markings, 167865599 edges, 16740 markings/sec, 3110 secs
lola: time limit reached - aborting
lola:
preliminary result: 1 1 1 1 1 1 1 1 unknown 1 1 1 1 1 1 1 lola:
caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 1 1 1 1 1 1 1 unknown 1 1 1 1 1 1 1
lola:
preliminary result: 1 1 1 1 1 1 1 1 unknown 1 1 1 1 1 1 1
lola: memory consumption: 33224 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 1552661668682

--------------------
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="FlexibleBarrier-PT-10b"
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-3954"
echo " Executing tool lola"
echo " Input is FlexibleBarrier-PT-10b, 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 r082-csrt-155246549100191"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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