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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 744K
-rw-r--r-- 1 mcc users 3.1K Feb 9 08:46 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K Feb 9 08:46 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Feb 5 07:34 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 5 07:34 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 108 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 346 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.5K Feb 4 23:10 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K Feb 4 23:10 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Feb 4 22:33 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.7K Feb 4 22:33 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Feb 2 01:52 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Feb 2 01:52 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Jan 29 15:34 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Jan 29 15:34 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 4 22:18 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K 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 3 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 591K 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 CloudDeployment-PT-4b-UpperBounds-00
FORMULA_NAME CloudDeployment-PT-4b-UpperBounds-01
FORMULA_NAME CloudDeployment-PT-4b-UpperBounds-02
FORMULA_NAME CloudDeployment-PT-4b-UpperBounds-03
FORMULA_NAME CloudDeployment-PT-4b-UpperBounds-04
FORMULA_NAME CloudDeployment-PT-4b-UpperBounds-05
FORMULA_NAME CloudDeployment-PT-4b-UpperBounds-06
FORMULA_NAME CloudDeployment-PT-4b-UpperBounds-07
FORMULA_NAME CloudDeployment-PT-4b-UpperBounds-08
FORMULA_NAME CloudDeployment-PT-4b-UpperBounds-09
FORMULA_NAME CloudDeployment-PT-4b-UpperBounds-10
FORMULA_NAME CloudDeployment-PT-4b-UpperBounds-11
FORMULA_NAME CloudDeployment-PT-4b-UpperBounds-12
FORMULA_NAME CloudDeployment-PT-4b-UpperBounds-13
FORMULA_NAME CloudDeployment-PT-4b-UpperBounds-14
FORMULA_NAME CloudDeployment-PT-4b-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1552518499448

info: Time: 3600 - MCC
vrfy: Checking UpperBounds @ CloudDeployment-PT-4b @ 3570 seconds

FORMULA CloudDeployment-PT-4b-UpperBounds-01 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudDeployment-PT-4b-UpperBounds-03 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudDeployment-PT-4b-UpperBounds-04 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudDeployment-PT-4b-UpperBounds-05 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudDeployment-PT-4b-UpperBounds-06 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudDeployment-PT-4b-UpperBounds-07 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudDeployment-PT-4b-UpperBounds-08 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudDeployment-PT-4b-UpperBounds-09 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

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

FORMULA CloudDeployment-PT-4b-UpperBounds-11 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudDeployment-PT-4b-UpperBounds-12 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudDeployment-PT-4b-UpperBounds-13 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudDeployment-PT-4b-UpperBounds-14 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudDeployment-PT-4b-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 @ CloudDeployment-PT-4b

{
"build":
{
"architecture": 64,
"assertions": false,
"build_hostname": "mcc2019",
"build_system": "x86_64-unknown-linux-gnu",
"optimizations": true,
"package_version": "2.0",
"svn_version": "3189M"
},
"call":
{
"exec_host": "mcc2019",
"markinglimit": null,
"parameters":
[
"--pnmlnet",
"model.pnml",
"--xmlformula",
"--formula=UpperBounds.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--check=modelchecking",
"--stubborn=tarjan",
"--timelimit=3570",
"--localtimelimit=0",
"--json=UpperBounds.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Wed Mar 13 23:08:19 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(p67)",
"processed_size": 8,
"rewrites": 0
},
"result":
{
"edges": 20,
"markings": 21,
"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": 238
},
"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(p533)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 35,
"markings": 36,
"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": 258
},
"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(p1112)",
"processed_size": 10,
"rewrites": 0
},
"result":
{
"edges": 27,
"markings": 28,
"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": 282
},
"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(p1022)",
"processed_size": 10,
"rewrites": 0
},
"result":
{
"edges": 111,
"markings": 112,
"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": 310
},
"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(p589)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 10,
"markings": 11,
"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": 344
},
"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(p679)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 502,
"markings": 490,
"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": 387
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "MAX(p355)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 15,
"markings": 16,
"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": 443
},
"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(p415)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 107,
"markings": 108,
"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": 517
},
"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(p631)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 15,
"markings": 16,
"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": 620
},
"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(p288)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 7,
"markings": 8,
"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": 775
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "MAX(p960)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 695,
"markings": 678,
"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": 1033
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "MAX(p914)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 12,
"markings": 13,
"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": 1550
},
"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(p930)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 99,
"markings": 100,
"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": 3101
},
"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(p473)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 46,
"markings": 47,
"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": 6052276,
"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": 8741,
"conflict_clusters": 1037,
"places": 1182,
"places_significant": 1165,
"singleton_clusters": 0,
"transitions": 1824
},
"result":
{
"interim_value": "unknown 1 unknown 1 1 1 1 1 1 1 1 1 1 1 1 1 ",
"preliminary_value": "unknown 1 unknown 1 1 1 1 1 1 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: 3006/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 1182
lola: finding significant places
lola: 1182 places, 1824 transitions, 1165 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(p398) : MAX(p67) : MAX(p142) : MAX(p533) : MAX(p1112) : MAX(p1022) : MAX(p589) : MAX(p679) : MAX(p355) : MAX(p415) : MAX(p631) : MAX(p288) : MAX(p960) : MAX(p914) : MAX(p930) : MAX(p473)
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(p398)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p398)
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: 89033 markings, 241215 edges, 17807 markings/sec, 0 secs
lola: 187184 markings, 495882 edges, 19630 markings/sec, 5 secs
lola: 337069 markings, 741422 edges, 29977 markings/sec, 10 secs
lola: 483608 markings, 987436 edges, 29308 markings/sec, 15 secs
lola: 618881 markings, 1254338 edges, 27055 markings/sec, 20 secs
lola: 759208 markings, 1517051 edges, 28065 markings/sec, 25 secs
lola: 903495 markings, 1770607 edges, 28857 markings/sec, 30 secs
lola: 1034311 markings, 2043450 edges, 26163 markings/sec, 35 secs
lola: 1165397 markings, 2301136 edges, 26217 markings/sec, 40 secs
lola: 1289380 markings, 2573101 edges, 24797 markings/sec, 45 secs
lola: 1412328 markings, 2846389 edges, 24590 markings/sec, 50 secs
lola: 1544800 markings, 3112848 edges, 26494 markings/sec, 55 secs
lola: 1675838 markings, 3388624 edges, 26208 markings/sec, 60 secs
lola: 1815552 markings, 3648871 edges, 27943 markings/sec, 65 secs
lola: 1947368 markings, 3924556 edges, 26363 markings/sec, 70 secs
lola: 2090112 markings, 4183538 edges, 28549 markings/sec, 75 secs
lola: 2231469 markings, 4440763 edges, 28271 markings/sec, 80 secs
lola: 2375914 markings, 4680956 edges, 28889 markings/sec, 85 secs
lola: 2509744 markings, 4942410 edges, 26766 markings/sec, 90 secs
lola: 2652373 markings, 5182846 edges, 28526 markings/sec, 95 secs
lola: 2781521 markings, 5452487 edges, 25830 markings/sec, 100 secs
lola: 2921047 markings, 5713156 edges, 27905 markings/sec, 105 secs
lola: 3057938 markings, 5971261 edges, 27378 markings/sec, 110 secs
lola: 3195812 markings, 6228413 edges, 27575 markings/sec, 115 secs
lola: 3327291 markings, 6484286 edges, 26296 markings/sec, 120 secs
lola: 3460748 markings, 6740166 edges, 26691 markings/sec, 125 secs
lola: 3592569 markings, 6995204 edges, 26364 markings/sec, 130 secs
lola: 3724458 markings, 7250041 edges, 26378 markings/sec, 135 secs
lola: 3853555 markings, 7505942 edges, 25819 markings/sec, 140 secs
lola: 3980309 markings, 7773927 edges, 25351 markings/sec, 145 secs
lola: 4108025 markings, 8032607 edges, 25543 markings/sec, 150 secs
lola: 4235364 markings, 8297351 edges, 25468 markings/sec, 155 secs
lola: 4359938 markings, 8566467 edges, 24915 markings/sec, 160 secs
lola: 4479874 markings, 8837804 edges, 23987 markings/sec, 165 secs
lola: 4597295 markings, 9112724 edges, 23484 markings/sec, 170 secs
lola: 4715735 markings, 9385755 edges, 23688 markings/sec, 175 secs
lola: 4834494 markings, 9655058 edges, 23752 markings/sec, 180 secs
lola: 4953311 markings, 9928739 edges, 23763 markings/sec, 185 secs
lola: 5072537 markings, 10203595 edges, 23845 markings/sec, 190 secs
lola: 5192818 markings, 10478564 edges, 24056 markings/sec, 195 secs
lola: 5317627 markings, 10752565 edges, 24962 markings/sec, 200 secs
lola: 5436369 markings, 11026774 edges, 23748 markings/sec, 205 secs
lola: 5550402 markings, 11308488 edges, 22807 markings/sec, 210 secs
lola: 5660824 markings, 11602543 edges, 22084 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 634492 KB
lola: time consumption: 227 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 1 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p67)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p67)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 21 markings, 20 edges
lola: ========================================
lola: subprocess 2 will run for 238 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p142)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p142)
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: 114009 markings, 195139 edges, 22802 markings/sec, 0 secs
lola: 239331 markings, 403528 edges, 25064 markings/sec, 5 secs
lola: 365681 markings, 619018 edges, 25270 markings/sec, 10 secs
lola: 491689 markings, 858915 edges, 25202 markings/sec, 15 secs
lola: 620126 markings, 1090235 edges, 25687 markings/sec, 20 secs
lola: 756166 markings, 1321178 edges, 27208 markings/sec, 25 secs
lola: 886219 markings, 1520526 edges, 26011 markings/sec, 30 secs
lola: 1027606 markings, 1782690 edges, 28277 markings/sec, 35 secs
lola: 1163571 markings, 2027486 edges, 27193 markings/sec, 40 secs
lola: 1269173 markings, 2248824 edges, 21120 markings/sec, 45 secs
lola: 1384386 markings, 2465562 edges, 23043 markings/sec, 50 secs
lola: 1504282 markings, 2674386 edges, 23979 markings/sec, 55 secs
lola: 1619480 markings, 2906639 edges, 23040 markings/sec, 60 secs
lola: 1754863 markings, 3118586 edges, 27077 markings/sec, 65 secs
lola: 1828483 markings, 3372754 edges, 14724 markings/sec, 70 secs
lola: 1911734 markings, 3640494 edges, 16650 markings/sec, 75 secs
lola: 2024272 markings, 3877482 edges, 22508 markings/sec, 80 secs
lola: 2131978 markings, 4119247 edges, 21541 markings/sec, 85 secs
lola: 2216135 markings, 4376391 edges, 16831 markings/sec, 90 secs
lola: 2303239 markings, 4617488 edges, 17421 markings/sec, 95 secs
lola: 2395730 markings, 4836184 edges, 18498 markings/sec, 100 secs
lola: 2499732 markings, 5051026 edges, 20800 markings/sec, 105 secs
lola: 2634521 markings, 5252712 edges, 26958 markings/sec, 110 secs
lola: 2722629 markings, 5467076 edges, 17622 markings/sec, 115 secs
lola: 2787212 markings, 5722234 edges, 12917 markings/sec, 120 secs
lola: 2895355 markings, 5935883 edges, 21629 markings/sec, 125 secs
lola: 2986618 markings, 6154103 edges, 18253 markings/sec, 130 secs
lola: 3079101 markings, 6366710 edges, 18497 markings/sec, 135 secs
lola: 3168643 markings, 6580272 edges, 17908 markings/sec, 140 secs
lola: 3251177 markings, 6829441 edges, 16507 markings/sec, 145 secs
lola: 3336396 markings, 7053260 edges, 17044 markings/sec, 150 secs
lola: 3424393 markings, 7283576 edges, 17599 markings/sec, 155 secs
lola: 3520600 markings, 7505886 edges, 19241 markings/sec, 160 secs
lola: 3636145 markings, 7719217 edges, 23109 markings/sec, 165 secs
lola: 3753609 markings, 7927626 edges, 23493 markings/sec, 170 secs
lola: 3861849 markings, 8153741 edges, 21648 markings/sec, 175 secs
lola: 3999204 markings, 8360912 edges, 27471 markings/sec, 180 secs
lola: 4078086 markings, 8592155 edges, 15776 markings/sec, 185 secs
lola: 4151308 markings, 8861875 edges, 14644 markings/sec, 190 secs
lola: 4266381 markings, 9088179 edges, 23015 markings/sec, 195 secs
lola: 4372971 markings, 9330938 edges, 21318 markings/sec, 200 secs
lola: 4454182 markings, 9586798 edges, 16242 markings/sec, 205 secs
lola: 4539437 markings, 9833639 edges, 17051 markings/sec, 210 secs
lola: 4631549 markings, 10051201 edges, 18422 markings/sec, 215 secs
lola: 4727955 markings, 10262806 edges, 19281 markings/sec, 220 secs
lola: 4857241 markings, 10464393 edges, 25857 markings/sec, 225 secs
lola: 4957977 markings, 10665865 edges, 20147 markings/sec, 230 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 496612 KB
lola: time consumption: 465 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 238 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p533)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p533)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 36 markings, 35 edges
lola: ========================================
lola: subprocess 4 will run for 258 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1112)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1112)
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: 28 markings, 27 edges
lola: ========================================
lola: subprocess 5 will run for 282 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1022)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1022)
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: 112 markings, 111 edges
lola: ========================================
lola: subprocess 6 will run for 310 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p589)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p589)
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: 11 markings, 10 edges
lola: ========================================
lola: subprocess 7 will run for 344 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p679)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p679)
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: 490 markings, 502 edges
lola: ========================================
lola: subprocess 8 will run for 387 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p355)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p355)
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: 16 markings, 15 edges
lola: ========================================
lola: subprocess 9 will run for 443 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p415)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p415)
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: 108 markings, 107 edges
lola: ========================================
lola: subprocess 10 will run for 517 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p631)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p631)
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: 16 markings, 15 edges
lola: ========================================
lola: subprocess 11 will run for 620 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p288)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p288)
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 12 will run for 775 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p960)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p960)
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: 678 markings, 695 edges
lola: ========================================
lola: subprocess 13 will run for 1033 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p914)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p914)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 13 markings, 12 edges
lola: ========================================
lola: subprocess 14 will run for 1550 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p930)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p930)
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: 100 markings, 99 edges
lola: ========================================
lola: subprocess 15 will run for 3101 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p473)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p473)
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: 47 markings, 46 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: MAX(p398)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p398)
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: 87914 markings, 238072 edges, 17583 markings/sec, 0 secs
lola: 173591 markings, 475133 edges, 17135 markings/sec, 5 secs
lola: 307729 markings, 696577 edges, 26828 markings/sec, 10 secs
lola: 458491 markings, 940809 edges, 30152 markings/sec, 15 secs
lola: 589847 markings, 1205219 edges, 26271 markings/sec, 20 secs
lola: 732077 markings, 1473358 edges, 28446 markings/sec, 25 secs
lola: 882010 markings, 1725325 edges, 29987 markings/sec, 30 secs
lola: 1008937 markings, 1999455 edges, 25385 markings/sec, 35 secs
lola: 1146898 markings, 2260018 edges, 27592 markings/sec, 40 secs
lola: 1270543 markings, 2532946 edges, 24729 markings/sec, 45 secs
lola: 1393288 markings, 2807455 edges, 24549 markings/sec, 50 secs
lola: 1525766 markings, 3079807 edges, 26496 markings/sec, 55 secs
lola: 1658840 markings, 3356974 edges, 26615 markings/sec, 60 secs
lola: 1799308 markings, 3621348 edges, 28094 markings/sec, 65 secs
lola: 1935455 markings, 3899195 edges, 27229 markings/sec, 70 secs
lola: 2078667 markings, 4162114 edges, 28642 markings/sec, 75 secs
lola: 2220965 markings, 4425388 edges, 28460 markings/sec, 80 secs
lola: 2368318 markings, 4667769 edges, 29471 markings/sec, 85 secs
lola: 2503342 markings, 4931852 edges, 27005 markings/sec, 90 secs
lola: 2648064 markings, 5175200 edges, 28944 markings/sec, 95 secs
lola: 2778298 markings, 5446962 edges, 26047 markings/sec, 100 secs
lola: 2919059 markings, 5709764 edges, 28152 markings/sec, 105 secs
lola: 3057245 markings, 5969942 edges, 27637 markings/sec, 110 secs
lola: 3196313 markings, 6229394 edges, 27814 markings/sec, 115 secs
lola: 3328780 markings, 6487100 edges, 26493 markings/sec, 120 secs
lola: 3463491 markings, 6745044 edges, 26942 markings/sec, 125 secs
lola: 3596407 markings, 7002581 edges, 26583 markings/sec, 130 secs
lola: 3729307 markings, 7259376 edges, 26580 markings/sec, 135 secs
lola: 3859555 markings, 7517411 edges, 26050 markings/sec, 140 secs
lola: 3987139 markings, 7787153 edges, 25517 markings/sec, 145 secs
lola: 4116078 markings, 8049461 edges, 25788 markings/sec, 150 secs
lola: 4244029 markings, 8316606 edges, 25590 markings/sec, 155 secs
lola: 4369874 markings, 8586775 edges, 25169 markings/sec, 160 secs
lola: 4490652 markings, 8862197 edges, 24156 markings/sec, 165 secs
lola: 4609251 markings, 9140136 edges, 23720 markings/sec, 170 secs
lola: 4728373 markings, 9416389 edges, 23824 markings/sec, 175 secs
lola: 4847294 markings, 9687268 edges, 23784 markings/sec, 180 secs
lola: 4967343 markings, 9961673 edges, 24010 markings/sec, 185 secs
lola: 5085972 markings, 10238323 edges, 23726 markings/sec, 190 secs
lola: 5209504 markings, 10515085 edges, 24706 markings/sec, 195 secs
lola: 5334954 markings, 10790754 edges, 25090 markings/sec, 200 secs
lola: 5454495 markings, 11065539 edges, 23908 markings/sec, 205 secs
lola: 5567913 markings, 11354595 edges, 22684 markings/sec, 210 secs
lola: 5678410 markings, 11650873 edges, 22099 markings/sec, 215 secs
lola: 5782219 markings, 11952773 edges, 20762 markings/sec, 220 secs
lola: 5882467 markings, 12261094 edges, 20050 markings/sec, 225 secs
lola: 5976010 markings, 12577367 edges, 18709 markings/sec, 230 secs
lola: 6060808 markings, 12904103 edges, 16960 markings/sec, 235 secs
lola: 6130348 markings, 13255444 edges, 13908 markings/sec, 240 secs
lola: 6216361 markings, 13588146 edges, 17203 markings/sec, 245 secs
lola: 6359975 markings, 13822875 edges, 28723 markings/sec, 250 secs
lola: 6490283 markings, 14080556 edges, 26062 markings/sec, 255 secs
lola: 6626717 markings, 14319631 edges, 27287 markings/sec, 260 secs
lola: 6759741 markings, 14561937 edges, 26605 markings/sec, 265 secs
lola: 6899500 markings, 14803987 edges, 27952 markings/sec, 270 secs
lola: 7023403 markings, 15060770 edges, 24781 markings/sec, 275 secs
lola: 7155874 markings, 15319752 edges, 26494 markings/sec, 280 secs
lola: 7277963 markings, 15586273 edges, 24418 markings/sec, 285 secs
lola: 7407135 markings, 15846640 edges, 25834 markings/sec, 290 secs
lola: 7529842 markings, 16115143 edges, 24541 markings/sec, 295 secs
lola: 7655470 markings, 16377556 edges, 25126 markings/sec, 300 secs
lola: 7775897 markings, 16641618 edges, 24085 markings/sec, 305 secs
lola: 7900365 markings, 16891258 edges, 24894 markings/sec, 310 secs
lola: 8018498 markings, 17153717 edges, 23627 markings/sec, 315 secs
lola: 8138198 markings, 17415117 edges, 23940 markings/sec, 320 secs
lola: 8265399 markings, 17673838 edges, 25440 markings/sec, 325 secs
lola: 8396401 markings, 17938842 edges, 26200 markings/sec, 330 secs
lola: 8531470 markings, 18188165 edges, 27014 markings/sec, 335 secs
lola: 8659082 markings, 18449417 edges, 25522 markings/sec, 340 secs
lola: 8795932 markings, 18696640 edges, 27370 markings/sec, 345 secs
lola: 8932446 markings, 18936966 edges, 27303 markings/sec, 350 secs
lola: 9063215 markings, 19183957 edges, 26154 markings/sec, 355 secs
lola: 9191248 markings, 19436473 edges, 25607 markings/sec, 360 secs
lola: 9318923 markings, 19688388 edges, 25535 markings/sec, 365 secs
lola: 9448282 markings, 19934420 edges, 25872 markings/sec, 370 secs
lola: 9575912 markings, 20180964 edges, 25526 markings/sec, 375 secs
lola: 9700737 markings, 20431456 edges, 24965 markings/sec, 380 secs
lola: 9823823 markings, 20681760 edges, 24617 markings/sec, 385 secs
lola: 9944673 markings, 20944693 edges, 24170 markings/sec, 390 secs
lola: 10061892 markings, 21205556 edges, 23444 markings/sec, 395 secs
lola: 10173769 markings, 21479752 edges, 22375 markings/sec, 400 secs
lola: 10286520 markings, 21757018 edges, 22550 markings/sec, 405 secs
lola: 10396022 markings, 22036091 edges, 21900 markings/sec, 410 secs
lola: 10507072 markings, 22311539 edges, 22210 markings/sec, 415 secs
lola: 10614302 markings, 22592033 edges, 21446 markings/sec, 420 secs
lola: 10712747 markings, 22879896 edges, 19689 markings/sec, 425 secs
lola: 10807939 markings, 23169961 edges, 19038 markings/sec, 430 secs
lola: 10898256 markings, 23467443 edges, 18063 markings/sec, 435 secs
lola: 10982052 markings, 23775101 edges, 16759 markings/sec, 440 secs
lola: 11069847 markings, 24075482 edges, 17559 markings/sec, 445 secs
lola: 11188103 markings, 24337406 edges, 23651 markings/sec, 450 secs
lola: 11305513 markings, 24598173 edges, 23482 markings/sec, 455 secs
lola: 11434201 markings, 24858529 edges, 25738 markings/sec, 460 secs
lola: 11548287 markings, 25134080 edges, 22817 markings/sec, 465 secs
lola: 11670253 markings, 25382501 edges, 24393 markings/sec, 470 secs
lola: 11788218 markings, 25638014 edges, 23593 markings/sec, 475 secs
lola: 11903792 markings, 25896853 edges, 23115 markings/sec, 480 secs
lola: 12017948 markings, 26157812 edges, 22831 markings/sec, 485 secs
lola: 12127936 markings, 26422632 edges, 21998 markings/sec, 490 secs
lola: 12243256 markings, 26680289 edges, 23064 markings/sec, 495 secs
lola: 12347550 markings, 26952605 edges, 20859 markings/sec, 500 secs
lola: 12468513 markings, 27211780 edges, 24193 markings/sec, 505 secs
lola: 12595103 markings, 27479967 edges, 25318 markings/sec, 510 secs
lola: 12719733 markings, 27749209 edges, 24926 markings/sec, 515 secs
lola: 12842101 markings, 28015274 edges, 24474 markings/sec, 520 secs
lola: 12963586 markings, 28279918 edges, 24297 markings/sec, 525 secs
lola: 13082981 markings, 28543716 edges, 23879 markings/sec, 530 secs
lola: 13198640 markings, 28807310 edges, 23132 markings/sec, 535 secs
lola: 13320210 markings, 29064005 edges, 24314 markings/sec, 540 secs
lola: 13450425 markings, 29307689 edges, 26043 markings/sec, 545 secs
lola: 13565321 markings, 29569825 edges, 22979 markings/sec, 550 secs
lola: 13682099 markings, 29828229 edges, 23356 markings/sec, 555 secs
lola: 13784648 markings, 30103920 edges, 20510 markings/sec, 560 secs
lola: 13900833 markings, 30354872 edges, 23237 markings/sec, 565 secs
lola: 14017559 markings, 30613657 edges, 23345 markings/sec, 570 secs
lola: 14123231 markings, 30889016 edges, 21134 markings/sec, 575 secs
lola: 14241193 markings, 31143760 edges, 23592 markings/sec, 580 secs
lola: 14364902 markings, 31407293 edges, 24742 markings/sec, 585 secs
lola: 14483529 markings, 31667869 edges, 23725 markings/sec, 590 secs
lola: 14598271 markings, 31928395 edges, 22948 markings/sec, 595 secs
lola: 14712393 markings, 32185066 edges, 22824 markings/sec, 600 secs
lola: 14831456 markings, 32433477 edges, 23813 markings/sec, 605 secs
lola: 14942421 markings, 32689720 edges, 22193 markings/sec, 610 secs
lola: 15043906 markings, 32960462 edges, 20297 markings/sec, 615 secs
lola: 15156773 markings, 33211316 edges, 22573 markings/sec, 620 secs
lola: 15272341 markings, 33458663 edges, 23114 markings/sec, 625 secs
lola: 15388750 markings, 33715780 edges, 23282 markings/sec, 630 secs
lola: 15514853 markings, 33998313 edges, 25221 markings/sec, 635 secs
lola: 15645040 markings, 34274906 edges, 26037 markings/sec, 640 secs
lola: 15770209 markings, 34559440 edges, 25034 markings/sec, 645 secs
lola: 15895806 markings, 34832992 edges, 25119 markings/sec, 650 secs
lola: 16023393 markings, 35101010 edges, 25517 markings/sec, 655 secs
lola: 16149088 markings, 35374220 edges, 25139 markings/sec, 660 secs
lola: 16266223 markings, 35639003 edges, 23427 markings/sec, 665 secs
lola: 16384735 markings, 35907995 edges, 23702 markings/sec, 670 secs
lola: 16500575 markings, 36173652 edges, 23168 markings/sec, 675 secs
lola: 16624015 markings, 36423232 edges, 24688 markings/sec, 680 secs
lola: 16741655 markings, 36694003 edges, 23528 markings/sec, 685 secs
lola: 16859233 markings, 36967702 edges, 23516 markings/sec, 690 secs
lola: 16969030 markings, 37236353 edges, 21959 markings/sec, 695 secs
lola: 17069628 markings, 37516367 edges, 20120 markings/sec, 700 secs
lola: 17173554 markings, 37767933 edges, 20785 markings/sec, 705 secs
lola: 17311006 markings, 38028233 edges, 27490 markings/sec, 710 secs
lola: 17458618 markings, 38295443 edges, 29522 markings/sec, 715 secs
lola: 17609327 markings, 38560039 edges, 30142 markings/sec, 720 secs
lola: 17755865 markings, 38820540 edges, 29308 markings/sec, 725 secs
lola: 17890879 markings, 39104112 edges, 27003 markings/sec, 730 secs
lola: 18028532 markings, 39386932 edges, 27531 markings/sec, 735 secs
lola: 18163600 markings, 39662723 edges, 27014 markings/sec, 740 secs
lola: 18302694 markings, 39929488 edges, 27819 markings/sec, 745 secs
lola: 18434430 markings, 40194440 edges, 26347 markings/sec, 750 secs
lola: 18563830 markings, 40415382 edges, 25880 markings/sec, 755 secs
lola: 18681521 markings, 40684834 edges, 23538 markings/sec, 760 secs
lola: 18808706 markings, 40949004 edges, 25437 markings/sec, 765 secs
lola: 18950409 markings, 41206807 edges, 28341 markings/sec, 770 secs
lola: 19091114 markings, 41462157 edges, 28141 markings/sec, 775 secs
lola: 19231712 markings, 41718456 edges, 28120 markings/sec, 780 secs
lola: 19373173 markings, 41969904 edges, 28292 markings/sec, 785 secs
lola: 19507864 markings, 42230481 edges, 26938 markings/sec, 790 secs
lola: 19632289 markings, 42502237 edges, 24885 markings/sec, 795 secs
lola: 19764831 markings, 42766146 edges, 26508 markings/sec, 800 secs
lola: 19892298 markings, 43020882 edges, 25493 markings/sec, 805 secs
lola: 20025807 markings, 43230142 edges, 26702 markings/sec, 810 secs
lola: 20145298 markings, 43464804 edges, 23898 markings/sec, 815 secs
lola: 20267412 markings, 43731208 edges, 24423 markings/sec, 820 secs
lola: 20400156 markings, 43998355 edges, 26549 markings/sec, 825 secs
lola: 20524921 markings, 44266987 edges, 24953 markings/sec, 830 secs
lola: 20654068 markings, 44535529 edges, 25829 markings/sec, 835 secs
lola: 20781594 markings, 44800653 edges, 25505 markings/sec, 840 secs
lola: 20900710 markings, 45067566 edges, 23823 markings/sec, 845 secs
lola: 21011201 markings, 45303989 edges, 22098 markings/sec, 850 secs
lola: 21108090 markings, 45552181 edges, 19378 markings/sec, 855 secs
lola: 21200812 markings, 45803876 edges, 18544 markings/sec, 860 secs
lola: 21315235 markings, 46055026 edges, 22885 markings/sec, 865 secs
lola: 21464630 markings, 46296459 edges, 29879 markings/sec, 870 secs
lola: 21603432 markings, 46546459 edges, 27760 markings/sec, 875 secs
lola: 21738659 markings, 46806636 edges, 27045 markings/sec, 880 secs
lola: 21877874 markings, 47064991 edges, 27843 markings/sec, 885 secs
lola: 22011570 markings, 47325886 edges, 26739 markings/sec, 890 secs
lola: 22142067 markings, 47591278 edges, 26099 markings/sec, 895 secs
lola: 22268555 markings, 47851530 edges, 25298 markings/sec, 900 secs
lola: 22390188 markings, 48121956 edges, 24327 markings/sec, 905 secs
lola: 22511252 markings, 48391297 edges, 24213 markings/sec, 910 secs
lola: 22646170 markings, 48656498 edges, 26984 markings/sec, 915 secs
lola: 22775138 markings, 48924283 edges, 25794 markings/sec, 920 secs
lola: 22913761 markings, 49189082 edges, 27725 markings/sec, 925 secs
lola: 23048782 markings, 49450511 edges, 27004 markings/sec, 930 secs
lola: 23186305 markings, 49708363 edges, 27505 markings/sec, 935 secs
lola: 23331145 markings, 49948398 edges, 28968 markings/sec, 940 secs
lola: 23465987 markings, 50197034 edges, 26968 markings/sec, 945 secs
lola: 23605107 markings, 50443964 edges, 27824 markings/sec, 950 secs
lola: 23739069 markings, 50695953 edges, 26792 markings/sec, 955 secs
lola: 23870357 markings, 50956556 edges, 26258 markings/sec, 960 secs
lola: 24005007 markings, 51211094 edges, 26930 markings/sec, 965 secs
lola: 24138442 markings, 51466913 edges, 26687 markings/sec, 970 secs
lola: 24272761 markings, 51716058 edges, 26864 markings/sec, 975 secs
lola: 24402246 markings, 51964665 edges, 25897 markings/sec, 980 secs
lola: 24531911 markings, 52214939 edges, 25933 markings/sec, 985 secs
lola: 24660896 markings, 52466695 edges, 25797 markings/sec, 990 secs
lola: 24789628 markings, 52714889 edges, 25746 markings/sec, 995 secs
lola: 24916829 markings, 52967506 edges, 25440 markings/sec, 1000 secs
lola: 25041889 markings, 53231914 edges, 25012 markings/sec, 1005 secs
lola: 25168489 markings, 53489234 edges, 25320 markings/sec, 1010 secs
lola: 25294464 markings, 53752750 edges, 25195 markings/sec, 1015 secs
lola: 25418083 markings, 54018714 edges, 24724 markings/sec, 1020 secs
lola: 25537070 markings, 54289782 edges, 23797 markings/sec, 1025 secs
lola: 25653975 markings, 54563798 edges, 23381 markings/sec, 1030 secs
lola: 25771737 markings, 54836220 edges, 23552 markings/sec, 1035 secs
lola: 25888971 markings, 55103240 edges, 23447 markings/sec, 1040 secs
lola: 26007697 markings, 55375195 edges, 23745 markings/sec, 1045 secs
lola: 26124881 markings, 55649339 edges, 23437 markings/sec, 1050 secs
lola: 26245351 markings, 55919640 edges, 24094 markings/sec, 1055 secs
lola: 26369101 markings, 56191166 edges, 24750 markings/sec, 1060 secs
lola: 26487135 markings, 56463228 edges, 23607 markings/sec, 1065 secs
lola: 26599716 markings, 56743773 edges, 22516 markings/sec, 1070 secs
lola: 26709575 markings, 57036220 edges, 21972 markings/sec, 1075 secs
lola: 26811450 markings, 57335240 edges, 20375 markings/sec, 1080 secs
lola: 26910904 markings, 57636750 edges, 19891 markings/sec, 1085 secs
lola: 27005075 markings, 57944750 edges, 18834 markings/sec, 1090 secs
lola: 27091257 markings, 58259386 edges, 17236 markings/sec, 1095 secs
lola: 27161005 markings, 58597450 edges, 13950 markings/sec, 1100 secs
lola: 27232394 markings, 58932941 edges, 14278 markings/sec, 1105 secs
lola: 27362925 markings, 59183585 edges, 26106 markings/sec, 1110 secs
lola: 27494444 markings, 59429308 edges, 26304 markings/sec, 1115 secs
lola: 27626336 markings, 59669801 edges, 26378 markings/sec, 1120 secs
lola: 27760654 markings, 59907825 edges, 26864 markings/sec, 1125 secs
lola: 27890573 markings, 60145116 edges, 25984 markings/sec, 1130 secs
lola: 28011992 markings, 60393457 edges, 24284 markings/sec, 1135 secs
lola: 28143451 markings, 60644333 edges, 26292 markings/sec, 1140 secs
lola: 28262366 markings, 60910014 edges, 23783 markings/sec, 1145 secs
lola: 28390759 markings, 61163680 edges, 25679 markings/sec, 1150 secs
lola: 28510673 markings, 61429784 edges, 23983 markings/sec, 1155 secs
lola: 28633195 markings, 61687586 edges, 24504 markings/sec, 1160 secs
lola: 28753261 markings, 61947578 edges, 24013 markings/sec, 1165 secs
lola: 28875547 markings, 62194023 edges, 24457 markings/sec, 1170 secs
lola: 28993349 markings, 62451880 edges, 23560 markings/sec, 1175 secs
lola: 29109469 markings, 62710170 edges, 23224 markings/sec, 1180 secs
lola: 29229058 markings, 62965771 edges, 23918 markings/sec, 1185 secs
lola: 29356599 markings, 63226223 edges, 25508 markings/sec, 1190 secs
lola: 29489605 markings, 63465764 edges, 26601 markings/sec, 1195 secs
lola: 29614788 markings, 63715999 edges, 25037 markings/sec, 1200 secs
lola: 29745565 markings, 63960816 edges, 26155 markings/sec, 1205 secs
lola: 29874125 markings, 64202748 edges, 25712 markings/sec, 1210 secs
lola: 30003977 markings, 64443840 edges, 25970 markings/sec, 1215 secs
lola: 30137143 markings, 64681287 edges, 26633 markings/sec, 1220 secs
lola: 30258682 markings, 64929312 edges, 24308 markings/sec, 1225 secs
lola: 30382941 markings, 65165057 edges, 24852 markings/sec, 1230 secs
lola: 30506439 markings, 65403066 edges, 24700 markings/sec, 1235 secs
lola: 30628865 markings, 65641860 edges, 24485 markings/sec, 1240 secs
lola: 30750227 markings, 65888083 edges, 24272 markings/sec, 1245 secs
lola: 30868740 markings, 66135800 edges, 23703 markings/sec, 1250 secs
lola: 30986146 markings, 66394658 edges, 23481 markings/sec, 1255 secs
lola: 31099928 markings, 66657376 edges, 22756 markings/sec, 1260 secs
lola: 31213284 markings, 66925279 edges, 22671 markings/sec, 1265 secs
lola: 31321823 markings, 67200388 edges, 21708 markings/sec, 1270 secs
lola: 31429806 markings, 67477022 edges, 21597 markings/sec, 1275 secs
lola: 31538283 markings, 67750076 edges, 21695 markings/sec, 1280 secs
lola: 31643188 markings, 68028646 edges, 20981 markings/sec, 1285 secs
lola: 31739944 markings, 68313137 edges, 19351 markings/sec, 1290 secs
lola: 31832459 markings, 68599179 edges, 18503 markings/sec, 1295 secs
lola: 31920512 markings, 68889365 edges, 17611 markings/sec, 1300 secs
lola: 31991603 markings, 69199560 edges, 14218 markings/sec, 1305 secs
lola: 32088883 markings, 69476115 edges, 19456 markings/sec, 1310 secs
lola: 32204270 markings, 69728938 edges, 23077 markings/sec, 1315 secs
lola: 32318746 markings, 69982954 edges, 22895 markings/sec, 1320 secs
lola: 32443469 markings, 70238673 edges, 24945 markings/sec, 1325 secs
lola: 32554636 markings, 70507659 edges, 22233 markings/sec, 1330 secs
lola: 32674966 markings, 70748570 edges, 24066 markings/sec, 1335 secs
lola: 32789589 markings, 70997590 edges, 22925 markings/sec, 1340 secs
lola: 32902492 markings, 71250436 edges, 22581 markings/sec, 1345 secs
lola: 33013969 markings, 71504627 edges, 22295 markings/sec, 1350 secs
lola: 33120302 markings, 71764863 edges, 21267 markings/sec, 1355 secs
lola: 33232983 markings, 72015352 edges, 22536 markings/sec, 1360 secs
lola: 33338359 markings, 72274839 edges, 21075 markings/sec, 1365 secs
lola: 33450754 markings, 72528621 edges, 22479 markings/sec, 1370 secs
lola: 33575043 markings, 72791432 edges, 24858 markings/sec, 1375 secs
lola: 33696816 markings, 73054410 edges, 24355 markings/sec, 1380 secs
lola: 33816528 markings, 73317477 edges, 23942 markings/sec, 1385 secs
lola: 33935679 markings, 73576595 edges, 23830 markings/sec, 1390 secs
lola: 34053517 markings, 73832963 edges, 23568 markings/sec, 1395 secs
lola: 34168511 markings, 74090949 edges, 22999 markings/sec, 1400 secs
lola: 34282097 markings, 74347940 edges, 22717 markings/sec, 1405 secs
lola: 34413026 markings, 74583134 edges, 26186 markings/sec, 1410 secs
lola: 34527575 markings, 74836441 edges, 22910 markings/sec, 1415 secs
lola: 34639227 markings, 75093348 edges, 22330 markings/sec, 1420 secs
lola: 34750400 markings, 75351416 edges, 22235 markings/sec, 1425 secs
lola: 34852939 markings, 75611555 edges, 20508 markings/sec, 1430 secs
lola: 34966366 markings, 75856065 edges, 22685 markings/sec, 1435 secs
lola: 35079425 markings, 76119667 edges, 22612 markings/sec, 1440 secs
lola: 35184510 markings, 76374005 edges, 21017 markings/sec, 1445 secs
lola: 35303455 markings, 76630144 edges, 23789 markings/sec, 1450 secs
lola: 35420996 markings, 76887770 edges, 23508 markings/sec, 1455 secs
lola: 35536269 markings, 77141096 edges, 23055 markings/sec, 1460 secs
lola: 35645948 markings, 77396628 edges, 21936 markings/sec, 1465 secs
lola: 35765641 markings, 77637881 edges, 23939 markings/sec, 1470 secs
lola: 35874247 markings, 77890397 edges, 21721 markings/sec, 1475 secs
lola: 35980153 markings, 78146787 edges, 21181 markings/sec, 1480 secs
lola: 36082546 markings, 78404926 edges, 20479 markings/sec, 1485 secs
lola: 36190619 markings, 78637919 edges, 21615 markings/sec, 1490 secs
lola: 36300842 markings, 78884341 edges, 22045 markings/sec, 1495 secs
lola: 36425900 markings, 79139619 edges, 25012 markings/sec, 1500 secs
lola: 36547092 markings, 79426418 edges, 24238 markings/sec, 1505 secs
lola: 36678214 markings, 79692880 edges, 26224 markings/sec, 1510 secs
lola: 36797723 markings, 79978284 edges, 23902 markings/sec, 1515 secs
lola: 36922262 markings, 80243105 edges, 24908 markings/sec, 1520 secs
lola: 37051071 markings, 80504828 edges, 25762 markings/sec, 1525 secs
lola: 37170902 markings, 80780943 edges, 23966 markings/sec, 1530 secs
lola: 37286516 markings, 81040424 edges, 23123 markings/sec, 1535 secs
lola: 37404181 markings, 81310742 edges, 23533 markings/sec, 1540 secs
lola: 37518199 markings, 81570473 edges, 22804 markings/sec, 1545 secs
lola: 37641194 markings, 81817485 edges, 24599 markings/sec, 1550 secs
lola: 37758631 markings, 82089712 edges, 23487 markings/sec, 1555 secs
lola: 37873649 markings, 82358882 edges, 23004 markings/sec, 1560 secs
lola: 37982299 markings, 82630734 edges, 21730 markings/sec, 1565 secs
lola: 38086347 markings, 82909181 edges, 20810 markings/sec, 1570 secs
lola: 38187935 markings, 83159974 edges, 20318 markings/sec, 1575 secs
lola: 38335460 markings, 83427256 edges, 29505 markings/sec, 1580 secs
lola: 38482212 markings, 83697837 edges, 29350 markings/sec, 1585 secs
lola: 38635237 markings, 83959511 edges, 30605 markings/sec, 1590 secs
lola: 38777990 markings, 84231893 edges, 28551 markings/sec, 1595 secs
lola: 38909961 markings, 84521992 edges, 26394 markings/sec, 1600 secs
lola: 39051070 markings, 84797939 edges, 28222 markings/sec, 1605 secs
lola: 39189147 markings, 85077384 edges, 27615 markings/sec, 1610 secs
lola: 39324142 markings, 85352625 edges, 26999 markings/sec, 1615 secs
lola: 39463716 markings, 85596023 edges, 27915 markings/sec, 1620 secs
lola: 39589351 markings, 85856708 edges, 25127 markings/sec, 1625 secs
lola: 39704108 markings, 86127687 edges, 22951 markings/sec, 1630 secs
lola: 39788971 markings, 86413510 edges, 16973 markings/sec, 1635 secs
lola: 39870592 markings, 86690444 edges, 16324 markings/sec, 1640 secs
lola: 39959290 markings, 86967636 edges, 17740 markings/sec, 1645 secs
lola: 40041855 markings, 87251084 edges, 16513 markings/sec, 1650 secs
lola: 40125281 markings, 87526350 edges, 16685 markings/sec, 1655 secs
lola: 40215470 markings, 87794130 edges, 18038 markings/sec, 1660 secs
lola: 40313727 markings, 88046170 edges, 19651 markings/sec, 1665 secs
lola: 40407331 markings, 88294967 edges, 18721 markings/sec, 1670 secs
lola: 40501614 markings, 88548474 edges, 18857 markings/sec, 1675 secs
lola: 40601254 markings, 88801064 edges, 19928 markings/sec, 1680 secs
lola: 40684721 markings, 89082330 edges, 16693 markings/sec, 1685 secs
lola: 40768704 markings, 89372595 edges, 16797 markings/sec, 1690 secs
lola: 40848305 markings, 89652381 edges, 15920 markings/sec, 1695 secs
lola: 40933113 markings, 89923972 edges, 16962 markings/sec, 1700 secs
lola: 41016991 markings, 90188754 edges, 16776 markings/sec, 1705 secs
lola: 41105894 markings, 90454694 edges, 17781 markings/sec, 1710 secs
lola: 41191837 markings, 90714286 edges, 17189 markings/sec, 1715 secs
lola: 41281130 markings, 90994546 edges, 17859 markings/sec, 1720 secs
lola: 41371149 markings, 91274806 edges, 18004 markings/sec, 1725 secs
lola: 41456686 markings, 91568578 edges, 17107 markings/sec, 1730 secs
lola: 41544769 markings, 91857570 edges, 17617 markings/sec, 1735 secs
lola: 41624274 markings, 92151076 edges, 15901 markings/sec, 1740 secs
lola: 41703536 markings, 92441601 edges, 15852 markings/sec, 1745 secs
lola: 41782026 markings, 92726653 edges, 15698 markings/sec, 1750 secs
lola: 41858493 markings, 93015984 edges, 15293 markings/sec, 1755 secs
lola: 41934110 markings, 93295350 edges, 15123 markings/sec, 1760 secs
lola: 42012501 markings, 93575233 edges, 15678 markings/sec, 1765 secs
lola: 42091422 markings, 93859642 edges, 15784 markings/sec, 1770 secs
lola: 42169871 markings, 94136772 edges, 15690 markings/sec, 1775 secs
lola: 42243087 markings, 94416917 edges, 14643 markings/sec, 1780 secs
lola: 42318350 markings, 94695271 edges, 15053 markings/sec, 1785 secs
lola: 42395410 markings, 94978726 edges, 15412 markings/sec, 1790 secs
lola: 42470634 markings, 95264497 edges, 15045 markings/sec, 1795 secs
lola: 42554641 markings, 95542428 edges, 16801 markings/sec, 1800 secs
lola: 42636302 markings, 95808545 edges, 16332 markings/sec, 1805 secs
lola: 42714797 markings, 96086429 edges, 15699 markings/sec, 1810 secs
lola: 42793814 markings, 96362569 edges, 15803 markings/sec, 1815 secs
lola: 42870280 markings, 96638374 edges, 15293 markings/sec, 1820 secs
lola: 42944103 markings, 96918646 edges, 14765 markings/sec, 1825 secs
lola: 43016180 markings, 97196839 edges, 14415 markings/sec, 1830 secs
lola: 43090087 markings, 97474742 edges, 14781 markings/sec, 1835 secs
lola: 43165403 markings, 97754127 edges, 15063 markings/sec, 1840 secs
lola: 43241388 markings, 98037116 edges, 15197 markings/sec, 1845 secs
lola: 43312992 markings, 98313072 edges, 14321 markings/sec, 1850 secs
lola: 43384493 markings, 98600295 edges, 14300 markings/sec, 1855 secs
lola: 43458895 markings, 98874177 edges, 14880 markings/sec, 1860 secs
lola: 43531657 markings, 99155373 edges, 14552 markings/sec, 1865 secs
lola: 43605136 markings, 99437172 edges, 14696 markings/sec, 1870 secs
lola: 43682590 markings, 99721885 edges, 15491 markings/sec, 1875 secs
lola: 43754577 markings, 100009202 edges, 14397 markings/sec, 1880 secs
lola: 43830414 markings, 100300641 edges, 15167 markings/sec, 1885 secs
lola: 43905505 markings, 100573088 edges, 15018 markings/sec, 1890 secs
lola: 43978205 markings, 100846411 edges, 14540 markings/sec, 1895 secs
lola: 44049773 markings, 101119171 edges, 14314 markings/sec, 1900 secs
lola: 44122173 markings, 101399730 edges, 14480 markings/sec, 1905 secs
lola: 44197669 markings, 101667092 edges, 15099 markings/sec, 1910 secs
lola: 44267002 markings, 101965732 edges, 13867 markings/sec, 1915 secs
lola: 44336145 markings, 102234356 edges, 13829 markings/sec, 1920 secs
lola: 44407907 markings, 102503966 edges, 14352 markings/sec, 1925 secs
lola: 44486963 markings, 102741994 edges, 15811 markings/sec, 1930 secs
lola: 44561647 markings, 103002140 edges, 14937 markings/sec, 1935 secs
lola: 44649174 markings, 103272358 edges, 17505 markings/sec, 1940 secs
lola: 44725943 markings, 103556383 edges, 15354 markings/sec, 1945 secs
lola: 44800362 markings, 103833903 edges, 14884 markings/sec, 1950 secs
lola: 44872657 markings, 104114190 edges, 14459 markings/sec, 1955 secs
lola: 44956844 markings, 104389403 edges, 16837 markings/sec, 1960 secs
lola: 45033054 markings, 104647568 edges, 15242 markings/sec, 1965 secs
lola: 45113088 markings, 104922002 edges, 16007 markings/sec, 1970 secs
lola: 45187889 markings, 105208341 edges, 14960 markings/sec, 1975 secs
lola: 45263712 markings, 105430873 edges, 15165 markings/sec, 1980 secs
lola: 45332357 markings, 105727466 edges, 13729 markings/sec, 1985 secs
lola: 45397272 markings, 106025310 edges, 12983 markings/sec, 1990 secs
lola: 45474631 markings, 106307579 edges, 15472 markings/sec, 1995 secs
lola: 45546509 markings, 106608132 edges, 14376 markings/sec, 2000 secs
lola: 45615976 markings, 106903833 edges, 13893 markings/sec, 2005 secs
lola: 45679084 markings, 107201318 edges, 12622 markings/sec, 2010 secs
lola: 45745117 markings, 107492712 edges, 13207 markings/sec, 2015 secs
lola: 45826063 markings, 107778326 edges, 16189 markings/sec, 2020 secs
lola: 45911793 markings, 108055328 edges, 17146 markings/sec, 2025 secs
lola: 45999918 markings, 108339460 edges, 17625 markings/sec, 2030 secs
lola: 46089262 markings, 108609627 edges, 17869 markings/sec, 2035 secs
lola: 46176412 markings, 108896611 edges, 17430 markings/sec, 2040 secs
lola: 46251345 markings, 109188292 edges, 14987 markings/sec, 2045 secs
lola: 46334878 markings, 109433982 edges, 16707 markings/sec, 2050 secs
lola: 46404916 markings, 109715720 edges, 14008 markings/sec, 2055 secs
lola: 46474894 markings, 109998102 edges, 13996 markings/sec, 2060 secs
lola: 46561713 markings, 110282858 edges, 17364 markings/sec, 2065 secs
lola: 46599334 markings, 110614576 edges, 7524 markings/sec, 2070 secs
lola: 46608961 markings, 110989864 edges, 1925 markings/sec, 2075 secs
lola: 46636610 markings, 111331890 edges, 5530 markings/sec, 2080 secs
lola: 46711691 markings, 111628390 edges, 15016 markings/sec, 2085 secs
lola: 46787712 markings, 111916661 edges, 15204 markings/sec, 2090 secs
lola: 46871386 markings, 112195449 edges, 16735 markings/sec, 2095 secs
lola: 46953122 markings, 112487047 edges, 16347 markings/sec, 2100 secs
lola: 47031437 markings, 112770435 edges, 15663 markings/sec, 2105 secs
lola: 47115415 markings, 113027560 edges, 16796 markings/sec, 2110 secs
lola: 47203847 markings, 113259203 edges, 17686 markings/sec, 2115 secs
lola: 47290011 markings, 113488973 edges, 17233 markings/sec, 2120 secs
lola: 47381657 markings, 113724243 edges, 18329 markings/sec, 2125 secs
lola: 47473243 markings, 113972173 edges, 18317 markings/sec, 2130 secs
lola: 47559868 markings, 114205174 edges, 17325 markings/sec, 2135 secs
lola: 47648801 markings, 114450292 edges, 17787 markings/sec, 2140 secs
lola: 47722329 markings, 114732040 edges, 14706 markings/sec, 2145 secs
lola: 47795142 markings, 115016103 edges, 14563 markings/sec, 2150 secs
lola: 47873425 markings, 115294318 edges, 15657 markings/sec, 2155 secs
lola: 47965070 markings, 115544180 edges, 18329 markings/sec, 2160 secs
lola: 48056662 markings, 115791093 edges, 18318 markings/sec, 2165 secs
lola: 48146124 markings, 116051718 edges, 17892 markings/sec, 2170 secs
lola: 48230473 markings, 116313573 edges, 16870 markings/sec, 2175 secs
lola: 48303164 markings, 116587371 edges, 14538 markings/sec, 2180 secs
lola: 48386811 markings, 116858609 edges, 16729 markings/sec, 2185 secs
lola: 48472943 markings, 117121258 edges, 17226 markings/sec, 2190 secs
lola: 48549477 markings, 117388292 edges, 15307 markings/sec, 2195 secs
lola: 48630033 markings, 117669160 edges, 16111 markings/sec, 2200 secs
lola: 48716605 markings, 117930351 edges, 17314 markings/sec, 2205 secs
lola: 48794862 markings, 118198414 edges, 15651 markings/sec, 2210 secs
lola: 48876437 markings, 118477506 edges, 16315 markings/sec, 2215 secs
lola: 48958256 markings, 118741749 edges, 16364 markings/sec, 2220 secs
lola: 49038896 markings, 119013533 edges, 16128 markings/sec, 2225 secs
lola: 49119248 markings, 119268885 edges, 16070 markings/sec, 2230 secs
lola: 49198310 markings, 119521498 edges, 15812 markings/sec, 2235 secs
lola: 49277499 markings, 119779096 edges, 15838 markings/sec, 2240 secs
lola: 49357509 markings, 120034270 edges, 16002 markings/sec, 2245 secs
lola: 49443330 markings, 120280899 edges, 17164 markings/sec, 2250 secs
lola: 49532351 markings, 120537680 edges, 17804 markings/sec, 2255 secs
lola: 49616776 markings, 120802740 edges, 16885 markings/sec, 2260 secs
lola: 49695581 markings, 121101319 edges, 15761 markings/sec, 2265 secs
lola: 49781593 markings, 121364886 edges, 17202 markings/sec, 2270 secs
lola: 49863070 markings, 121627854 edges, 16295 markings/sec, 2275 secs
lola: 49941767 markings, 121906929 edges, 15739 markings/sec, 2280 secs
lola: 50020528 markings, 122178133 edges, 15752 markings/sec, 2285 secs
lola: 50106373 markings, 122427061 edges, 17169 markings/sec, 2290 secs
lola: 50192226 markings, 122680556 edges, 17171 markings/sec, 2295 secs
lola: 50266127 markings, 122949183 edges, 14780 markings/sec, 2300 secs
lola: 50347793 markings, 123206175 edges, 16333 markings/sec, 2305 secs
lola: 50432424 markings, 123461266 edges, 16926 markings/sec, 2310 secs
lola: 50515907 markings, 123717176 edges, 16697 markings/sec, 2315 secs
lola: 50596211 markings, 123985680 edges, 16061 markings/sec, 2320 secs
lola: 50677099 markings, 124246989 edges, 16178 markings/sec, 2325 secs
lola: 50762547 markings, 124493964 edges, 17090 markings/sec, 2330 secs
lola: 50842460 markings, 124753972 edges, 15983 markings/sec, 2335 secs
lola: 50931434 markings, 124999829 edges, 17795 markings/sec, 2340 secs
lola: 51007791 markings, 125260096 edges, 15271 markings/sec, 2345 secs
lola: 51091500 markings, 125501313 edges, 16742 markings/sec, 2350 secs
lola: 51173352 markings, 125751871 edges, 16370 markings/sec, 2355 secs
lola: 51250994 markings, 126007979 edges, 15528 markings/sec, 2360 secs
lola: 51328959 markings, 126270768 edges, 15593 markings/sec, 2365 secs
lola: 51407078 markings, 126531700 edges, 15624 markings/sec, 2370 secs
lola: 51482739 markings, 126798614 edges, 15132 markings/sec, 2375 secs
lola: 51556313 markings, 127070505 edges, 14715 markings/sec, 2380 secs
lola: 51628433 markings, 127342918 edges, 14424 markings/sec, 2385 secs
lola: 51707734 markings, 127603240 edges, 15860 markings/sec, 2390 secs
lola: 51784241 markings, 127869164 edges, 15301 markings/sec, 2395 secs
lola: 51856643 markings, 128138366 edges, 14480 markings/sec, 2400 secs
lola: 51932534 markings, 128407948 edges, 15178 markings/sec, 2405 secs
lola: 52003069 markings, 128688705 edges, 14107 markings/sec, 2410 secs
lola: 52073836 markings, 128966822 edges, 14153 markings/sec, 2415 secs
lola: 52146598 markings, 129238789 edges, 14552 markings/sec, 2420 secs
lola: 52218618 markings, 129510387 edges, 14404 markings/sec, 2425 secs
lola: 52297462 markings, 129779388 edges, 15769 markings/sec, 2430 secs
lola: 52374136 markings, 130046456 edges, 15335 markings/sec, 2435 secs
lola: 52452132 markings, 130307273 edges, 15599 markings/sec, 2440 secs
lola: 52525297 markings, 130578464 edges, 14633 markings/sec, 2445 secs
lola: 52604426 markings, 130837043 edges, 15826 markings/sec, 2450 secs
lola: 52689641 markings, 131095258 edges, 17043 markings/sec, 2455 secs
lola: 52767617 markings, 131347976 edges, 15595 markings/sec, 2460 secs
lola: 52842200 markings, 131598318 edges, 14917 markings/sec, 2465 secs
lola: 52910954 markings, 131853973 edges, 13751 markings/sec, 2470 secs
lola: 52981860 markings, 132101657 edges, 14181 markings/sec, 2475 secs
lola: 53055793 markings, 132352678 edges, 14787 markings/sec, 2480 secs
lola: 53128430 markings, 132596476 edges, 14527 markings/sec, 2485 secs
lola: 53197705 markings, 132846460 edges, 13855 markings/sec, 2490 secs
lola: 53261150 markings, 133101965 edges, 12689 markings/sec, 2495 secs
lola: 53337372 markings, 133343554 edges, 15244 markings/sec, 2500 secs
lola: 53403668 markings, 133585220 edges, 13259 markings/sec, 2505 secs
lola: 53480204 markings, 133822648 edges, 15307 markings/sec, 2510 secs
lola: 53553907 markings, 134060680 edges, 14741 markings/sec, 2515 secs
lola: 53626927 markings, 134296450 edges, 14604 markings/sec, 2520 secs
lola: 53697180 markings, 134539755 edges, 14051 markings/sec, 2525 secs
lola: 53764286 markings, 134785298 edges, 13421 markings/sec, 2530 secs
lola: 53829553 markings, 135037441 edges, 13053 markings/sec, 2535 secs
lola: 53893338 markings, 135297596 edges, 12757 markings/sec, 2540 secs
lola: 53958786 markings, 135556231 edges, 13090 markings/sec, 2545 secs
lola: 54026991 markings, 135798548 edges, 13641 markings/sec, 2550 secs
lola: 54091635 markings, 136029744 edges, 12929 markings/sec, 2555 secs
lola: 54158883 markings, 136245835 edges, 13450 markings/sec, 2560 secs
lola: 54230041 markings, 136463476 edges, 14232 markings/sec, 2565 secs
lola: 54305977 markings, 136722777 edges, 15187 markings/sec, 2570 secs
lola: 54375837 markings, 136962247 edges, 13972 markings/sec, 2575 secs
lola: 54445115 markings, 137218132 edges, 13856 markings/sec, 2580 secs
lola: 54517885 markings, 137490754 edges, 14554 markings/sec, 2585 secs
lola: 54583183 markings, 137730359 edges, 13060 markings/sec, 2590 secs
lola: 54653507 markings, 137950756 edges, 14065 markings/sec, 2595 secs
lola: 54719113 markings, 138151151 edges, 13121 markings/sec, 2600 secs
lola: 54779928 markings, 138405519 edges, 12163 markings/sec, 2605 secs
lola: 54846801 markings, 138672769 edges, 13375 markings/sec, 2610 secs
lola: 54915371 markings, 138937681 edges, 13714 markings/sec, 2615 secs
lola: 54982523 markings, 139201598 edges, 13430 markings/sec, 2620 secs
lola: 55063542 markings, 139456501 edges, 16204 markings/sec, 2625 secs
lola: 55139494 markings, 139705422 edges, 15190 markings/sec, 2630 secs
lola: 55212576 markings, 139943068 edges, 14616 markings/sec, 2635 secs
lola: 55283537 markings, 140184947 edges, 14192 markings/sec, 2640 secs
lola: 55354434 markings, 140424820 edges, 14179 markings/sec, 2645 secs
lola: 55422291 markings, 140684071 edges, 13571 markings/sec, 2650 secs
lola: 55492284 markings, 140951190 edges, 13999 markings/sec, 2655 secs
lola: 55551242 markings, 141221866 edges, 11792 markings/sec, 2660 secs
lola: 55620956 markings, 141469038 edges, 13943 markings/sec, 2665 secs
lola: 55694204 markings, 141726555 edges, 14650 markings/sec, 2670 secs
lola: 55768653 markings, 141986506 edges, 14890 markings/sec, 2675 secs
lola: 55844307 markings, 142247336 edges, 15131 markings/sec, 2680 secs
lola: 55920225 markings, 142503213 edges, 15184 markings/sec, 2685 secs
lola: 55994022 markings, 142762502 edges, 14759 markings/sec, 2690 secs
lola: 56052986 markings, 143016647 edges, 11793 markings/sec, 2695 secs
lola: 56119553 markings, 143270217 edges, 13313 markings/sec, 2700 secs
lola: 56173515 markings, 143537572 edges, 10792 markings/sec, 2705 secs
lola: 56211641 markings, 143821868 edges, 7625 markings/sec, 2710 secs
lola: 56261997 markings, 144091098 edges, 10071 markings/sec, 2715 secs
lola: 56313001 markings, 144371087 edges, 10201 markings/sec, 2720 secs
lola: 56365480 markings, 144656746 edges, 10496 markings/sec, 2725 secs
lola: 56405645 markings, 144954293 edges, 8033 markings/sec, 2730 secs
lola: 56444522 markings, 145244751 edges, 7775 markings/sec, 2735 secs
lola: 56476353 markings, 145532169 edges, 6366 markings/sec, 2740 secs
lola: 56513179 markings, 145804333 edges, 7365 markings/sec, 2745 secs
lola: 56554751 markings, 146091773 edges, 8314 markings/sec, 2750 secs
lola: 56581600 markings, 146404312 edges, 5370 markings/sec, 2755 secs
lola: 56620122 markings, 146722990 edges, 7704 markings/sec, 2760 secs
lola: 56694815 markings, 146998386 edges, 14939 markings/sec, 2765 secs
lola: 56786452 markings, 147275903 edges, 18327 markings/sec, 2770 secs
lola: 56924102 markings, 147528997 edges, 27530 markings/sec, 2775 secs
lola: 57071554 markings, 147785981 edges, 29490 markings/sec, 2780 secs
lola: 57209901 markings, 148036836 edges, 27669 markings/sec, 2785 secs
lola: 57356843 markings, 148291934 edges, 29388 markings/sec, 2790 secs
lola: 57497519 markings, 148546247 edges, 28135 markings/sec, 2795 secs
lola: 57640876 markings, 148801547 edges, 28671 markings/sec, 2800 secs
lola: 57780105 markings, 149057458 edges, 27846 markings/sec, 2805 secs
lola: 57925407 markings, 149313164 edges, 29060 markings/sec, 2810 secs
lola: 58061812 markings, 149565205 edges, 27281 markings/sec, 2815 secs
lola: 58207399 markings, 149822695 edges, 29117 markings/sec, 2820 secs
lola: 58345401 markings, 150079733 edges, 27600 markings/sec, 2825 secs
lola: 58491258 markings, 150334410 edges, 29171 markings/sec, 2830 secs
lola: 58636562 markings, 150583203 edges, 29061 markings/sec, 2835 secs
lola: 58772770 markings, 150839179 edges, 27242 markings/sec, 2840 secs
lola: 58920103 markings, 151095443 edges, 29467 markings/sec, 2845 secs
lola: 59052714 markings, 151363793 edges, 26522 markings/sec, 2850 secs
lola: 59188090 markings, 151621656 edges, 27075 markings/sec, 2855 secs
lola: 59323339 markings, 151871099 edges, 27050 markings/sec, 2860 secs
lola: 59452956 markings, 152140633 edges, 25923 markings/sec, 2865 secs
lola: 59581742 markings, 152405334 edges, 25757 markings/sec, 2870 secs
lola: 59712275 markings, 152663626 edges, 26107 markings/sec, 2875 secs
lola: 59847175 markings, 152910458 edges, 26980 markings/sec, 2880 secs
lola: 59990458 markings, 153155368 edges, 28657 markings/sec, 2885 secs
lola: 60123586 markings, 153406987 edges, 26626 markings/sec, 2890 secs
lola: 60249566 markings, 153674649 edges, 25196 markings/sec, 2895 secs
lola: 60375781 markings, 153937796 edges, 25243 markings/sec, 2900 secs
lola: 60499396 markings, 154205159 edges, 24723 markings/sec, 2905 secs
lola: 60621951 markings, 154472722 edges, 24511 markings/sec, 2910 secs
lola: 60744863 markings, 154742987 edges, 24582 markings/sec, 2915 secs
lola: 60870597 markings, 155007031 edges, 25147 markings/sec, 2920 secs
lola: 60994996 markings, 155273914 edges, 24880 markings/sec, 2925 secs
lola: 61124497 markings, 155535352 edges, 25900 markings/sec, 2930 secs
lola: 61251118 markings, 155798091 edges, 25324 markings/sec, 2935 secs
lola: 61371290 markings, 156068154 edges, 24034 markings/sec, 2940 secs
lola: 61502958 markings, 156317798 edges, 26334 markings/sec, 2945 secs
lola: 61640556 markings, 156567387 edges, 27520 markings/sec, 2950 secs
lola: 61769887 markings, 156803815 edges, 25866 markings/sec, 2955 secs
lola: 61896672 markings, 157052475 edges, 25357 markings/sec, 2960 secs
lola: 62022008 markings, 157308113 edges, 25067 markings/sec, 2965 secs
lola: 62146196 markings, 157557713 edges, 24838 markings/sec, 2970 secs
lola: 62265622 markings, 157814865 edges, 23885 markings/sec, 2975 secs
lola: 62388133 markings, 158058216 edges, 24502 markings/sec, 2980 secs
lola: 62511992 markings, 158297989 edges, 24772 markings/sec, 2985 secs
lola: 62632156 markings, 158545860 edges, 24033 markings/sec, 2990 secs
lola: 62748957 markings, 158792153 edges, 23360 markings/sec, 2995 secs
lola: 62865808 markings, 159043193 edges, 23370 markings/sec, 3000 secs
lola: 62987157 markings, 159283414 edges, 24270 markings/sec, 3005 secs
lola: 63110212 markings, 159524510 edges, 24611 markings/sec, 3010 secs
lola: 63233593 markings, 159755935 edges, 24676 markings/sec, 3015 secs
lola: 63352539 markings, 159996359 edges, 23789 markings/sec, 3020 secs
lola: 63475099 markings, 160263101 edges, 24512 markings/sec, 3025 secs
lola: 63596319 markings, 160517689 edges, 24244 markings/sec, 3030 secs
lola: 63716797 markings, 160754506 edges, 24096 markings/sec, 3035 secs
lola: 63828212 markings, 160977525 edges, 22283 markings/sec, 3040 secs
lola: 63947035 markings, 161236664 edges, 23765 markings/sec, 3045 secs
lola: 64073391 markings, 161494452 edges, 25271 markings/sec, 3050 secs
lola: 64204729 markings, 161747525 edges, 26268 markings/sec, 3055 secs
lola: 64317348 markings, 162018594 edges, 22524 markings/sec, 3060 secs
lola: 64460056 markings, 162265920 edges, 28542 markings/sec, 3065 secs
lola: 64603318 markings, 162502341 edges, 28652 markings/sec, 3070 secs
lola: 64748495 markings, 162750324 edges, 29035 markings/sec, 3075 secs
lola: 64899470 markings, 163006581 edges, 30195 markings/sec, 3080 secs
lola: 65051189 markings, 163264438 edges, 30344 markings/sec, 3085 secs
lola: 65203563 markings, 163521880 edges, 30475 markings/sec, 3090 secs
lola: 65355797 markings, 163780086 edges, 30447 markings/sec, 3095 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown 1 unknown 1 1 1 1 1 1 1 1 1 1 1 1 1
lola:
preliminary result: unknown 1 unknown 1 1 1 1 1 1 1 1 1 1 1 1 1
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown 1 unknown 1 1 1 1 1 1 1 1 1 1 1 1 1
lola: memory consumption: 6052276 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 1552522069565

--------------------
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="CloudDeployment-PT-4b"
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 CloudDeployment-PT-4b, 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-155229648600047"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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