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.r181-csrt-155344535100299.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 NoC3x3-PT-4B, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r181-csrt-155344535100299
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 760K
-rw-r--r-- 1 mcc users 4.1K Mar 23 12:34 CTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Mar 23 12:34 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 23 12:21 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 23 12:21 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 23 10:10 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 2.4K Mar 23 12:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K Mar 23 12:14 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.7K Mar 23 12:13 LTLFireability.txt
-rw-r--r-- 1 mcc users 7.3K Mar 23 12:13 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 Mar 23 10:10 NewModel
-rw-r--r-- 1 mcc users 3.2K Mar 23 12:09 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Mar 23 12:09 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 103 Mar 23 11:58 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 341 Mar 23 11:58 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.1K Mar 23 12:01 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 10K Mar 23 12:01 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 23 12:13 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 23 12:13 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 23 10:10 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 23 10:10 instance
-rw-r--r-- 1 mcc users 6 Mar 23 10:10 iscolored
-rw-r--r-- 1 mcc users 0 Mar 23 10:10 model-fix.log
-rw-r--r-- 1 mcc users 608K Mar 23 10:10 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 NoC3x3-PT-4B-UpperBounds-00
FORMULA_NAME NoC3x3-PT-4B-UpperBounds-01
FORMULA_NAME NoC3x3-PT-4B-UpperBounds-02
FORMULA_NAME NoC3x3-PT-4B-UpperBounds-03
FORMULA_NAME NoC3x3-PT-4B-UpperBounds-04
FORMULA_NAME NoC3x3-PT-4B-UpperBounds-05
FORMULA_NAME NoC3x3-PT-4B-UpperBounds-06
FORMULA_NAME NoC3x3-PT-4B-UpperBounds-07
FORMULA_NAME NoC3x3-PT-4B-UpperBounds-08
FORMULA_NAME NoC3x3-PT-4B-UpperBounds-09
FORMULA_NAME NoC3x3-PT-4B-UpperBounds-10
FORMULA_NAME NoC3x3-PT-4B-UpperBounds-11
FORMULA_NAME NoC3x3-PT-4B-UpperBounds-12
FORMULA_NAME NoC3x3-PT-4B-UpperBounds-13
FORMULA_NAME NoC3x3-PT-4B-UpperBounds-14
FORMULA_NAME NoC3x3-PT-4B-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1553478281949

info: Time: 3600 - MCC
vrfy: Checking UpperBounds @ NoC3x3-PT-4B @ 3570 seconds

FORMULA NoC3x3-PT-4B-UpperBounds-00 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA NoC3x3-PT-4B-UpperBounds-01 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA NoC3x3-PT-4B-UpperBounds-02 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA NoC3x3-PT-4B-UpperBounds-03 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA NoC3x3-PT-4B-UpperBounds-04 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA NoC3x3-PT-4B-UpperBounds-05 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA NoC3x3-PT-4B-UpperBounds-06 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA NoC3x3-PT-4B-UpperBounds-09 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA NoC3x3-PT-4B-UpperBounds-10 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA NoC3x3-PT-4B-UpperBounds-11 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA NoC3x3-PT-4B-UpperBounds-12 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA NoC3x3-PT-4B-UpperBounds-13 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA NoC3x3-PT-4B-UpperBounds-14 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA NoC3x3-PT-4B-UpperBounds-15 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: -1
rslt: Output for UpperBounds @ NoC3x3-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": "Mon Mar 25 01:44:42 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(p828)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 127,
"markings": 128,
"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(p2031)",
"processed_size": 10,
"rewrites": 0
},
"result":
{
"edges": 33,
"markings": 34,
"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(p930)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 43,
"markings": 44,
"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(p447)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 57,
"markings": 58,
"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(p265)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 65,
"markings": 66,
"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(p935)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 67,
"markings": 68,
"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(p1970)",
"processed_size": 10,
"rewrites": 0
},
"result":
{
"edges": 14,
"markings": 15,
"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(p365)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 180,
"markings": 181,
"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": 461
},
"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(p1186)",
"processed_size": 10,
"rewrites": 0
},
"result":
{
"edges": 49,
"markings": 50,
"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": 554
},
"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(p935)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 67,
"markings": 68,
"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": 692
},
"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(p1217)",
"processed_size": 10,
"rewrites": 0
},
"result":
{
"edges": 41,
"markings": 42,
"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": 923
},
"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(p1222)",
"processed_size": 10,
"rewrites": 0
},
"result":
{
"edges": 31,
"markings": 32,
"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": 1385
},
"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(p225)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 74,
"markings": 75,
"produced_by": "search",
"value": 1
},
"task":
{
"compoundnumber": 14,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 2770
},
"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": 57,
"markings": 58,
"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": 2075588,
"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": 6091,
"conflict_clusters": 2053,
"places": 2328,
"places_significant": 2262,
"singleton_clusters": 0,
"transitions": 2701
},
"result":
{
"interim_value": "1 1 1 1 1 1 1 unknown unknown 1 1 1 1 1 1 1 ",
"preliminary_value": "1 1 1 1 1 1 1 unknown unknown 1 1 1 1 1 1 1 "
},
"task":
{
"type": "compound"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 5029/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 2328
lola: finding significant places
lola: 2328 places, 2701 transitions, 2262 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(p828) : MAX(p2031) : MAX(p930) : MAX(p447) : MAX(p265) : MAX(p935) : MAX(p1970) : MAX(p1919) : MAX(p1765) : MAX(p365) : MAX(p1186) : MAX(p935) : MAX(p1217) : MAX(p1222) : MAX(p225) : MAX(p436)
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(p828)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p828)
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: 128 markings, 127 edges
lola: ========================================
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p2031)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2031)
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: 34 markings, 33 edges
lola: ========================================
lola: subprocess 2 will run for 254 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: 44 markings, 43 edges
lola: ========================================
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p447)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p447)
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: 58 markings, 57 edges
lola: ========================================
lola: subprocess 4 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p265)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p265)
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: 66 markings, 65 edges
lola: ========================================
lola: subprocess 5 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p935)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p935)
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: 68 markings, 67 edges
lola: ========================================
lola: subprocess 6 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1970)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1970)
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: 15 markings, 14 edges
lola: ========================================
lola: subprocess 7 will run for 395 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1919)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1919)
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: 73846 markings, 88413 edges, 14769 markings/sec, 0 secs
lola: 155990 markings, 185576 edges, 16429 markings/sec, 5 secs
lola: 236418 markings, 280697 edges, 16086 markings/sec, 10 secs
lola: 311423 markings, 381175 edges, 15001 markings/sec, 15 secs
lola: 384770 markings, 485648 edges, 14669 markings/sec, 20 secs
lola: 456481 markings, 587798 edges, 14342 markings/sec, 25 secs
lola: 528529 markings, 692869 edges, 14410 markings/sec, 30 secs
lola: 593166 markings, 806500 edges, 12927 markings/sec, 35 secs
lola: 652522 markings, 928715 edges, 11871 markings/sec, 40 secs
lola: 707569 markings, 1058053 edges, 11009 markings/sec, 45 secs
lola: 742054 markings, 1262438 edges, 6897 markings/sec, 50 secs
lola: 812133 markings, 1386837 edges, 14016 markings/sec, 55 secs
lola: 895750 markings, 1485729 edges, 16723 markings/sec, 60 secs
lola: 976290 markings, 1580986 edges, 16108 markings/sec, 65 secs
lola: 1053265 markings, 1680178 edges, 15395 markings/sec, 70 secs
lola: 1120461 markings, 1775923 edges, 13439 markings/sec, 75 secs
lola: 1186801 markings, 1870397 edges, 13268 markings/sec, 80 secs
lola: 1254509 markings, 1966856 edges, 13542 markings/sec, 85 secs
lola: 1318831 markings, 2071487 edges, 12864 markings/sec, 90 secs
lola: 1380104 markings, 2190094 edges, 12255 markings/sec, 95 secs
lola: 1437917 markings, 2316969 edges, 11563 markings/sec, 100 secs
lola: 1487167 markings, 2470069 edges, 9850 markings/sec, 105 secs
lola: 1523841 markings, 2659703 edges, 7335 markings/sec, 110 secs
lola: 1599944 markings, 2751244 edges, 15221 markings/sec, 115 secs
lola: 1674953 markings, 2841771 edges, 15002 markings/sec, 120 secs
lola: 1748853 markings, 2930957 edges, 14780 markings/sec, 125 secs
lola: 1822663 markings, 3020044 edges, 14762 markings/sec, 130 secs
lola: 1895837 markings, 3108568 edges, 14635 markings/sec, 135 secs
lola: 1967100 markings, 3194568 edges, 14253 markings/sec, 140 secs
lola: 2040381 markings, 3283007 edges, 14656 markings/sec, 145 secs
lola: 2115563 markings, 3373757 edges, 15036 markings/sec, 150 secs
lola: 2188586 markings, 3461869 edges, 14605 markings/sec, 155 secs
lola: 2262946 markings, 3551748 edges, 14872 markings/sec, 160 secs
lola: 2341001 markings, 3655170 edges, 15611 markings/sec, 165 secs
lola: 2418644 markings, 3766589 edges, 15529 markings/sec, 170 secs
lola: 2486975 markings, 3904210 edges, 13666 markings/sec, 175 secs
lola: 2553213 markings, 4043594 edges, 13248 markings/sec, 180 secs
lola: 2620775 markings, 4182473 edges, 13512 markings/sec, 185 secs
lola: 2688436 markings, 4317479 edges, 13532 markings/sec, 190 secs
lola: 2754235 markings, 4453781 edges, 13160 markings/sec, 195 secs
lola: 2822168 markings, 4580907 edges, 13587 markings/sec, 200 secs
lola: 2889081 markings, 4712987 edges, 13383 markings/sec, 205 secs
lola: 2955053 markings, 4849146 edges, 13194 markings/sec, 210 secs
lola: 3020890 markings, 4984624 edges, 13167 markings/sec, 215 secs
lola: 3087944 markings, 5118343 edges, 13411 markings/sec, 220 secs
lola: 3153117 markings, 5256293 edges, 13035 markings/sec, 225 secs
lola: 3219054 markings, 5391046 edges, 13187 markings/sec, 230 secs
lola: 3285884 markings, 5525053 edges, 13366 markings/sec, 235 secs
lola: 3353581 markings, 5655462 edges, 13539 markings/sec, 240 secs
lola: 3420993 markings, 5786532 edges, 13482 markings/sec, 245 secs
lola: 3482732 markings, 5932152 edges, 12348 markings/sec, 250 secs
lola: 3550228 markings, 6062994 edges, 13499 markings/sec, 255 secs
lola: 3617439 markings, 6195266 edges, 13442 markings/sec, 260 secs
lola: 3683235 markings, 6329477 edges, 13159 markings/sec, 265 secs
lola: 3749745 markings, 6465014 edges, 13302 markings/sec, 270 secs
lola: 3817845 markings, 6586007 edges, 13620 markings/sec, 275 secs
lola: 3881129 markings, 6718355 edges, 12657 markings/sec, 280 secs
lola: 3932281 markings, 6883430 edges, 10230 markings/sec, 285 secs
lola: 3968947 markings, 7071540 edges, 7333 markings/sec, 290 secs
lola: 3983239 markings, 7326136 edges, 2858 markings/sec, 295 secs
lola: 3994509 markings, 7570026 edges, 2254 markings/sec, 300 secs
lola: 4032884 markings, 7746486 edges, 7675 markings/sec, 305 secs
lola: 4089420 markings, 7875020 edges, 11307 markings/sec, 310 secs
lola: 4145386 markings, 7997970 edges, 11193 markings/sec, 315 secs
lola: 4200731 markings, 8119241 edges, 11069 markings/sec, 320 secs
lola: 4255385 markings, 8247143 edges, 10931 markings/sec, 325 secs
lola: 4313321 markings, 8372772 edges, 11587 markings/sec, 330 secs
lola: 4360314 markings, 8508666 edges, 9399 markings/sec, 335 secs
lola: 4385370 markings, 8704184 edges, 5011 markings/sec, 340 secs
lola: 4447294 markings, 8814342 edges, 12385 markings/sec, 345 secs
lola: 4504330 markings, 8940616 edges, 11407 markings/sec, 350 secs
lola: 4565118 markings, 9060639 edges, 12158 markings/sec, 355 secs
lola: 4623679 markings, 9190667 edges, 11712 markings/sec, 360 secs
lola: 4686001 markings, 9308095 edges, 12464 markings/sec, 365 secs
lola: 4746458 markings, 9432819 edges, 12091 markings/sec, 370 secs
lola: 4808444 markings, 9554078 edges, 12397 markings/sec, 375 secs
lola: 4871336 markings, 9671603 edges, 12578 markings/sec, 380 secs
lola: 4933186 markings, 9803172 edges, 12370 markings/sec, 385 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 1 1 1 1 unknown 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 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 378096 KB
lola: time consumption: 402 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 396 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1765)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1765)
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: 71395 markings, 91678 edges, 14279 markings/sec, 0 secs
lola: 138111 markings, 206894 edges, 13343 markings/sec, 5 secs
lola: 202415 markings, 333639 edges, 12861 markings/sec, 10 secs
lola: 268782 markings, 457659 edges, 13273 markings/sec, 15 secs
lola: 330062 markings, 592301 edges, 12256 markings/sec, 20 secs
lola: 386612 markings, 736074 edges, 11310 markings/sec, 25 secs
lola: 443176 markings, 879632 edges, 11313 markings/sec, 30 secs
lola: 484709 markings, 1059363 edges, 8307 markings/sec, 35 secs
lola: 541064 markings, 1227067 edges, 11271 markings/sec, 40 secs
lola: 603151 markings, 1378935 edges, 12417 markings/sec, 45 secs
lola: 666837 markings, 1530980 edges, 12737 markings/sec, 50 secs
lola: 724076 markings, 1697721 edges, 11448 markings/sec, 55 secs
lola: 784025 markings, 1856869 edges, 11990 markings/sec, 60 secs
lola: 840925 markings, 2025644 edges, 11380 markings/sec, 65 secs
lola: 892160 markings, 2206304 edges, 10247 markings/sec, 70 secs
lola: 944967 markings, 2383389 edges, 10561 markings/sec, 75 secs
lola: 989908 markings, 2579508 edges, 8988 markings/sec, 80 secs
lola: 1018346 markings, 2817577 edges, 5688 markings/sec, 85 secs
lola: 1092545 markings, 2935301 edges, 14840 markings/sec, 90 secs
lola: 1164852 markings, 3057514 edges, 14461 markings/sec, 95 secs
lola: 1232521 markings, 3189912 edges, 13534 markings/sec, 100 secs
lola: 1301311 markings, 3320701 edges, 13758 markings/sec, 105 secs
lola: 1365947 markings, 3462940 edges, 12927 markings/sec, 110 secs
lola: 1426305 markings, 3613397 edges, 12072 markings/sec, 115 secs
lola: 1482855 markings, 3773841 edges, 11310 markings/sec, 120 secs
lola: 1523257 markings, 3974936 edges, 8080 markings/sec, 125 secs
lola: 1597598 markings, 4088938 edges, 14868 markings/sec, 130 secs
lola: 1669731 markings, 4208355 edges, 14427 markings/sec, 135 secs
lola: 1737205 markings, 4337317 edges, 13495 markings/sec, 140 secs
lola: 1799089 markings, 4454123 edges, 12377 markings/sec, 145 secs
lola: 1858345 markings, 4585468 edges, 11851 markings/sec, 150 secs
lola: 1915222 markings, 4722905 edges, 11375 markings/sec, 155 secs
lola: 1972586 markings, 4865734 edges, 11473 markings/sec, 160 secs
lola: 2019443 markings, 5025099 edges, 9371 markings/sec, 165 secs
lola: 2063873 markings, 5194727 edges, 8886 markings/sec, 170 secs
lola: 2132557 markings, 5300763 edges, 13737 markings/sec, 175 secs
lola: 2190591 markings, 5441963 edges, 11607 markings/sec, 180 secs
lola: 2245209 markings, 5576282 edges, 10924 markings/sec, 185 secs
lola: 2291354 markings, 5737326 edges, 9229 markings/sec, 190 secs
lola: 2361454 markings, 5842353 edges, 14020 markings/sec, 195 secs
lola: 2418737 markings, 5973787 edges, 11457 markings/sec, 200 secs
lola: 2475340 markings, 6109489 edges, 11321 markings/sec, 205 secs
lola: 2520599 markings, 6270143 edges, 9052 markings/sec, 210 secs
lola: 2586726 markings, 6380202 edges, 13225 markings/sec, 215 secs
lola: 2647134 markings, 6507854 edges, 12082 markings/sec, 220 secs
lola: 2707896 markings, 6650513 edges, 12152 markings/sec, 225 secs
lola: 2759260 markings, 6796443 edges, 10273 markings/sec, 230 secs
lola: 2817855 markings, 6924789 edges, 11719 markings/sec, 235 secs
lola: 2878378 markings, 7046171 edges, 12105 markings/sec, 240 secs
lola: 2934133 markings, 7179643 edges, 11151 markings/sec, 245 secs
lola: 2986275 markings, 7323624 edges, 10428 markings/sec, 250 secs
lola: 3043460 markings, 7477114 edges, 11437 markings/sec, 255 secs
lola: 3108914 markings, 7612564 edges, 13091 markings/sec, 260 secs
lola: 3171199 markings, 7755161 edges, 12457 markings/sec, 265 secs
lola: 3223762 markings, 7924001 edges, 10513 markings/sec, 270 secs
lola: 3261867 markings, 8130100 edges, 7621 markings/sec, 275 secs
lola: 3328949 markings, 8257873 edges, 13416 markings/sec, 280 secs
lola: 3391250 markings, 8398445 edges, 12460 markings/sec, 285 secs
lola: 3445691 markings, 8558216 edges, 10888 markings/sec, 290 secs
lola: 3496611 markings, 8730672 edges, 10184 markings/sec, 295 secs
lola: 3544858 markings, 8907785 edges, 9649 markings/sec, 300 secs
lola: 3609756 markings, 9045974 edges, 12980 markings/sec, 305 secs
lola: 3674807 markings, 9185014 edges, 13010 markings/sec, 310 secs
lola: 3739456 markings, 9322195 edges, 12930 markings/sec, 315 secs
lola: 3803119 markings, 9457464 edges, 12733 markings/sec, 320 secs
lola: 3866942 markings, 9593075 edges, 12765 markings/sec, 325 secs
lola: 3930628 markings, 9730540 edges, 12737 markings/sec, 330 secs
lola: 3993467 markings, 9861808 edges, 12568 markings/sec, 335 secs
lola: 4052877 markings, 9988162 edges, 11882 markings/sec, 340 secs
lola: 4112544 markings, 10114343 edges, 11933 markings/sec, 345 secs
lola: 4171786 markings, 10241763 edges, 11848 markings/sec, 350 secs
lola: 4231127 markings, 10368896 edges, 11868 markings/sec, 355 secs
lola: 4290750 markings, 10496493 edges, 11925 markings/sec, 360 secs
lola: 4357589 markings, 10602307 edges, 13368 markings/sec, 365 secs
lola: 4417157 markings, 10724857 edges, 11914 markings/sec, 370 secs
lola: 4472890 markings, 10859718 edges, 11147 markings/sec, 375 secs
lola: 4525675 markings, 11022888 edges, 10557 markings/sec, 380 secs
lola: 4591298 markings, 11149708 edges, 13125 markings/sec, 385 secs
lola: 4655923 markings, 11280218 edges, 12925 markings/sec, 390 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 1 1 1 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 375984 KB
lola: time consumption: 798 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 396 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p365)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p365)
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: 181 markings, 180 edges
lola: subprocess 10 will run for 461 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1186)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1186)
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: ========================================
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: 50 markings, 49 edges
lola: ========================================
lola: subprocess 11 will run for 554 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p935)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p935)
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: 68 markings, 67 edges
lola: ========================================
lola: subprocess 12 will run for 692 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1217)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1217)
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: 42 markings, 41 edges
lola: ========================================
lola: subprocess 13 will run for 923 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1222)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1222)
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: 32 markings, 31 edges
lola: ========================================
lola: subprocess 14 will run for 1385 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p225)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p225)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 75 markings, 74 edges
lola: ========================================
lola: subprocess 15 will run for 2770 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: 58 markings, 57 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: MAX(p1919)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1919)
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: 69897 markings, 83761 edges, 13979 markings/sec, 0 secs
lola: 146885 markings, 174799 edges, 15398 markings/sec, 5 secs
lola: 227327 markings, 269950 edges, 16088 markings/sec, 10 secs
lola: 304445 markings, 371248 edges, 15424 markings/sec, 15 secs
lola: 378708 markings, 477025 edges, 14853 markings/sec, 20 secs
lola: 454374 markings, 584796 edges, 15133 markings/sec, 25 secs
lola: 528387 markings, 692658 edges, 14803 markings/sec, 30 secs
lola: 596980 markings, 813485 edges, 13719 markings/sec, 35 secs
lola: 660627 markings, 947520 edges, 12729 markings/sec, 40 secs
lola: 721598 markings, 1087926 edges, 12194 markings/sec, 45 secs
lola: 752962 markings, 1310030 edges, 6273 markings/sec, 50 secs
lola: 830577 markings, 1408630 edges, 15523 markings/sec, 55 secs
lola: 911306 markings, 1504127 edges, 16146 markings/sec, 60 secs
lola: 991163 markings, 1598578 edges, 15971 markings/sec, 65 secs
lola: 1067304 markings, 1700183 edges, 15228 markings/sec, 70 secs
lola: 1142525 markings, 1807331 edges, 15044 markings/sec, 75 secs
lola: 1219071 markings, 1916379 edges, 15309 markings/sec, 80 secs
lola: 1293773 markings, 2027111 edges, 14940 markings/sec, 85 secs
lola: 1363187 markings, 2151335 edges, 13883 markings/sec, 90 secs
lola: 1425167 markings, 2288370 edges, 12396 markings/sec, 95 secs
lola: 1482888 markings, 2434108 edges, 11544 markings/sec, 100 secs
lola: 1516870 markings, 2644955 edges, 6796 markings/sec, 105 secs
lola: 1593838 markings, 2743876 edges, 15394 markings/sec, 110 secs
lola: 1672579 markings, 2838908 edges, 15748 markings/sec, 115 secs
lola: 1750085 markings, 2932437 edges, 15501 markings/sec, 120 secs
lola: 1829079 markings, 3028002 edges, 15799 markings/sec, 125 secs
lola: 1908307 markings, 3123615 edges, 15846 markings/sec, 130 secs
lola: 1986948 markings, 3218527 edges, 15728 markings/sec, 135 secs
lola: 2065715 markings, 3313584 edges, 15753 markings/sec, 140 secs
lola: 2144758 markings, 3408976 edges, 15809 markings/sec, 145 secs
lola: 2223618 markings, 3504151 edges, 15772 markings/sec, 150 secs
lola: 2301170 markings, 3603325 edges, 15510 markings/sec, 155 secs
lola: 2377590 markings, 3704265 edges, 15284 markings/sec, 160 secs
lola: 2446501 markings, 3820281 edges, 13782 markings/sec, 165 secs
lola: 2511103 markings, 3957808 edges, 12920 markings/sec, 170 secs
lola: 2577213 markings, 4090385 edges, 13222 markings/sec, 175 secs
lola: 2641452 markings, 4230286 edges, 12848 markings/sec, 180 secs
lola: 2708774 markings, 4361084 edges, 13464 markings/sec, 185 secs
lola: 2774732 markings, 4495660 edges, 13192 markings/sec, 190 secs
lola: 2840676 markings, 4622613 edges, 13189 markings/sec, 195 secs
lola: 2906537 markings, 4746288 edges, 13172 markings/sec, 200 secs
lola: 2969610 markings, 4881524 edges, 12615 markings/sec, 205 secs
lola: 3033469 markings, 5012278 edges, 12772 markings/sec, 210 secs
lola: 3098841 markings, 5140298 edges, 13074 markings/sec, 215 secs
lola: 3162235 markings, 5274175 edges, 12679 markings/sec, 220 secs
lola: 3226517 markings, 5403767 edges, 12856 markings/sec, 225 secs
lola: 3289454 markings, 5529854 edges, 12587 markings/sec, 230 secs
lola: 3353965 markings, 5656531 edges, 12902 markings/sec, 235 secs
lola: 3419919 markings, 5784926 edges, 13191 markings/sec, 240 secs
lola: 3480504 markings, 5927310 edges, 12117 markings/sec, 245 secs
lola: 3547085 markings, 6054369 edges, 13316 markings/sec, 250 secs
lola: 3611231 markings, 6182743 edges, 12829 markings/sec, 255 secs
lola: 3672424 markings, 6312623 edges, 12239 markings/sec, 260 secs
lola: 3738741 markings, 6439961 edges, 13263 markings/sec, 265 secs
lola: 3806077 markings, 6558533 edges, 13467 markings/sec, 270 secs
lola: 3867455 markings, 6686861 edges, 12276 markings/sec, 275 secs
lola: 3919820 markings, 6840191 edges, 10473 markings/sec, 280 secs
lola: 3960556 markings, 7020304 edges, 8147 markings/sec, 285 secs
lola: 3980023 markings, 7255128 edges, 3893 markings/sec, 290 secs
lola: 3991222 markings, 7518481 edges, 2240 markings/sec, 295 secs
lola: 4025686 markings, 7731775 edges, 6893 markings/sec, 300 secs
lola: 4084457 markings, 7862638 edges, 11754 markings/sec, 305 secs
lola: 4143964 markings, 7995576 edges, 11901 markings/sec, 310 secs
lola: 4205001 markings, 8129459 edges, 12207 markings/sec, 315 secs
lola: 4266151 markings, 8271647 edges, 12230 markings/sec, 320 secs
lola: 4330628 markings, 8406158 edges, 12895 markings/sec, 325 secs
lola: 4366403 markings, 8595611 edges, 7155 markings/sec, 330 secs
lola: 4418900 markings, 8760807 edges, 10499 markings/sec, 335 secs
lola: 4484967 markings, 8892220 edges, 13213 markings/sec, 340 secs
lola: 4545585 markings, 9022240 edges, 12124 markings/sec, 345 secs
lola: 4610187 markings, 9158026 edges, 12920 markings/sec, 350 secs
lola: 4675874 markings, 9289430 edges, 13137 markings/sec, 355 secs
lola: 4741034 markings, 9421883 edges, 13032 markings/sec, 360 secs
lola: 4808168 markings, 9549731 edges, 13427 markings/sec, 365 secs
lola: 4874729 markings, 9678285 edges, 13312 markings/sec, 370 secs
lola: 4939086 markings, 9811844 edges, 12871 markings/sec, 375 secs
lola: 5003174 markings, 9944795 edges, 12818 markings/sec, 380 secs
lola: 5068738 markings, 10074851 edges, 13113 markings/sec, 385 secs
lola: 5133176 markings, 10209714 edges, 12888 markings/sec, 390 secs
lola: 5198230 markings, 10339998 edges, 13011 markings/sec, 395 secs
lola: 5262296 markings, 10473756 edges, 12813 markings/sec, 400 secs
lola: 5327554 markings, 10600985 edges, 13052 markings/sec, 405 secs
lola: 5390710 markings, 10724943 edges, 12631 markings/sec, 410 secs
lola: 5453225 markings, 10865974 edges, 12503 markings/sec, 415 secs
lola: 5520400 markings, 10996781 edges, 13435 markings/sec, 420 secs
lola: 5585520 markings, 11127620 edges, 13024 markings/sec, 425 secs
lola: 5642862 markings, 11253712 edges, 11468 markings/sec, 430 secs
lola: 5704888 markings, 11370209 edges, 12405 markings/sec, 435 secs
lola: 5769441 markings, 11484525 edges, 12911 markings/sec, 440 secs
lola: 5830421 markings, 11602366 edges, 12196 markings/sec, 445 secs
lola: 5884345 markings, 11739044 edges, 10785 markings/sec, 450 secs
lola: 5928844 markings, 11900120 edges, 8900 markings/sec, 455 secs
lola: 5958629 markings, 12097963 edges, 5957 markings/sec, 460 secs
lola: 5969433 markings, 12354887 edges, 2161 markings/sec, 465 secs
lola: 5983277 markings, 12628736 edges, 2769 markings/sec, 470 secs
lola: 6045160 markings, 12773962 edges, 12377 markings/sec, 475 secs
lola: 6108385 markings, 12912571 edges, 12645 markings/sec, 480 secs
lola: 6169350 markings, 13045354 edges, 12193 markings/sec, 485 secs
lola: 6229160 markings, 13188152 edges, 11962 markings/sec, 490 secs
lola: 6289456 markings, 13320143 edges, 12059 markings/sec, 495 secs
lola: 6342860 markings, 13464602 edges, 10681 markings/sec, 500 secs
lola: 6370147 markings, 13669916 edges, 5457 markings/sec, 505 secs
lola: 6441874 markings, 13763141 edges, 14345 markings/sec, 510 secs
lola: 6513244 markings, 13857470 edges, 14274 markings/sec, 515 secs
lola: 6584976 markings, 13952438 edges, 14346 markings/sec, 520 secs
lola: 6658212 markings, 14049695 edges, 14647 markings/sec, 525 secs
lola: 6725792 markings, 14168054 edges, 13516 markings/sec, 530 secs
lola: 6784403 markings, 14294459 edges, 11722 markings/sec, 535 secs
lola: 6844497 markings, 14416304 edges, 12019 markings/sec, 540 secs
lola: 6903573 markings, 14543060 edges, 11815 markings/sec, 545 secs
lola: 6964751 markings, 14663257 edges, 12236 markings/sec, 550 secs
lola: 7024827 markings, 14786118 edges, 12015 markings/sec, 555 secs
lola: 7087125 markings, 14904431 edges, 12460 markings/sec, 560 secs
lola: 7147815 markings, 15024770 edges, 12138 markings/sec, 565 secs
lola: 7207475 markings, 15148183 edges, 11932 markings/sec, 570 secs
lola: 7270432 markings, 15275199 edges, 12591 markings/sec, 575 secs
lola: 7335484 markings, 15406825 edges, 13010 markings/sec, 580 secs
lola: 7401515 markings, 15536916 edges, 13206 markings/sec, 585 secs
lola: 7465030 markings, 15673363 edges, 12703 markings/sec, 590 secs
lola: 7531053 markings, 15803222 edges, 13205 markings/sec, 595 secs
lola: 7594043 markings, 15928727 edges, 12598 markings/sec, 600 secs
lola: 7659029 markings, 16061147 edges, 12997 markings/sec, 605 secs
lola: 7723565 markings, 16194849 edges, 12907 markings/sec, 610 secs
lola: 7784861 markings, 16324547 edges, 12259 markings/sec, 615 secs
lola: 7849880 markings, 16452730 edges, 13004 markings/sec, 620 secs
lola: 7914313 markings, 16587408 edges, 12887 markings/sec, 625 secs
lola: 7980450 markings, 16715841 edges, 13227 markings/sec, 630 secs
lola: 8046872 markings, 16839137 edges, 13284 markings/sec, 635 secs
lola: 8109774 markings, 16958075 edges, 12580 markings/sec, 640 secs
lola: 8166697 markings, 17093452 edges, 11385 markings/sec, 645 secs
lola: 8214280 markings, 17264640 edges, 9517 markings/sec, 650 secs
lola: 8245969 markings, 17476835 edges, 6338 markings/sec, 655 secs
lola: 8258069 markings, 17743632 edges, 2420 markings/sec, 660 secs
lola: 8272721 markings, 18008835 edges, 2930 markings/sec, 665 secs
lola: 8334036 markings, 18148579 edges, 12263 markings/sec, 670 secs
lola: 8396329 markings, 18285021 edges, 12459 markings/sec, 675 secs
lola: 8459091 markings, 18422292 edges, 12552 markings/sec, 680 secs
lola: 8519637 markings, 18565459 edges, 12109 markings/sec, 685 secs
lola: 8582579 markings, 18702617 edges, 12588 markings/sec, 690 secs
lola: 8631918 markings, 18846707 edges, 9868 markings/sec, 695 secs
lola: 8665126 markings, 19037697 edges, 6642 markings/sec, 700 secs
lola: 8737339 markings, 19128632 edges, 14443 markings/sec, 705 secs
lola: 8812291 markings, 19217273 edges, 14990 markings/sec, 710 secs
lola: 8888393 markings, 19307285 edges, 15220 markings/sec, 715 secs
lola: 8965673 markings, 19398691 edges, 15456 markings/sec, 720 secs
lola: 9045286 markings, 19492845 edges, 15923 markings/sec, 725 secs
lola: 9124351 markings, 19586366 edges, 15813 markings/sec, 730 secs
lola: 9202357 markings, 19678644 edges, 15601 markings/sec, 735 secs
lola: 9281678 markings, 19772569 edges, 15864 markings/sec, 740 secs
lola: 9360397 markings, 19865857 edges, 15744 markings/sec, 745 secs
lola: 9435477 markings, 19969281 edges, 15016 markings/sec, 750 secs
lola: 9512050 markings, 20071813 edges, 15315 markings/sec, 755 secs
lola: 9579901 markings, 20193644 edges, 13570 markings/sec, 760 secs
lola: 9654037 markings, 20302810 edges, 14827 markings/sec, 765 secs
lola: 9732040 markings, 20402683 edges, 15601 markings/sec, 770 secs
lola: 9807473 markings, 20511195 edges, 15087 markings/sec, 775 secs
lola: 9882886 markings, 20616382 edges, 15083 markings/sec, 780 secs
lola: 9959102 markings, 20721792 edges, 15243 markings/sec, 785 secs
lola: 10032174 markings, 20834428 edges, 14614 markings/sec, 790 secs
lola: 10101328 markings, 20957006 edges, 13831 markings/sec, 795 secs
lola: 10168599 markings, 21083646 edges, 13454 markings/sec, 800 secs
lola: 10237384 markings, 21208306 edges, 13757 markings/sec, 805 secs
lola: 10304856 markings, 21330410 edges, 13494 markings/sec, 810 secs
lola: 10369416 markings, 21461287 edges, 12912 markings/sec, 815 secs
lola: 10444543 markings, 21567788 edges, 15025 markings/sec, 820 secs
lola: 10514819 markings, 21684175 edges, 14055 markings/sec, 825 secs
lola: 10585700 markings, 21800022 edges, 14176 markings/sec, 830 secs
lola: 10654097 markings, 21922589 edges, 13679 markings/sec, 835 secs
lola: 10726474 markings, 22034038 edges, 14475 markings/sec, 840 secs
lola: 10796838 markings, 22150209 edges, 14073 markings/sec, 845 secs
lola: 10867716 markings, 22267643 edges, 14176 markings/sec, 850 secs
lola: 10939122 markings, 22381891 edges, 14281 markings/sec, 855 secs
lola: 11008936 markings, 22499848 edges, 13963 markings/sec, 860 secs
lola: 11073741 markings, 22632741 edges, 12961 markings/sec, 865 secs
lola: 11143733 markings, 22750078 edges, 13998 markings/sec, 870 secs
lola: 11211170 markings, 22872127 edges, 13487 markings/sec, 875 secs
lola: 11273446 markings, 23004094 edges, 12455 markings/sec, 880 secs
lola: 11330142 markings, 23153021 edges, 11339 markings/sec, 885 secs
lola: 11402608 markings, 23267277 edges, 14493 markings/sec, 890 secs
lola: 11468339 markings, 23393836 edges, 13146 markings/sec, 895 secs
lola: 11527291 markings, 23537202 edges, 11790 markings/sec, 900 secs
lola: 11589755 markings, 23668556 edges, 12493 markings/sec, 905 secs
lola: 11653984 markings, 23800699 edges, 12846 markings/sec, 910 secs
lola: 11721802 markings, 23920412 edges, 13564 markings/sec, 915 secs
lola: 11784506 markings, 24054619 edges, 12541 markings/sec, 920 secs
lola: 11843856 markings, 24200056 edges, 11870 markings/sec, 925 secs
lola: 11887268 markings, 24385124 edges, 8682 markings/sec, 930 secs
lola: 11960099 markings, 24495518 edges, 14566 markings/sec, 935 secs
lola: 12031342 markings, 24610699 edges, 14249 markings/sec, 940 secs
lola: 12085291 markings, 24750115 edges, 10790 markings/sec, 945 secs
lola: 12141939 markings, 24881471 edges, 11330 markings/sec, 950 secs
lola: 12199353 markings, 25011697 edges, 11483 markings/sec, 955 secs
lola: 12264011 markings, 25131749 edges, 12932 markings/sec, 960 secs
lola: 12320432 markings, 25261303 edges, 11284 markings/sec, 965 secs
lola: 12351951 markings, 25455257 edges, 6304 markings/sec, 970 secs
lola: 12411742 markings, 25580681 edges, 11958 markings/sec, 975 secs
lola: 12476333 markings, 25712266 edges, 12918 markings/sec, 980 secs
lola: 12526192 markings, 25886219 edges, 9972 markings/sec, 985 secs
lola: 12550419 markings, 26125783 edges, 4845 markings/sec, 990 secs
lola: 12579113 markings, 26352471 edges, 5739 markings/sec, 995 secs
lola: 12598502 markings, 26607462 edges, 3878 markings/sec, 1000 secs
lola: 12624695 markings, 26840172 edges, 5239 markings/sec, 1005 secs
lola: 12679932 markings, 27001669 edges, 11047 markings/sec, 1010 secs
lola: 12759700 markings, 27099085 edges, 15954 markings/sec, 1015 secs
lola: 12790029 markings, 27328016 edges, 6066 markings/sec, 1020 secs
lola: 12868024 markings, 27430515 edges, 15599 markings/sec, 1025 secs
lola: 12943505 markings, 27536742 edges, 15096 markings/sec, 1030 secs
lola: 13019578 markings, 27643328 edges, 15215 markings/sec, 1035 secs
lola: 13095902 markings, 27747354 edges, 15265 markings/sec, 1040 secs
lola: 13171196 markings, 27855587 edges, 15059 markings/sec, 1045 secs
lola: 13243427 markings, 27970981 edges, 14446 markings/sec, 1050 secs
lola: 13309343 markings, 28101793 edges, 13183 markings/sec, 1055 secs
lola: 13379914 markings, 28222210 edges, 14114 markings/sec, 1060 secs
lola: 13447437 markings, 28349215 edges, 13505 markings/sec, 1065 secs
lola: 13514160 markings, 28472974 edges, 13345 markings/sec, 1070 secs
lola: 13584013 markings, 28592454 edges, 13971 markings/sec, 1075 secs
lola: 13657444 markings, 28700340 edges, 14686 markings/sec, 1080 secs
lola: 13727696 markings, 28820317 edges, 14050 markings/sec, 1085 secs
lola: 13799214 markings, 28934958 edges, 14304 markings/sec, 1090 secs
lola: 13868046 markings, 29057418 edges, 13766 markings/sec, 1095 secs
lola: 13938495 markings, 29173817 edges, 14090 markings/sec, 1100 secs
lola: 14010212 markings, 29288837 edges, 14343 markings/sec, 1105 secs
lola: 14080460 markings, 29407261 edges, 14050 markings/sec, 1110 secs
lola: 14154005 markings, 29520227 edges, 14709 markings/sec, 1115 secs
lola: 14219953 markings, 29648127 edges, 13190 markings/sec, 1120 secs
lola: 14286904 markings, 29774330 edges, 13390 markings/sec, 1125 secs
lola: 14356510 markings, 29893569 edges, 13921 markings/sec, 1130 secs
lola: 14422946 markings, 30016058 edges, 13287 markings/sec, 1135 secs
lola: 14480433 markings, 30152724 edges, 11497 markings/sec, 1140 secs
lola: 14541982 markings, 30286461 edges, 12310 markings/sec, 1145 secs
lola: 14610441 markings, 30398210 edges, 13692 markings/sec, 1150 secs
lola: 14674236 markings, 30528822 edges, 12759 markings/sec, 1155 secs
lola: 14730160 markings, 30675712 edges, 11185 markings/sec, 1160 secs
lola: 14792097 markings, 30800633 edges, 12387 markings/sec, 1165 secs
lola: 14857553 markings, 30922652 edges, 13091 markings/sec, 1170 secs
lola: 14922410 markings, 31042549 edges, 12971 markings/sec, 1175 secs
lola: 14981538 markings, 31179303 edges, 11826 markings/sec, 1180 secs
lola: 15037780 markings, 31330323 edges, 11248 markings/sec, 1185 secs
lola: 15086169 markings, 31497744 edges, 9678 markings/sec, 1190 secs
lola: 15157914 markings, 31611661 edges, 14349 markings/sec, 1195 secs
lola: 15227783 markings, 31732215 edges, 13974 markings/sec, 1200 secs
lola: 15285759 markings, 31879980 edges, 11595 markings/sec, 1205 secs
lola: 15347745 markings, 32021288 edges, 12397 markings/sec, 1210 secs
lola: 15413298 markings, 32153352 edges, 13111 markings/sec, 1215 secs
lola: 15477154 markings, 32287271 edges, 12771 markings/sec, 1220 secs
lola: 15521983 markings, 32472691 edges, 8966 markings/sec, 1225 secs
lola: 15576885 markings, 32632287 edges, 10980 markings/sec, 1230 secs
lola: 15641531 markings, 32765612 edges, 12929 markings/sec, 1235 secs
lola: 15703138 markings, 32904421 edges, 12321 markings/sec, 1240 secs
lola: 15728035 markings, 33132053 edges, 4979 markings/sec, 1245 secs
lola: 15749233 markings, 33373315 edges, 4240 markings/sec, 1250 secs
lola: 15776957 markings, 33594383 edges, 5545 markings/sec, 1255 secs
lola: 15800470 markings, 33831987 edges, 4703 markings/sec, 1260 secs
lola: 15831194 markings, 34053909 edges, 6145 markings/sec, 1265 secs
lola: 15909860 markings, 34149976 edges, 15733 markings/sec, 1270 secs
lola: 15967748 markings, 34299657 edges, 11578 markings/sec, 1275 secs
lola: 16012892 markings, 34479703 edges, 9029 markings/sec, 1280 secs
lola: 16084398 markings, 34579761 edges, 14301 markings/sec, 1285 secs
lola: 16148910 markings, 34682209 edges, 12902 markings/sec, 1290 secs
lola: 16217812 markings, 34773069 edges, 13780 markings/sec, 1295 secs
lola: 16287755 markings, 34875608 edges, 13989 markings/sec, 1300 secs
lola: 16358903 markings, 34971864 edges, 14230 markings/sec, 1305 secs
lola: 16425424 markings, 35078928 edges, 13304 markings/sec, 1310 secs
lola: 16495360 markings, 35180152 edges, 13987 markings/sec, 1315 secs
lola: 16569978 markings, 35284111 edges, 14924 markings/sec, 1320 secs
lola: 16645502 markings, 35395950 edges, 15105 markings/sec, 1325 secs
lola: 16721671 markings, 35504020 edges, 15234 markings/sec, 1330 secs
lola: 16796122 markings, 35616286 edges, 14890 markings/sec, 1335 secs
lola: 16865807 markings, 35738499 edges, 13937 markings/sec, 1340 secs
lola: 16936378 markings, 35857582 edges, 14114 markings/sec, 1345 secs
lola: 17003024 markings, 35986948 edges, 13329 markings/sec, 1350 secs
lola: 17064092 markings, 36128927 edges, 12214 markings/sec, 1355 secs
lola: 17107831 markings, 36319963 edges, 8748 markings/sec, 1360 secs
lola: 17136175 markings, 36558402 edges, 5669 markings/sec, 1365 secs
lola: 17211079 markings, 36665321 edges, 14981 markings/sec, 1370 secs
lola: 17286232 markings, 36772605 edges, 15031 markings/sec, 1375 secs
lola: 17361738 markings, 36880389 edges, 15101 markings/sec, 1380 secs
lola: 17437526 markings, 36988568 edges, 15158 markings/sec, 1385 secs
lola: 17513118 markings, 37096485 edges, 15118 markings/sec, 1390 secs
lola: 17588871 markings, 37204590 edges, 15151 markings/sec, 1395 secs
lola: 17664781 markings, 37312991 edges, 15182 markings/sec, 1400 secs
lola: 17740754 markings, 37421421 edges, 15195 markings/sec, 1405 secs
lola: 17815144 markings, 37534921 edges, 14878 markings/sec, 1410 secs
lola: 17884462 markings, 37656830 edges, 13864 markings/sec, 1415 secs
lola: 17949387 markings, 37789050 edges, 12985 markings/sec, 1420 secs
lola: 18010664 markings, 37930071 edges, 12255 markings/sec, 1425 secs
lola: 18042480 markings, 38155273 edges, 6363 markings/sec, 1430 secs
lola: 18111685 markings, 38277975 edges, 13841 markings/sec, 1435 secs
lola: 18175210 markings, 38411708 edges, 12705 markings/sec, 1440 secs
lola: 18223176 markings, 38589566 edges, 9593 markings/sec, 1445 secs
lola: 18274566 markings, 38759676 edges, 10278 markings/sec, 1450 secs
lola: 18342240 markings, 38883860 edges, 13535 markings/sec, 1455 secs
lola: 18403874 markings, 39023602 edges, 12327 markings/sec, 1460 secs
lola: 18436399 markings, 39244289 edges, 6505 markings/sec, 1465 secs
lola: 18510262 markings, 39356939 edges, 14773 markings/sec, 1470 secs
lola: 18588957 markings, 39450026 edges, 15739 markings/sec, 1475 secs
lola: 18669262 markings, 39545027 edges, 16061 markings/sec, 1480 secs
lola: 18743820 markings, 39657806 edges, 14912 markings/sec, 1485 secs
lola: 18811039 markings, 39789361 edges, 13444 markings/sec, 1490 secs
lola: 18875584 markings, 39926068 edges, 12909 markings/sec, 1495 secs
lola: 18941793 markings, 40055597 edges, 13242 markings/sec, 1500 secs
lola: 19008644 markings, 40182613 edges, 13370 markings/sec, 1505 secs
lola: 19073944 markings, 40313896 edges, 13060 markings/sec, 1510 secs
lola: 19140474 markings, 40441480 edges, 13306 markings/sec, 1515 secs
lola: 19204427 markings, 40573723 edges, 12791 markings/sec, 1520 secs
lola: 19270321 markings, 40700796 edges, 13179 markings/sec, 1525 secs
lola: 19334966 markings, 40835502 edges, 12929 markings/sec, 1530 secs
lola: 19398156 markings, 40975636 edges, 12638 markings/sec, 1535 secs
lola: 19463945 markings, 41108144 edges, 13158 markings/sec, 1540 secs
lola: 19529843 markings, 41239294 edges, 13180 markings/sec, 1545 secs
lola: 19592359 markings, 41381536 edges, 12503 markings/sec, 1550 secs
lola: 19657482 markings, 41518144 edges, 13025 markings/sec, 1555 secs
lola: 19722423 markings, 41651398 edges, 12988 markings/sec, 1560 secs
lola: 19787940 markings, 41786218 edges, 13103 markings/sec, 1565 secs
lola: 19854737 markings, 41918669 edges, 13359 markings/sec, 1570 secs
lola: 19921102 markings, 42050552 edges, 13273 markings/sec, 1575 secs
lola: 19991066 markings, 42173472 edges, 13993 markings/sec, 1580 secs
lola: 20057850 markings, 42296358 edges, 13357 markings/sec, 1585 secs
lola: 20119488 markings, 42432646 edges, 12328 markings/sec, 1590 secs
lola: 20166535 markings, 42607142 edges, 9409 markings/sec, 1595 secs
lola: 20202787 markings, 42809597 edges, 7250 markings/sec, 1600 secs
lola: 20212806 markings, 43090114 edges, 2004 markings/sec, 1605 secs
lola: 20228407 markings, 43358707 edges, 3120 markings/sec, 1610 secs
lola: 20300860 markings, 43475384 edges, 14491 markings/sec, 1615 secs
lola: 20376348 markings, 43586762 edges, 15098 markings/sec, 1620 secs
lola: 20452002 markings, 43691076 edges, 15131 markings/sec, 1625 secs
lola: 20516990 markings, 43822588 edges, 12998 markings/sec, 1630 secs
lola: 20585511 markings, 43950434 edges, 13704 markings/sec, 1635 secs
lola: 20657076 markings, 44069976 edges, 14313 markings/sec, 1640 secs
lola: 20724835 markings, 44194314 edges, 13552 markings/sec, 1645 secs
lola: 20791611 markings, 44318620 edges, 13355 markings/sec, 1650 secs
lola: 20859882 markings, 44447379 edges, 13654 markings/sec, 1655 secs
lola: 20926508 markings, 44576028 edges, 13325 markings/sec, 1660 secs
lola: 20994120 markings, 44702878 edges, 13522 markings/sec, 1665 secs
lola: 21064253 markings, 44821515 edges, 14027 markings/sec, 1670 secs
lola: 21132765 markings, 44950265 edges, 13702 markings/sec, 1675 secs
lola: 21200728 markings, 45078707 edges, 13593 markings/sec, 1680 secs
lola: 21271660 markings, 45202786 edges, 14186 markings/sec, 1685 secs
lola: 21343273 markings, 45327624 edges, 14323 markings/sec, 1690 secs
lola: 21413280 markings, 45457911 edges, 14001 markings/sec, 1695 secs
lola: 21483623 markings, 45584873 edges, 14069 markings/sec, 1700 secs
lola: 21552404 markings, 45713425 edges, 13756 markings/sec, 1705 secs
lola: 21620146 markings, 45840074 edges, 13548 markings/sec, 1710 secs
lola: 21690235 markings, 45967648 edges, 14018 markings/sec, 1715 secs
lola: 21758939 markings, 46096782 edges, 13741 markings/sec, 1720 secs
lola: 21828429 markings, 46220493 edges, 13898 markings/sec, 1725 secs
lola: 21897474 markings, 46345846 edges, 13809 markings/sec, 1730 secs
lola: 21969468 markings, 46468925 edges, 14399 markings/sec, 1735 secs
lola: 22037438 markings, 46595881 edges, 13594 markings/sec, 1740 secs
lola: 22106936 markings, 46719415 edges, 13900 markings/sec, 1745 secs
lola: 22176216 markings, 46840818 edges, 13856 markings/sec, 1750 secs
lola: 22241791 markings, 46965163 edges, 13115 markings/sec, 1755 secs
lola: 22305878 markings, 47086197 edges, 12817 markings/sec, 1760 secs
lola: 22370666 markings, 47211280 edges, 12958 markings/sec, 1765 secs
lola: 22433524 markings, 47328334 edges, 12572 markings/sec, 1770 secs
lola: 22497840 markings, 47444766 edges, 12863 markings/sec, 1775 secs
lola: 22559674 markings, 47564603 edges, 12367 markings/sec, 1780 secs
lola: 22622831 markings, 47683532 edges, 12631 markings/sec, 1785 secs
lola: 22696239 markings, 47786594 edges, 14682 markings/sec, 1790 secs
lola: 22770904 markings, 47884815 edges, 14933 markings/sec, 1795 secs
lola: 22833896 markings, 47999536 edges, 12598 markings/sec, 1800 secs
lola: 22903196 markings, 48118329 edges, 13860 markings/sec, 1805 secs
lola: 22971942 markings, 48236976 edges, 13749 markings/sec, 1810 secs
lola: 23037067 markings, 48349228 edges, 13025 markings/sec, 1815 secs
lola: 23087798 markings, 48491579 edges, 10146 markings/sec, 1820 secs
lola: 23126922 markings, 48669188 edges, 7825 markings/sec, 1825 secs
lola: 23149923 markings, 48898351 edges, 4600 markings/sec, 1830 secs
lola: 23221429 markings, 48993217 edges, 14301 markings/sec, 1835 secs
lola: 23292970 markings, 49087466 edges, 14308 markings/sec, 1840 secs
lola: 23356757 markings, 49205448 edges, 12757 markings/sec, 1845 secs
lola: 23426293 markings, 49321983 edges, 13907 markings/sec, 1850 secs
lola: 23495027 markings, 49441334 edges, 13747 markings/sec, 1855 secs
lola: 23561992 markings, 49562183 edges, 13393 markings/sec, 1860 secs
lola: 23614138 markings, 49723114 edges, 10429 markings/sec, 1865 secs
lola: 23649205 markings, 49933373 edges, 7013 markings/sec, 1870 secs
lola: 23690383 markings, 50128838 edges, 8236 markings/sec, 1875 secs
lola: 23763488 markings, 50233512 edges, 14621 markings/sec, 1880 secs
lola: 23837159 markings, 50339004 edges, 14734 markings/sec, 1885 secs
lola: 23910591 markings, 50445428 edges, 14686 markings/sec, 1890 secs
lola: 23977122 markings, 50560618 edges, 13306 markings/sec, 1895 secs
lola: 24039224 markings, 50688881 edges, 12420 markings/sec, 1900 secs
lola: 24098476 markings, 50826467 edges, 11850 markings/sec, 1905 secs
lola: 24129114 markings, 51043340 edges, 6128 markings/sec, 1910 secs
lola: 24198930 markings, 51158072 edges, 13963 markings/sec, 1915 secs
lola: 24264473 markings, 51285841 edges, 13109 markings/sec, 1920 secs
lola: 24329564 markings, 51409401 edges, 13018 markings/sec, 1925 secs
lola: 24393122 markings, 51536321 edges, 12712 markings/sec, 1930 secs
lola: 24452994 markings, 51668658 edges, 11974 markings/sec, 1935 secs
lola: 24515316 markings, 51798710 edges, 12464 markings/sec, 1940 secs
lola: 24576379 markings, 51934121 edges, 12213 markings/sec, 1945 secs
lola: 24636486 markings, 52074740 edges, 12021 markings/sec, 1950 secs
lola: 24695834 markings, 52214000 edges, 11870 markings/sec, 1955 secs
lola: 24758392 markings, 52338329 edges, 12512 markings/sec, 1960 secs
lola: 24787490 markings, 52552322 edges, 5820 markings/sec, 1965 secs
lola: 24843132 markings, 52699897 edges, 11128 markings/sec, 1970 secs
lola: 24906302 markings, 52832890 edges, 12634 markings/sec, 1975 secs
lola: 24969009 markings, 52964838 edges, 12541 markings/sec, 1980 secs
lola: 25030612 markings, 53097412 edges, 12321 markings/sec, 1985 secs
lola: 25094917 markings, 53227200 edges, 12861 markings/sec, 1990 secs
lola: 25160158 markings, 53348808 edges, 13048 markings/sec, 1995 secs
lola: 25228733 markings, 53466700 edges, 13715 markings/sec, 2000 secs
lola: 25294050 markings, 53593759 edges, 13063 markings/sec, 2005 secs
lola: 25363044 markings, 53706715 edges, 13799 markings/sec, 2010 secs
lola: 25421708 markings, 53852402 edges, 11733 markings/sec, 2015 secs
lola: 25492031 markings, 53966470 edges, 14065 markings/sec, 2020 secs
lola: 25558203 markings, 54092019 edges, 13234 markings/sec, 2025 secs
lola: 25624664 markings, 54217295 edges, 13292 markings/sec, 2030 secs
lola: 25689856 markings, 54342670 edges, 13038 markings/sec, 2035 secs
lola: 25756988 markings, 54469447 edges, 13426 markings/sec, 2040 secs
lola: 25824578 markings, 54597847 edges, 13518 markings/sec, 2045 secs
lola: 25890756 markings, 54723379 edges, 13236 markings/sec, 2050 secs
lola: 25957008 markings, 54846102 edges, 13250 markings/sec, 2055 secs
lola: 26022874 markings, 54971076 edges, 13173 markings/sec, 2060 secs
lola: 26089088 markings, 55097421 edges, 13243 markings/sec, 2065 secs
lola: 26156774 markings, 55215219 edges, 13537 markings/sec, 2070 secs
lola: 26224961 markings, 55331404 edges, 13637 markings/sec, 2075 secs
lola: 26289734 markings, 55441174 edges, 12955 markings/sec, 2080 secs
lola: 26355396 markings, 55550439 edges, 13132 markings/sec, 2085 secs
lola: 26423216 markings, 55652067 edges, 13564 markings/sec, 2090 secs
lola: 26487526 markings, 55759651 edges, 12862 markings/sec, 2095 secs
lola: 26549884 markings, 55870902 edges, 12472 markings/sec, 2100 secs
lola: 26605314 markings, 55999661 edges, 11086 markings/sec, 2105 secs
lola: 26635126 markings, 56211009 edges, 5962 markings/sec, 2110 secs
lola: 26704917 markings, 56322196 edges, 13958 markings/sec, 2115 secs
lola: 26772522 markings, 56438600 edges, 13521 markings/sec, 2120 secs
lola: 26838476 markings, 56555249 edges, 13191 markings/sec, 2125 secs
lola: 26881640 markings, 56732237 edges, 8633 markings/sec, 2130 secs
lola: 26929340 markings, 56901937 edges, 9540 markings/sec, 2135 secs
lola: 26995648 markings, 57004386 edges, 13262 markings/sec, 2140 secs
lola: 27059151 markings, 57119128 edges, 12701 markings/sec, 2145 secs
lola: 27116052 markings, 57252549 edges, 11380 markings/sec, 2150 secs
lola: 27144462 markings, 57455812 edges, 5682 markings/sec, 2155 secs
lola: 27208870 markings, 57567411 edges, 12882 markings/sec, 2160 secs
lola: 27276231 markings, 57675192 edges, 13472 markings/sec, 2165 secs
lola: 27350146 markings, 57784556 edges, 14783 markings/sec, 2170 secs
lola: 27421286 markings, 57901531 edges, 14228 markings/sec, 2175 secs
lola: 27488261 markings, 58030697 edges, 13395 markings/sec, 2180 secs
lola: 27553622 markings, 58162831 edges, 13072 markings/sec, 2185 secs
lola: 27616909 markings, 58287420 edges, 12657 markings/sec, 2190 secs
lola: 27681531 markings, 58415925 edges, 12924 markings/sec, 2195 secs
lola: 27746506 markings, 58547893 edges, 12995 markings/sec, 2200 secs
lola: 27809879 markings, 58681534 edges, 12675 markings/sec, 2205 secs
lola: 27873437 markings, 58817095 edges, 12712 markings/sec, 2210 secs
lola: 27934274 markings, 58956963 edges, 12167 markings/sec, 2215 secs
lola: 27998964 markings, 59084642 edges, 12938 markings/sec, 2220 secs
lola: 28062771 markings, 59211180 edges, 12761 markings/sec, 2225 secs
lola: 28125442 markings, 59323832 edges, 12534 markings/sec, 2230 secs
lola: 28173072 markings, 59470950 edges, 9526 markings/sec, 2235 secs
lola: 28190077 markings, 59699717 edges, 3401 markings/sec, 2240 secs
lola: 28235642 markings, 59878376 edges, 9113 markings/sec, 2245 secs
lola: 28301253 markings, 60002531 edges, 13122 markings/sec, 2250 secs
lola: 28367989 markings, 60120161 edges, 13347 markings/sec, 2255 secs
lola: 28431958 markings, 60244178 edges, 12794 markings/sec, 2260 secs
lola: 28494379 markings, 60372440 edges, 12484 markings/sec, 2265 secs
lola: 28560357 markings, 60495346 edges, 13196 markings/sec, 2270 secs
lola: 28628152 markings, 60613431 edges, 13559 markings/sec, 2275 secs
lola: 28692949 markings, 60737717 edges, 12959 markings/sec, 2280 secs
lola: 28756408 markings, 60867682 edges, 12692 markings/sec, 2285 secs
lola: 28821040 markings, 60995473 edges, 12926 markings/sec, 2290 secs
lola: 28887188 markings, 61122621 edges, 13230 markings/sec, 2295 secs
lola: 28951653 markings, 61254188 edges, 12893 markings/sec, 2300 secs
lola: 29015122 markings, 61386474 edges, 12694 markings/sec, 2305 secs
lola: 29078129 markings, 61523272 edges, 12601 markings/sec, 2310 secs
lola: 29140583 markings, 61657052 edges, 12491 markings/sec, 2315 secs
lola: 29198964 markings, 61783959 edges, 11676 markings/sec, 2320 secs
lola: 29258910 markings, 61909948 edges, 11989 markings/sec, 2325 secs
lola: 29322111 markings, 62020836 edges, 12640 markings/sec, 2330 secs
lola: 29381271 markings, 62139132 edges, 11832 markings/sec, 2335 secs
lola: 29417629 markings, 62315051 edges, 7272 markings/sec, 2340 secs
lola: 29428861 markings, 62564408 edges, 2246 markings/sec, 2345 secs
lola: 29490916 markings, 62686065 edges, 12411 markings/sec, 2350 secs
lola: 29560034 markings, 62798550 edges, 13824 markings/sec, 2355 secs
lola: 29625022 markings, 62924387 edges, 12998 markings/sec, 2360 secs
lola: 29689328 markings, 63051496 edges, 12861 markings/sec, 2365 secs
lola: 29754937 markings, 63175480 edges, 13122 markings/sec, 2370 secs
lola: 29825266 markings, 63287827 edges, 14066 markings/sec, 2375 secs
lola: 29886926 markings, 63418070 edges, 12332 markings/sec, 2380 secs
lola: 29951666 markings, 63542167 edges, 12948 markings/sec, 2385 secs
lola: 30015242 markings, 63670413 edges, 12715 markings/sec, 2390 secs
lola: 30079804 markings, 63800365 edges, 12912 markings/sec, 2395 secs
lola: 30146458 markings, 63921051 edges, 13331 markings/sec, 2400 secs
lola: 30216524 markings, 64038387 edges, 14013 markings/sec, 2405 secs
lola: 30284984 markings, 64156608 edges, 13692 markings/sec, 2410 secs
lola: 30356421 markings, 64272163 edges, 14287 markings/sec, 2415 secs
lola: 30419414 markings, 64403522 edges, 12599 markings/sec, 2420 secs
lola: 30492442 markings, 64516857 edges, 14606 markings/sec, 2425 secs
lola: 30562515 markings, 64637768 edges, 14015 markings/sec, 2430 secs
lola: 30633241 markings, 64756551 edges, 14145 markings/sec, 2435 secs
lola: 30699284 markings, 64884224 edges, 13209 markings/sec, 2440 secs
lola: 30766825 markings, 65005911 edges, 13508 markings/sec, 2445 secs
lola: 30834626 markings, 65127751 edges, 13560 markings/sec, 2450 secs
lola: 30908702 markings, 65231648 edges, 14815 markings/sec, 2455 secs
lola: 30978079 markings, 65346057 edges, 13875 markings/sec, 2460 secs
lola: 31046106 markings, 65459631 edges, 13605 markings/sec, 2465 secs
lola: 31114062 markings, 65571415 edges, 13591 markings/sec, 2470 secs
lola: 31180403 markings, 65682057 edges, 13268 markings/sec, 2475 secs
lola: 31243110 markings, 65806080 edges, 12541 markings/sec, 2480 secs
lola: 31306421 markings, 65922420 edges, 12662 markings/sec, 2485 secs
lola: 31370022 markings, 66037460 edges, 12720 markings/sec, 2490 secs
lola: 31430689 markings, 66157950 edges, 12133 markings/sec, 2495 secs
lola: 31493668 markings, 66276067 edges, 12596 markings/sec, 2500 secs
lola: 31557351 markings, 66391382 edges, 12737 markings/sec, 2505 secs
lola: 31618590 markings, 66513265 edges, 12248 markings/sec, 2510 secs
lola: 31678305 markings, 66637964 edges, 11943 markings/sec, 2515 secs
lola: 31742227 markings, 66752200 edges, 12784 markings/sec, 2520 secs
lola: 31804477 markings, 66871710 edges, 12450 markings/sec, 2525 secs
lola: 31869231 markings, 66984098 edges, 12951 markings/sec, 2530 secs
lola: 31930725 markings, 67104446 edges, 12299 markings/sec, 2535 secs
lola: 31991710 markings, 67235839 edges, 12197 markings/sec, 2540 secs
lola: 32058615 markings, 67354946 edges, 13381 markings/sec, 2545 secs
lola: 32119649 markings, 67489328 edges, 12207 markings/sec, 2550 secs
lola: 32191421 markings, 67593713 edges, 14354 markings/sec, 2555 secs
lola: 32254409 markings, 67721958 edges, 12598 markings/sec, 2560 secs
lola: 32320478 markings, 67845318 edges, 13214 markings/sec, 2565 secs
lola: 32385556 markings, 67969769 edges, 13016 markings/sec, 2570 secs
lola: 32452805 markings, 68093897 edges, 13450 markings/sec, 2575 secs
lola: 32524224 markings, 68196407 edges, 14284 markings/sec, 2580 secs
lola: 32587789 markings, 68326198 edges, 12713 markings/sec, 2585 secs
lola: 32656435 markings, 68428599 edges, 13729 markings/sec, 2590 secs
lola: 32727741 markings, 68523000 edges, 14261 markings/sec, 2595 secs
lola: 32797316 markings, 68622205 edges, 13915 markings/sec, 2600 secs
lola: 32871830 markings, 68721074 edges, 14903 markings/sec, 2605 secs
lola: 32946615 markings, 68820541 edges, 14957 markings/sec, 2610 secs
lola: 33021441 markings, 68919023 edges, 14965 markings/sec, 2615 secs
lola: 33086574 markings, 69040602 edges, 13027 markings/sec, 2620 secs
lola: 33153439 markings, 69159696 edges, 13373 markings/sec, 2625 secs
lola: 33227535 markings, 69258829 edges, 14819 markings/sec, 2630 secs
lola: 33299395 markings, 69363390 edges, 14372 markings/sec, 2635 secs
lola: 33367360 markings, 69478892 edges, 13593 markings/sec, 2640 secs
lola: 33438219 markings, 69580035 edges, 14172 markings/sec, 2645 secs
lola: 33509380 markings, 69681615 edges, 14232 markings/sec, 2650 secs
lola: 33580851 markings, 69783638 edges, 14294 markings/sec, 2655 secs
lola: 33652530 markings, 69885964 edges, 14336 markings/sec, 2660 secs
lola: 33724640 markings, 69988917 edges, 14422 markings/sec, 2665 secs
lola: 33797158 markings, 70092471 edges, 14504 markings/sec, 2670 secs
lola: 33869601 markings, 70195861 edges, 14489 markings/sec, 2675 secs
lola: 33942930 markings, 70300549 edges, 14666 markings/sec, 2680 secs
lola: 34018385 markings, 70398158 edges, 15091 markings/sec, 2685 secs
lola: 34096733 markings, 70490824 edges, 15670 markings/sec, 2690 secs
lola: 34173238 markings, 70581321 edges, 15301 markings/sec, 2695 secs
lola: 34250433 markings, 70672626 edges, 15439 markings/sec, 2700 secs
lola: 34327545 markings, 70764051 edges, 15422 markings/sec, 2705 secs
lola: 34404528 markings, 70855349 edges, 15397 markings/sec, 2710 secs
lola: 34480706 markings, 70945847 edges, 15236 markings/sec, 2715 secs
lola: 34558390 markings, 71038276 edges, 15537 markings/sec, 2720 secs
lola: 34631209 markings, 71137839 edges, 14564 markings/sec, 2725 secs
lola: 34697362 markings, 71254171 edges, 13231 markings/sec, 2730 secs
lola: 34759745 markings, 71379270 edges, 12477 markings/sec, 2735 secs
lola: 34817623 markings, 71514329 edges, 11576 markings/sec, 2740 secs
lola: 34849908 markings, 71720479 edges, 6457 markings/sec, 2745 secs
lola: 34911115 markings, 71851044 edges, 12241 markings/sec, 2750 secs
lola: 34973370 markings, 71973802 edges, 12451 markings/sec, 2755 secs
lola: 35027470 markings, 72118055 edges, 10820 markings/sec, 2760 secs
lola: time limit reached - aborting
lola:
preliminary result: 1 1 1 1 1 1 1 unknown unknown 1 1 1 1 1 1 1
lola:
preliminary result: 1 1 1 1 1 1 1 unknown 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 unknown unknown 1 1 1 1 1 1 1
lola: memory consumption: 2075588 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 1 1 1 1 1 1 unknown unknown 1 1 1 1 1 1 1
rslt: finished

BK_STOP 1553481852146

--------------------
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="NoC3x3-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-3954"
echo " Executing tool lola"
echo " Input is NoC3x3-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 r181-csrt-155344535100299"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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