Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2019-input.r170-oct2-155297750000011.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2019-input.qcow2 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 SquareGrid-PT-040204, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r170-oct2-155297750000011
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 288K
-rw-r--r-- 1 mcc users 3.6K Feb 12 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Feb 12 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Feb 9 02:17 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 9 02:17 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 107 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 345 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.6K Feb 5 01:38 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K Feb 5 01:38 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Feb 4 22:48 LTLFireability.txt
-rw-r--r-- 1 mcc users 7.8K Feb 4 22:48 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Feb 4 20:46 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Feb 4 20:46 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.4K Feb 1 21:06 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 20K Feb 1 21:06 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 4 22:30 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 4 22:30 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:35 equiv_col
-rw-r--r-- 1 mcc users 7 Jan 29 09:35 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:35 iscolored
-rwxr-xr-x 1 mcc users 130K 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 SquareGrid-PT-040204-UpperBounds-00
FORMULA_NAME SquareGrid-PT-040204-UpperBounds-01
FORMULA_NAME SquareGrid-PT-040204-UpperBounds-02
FORMULA_NAME SquareGrid-PT-040204-UpperBounds-03
FORMULA_NAME SquareGrid-PT-040204-UpperBounds-04
FORMULA_NAME SquareGrid-PT-040204-UpperBounds-05
FORMULA_NAME SquareGrid-PT-040204-UpperBounds-06
FORMULA_NAME SquareGrid-PT-040204-UpperBounds-07
FORMULA_NAME SquareGrid-PT-040204-UpperBounds-08
FORMULA_NAME SquareGrid-PT-040204-UpperBounds-09
FORMULA_NAME SquareGrid-PT-040204-UpperBounds-10
FORMULA_NAME SquareGrid-PT-040204-UpperBounds-11
FORMULA_NAME SquareGrid-PT-040204-UpperBounds-12
FORMULA_NAME SquareGrid-PT-040204-UpperBounds-13
FORMULA_NAME SquareGrid-PT-040204-UpperBounds-14
FORMULA_NAME SquareGrid-PT-040204-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1553105278227

info: Time: 3600 - MCC
vrfy: Checking UpperBounds @ SquareGrid-PT-040204 @ 3570 seconds

FORMULA SquareGrid-PT-040204-UpperBounds-00 12 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA SquareGrid-PT-040204-UpperBounds-01 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA SquareGrid-PT-040204-UpperBounds-02 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA SquareGrid-PT-040204-UpperBounds-03 12 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA SquareGrid-PT-040204-UpperBounds-04 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA SquareGrid-PT-040204-UpperBounds-05 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA SquareGrid-PT-040204-UpperBounds-06 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA SquareGrid-PT-040204-UpperBounds-07 12 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA SquareGrid-PT-040204-UpperBounds-08 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA SquareGrid-PT-040204-UpperBounds-09 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA SquareGrid-PT-040204-UpperBounds-10 12 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA SquareGrid-PT-040204-UpperBounds-11 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA SquareGrid-PT-040204-UpperBounds-13 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA SquareGrid-PT-040204-UpperBounds-14 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA SquareGrid-PT-040204-UpperBounds-15 12 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA SquareGrid-PT-040204-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: -24
rslt: Output for UpperBounds @ SquareGrid-PT-040204

{
"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 20 18:07:58 2019
",
"timelimit": 3570
},
"child":
[

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 222
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "MAX(pbl_1_1)",
"processed_size": 12,
"rewrites": 0
},
"result":
{
"edges": 16,
"markings": 17,
"produced_by": "search",
"value": 12
},
"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(p1il_2_3)",
"processed_size": 13,
"rewrites": 0
},
"result":
{
"edges": 0,
"markings": 0,
"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(p1ol_5_1)",
"processed_size": 13,
"rewrites": 0
},
"result":
{
"edges": 0,
"markings": 0,
"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(pb1_3_2)",
"processed_size": 12,
"rewrites": 0
},
"result":
{
"edges": 67,
"markings": 68,
"produced_by": "search",
"value": 12
},
"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(p1i_5_4)",
"processed_size": 12,
"rewrites": 0
},
"result":
{
"edges": 1,
"markings": 2,
"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(p4ol_4_3)",
"processed_size": 13,
"rewrites": 0
},
"result":
{
"edges": 0,
"markings": 0,
"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(p4ol_4_3)",
"processed_size": 13,
"rewrites": 0
},
"result":
{
"edges": 0,
"markings": 0,
"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(pb4_1_4)",
"processed_size": 12,
"rewrites": 0
},
"result":
{
"edges": 41,
"markings": 42,
"produced_by": "search",
"value": 12
},
"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(p1il_5_4)",
"processed_size": 13,
"rewrites": 0
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "search",
"value": 1
},
"task":
{
"compoundnumber": 8,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 509
},
"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(p4i_4_5)",
"processed_size": 12,
"rewrites": 0
},
"result":
{
"edges": 1,
"markings": 2,
"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": 594
},
"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(pb3_2_4)",
"processed_size": 12,
"rewrites": 0
},
"result":
{
"edges": 66,
"markings": 67,
"produced_by": "search",
"value": 12
},
"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": 713
},
"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(p4o_1_4)",
"processed_size": 12,
"rewrites": 0
},
"result":
{
"edges": 1,
"markings": 2,
"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": 883
},
"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(p4o_3_3)",
"processed_size": 12,
"rewrites": 0
},
"result":
{
"edges": 1,
"markings": 2,
"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": 1325
},
"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(p1i_2_4)",
"processed_size": 12,
"rewrites": 0
},
"result":
{
"edges": 1,
"markings": 2,
"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": 2651
},
"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(pb4_1_4)",
"processed_size": 12,
"rewrites": 0
},
"result":
{
"edges": 41,
"markings": 42,
"produced_by": "search",
"value": 12
},
"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": 19412,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"JSON": "UpperBounds.json",
"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": 1088,
"conflict_clusters": 96,
"places": 240,
"places_significant": 143,
"singleton_clusters": 0,
"transitions": 272
},
"result":
{
"interim_value": "12 1 1 12 1 1 1 12 1 1 12 1 unknown 1 1 12 ",
"preliminary_value": "12 1 1 12 1 1 1 12 1 1 12 1 unknown 1 1 12 ",
"value": "12 1 1 12 1 1 1 12 1 1 12 1 unknown 1 1 12 "
},
"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: 512/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 7680
lola: finding significant places
lola: 240 places, 272 transitions, 143 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(pbl_1_1) : MAX(p1il_2_3) : MAX(p1ol_5_1) : MAX(pb1_3_2) : MAX(p1i_5_4) : MAX(p4ol_4_3) : MAX(p4ol_4_3) : MAX(pb4_1_4) : MAX(p1il_5_4) : MAX(p4i_4_5) : MAX(pb3_2_4) : MAX(p4o_1_4) : MAX(pb2_4_4) : MAX(p4o_3_3) : MAX(p1i_2_4) : MAX(pb4_1_4)
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(pbl_1_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(pbl_1_1)
lola: processed formula length: 12
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: 12
lola: SUBRESULT
lola: result: 12
lola: produced by: state space
lola: The maximum value of the given expression is 12
lola: 17 markings, 16 edges
lola: ========================================
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1il_2_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1il_2_3)
lola: processed formula length: 13
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: 0 markings, 0 edges
lola: ========================================
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1ol_5_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1ol_5_1)
lola: processed formula length: 13
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: 0 markings, 0 edges
lola: ========================================
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(pb1_3_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(pb1_3_2)
lola: processed formula length: 12
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: 12
lola: SUBRESULT
lola: result: 12
lola: produced by: state space
lola: The maximum value of the given expression is 12
lola: 68 markings, 67 edges
lola: ========================================
lola: subprocess 4 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1i_5_4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1i_5_4)
lola: processed formula length: 12
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: 2 markings, 1 edges
lola: ========================================
lola: subprocess 5 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p4ol_4_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p4ol_4_3)
lola: processed formula length: 13
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: 0 markings, 0 edges
lola: ========================================
lola: subprocess 6 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p4ol_4_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p4ol_4_3)
lola: processed formula length: 13
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: 0 markings, 0 edges
lola: ========================================
lola: subprocess 7 will run for 396 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(pb4_1_4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(pb4_1_4)
lola: processed formula length: 12
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: 12
lola: SUBRESULT
lola: result: 12
lola: produced by: state space
lola: The maximum value of the given expression is 12
lola: 42 markings, 41 edges
lola: ========================================
lola: subprocess 8 will run for 445 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1il_5_4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1il_5_4)
lola: processed formula length: 13
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: 0 markings, 0 edges
lola: ========================================
lola: subprocess 9 will run for 509 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p4i_4_5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p4i_4_5)
lola: processed formula length: 12
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: 2 markings, 1 edges
lola: ========================================
lola: subprocess 10 will run for 594 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(pb3_2_4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(pb3_2_4)
lola: processed formula length: 12
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: 12
lola: SUBRESULT
lola: result: 12
lola: produced by: state space
lola: The maximum value of the given expression is 12
lola: 67 markings, 66 edges
lola: ========================================
lola: subprocess 11 will run for 713 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p4o_1_4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p4o_1_4)
lola: processed formula length: 12
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: 2 markings, 1 edges
lola: ========================================
lola: subprocess 12 will run for 891 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(pb2_4_4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(pb2_4_4)
lola: processed formula length: 12
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: 12
lola: 1205922 markings, 2318753 edges, 241184 markings/sec, 0 secs
lola: 2005861 markings, 4566223 edges, 159988 markings/sec, 5 secs
lola: 3155364 markings, 6795575 edges, 229901 markings/sec, 10 secs
lola: 4015145 markings, 9469007 edges, 171956 markings/sec, 15 secs
lola: 5254182 markings, 11697574 edges, 247807 markings/sec, 20 secs
lola: 6037666 markings, 14111166 edges, 156697 markings/sec, 25 secs
lola: 6768439 markings, 16400710 edges, 146155 markings/sec, 30 secs
lola: 7870067 markings, 18396708 edges, 220326 markings/sec, 35 secs
lola: 8619032 markings, 20795334 edges, 149793 markings/sec, 40 secs
lola: 9674224 markings, 22975214 edges, 211038 markings/sec, 45 secs
lola: 10590367 markings, 25240945 edges, 183229 markings/sec, 50 secs
lola: 11434243 markings, 27764798 edges, 168775 markings/sec, 55 secs
lola: 12523341 markings, 29751175 edges, 217820 markings/sec, 60 secs
lola: 13563485 markings, 31626415 edges, 208029 markings/sec, 65 secs
lola: 14573178 markings, 33449750 edges, 201939 markings/sec, 70 secs
lola: 15543496 markings, 35193781 edges, 194064 markings/sec, 75 secs
lola: 16484718 markings, 36874923 edges, 188244 markings/sec, 80 secs
lola: 17427387 markings, 38567846 edges, 188534 markings/sec, 85 secs
lola: 18365182 markings, 40267278 edges, 187559 markings/sec, 90 secs
lola: 19328452 markings, 42024251 edges, 192654 markings/sec, 95 secs
lola: 20333797 markings, 43805927 edges, 201069 markings/sec, 100 secs
lola: 21303051 markings, 45597923 edges, 193851 markings/sec, 105 secs
lola: 22262346 markings, 47463803 edges, 191859 markings/sec, 110 secs
lola: 22784879 markings, 49655230 edges, 104507 markings/sec, 115 secs
lola: 22812815 markings, 51994411 edges, 5587 markings/sec, 120 secs
lola: 22820007 markings, 54116004 edges, 1438 markings/sec, 125 secs
lola: 22825117 markings, 56220941 edges, 1022 markings/sec, 130 secs
lola: 22829317 markings, 58350564 edges, 840 markings/sec, 135 secs
lola: 22833432 markings, 60666891 edges, 823 markings/sec, 140 secs
lola: 23331657 markings, 63063189 edges, 99645 markings/sec, 145 secs
lola: 24292565 markings, 64693908 edges, 192182 markings/sec, 150 secs
lola: 24946035 markings, 66925066 edges, 130694 markings/sec, 155 secs
lola: 25765723 markings, 69368128 edges, 163938 markings/sec, 160 secs
lola: 26936878 markings, 71408036 edges, 234231 markings/sec, 165 secs
lola: 27550089 markings, 73549410 edges, 122642 markings/sec, 170 secs
lola: 28600636 markings, 75456855 edges, 210109 markings/sec, 175 secs
lola: 29597200 markings, 77259090 edges, 199313 markings/sec, 180 secs
lola: 30571326 markings, 79017194 edges, 194825 markings/sec, 185 secs
lola: 31491467 markings, 80667966 edges, 184028 markings/sec, 190 secs
lola: 32394161 markings, 82289628 edges, 180539 markings/sec, 195 secs
lola: 33358666 markings, 84010971 edges, 192901 markings/sec, 200 secs
lola: 34253787 markings, 85631947 edges, 179024 markings/sec, 205 secs
lola: 35142118 markings, 87249626 edges, 177666 markings/sec, 210 secs
lola: 36087271 markings, 88940868 edges, 189031 markings/sec, 215 secs
lola: 36977621 markings, 90549119 edges, 178070 markings/sec, 220 secs
lola: 37807589 markings, 92179542 edges, 165994 markings/sec, 225 secs
lola: 38680059 markings, 93926913 edges, 174494 markings/sec, 230 secs
lola: 38843226 markings, 96029696 edges, 32633 markings/sec, 235 secs
lola: 38860046 markings, 98138623 edges, 3364 markings/sec, 240 secs
lola: 38865706 markings, 100157779 edges, 1132 markings/sec, 245 secs
lola: 38870349 markings, 102238209 edges, 929 markings/sec, 250 secs
lola: 38875021 markings, 104414801 edges, 934 markings/sec, 255 secs
lola: 38878783 markings, 106671835 edges, 752 markings/sec, 260 secs
lola: 39610289 markings, 109150155 edges, 146301 markings/sec, 265 secs
lola: 40488401 markings, 111520299 edges, 175622 markings/sec, 270 secs
lola: 41605940 markings, 113713551 edges, 223508 markings/sec, 275 secs
lola: 42358694 markings, 116064000 edges, 150551 markings/sec, 280 secs
lola: 43442436 markings, 118123727 edges, 216748 markings/sec, 285 secs
lola: 44235984 markings, 120402345 edges, 158710 markings/sec, 290 secs
lola: 45023929 markings, 122811359 edges, 157589 markings/sec, 295 secs
lola: 46237718 markings, 125042196 edges, 242758 markings/sec, 300 secs
lola: 47060155 markings, 127566541 edges, 164487 markings/sec, 305 secs
lola: 48205159 markings, 129685769 edges, 229001 markings/sec, 310 secs
lola: 49076080 markings, 132159811 edges, 174184 markings/sec, 315 secs
lola: 49891775 markings, 134589698 edges, 163139 markings/sec, 320 secs
lola: 50983582 markings, 136656805 edges, 218361 markings/sec, 325 secs
lola: 51733946 markings, 138915942 edges, 150073 markings/sec, 330 secs
lola: 52734717 markings, 140727446 edges, 200154 markings/sec, 335 secs
lola: 53676718 markings, 142431908 edges, 188400 markings/sec, 340 secs
lola: 54612751 markings, 144117770 edges, 187207 markings/sec, 345 secs
lola: 55538458 markings, 145781430 edges, 185141 markings/sec, 350 secs
lola: 56486705 markings, 147477750 edges, 189649 markings/sec, 355 secs
lola: 57427153 markings, 149164011 edges, 188090 markings/sec, 360 secs
lola: 58330969 markings, 150802568 edges, 180763 markings/sec, 365 secs
lola: 59249896 markings, 152479328 edges, 183785 markings/sec, 370 secs
lola: 60214075 markings, 154191662 edges, 192836 markings/sec, 375 secs
lola: 61164401 markings, 155938072 edges, 190065 markings/sec, 380 secs
lola: 62080938 markings, 157737807 edges, 183307 markings/sec, 385 secs
lola: 62696092 markings, 159696346 edges, 123031 markings/sec, 390 secs
lola: 62735921 markings, 161940562 edges, 7966 markings/sec, 395 secs
lola: 62745027 markings, 164055949 edges, 1821 markings/sec, 400 secs
lola: 62750091 markings, 166101460 edges, 1013 markings/sec, 405 secs
lola: 62754195 markings, 168158969 edges, 821 markings/sec, 410 secs
lola: 62758429 markings, 170369529 edges, 847 markings/sec, 415 secs
lola: 62899235 markings, 172806380 edges, 28161 markings/sec, 420 secs
lola: 63908287 markings, 174637742 edges, 201810 markings/sec, 425 secs
lola: 64836860 markings, 176319634 edges, 185715 markings/sec, 430 secs
lola: 65759212 markings, 177977055 edges, 184470 markings/sec, 435 secs
lola: 66671432 markings, 179623887 edges, 182444 markings/sec, 440 secs
lola: 67579068 markings, 181253294 edges, 181527 markings/sec, 445 secs
lola: 68482600 markings, 182877493 edges, 180706 markings/sec, 450 secs
lola: 69374879 markings, 184484023 edges, 178456 markings/sec, 455 secs
lola: 70255430 markings, 186093967 edges, 176110 markings/sec, 460 secs
lola: 71165713 markings, 187729444 edges, 182057 markings/sec, 465 secs
lola: 72088564 markings, 189371623 edges, 184570 markings/sec, 470 secs
lola: 72980815 markings, 191080534 edges, 178450 markings/sec, 475 secs
lola: 73873505 markings, 192834211 edges, 178538 markings/sec, 480 secs
lola: 74234151 markings, 194968774 edges, 72129 markings/sec, 485 secs
lola: 74255259 markings, 197150910 edges, 4222 markings/sec, 490 secs
lola: 74262043 markings, 199082922 edges, 1357 markings/sec, 495 secs
lola: 74266766 markings, 200997885 edges, 945 markings/sec, 500 secs
lola: 74270855 markings, 202987198 edges, 818 markings/sec, 505 secs
lola: 74274601 markings, 205125619 edges, 749 markings/sec, 510 secs
lola: 74507685 markings, 207488530 edges, 46617 markings/sec, 515 secs
lola: 75464195 markings, 209239732 edges, 191302 markings/sec, 520 secs
lola: 76047487 markings, 211263114 edges, 116658 markings/sec, 525 secs
lola: 77117405 markings, 213171764 edges, 213984 markings/sec, 530 secs
lola: 77788420 markings, 215419345 edges, 134203 markings/sec, 535 secs
lola: 78767008 markings, 217338136 edges, 195718 markings/sec, 540 secs
lola: 79526416 markings, 219582806 edges, 151882 markings/sec, 545 secs
lola: 80598208 markings, 221555618 edges, 214358 markings/sec, 550 secs
lola: 81396057 markings, 223875601 edges, 159570 markings/sec, 555 secs
lola: 82143890 markings, 226207532 edges, 149567 markings/sec, 560 secs
lola: 83288691 markings, 228184146 edges, 228960 markings/sec, 565 secs
lola: 83947613 markings, 230430721 edges, 131784 markings/sec, 570 secs
lola: 84907306 markings, 232172185 edges, 191939 markings/sec, 575 secs
lola: 85841037 markings, 233865247 edges, 186746 markings/sec, 580 secs
lola: 86765345 markings, 235527450 edges, 184862 markings/sec, 585 secs
lola: 87683587 markings, 237187863 edges, 183648 markings/sec, 590 secs
lola: 88605304 markings, 238833857 edges, 184343 markings/sec, 595 secs
lola: 89507855 markings, 240454111 edges, 180510 markings/sec, 600 secs
lola: 90410379 markings, 242081443 edges, 180505 markings/sec, 605 secs
lola: 91313349 markings, 243719390 edges, 180594 markings/sec, 610 secs
lola: 92235669 markings, 245375589 edges, 184464 markings/sec, 615 secs
lola: 93163867 markings, 247038286 edges, 185640 markings/sec, 620 secs
lola: 94054952 markings, 248776501 edges, 178217 markings/sec, 625 secs
lola: 94945173 markings, 250569631 edges, 178044 markings/sec, 630 secs
lola: 95109205 markings, 252784126 edges, 32806 markings/sec, 635 secs
lola: 95124773 markings, 254953225 edges, 3114 markings/sec, 640 secs
lola: 95130733 markings, 256994359 edges, 1192 markings/sec, 645 secs
lola: 95135223 markings, 259033422 edges, 898 markings/sec, 650 secs
lola: 95139283 markings, 261103874 edges, 812 markings/sec, 655 secs
lola: 95142653 markings, 263284817 edges, 674 markings/sec, 660 secs
lola: 95648959 markings, 265300744 edges, 101261 markings/sec, 665 secs
lola: 96520908 markings, 266884333 edges, 174390 markings/sec, 670 secs
lola: 97384440 markings, 268431503 edges, 172706 markings/sec, 675 secs
lola: 98231552 markings, 269956697 edges, 169422 markings/sec, 680 secs
lola: 99072863 markings, 271473042 edges, 168262 markings/sec, 685 secs
lola: 99919648 markings, 272996007 edges, 169357 markings/sec, 690 secs
lola: 100770289 markings, 274521839 edges, 170128 markings/sec, 695 secs
lola: 101621275 markings, 276061067 edges, 170197 markings/sec, 700 secs
lola: 102468595 markings, 277593136 edges, 169464 markings/sec, 705 secs
lola: 103324010 markings, 279138050 edges, 171083 markings/sec, 710 secs
lola: 104200862 markings, 280700970 edges, 175370 markings/sec, 715 secs
lola: 105050009 markings, 282297958 edges, 169829 markings/sec, 720 secs
lola: 105916430 markings, 283959772 edges, 173284 markings/sec, 725 secs
lola: 106485471 markings, 285844712 edges, 113808 markings/sec, 730 secs
lola: 106522683 markings, 287854215 edges, 7442 markings/sec, 735 secs
lola: 106532455 markings, 289759214 edges, 1954 markings/sec, 740 secs
lola: 106537788 markings, 291583897 edges, 1067 markings/sec, 745 secs
lola: 106542594 markings, 293398966 edges, 961 markings/sec, 750 secs
lola: 106546780 markings, 295246915 edges, 837 markings/sec, 755 secs
lola: 106550088 markings, 297167035 edges, 662 markings/sec, 760 secs
lola: 106910765 markings, 299416895 edges, 72135 markings/sec, 765 secs
lola: 107988597 markings, 301456744 edges, 215566 markings/sec, 770 secs
lola: 108825654 markings, 303768606 edges, 167411 markings/sec, 775 secs
lola: 109556146 markings, 306070556 edges, 146098 markings/sec, 780 secs
lola: 110694297 markings, 308117365 edges, 227630 markings/sec, 785 secs
lola: 111462740 markings, 310467452 edges, 153689 markings/sec, 790 secs
lola: 112555504 markings, 312476831 edges, 218553 markings/sec, 795 secs
lola: 113261435 markings, 314708349 edges, 141186 markings/sec, 800 secs
lola: 114237697 markings, 316480300 edges, 195252 markings/sec, 805 secs
lola: 115178115 markings, 318182052 edges, 188084 markings/sec, 810 secs
lola: 116108176 markings, 319857081 edges, 186012 markings/sec, 815 secs
lola: 117038211 markings, 321527783 edges, 186007 markings/sec, 820 secs
lola: 117964650 markings, 323187332 edges, 185288 markings/sec, 825 secs
lola: 118886211 markings, 324839510 edges, 184312 markings/sec, 830 secs
lola: 119799343 markings, 326493104 edges, 182626 markings/sec, 835 secs
lola: 120718220 markings, 328164609 edges, 183775 markings/sec, 840 secs
lola: 121665355 markings, 329854331 edges, 189427 markings/sec, 845 secs
lola: 122618451 markings, 331581472 edges, 190619 markings/sec, 850 secs
lola: 123539207 markings, 333377598 edges, 184151 markings/sec, 855 secs
lola: 124268337 markings, 335332965 edges, 145826 markings/sec, 860 secs
lola: 124314285 markings, 337605159 edges, 9190 markings/sec, 865 secs
lola: 124324245 markings, 339766724 edges, 1992 markings/sec, 870 secs
lola: 124329719 markings, 341859184 edges, 1095 markings/sec, 875 secs
lola: 124333967 markings, 343962292 edges, 850 markings/sec, 880 secs
lola: 124338197 markings, 346132469 edges, 846 markings/sec, 885 secs
lola: local time limit reached - aborting
lola:
preliminary result: 12 1 1 12 1 1 1 12 1 1 12 1 unknown unknown unknown unknown
lola: memory consumption: 5109228 KB
lola: time consumption: 895 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 2 - aborting LoLA
lola:
preliminary result: 12 1 1 12 1 1 1 12 1 1 12 1 unknown unknown unknown unknown
lola: memory consumption: 5111144 KB
lola: time consumption: 899 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 883 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p4o_3_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p4o_3_3)
lola: processed formula length: 12
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: 2 markings, 1 edges
lola: ========================================
lola: subprocess 14 will run for 1325 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1i_2_4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1i_2_4)
lola: processed formula length: 12
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: 2 markings, 1 edges
lola: ========================================
lola: subprocess 15 will run for 2651 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(pb4_1_4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(pb4_1_4)
lola: processed formula length: 12
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: 12
lola: SUBRESULT
lola: result: 12
lola: produced by: state space
lola: The maximum value of the given expression is 12
lola: 42 markings, 41 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: MAX(pb2_4_4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(pb2_4_4)
lola: processed formula length: 12
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: 12
lola: 1195138 markings, 2300340 edges, 239028 markings/sec, 0 secs
lola: 2005573 markings, 4491300 edges, 162087 markings/sec, 5 secs
lola: 3055162 markings, 6630375 edges, 209918 markings/sec, 10 secs
lola: 3797302 markings, 9014417 edges, 148428 markings/sec, 15 secs
lola: 4934626 markings, 11157369 edges, 227465 markings/sec, 20 secs
lola: 5669054 markings, 13490196 edges, 146886 markings/sec, 25 secs
lola: 6694514 markings, 15478507 edges, 205092 markings/sec, 30 secs
lola: 7531905 markings, 17818535 edges, 167478 markings/sec, 35 secs
lola: 8296310 markings, 20016183 edges, 152881 markings/sec, 40 secs
lola: 9394005 markings, 22102882 edges, 219539 markings/sec, 45 secs
lola: 10139814 markings, 24479574 edges, 149162 markings/sec, 50 secs
lola: 11094075 markings, 26562490 edges, 190852 markings/sec, 55 secs
lola: 11910603 markings, 28636320 edges, 163306 markings/sec, 60 secs
lola: 12869085 markings, 30373959 edges, 191696 markings/sec, 65 secs
lola: 13803896 markings, 32061044 edges, 186962 markings/sec, 70 secs
lola: 14723492 markings, 33715464 edges, 183919 markings/sec, 75 secs
lola: 15634278 markings, 35355222 edges, 182157 markings/sec, 80 secs
lola: 16544287 markings, 36983217 edges, 182002 markings/sec, 85 secs
lola: 17450793 markings, 38610239 edges, 181301 markings/sec, 90 secs
lola: 18359662 markings, 40257229 edges, 181774 markings/sec, 95 secs
lola: 19272111 markings, 41919243 edges, 182490 markings/sec, 100 secs
lola: 20208578 markings, 43581449 edges, 187293 markings/sec, 105 secs
lola: 21126999 markings, 45260901 edges, 183684 markings/sec, 110 secs
lola: 22030804 markings, 47005482 edges, 180761 markings/sec, 115 secs
lola: 22760075 markings, 48903580 edges, 145854 markings/sec, 120 secs
lola: 22807143 markings, 51130424 edges, 9414 markings/sec, 125 secs
lola: 22817537 markings, 53259037 edges, 2079 markings/sec, 130 secs
lola: 22823013 markings, 55310636 edges, 1095 markings/sec, 135 secs
lola: 22827279 markings, 57388406 edges, 853 markings/sec, 140 secs
lola: 22831516 markings, 59530806 edges, 847 markings/sec, 145 secs
lola: 22834362 markings, 61902541 edges, 569 markings/sec, 150 secs
lola: 23846749 markings, 63936928 edges, 202477 markings/sec, 155 secs
lola: 24527443 markings, 66177986 edges, 136139 markings/sec, 160 secs
lola: 25671840 markings, 68158974 edges, 228879 markings/sec, 165 secs
lola: 26432052 markings, 70548281 edges, 152042 markings/sec, 170 secs
lola: 27175956 markings, 72861204 edges, 148781 markings/sec, 175 secs
lola: 28183953 markings, 74706024 edges, 201599 markings/sec, 180 secs
lola: 29138742 markings, 76434534 edges, 190958 markings/sec, 185 secs
lola: 30059276 markings, 78095714 edges, 184107 markings/sec, 190 secs
lola: 30966604 markings, 79726330 edges, 181466 markings/sec, 195 secs
lola: 31865327 markings, 81345449 edges, 179745 markings/sec, 200 secs
lola: 32770065 markings, 82963245 edges, 180948 markings/sec, 205 secs
lola: 33670783 markings, 84577067 edges, 180144 markings/sec, 210 secs
lola: 34571279 markings, 86205383 edges, 180099 markings/sec, 215 secs
lola: 35476002 markings, 87856380 edges, 180945 markings/sec, 220 secs
lola: 36408202 markings, 89509110 edges, 186440 markings/sec, 225 secs
lola: 37310924 markings, 91187096 edges, 180544 markings/sec, 230 secs
lola: 38198248 markings, 92918141 edges, 177465 markings/sec, 235 secs
lola: 38814810 markings, 94872023 edges, 123312 markings/sec, 240 secs
lola: 38854194 markings, 97065806 edges, 7877 markings/sec, 245 secs
lola: 38862980 markings, 99149643 edges, 1757 markings/sec, 250 secs
lola: 38867953 markings, 101177933 edges, 995 markings/sec, 255 secs
lola: 38872419 markings, 103214141 edges, 893 markings/sec, 260 secs
lola: 38876991 markings, 105327579 edges, 914 markings/sec, 265 secs
lola: 38879339 markings, 107712966 edges, 470 markings/sec, 270 secs
lola: 40012350 markings, 109834671 edges, 226602 markings/sec, 275 secs
lola: 40742895 markings, 112162828 edges, 146109 markings/sec, 280 secs
lola: 41802609 markings, 114042272 edges, 211943 markings/sec, 285 secs
lola: 42499204 markings, 116354940 edges, 139319 markings/sec, 290 secs
lola: 43447472 markings, 118445101 edges, 189654 markings/sec, 295 secs
lola: 44370652 markings, 120638672 edges, 184636 markings/sec, 300 secs
lola: 45102262 markings, 122946385 edges, 146322 markings/sec, 305 secs
lola: 46284008 markings, 125118378 edges, 236349 markings/sec, 310 secs
lola: 47089401 markings, 127612717 edges, 161079 markings/sec, 315 secs
lola: 48207307 markings, 129704505 edges, 223581 markings/sec, 320 secs
lola: 49048970 markings, 132110896 edges, 168333 markings/sec, 325 secs
lola: 49847009 markings, 134518818 edges, 159608 markings/sec, 330 secs
lola: 50959486 markings, 136544831 edges, 222495 markings/sec, 335 secs
lola: 51675957 markings, 138806211 edges, 143294 markings/sec, 340 secs
lola: 52660187 markings, 140593765 edges, 196846 markings/sec, 345 secs
lola: 53617500 markings, 142325908 edges, 191463 markings/sec, 350 secs
lola: 54551692 markings, 144009583 edges, 186838 markings/sec, 355 secs
lola: 55471737 markings, 145661487 edges, 184009 markings/sec, 360 secs
lola: 56394210 markings, 147312960 edges, 184495 markings/sec, 365 secs
lola: 57306453 markings, 148948616 edges, 182449 markings/sec, 370 secs
lola: 58205816 markings, 150577894 edges, 179873 markings/sec, 375 secs
lola: 59120021 markings, 152238358 edges, 182841 markings/sec, 380 secs
lola: 60049193 markings, 153898326 edges, 185834 markings/sec, 385 secs
lola: 60987778 markings, 155594056 edges, 187717 markings/sec, 390 secs
lola: 61893550 markings, 157361977 edges, 181154 markings/sec, 395 secs
lola: 62682705 markings, 159255560 edges, 157831 markings/sec, 400 secs
lola: 62732773 markings, 161523072 edges, 10014 markings/sec, 405 secs
lola: 62743725 markings, 163694997 edges, 2190 markings/sec, 410 secs
lola: 62749323 markings, 165782623 edges, 1120 markings/sec, 415 secs
lola: 62753579 markings, 167861781 edges, 851 markings/sec, 420 secs
lola: 62757881 markings, 169989258 edges, 860 markings/sec, 425 secs
lola: 62760415 markings, 172294227 edges, 507 markings/sec, 430 secs
lola: 63663400 markings, 174196443 edges, 180597 markings/sec, 435 secs
lola: 64605945 markings, 175900027 edges, 188509 markings/sec, 440 secs
lola: 65523359 markings, 177555167 edges, 183483 markings/sec, 445 secs
lola: 66435039 markings, 179201438 edges, 182336 markings/sec, 450 secs
lola: 67344754 markings, 180828578 edges, 181943 markings/sec, 455 secs
lola: 68243665 markings, 182447053 edges, 179782 markings/sec, 460 secs
lola: 69142747 markings, 184059400 edges, 179816 markings/sec, 465 secs
lola: 70037360 markings, 185691807 edges, 178923 markings/sec, 470 secs
lola: 70943808 markings, 187338701 edges, 181290 markings/sec, 475 secs
lola: 71873306 markings, 188983518 edges, 185900 markings/sec, 480 secs
lola: 72777502 markings, 190672199 edges, 180839 markings/sec, 485 secs
lola: 73676942 markings, 192423497 edges, 179888 markings/sec, 490 secs
lola: 74218303 markings, 194413576 edges, 108272 markings/sec, 495 secs
lola: 74251843 markings, 196616346 edges, 6708 markings/sec, 500 secs
lola: 74261427 markings, 198802241 edges, 1917 markings/sec, 505 secs
lola: 74266582 markings, 200937040 edges, 1031 markings/sec, 510 secs
lola: 74271137 markings, 203104609 edges, 911 markings/sec, 515 secs
lola: 74275039 markings, 205380349 edges, 780 markings/sec, 520 secs
lola: 74662983 markings, 207788484 edges, 77589 markings/sec, 525 secs
lola: 75636554 markings, 209524152 edges, 194714 markings/sec, 530 secs
lola: 76253180 markings, 211706127 edges, 123325 markings/sec, 535 secs
lola: 77300011 markings, 213712979 edges, 209366 markings/sec, 540 secs
lola: 78055527 markings, 215868074 edges, 151103 markings/sec, 545 secs
lola: 78772880 markings, 218049797 edges, 143471 markings/sec, 550 secs
lola: 79841261 markings, 220110885 edges, 213676 markings/sec, 555 secs
lola: 80607030 markings, 222398067 edges, 153154 markings/sec, 560 secs
lola: 81748483 markings, 224473144 edges, 228291 markings/sec, 565 secs
lola: 82522988 markings, 226888601 edges, 154901 markings/sec, 570 secs
lola: 83381138 markings, 229152533 edges, 171630 markings/sec, 575 secs
lola: 84353494 markings, 231168877 edges, 194471 markings/sec, 580 secs
lola: 85319283 markings, 232921481 edges, 193158 markings/sec, 585 secs
lola: 86274117 markings, 234642894 edges, 190967 markings/sec, 590 secs
lola: 87205258 markings, 236321465 edges, 186228 markings/sec, 595 secs
lola: 88129786 markings, 237985777 edges, 184906 markings/sec, 600 secs
lola: 89054208 markings, 239640306 edges, 184884 markings/sec, 605 secs
lola: 89977915 markings, 241297209 edges, 184741 markings/sec, 610 secs
lola: 90890177 markings, 242951405 edges, 182452 markings/sec, 615 secs
lola: 91811015 markings, 244623371 edges, 184168 markings/sec, 620 secs
lola: 92748880 markings, 246290342 edges, 187573 markings/sec, 625 secs
lola: 93679274 markings, 248028327 edges, 186079 markings/sec, 630 secs
lola: 94600945 markings, 249827260 edges, 184334 markings/sec, 635 secs
lola: 95092161 markings, 251906811 edges, 98243 markings/sec, 640 secs
lola: 95121333 markings, 254187563 edges, 5834 markings/sec, 645 secs
lola: 95128899 markings, 256335749 edges, 1513 markings/sec, 650 secs
lola: 95133965 markings, 258429831 edges, 1013 markings/sec, 655 secs
lola: 95137687 markings, 260499185 edges, 744 markings/sec, 660 secs
lola: 95141839 markings, 262642762 edges, 830 markings/sec, 665 secs
lola: 95396186 markings, 264846259 edges, 50869 markings/sec, 670 secs
lola: 96274431 markings, 266437947 edges, 175649 markings/sec, 675 secs
lola: 97136825 markings, 267988356 edges, 172479 markings/sec, 680 secs
lola: 97980669 markings, 269506285 edges, 168769 markings/sec, 685 secs
lola: 98816375 markings, 271011631 edges, 167141 markings/sec, 690 secs
lola: 99651252 markings, 272515767 edges, 166975 markings/sec, 695 secs
lola: 100488382 markings, 274017406 edges, 167426 markings/sec, 700 secs
lola: 101325438 markings, 275526173 edges, 167411 markings/sec, 705 secs
lola: 102158781 markings, 277033852 edges, 166669 markings/sec, 710 secs
lola: 103003842 markings, 278564027 edges, 169012 markings/sec, 715 secs
lola: 103870873 markings, 280111863 edges, 173406 markings/sec, 720 secs
lola: 104726885 markings, 281665373 edges, 171202 markings/sec, 725 secs
lola: 105560196 markings, 283283217 edges, 166662 markings/sec, 730 secs
lola: 106358500 markings, 285009315 edges, 159661 markings/sec, 735 secs
lola: 106513815 markings, 287034209 edges, 31063 markings/sec, 740 secs
lola: 106529683 markings, 288996779 edges, 3174 markings/sec, 745 secs
lola: 106535530 markings, 290835813 edges, 1169 markings/sec, 750 secs
lola: 106540968 markings, 292654810 edges, 1088 markings/sec, 755 secs
lola: 106545276 markings, 294496044 edges, 862 markings/sec, 760 secs
lola: 106549020 markings, 296393686 edges, 749 markings/sec, 765 secs
lola: 106551046 markings, 298464762 edges, 405 markings/sec, 770 secs
lola: 107573874 markings, 300537456 edges, 204566 markings/sec, 775 secs
lola: 108304746 markings, 302843309 edges, 146174 markings/sec, 780 secs
lola: 109414934 markings, 304792637 edges, 222038 markings/sec, 785 secs
lola: 110131310 markings, 307160166 edges, 143275 markings/sec, 790 secs
lola: 111179900 markings, 309170057 edges, 209718 markings/sec, 795 secs
lola: 112006572 markings, 311433995 edges, 165334 markings/sec, 800 secs
lola: 112724747 markings, 313725820 edges, 143635 markings/sec, 805 secs
lola: 113726330 markings, 315552388 edges, 200317 markings/sec, 810 secs
lola: 114677510 markings, 317275148 edges, 190236 markings/sec, 815 secs
lola: 115610438 markings, 318956728 edges, 186586 markings/sec, 820 secs
lola: 116531289 markings, 320618026 edges, 184170 markings/sec, 825 secs
lola: 117446550 markings, 322264466 edges, 183052 markings/sec, 830 secs
lola: 118361067 markings, 323899500 edges, 182903 markings/sec, 835 secs
lola: 119271558 markings, 325538197 edges, 182098 markings/sec, 840 secs
lola: 120183379 markings, 327188412 edges, 182364 markings/sec, 845 secs
lola: 121103337 markings, 328856722 edges, 183992 markings/sec, 850 secs
lola: 122037807 markings, 330516677 edges, 186894 markings/sec, 855 secs
lola: 122943024 markings, 332230104 edges, 181043 markings/sec, 860 secs
lola: 123862554 markings, 334019878 edges, 183906 markings/sec, 865 secs
lola: 124293973 markings, 336127884 edges, 86284 markings/sec, 870 secs
lola: 124319041 markings, 338369283 edges, 5014 markings/sec, 875 secs
lola: 124326393 markings, 340468254 edges, 1470 markings/sec, 880 secs
lola: 124331261 markings, 342551534 edges, 974 markings/sec, 885 secs
lola: 124335027 markings, 344630683 edges, 753 markings/sec, 890 secs
lola: 124339167 markings, 346836395 edges, 828 markings/sec, 895 secs
lola: 124698675 markings, 349098575 edges, 71902 markings/sec, 900 secs
lola: 125661710 markings, 350845627 edges, 192607 markings/sec, 905 secs
lola: 126600684 markings, 352529035 edges, 187795 markings/sec, 910 secs
lola: 127516270 markings, 354180438 edges, 183117 markings/sec, 915 secs
lola: 128424602 markings, 355817081 edges, 181666 markings/sec, 920 secs
lola: 129329897 markings, 357442471 edges, 181059 markings/sec, 925 secs
lola: 130232543 markings, 359060666 edges, 180529 markings/sec, 930 secs
lola: 131137577 markings, 360696320 edges, 181007 markings/sec, 935 secs
lola: 132040216 markings, 362337071 edges, 180528 markings/sec, 940 secs
lola: 132960724 markings, 363985905 edges, 184102 markings/sec, 945 secs
lola: 133876551 markings, 365638800 edges, 183165 markings/sec, 950 secs
lola: 134763641 markings, 367357080 edges, 177418 markings/sec, 955 secs
lola: 135582824 markings, 369184313 edges, 163837 markings/sec, 960 secs
lola: 135714655 markings, 371368928 edges, 26366 markings/sec, 965 secs
lola: 135728327 markings, 373469432 edges, 2734 markings/sec, 970 secs
lola: 135734634 markings, 375489997 edges, 1261 markings/sec, 975 secs
lola: 135739998 markings, 377518965 edges, 1073 markings/sec, 980 secs
lola: 135744632 markings, 379611992 edges, 927 markings/sec, 985 secs
lola: 135747854 markings, 381817673 edges, 644 markings/sec, 990 secs
lola: 136410131 markings, 384044281 edges, 132455 markings/sec, 995 secs
lola: 137546799 markings, 386022853 edges, 227334 markings/sec, 1000 secs
lola: 138239058 markings, 388303772 edges, 138452 markings/sec, 1005 secs
lola: 139204068 markings, 390059777 edges, 193002 markings/sec, 1010 secs
lola: 140140791 markings, 391752048 edges, 187345 markings/sec, 1015 secs
lola: 141065564 markings, 393412807 edges, 184955 markings/sec, 1020 secs
lola: 141986080 markings, 395072793 edges, 184103 markings/sec, 1025 secs
lola: 142905470 markings, 396727054 edges, 183878 markings/sec, 1030 secs
lola: 143827611 markings, 398385060 edges, 184428 markings/sec, 1035 secs
lola: 144749257 markings, 400046620 edges, 184329 markings/sec, 1040 secs
lola: 145670203 markings, 401715368 edges, 184189 markings/sec, 1045 secs
lola: 146617827 markings, 403415329 edges, 189525 markings/sec, 1050 secs
lola: 147563047 markings, 405110443 edges, 189044 markings/sec, 1055 secs
lola: 148463285 markings, 406871479 edges, 180048 markings/sec, 1060 secs
lola: 149332433 markings, 408693238 edges, 173830 markings/sec, 1065 secs
lola: 149474901 markings, 410943318 edges, 28494 markings/sec, 1070 secs
lola: 149488261 markings, 413140154 edges, 2672 markings/sec, 1075 secs
lola: 149494204 markings, 415224945 edges, 1189 markings/sec, 1080 secs
lola: 149499216 markings, 417291834 edges, 1002 markings/sec, 1085 secs
lola: 149503354 markings, 419402260 edges, 828 markings/sec, 1090 secs
lola: 149506718 markings, 421665567 edges, 673 markings/sec, 1095 secs
lola: 150186463 markings, 423722845 edges, 135949 markings/sec, 1100 secs
lola: 151074506 markings, 425479302 edges, 177609 markings/sec, 1105 secs
lola: 151934036 markings, 427181114 edges, 171906 markings/sec, 1110 secs
lola: 152782803 markings, 428845816 edges, 169753 markings/sec, 1115 secs
lola: 153619027 markings, 430485777 edges, 167245 markings/sec, 1120 secs
lola: 154445452 markings, 432105566 edges, 165285 markings/sec, 1125 secs
lola: 155264726 markings, 433706627 edges, 163855 markings/sec, 1130 secs
lola: 156078595 markings, 435294889 edges, 162774 markings/sec, 1135 secs
lola: 156884702 markings, 436875849 edges, 161221 markings/sec, 1140 secs
lola: 157679954 markings, 438443909 edges, 159050 markings/sec, 1145 secs
lola: 158485928 markings, 440000032 edges, 161195 markings/sec, 1150 secs
lola: 159281790 markings, 441541000 edges, 159172 markings/sec, 1155 secs
lola: 160073333 markings, 443084153 edges, 158309 markings/sec, 1160 secs
lola: 160862802 markings, 444605953 edges, 157894 markings/sec, 1165 secs
lola: 161650628 markings, 446118546 edges, 157565 markings/sec, 1170 secs
lola: 162431555 markings, 447625315 edges, 156185 markings/sec, 1175 secs
lola: 163212095 markings, 449128942 edges, 156108 markings/sec, 1180 secs
lola: 163983055 markings, 450614833 edges, 154192 markings/sec, 1185 secs
lola: 164754701 markings, 452103938 edges, 154329 markings/sec, 1190 secs
lola: 165524340 markings, 453596343 edges, 153928 markings/sec, 1195 secs
lola: 166294388 markings, 455079183 edges, 154010 markings/sec, 1200 secs
lola: 167060882 markings, 456558434 edges, 153299 markings/sec, 1205 secs
lola: 167835180 markings, 458037079 edges, 154860 markings/sec, 1210 secs
lola: 168600608 markings, 459500053 edges, 153086 markings/sec, 1215 secs
lola: 169366037 markings, 460974757 edges, 153086 markings/sec, 1220 secs
lola: 170131879 markings, 462439804 edges, 153168 markings/sec, 1225 secs
lola: 170894514 markings, 463899602 edges, 152527 markings/sec, 1230 secs
lola: 171661842 markings, 465359197 edges, 153466 markings/sec, 1235 secs
lola: 172429655 markings, 466831492 edges, 153563 markings/sec, 1240 secs
lola: 173199750 markings, 468296297 edges, 154019 markings/sec, 1245 secs
lola: 173966731 markings, 469756459 edges, 153396 markings/sec, 1250 secs
lola: 174725594 markings, 471200981 edges, 151773 markings/sec, 1255 secs
lola: 175472919 markings, 472632573 edges, 149465 markings/sec, 1260 secs
lola: 176227467 markings, 474069900 edges, 150910 markings/sec, 1265 secs
lola: 176981106 markings, 475512065 edges, 150728 markings/sec, 1270 secs
lola: 177737118 markings, 476950149 edges, 151202 markings/sec, 1275 secs
lola: 178492521 markings, 478386198 edges, 151081 markings/sec, 1280 secs
lola: 179240769 markings, 479811436 edges, 149650 markings/sec, 1285 secs
lola: 179992399 markings, 481242249 edges, 150326 markings/sec, 1290 secs
lola: 180740885 markings, 482663008 edges, 149697 markings/sec, 1295 secs
lola: 181487326 markings, 484088581 edges, 149288 markings/sec, 1300 secs
lola: 182238461 markings, 485515737 edges, 150227 markings/sec, 1305 secs
lola: 182988036 markings, 486934077 edges, 149915 markings/sec, 1310 secs
lola: 183732801 markings, 488358575 edges, 148953 markings/sec, 1315 secs
lola: 184474631 markings, 489780615 edges, 148366 markings/sec, 1320 secs
lola: 185229318 markings, 491209307 edges, 150937 markings/sec, 1325 secs
lola: 185987238 markings, 492644359 edges, 151584 markings/sec, 1330 secs
lola: 186778922 markings, 494141278 edges, 158337 markings/sec, 1335 secs
lola: 187570573 markings, 495644016 edges, 158330 markings/sec, 1340 secs
lola: 188358936 markings, 497144878 edges, 157673 markings/sec, 1345 secs
lola: 189155558 markings, 498643867 edges, 159324 markings/sec, 1350 secs
lola: 189942249 markings, 500130782 edges, 157338 markings/sec, 1355 secs
lola: 190701909 markings, 501558370 edges, 151932 markings/sec, 1360 secs
lola: 191445162 markings, 502961657 edges, 148651 markings/sec, 1365 secs
lola: 192209466 markings, 504405244 edges, 152861 markings/sec, 1370 secs
lola: 193000529 markings, 505904066 edges, 158213 markings/sec, 1375 secs
lola: 193772033 markings, 507358308 edges, 154301 markings/sec, 1380 secs
lola: 194565335 markings, 508854315 edges, 158660 markings/sec, 1385 secs
lola: 195356237 markings, 510353461 edges, 158180 markings/sec, 1390 secs
lola: 196145201 markings, 511850191 edges, 157793 markings/sec, 1395 secs
lola: 196934923 markings, 513340920 edges, 157944 markings/sec, 1400 secs
lola: 197726911 markings, 514843175 edges, 158398 markings/sec, 1405 secs
lola: 198522883 markings, 516339699 edges, 159194 markings/sec, 1410 secs
lola: 199283819 markings, 517775384 edges, 152187 markings/sec, 1415 secs
lola: 200023647 markings, 519171720 edges, 147966 markings/sec, 1420 secs
lola: 200770042 markings, 520583223 edges, 149279 markings/sec, 1425 secs
lola: 201554774 markings, 522060530 edges, 156946 markings/sec, 1430 secs
lola: 202335270 markings, 523531669 edges, 156099 markings/sec, 1435 secs
lola: 203114105 markings, 525003877 edges, 155767 markings/sec, 1440 secs
lola: 203893086 markings, 526479645 edges, 155796 markings/sec, 1445 secs
lola: 204664502 markings, 527942267 edges, 154283 markings/sec, 1450 secs
lola: 205460382 markings, 529443669 edges, 159176 markings/sec, 1455 secs
lola: 206246060 markings, 530943823 edges, 157136 markings/sec, 1460 secs
lola: 207038868 markings, 532438011 edges, 158562 markings/sec, 1465 secs
lola: 207816445 markings, 533900502 edges, 155515 markings/sec, 1470 secs
lola: 208549984 markings, 535292237 edges, 146708 markings/sec, 1475 secs
lola: 209338469 markings, 536788864 edges, 157697 markings/sec, 1480 secs
lola: 210130841 markings, 538277198 edges, 158474 markings/sec, 1485 secs
lola: 210926016 markings, 539779475 edges, 159035 markings/sec, 1490 secs
lola: 211719765 markings, 541276496 edges, 158750 markings/sec, 1495 secs
lola: 212507897 markings, 542763684 edges, 157626 markings/sec, 1500 secs
lola: 213287209 markings, 544239333 edges, 155862 markings/sec, 1505 secs
lola: 214047170 markings, 545675423 edges, 151992 markings/sec, 1510 secs
lola: 214796772 markings, 547089753 edges, 149920 markings/sec, 1515 secs
lola: 215570058 markings, 548547926 edges, 154657 markings/sec, 1520 secs
lola: 216353030 markings, 550024827 edges, 156594 markings/sec, 1525 secs
lola: 217138061 markings, 551512791 edges, 157006 markings/sec, 1530 secs
lola: 217918347 markings, 553001144 edges, 156057 markings/sec, 1535 secs
lola: 218696119 markings, 554491593 edges, 155554 markings/sec, 1540 secs
lola: 219485075 markings, 555998218 edges, 157791 markings/sec, 1545 secs
lola: 220282978 markings, 557524143 edges, 159581 markings/sec, 1550 secs
lola: 221032753 markings, 558953381 edges, 149955 markings/sec, 1555 secs
lola: 221810828 markings, 560433655 edges, 155615 markings/sec, 1560 secs
lola: 222615044 markings, 561960822 edges, 160843 markings/sec, 1565 secs
lola: 223408696 markings, 563481119 edges, 158730 markings/sec, 1570 secs
lola: 224204423 markings, 564998736 edges, 159145 markings/sec, 1575 secs
lola: 225001933 markings, 566523981 edges, 159502 markings/sec, 1580 secs
lola: 225796238 markings, 568046800 edges, 158861 markings/sec, 1585 secs
lola: 226589774 markings, 569591815 edges, 158707 markings/sec, 1590 secs
lola: 227394305 markings, 571117587 edges, 160906 markings/sec, 1595 secs
lola: 228198852 markings, 572653687 edges, 160909 markings/sec, 1600 secs
lola: 229008990 markings, 574194591 edges, 162028 markings/sec, 1605 secs
lola: 229820400 markings, 575713064 edges, 162282 markings/sec, 1610 secs
lola: 230629586 markings, 577242424 edges, 161837 markings/sec, 1615 secs
lola: 231448349 markings, 578776675 edges, 163753 markings/sec, 1620 secs
lola: 232263230 markings, 580313540 edges, 162976 markings/sec, 1625 secs
lola: 233079469 markings, 581867395 edges, 163248 markings/sec, 1630 secs
lola: 233889472 markings, 583423057 edges, 162001 markings/sec, 1635 secs
lola: 234697814 markings, 584970828 edges, 161668 markings/sec, 1640 secs
lola: 235502624 markings, 586533671 edges, 160962 markings/sec, 1645 secs
lola: 236298884 markings, 588108327 edges, 159252 markings/sec, 1650 secs
lola: 237103576 markings, 589692746 edges, 160938 markings/sec, 1655 secs
lola: 237891435 markings, 591280615 edges, 157572 markings/sec, 1660 secs
lola: 238668428 markings, 592881453 edges, 155399 markings/sec, 1665 secs
lola: 239428828 markings, 594491242 edges, 152080 markings/sec, 1670 secs
lola: 240164655 markings, 596111918 edges, 147165 markings/sec, 1675 secs
lola: 240915977 markings, 597717205 edges, 150264 markings/sec, 1680 secs
lola: 241670283 markings, 599317733 edges, 150861 markings/sec, 1685 secs
lola: 242438992 markings, 600920009 edges, 153742 markings/sec, 1690 secs
lola: 243218971 markings, 602534674 edges, 155996 markings/sec, 1695 secs
lola: 243974990 markings, 604105170 edges, 151204 markings/sec, 1700 secs
lola: 244721898 markings, 605726243 edges, 149382 markings/sec, 1705 secs
lola: 245457165 markings, 607306850 edges, 147053 markings/sec, 1710 secs
lola: 246187114 markings, 608890708 edges, 145990 markings/sec, 1715 secs
lola: 246968853 markings, 610399263 edges, 156348 markings/sec, 1720 secs
lola: 247735326 markings, 612088793 edges, 153295 markings/sec, 1725 secs
lola: 248507211 markings, 613914901 edges, 154377 markings/sec, 1730 secs
lola: 248642795 markings, 615795494 edges, 27117 markings/sec, 1735 secs
lola: 248678067 markings, 617548181 edges, 7054 markings/sec, 1740 secs
lola: 248717090 markings, 619309876 edges, 7805 markings/sec, 1745 secs
lola: 248762022 markings, 621145025 edges, 8986 markings/sec, 1750 secs
lola: 248810334 markings, 622934707 edges, 9662 markings/sec, 1755 secs
lola: 248844018 markings, 624760172 edges, 6737 markings/sec, 1760 secs
lola: 248868356 markings, 626604645 edges, 4868 markings/sec, 1765 secs
lola: 248888266 markings, 628475563 edges, 3982 markings/sec, 1770 secs
lola: 248904846 markings, 630351370 edges, 3316 markings/sec, 1775 secs
lola: 248918114 markings, 632223939 edges, 2654 markings/sec, 1780 secs
lola: 248930430 markings, 634086614 edges, 2463 markings/sec, 1785 secs
lola: 248940339 markings, 635926361 edges, 1982 markings/sec, 1790 secs
lola: 248948937 markings, 637738757 edges, 1720 markings/sec, 1795 secs
lola: 248955889 markings, 639537834 edges, 1390 markings/sec, 1800 secs
lola: 248962265 markings, 641318642 edges, 1275 markings/sec, 1805 secs
lola: 248967379 markings, 643094115 edges, 1023 markings/sec, 1810 secs
lola: 248972409 markings, 644853854 edges, 1006 markings/sec, 1815 secs
lola: 248976589 markings, 646601267 edges, 836 markings/sec, 1820 secs
lola: 248980989 markings, 648328687 edges, 880 markings/sec, 1825 secs
lola: 248985153 markings, 650047190 edges, 833 markings/sec, 1830 secs
lola: 248988445 markings, 651765636 edges, 658 markings/sec, 1835 secs
lola: 248992721 markings, 653465613 edges, 855 markings/sec, 1840 secs
lola: 248995819 markings, 655100236 edges, 620 markings/sec, 1845 secs
lola: 248998829 markings, 656751048 edges, 602 markings/sec, 1850 secs
lola: 249002085 markings, 658421956 edges, 651 markings/sec, 1855 secs
lola: 249004565 markings, 660096820 edges, 496 markings/sec, 1860 secs
lola: 249007732 markings, 661793741 edges, 633 markings/sec, 1865 secs
lola: 249010839 markings, 663478073 edges, 621 markings/sec, 1870 secs
lola: 249013649 markings, 665182309 edges, 562 markings/sec, 1875 secs
lola: 249016737 markings, 666872294 edges, 618 markings/sec, 1880 secs
lola: 249020149 markings, 668568088 edges, 682 markings/sec, 1885 secs
lola: 249022655 markings, 670273141 edges, 501 markings/sec, 1890 secs
lola: 249025461 markings, 671975856 edges, 561 markings/sec, 1895 secs
lola: 249028027 markings, 673659473 edges, 513 markings/sec, 1900 secs
lola: 249030589 markings, 675329932 edges, 512 markings/sec, 1905 secs
lola: 249033373 markings, 676979405 edges, 557 markings/sec, 1910 secs
lola: 249035873 markings, 678666393 edges, 500 markings/sec, 1915 secs
lola: 249038581 markings, 680359102 edges, 542 markings/sec, 1920 secs
lola: 249041071 markings, 682065880 edges, 498 markings/sec, 1925 secs
lola: 249043359 markings, 683760745 edges, 458 markings/sec, 1930 secs
lola: 249045875 markings, 685451757 edges, 503 markings/sec, 1935 secs
lola: 249048175 markings, 687157611 edges, 460 markings/sec, 1940 secs
lola: 249050333 markings, 688858596 edges, 432 markings/sec, 1945 secs
lola: 249052619 markings, 690559102 edges, 457 markings/sec, 1950 secs
lola: 249055181 markings, 692264371 edges, 512 markings/sec, 1955 secs
lola: 249057445 markings, 693969219 edges, 453 markings/sec, 1960 secs
lola: 249059507 markings, 695687722 edges, 412 markings/sec, 1965 secs
lola: 249061823 markings, 697407360 edges, 463 markings/sec, 1970 secs
lola: 249064051 markings, 699127077 edges, 446 markings/sec, 1975 secs
lola: 249066381 markings, 700839921 edges, 466 markings/sec, 1980 secs
lola: 249068521 markings, 702560883 edges, 428 markings/sec, 1985 secs
lola: 249070635 markings, 704295351 edges, 423 markings/sec, 1990 secs
lola: 249072845 markings, 706030736 edges, 442 markings/sec, 1995 secs
lola: 249074859 markings, 707767866 edges, 403 markings/sec, 2000 secs
lola: 249077125 markings, 709523527 edges, 453 markings/sec, 2005 secs
lola: 249079183 markings, 711272572 edges, 412 markings/sec, 2010 secs
lola: 249081377 markings, 713034632 edges, 439 markings/sec, 2015 secs
lola: 249083435 markings, 714797562 edges, 412 markings/sec, 2020 secs
lola: 249085195 markings, 716575807 edges, 352 markings/sec, 2025 secs
lola: 249087357 markings, 718349648 edges, 432 markings/sec, 2030 secs
lola: 249089255 markings, 720141850 edges, 380 markings/sec, 2035 secs
lola: 249091263 markings, 721939067 edges, 402 markings/sec, 2040 secs
lola: 249093061 markings, 723750817 edges, 360 markings/sec, 2045 secs
lola: 249094805 markings, 725566263 edges, 349 markings/sec, 2050 secs
lola: 249096419 markings, 727393100 edges, 323 markings/sec, 2055 secs
lola: 249098009 markings, 729232574 edges, 318 markings/sec, 2060 secs
lola: 249099433 markings, 731088761 edges, 285 markings/sec, 2065 secs
lola: 249101023 markings, 732964359 edges, 318 markings/sec, 2070 secs
lola: 249102375 markings, 734841409 edges, 270 markings/sec, 2075 secs
lola: 249103770 markings, 736749886 edges, 279 markings/sec, 2080 secs
lola: 249105046 markings, 738680323 edges, 255 markings/sec, 2085 secs
lola: 249106200 markings, 740640724 edges, 231 markings/sec, 2090 secs
lola: 249107248 markings, 742638135 edges, 210 markings/sec, 2095 secs
lola: 249108225 markings, 744668125 edges, 195 markings/sec, 2100 secs
lola: 249108975 markings, 746775639 edges, 150 markings/sec, 2105 secs
lola: 249109416 markings, 749001366 edges, 88 markings/sec, 2110 secs
lola: 249438167 markings, 751417744 edges, 65750 markings/sec, 2115 secs
lola: 250596912 markings, 753493978 edges, 231749 markings/sec, 2120 secs
lola: 251362412 markings, 755872517 edges, 153100 markings/sec, 2125 secs
lola: 252388350 markings, 757742892 edges, 205188 markings/sec, 2130 secs
lola: 253371917 markings, 759519097 edges, 196713 markings/sec, 2135 secs
lola: 254335186 markings, 761251790 edges, 192654 markings/sec, 2140 secs
lola: 255286136 markings, 762965001 edges, 190190 markings/sec, 2145 secs
lola: 256238278 markings, 764674309 edges, 190428 markings/sec, 2150 secs
lola: 257185361 markings, 766371856 edges, 189417 markings/sec, 2155 secs
lola: 258128205 markings, 768077564 edges, 188569 markings/sec, 2160 secs
lola: 259080223 markings, 769806946 edges, 190404 markings/sec, 2165 secs
lola: 260038871 markings, 771516231 edges, 191730 markings/sec, 2170 secs
lola: 260984190 markings, 773235714 edges, 189064 markings/sec, 2175 secs
lola: 261905797 markings, 775025428 edges, 184321 markings/sec, 2180 secs
lola: 262711801 markings, 776942647 edges, 161201 markings/sec, 2185 secs
lola: 262759841 markings, 779243529 edges, 9608 markings/sec, 2190 secs
lola: 262770973 markings, 781446816 edges, 2226 markings/sec, 2195 secs
lola: 262776805 markings, 783570765 edges, 1166 markings/sec, 2200 secs
lola: 262781635 markings, 785722089 edges, 966 markings/sec, 2205 secs
lola: 262785355 markings, 787941612 edges, 744 markings/sec, 2210 secs
lola: 262847982 markings, 790357921 edges, 12525 markings/sec, 2215 secs
lola: 263793992 markings, 792223480 edges, 189202 markings/sec, 2220 secs
lola: 264695210 markings, 794004229 edges, 180244 markings/sec, 2225 secs
lola: 265566434 markings, 795729531 edges, 174245 markings/sec, 2230 secs
lola: 266424222 markings, 797412230 edges, 171558 markings/sec, 2235 secs
lola: 267281811 markings, 799089988 edges, 171518 markings/sec, 2240 secs
lola: 268131419 markings, 800758711 edges, 169922 markings/sec, 2245 secs
lola: 268953394 markings, 802364168 edges, 164395 markings/sec, 2250 secs
lola: 269762558 markings, 803954493 edges, 161833 markings/sec, 2255 secs
lola: 270569169 markings, 805525888 edges, 161322 markings/sec, 2260 secs
lola: 271358447 markings, 807068993 edges, 157856 markings/sec, 2265 secs
lola: 272173781 markings, 808649032 edges, 163067 markings/sec, 2270 secs
lola: 272974377 markings, 810202288 edges, 160119 markings/sec, 2275 secs
lola: 273773077 markings, 811751753 edges, 159740 markings/sec, 2280 secs
lola: 274580353 markings, 813296175 edges, 161455 markings/sec, 2285 secs
lola: 275377760 markings, 814831702 edges, 159481 markings/sec, 2290 secs
lola: 276159848 markings, 816336545 edges, 156418 markings/sec, 2295 secs
lola: 276939949 markings, 817837854 edges, 156020 markings/sec, 2300 secs
lola: 277705349 markings, 819322689 edges, 153080 markings/sec, 2305 secs
lola: 278475789 markings, 820810523 edges, 154088 markings/sec, 2310 secs
lola: 279263891 markings, 822336824 edges, 157620 markings/sec, 2315 secs
lola: 280050319 markings, 823836870 edges, 157286 markings/sec, 2320 secs
lola: 280843761 markings, 825353932 edges, 158688 markings/sec, 2325 secs
lola: 281644820 markings, 826894195 edges, 160212 markings/sec, 2330 secs
lola: 282417846 markings, 828377684 edges, 154605 markings/sec, 2335 secs
lola: 283200196 markings, 829866654 edges, 156470 markings/sec, 2340 secs
lola: 283986666 markings, 831369991 edges, 157294 markings/sec, 2345 secs
lola: 284784225 markings, 832903482 edges, 159512 markings/sec, 2350 secs
lola: 285588229 markings, 834428302 edges, 160801 markings/sec, 2355 secs
lola: 286381316 markings, 835946138 edges, 158617 markings/sec, 2360 secs
lola: 287176085 markings, 837465939 edges, 158954 markings/sec, 2365 secs
lola: 287964971 markings, 838977696 edges, 157777 markings/sec, 2370 secs
lola: 288754344 markings, 840490538 edges, 157875 markings/sec, 2375 secs
lola: 289540057 markings, 841982676 edges, 157143 markings/sec, 2380 secs
lola: 290318417 markings, 843466575 edges, 155672 markings/sec, 2385 secs
lola: 291099215 markings, 844953713 edges, 156160 markings/sec, 2390 secs
lola: 291882255 markings, 846436258 edges, 156608 markings/sec, 2395 secs
lola: 292660912 markings, 847924727 edges, 155731 markings/sec, 2400 secs
lola: 293444660 markings, 849420383 edges, 156750 markings/sec, 2405 secs
lola: 294229711 markings, 850912529 edges, 157010 markings/sec, 2410 secs
lola: 295009953 markings, 852393042 edges, 156048 markings/sec, 2415 secs
lola: 295784013 markings, 853878684 edges, 154812 markings/sec, 2420 secs
lola: 296557761 markings, 855343982 edges, 154750 markings/sec, 2425 secs
lola: 297324003 markings, 856796958 edges, 153248 markings/sec, 2430 secs
lola: 298067263 markings, 858219181 edges, 148652 markings/sec, 2435 secs
lola: 298824571 markings, 859655441 edges, 151462 markings/sec, 2440 secs
lola: 299595250 markings, 861110434 edges, 154136 markings/sec, 2445 secs
lola: 300335099 markings, 862520383 edges, 147970 markings/sec, 2450 secs
lola: 301100376 markings, 863969370 edges, 153055 markings/sec, 2455 secs
lola: 301859884 markings, 865408918 edges, 151902 markings/sec, 2460 secs
lola: 302625650 markings, 866851673 edges, 153153 markings/sec, 2465 secs
lola: 303391969 markings, 868309420 edges, 153264 markings/sec, 2470 secs
lola: 304166939 markings, 869760200 edges, 154994 markings/sec, 2475 secs
lola: 304935948 markings, 871214627 edges, 153802 markings/sec, 2480 secs
lola: 305709977 markings, 872666934 edges, 154806 markings/sec, 2485 secs
lola: 306481201 markings, 874124546 edges, 154245 markings/sec, 2490 secs
lola: 307237909 markings, 875557330 edges, 151342 markings/sec, 2495 secs
lola: 308003492 markings, 877002224 edges, 153117 markings/sec, 2500 secs
lola: 308765313 markings, 878439301 edges, 152364 markings/sec, 2505 secs
lola: 309550188 markings, 879922589 edges, 156975 markings/sec, 2510 secs
lola: 310321308 markings, 881389764 edges, 154224 markings/sec, 2515 secs
lola: 311110756 markings, 882879874 edges, 157890 markings/sec, 2520 secs
lola: 311888012 markings, 884339082 edges, 155451 markings/sec, 2525 secs
lola: 312653513 markings, 885791427 edges, 153100 markings/sec, 2530 secs
lola: 313420504 markings, 887248669 edges, 153398 markings/sec, 2535 secs
lola: 314184922 markings, 888703936 edges, 152884 markings/sec, 2540 secs
lola: 314955977 markings, 890155599 edges, 154211 markings/sec, 2545 secs
lola: 315725093 markings, 891613286 edges, 153823 markings/sec, 2550 secs
lola: 316490166 markings, 893062255 edges, 153015 markings/sec, 2555 secs
lola: 317258503 markings, 894506940 edges, 153667 markings/sec, 2560 secs
lola: 318011501 markings, 895931770 edges, 150600 markings/sec, 2565 secs
lola: 318767172 markings, 897360346 edges, 151134 markings/sec, 2570 secs
lola: 319528020 markings, 898804863 edges, 152170 markings/sec, 2575 secs
lola: 320288955 markings, 900241824 edges, 152187 markings/sec, 2580 secs
lola: 321057978 markings, 901692317 edges, 153805 markings/sec, 2585 secs
lola: 321816140 markings, 903130529 edges, 151632 markings/sec, 2590 secs
lola: 322571831 markings, 904559119 edges, 151138 markings/sec, 2595 secs
lola: 323315840 markings, 905959455 edges, 148802 markings/sec, 2600 secs
lola: 324049726 markings, 907343519 edges, 146777 markings/sec, 2605 secs
lola: 324766982 markings, 908705109 edges, 143451 markings/sec, 2610 secs
lola: 325502454 markings, 910096004 edges, 147094 markings/sec, 2615 secs
lola: 326252277 markings, 911513859 edges, 149965 markings/sec, 2620 secs
lola: 327020892 markings, 912965443 edges, 153723 markings/sec, 2625 secs
lola: 327759915 markings, 914361135 edges, 147805 markings/sec, 2630 secs
lola: 328500114 markings, 915767054 edges, 148040 markings/sec, 2635 secs
lola: 329234792 markings, 917166744 edges, 146936 markings/sec, 2640 secs
lola: 329977199 markings, 918566700 edges, 148481 markings/sec, 2645 secs
lola: time limit reached - aborting
lola:
preliminary result: 12 1 1 12 1 1 1 12 1 1 12 1 unknown 1 1 12
lola:
preliminary result: 12 1 1 12 1 1 1 12 1 1 12 1 unknown 1 1 12
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 12 1 1 12 1 1 1 12 1 1 12 1 unknown 1 1 12
lola: memory consumption: 18904 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: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: 12 1 1 12 1 1 1 12 1 1 12 1 unknown 1 1 12
lola:
preliminary result: 12 1 1 12 1 1 1 12 1 1 12 1 unknown 1 1 12
lola: memory consumption: 19412 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 1553108872425

--------------------
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="SquareGrid-PT-040204"
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 SquareGrid-PT-040204, 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 r170-oct2-155297750000011"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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