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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 460K
-rw-r--r-- 1 mcc users 3.4K Feb 9 08:42 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Feb 9 08:42 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Feb 5 07:29 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 5 07:29 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.4K Feb 4 23:10 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.8K 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 9.3K Feb 4 22:33 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Feb 2 01:49 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Feb 2 01:49 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Jan 29 15:30 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Jan 29 15:30 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 308K 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-3b-UpperBounds-00
FORMULA_NAME CloudDeployment-PT-3b-UpperBounds-01
FORMULA_NAME CloudDeployment-PT-3b-UpperBounds-02
FORMULA_NAME CloudDeployment-PT-3b-UpperBounds-03
FORMULA_NAME CloudDeployment-PT-3b-UpperBounds-04
FORMULA_NAME CloudDeployment-PT-3b-UpperBounds-05
FORMULA_NAME CloudDeployment-PT-3b-UpperBounds-06
FORMULA_NAME CloudDeployment-PT-3b-UpperBounds-07
FORMULA_NAME CloudDeployment-PT-3b-UpperBounds-08
FORMULA_NAME CloudDeployment-PT-3b-UpperBounds-09
FORMULA_NAME CloudDeployment-PT-3b-UpperBounds-10
FORMULA_NAME CloudDeployment-PT-3b-UpperBounds-11
FORMULA_NAME CloudDeployment-PT-3b-UpperBounds-12
FORMULA_NAME CloudDeployment-PT-3b-UpperBounds-13
FORMULA_NAME CloudDeployment-PT-3b-UpperBounds-14
FORMULA_NAME CloudDeployment-PT-3b-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1552507146560

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

FORMULA CloudDeployment-PT-3b-UpperBounds-00 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

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

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

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

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

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

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

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

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

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

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

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

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

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

{
"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 19:59:06 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(p270)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 12,
"markings": 13,
"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(p370)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 85,
"markings": 86,
"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(p781)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 96,
"markings": 97,
"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(p712)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 65,
"markings": 66,
"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(p387)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 78,
"markings": 79,
"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(p467)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 61,
"markings": 62,
"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(p815)",
"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": 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(p815)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 10,
"markings": 11,
"produced_by": "search",
"value": 1
},
"task":
{
"compoundnumber": 7,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 445
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "MAX(p832)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 90,
"markings": 91,
"produced_by": "search",
"value": 1
},
"task":
{
"compoundnumber": 9,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 519
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "MAX(p600)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 29,
"markings": 30,
"produced_by": "search",
"value": 1
},
"task":
{
"compoundnumber": 10,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 623
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "MAX(p722)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 51,
"markings": 52,
"produced_by": "search",
"value": 1
},
"task":
{
"compoundnumber": 11,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 779
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "MAX(p853)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 6,
"markings": 7,
"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": 1169
},
"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(p655)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 82,
"markings": 83,
"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": 2339
},
"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(p770)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 39,
"markings": 40,
"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": 6043936,
"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": 4030,
"conflict_clusters": 753,
"places": 859,
"places_significant": 846,
"singleton_clusters": 0,
"transitions": 1152
},
"result":
{
"interim_value": "1 1 1 1 1 1 1 1 unknown 1 1 1 unknown 1 1 1 ",
"preliminary_value": "1 1 1 1 1 1 1 1 unknown 1 1 1 unknown 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: 2011/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 859
lola: finding significant places
lola: 859 places, 1152 transitions, 846 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(p270) : MAX(p370) : MAX(p781) : MAX(p712) : MAX(p387) : MAX(p467) : MAX(p815) : MAX(p815) : MAX(p91) : MAX(p832) : MAX(p600) : MAX(p722) : MAX(p150) : MAX(p853) : MAX(p655) : MAX(p770)
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(p270)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p270)
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 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p370)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p370)
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: 86 markings, 85 edges
lola: ========================================
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p781)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p781)
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: 97 markings, 96 edges
lola: ========================================
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p712)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p712)
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 4 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p387)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p387)
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: 79 markings, 78 edges
lola: ========================================
lola: subprocess 5 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p467)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p467)
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: 62 markings, 61 edges
lola: ========================================
lola: subprocess 6 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p815)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p815)
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 396 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p815)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p815)
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 8 will run for 445 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p91)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p91)
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: 109843 markings, 305872 edges, 21969 markings/sec, 0 secs
lola: 217750 markings, 593523 edges, 21581 markings/sec, 5 secs
lola: 412195 markings, 857810 edges, 38889 markings/sec, 10 secs
lola: 608752 markings, 1106298 edges, 39311 markings/sec, 15 secs
lola: 804066 markings, 1355650 edges, 39063 markings/sec, 20 secs
lola: 989349 markings, 1607103 edges, 37057 markings/sec, 25 secs
lola: 1183072 markings, 1857611 edges, 38745 markings/sec, 30 secs
lola: 1365141 markings, 2121640 edges, 36414 markings/sec, 35 secs
lola: 1557618 markings, 2368501 edges, 38495 markings/sec, 40 secs
lola: 1752918 markings, 2617192 edges, 39060 markings/sec, 45 secs
lola: 1945479 markings, 2865056 edges, 38512 markings/sec, 50 secs
lola: 2132100 markings, 3115394 edges, 37324 markings/sec, 55 secs
lola: 2318509 markings, 3367797 edges, 37282 markings/sec, 60 secs
lola: 2502855 markings, 3628067 edges, 36869 markings/sec, 65 secs
lola: 2619576 markings, 3936905 edges, 23344 markings/sec, 70 secs
lola: 2740035 markings, 4239349 edges, 24092 markings/sec, 75 secs
lola: 2862559 markings, 4562297 edges, 24505 markings/sec, 80 secs
lola: 3005834 markings, 4883913 edges, 28655 markings/sec, 85 secs
lola: 3175238 markings, 5161492 edges, 33881 markings/sec, 90 secs
lola: 3296853 markings, 5476079 edges, 24323 markings/sec, 95 secs
lola: 3413514 markings, 5780450 edges, 23332 markings/sec, 100 secs
lola: 3558599 markings, 6108805 edges, 29017 markings/sec, 105 secs
lola: 3696025 markings, 6440129 edges, 27485 markings/sec, 110 secs
lola: 3828720 markings, 6786866 edges, 26539 markings/sec, 115 secs
lola: 3970950 markings, 7126260 edges, 28446 markings/sec, 120 secs
lola: 4115206 markings, 7467859 edges, 28851 markings/sec, 125 secs
lola: 4250777 markings, 7805392 edges, 27114 markings/sec, 130 secs
lola: 4388124 markings, 8148286 edges, 27469 markings/sec, 135 secs
lola: 4525157 markings, 8479625 edges, 27407 markings/sec, 140 secs
lola: 4662813 markings, 8816126 edges, 27531 markings/sec, 145 secs
lola: 4808733 markings, 9133851 edges, 29184 markings/sec, 150 secs
lola: 4948840 markings, 9455861 edges, 28021 markings/sec, 155 secs
lola: 5087205 markings, 9779439 edges, 27673 markings/sec, 160 secs
lola: 5224248 markings, 10099540 edges, 27409 markings/sec, 165 secs
lola: 5361264 markings, 10426789 edges, 27403 markings/sec, 170 secs
lola: 5496765 markings, 10759907 edges, 27100 markings/sec, 175 secs
lola: 5629757 markings, 11099303 edges, 26598 markings/sec, 180 secs
lola: 5763904 markings, 11444238 edges, 26829 markings/sec, 185 secs
lola: 5896279 markings, 11781328 edges, 26475 markings/sec, 190 secs
lola: 6027573 markings, 12101692 edges, 26259 markings/sec, 195 secs
lola: 6160171 markings, 12428133 edges, 26520 markings/sec, 200 secs
lola: 6290301 markings, 12747011 edges, 26026 markings/sec, 205 secs
lola: 6429145 markings, 13063233 edges, 27769 markings/sec, 210 secs
lola: 6565190 markings, 13385261 edges, 27209 markings/sec, 215 secs
lola: 6701357 markings, 13724767 edges, 27233 markings/sec, 220 secs
lola: 6836142 markings, 14071444 edges, 26957 markings/sec, 225 secs
lola: 6969162 markings, 14388372 edges, 26604 markings/sec, 230 secs
lola: 7103190 markings, 14719242 edges, 26806 markings/sec, 235 secs
lola: 7238772 markings, 15037404 edges, 27116 markings/sec, 240 secs
lola: 7368551 markings, 15378182 edges, 25956 markings/sec, 245 secs
lola: 7496617 markings, 15715292 edges, 25613 markings/sec, 250 secs
lola: 7627579 markings, 16041682 edges, 26192 markings/sec, 255 secs
lola: 7758194 markings, 16366746 edges, 26123 markings/sec, 260 secs
lola: 7883791 markings, 16675944 edges, 25119 markings/sec, 265 secs
lola: 8020938 markings, 17001329 edges, 27429 markings/sec, 270 secs
lola: 8161834 markings, 17343078 edges, 28179 markings/sec, 275 secs
lola: 8306506 markings, 17682748 edges, 28934 markings/sec, 280 secs
lola: 8449467 markings, 18024884 edges, 28592 markings/sec, 285 secs
lola: 8586803 markings, 18362601 edges, 27467 markings/sec, 290 secs
lola: 8727268 markings, 18695423 edges, 28093 markings/sec, 295 secs
lola: 8868135 markings, 19038655 edges, 28173 markings/sec, 300 secs
lola: 9009101 markings, 19383206 edges, 28193 markings/sec, 305 secs
lola: 9142139 markings, 19706771 edges, 26608 markings/sec, 310 secs
lola: 9268196 markings, 20005657 edges, 25211 markings/sec, 315 secs
lola: 9377469 markings, 20343720 edges, 21855 markings/sec, 320 secs
lola: 9484762 markings, 20637079 edges, 21459 markings/sec, 325 secs
lola: 9611821 markings, 20947316 edges, 25412 markings/sec, 330 secs
lola: 9748351 markings, 21281274 edges, 27306 markings/sec, 335 secs
lola: 9883441 markings, 21614034 edges, 27018 markings/sec, 340 secs
lola: 10014432 markings, 21942528 edges, 26198 markings/sec, 345 secs
lola: 10142478 markings, 22282227 edges, 25609 markings/sec, 350 secs
lola: 10268090 markings, 22616771 edges, 25122 markings/sec, 355 secs
lola: 10391837 markings, 22980544 edges, 24749 markings/sec, 360 secs
lola: 10516487 markings, 23284739 edges, 24930 markings/sec, 365 secs
lola: 10634067 markings, 23614085 edges, 23516 markings/sec, 370 secs
lola: 10758860 markings, 23946096 edges, 24959 markings/sec, 375 secs
lola: 10848068 markings, 24325376 edges, 17842 markings/sec, 380 secs
lola: 10909231 markings, 24721065 edges, 12233 markings/sec, 385 secs
lola: 11021300 markings, 25002471 edges, 22414 markings/sec, 390 secs
lola: 11135517 markings, 25302826 edges, 22843 markings/sec, 395 secs
lola: 11244972 markings, 25567438 edges, 21891 markings/sec, 400 secs
lola: 11352742 markings, 25887977 edges, 21554 markings/sec, 405 secs
lola: 11449751 markings, 26218823 edges, 19402 markings/sec, 410 secs
lola: 11548928 markings, 26548421 edges, 19835 markings/sec, 415 secs
lola: 11663465 markings, 26858626 edges, 22907 markings/sec, 420 secs
lola: 11789859 markings, 27175241 edges, 25279 markings/sec, 425 secs
lola: 11916195 markings, 27504160 edges, 25267 markings/sec, 430 secs
lola: 12091856 markings, 27786526 edges, 35132 markings/sec, 435 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 1 1 1 1 1 unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1220052 KB
lola: time consumption: 451 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 445 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p832)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p832)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 91 markings, 90 edges
lola: ========================================
lola: subprocess 10 will run for 519 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p600)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p600)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 30 markings, 29 edges
lola: ========================================
lola: subprocess 11 will run for 623 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p722)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p722)
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: 52 markings, 51 edges
lola: ========================================
lola: subprocess 12 will run for 779 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p150)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p150)
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: 102727 markings, 286558 edges, 20545 markings/sec, 0 secs
lola: 206925 markings, 567227 edges, 20840 markings/sec, 5 secs
lola: 361891 markings, 794409 edges, 30993 markings/sec, 10 secs
lola: 522192 markings, 995857 edges, 32060 markings/sec, 15 secs
lola: 682784 markings, 1200034 edges, 32118 markings/sec, 20 secs
lola: 841796 markings, 1404443 edges, 31802 markings/sec, 25 secs
lola: 994562 markings, 1613819 edges, 30553 markings/sec, 30 secs
lola: 1152387 markings, 1818271 edges, 31565 markings/sec, 35 secs
lola: 1304108 markings, 2032571 edges, 30344 markings/sec, 40 secs
lola: 1457066 markings, 2242368 edges, 30592 markings/sec, 45 secs
lola: 1617054 markings, 2444894 edges, 31998 markings/sec, 50 secs
lola: 1777931 markings, 2648130 edges, 32175 markings/sec, 55 secs
lola: 1936713 markings, 2852458 edges, 31756 markings/sec, 60 secs
lola: 2089878 markings, 3061983 edges, 30633 markings/sec, 65 secs
lola: 2246837 markings, 3265987 edges, 31392 markings/sec, 70 secs
lola: 2398876 markings, 3479659 edges, 30408 markings/sec, 75 secs
lola: 2540295 markings, 3709911 edges, 28284 markings/sec, 80 secs
lola: 2648219 markings, 4012178 edges, 21585 markings/sec, 85 secs
lola: 2763797 markings, 4293290 edges, 23116 markings/sec, 90 secs
lola: 2869634 markings, 4589245 edges, 21167 markings/sec, 95 secs
lola: 2995300 markings, 4870455 edges, 25133 markings/sec, 100 secs
lola: 3146028 markings, 5088445 edges, 30146 markings/sec, 105 secs
lola: 3263062 markings, 5380236 edges, 23407 markings/sec, 110 secs
lola: 3370259 markings, 5671389 edges, 21439 markings/sec, 115 secs
lola: 3489614 markings, 5953023 edges, 23871 markings/sec, 120 secs
lola: 3613711 markings, 6233710 edges, 24819 markings/sec, 125 secs
lola: 3731154 markings, 6540190 edges, 23489 markings/sec, 130 secs
lola: 3849090 markings, 6836693 edges, 23587 markings/sec, 135 secs
lola: 3971267 markings, 7126960 edges, 24435 markings/sec, 140 secs
lola: 4093956 markings, 7416833 edges, 24538 markings/sec, 145 secs
lola: 4209858 markings, 7708042 edges, 23180 markings/sec, 150 secs
lola: 4333195 markings, 7995028 edges, 24667 markings/sec, 155 secs
lola: 4450115 markings, 8289044 edges, 23384 markings/sec, 160 secs
lola: 4565573 markings, 8593656 edges, 23092 markings/sec, 165 secs
lola: 4688071 markings, 8880610 edges, 24500 markings/sec, 170 secs
lola: 4816344 markings, 9144495 edges, 25655 markings/sec, 175 secs
lola: 4937401 markings, 9428345 edges, 24211 markings/sec, 180 secs
lola: 5056939 markings, 9711005 edges, 23908 markings/sec, 185 secs
lola: 5178547 markings, 9992209 edges, 24322 markings/sec, 190 secs
lola: 5297356 markings, 10273765 edges, 23762 markings/sec, 195 secs
lola: 5416444 markings, 10559641 edges, 23818 markings/sec, 200 secs
lola: 5533822 markings, 10853349 edges, 23476 markings/sec, 205 secs
lola: 5649569 markings, 11150218 edges, 23149 markings/sec, 210 secs
lola: 5766147 markings, 11449358 edges, 23316 markings/sec, 215 secs
lola: 5881097 markings, 11742764 edges, 22990 markings/sec, 220 secs
lola: 5995049 markings, 12023544 edges, 22790 markings/sec, 225 secs
lola: 6110206 markings, 12301752 edges, 23031 markings/sec, 230 secs
lola: 6224586 markings, 12592204 edges, 22876 markings/sec, 235 secs
lola: 6341244 markings, 12864448 edges, 23332 markings/sec, 240 secs
lola: 6462973 markings, 13141636 edges, 24346 markings/sec, 245 secs
lola: 6582040 markings, 13424987 edges, 23813 markings/sec, 250 secs
lola: 6700178 markings, 13721322 edges, 23628 markings/sec, 255 secs
lola: 6816676 markings, 14021577 edges, 23300 markings/sec, 260 secs
lola: 6931782 markings, 14304541 edges, 23021 markings/sec, 265 secs
lola: 7048716 markings, 14581942 edges, 23387 markings/sec, 270 secs
lola: 7167044 markings, 14863566 edges, 23666 markings/sec, 275 secs
lola: 7283943 markings, 15152720 edges, 23380 markings/sec, 280 secs
lola: 7397806 markings, 15453063 edges, 22773 markings/sec, 285 secs
lola: 7508519 markings, 15744964 edges, 22143 markings/sec, 290 secs
lola: 7622362 markings, 16029902 edges, 22769 markings/sec, 295 secs
lola: 7737565 markings, 16316235 edges, 23041 markings/sec, 300 secs
lola: 7850214 markings, 16597810 edges, 22530 markings/sec, 305 secs
lola: 7964149 markings, 16866788 edges, 22787 markings/sec, 310 secs
lola: 8084517 markings, 17154502 edges, 24074 markings/sec, 315 secs
lola: 8205648 markings, 17444959 edges, 24226 markings/sec, 320 secs
lola: 8328022 markings, 17732395 edges, 24475 markings/sec, 325 secs
lola: 8450011 markings, 18026075 edges, 24398 markings/sec, 330 secs
lola: 8568355 markings, 18315906 edges, 23669 markings/sec, 335 secs
lola: 8686670 markings, 18599295 edges, 23663 markings/sec, 340 secs
lola: 8806332 markings, 18887702 edges, 23932 markings/sec, 345 secs
lola: 8926598 markings, 19181910 edges, 24053 markings/sec, 350 secs
lola: 9045790 markings, 19472256 edges, 23838 markings/sec, 355 secs
lola: 9159002 markings, 19744805 edges, 22642 markings/sec, 360 secs
lola: 9268683 markings, 20006900 edges, 21936 markings/sec, 365 secs
lola: 9362786 markings, 20311899 edges, 18821 markings/sec, 370 secs
lola: 9462126 markings, 20567359 edges, 19868 markings/sec, 375 secs
lola: 9566473 markings, 20828493 edges, 20869 markings/sec, 380 secs
lola: 9680800 markings, 21117018 edges, 22865 markings/sec, 385 secs
lola: 9797020 markings, 21404342 edges, 23244 markings/sec, 390 secs
lola: 9912906 markings, 21688058 edges, 23177 markings/sec, 395 secs
lola: 10024539 markings, 21971200 edges, 22327 markings/sec, 400 secs
lola: 10135096 markings, 22265895 edges, 22111 markings/sec, 405 secs
lola: 10248846 markings, 22568924 edges, 22750 markings/sec, 410 secs
lola: 10355311 markings, 22888814 edges, 21293 markings/sec, 415 secs
lola: 10471952 markings, 23167506 edges, 23328 markings/sec, 420 secs
lola: 10569083 markings, 23433758 edges, 19426 markings/sec, 425 secs
lola: 10675216 markings, 23722215 edges, 21227 markings/sec, 430 secs
lola: 10779102 markings, 24023296 edges, 20777 markings/sec, 435 secs
lola: 10856867 markings, 24374164 edges, 15553 markings/sec, 440 secs
lola: 10914913 markings, 24739992 edges, 11609 markings/sec, 445 secs
lola: 11014417 markings, 24987020 edges, 19901 markings/sec, 450 secs
lola: 11117488 markings, 25252910 edges, 20614 markings/sec, 455 secs
lola: 11209907 markings, 25479192 edges, 18484 markings/sec, 460 secs
lola: 11314211 markings, 25772591 edges, 20861 markings/sec, 465 secs
lola: 11412431 markings, 26063873 edges, 19644 markings/sec, 470 secs
lola: 11498059 markings, 26405664 edges, 17126 markings/sec, 475 secs
lola: 11604145 markings, 26699745 edges, 21217 markings/sec, 480 secs
lola: 11716756 markings, 26983704 edges, 22522 markings/sec, 485 secs
lola: 11827776 markings, 27278126 edges, 22204 markings/sec, 490 secs
lola: 11943298 markings, 27562847 edges, 23104 markings/sec, 495 secs
lola: 12092315 markings, 27787278 edges, 29803 markings/sec, 500 secs
lola: 12217502 markings, 28062274 edges, 25037 markings/sec, 505 secs
lola: 12325348 markings, 28356097 edges, 21569 markings/sec, 510 secs
lola: 12438772 markings, 28640509 edges, 22685 markings/sec, 515 secs
lola: 12562765 markings, 28921147 edges, 24799 markings/sec, 520 secs
lola: 12685139 markings, 29215811 edges, 24475 markings/sec, 525 secs
lola: 12799324 markings, 29517259 edges, 22837 markings/sec, 530 secs
lola: 12920038 markings, 29802825 edges, 24143 markings/sec, 535 secs
lola: 13041228 markings, 30091006 edges, 24238 markings/sec, 540 secs
lola: 13158402 markings, 30377138 edges, 23435 markings/sec, 545 secs
lola: 13276399 markings, 30656967 edges, 23599 markings/sec, 550 secs
lola: 13390266 markings, 30957238 edges, 22773 markings/sec, 555 secs
lola: 13508821 markings, 31240894 edges, 23711 markings/sec, 560 secs
lola: 13626152 markings, 31530379 edges, 23466 markings/sec, 565 secs
lola: 13743461 markings, 31817971 edges, 23462 markings/sec, 570 secs
lola: 13871395 markings, 32070556 edges, 25587 markings/sec, 575 secs
lola: 13988032 markings, 32353513 edges, 23327 markings/sec, 580 secs
lola: 14110247 markings, 32630559 edges, 24443 markings/sec, 585 secs
lola: 14227274 markings, 32903874 edges, 23405 markings/sec, 590 secs
lola: 14344777 markings, 33185657 edges, 23501 markings/sec, 595 secs
lola: 14461335 markings, 33469864 edges, 23312 markings/sec, 600 secs
lola: 14575191 markings, 33761466 edges, 22771 markings/sec, 605 secs
lola: 14690303 markings, 34055892 edges, 23022 markings/sec, 610 secs
lola: 14804931 markings, 34345660 edges, 22926 markings/sec, 615 secs
lola: 14917069 markings, 34636536 edges, 22428 markings/sec, 620 secs
lola: 15030682 markings, 34907180 edges, 22723 markings/sec, 625 secs
lola: 15144266 markings, 35188650 edges, 22717 markings/sec, 630 secs
lola: 15254575 markings, 35466438 edges, 22062 markings/sec, 635 secs
lola: 15375127 markings, 35732288 edges, 24110 markings/sec, 640 secs
lola: 15492611 markings, 36009480 edges, 23497 markings/sec, 645 secs
lola: 15610251 markings, 36289058 edges, 23528 markings/sec, 650 secs
lola: 15724908 markings, 36588692 edges, 22931 markings/sec, 655 secs
lola: 15840845 markings, 36879183 edges, 23187 markings/sec, 660 secs
lola: 15954298 markings, 37148501 edges, 22691 markings/sec, 665 secs
lola: 16069544 markings, 37434010 edges, 23049 markings/sec, 670 secs
lola: 16187399 markings, 37709027 edges, 23571 markings/sec, 675 secs
lola: 16299747 markings, 37997947 edges, 22470 markings/sec, 680 secs
lola: 16413971 markings, 38291071 edges, 22845 markings/sec, 685 secs
lola: 16522651 markings, 38577949 edges, 21736 markings/sec, 690 secs
lola: 16633148 markings, 38848645 edges, 22099 markings/sec, 695 secs
lola: 16748078 markings, 39140151 edges, 22986 markings/sec, 700 secs
lola: 16857669 markings, 39407808 edges, 21918 markings/sec, 705 secs
lola: 16974157 markings, 39684182 edges, 23298 markings/sec, 710 secs
lola: 17092515 markings, 39970701 edges, 23672 markings/sec, 715 secs
lola: 17213403 markings, 40255999 edges, 24178 markings/sec, 720 secs
lola: 17335214 markings, 40543695 edges, 24362 markings/sec, 725 secs
lola: 17455789 markings, 40831961 edges, 24115 markings/sec, 730 secs
lola: 17570766 markings, 41118231 edges, 22995 markings/sec, 735 secs
lola: 17689147 markings, 41397985 edges, 23676 markings/sec, 740 secs
lola: 17807284 markings, 41684611 edges, 23627 markings/sec, 745 secs
lola: 17925580 markings, 41974563 edges, 23659 markings/sec, 750 secs
lola: 18044272 markings, 42262869 edges, 23738 markings/sec, 755 secs
lola: 18154035 markings, 42526246 edges, 21953 markings/sec, 760 secs
lola: 18262920 markings, 42789376 edges, 21777 markings/sec, 765 secs
lola: 18355518 markings, 43084949 edges, 18520 markings/sec, 770 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 1 1 1 1 1 unknown 1 1 1 unknown unknown unknown unknown
lola: memory consumption: 1822840 KB
lola: time consumption: 1231 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 13 will run for 779 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p853)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p853)
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: 7 markings, 6 edges
lola: ========================================
lola: subprocess 14 will run for 1169 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p655)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p655)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 83 markings, 82 edges
lola: ========================================
lola: subprocess 15 will run for 2339 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p770)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p770)
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: 40 markings, 39 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: MAX(p91)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p91)
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: 109144 markings, 304237 edges, 21829 markings/sec, 0 secs
lola: 215962 markings, 589401 edges, 21364 markings/sec, 5 secs
lola: 406859 markings, 850460 edges, 38179 markings/sec, 10 secs
lola: 601082 markings, 1096522 edges, 38845 markings/sec, 15 secs
lola: 794920 markings, 1343966 edges, 38768 markings/sec, 20 secs
lola: 978055 markings, 1592401 edges, 36627 markings/sec, 25 secs
lola: 1170531 markings, 1841433 edges, 38495 markings/sec, 30 secs
lola: 1352090 markings, 2103980 edges, 36312 markings/sec, 35 secs
lola: 1543000 markings, 2350270 edges, 38182 markings/sec, 40 secs
lola: 1737516 markings, 2597810 edges, 38903 markings/sec, 45 secs
lola: 1930642 markings, 2844272 edges, 38625 markings/sec, 50 secs
lola: 2114821 markings, 3093587 edges, 36836 markings/sec, 55 secs
lola: 2302320 markings, 3346565 edges, 37500 markings/sec, 60 secs
lola: 2486864 markings, 3605290 edges, 36909 markings/sec, 65 secs
lola: 2608050 markings, 3906449 edges, 24237 markings/sec, 70 secs
lola: 2726740 markings, 4206458 edges, 23738 markings/sec, 75 secs
lola: 2849792 markings, 4531824 edges, 24610 markings/sec, 80 secs
lola: 2984512 markings, 4856854 edges, 26944 markings/sec, 85 secs
lola: 3159408 markings, 5123381 edges, 34979 markings/sec, 90 secs
lola: 3284078 markings, 5438189 edges, 24934 markings/sec, 95 secs
lola: 3395287 markings, 5739393 edges, 22242 markings/sec, 100 secs
lola: 3538906 markings, 6064694 edges, 28724 markings/sec, 105 secs
lola: 3676972 markings, 6390999 edges, 27613 markings/sec, 110 secs
lola: 3808150 markings, 6737503 edges, 26236 markings/sec, 115 secs
lola: 3948738 markings, 7071600 edges, 28118 markings/sec, 120 secs
lola: 4092024 markings, 7412278 edges, 28657 markings/sec, 125 secs
lola: 4226739 markings, 7748577 edges, 26943 markings/sec, 130 secs
lola: 4366684 markings, 8084195 edges, 27989 markings/sec, 135 secs
lola: 4501653 markings, 8417011 edges, 26994 markings/sec, 140 secs
lola: 4637281 markings, 8757210 edges, 27126 markings/sec, 145 secs
lola: 4775592 markings, 9088473 edges, 27662 markings/sec, 150 secs
lola: 4922666 markings, 9395472 edges, 29415 markings/sec, 155 secs
lola: 5059147 markings, 9715867 edges, 27296 markings/sec, 160 secs
lola: 5198639 markings, 10037975 edges, 27898 markings/sec, 165 secs
lola: 5333696 markings, 10360491 edges, 27011 markings/sec, 170 secs
lola: 5469128 markings, 10689037 edges, 27086 markings/sec, 175 secs
lola: 5601678 markings, 11027233 edges, 26510 markings/sec, 180 secs
lola: 5736435 markings, 11371007 edges, 26951 markings/sec, 185 secs
lola: 5868741 markings, 11712592 edges, 26461 markings/sec, 190 secs
lola: 6000534 markings, 12036587 edges, 26359 markings/sec, 195 secs
lola: 6132709 markings, 12355799 edges, 26435 markings/sec, 200 secs
lola: 6262245 markings, 12687010 edges, 25907 markings/sec, 205 secs
lola: 6400063 markings, 12994576 edges, 27564 markings/sec, 210 secs
lola: 6535438 markings, 13315727 edges, 27075 markings/sec, 215 secs
lola: 6672360 markings, 13647164 edges, 27384 markings/sec, 220 secs
lola: 6806012 markings, 13994029 edges, 26730 markings/sec, 225 secs
lola: 6937732 markings, 14318657 edges, 26344 markings/sec, 230 secs
lola: 7071489 markings, 14643007 edges, 26751 markings/sec, 235 secs
lola: 7206951 markings, 14962207 edges, 27092 markings/sec, 240 secs
lola: 7335206 markings, 15291719 edges, 25651 markings/sec, 245 secs
lola: 7466602 markings, 15636792 edges, 26279 markings/sec, 250 secs
lola: 7593927 markings, 15962053 edges, 25465 markings/sec, 255 secs
lola: 7722597 markings, 16278330 edges, 25734 markings/sec, 260 secs
lola: 7850319 markings, 16598126 edges, 25544 markings/sec, 265 secs
lola: 7980794 markings, 16905865 edges, 26095 markings/sec, 270 secs
lola: 8120376 markings, 17243655 edges, 27916 markings/sec, 275 secs
lola: 8263282 markings, 17580958 edges, 28581 markings/sec, 280 secs
lola: 8405938 markings, 17919022 edges, 28531 markings/sec, 285 secs
lola: 8546144 markings, 18256400 edges, 28041 markings/sec, 290 secs
lola: 8680794 markings, 18585585 edges, 26930 markings/sec, 295 secs
lola: 8820887 markings, 18922896 edges, 28019 markings/sec, 300 secs
lola: 8960479 markings, 19263554 edges, 27918 markings/sec, 305 secs
lola: 9098127 markings, 19598743 edges, 27530 markings/sec, 310 secs
lola: 9224894 markings, 19897772 edges, 25353 markings/sec, 315 secs
lola: 9340754 markings, 20219305 edges, 23172 markings/sec, 320 secs
lola: 9445609 markings, 20527143 edges, 20971 markings/sec, 325 secs
lola: 9561862 markings, 20817106 edges, 23251 markings/sec, 330 secs
lola: 9693176 markings, 21150055 edges, 26263 markings/sec, 335 secs
lola: 9830982 markings, 21483866 edges, 27561 markings/sec, 340 secs
lola: 9963480 markings, 21811584 edges, 26500 markings/sec, 345 secs
lola: 10089390 markings, 22151857 edges, 25182 markings/sec, 350 secs
lola: 10213659 markings, 22478576 edges, 24854 markings/sec, 355 secs
lola: 10334453 markings, 22835453 edges, 24159 markings/sec, 360 secs
lola: 10469790 markings, 23162532 edges, 27067 markings/sec, 365 secs
lola: 10580779 markings, 23464970 edges, 22198 markings/sec, 370 secs
lola: 10703057 markings, 23798187 edges, 24456 markings/sec, 375 secs
lola: 10810017 markings, 24155488 edges, 21392 markings/sec, 380 secs
lola: 10879287 markings, 24552319 edges, 13854 markings/sec, 385 secs
lola: 10967117 markings, 24884523 edges, 17566 markings/sec, 390 secs
lola: 11087345 markings, 25167868 edges, 24046 markings/sec, 395 secs
lola: 11190446 markings, 25431163 edges, 20620 markings/sec, 400 secs
lola: 11303500 markings, 25742309 edges, 22611 markings/sec, 405 secs
lola: 11408225 markings, 26052165 edges, 20945 markings/sec, 410 secs
lola: 11496757 markings, 26400760 edges, 17706 markings/sec, 415 secs
lola: 11609135 markings, 26712574 edges, 22476 markings/sec, 420 secs
lola: 11730389 markings, 27019400 edges, 24251 markings/sec, 425 secs
lola: 11852660 markings, 27347999 edges, 24454 markings/sec, 430 secs
lola: 12003134 markings, 27666921 edges, 30095 markings/sec, 435 secs
lola: 12172161 markings, 27950909 edges, 33805 markings/sec, 440 secs
lola: 12292338 markings, 28268187 edges, 24035 markings/sec, 445 secs
lola: 12410319 markings, 28575840 edges, 23596 markings/sec, 450 secs
lola: 12557272 markings, 28908308 edges, 29391 markings/sec, 455 secs
lola: 12697936 markings, 29248042 edges, 28133 markings/sec, 460 secs
lola: 12832537 markings, 29597897 edges, 26920 markings/sec, 465 secs
lola: 12977068 markings, 29940846 edges, 28906 markings/sec, 470 secs
lola: 13121548 markings, 30284128 edges, 28896 markings/sec, 475 secs
lola: 13257795 markings, 30616585 edges, 27249 markings/sec, 480 secs
lola: 13392188 markings, 30961720 edges, 26879 markings/sec, 485 secs
lola: 13529905 markings, 31296210 edges, 27543 markings/sec, 490 secs
lola: 13668454 markings, 31634069 edges, 27710 markings/sec, 495 secs
lola: 13816220 markings, 31942080 edges, 29553 markings/sec, 500 secs
lola: 13954410 markings, 32272403 edges, 27638 markings/sec, 505 secs
lola: 14094291 markings, 32593926 edges, 27976 markings/sec, 510 secs
lola: 14230701 markings, 32912112 edges, 27282 markings/sec, 515 secs
lola: 14367933 markings, 33241121 edges, 27446 markings/sec, 520 secs
lola: 14502808 markings, 33575501 edges, 26975 markings/sec, 525 secs
lola: 14635467 markings, 33915276 edges, 26532 markings/sec, 530 secs
lola: 14770598 markings, 34256839 edges, 27026 markings/sec, 535 secs
lola: 14901817 markings, 34596758 edges, 26244 markings/sec, 540 secs
lola: 15027416 markings, 34898329 edges, 25120 markings/sec, 545 secs
lola: 15158232 markings, 35226764 edges, 26163 markings/sec, 550 secs
lola: 15287925 markings, 35537079 edges, 25939 markings/sec, 555 secs
lola: 15428206 markings, 35855282 edges, 28056 markings/sec, 560 secs
lola: 15564997 markings, 36179577 edges, 27358 markings/sec, 565 secs
lola: 15700195 markings, 36522665 edges, 27040 markings/sec, 570 secs
lola: 15835321 markings, 36866149 edges, 27025 markings/sec, 575 secs
lola: 15966798 markings, 37178963 edges, 26295 markings/sec, 580 secs
lola: 16102892 markings, 37507285 edges, 27219 markings/sec, 585 secs
lola: 16236424 markings, 37829584 edges, 26706 markings/sec, 590 secs
lola: 16366394 markings, 38171116 edges, 25994 markings/sec, 595 secs
lola: 16494331 markings, 38506616 edges, 25587 markings/sec, 600 secs
lola: 16623326 markings, 38824371 edges, 25799 markings/sec, 605 secs
lola: 16754757 markings, 39157621 edges, 26286 markings/sec, 610 secs
lola: 16878758 markings, 39456641 edges, 24800 markings/sec, 615 secs
lola: 17018907 markings, 39791782 edges, 28030 markings/sec, 620 secs
lola: 17159462 markings, 40130877 edges, 28111 markings/sec, 625 secs
lola: 17304148 markings, 40469627 edges, 28937 markings/sec, 630 secs
lola: 17447464 markings, 40812031 edges, 28663 markings/sec, 635 secs
lola: 17584135 markings, 41149858 edges, 27334 markings/sec, 640 secs
lola: 17723579 markings, 41483374 edges, 27889 markings/sec, 645 secs
lola: 17864367 markings, 41826581 edges, 28158 markings/sec, 650 secs
lola: 18005091 markings, 42168606 edges, 28145 markings/sec, 655 secs
lola: 18137479 markings, 42485242 edges, 26478 markings/sec, 660 secs
lola: 18262454 markings, 42788310 edges, 24995 markings/sec, 665 secs
lola: 18367906 markings, 43117838 edges, 21090 markings/sec, 670 secs
lola: 18474550 markings, 43406081 edges, 21329 markings/sec, 675 secs
lola: 18605244 markings, 43727605 edges, 26139 markings/sec, 680 secs
lola: 18740684 markings, 44060337 edges, 27088 markings/sec, 685 secs
lola: 18876099 markings, 44394454 edges, 27083 markings/sec, 690 secs
lola: 19006784 markings, 44724707 edges, 26137 markings/sec, 695 secs
lola: 19134488 markings, 45059771 edges, 25541 markings/sec, 700 secs
lola: 19255796 markings, 45406016 edges, 24262 markings/sec, 705 secs
lola: 19386068 markings, 45757972 edges, 26054 markings/sec, 710 secs
lola: 19505088 markings, 46063702 edges, 23804 markings/sec, 715 secs
lola: 19624517 markings, 46388105 edges, 23886 markings/sec, 720 secs
lola: 19744756 markings, 46728177 edges, 24048 markings/sec, 725 secs
lola: 19831355 markings, 47112815 edges, 17320 markings/sec, 730 secs
lola: 19892522 markings, 47501121 edges, 12233 markings/sec, 735 secs
lola: 20011939 markings, 47770648 edges, 23883 markings/sec, 740 secs
lola: 20123242 markings, 48062576 edges, 22261 markings/sec, 745 secs
lola: 20232722 markings, 48342682 edges, 21896 markings/sec, 750 secs
lola: 20338853 markings, 48658534 edges, 21226 markings/sec, 755 secs
lola: 20431314 markings, 49002983 edges, 18492 markings/sec, 760 secs
lola: 20554858 markings, 49338779 edges, 24709 markings/sec, 765 secs
lola: 20689209 markings, 49689462 edges, 26870 markings/sec, 770 secs
lola: 20835361 markings, 50018455 edges, 29230 markings/sec, 775 secs
lola: 20967633 markings, 50355443 edges, 26454 markings/sec, 780 secs
lola: 21091185 markings, 50687824 edges, 24710 markings/sec, 785 secs
lola: 21211178 markings, 51014563 edges, 23999 markings/sec, 790 secs
lola: 21318559 markings, 51370539 edges, 21476 markings/sec, 795 secs
lola: 21444783 markings, 51684647 edges, 25245 markings/sec, 800 secs
lola: 21622744 markings, 51936641 edges, 35592 markings/sec, 805 secs
lola: 21796923 markings, 52190855 edges, 34836 markings/sec, 810 secs
lola: 21971256 markings, 52444412 edges, 34867 markings/sec, 815 secs
lola: 22146528 markings, 52696925 edges, 35054 markings/sec, 820 secs
lola: 22318098 markings, 52952182 edges, 34314 markings/sec, 825 secs
lola: 22443142 markings, 53254651 edges, 25009 markings/sec, 830 secs
lola: 22589681 markings, 53545909 edges, 29308 markings/sec, 835 secs
lola: 22772351 markings, 53798840 edges, 36534 markings/sec, 840 secs
lola: 22953817 markings, 54052140 edges, 36293 markings/sec, 845 secs
lola: 23133326 markings, 54309577 edges, 35902 markings/sec, 850 secs
lola: 23295530 markings, 54587622 edges, 32441 markings/sec, 855 secs
lola: 23453147 markings, 54878839 edges, 31523 markings/sec, 860 secs
lola: 23579894 markings, 55220921 edges, 25349 markings/sec, 865 secs
lola: 23741823 markings, 55484707 edges, 32386 markings/sec, 870 secs
lola: 23911556 markings, 55734373 edges, 33947 markings/sec, 875 secs
lola: 24081581 markings, 55978327 edges, 34005 markings/sec, 880 secs
lola: 24246023 markings, 56226459 edges, 32888 markings/sec, 885 secs
lola: 24417763 markings, 56472579 edges, 34348 markings/sec, 890 secs
lola: 24564454 markings, 56732874 edges, 29338 markings/sec, 895 secs
lola: 24684174 markings, 57031608 edges, 23944 markings/sec, 900 secs
lola: 24845594 markings, 57298242 edges, 32284 markings/sec, 905 secs
lola: 25023119 markings, 57544383 edges, 35505 markings/sec, 910 secs
lola: 25199074 markings, 57792808 edges, 35191 markings/sec, 915 secs
lola: 25365650 markings, 58052859 edges, 33315 markings/sec, 920 secs
lola: 25523174 markings, 58321993 edges, 31505 markings/sec, 925 secs
lola: 25660717 markings, 58636038 edges, 27509 markings/sec, 930 secs
lola: 25795795 markings, 58957610 edges, 27016 markings/sec, 935 secs
lola: 25932107 markings, 59277961 edges, 27262 markings/sec, 940 secs
lola: 26071455 markings, 59599759 edges, 27870 markings/sec, 945 secs
lola: 26214319 markings, 59890449 edges, 28573 markings/sec, 950 secs
lola: 26347189 markings, 60207724 edges, 26574 markings/sec, 955 secs
lola: 26485568 markings, 60524390 edges, 27676 markings/sec, 960 secs
lola: 26627913 markings, 60835823 edges, 28469 markings/sec, 965 secs
lola: 26764744 markings, 61169320 edges, 27366 markings/sec, 970 secs
lola: 26916722 markings, 61430630 edges, 30396 markings/sec, 975 secs
lola: 27042271 markings, 61747112 edges, 25110 markings/sec, 980 secs
lola: 27190376 markings, 62029985 edges, 29621 markings/sec, 985 secs
lola: 27322224 markings, 62353984 edges, 26370 markings/sec, 990 secs
lola: 27443594 markings, 62675427 edges, 24274 markings/sec, 995 secs
lola: 27568506 markings, 62996860 edges, 24982 markings/sec, 1000 secs
lola: 27684152 markings, 63311664 edges, 23129 markings/sec, 1005 secs
lola: 27810555 markings, 63622300 edges, 25281 markings/sec, 1010 secs
lola: 27933284 markings, 63921584 edges, 24546 markings/sec, 1015 secs
lola: 28061907 markings, 64237061 edges, 25725 markings/sec, 1020 secs
lola: 28194498 markings, 64567968 edges, 26518 markings/sec, 1025 secs
lola: 28325995 markings, 64894805 edges, 26299 markings/sec, 1030 secs
lola: 28439304 markings, 65244832 edges, 22662 markings/sec, 1035 secs
lola: 28560711 markings, 65588879 edges, 24281 markings/sec, 1040 secs
lola: 28695496 markings, 65924897 edges, 26957 markings/sec, 1045 secs
lola: 28818382 markings, 66265033 edges, 24577 markings/sec, 1050 secs
lola: 28935086 markings, 66582255 edges, 23341 markings/sec, 1055 secs
lola: 29060916 markings, 66892096 edges, 25166 markings/sec, 1060 secs
lola: 29186818 markings, 67202037 edges, 25180 markings/sec, 1065 secs
lola: 29307212 markings, 67526266 edges, 24079 markings/sec, 1070 secs
lola: 29410768 markings, 67898998 edges, 20711 markings/sec, 1075 secs
lola: 29515882 markings, 68250855 edges, 21023 markings/sec, 1080 secs
lola: 29651641 markings, 68570130 edges, 27152 markings/sec, 1085 secs
lola: 29784385 markings, 68886528 edges, 26549 markings/sec, 1090 secs
lola: 29922404 markings, 69201929 edges, 27604 markings/sec, 1095 secs
lola: 30067235 markings, 69494985 edges, 28966 markings/sec, 1100 secs
lola: 30200243 markings, 69810881 edges, 26602 markings/sec, 1105 secs
lola: 30331784 markings, 70121559 edges, 26308 markings/sec, 1110 secs
lola: 30470786 markings, 70437319 edges, 27800 markings/sec, 1115 secs
lola: 30621644 markings, 70696229 edges, 30172 markings/sec, 1120 secs
lola: 30745808 markings, 71009463 edges, 24833 markings/sec, 1125 secs
lola: 30893716 markings, 71289712 edges, 29582 markings/sec, 1130 secs
lola: 31036803 markings, 71601118 edges, 28617 markings/sec, 1135 secs
lola: 31171344 markings, 71933835 edges, 26908 markings/sec, 1140 secs
lola: 31292043 markings, 72272086 edges, 24140 markings/sec, 1145 secs
lola: 31409824 markings, 72591912 edges, 23556 markings/sec, 1150 secs
lola: 31534765 markings, 72910133 edges, 24988 markings/sec, 1155 secs
lola: 31657699 markings, 73234445 edges, 24587 markings/sec, 1160 secs
lola: 31786013 markings, 73541165 edges, 25663 markings/sec, 1165 secs
lola: 31909321 markings, 73846674 edges, 24662 markings/sec, 1170 secs
lola: 32042529 markings, 74180617 edges, 26642 markings/sec, 1175 secs
lola: 32157332 markings, 74509149 edges, 22961 markings/sec, 1180 secs
lola: 32283799 markings, 74844441 edges, 25293 markings/sec, 1185 secs
lola: 32414476 markings, 75180052 edges, 26135 markings/sec, 1190 secs
lola: 32552800 markings, 75512378 edges, 27665 markings/sec, 1195 secs
lola: 32671103 markings, 75844903 edges, 23661 markings/sec, 1200 secs
lola: 32792126 markings, 76176357 edges, 24205 markings/sec, 1205 secs
lola: 32916795 markings, 76506624 edges, 24934 markings/sec, 1210 secs
lola: 33038799 markings, 76796321 edges, 24401 markings/sec, 1215 secs
lola: 33163997 markings, 77122523 edges, 25040 markings/sec, 1220 secs
lola: 33291298 markings, 77456385 edges, 25460 markings/sec, 1225 secs
lola: 33375289 markings, 77842155 edges, 16798 markings/sec, 1230 secs
lola: 33504219 markings, 78154219 edges, 25786 markings/sec, 1235 secs
lola: 33645278 markings, 78470566 edges, 28212 markings/sec, 1240 secs
lola: 33815260 markings, 78717402 edges, 33996 markings/sec, 1245 secs
lola: 33941201 markings, 79055381 edges, 25188 markings/sec, 1250 secs
lola: 34077994 markings, 79376739 edges, 27359 markings/sec, 1255 secs
lola: 34212170 markings, 79697567 edges, 26835 markings/sec, 1260 secs
lola: 34336973 markings, 80023026 edges, 24961 markings/sec, 1265 secs
lola: 34451792 markings, 80341333 edges, 22964 markings/sec, 1270 secs
lola: 34565958 markings, 80656984 edges, 22833 markings/sec, 1275 secs
lola: 34663206 markings, 81004205 edges, 19450 markings/sec, 1280 secs
lola: 34784359 markings, 81330744 edges, 24231 markings/sec, 1285 secs
lola: 34949758 markings, 81613834 edges, 33080 markings/sec, 1290 secs
lola: 35097320 markings, 81924597 edges, 29512 markings/sec, 1295 secs
lola: 35225322 markings, 82252722 edges, 25600 markings/sec, 1300 secs
lola: 35356477 markings, 82584257 edges, 26231 markings/sec, 1305 secs
lola: 35493034 markings, 82917065 edges, 27311 markings/sec, 1310 secs
lola: 35627850 markings, 83255036 edges, 26963 markings/sec, 1315 secs
lola: 35758802 markings, 83595833 edges, 26190 markings/sec, 1320 secs
lola: 35891787 markings, 83925922 edges, 26597 markings/sec, 1325 secs
lola: 36029105 markings, 84243841 edges, 27464 markings/sec, 1330 secs
lola: 36166741 markings, 84566296 edges, 27527 markings/sec, 1335 secs
lola: 36301647 markings, 84890559 edges, 26981 markings/sec, 1340 secs
lola: 36434849 markings, 85219411 edges, 26640 markings/sec, 1345 secs
lola: 36572834 markings, 85538850 edges, 27597 markings/sec, 1350 secs
lola: 36704690 markings, 85869439 edges, 26371 markings/sec, 1355 secs
lola: 36840133 markings, 86200657 edges, 27089 markings/sec, 1360 secs
lola: 36974627 markings, 86533196 edges, 26899 markings/sec, 1365 secs
lola: 37110441 markings, 86871576 edges, 27163 markings/sec, 1370 secs
lola: 37242891 markings, 87211338 edges, 26490 markings/sec, 1375 secs
lola: 37374907 markings, 87552016 edges, 26403 markings/sec, 1380 secs
lola: 37494446 markings, 87894656 edges, 23908 markings/sec, 1385 secs
lola: 37622275 markings, 88222761 edges, 25566 markings/sec, 1390 secs
lola: 37756783 markings, 88552903 edges, 26902 markings/sec, 1395 secs
lola: 37878466 markings, 88864678 edges, 24337 markings/sec, 1400 secs
lola: 38006996 markings, 89164777 edges, 25706 markings/sec, 1405 secs
lola: 38143499 markings, 89483281 edges, 27301 markings/sec, 1410 secs
lola: 38277602 markings, 89800985 edges, 26821 markings/sec, 1415 secs
lola: 38412302 markings, 90129883 edges, 26940 markings/sec, 1420 secs
lola: 38543595 markings, 90457987 edges, 26259 markings/sec, 1425 secs
lola: 38679124 markings, 90773134 edges, 27106 markings/sec, 1430 secs
lola: 38813923 markings, 91092678 edges, 26960 markings/sec, 1435 secs
lola: 38947226 markings, 91420068 edges, 26661 markings/sec, 1440 secs
lola: 39085188 markings, 91752264 edges, 27592 markings/sec, 1445 secs
lola: 39222806 markings, 92088649 edges, 27524 markings/sec, 1450 secs
lola: 39355734 markings, 92415470 edges, 26586 markings/sec, 1455 secs
lola: 39487138 markings, 92741749 edges, 26281 markings/sec, 1460 secs
lola: 39615954 markings, 93074326 edges, 25763 markings/sec, 1465 secs
lola: 39744963 markings, 93402226 edges, 25802 markings/sec, 1470 secs
lola: 39875179 markings, 93733856 edges, 26043 markings/sec, 1475 secs
lola: 40005119 markings, 94054877 edges, 25988 markings/sec, 1480 secs
lola: 40137870 markings, 94381342 edges, 26550 markings/sec, 1485 secs
lola: 40268741 markings, 94713660 edges, 26174 markings/sec, 1490 secs
lola: 40400293 markings, 95029703 edges, 26310 markings/sec, 1495 secs
lola: 40529024 markings, 95343294 edges, 25746 markings/sec, 1500 secs
lola: 40664582 markings, 95665430 edges, 27112 markings/sec, 1505 secs
lola: 40799594 markings, 95990861 edges, 27002 markings/sec, 1510 secs
lola: 40938024 markings, 96325183 edges, 27686 markings/sec, 1515 secs
lola: 41078429 markings, 96666259 edges, 28081 markings/sec, 1520 secs
lola: 41219306 markings, 97010175 edges, 28175 markings/sec, 1525 secs
lola: 41353734 markings, 97339239 edges, 26886 markings/sec, 1530 secs
lola: 41490591 markings, 97670506 edges, 27371 markings/sec, 1535 secs
lola: 41626449 markings, 97996512 edges, 27172 markings/sec, 1540 secs
lola: 41761033 markings, 98324291 edges, 26917 markings/sec, 1545 secs
lola: 41897442 markings, 98650428 edges, 27282 markings/sec, 1550 secs
lola: 42036594 markings, 98984451 edges, 27830 markings/sec, 1555 secs
lola: 42173301 markings, 99315484 edges, 27341 markings/sec, 1560 secs
lola: 42310354 markings, 99644035 edges, 27411 markings/sec, 1565 secs
lola: 42447098 markings, 99973908 edges, 27349 markings/sec, 1570 secs
lola: 42584254 markings, 100304771 edges, 27431 markings/sec, 1575 secs
lola: 42720376 markings, 100637560 edges, 27224 markings/sec, 1580 secs
lola: 42859456 markings, 100976006 edges, 27816 markings/sec, 1585 secs
lola: 42992343 markings, 101312231 edges, 26577 markings/sec, 1590 secs
lola: 43128790 markings, 101647021 edges, 27289 markings/sec, 1595 secs
lola: 43245881 markings, 101959717 edges, 23418 markings/sec, 1600 secs
lola: 43350187 markings, 102277460 edges, 20861 markings/sec, 1605 secs
lola: 43459618 markings, 102572563 edges, 21886 markings/sec, 1610 secs
lola: 43587546 markings, 102903828 edges, 25586 markings/sec, 1615 secs
lola: 43722576 markings, 103235614 edges, 27006 markings/sec, 1620 secs
lola: 43841893 markings, 103547665 edges, 23863 markings/sec, 1625 secs
lola: 43970135 markings, 103874290 edges, 25648 markings/sec, 1630 secs
lola: 44089476 markings, 104177528 edges, 23868 markings/sec, 1635 secs
lola: 44220417 markings, 104508869 edges, 26188 markings/sec, 1640 secs
lola: 44351431 markings, 104840900 edges, 26203 markings/sec, 1645 secs
lola: 44487870 markings, 105176706 edges, 27288 markings/sec, 1650 secs
lola: 44622296 markings, 105507454 edges, 26885 markings/sec, 1655 secs
lola: 44753310 markings, 105840918 edges, 26203 markings/sec, 1660 secs
lola: 44889899 markings, 106174632 edges, 27318 markings/sec, 1665 secs
lola: 45017051 markings, 106502337 edges, 25430 markings/sec, 1670 secs
lola: 45151597 markings, 106842817 edges, 26909 markings/sec, 1675 secs
lola: 45287515 markings, 107179586 edges, 27184 markings/sec, 1680 secs
lola: 45413559 markings, 107497494 edges, 25209 markings/sec, 1685 secs
lola: 45528467 markings, 107791398 edges, 22982 markings/sec, 1690 secs
lola: 45640497 markings, 108110317 edges, 22406 markings/sec, 1695 secs
lola: 45741439 markings, 108445553 edges, 20188 markings/sec, 1700 secs
lola: 45816401 markings, 108811069 edges, 14992 markings/sec, 1705 secs
lola: 45877416 markings, 109194156 edges, 12203 markings/sec, 1710 secs
lola: 46011604 markings, 109521222 edges, 26838 markings/sec, 1715 secs
lola: 46140798 markings, 109853461 edges, 25839 markings/sec, 1720 secs
lola: 46273607 markings, 110187831 edges, 26562 markings/sec, 1725 secs
lola: 46410958 markings, 110524494 edges, 27470 markings/sec, 1730 secs
lola: 46546706 markings, 110864230 edges, 27150 markings/sec, 1735 secs
lola: 46676169 markings, 111210711 edges, 25893 markings/sec, 1740 secs
lola: 46812405 markings, 111539947 edges, 27247 markings/sec, 1745 secs
lola: 46951874 markings, 111861036 edges, 27894 markings/sec, 1750 secs
lola: 47091115 markings, 112187900 edges, 27848 markings/sec, 1755 secs
lola: 47227874 markings, 112516700 edges, 27352 markings/sec, 1760 secs
lola: 47361734 markings, 112847499 edges, 26772 markings/sec, 1765 secs
lola: 47500400 markings, 113171016 edges, 27733 markings/sec, 1770 secs
lola: 47634261 markings, 113504192 edges, 26772 markings/sec, 1775 secs
lola: 47770248 markings, 113837382 edges, 27197 markings/sec, 1780 secs
lola: 47906042 markings, 114173355 edges, 27159 markings/sec, 1785 secs
lola: 48041122 markings, 114510958 edges, 27016 markings/sec, 1790 secs
lola: 48173235 markings, 114847474 edges, 26423 markings/sec, 1795 secs
lola: 48299757 markings, 115187100 edges, 25304 markings/sec, 1800 secs
lola: 48420874 markings, 115523736 edges, 24223 markings/sec, 1805 secs
lola: 48551413 markings, 115856127 edges, 26108 markings/sec, 1810 secs
lola: 48682058 markings, 116179309 edges, 26129 markings/sec, 1815 secs
lola: 48804528 markings, 116487338 edges, 24494 markings/sec, 1820 secs
lola: 48932923 markings, 116785161 edges, 25679 markings/sec, 1825 secs
lola: 49068212 markings, 117104647 edges, 27058 markings/sec, 1830 secs
lola: 49201519 markings, 117421368 edges, 26661 markings/sec, 1835 secs
lola: 49336663 markings, 117749147 edges, 27029 markings/sec, 1840 secs
lola: 49466821 markings, 118078068 edges, 26032 markings/sec, 1845 secs
lola: 49601630 markings, 118388302 edges, 26962 markings/sec, 1850 secs
lola: 49734552 markings, 118705702 edges, 26584 markings/sec, 1855 secs
lola: 49867825 markings, 119032312 edges, 26655 markings/sec, 1860 secs
lola: 50004447 markings, 119360771 edges, 27324 markings/sec, 1865 secs
lola: 50140813 markings, 119695729 edges, 27273 markings/sec, 1870 secs
lola: 50272815 markings, 120019472 edges, 26400 markings/sec, 1875 secs
lola: 50402937 markings, 120346244 edges, 26024 markings/sec, 1880 secs
lola: 50531378 markings, 120674535 edges, 25688 markings/sec, 1885 secs
lola: 50659563 markings, 121000557 edges, 25637 markings/sec, 1890 secs
lola: 50788349 markings, 121329473 edges, 25757 markings/sec, 1895 secs
lola: 50917790 markings, 121648490 edges, 25888 markings/sec, 1900 secs
lola: 51049311 markings, 121973336 edges, 26304 markings/sec, 1905 secs
lola: 51178885 markings, 122300827 edges, 25915 markings/sec, 1910 secs
lola: 51309152 markings, 122613729 edges, 26053 markings/sec, 1915 secs
lola: 51437119 markings, 122925662 edges, 25593 markings/sec, 1920 secs
lola: 51572028 markings, 123245873 edges, 26982 markings/sec, 1925 secs
lola: 51705104 markings, 123566001 edges, 26615 markings/sec, 1930 secs
lola: 51841866 markings, 123896760 edges, 27352 markings/sec, 1935 secs
lola: 51980705 markings, 124234182 edges, 27768 markings/sec, 1940 secs
lola: 52121202 markings, 124577294 edges, 28099 markings/sec, 1945 secs
lola: 52254837 markings, 124904298 edges, 26727 markings/sec, 1950 secs
lola: 52390854 markings, 125233043 edges, 27203 markings/sec, 1955 secs
lola: 52524356 markings, 125554586 edges, 26700 markings/sec, 1960 secs
lola: 52659097 markings, 125882087 edges, 26948 markings/sec, 1965 secs
lola: 52794025 markings, 126206137 edges, 26986 markings/sec, 1970 secs
lola: 52932470 markings, 126538430 edges, 27689 markings/sec, 1975 secs
lola: 53068153 markings, 126864613 edges, 27137 markings/sec, 1980 secs
lola: 53204159 markings, 127192394 edges, 27201 markings/sec, 1985 secs
lola: 53338395 markings, 127517393 edges, 26847 markings/sec, 1990 secs
lola: 53475231 markings, 127844900 edges, 27367 markings/sec, 1995 secs
lola: 53609433 markings, 128173653 edges, 26840 markings/sec, 2000 secs
lola: 53747993 markings, 128508476 edges, 27712 markings/sec, 2005 secs
lola: 53879500 markings, 128839963 edges, 26301 markings/sec, 2010 secs
lola: 54014258 markings, 129174285 edges, 26952 markings/sec, 2015 secs
lola: 54137664 markings, 129486253 edges, 24681 markings/sec, 2020 secs
lola: 54240309 markings, 129807632 edges, 20529 markings/sec, 2025 secs
lola: 54348481 markings, 130095225 edges, 21634 markings/sec, 2030 secs
lola: 54470547 markings, 130422249 edges, 24413 markings/sec, 2035 secs
lola: 54603815 markings, 130755796 edges, 26654 markings/sec, 2040 secs
lola: 54725796 markings, 131065841 edges, 24396 markings/sec, 2045 secs
lola: 54849819 markings, 131385391 edges, 24805 markings/sec, 2050 secs
lola: 54971062 markings, 131692771 edges, 24249 markings/sec, 2055 secs
lola: 55097156 markings, 132013614 edges, 25219 markings/sec, 2060 secs
lola: 55226844 markings, 132342473 edges, 25938 markings/sec, 2065 secs
lola: 55364469 markings, 132678625 edges, 27525 markings/sec, 2070 secs
lola: 55496704 markings, 133007441 edges, 26447 markings/sec, 2075 secs
lola: 55628521 markings, 133340651 edges, 26363 markings/sec, 2080 secs
lola: 55764295 markings, 133674607 edges, 27155 markings/sec, 2085 secs
lola: 55891770 markings, 134002850 edges, 25495 markings/sec, 2090 secs
lola: 56025490 markings, 134338198 edges, 26744 markings/sec, 2095 secs
lola: 56160936 markings, 134674506 edges, 27089 markings/sec, 2100 secs
lola: 56288642 markings, 134995543 edges, 25541 markings/sec, 2105 secs
lola: 56405719 markings, 135289139 edges, 23415 markings/sec, 2110 secs
lola: 56516700 markings, 135602656 edges, 22196 markings/sec, 2115 secs
lola: 56619894 markings, 135924030 edges, 20639 markings/sec, 2120 secs
lola: 56704788 markings, 136289114 edges, 16979 markings/sec, 2125 secs
lola: 56771638 markings, 136654474 edges, 13370 markings/sec, 2130 secs
lola: 56866442 markings, 137003297 edges, 18961 markings/sec, 2135 secs
lola: 56989745 markings, 137352326 edges, 24661 markings/sec, 2140 secs
lola: 57105314 markings, 137729096 edges, 23114 markings/sec, 2145 secs
lola: 57235376 markings, 138054944 edges, 26012 markings/sec, 2150 secs
lola: 57367279 markings, 138377567 edges, 26381 markings/sec, 2155 secs
lola: 57497631 markings, 138699337 edges, 26070 markings/sec, 2160 secs
lola: 57628305 markings, 139027874 edges, 26135 markings/sec, 2165 secs
lola: 57759086 markings, 139361141 edges, 26156 markings/sec, 2170 secs
lola: 57893753 markings, 139704449 edges, 26933 markings/sec, 2175 secs
lola: 57996772 markings, 140064262 edges, 20604 markings/sec, 2180 secs
lola: 58105874 markings, 140376528 edges, 21820 markings/sec, 2185 secs
lola: 58238336 markings, 140692061 edges, 26492 markings/sec, 2190 secs
lola: 58367974 markings, 141029046 edges, 25928 markings/sec, 2195 secs
lola: 58498168 markings, 141361585 edges, 26039 markings/sec, 2200 secs
lola: 58624185 markings, 141696671 edges, 25203 markings/sec, 2205 secs
lola: 58734565 markings, 142034193 edges, 22076 markings/sec, 2210 secs
lola: 58852174 markings, 142364384 edges, 23522 markings/sec, 2215 secs
lola: 58978138 markings, 142687262 edges, 25193 markings/sec, 2220 secs
lola: 59090604 markings, 143021665 edges, 22493 markings/sec, 2225 secs
lola: 59217659 markings, 143342712 edges, 25411 markings/sec, 2230 secs
lola: 59355400 markings, 143677044 edges, 27548 markings/sec, 2235 secs
lola: 59492859 markings, 144016034 edges, 27492 markings/sec, 2240 secs
lola: 59629367 markings, 144365820 edges, 27302 markings/sec, 2245 secs
lola: 59773237 markings, 144723672 edges, 28774 markings/sec, 2250 secs
lola: 59910972 markings, 145067367 edges, 27547 markings/sec, 2255 secs
lola: 60021459 markings, 145435493 edges, 22097 markings/sec, 2260 secs
lola: 60119556 markings, 145813791 edges, 19619 markings/sec, 2265 secs
lola: 60269234 markings, 146148706 edges, 29936 markings/sec, 2270 secs
lola: 60402471 markings, 146480320 edges, 26647 markings/sec, 2275 secs
lola: 60534619 markings, 146818997 edges, 26430 markings/sec, 2280 secs
lola: 60655563 markings, 147144518 edges, 24189 markings/sec, 2285 secs
lola: 60766797 markings, 147474599 edges, 22247 markings/sec, 2290 secs
lola: 60874248 markings, 147816950 edges, 21490 markings/sec, 2295 secs
lola: 60994396 markings, 148139293 edges, 24030 markings/sec, 2300 secs
lola: 61104902 markings, 148460383 edges, 22101 markings/sec, 2305 secs
lola: 61214687 markings, 148784495 edges, 21957 markings/sec, 2310 secs
lola: 61342148 markings, 149125460 edges, 25492 markings/sec, 2315 secs
lola: 61482144 markings, 149477193 edges, 27999 markings/sec, 2320 secs
lola: 61622189 markings, 149827126 edges, 28009 markings/sec, 2325 secs
lola: 61729400 markings, 150197580 edges, 21442 markings/sec, 2330 secs
lola: time limit reached - aborting
lola:
preliminary result: 1 1 1 1 1 1 1 1 unknown 1 1 1 unknown 1 1 1
lola: caught signal User defined signal 1 - aborting LoLAlola:

preliminary result: 1 1 1 1 1 1 1 1 unknown 1 1 1 unknown 1 1 1
lola:
preliminary result: 1 1 1 1 1 1 1 1 unknown 1 1 1 unknown 1 1 1
lola: memory consumption: 6043936 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 1552510716667

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

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