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.r126-oct2-155274853100110.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 PolyORBNT-PT-S05J40, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r126-oct2-155274853100110
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.4M
-rw-r--r-- 1 mcc users 11K Feb 12 09:39 CTLCardinality.txt
-rw-r--r-- 1 mcc users 41K Feb 12 09:39 CTLCardinality.xml
-rw-r--r-- 1 mcc users 30K Feb 8 10:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 98K Feb 8 10:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 106 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 344 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 5.9K Feb 5 00:40 LTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Feb 5 00:40 LTLCardinality.xml
-rw-r--r-- 1 mcc users 20K Feb 4 22:40 LTLFireability.txt
-rw-r--r-- 1 mcc users 55K Feb 4 22:40 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K Feb 4 13:05 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 42K Feb 4 13:05 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 23K Feb 1 08:52 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 78K Feb 1 08:52 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.9K Feb 4 22:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 6.6K Feb 4 22:25 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 7 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 1.9M 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 PolyORBNT-PT-S05J40-UpperBounds-00
FORMULA_NAME PolyORBNT-PT-S05J40-UpperBounds-01
FORMULA_NAME PolyORBNT-PT-S05J40-UpperBounds-02
FORMULA_NAME PolyORBNT-PT-S05J40-UpperBounds-03
FORMULA_NAME PolyORBNT-PT-S05J40-UpperBounds-04
FORMULA_NAME PolyORBNT-PT-S05J40-UpperBounds-05
FORMULA_NAME PolyORBNT-PT-S05J40-UpperBounds-06
FORMULA_NAME PolyORBNT-PT-S05J40-UpperBounds-07
FORMULA_NAME PolyORBNT-PT-S05J40-UpperBounds-08
FORMULA_NAME PolyORBNT-PT-S05J40-UpperBounds-09
FORMULA_NAME PolyORBNT-PT-S05J40-UpperBounds-10
FORMULA_NAME PolyORBNT-PT-S05J40-UpperBounds-11
FORMULA_NAME PolyORBNT-PT-S05J40-UpperBounds-12
FORMULA_NAME PolyORBNT-PT-S05J40-UpperBounds-13
FORMULA_NAME PolyORBNT-PT-S05J40-UpperBounds-14
FORMULA_NAME PolyORBNT-PT-S05J40-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1553881968855

info: Time: 3600 - MCC
vrfy: Checking UpperBounds @ PolyORBNT-PT-S05J40 @ 3570 seconds

FORMULA PolyORBNT-PT-S05J40-UpperBounds-01 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA PolyORBNT-PT-S05J40-UpperBounds-04 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA PolyORBNT-PT-S05J40-UpperBounds-06 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA PolyORBNT-PT-S05J40-UpperBounds-08 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA PolyORBNT-PT-S05J40-UpperBounds-09 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA PolyORBNT-PT-S05J40-UpperBounds-10 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA PolyORBNT-PT-S05J40-UpperBounds-11 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA PolyORBNT-PT-S05J40-UpperBounds-12 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA PolyORBNT-PT-S05J40-UpperBounds-13 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA PolyORBNT-PT-S05J40-UpperBounds-14 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA PolyORBNT-PT-S05J40-UpperBounds-15 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA PolyORBNT-PT-S05J40-UpperBounds-07 5 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA PolyORBNT-PT-S05J40-UpperBounds-02 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA PolyORBNT-PT-S05J40-UpperBounds-05 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: -24
rslt: Output for UpperBounds @ PolyORBNT-PT-S05J40

{
"build":
{
"architecture": 64,
"assertions": false,
"build_hostname": "mcc2019",
"build_system": "x86_64-unknown-linux-gnu",
"optimizations": true,
"package_version": "2.0",
"svn_version": "3189M"
},
"call":
{
"exec_host": "mcc2019",
"markinglimit": null,
"parameters":
[
"--pnmlnet",
"model.pnml",
"--xmlformula",
"--formula=UpperBounds.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--check=modelchecking",
"--stubborn=tarjan",
"--timelimit=3570",
"--localtimelimit=0",
"--json=UpperBounds.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Fri Mar 29 17:52:48 2019
",
"timelimit": 3570
},
"child":
[

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 221
},
"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(mo1)",
"processed_size": 8,
"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": 235
},
"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(place_500_1)",
"processed_size": 16,
"rewrites": 0
},
"result":
{
"edges": 8,
"markings": 9,
"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": 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(Try_Check_Sources_B_1)",
"processed_size": 26,
"rewrites": 0
},
"result":
{
"edges": 4,
"markings": 5,
"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": 278
},
"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(AvailableJobId_40)",
"processed_size": 22,
"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": 305
},
"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(CreatedJobs_31_1)",
"processed_size": 21,
"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": 339
},
"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(f2_7)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 14225,
"markings": 6450,
"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": 382
},
"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(Schedule_Task_E_1_PerformWork_24)",
"processed_size": 37,
"rewrites": 0
},
"result":
{
"edges": 7642,
"markings": 3904,
"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": 436
},
"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(CreatedJobs_1_2)",
"processed_size": 20,
"rewrites": 0
},
"result":
{
"edges": 14220,
"markings": 6445,
"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": 508
},
"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(CreatedJobs_36_1)",
"processed_size": 21,
"rewrites": 0
},
"result":
{
"edges": 10,
"markings": 11,
"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": 610
},
"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(f2_34)",
"processed_size": 10,
"rewrites": 0
},
"result":
{
"edges": 14225,
"markings": 6450,
"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": 762
},
"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(CreatedJobs_15_1)",
"processed_size": 21,
"rewrites": 0
},
"result":
{
"edges": 10,
"markings": 11,
"produced_by": "search",
"value": 1
},
"task":
{
"compoundnumber": 12,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1017
},
"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": 5,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 5,
"visible_transitions": 0
},
"processed": "MAX(DataOnSrc_1 + DataOnSrc_2 + DataOnSrc_3 + DataOnSrc_4 + DataOnSrc_5)",
"processed_size": 72,
"rewrites": 0
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "search",
"value": 5
},
"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": 1525
},
"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": 41,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 41,
"visible_transitions": 0
},
"processed": "MAX(FetchJobE_1_0 + FetchJobE_1_1 + FetchJobE_1_2 + FetchJobE_1_3 + FetchJobE_1_4 + FetchJobE_1_5 + FetchJobE_1_6 + FetchJobE_1_7 + FetchJobE_1_8 + FetchJobE_1_9 + FetchJobE_1_10 + FetchJobE_1_11 + FetchJobE_1_12 + FetchJobE_1_13 + FetchJobE_1_14 + FetchJobE_1_15 + FetchJobE_1_16 + FetchJobE_1_17 + FetchJobE_1_18 + FetchJobE_1_19 + FetchJobE_1_20 + FetchJobE_1_21 + FetchJobE_1_22 + FetchJobE_1_23 + FetchJobE_1_24 + FetchJobE_1_25 + FetchJobE_1_26 + FetchJobE_1_27 + FetchJobE_1_28 + FetchJobE_1_29 + FetchJobE_1_30 + FetchJobE_1_31 + FetchJobE_1_32 + FetchJobE_1_33 + FetchJobE_1_34 + FetchJobE_1_35 + FetchJobE_1_36 + FetchJobE_1_37 + FetchJobE_1_38 + FetchJobE_1_39 + FetchJobE_1_40)",
"processed_size": 689,
"rewrites": 0
},
"result":
{
"edges": 22,
"markings": 23,
"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": 3050
},
"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": 41,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 41,
"visible_transitions": 0
},
"processed": "MAX(f3_0 + f3_1 + f3_2 + f3_3 + f3_4 + f3_5 + f3_6 + f3_7 + f3_8 + f3_9 + f3_10 + f3_11 + f3_12 + f3_13 + f3_14 + f3_15 + f3_16 + f3_17 + f3_18 + f3_19 + f3_20 + f3_21 + f3_22 + f3_23 + f3_24 + f3_25 + f3_26 + f3_27 + f3_28 + f3_29 + f3_30 + f3_31 + f3_32 + f3_33 + f3_34 + f3_35 + f3_36 + f3_37 + f3_38 + f3_39 + f3_40)",
"processed_size": 320,
"rewrites": 0
},
"result":
{
"edges": 590263,
"markings": 298411,
"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": 29236,
"runtime": 3575.000000,
"signal": "User defined signal 2",
"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": 10704,
"conflict_clusters": 144,
"places": 629,
"places_significant": 527,
"singleton_clusters": 0,
"transitions": 1590
},
"result":
{
"interim_value": "unknown 1 1 unknown 1 1 1 5 1 1 1 1 1 1 1 1 ",
"preliminary_value": "unknown 1 1 unknown 1 1 1 5 1 1 1 1 1 1 1 1 "
},
"task":
{
"type": "compound"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 2219/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 20128
lola: finding significant places
lola: 629 places, 1590 transitions, 527 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(NotifyEventEndOfCheckSourcesE_1) : MAX(mo1) : MAX(FetchJobE_1_0 + FetchJobE_1_1 + FetchJobE_1_2 + FetchJobE_1_3 + FetchJobE_1_4 + FetchJobE_1_5 + FetchJobE_1_6 + FetchJobE_1_7 + FetchJobE_1_8 + FetchJobE_1_9 + FetchJobE_1_10 + FetchJobE_1_11 + FetchJobE_1_12 + FetchJobE_1_13 + FetchJobE_1_14 + FetchJobE_1_15 + FetchJobE_1_16 + FetchJobE_1_17 + FetchJobE_1_18 + FetchJobE_1_19 + FetchJobE_1_20 + FetchJobE_1_21 + FetchJobE_1_22 + FetchJobE_1_23 + FetchJobE_1_24 + FetchJobE_1_25 + FetchJobE_1_26 + FetchJobE_1_27 + FetchJobE_1_28 + FetchJobE_1_29 + FetchJobE_1_30 + FetchJobE_1_31 + FetchJobE_1_32 + FetchJobE_1_33 + FetchJobE_1_34 + FetchJobE_1_35 + FetchJobE_1_36 + FetchJobE_1_37 + FetchJobE_1_38 + FetchJobE_1_39 + FetchJobE_1_40) : MAX(mo2) : MAX(place_500_1) : MAX(f3_0 + f3_1 + f3_2 + f3_3 + f3_4 + f3_5 + f3_6 + f3_7 + f3_8 + f3_9 + f3_10 + f3_11 + f3_12 + f3_13 + f3_14 + f3_15 + f3_16 + f3_17 + f3_18 + f3_19 + f3_20 + f3_21 + f3_22 + f3_23 + f3_24 + f3_25 + f3_26 + f3_27 + f3_28 + f3_29 + f3_30 + f3_31 + f3_32 + f3_33 + f3_34 + f3_35 + f3_36 + f3_37 + f3_38 + f3_39 + f3_40) : MAX(Try_Check_Sources_B_1) : MAX(DataOnSrc_1 + DataOnSrc_2 + DataOnSrc_3 + DataOnSrc_4 + DataOnSrc_5) : MAX(AvailableJobId_40) : MAX(CreatedJobs_31_1) : MAX(f2_7) : MAX(Schedule_Task_E_1_PerformWork_24) : MAX(CreatedJobs_1_2) : MAX(CreatedJobs_36_1) : MAX(f2_34) : MAX(CreatedJobs_15_1)
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(NotifyEventEndOfCheckSourcesE_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(NotifyEventEndOfCheckSourcesE_1)
lola: processed formula length: 36
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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: Structural Bound: 4294967295
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: 76704 markings, 149411 edges, 15341 markings/sec, 30 secs
lola: 153477 markings, 293827 edges, 15355 markings/sec, 35 secs
lola: 230346 markings, 439222 edges, 15374 markings/sec, 40 secs
lola: 309860 markings, 593270 edges, 15903 markings/sec, 45 secs
lola: 392790 markings, 744857 edges, 16586 markings/sec, 50 secs
lola: 475789 markings, 896929 edges, 16600 markings/sec, 55 secs
lola: 558362 markings, 1048991 edges, 16515 markings/sec, 60 secs
lola: 643256 markings, 1198520 edges, 16979 markings/sec, 65 secs
lola: 733495 markings, 1342168 edges, 18048 markings/sec, 70 secs
lola: 823525 markings, 1486284 edges, 18006 markings/sec, 75 secs
lola: 917512 markings, 1642285 edges, 18797 markings/sec, 80 secs
lola: 1002236 markings, 1800851 edges, 16945 markings/sec, 85 secs
lola: 1083044 markings, 1948641 edges, 16162 markings/sec, 90 secs
lola: 1163784 markings, 2096727 edges, 16148 markings/sec, 95 secs
lola: 1244271 markings, 2245721 edges, 16097 markings/sec, 100 secs
lola: 1331026 markings, 2391354 edges, 17351 markings/sec, 105 secs
lola: 1420696 markings, 2534262 edges, 17934 markings/sec, 110 secs
lola: 1510223 markings, 2677972 edges, 17905 markings/sec, 115 secs
lola: 1605835 markings, 2844287 edges, 19122 markings/sec, 120 secs
lola: 1684303 markings, 2987615 edges, 15694 markings/sec, 125 secs
lola: 1763465 markings, 3132503 edges, 15832 markings/sec, 130 secs
lola: 1842477 markings, 3277628 edges, 15802 markings/sec, 135 secs
lola: 1921975 markings, 3425412 edges, 15900 markings/sec, 140 secs
lola: 2011104 markings, 3569023 edges, 17826 markings/sec, 145 secs
lola: 2100859 markings, 3712252 edges, 17951 markings/sec, 150 secs
lola: 2190476 markings, 3856693 edges, 17923 markings/sec, 155 secs
lola: 2285649 markings, 4019784 edges, 19035 markings/sec, 160 secs
lola: 2370758 markings, 4158686 edges, 17022 markings/sec, 165 secs
lola: 2459617 markings, 4302927 edges, 17772 markings/sec, 170 secs
lola: 2549773 markings, 4446796 edges, 18031 markings/sec, 175 secs
lola: 2639588 markings, 4591512 edges, 17963 markings/sec, 180 secs
lola: 2734256 markings, 4753656 edges, 18934 markings/sec, 185 secs
lola: 2818713 markings, 4891470 edges, 16891 markings/sec, 190 secs
lola: 2906304 markings, 5033817 edges, 17518 markings/sec, 195 secs
lola: 2995825 markings, 5176647 edges, 17904 markings/sec, 200 secs
lola: 3085626 markings, 5321185 edges, 17960 markings/sec, 205 secs
lola: 3180343 markings, 5483500 edges, 18943 markings/sec, 210 secs
lola: 3264946 markings, 5621380 edges, 16921 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 289768 KB
lola: time consumption: 227 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 293804 KB
lola: time consumption: 229 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 221 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(mo1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(mo1)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 2 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(mo2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(mo2)
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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 72708 markings, 128263 edges, 14542 markings/sec, 30 secs
lola: 144760 markings, 252608 edges, 14410 markings/sec, 35 secs
lola: 216840 markings, 377786 edges, 14416 markings/sec, 40 secs
lola: 288868 markings, 506198 edges, 14406 markings/sec, 45 secs
lola: 370931 markings, 639297 edges, 16413 markings/sec, 50 secs
lola: 452813 markings, 765903 edges, 16376 markings/sec, 55 secs
lola: 534476 markings, 892140 edges, 16333 markings/sec, 60 secs
lola: 616715 markings, 1019241 edges, 16448 markings/sec, 65 secs
lola: 699869 markings, 1148997 edges, 16631 markings/sec, 70 secs
lola: 783590 markings, 1280287 edges, 16744 markings/sec, 75 secs
lola: 866738 markings, 1412679 edges, 16630 markings/sec, 80 secs
lola: 949121 markings, 1551790 edges, 16477 markings/sec, 85 secs
lola: 1021455 markings, 1684975 edges, 14467 markings/sec, 90 secs
lola: 1103583 markings, 1812238 edges, 16426 markings/sec, 95 secs
lola: 1185024 markings, 1938129 edges, 16288 markings/sec, 100 secs
lola: 1266460 markings, 2064031 edges, 16287 markings/sec, 105 secs
lola: 1346519 markings, 2188507 edges, 16012 markings/sec, 110 secs
lola: 1424767 markings, 2310921 edges, 15650 markings/sec, 115 secs
lola: 1505661 markings, 2437964 edges, 16179 markings/sec, 120 secs
lola: 1586539 markings, 2568275 edges, 16176 markings/sec, 125 secs
lola: 1660953 markings, 2702220 edges, 14883 markings/sec, 130 secs
lola: 1738862 markings, 2833563 edges, 15582 markings/sec, 135 secs
lola: 1820369 markings, 2958930 edges, 16301 markings/sec, 140 secs
lola: 1900313 markings, 3082590 edges, 15989 markings/sec, 145 secs
lola: 1981722 markings, 3209068 edges, 16282 markings/sec, 150 secs
lola: 2063047 markings, 3335461 edges, 16265 markings/sec, 155 secs
lola: 2144292 markings, 3463029 edges, 16249 markings/sec, 160 secs
lola: 2225400 markings, 3591062 edges, 16222 markings/sec, 165 secs
lola: 2305978 markings, 3723526 edges, 16116 markings/sec, 170 secs
lola: 2376573 markings, 3855877 edges, 14119 markings/sec, 175 secs
lola: 2456942 markings, 3974930 edges, 16074 markings/sec, 180 secs
lola: 2536949 markings, 4093499 edges, 16001 markings/sec, 185 secs
lola: 2616948 markings, 4213352 edges, 16000 markings/sec, 190 secs
lola: 2696783 markings, 4334299 edges, 15967 markings/sec, 195 secs
lola: 2776256 markings, 4459326 edges, 15895 markings/sec, 200 secs
lola: 2846724 markings, 4592005 edges, 14094 markings/sec, 205 secs
lola: 2927182 markings, 4711175 edges, 16092 markings/sec, 210 secs
lola: 3007420 markings, 4830078 edges, 16048 markings/sec, 215 secs
lola: 3087555 markings, 4950115 edges, 16027 markings/sec, 220 secs
lola: 3167557 markings, 5071291 edges, 16000 markings/sec, 225 secs
lola: 3247217 markings, 5195927 edges, 15932 markings/sec, 230 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 317512 KB
lola: time consumption: 488 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: unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 321584 KB
lola: time consumption: 491 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 235 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(place_500_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(place_500_1)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 9 markings, 8 edges
lola: ========================================
lola: subprocess 4 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Try_Check_Sources_B_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Try_Check_Sources_B_1)
lola: processed formula length: 26
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: 5 markings, 4 edges
lola: ========================================
lola: subprocess 5 will run for 278 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(AvailableJobId_40)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(AvailableJobId_40)
lola: processed formula length: 22
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 305 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(CreatedJobs_31_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(CreatedJobs_31_1)
lola: processed formula length: 21
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 339 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(f2_7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(f2_7)
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: 6450 markings, 14225 edges
lola: ========================================
lola: subprocess 8 will run for 382 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Schedule_Task_E_1_PerformWork_24)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Schedule_Task_E_1_PerformWork_24)
lola: processed formula length: 37
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: 3904 markings, 7642 edges
lola: ========================================
lola: subprocess 9 will run for 436 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(CreatedJobs_1_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(CreatedJobs_1_2)
lola: processed formula length: 20
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: 6445 markings, 14220 edges
lola: ========================================
lola: subprocess 10 will run for 508 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(CreatedJobs_36_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(CreatedJobs_36_1)
lola: processed formula length: 21
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 11 will run for 610 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(f2_34)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(f2_34)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 6450 markings, 14225 edges
lola: ========================================
lola: subprocess 12 will run for 762 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(CreatedJobs_15_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(CreatedJobs_15_1)
lola: processed formula length: 21
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 13 will run for 1017 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(DataOnSrc_1 + DataOnSrc_2 + DataOnSrc_3 + DataOnSrc_4 + DataOnSrc_5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(DataOnSrc_1 + DataOnSrc_2 + DataOnSrc_3 + DataOnSrc_4 + DataOnSrc_5)
lola: processed formula length: 72
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: 5
lola: SUBRESULT
lola: result: 5
lola: produced by: state space
lola: The maximum value of the given expression is 5
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 14 will run for 1525 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(FetchJobE_1_0 + FetchJobE_1_1 + FetchJobE_1_2 + FetchJobE_1_3 + FetchJobE_1_4 + FetchJobE_1_5 + FetchJobE_1_6 + FetchJobE_1_7 + FetchJobE_1_8 + FetchJobE_1_9 + FetchJobE_1_10 + FetchJobE_1_11 + FetchJobE_1_12 + FetchJobE_1_13 + FetchJobE_1_14 + FetchJobE_1_15 + FetchJobE_1_16 + FetchJobE_1_17 + FetchJobE_1_18 + FetchJobE_1_19 + FetchJobE_1_20 + FetchJobE_1_21 + FetchJobE_1_22 + FetchJobE_1_23 ... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(FetchJobE_1_0 + FetchJobE_1_1 + FetchJobE_1_2 + FetchJobE_1_3 + FetchJobE_1_4 + FetchJobE_1_5 + FetchJobE_1_6 + FetchJobE_1_7 + FetchJobE_1_8 + FetchJobE_1_9 + FetchJobE_1_10 + FetchJobE_1_11 + FetchJobE_1_12 + FetchJobE_1_13 + FetchJobE_1_14 + FetchJobE_1_15 + FetchJobE_1_16 + FetchJobE_1_17 + FetchJobE_1_18 + FetchJobE_1_19 + FetchJobE_1_20 + FetchJobE_1_21 + FetchJobE_1_22 + FetchJobE_1_23 ... (shortened)
lola: processed formula length: 689
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 23 markings, 22 edges
lola: ========================================
lola: subprocess 15 will run for 3050 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(f3_0 + f3_1 + f3_2 + f3_3 + f3_4 + f3_5 + f3_6 + f3_7 + f3_8 + f3_9 + f3_10 + f3_11 + f3_12 + f3_13 + f3_14 + f3_15 + f3_16 + f3_17 + f3_18 + f3_19 + f3_20 + f3_21 + f3_22 + f3_23 + f3_24 + f3_25 + f3_26 + f3_27 + f3_28 + f3_29 + f3_30 + f3_31 + f3_32 + f3_33 + f3_34 + f3_35 + f3_36 + f3_37 + f3_38 + f3_39 + f3_40)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(f3_0 + f3_1 + f3_2 + f3_3 + f3_4 + f3_5 + f3_6 + f3_7 + f3_8 + f3_9 + f3_10 + f3_11 + f3_12 + f3_13 + f3_14 + f3_15 + f3_16 + f3_17 + f3_18 + f3_19 + f3_20 + f3_21 + f3_22 + f3_23 + f3_24 + f3_25 + f3_26 + f3_27 + f3_28 + f3_29 + f3_30 + f3_31 + f3_32 + f3_33 + f3_34 + f3_35 + f3_36 + f3_37 + f3_38 + f3_39 + f3_40)
lola: processed formula length: 320
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: 57751 markings, 116472 edges, 11550 markings/sec, 0 secs
lola: 116730 markings, 230878 edges, 11796 markings/sec, 5 secs
lola: 175702 markings, 345633 edges, 11794 markings/sec, 10 secs
lola: 234597 markings, 460882 edges, 11779 markings/sec, 15 secs
lola: 293350 markings, 578274 edges, 11751 markings/sec, 20 secs
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 298411 markings, 590263 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: MAX(NotifyEventEndOfCheckSourcesE_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(NotifyEventEndOfCheckSourcesE_1)
lola: processed formula length: 36
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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 77011 markings, 149987 edges, 15402 markings/sec, 30 secs
lola: 154087 markings, 294963 edges, 15415 markings/sec, 35 secs
lola: 230905 markings, 440279 edges, 15364 markings/sec, 40 secs
lola: 310370 markings, 594219 edges, 15893 markings/sec, 45 secs
lola: 393395 markings, 745977 edges, 16605 markings/sec, 50 secs
lola: 476532 markings, 898272 edges, 16627 markings/sec, 55 secs
lola: 559467 markings, 1051046 edges, 16587 markings/sec, 60 secs
lola: 644730 markings, 1200849 edges, 17053 markings/sec, 65 secs
lola: 734995 markings, 1344618 edges, 18053 markings/sec, 70 secs
lola: 825173 markings, 1488955 edges, 18036 markings/sec, 75 secs
lola: 919836 markings, 1646349 edges, 18933 markings/sec, 80 secs
lola: 1004144 markings, 1804328 edges, 16862 markings/sec, 85 secs
lola: 1085004 markings, 1952200 edges, 16172 markings/sec, 90 secs
lola: 1165791 markings, 2100387 edges, 16157 markings/sec, 95 secs
lola: 1246368 markings, 2249708 edges, 16115 markings/sec, 100 secs
lola: 1333918 markings, 2395898 edges, 17510 markings/sec, 105 secs
lola: 1423787 markings, 2539238 edges, 17974 markings/sec, 110 secs
lola: 1513698 markings, 2683589 edges, 17982 markings/sec, 115 secs
lola: 1609085 markings, 2850248 edges, 19077 markings/sec, 120 secs
lola: 1687666 markings, 2993835 edges, 15716 markings/sec, 125 secs
lola: 1766732 markings, 3138566 edges, 15813 markings/sec, 130 secs
lola: 1845823 markings, 3283800 edges, 15818 markings/sec, 135 secs
lola: 1925535 markings, 3431712 edges, 15942 markings/sec, 140 secs
lola: 2014957 markings, 3575131 edges, 17884 markings/sec, 145 secs
lola: 2104793 markings, 3718564 edges, 17967 markings/sec, 150 secs
lola: 2194480 markings, 3863251 edges, 17937 markings/sec, 155 secs
lola: 2289660 markings, 4026246 edges, 19036 markings/sec, 160 secs
lola: 2374779 markings, 4165469 edges, 17024 markings/sec, 165 secs
lola: 2464013 markings, 4309945 edges, 17847 markings/sec, 170 secs
lola: 2554316 markings, 4454061 edges, 18061 markings/sec, 175 secs
lola: 2644359 markings, 4599303 edges, 18009 markings/sec, 180 secs
lola: 2739104 markings, 4761496 edges, 18949 markings/sec, 185 secs
lola: 2823919 markings, 4900203 edges, 16963 markings/sec, 190 secs
lola: 2912869 markings, 5044272 edges, 17790 markings/sec, 195 secs
lola: 3002983 markings, 5188058 edges, 18023 markings/sec, 200 secs
lola: 3092700 markings, 5332743 edges, 17943 markings/sec, 205 secs
lola: 3187176 markings, 5494560 edges, 18895 markings/sec, 210 secs
lola: 3271882 markings, 5633006 edges, 16941 markings/sec, 215 secs
lola: 3360667 markings, 5776912 edges, 17757 markings/sec, 220 secs
lola: 3450553 markings, 5920355 edges, 17977 markings/sec, 225 secs
lola: 3540252 markings, 6064958 edges, 17940 markings/sec, 230 secs
lola: 3635100 markings, 6227402 edges, 18970 markings/sec, 235 secs
lola: 3720158 markings, 6366881 edges, 17012 markings/sec, 240 secs
lola: 3809638 markings, 6511338 edges, 17896 markings/sec, 245 secs
lola: 3899646 markings, 6655184 edges, 18002 markings/sec, 250 secs
lola: 3989534 markings, 6801324 edges, 17978 markings/sec, 255 secs
lola: 4082812 markings, 6960245 edges, 18656 markings/sec, 260 secs
lola: 4168156 markings, 7101607 edges, 17069 markings/sec, 265 secs
lola: 4258095 markings, 7244849 edges, 17988 markings/sec, 270 secs
lola: 4347996 markings, 7388744 edges, 17980 markings/sec, 275 secs
lola: 4442521 markings, 7546428 edges, 18905 markings/sec, 280 secs
lola: 4529476 markings, 7691542 edges, 17391 markings/sec, 285 secs
lola: 4615820 markings, 7833783 edges, 17269 markings/sec, 290 secs
lola: 4705693 markings, 7977025 edges, 17975 markings/sec, 295 secs
lola: 4795498 markings, 8121090 edges, 17961 markings/sec, 300 secs
lola: 4891111 markings, 8284933 edges, 19123 markings/sec, 305 secs
lola: 4976237 markings, 8423516 edges, 17025 markings/sec, 310 secs
lola: 5064810 markings, 8567966 edges, 17715 markings/sec, 315 secs
lola: 5155096 markings, 8712212 edges, 18057 markings/sec, 320 secs
lola: 5245103 markings, 8858280 edges, 18001 markings/sec, 325 secs
lola: 5338047 markings, 9016875 edges, 18589 markings/sec, 330 secs
lola: 5423847 markings, 9158761 edges, 17160 markings/sec, 335 secs
lola: 5513847 markings, 9302261 edges, 18000 markings/sec, 340 secs
lola: 5603853 markings, 9446626 edges, 18001 markings/sec, 345 secs
lola: 5699171 markings, 9609862 edges, 19064 markings/sec, 350 secs
lola: 5783758 markings, 9747566 edges, 16917 markings/sec, 355 secs
lola: 5871947 markings, 9891392 edges, 17638 markings/sec, 360 secs
lola: 5961755 markings, 10034927 edges, 17962 markings/sec, 365 secs
lola: 6051382 markings, 10180221 edges, 17925 markings/sec, 370 secs
lola: 6144546 markings, 10339361 edges, 18633 markings/sec, 375 secs
lola: 6230893 markings, 10481939 edges, 17269 markings/sec, 380 secs
lola: 6321079 markings, 10625837 edges, 18037 markings/sec, 385 secs
lola: 6411189 markings, 10770876 edges, 18022 markings/sec, 390 secs
lola: 6504870 markings, 10931284 edges, 18736 markings/sec, 395 secs
lola: 6589416 markings, 11071748 edges, 16909 markings/sec, 400 secs
lola: 6679460 markings, 11215242 edges, 18009 markings/sec, 405 secs
lola: 6769337 markings, 11359347 edges, 17975 markings/sec, 410 secs
lola: 6864297 markings, 11521874 edges, 18992 markings/sec, 415 secs
lola: 6948712 markings, 11659479 edges, 16883 markings/sec, 420 secs
lola: 7037094 markings, 11803414 edges, 17676 markings/sec, 425 secs
lola: 7126680 markings, 11946767 edges, 17917 markings/sec, 430 secs
lola: 7218324 markings, 12098214 edges, 18329 markings/sec, 435 secs
lola: 7308124 markings, 12249520 edges, 17960 markings/sec, 440 secs
lola: 7395828 markings, 12393421 edges, 17541 markings/sec, 445 secs
lola: 7486053 markings, 12537684 edges, 18045 markings/sec, 450 secs
lola: 7577425 markings, 12688320 edges, 18274 markings/sec, 455 secs
lola: 7667347 markings, 12840012 edges, 17984 markings/sec, 460 secs
lola: 7754776 markings, 12983495 edges, 17486 markings/sec, 465 secs
lola: 7844631 markings, 13127207 edges, 17971 markings/sec, 470 secs
lola: 7934906 markings, 13275709 edges, 18055 markings/sec, 475 secs
lola: 8025502 markings, 13428781 edges, 18119 markings/sec, 480 secs
lola: 8112452 markings, 13571668 edges, 17390 markings/sec, 485 secs
lola: 8202363 markings, 13715374 edges, 17982 markings/sec, 490 secs
lola: 8291878 markings, 13861591 edges, 17903 markings/sec, 495 secs
lola: 8383747 markings, 14017826 edges, 18374 markings/sec, 500 secs
lola: 8471214 markings, 14161408 edges, 17493 markings/sec, 505 secs
lola: 8561182 markings, 14305404 edges, 17994 markings/sec, 510 secs
lola: 8655709 markings, 14463938 edges, 18905 markings/sec, 515 secs
lola: 8740981 markings, 14605885 edges, 17054 markings/sec, 520 secs
lola: 8829246 markings, 14749857 edges, 17653 markings/sec, 525 secs
lola: 8919047 markings, 14893859 edges, 17960 markings/sec, 530 secs
lola: 9013045 markings, 15054659 edges, 18800 markings/sec, 535 secs
lola: 9097423 markings, 15193392 edges, 16876 markings/sec, 540 secs
lola: 9186744 markings, 15337456 edges, 17864 markings/sec, 545 secs
lola: 9276256 markings, 15481409 edges, 17902 markings/sec, 550 secs
lola: 9369455 markings, 15640946 edges, 18640 markings/sec, 555 secs
lola: 9455318 markings, 15783095 edges, 17173 markings/sec, 560 secs
lola: 9545533 markings, 15927268 edges, 18043 markings/sec, 565 secs
lola: 9635390 markings, 16073860 edges, 17971 markings/sec, 570 secs
lola: 9726270 markings, 16228607 edges, 18176 markings/sec, 575 secs
lola: 9814129 markings, 16372514 edges, 17572 markings/sec, 580 secs
lola: 9904008 markings, 16516731 edges, 17976 markings/sec, 585 secs
lola: 9997547 markings, 16676637 edges, 18708 markings/sec, 590 secs
lola: 10082062 markings, 16816989 edges, 16903 markings/sec, 595 secs
lola: 10171991 markings, 16960594 edges, 17986 markings/sec, 600 secs
lola: 10261600 markings, 17105493 edges, 17922 markings/sec, 605 secs
lola: 10353311 markings, 17262466 edges, 18342 markings/sec, 610 secs
lola: 10440656 markings, 17405981 edges, 17469 markings/sec, 615 secs
lola: 10530599 markings, 17550346 edges, 17989 markings/sec, 620 secs
lola: 10623573 markings, 17709279 edges, 18595 markings/sec, 625 secs
lola: 10708780 markings, 17850471 edges, 17041 markings/sec, 630 secs
lola: 10798413 markings, 17993860 edges, 17927 markings/sec, 635 secs
lola: 10889618 markings, 18144643 edges, 18241 markings/sec, 640 secs
lola: 10977482 markings, 18293021 edges, 17573 markings/sec, 645 secs
lola: 11065949 markings, 18437168 edges, 17693 markings/sec, 650 secs
lola: 11155563 markings, 18581562 edges, 17923 markings/sec, 655 secs
lola: 11247310 markings, 18738691 edges, 18349 markings/sec, 660 secs
lola: 11334662 markings, 18882439 edges, 17470 markings/sec, 665 secs
lola: 11424820 markings, 19027316 edges, 18032 markings/sec, 670 secs
lola: 11517152 markings, 19185195 edges, 18466 markings/sec, 675 secs
lola: 11603278 markings, 19327383 edges, 17225 markings/sec, 680 secs
lola: 11693244 markings, 19471687 edges, 17993 markings/sec, 685 secs
lola: 11786093 markings, 19630316 edges, 18570 markings/sec, 690 secs
lola: 11871456 markings, 19771723 edges, 17073 markings/sec, 695 secs
lola: 11961257 markings, 19915497 edges, 17960 markings/sec, 700 secs
lola: 12054903 markings, 20075277 edges, 18729 markings/sec, 705 secs
lola: 12140089 markings, 20216611 edges, 17037 markings/sec, 710 secs
lola: 12230215 markings, 20360982 edges, 18025 markings/sec, 715 secs
lola: 12323594 markings, 20520236 edges, 18676 markings/sec, 720 secs
lola: 12408638 markings, 20661253 edges, 17009 markings/sec, 725 secs
lola: 12498581 markings, 20805390 edges, 17989 markings/sec, 730 secs
lola: 12591348 markings, 20963709 edges, 18553 markings/sec, 735 secs
lola: 12676533 markings, 21104848 edges, 17037 markings/sec, 740 secs
lola: 12766401 markings, 21248930 edges, 17974 markings/sec, 745 secs
lola: 12858987 markings, 21407004 edges, 18517 markings/sec, 750 secs
lola: 12945109 markings, 21549430 edges, 17224 markings/sec, 755 secs
lola: 13034998 markings, 21693969 edges, 17978 markings/sec, 760 secs
lola: 13126094 markings, 21849809 edges, 18219 markings/sec, 765 secs
lola: 13213303 markings, 21993240 edges, 17442 markings/sec, 770 secs
lola: 13302832 markings, 22138031 edges, 17906 markings/sec, 775 secs
lola: 13392475 markings, 22291780 edges, 17929 markings/sec, 780 secs
lola: 13480704 markings, 22435904 edges, 17646 markings/sec, 785 secs
lola: 13571286 markings, 22585657 edges, 18116 markings/sec, 790 secs
lola: 13659300 markings, 22736278 edges, 17603 markings/sec, 795 secs
lola: 13749494 markings, 22881069 edges, 18039 markings/sec, 800 secs
lola: 13840953 markings, 23037341 edges, 18292 markings/sec, 805 secs
lola: 13928089 markings, 23180815 edges, 17427 markings/sec, 810 secs
lola: 14017802 markings, 23326477 edges, 17943 markings/sec, 815 secs
lola: 14106824 markings, 23479747 edges, 17804 markings/sec, 820 secs
lola: 14196293 markings, 23624738 edges, 17894 markings/sec, 825 secs
lola: 14288286 markings, 23781696 edges, 18399 markings/sec, 830 secs
lola: 14375115 markings, 23924987 edges, 17366 markings/sec, 835 secs
lola: 14465047 markings, 24071321 edges, 17986 markings/sec, 840 secs
lola: 14553892 markings, 24225201 edges, 17769 markings/sec, 845 secs
lola: 14643737 markings, 24369676 edges, 17969 markings/sec, 850 secs
lola: 14734165 markings, 24524360 edges, 18086 markings/sec, 855 secs
lola: 14821888 markings, 24668417 edges, 17545 markings/sec, 860 secs
lola: 14914404 markings, 24825767 edges, 18503 markings/sec, 865 secs
lola: 15000604 markings, 24968363 edges, 17240 markings/sec, 870 secs
lola: 15090294 markings, 25114353 edges, 17938 markings/sec, 875 secs
lola: 15178892 markings, 25267535 edges, 17720 markings/sec, 880 secs
lola: 15268587 markings, 25412226 edges, 17939 markings/sec, 885 secs
lola: 15357601 markings, 25565350 edges, 17803 markings/sec, 890 secs
lola: 15446427 markings, 25710141 edges, 17765 markings/sec, 895 secs
lola: 15536733 markings, 25864700 edges, 18061 markings/sec, 900 secs
lola: 15625299 markings, 26010094 edges, 17713 markings/sec, 905 secs
lola: 15715827 markings, 26164677 edges, 18106 markings/sec, 910 secs
lola: 15803941 markings, 26309508 edges, 17623 markings/sec, 915 secs
lola: 15894411 markings, 26463873 edges, 18094 markings/sec, 920 secs
lola: 15982178 markings, 26608261 edges, 17553 markings/sec, 925 secs
lola: 16073040 markings, 26763243 edges, 18172 markings/sec, 930 secs
lola: 16161170 markings, 26908363 edges, 17626 markings/sec, 935 secs
lola: 16251227 markings, 27062312 edges, 18011 markings/sec, 940 secs
lola: 16339696 markings, 27207604 edges, 17694 markings/sec, 945 secs
lola: 16428832 markings, 27360692 edges, 17827 markings/sec, 950 secs
lola: 16517687 markings, 27506043 edges, 17771 markings/sec, 955 secs
lola: 16606616 markings, 27660432 edges, 17786 markings/sec, 960 secs
lola: 16696188 markings, 27807170 edges, 17914 markings/sec, 965 secs
lola: 16784903 markings, 27958867 edges, 17743 markings/sec, 970 secs
lola: 16875434 markings, 28112757 edges, 18106 markings/sec, 975 secs
lola: 16962396 markings, 28256282 edges, 17392 markings/sec, 980 secs
lola: 17051810 markings, 28409791 edges, 17883 markings/sec, 985 secs
lola: 17141142 markings, 28556938 edges, 17866 markings/sec, 990 secs
lola: 17230082 markings, 28709768 edges, 17788 markings/sec, 995 secs
lola: 17320055 markings, 28863088 edges, 17995 markings/sec, 1000 secs
lola: 17408299 markings, 29008638 edges, 17649 markings/sec, 1005 secs
lola: 17497369 markings, 29162538 edges, 17814 markings/sec, 1010 secs
lola: 17587377 markings, 29315804 edges, 18002 markings/sec, 1015 secs
lola: 17675737 markings, 29461992 edges, 17672 markings/sec, 1020 secs
lola: 17764395 markings, 29614510 edges, 17732 markings/sec, 1025 secs
lola: 17853451 markings, 29767796 edges, 17811 markings/sec, 1030 secs
lola: 17943811 markings, 29921664 edges, 18072 markings/sec, 1035 secs
lola: 18031149 markings, 30066556 edges, 17468 markings/sec, 1040 secs
lola: 18119655 markings, 30218999 edges, 17701 markings/sec, 1045 secs
lola: 18208625 markings, 30372675 edges, 17794 markings/sec, 1050 secs
lola: 18297866 markings, 30525161 edges, 17848 markings/sec, 1055 secs
lola: 18387475 markings, 30678580 edges, 17922 markings/sec, 1060 secs
lola: 18476553 markings, 30829340 edges, 17816 markings/sec, 1065 secs
lola: 18564692 markings, 30979290 edges, 17628 markings/sec, 1070 secs
lola: 18653484 markings, 31131651 edges, 17758 markings/sec, 1075 secs
lola: 18742059 markings, 31284046 edges, 17715 markings/sec, 1080 secs
lola: 18831227 markings, 31438023 edges, 17834 markings/sec, 1085 secs
lola: 18920362 markings, 31593243 edges, 17827 markings/sec, 1090 secs
lola: 19009670 markings, 31750045 edges, 17862 markings/sec, 1095 secs
lola: 19097649 markings, 31902370 edges, 17596 markings/sec, 1100 secs
lola: 19185751 markings, 32055499 edges, 17620 markings/sec, 1105 secs
lola: 19274647 markings, 32208565 edges, 17779 markings/sec, 1110 secs
lola: 19363676 markings, 32366768 edges, 17806 markings/sec, 1115 secs
lola: 19451687 markings, 32520133 edges, 17602 markings/sec, 1120 secs
lola: 19540243 markings, 32677494 edges, 17711 markings/sec, 1125 secs
lola: 19628275 markings, 32831321 edges, 17606 markings/sec, 1130 secs
lola: 19716384 markings, 32988738 edges, 17622 markings/sec, 1135 secs
lola: 19804473 markings, 33146896 edges, 17618 markings/sec, 1140 secs
lola: 19892514 markings, 33308555 edges, 17608 markings/sec, 1145 secs
lola: 19980450 markings, 33470223 edges, 17587 markings/sec, 1150 secs
lola: 20067291 markings, 33631744 edges, 17368 markings/sec, 1155 secs
lola: 20154460 markings, 33799341 edges, 17434 markings/sec, 1160 secs
lola: 20240936 markings, 33979201 edges, 17295 markings/sec, 1165 secs
lola: 20391549 markings, 34221186 edges, 30123 markings/sec, 1170 secs
lola: 20569973 markings, 34471947 edges, 35685 markings/sec, 1175 secs
lola: 20731756 markings, 34715231 edges, 32357 markings/sec, 1180 secs
lola: 20905136 markings, 34960610 edges, 34676 markings/sec, 1185 secs
lola: 21068528 markings, 35205652 edges, 32678 markings/sec, 1190 secs
lola: 21243287 markings, 35452977 edges, 34952 markings/sec, 1195 secs
lola: 21402308 markings, 35692692 edges, 31804 markings/sec, 1200 secs
lola: 21576559 markings, 35945240 edges, 34850 markings/sec, 1205 secs
lola: 21745753 markings, 36192563 edges, 33839 markings/sec, 1210 secs
lola: 21907524 markings, 36437429 edges, 32354 markings/sec, 1215 secs
lola: 22076248 markings, 36687875 edges, 33745 markings/sec, 1220 secs
lola: 22245603 markings, 36941664 edges, 33871 markings/sec, 1225 secs
lola: 22414338 markings, 37192878 edges, 33747 markings/sec, 1230 secs
lola: 22582147 markings, 37444852 edges, 33562 markings/sec, 1235 secs
lola: 22749267 markings, 37697240 edges, 33424 markings/sec, 1240 secs
lola: 22922047 markings, 37953991 edges, 34556 markings/sec, 1245 secs
lola: 23089110 markings, 38210258 edges, 33413 markings/sec, 1250 secs
lola: 23254517 markings, 38464599 edges, 33081 markings/sec, 1255 secs
lola: 23420745 markings, 38724095 edges, 33246 markings/sec, 1260 secs
lola: 23589795 markings, 38984009 edges, 33810 markings/sec, 1265 secs
lola: 23755885 markings, 39245189 edges, 33218 markings/sec, 1270 secs
lola: 23919779 markings, 39505997 edges, 32779 markings/sec, 1275 secs
lola: 24088422 markings, 39774371 edges, 33729 markings/sec, 1280 secs
lola: 24253146 markings, 40043022 edges, 32945 markings/sec, 1285 secs
lola: 24415957 markings, 40313377 edges, 32562 markings/sec, 1290 secs
lola: 24581191 markings, 40592849 edges, 33047 markings/sec, 1295 secs
lola: 24740421 markings, 40873260 edges, 31846 markings/sec, 1300 secs
lola: 24901102 markings, 41169335 edges, 32136 markings/sec, 1305 secs
lola: 25056515 markings, 41492699 edges, 31083 markings/sec, 1310 secs
lola: 25241437 markings, 41818251 edges, 36984 markings/sec, 1315 secs
lola: 25442637 markings, 42097533 edges, 40240 markings/sec, 1320 secs
lola: 25669131 markings, 42384614 edges, 45299 markings/sec, 1325 secs
lola: 25848856 markings, 42643268 edges, 35945 markings/sec, 1330 secs
lola: 26069438 markings, 42934569 edges, 44116 markings/sec, 1335 secs
lola: 26275579 markings, 43209496 edges, 41228 markings/sec, 1340 secs
lola: 26463253 markings, 43475852 edges, 37535 markings/sec, 1345 secs
lola: 26688731 markings, 43771021 edges, 45096 markings/sec, 1350 secs
lola: 26886637 markings, 44039785 edges, 39581 markings/sec, 1355 secs
lola: 27077142 markings, 44309077 edges, 38101 markings/sec, 1360 secs
lola: 27304078 markings, 44605386 edges, 45387 markings/sec, 1365 secs
lola: 27503617 markings, 44876618 edges, 39908 markings/sec, 1370 secs
lola: 27694284 markings, 45145656 edges, 38133 markings/sec, 1375 secs
lola: 27915788 markings, 45438344 edges, 44301 markings/sec, 1380 secs
lola: 28123217 markings, 45716130 edges, 41486 markings/sec, 1385 secs
lola: 28310283 markings, 45985496 edges, 37413 markings/sec, 1390 secs
lola: 28519908 markings, 46271400 edges, 41925 markings/sec, 1395 secs
lola: 28740591 markings, 46559153 edges, 44137 markings/sec, 1400 secs
lola: 28935059 markings, 46828293 edges, 38894 markings/sec, 1405 secs
lola: 29128873 markings, 47101031 edges, 38763 markings/sec, 1410 secs
lola: 29338906 markings, 47390815 edges, 42007 markings/sec, 1415 secs
lola: 29556721 markings, 47677546 edges, 43563 markings/sec, 1420 secs
lola: 29758443 markings, 47952803 edges, 40344 markings/sec, 1425 secs
lola: 29951866 markings, 48227240 edges, 38685 markings/sec, 1430 secs
lola: 30149878 markings, 48502354 edges, 39602 markings/sec, 1435 secs
lola: 30360371 markings, 48789830 edges, 42099 markings/sec, 1440 secs
lola: 30572352 markings, 49077008 edges, 42396 markings/sec, 1445 secs
lola: 30783482 markings, 49364794 edges, 42226 markings/sec, 1450 secs
lola: 30981927 markings, 49638121 edges, 39689 markings/sec, 1455 secs
lola: 31179086 markings, 49916167 edges, 39432 markings/sec, 1460 secs
lola: 31378060 markings, 50196051 edges, 39795 markings/sec, 1465 secs
lola: 31578339 markings, 50474324 edges, 40056 markings/sec, 1470 secs
lola: 31780845 markings, 50756142 edges, 40501 markings/sec, 1475 secs
lola: 31985672 markings, 51041834 edges, 40965 markings/sec, 1480 secs
lola: 32190248 markings, 51327200 edges, 40915 markings/sec, 1485 secs
lola: 32394710 markings, 51612583 edges, 40892 markings/sec, 1490 secs
lola: 32599232 markings, 51897713 edges, 40904 markings/sec, 1495 secs
lola: 32803145 markings, 52182217 edges, 40783 markings/sec, 1500 secs
lola: 33006837 markings, 52467045 edges, 40738 markings/sec, 1505 secs
lola: 33211552 markings, 52754809 edges, 40943 markings/sec, 1510 secs
lola: 33417657 markings, 53040685 edges, 41221 markings/sec, 1515 secs
lola: 33625604 markings, 53329773 edges, 41589 markings/sec, 1520 secs
lola: 33829251 markings, 53620212 edges, 40729 markings/sec, 1525 secs
lola: 34025603 markings, 53901979 edges, 39270 markings/sec, 1530 secs
lola: 34223175 markings, 54185407 edges, 39514 markings/sec, 1535 secs
lola: 34433070 markings, 54478162 edges, 41979 markings/sec, 1540 secs
lola: 34635518 markings, 54768796 edges, 40490 markings/sec, 1545 secs
lola: 34827916 markings, 55049329 edges, 38480 markings/sec, 1550 secs
lola: 35039480 markings, 55345355 edges, 42313 markings/sec, 1555 secs
lola: 35230662 markings, 55630573 edges, 38236 markings/sec, 1560 secs
lola: 35442237 markings, 55927612 edges, 42315 markings/sec, 1565 secs
lola: 35633702 markings, 56213338 edges, 38293 markings/sec, 1570 secs
lola: 35839012 markings, 56510080 edges, 41062 markings/sec, 1575 secs
lola: 36042855 markings, 56804549 edges, 40769 markings/sec, 1580 secs
lola: 36240235 markings, 57098181 edges, 39476 markings/sec, 1585 secs
lola: 36438774 markings, 57393947 edges, 39708 markings/sec, 1590 secs
lola: 36639978 markings, 57692330 edges, 40241 markings/sec, 1595 secs
lola: 36837820 markings, 57991890 edges, 39568 markings/sec, 1600 secs
lola: 37030556 markings, 58287813 edges, 38547 markings/sec, 1605 secs
lola: 37232596 markings, 58594223 edges, 40408 markings/sec, 1610 secs
lola: 37430427 markings, 58900993 edges, 39566 markings/sec, 1615 secs
lola: 37623402 markings, 59207413 edges, 38595 markings/sec, 1620 secs
lola: 37820511 markings, 59521450 edges, 39422 markings/sec, 1625 secs
lola: 38010784 markings, 59836746 edges, 38055 markings/sec, 1630 secs
lola: 38203508 markings, 60165618 edges, 38545 markings/sec, 1635 secs
lola: 38392527 markings, 60513957 edges, 37804 markings/sec, 1640 secs
lola: 38550900 markings, 60876744 edges, 31675 markings/sec, 1645 secs
lola: 38694065 markings, 61126941 edges, 28633 markings/sec, 1650 secs
lola: 38836792 markings, 61377287 edges, 28545 markings/sec, 1655 secs
lola: 38979309 markings, 61627706 edges, 28503 markings/sec, 1660 secs
lola: 39121277 markings, 61877365 edges, 28394 markings/sec, 1665 secs
lola: 39262988 markings, 62126692 edges, 28342 markings/sec, 1670 secs
lola: 39404585 markings, 62376368 edges, 28319 markings/sec, 1675 secs
lola: 39547548 markings, 62628308 edges, 28593 markings/sec, 1680 secs
lola: 39691370 markings, 62878955 edges, 28764 markings/sec, 1685 secs
lola: 39835385 markings, 63130172 edges, 28803 markings/sec, 1690 secs
lola: 39979595 markings, 63381209 edges, 28842 markings/sec, 1695 secs
lola: 40122581 markings, 63634315 edges, 28597 markings/sec, 1700 secs
lola: 40261876 markings, 63891118 edges, 27859 markings/sec, 1705 secs
lola: 40400867 markings, 64141085 edges, 27798 markings/sec, 1710 secs
lola: 40542747 markings, 64391348 edges, 28376 markings/sec, 1715 secs
lola: 40688729 markings, 64643236 edges, 29196 markings/sec, 1720 secs
lola: 40829096 markings, 64900104 edges, 28073 markings/sec, 1725 secs
lola: 40966408 markings, 65151642 edges, 27462 markings/sec, 1730 secs
lola: 41113257 markings, 65404383 edges, 29370 markings/sec, 1735 secs
lola: 41252526 markings, 65666276 edges, 27854 markings/sec, 1740 secs
lola: 41393220 markings, 65913288 edges, 28139 markings/sec, 1745 secs
lola: 41536500 markings, 66173817 edges, 28656 markings/sec, 1750 secs
lola: 41677633 markings, 66426464 edges, 28227 markings/sec, 1755 secs
lola: 41818750 markings, 66688453 edges, 28223 markings/sec, 1760 secs
lola: 41963639 markings, 66941112 edges, 28978 markings/sec, 1765 secs
lola: 42100927 markings, 67198344 edges, 27458 markings/sec, 1770 secs
lola: 42240402 markings, 67456462 edges, 27895 markings/sec, 1775 secs
lola: 42382768 markings, 67718889 edges, 28473 markings/sec, 1780 secs
lola: 42524347 markings, 67979133 edges, 28316 markings/sec, 1785 secs
lola: 42664628 markings, 68238781 edges, 28056 markings/sec, 1790 secs
lola: 42803222 markings, 68495820 edges, 27719 markings/sec, 1795 secs
lola: 42943927 markings, 68756233 edges, 28141 markings/sec, 1800 secs
lola: 43086013 markings, 69021023 edges, 28417 markings/sec, 1805 secs
lola: 43223597 markings, 69283688 edges, 27517 markings/sec, 1810 secs
lola: 43362188 markings, 69548766 edges, 27718 markings/sec, 1815 secs
lola: 43501545 markings, 69816133 edges, 27871 markings/sec, 1820 secs
lola: 43641187 markings, 70083925 edges, 27928 markings/sec, 1825 secs
lola: 43777521 markings, 70355047 edges, 27267 markings/sec, 1830 secs
lola: 43916318 markings, 70628636 edges, 27759 markings/sec, 1835 secs
lola: 44053479 markings, 70907417 edges, 27432 markings/sec, 1840 secs
lola: 44187913 markings, 71193429 edges, 26887 markings/sec, 1845 secs
lola: 44321249 markings, 71489211 edges, 26667 markings/sec, 1850 secs
lola: 44449495 markings, 71821367 edges, 25649 markings/sec, 1855 secs
lola: 44624049 markings, 72067082 edges, 34911 markings/sec, 1860 secs
lola: 44782927 markings, 72302540 edges, 31776 markings/sec, 1865 secs
lola: 44944238 markings, 72537002 edges, 32262 markings/sec, 1870 secs
lola: 45113521 markings, 72780613 edges, 33857 markings/sec, 1875 secs
lola: 45267395 markings, 73010243 edges, 30775 markings/sec, 1880 secs
lola: 45438645 markings, 73255533 edges, 34250 markings/sec, 1885 secs
lola: 45594123 markings, 73486582 edges, 31096 markings/sec, 1890 secs
lola: 45758383 markings, 73727330 edges, 32852 markings/sec, 1895 secs
lola: 45929844 markings, 73975504 edges, 34292 markings/sec, 1900 secs
lola: 46088190 markings, 74214514 edges, 31669 markings/sec, 1905 secs
lola: 46252859 markings, 74460136 edges, 32934 markings/sec, 1910 secs
lola: 46419953 markings, 74710726 edges, 33419 markings/sec, 1915 secs
lola: 46587359 markings, 74959990 edges, 33481 markings/sec, 1920 secs
lola: 46753580 markings, 75210206 edges, 33244 markings/sec, 1925 secs
lola: 46918773 markings, 75457882 edges, 33039 markings/sec, 1930 secs
lola: 47087816 markings, 75711782 edges, 33809 markings/sec, 1935 secs
lola: 47256895 markings, 75968709 edges, 33816 markings/sec, 1940 secs
lola: 47416116 markings, 76216283 edges, 31844 markings/sec, 1945 secs
lola: 47585602 markings, 76475579 edges, 33897 markings/sec, 1950 secs
lola: 47753184 markings, 76734238 edges, 33516 markings/sec, 1955 secs
lola: 47917766 markings, 76992364 edges, 32916 markings/sec, 1960 secs
lola: 48079753 markings, 77251169 edges, 32397 markings/sec, 1965 secs
lola: 48242662 markings, 77511895 edges, 32582 markings/sec, 1970 secs
lola: 48404904 markings, 77776911 edges, 32448 markings/sec, 1975 secs
lola: 48569497 markings, 78047238 edges, 32919 markings/sec, 1980 secs
lola: 48730025 markings, 78318961 edges, 32106 markings/sec, 1985 secs
lola: 48888753 markings, 78596905 edges, 31746 markings/sec, 1990 secs
lola: 49046806 markings, 78884929 edges, 31611 markings/sec, 1995 secs
lola: 49201136 markings, 79195667 edges, 30866 markings/sec, 2000 secs
lola: 49363603 markings, 79523445 edges, 32493 markings/sec, 2005 secs
lola: 49582465 markings, 79812125 edges, 43772 markings/sec, 2010 secs
lola: 49789171 markings, 80085663 edges, 41341 markings/sec, 2015 secs
lola: 49974610 markings, 80349891 edges, 37088 markings/sec, 2020 secs
lola: 50206208 markings, 80647531 edges, 46320 markings/sec, 2025 secs
lola: 50390518 markings, 80906534 edges, 36862 markings/sec, 2030 secs
lola: 50594242 markings, 81187721 edges, 40745 markings/sec, 2035 secs
lola: 50817946 markings, 81472116 edges, 44741 markings/sec, 2040 secs
lola: 50998017 markings, 81733132 edges, 36014 markings/sec, 2045 secs
lola: 51211239 markings, 82017401 edges, 42644 markings/sec, 2050 secs
lola: 51427460 markings, 82299767 edges, 43244 markings/sec, 2055 secs
lola: 51611143 markings, 82564927 edges, 36737 markings/sec, 2060 secs
lola: 51821092 markings, 82848806 edges, 41990 markings/sec, 2065 secs
lola: 52041948 markings, 83134067 edges, 44171 markings/sec, 2070 secs
lola: 52226215 markings, 83398043 edges, 36853 markings/sec, 2075 secs
lola: 52424698 markings, 83671788 edges, 39697 markings/sec, 2080 secs
lola: 52646227 markings, 83964229 edges, 44306 markings/sec, 2085 secs
lola: 52845589 markings, 84234745 edges, 39872 markings/sec, 2090 secs
lola: 53034767 markings, 84502837 edges, 37836 markings/sec, 2095 secs
lola: 53243789 markings, 84791346 edges, 41804 markings/sec, 2100 secs
lola: 53461599 markings, 85077975 edges, 43562 markings/sec, 2105 secs
lola: 53660607 markings, 85349545 edges, 39802 markings/sec, 2110 secs
lola: 53850666 markings, 85621565 edges, 38012 markings/sec, 2115 secs
lola: 54051151 markings, 85898470 edges, 40097 markings/sec, 2120 secs
lola: 54266603 markings, 86187233 edges, 43090 markings/sec, 2125 secs
lola: 54479393 markings, 86473747 edges, 42558 markings/sec, 2130 secs
lola: 54675948 markings, 86745134 edges, 39311 markings/sec, 2135 secs
lola: 54871711 markings, 87021528 edges, 39153 markings/sec, 2140 secs
lola: 55069148 markings, 87297259 edges, 39487 markings/sec, 2145 secs
lola: 55270628 markings, 87578028 edges, 40296 markings/sec, 2150 secs
lola: 55478373 markings, 87864756 edges, 41549 markings/sec, 2155 secs
lola: 55685371 markings, 88146657 edges, 41400 markings/sec, 2160 secs
lola: 55891607 markings, 88429589 edges, 41247 markings/sec, 2165 secs
lola: 56096364 markings, 88713970 edges, 40951 markings/sec, 2170 secs
lola: 56301313 markings, 88998722 edges, 40990 markings/sec, 2175 secs
lola: 56505783 markings, 89282690 edges, 40894 markings/sec, 2180 secs
lola: 56707364 markings, 89565304 edges, 40316 markings/sec, 2185 secs
lola: 56908262 markings, 89846927 edges, 40180 markings/sec, 2190 secs
lola: 57108959 markings, 90128221 edges, 40139 markings/sec, 2195 secs
lola: 57306271 markings, 90407585 edges, 39462 markings/sec, 2200 secs
lola: 57503825 markings, 90688283 edges, 39511 markings/sec, 2205 secs
lola: 57700245 markings, 90966857 edges, 39284 markings/sec, 2210 secs
lola: 57901236 markings, 91250828 edges, 40198 markings/sec, 2215 secs
lola: 58108778 markings, 91540760 edges, 41508 markings/sec, 2220 secs
lola: 58317496 markings, 91831691 edges, 41744 markings/sec, 2225 secs
lola: 58512129 markings, 92114533 edges, 38927 markings/sec, 2230 secs
lola: 58706025 markings, 92394338 edges, 38779 markings/sec, 2235 secs
lola: 58914805 markings, 92686095 edges, 41756 markings/sec, 2240 secs
lola: 59111650 markings, 92971635 edges, 39369 markings/sec, 2245 secs
lola: 59308981 markings, 93258343 edges, 39466 markings/sec, 2250 secs
lola: 59514055 markings, 93551231 edges, 41015 markings/sec, 2255 secs
lola: 59710904 markings, 93838387 edges, 39370 markings/sec, 2260 secs
lola: 59907830 markings, 94127815 edges, 39385 markings/sec, 2265 secs
lola: 60112677 markings, 94423105 edges, 40969 markings/sec, 2270 secs
lola: 60308609 markings, 94710847 edges, 39186 markings/sec, 2275 secs
lola: 60505041 markings, 95003847 edges, 39286 markings/sec, 2280 secs
lola: 60703436 markings, 95298839 edges, 39679 markings/sec, 2285 secs
lola: 60903023 markings, 95595274 edges, 39917 markings/sec, 2290 secs
lola: 61098650 markings, 95891712 edges, 39125 markings/sec, 2295 secs
lola: 61290982 markings, 96188938 edges, 38466 markings/sec, 2300 secs
lola: 61486728 markings, 96489511 edges, 39149 markings/sec, 2305 secs
lola: 61681354 markings, 96792995 edges, 38925 markings/sec, 2310 secs
lola: 61876557 markings, 97100781 edges, 39041 markings/sec, 2315 secs
lola: 62067914 markings, 97411578 edges, 38271 markings/sec, 2320 secs
lola: 62257143 markings, 97727975 edges, 37846 markings/sec, 2325 secs
lola: 62447161 markings, 98057560 edges, 38004 markings/sec, 2330 secs
lola: 62628541 markings, 98412855 edges, 36276 markings/sec, 2335 secs
lola: 62778579 markings, 98727178 edges, 30008 markings/sec, 2340 secs
lola: 62919160 markings, 98975226 edges, 28116 markings/sec, 2345 secs
lola: 63059615 markings, 99223242 edges, 28091 markings/sec, 2350 secs
lola: 63199836 markings, 99470822 edges, 28044 markings/sec, 2355 secs
lola: 63341265 markings, 99719137 edges, 28286 markings/sec, 2360 secs
lola: 63482568 markings, 99967443 edges, 28261 markings/sec, 2365 secs
lola: 63624654 markings, 100216889 edges, 28417 markings/sec, 2370 secs
lola: 63767658 markings, 100466961 edges, 28601 markings/sec, 2375 secs
lola: 63910315 markings, 100717039 edges, 28531 markings/sec, 2380 secs
lola: 64050890 markings, 100970033 edges, 28115 markings/sec, 2385 secs
lola: 64189955 markings, 101222620 edges, 27813 markings/sec, 2390 secs
lola: 64328368 markings, 101472976 edges, 27683 markings/sec, 2395 secs
lola: 64467007 markings, 101719031 edges, 27728 markings/sec, 2400 secs
lola: 64611292 markings, 101969261 edges, 28857 markings/sec, 2405 secs
lola: 64755790 markings, 102220468 edges, 28900 markings/sec, 2410 secs
lola: 64894405 markings, 102476923 edges, 27723 markings/sec, 2415 secs
lola: 65031087 markings, 102723811 edges, 27336 markings/sec, 2420 secs
lola: 65175798 markings, 102975056 edges, 28942 markings/sec, 2425 secs
lola: 65316930 markings, 103231457 edges, 28226 markings/sec, 2430 secs
lola: 65452829 markings, 103480779 edges, 27180 markings/sec, 2435 secs
lola: 65598663 markings, 103732370 edges, 29167 markings/sec, 2440 secs
lola: 65733925 markings, 103987971 edges, 27052 markings/sec, 2445 secs
lola: 65880433 markings, 104243971 edges, 29302 markings/sec, 2450 secs
lola: 66016747 markings, 104498578 edges, 27263 markings/sec, 2455 secs
lola: 66158696 markings, 104758330 edges, 28390 markings/sec, 2460 secs
lola: 66300428 markings, 105007930 edges, 28346 markings/sec, 2465 secs
lola: 66437381 markings, 105263627 edges, 27391 markings/sec, 2470 secs
lola: 66575789 markings, 105521559 edges, 27682 markings/sec, 2475 secs
lola: 66714912 markings, 105779575 edges, 27825 markings/sec, 2480 secs
lola: 66854335 markings, 106037290 edges, 27885 markings/sec, 2485 secs
lola: 66994352 markings, 106294192 edges, 28003 markings/sec, 2490 secs
lola: 67136100 markings, 106554459 edges, 28350 markings/sec, 2495 secs
lola: 67272480 markings, 106818143 edges, 27276 markings/sec, 2500 secs
lola: 67413158 markings, 107077716 edges, 28136 markings/sec, 2505 secs
lola: 67548983 markings, 107340438 edges, 27165 markings/sec, 2510 secs
lola: 67687707 markings, 107606445 edges, 27745 markings/sec, 2515 secs
lola: 67826403 markings, 107874619 edges, 27739 markings/sec, 2520 secs
lola: 67962659 markings, 108142518 edges, 27251 markings/sec, 2525 secs
lola: 68099403 markings, 108415690 edges, 27349 markings/sec, 2530 secs
lola: 68234141 markings, 108692644 edges, 26948 markings/sec, 2535 secs
lola: 68367916 markings, 108974419 edges, 26755 markings/sec, 2540 secs
lola: 68500141 markings, 109270646 edges, 26445 markings/sec, 2545 secs
lola: 68627101 markings, 109595486 edges, 25392 markings/sec, 2550 secs
lola: 68801681 markings, 109840687 edges, 34916 markings/sec, 2555 secs
lola: 68957100 markings, 110071786 edges, 31084 markings/sec, 2560 secs
lola: 69115383 markings, 110302001 edges, 31657 markings/sec, 2565 secs
lola: 69284224 markings, 110544113 edges, 33768 markings/sec, 2570 secs
lola: 69435204 markings, 110768844 edges, 30196 markings/sec, 2575 secs
lola: 69605227 markings, 111012424 edges, 34005 markings/sec, 2580 secs
lola: 69752703 markings, 111233620 edges, 29495 markings/sec, 2585 secs
lola: 69917544 markings, 111471570 edges, 32968 markings/sec, 2590 secs
lola: 70073889 markings, 111704034 edges, 31269 markings/sec, 2595 secs
lola: 70235839 markings, 111946748 edges, 32390 markings/sec, 2600 secs
lola: 70404927 markings, 112195051 edges, 33818 markings/sec, 2605 secs
lola: 70572973 markings, 112443357 edges, 33609 markings/sec, 2610 secs
lola: 70739847 markings, 112691707 edges, 33375 markings/sec, 2615 secs
lola: 70904749 markings, 112939821 edges, 32980 markings/sec, 2620 secs
lola: 71067933 markings, 113186747 edges, 32637 markings/sec, 2625 secs
lola: 71229251 markings, 113433262 edges, 32264 markings/sec, 2630 secs
lola: 71393250 markings, 113683025 edges, 32800 markings/sec, 2635 secs
lola: 71562469 markings, 113939368 edges, 33844 markings/sec, 2640 secs
lola: 71719937 markings, 114185429 edges, 31494 markings/sec, 2645 secs
lola: 71884527 markings, 114440625 edges, 32918 markings/sec, 2650 secs
lola: 72048970 markings, 114696361 edges, 32889 markings/sec, 2655 secs
lola: 72210706 markings, 114953763 edges, 32347 markings/sec, 2660 secs
lola: 72372226 markings, 115209025 edges, 32304 markings/sec, 2665 secs
lola: 72531497 markings, 115468328 edges, 31854 markings/sec, 2670 secs
lola: 72692662 markings, 115732694 edges, 32233 markings/sec, 2675 secs
lola: 72851652 markings, 115999659 edges, 31798 markings/sec, 2680 secs
lola: 73011236 markings, 116273762 edges, 31917 markings/sec, 2685 secs
lola: 73166901 markings, 116553714 edges, 31133 markings/sec, 2690 secs
lola: 73321625 markings, 116850250 edges, 30945 markings/sec, 2695 secs
lola: 73463503 markings, 117192497 edges, 28376 markings/sec, 2700 secs
lola: 73691582 markings, 117482448 edges, 45616 markings/sec, 2705 secs
lola: 73868268 markings, 117737795 edges, 35337 markings/sec, 2710 secs
lola: 74085961 markings, 118025078 edges, 43539 markings/sec, 2715 secs
lola: 74289016 markings, 118295089 edges, 40611 markings/sec, 2720 secs
lola: 74474420 markings, 118559115 edges, 37081 markings/sec, 2725 secs
lola: 74702672 markings, 118853667 edges, 45650 markings/sec, 2730 secs
lola: 74889435 markings, 119113823 edges, 37353 markings/sec, 2735 secs
lola: 75088963 markings, 119389921 edges, 39906 markings/sec, 2740 secs
lola: 75313846 markings, 119676705 edges, 44977 markings/sec, 2745 secs
lola: 75493655 markings, 119936284 edges, 35962 markings/sec, 2750 secs
lola: 75699447 markings, 120218721 edges, 41158 markings/sec, 2755 secs
lola: 75922448 markings, 120504660 edges, 44600 markings/sec, 2760 secs
lola: 76104535 markings, 120764355 edges, 36417 markings/sec, 2765 secs
lola: 76305748 markings, 121041474 edges, 40243 markings/sec, 2770 secs
lola: 76525746 markings, 121330058 edges, 44000 markings/sec, 2775 secs
lola: 76718495 markings, 121595275 edges, 38550 markings/sec, 2780 secs
lola: 76908219 markings, 121862322 edges, 37945 markings/sec, 2785 secs
lola: 77123827 markings, 122150089 edges, 43122 markings/sec, 2790 secs
lola: 77334579 markings, 122430309 edges, 42150 markings/sec, 2795 secs
lola: 77523047 markings, 122698190 edges, 37694 markings/sec, 2800 secs
lola: 77717696 markings, 122969746 edges, 38930 markings/sec, 2805 secs
lola: 77932521 markings, 123257560 edges, 42965 markings/sec, 2810 secs
lola: 78144598 markings, 123543220 edges, 42415 markings/sec, 2815 secs
lola: 78337303 markings, 123810046 edges, 38541 markings/sec, 2820 secs
lola: 78527005 markings, 124080791 edges, 37940 markings/sec, 2825 secs
lola: 78727328 markings, 124355774 edges, 40065 markings/sec, 2830 secs
lola: 78938539 markings, 124643030 edges, 42242 markings/sec, 2835 secs
lola: 79147907 markings, 124927071 edges, 41874 markings/sec, 2840 secs
lola: 79352761 markings, 125204873 edges, 40971 markings/sec, 2845 secs
lola: 79547698 markings, 125478816 edges, 38987 markings/sec, 2850 secs
lola: 79743219 markings, 125754076 edges, 39104 markings/sec, 2855 secs
lola: 79938799 markings, 126029925 edges, 39116 markings/sec, 2860 secs
lola: 80138436 markings, 126306146 edges, 39927 markings/sec, 2865 secs
lola: 80340695 markings, 126588213 edges, 40452 markings/sec, 2870 secs
lola: 80542979 markings, 126870531 edges, 40457 markings/sec, 2875 secs
lola: 80744975 markings, 127152733 edges, 40399 markings/sec, 2880 secs
lola: 80946477 markings, 127433996 edges, 40300 markings/sec, 2885 secs
lola: 81148138 markings, 127715606 edges, 40332 markings/sec, 2890 secs
lola: 81349746 markings, 127997487 edges, 40322 markings/sec, 2895 secs
lola: 81549998 markings, 128280458 edges, 40050 markings/sec, 2900 secs
lola: 81753513 markings, 128562952 edges, 40703 markings/sec, 2905 secs
lola: 81958196 markings, 128847405 edges, 40937 markings/sec, 2910 secs
lola: 82164307 markings, 129136783 edges, 41222 markings/sec, 2915 secs
lola: 82359258 markings, 129416724 edges, 38990 markings/sec, 2920 secs
lola: 82549522 markings, 129694048 edges, 38053 markings/sec, 2925 secs
lola: 82753413 markings, 129980941 edges, 40778 markings/sec, 2930 secs
lola: 82961238 markings, 130270581 edges, 41565 markings/sec, 2935 secs
lola: 83149922 markings, 130549858 edges, 37737 markings/sec, 2940 secs
lola: 83349819 markings, 130834382 edges, 39979 markings/sec, 2945 secs
lola: 83552773 markings, 131125020 edges, 40591 markings/sec, 2950 secs
lola: 83746141 markings, 131408212 edges, 38674 markings/sec, 2955 secs
lola: 83943467 markings, 131691962 edges, 39465 markings/sec, 2960 secs
lola: 84128893 markings, 131962855 edges, 37085 markings/sec, 2965 secs
lola: 84319008 markings, 132245368 edges, 38023 markings/sec, 2970 secs
lola: 84521434 markings, 132539148 edges, 40485 markings/sec, 2975 secs
lola: 84717344 markings, 132827108 edges, 39182 markings/sec, 2980 secs
lola: 84907947 markings, 133111455 edges, 38121 markings/sec, 2985 secs
lola: 85098262 markings, 133397471 edges, 38063 markings/sec, 2990 secs
lola: 85284225 markings, 133681126 edges, 37193 markings/sec, 2995 secs
lola: 85478232 markings, 133974572 edges, 38801 markings/sec, 3000 secs
lola: 85659056 markings, 134255818 edges, 36165 markings/sec, 3005 secs
lola: 85840772 markings, 134536420 edges, 36343 markings/sec, 3010 secs
lola: 86016838 markings, 134815165 edges, 35213 markings/sec, 3015 secs
lola: 86191038 markings, 135098758 edges, 34840 markings/sec, 3020 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown 1 1 unknown 1 1 1 5 1 1 1 1 1 1 1 1 lola:
caught signal User defined signal 1 - aborting LoLA
lola: lola:
preliminary result: unknown 1 1 unknown 1 1 1 5 1 1 1 1 1 1 1 1

preliminary result: unknown 1 1 unknown 1 1 1 5 1 1 1 1 1 1 1 1
lola: memory consumption: 6131024 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: memory consumption: 6131276 KB
lola: time consumption: 3571 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: unknown 1 1 unknown 1 1 1 5 1 1 1 1 1 1 1 1
lola:
preliminary result: unknown 1 1 unknown 1 1 1 5 1 1 1 1 1 1 1 1
lola: memory consumption: 29236 KB
lola: time consumption: 3575 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
rslt: finished

BK_STOP 1553885563032

--------------------
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="PolyORBNT-PT-S05J40"
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 PolyORBNT-PT-S05J40, 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 r126-oct2-155274853100110"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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