Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2019-input.r005-smll-155225008900056.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2019-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
...................
=====================================================================
Generated by BenchKit 2-3957
Executing tool lola
Input is ASLink-PT-03b, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r005-smll-155225008900056
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 704K
-rw-r--r-- 1 mcc users 3.1K Feb 9 05:49 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Feb 9 05:49 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Feb 5 02:00 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 5 02:00 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 100 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 338 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.4K Feb 4 22:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K Feb 4 22:50 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Feb 4 22:31 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.7K Feb 4 22:31 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Feb 1 23:27 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Feb 1 23:27 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Jan 29 09:53 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K Jan 29 09:53 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 4 22:17 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 4 22:17 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 4 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 544K 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 ASLink-PT-03b-UpperBounds-00
FORMULA_NAME ASLink-PT-03b-UpperBounds-01
FORMULA_NAME ASLink-PT-03b-UpperBounds-02
FORMULA_NAME ASLink-PT-03b-UpperBounds-03
FORMULA_NAME ASLink-PT-03b-UpperBounds-04
FORMULA_NAME ASLink-PT-03b-UpperBounds-05
FORMULA_NAME ASLink-PT-03b-UpperBounds-06
FORMULA_NAME ASLink-PT-03b-UpperBounds-07
FORMULA_NAME ASLink-PT-03b-UpperBounds-08
FORMULA_NAME ASLink-PT-03b-UpperBounds-09
FORMULA_NAME ASLink-PT-03b-UpperBounds-10
FORMULA_NAME ASLink-PT-03b-UpperBounds-11
FORMULA_NAME ASLink-PT-03b-UpperBounds-12
FORMULA_NAME ASLink-PT-03b-UpperBounds-13
FORMULA_NAME ASLink-PT-03b-UpperBounds-14
FORMULA_NAME ASLink-PT-03b-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1552516541404

info: Time: 3600 - MCC
vrfy: Checking UpperBounds @ ASLink-PT-03b @ 3570 seconds

FORMULA ASLink-PT-03b-UpperBounds-00 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ASLink-PT-03b-UpperBounds-01 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

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

FORMULA ASLink-PT-03b-UpperBounds-04 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ASLink-PT-03b-UpperBounds-05 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ASLink-PT-03b-UpperBounds-06 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ASLink-PT-03b-UpperBounds-09 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ASLink-PT-03b-UpperBounds-11 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ASLink-PT-03b-UpperBounds-12 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ASLink-PT-03b-UpperBounds-13 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ASLink-PT-03b-UpperBounds-14 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for UpperBounds @ ASLink-PT-03b

{
"build":
{
"architecture": 64,
"assertions": false,
"build_hostname": "mcc2019",
"build_system": "x86_64-unknown-linux-gnu",
"optimizations": true,
"package_version": "2.0",
"svn_version": "3189M"
},
"call":
{
"exec_host": "mcc2019",
"markinglimit": null,
"parameters":
[
"--pnmlnet",
"model.pnml",
"--xmlformula",
"--formula=UpperBounds.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--check=modelchecking",
"--stubborn=tarjan",
"--timelimit=3570",
"--localtimelimit=0",
"--json=UpperBounds.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Wed Mar 13 22:35:41 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(p1380)",
"processed_size": 10,
"rewrites": 0
},
"result":
{
"edges": 2,
"markings": 3,
"produced_by": "search",
"value": 1
},
"task":
{
"compoundnumber": 0,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 237
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "MAX(p862)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 142,
"markings": 143,
"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(p304)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 21,
"markings": 22,
"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": 275
},
"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(p383)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 18,
"markings": 19,
"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": 300
},
"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(p1392)",
"processed_size": 10,
"rewrites": 0
},
"result":
{
"edges": 73,
"markings": 74,
"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": 330
},
"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(p293)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 19,
"markings": 20,
"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": 367
},
"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(p404)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 217,
"markings": 218,
"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": 429
},
"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(p880)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 74,
"markings": 75,
"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": 536
},
"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(p948)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 134,
"markings": 135,
"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": 714
},
"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(p789)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 19,
"markings": 20,
"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": 1071
},
"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(p113)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 172,
"markings": 173,
"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"
}
}
],
"exit":
{
"error": null,
"memory": 3819144,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "UpperBounds.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*)"
},
"net":
{
"arcs": 6458,
"conflict_clusters": 1079,
"places": 1638,
"places_significant": 1478,
"singleton_clusters": 0,
"transitions": 2094
},
"result":
{
"interim_value": "1 1 unknown 1 1 1 1 unknown unknown 1 unknown 1 1 1 1 unknown ",
"preliminary_value": "1 1 unknown 1 1 1 1 unknown unknown 1 unknown 1 1 1 1 unknown "
},
"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: 3732/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 1638
lola: finding significant places
lola: 1638 places, 2094 transitions, 1478 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(p1380) : MAX(p862) : MAX(p1068) : MAX(p304) : MAX(p383) : MAX(p1392) : MAX(p293) : MAX(p246) : MAX(p1066) : MAX(p404) : MAX(p247) : MAX(p880) : MAX(p948) : MAX(p789) : MAX(p113) : MAX(p319)
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(p1380)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1380)
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: 3 markings, 2 edges
lola: ========================================
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p862)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p862)
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: 143 markings, 142 edges
lola: ========================================
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1068)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1068)
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: 98732 markings, 186944 edges, 19746 markings/sec, 0 secs
lola: 211483 markings, 394087 edges, 22550 markings/sec, 5 secs
lola: 323886 markings, 602311 edges, 22481 markings/sec, 10 secs
lola: 434030 markings, 812735 edges, 22029 markings/sec, 15 secs
lola: 540288 markings, 1020249 edges, 21252 markings/sec, 20 secs
lola: 658163 markings, 1213535 edges, 23575 markings/sec, 25 secs
lola: 767314 markings, 1409944 edges, 21830 markings/sec, 30 secs
lola: 874209 markings, 1604576 edges, 21379 markings/sec, 35 secs
lola: 983742 markings, 1798504 edges, 21907 markings/sec, 40 secs
lola: 1097137 markings, 1990536 edges, 22679 markings/sec, 45 secs
lola: 1209337 markings, 2183231 edges, 22440 markings/sec, 50 secs
lola: 1325164 markings, 2375699 edges, 23165 markings/sec, 55 secs
lola: 1438653 markings, 2567539 edges, 22698 markings/sec, 60 secs
lola: 1545031 markings, 2782170 edges, 21276 markings/sec, 65 secs
lola: 1646651 markings, 2998849 edges, 20324 markings/sec, 70 secs
lola: 1736085 markings, 3217900 edges, 17887 markings/sec, 75 secs
lola: 1832217 markings, 3433535 edges, 19226 markings/sec, 80 secs
lola: 1930146 markings, 3646633 edges, 19586 markings/sec, 85 secs
lola: 2030264 markings, 3862132 edges, 20024 markings/sec, 90 secs
lola: 2129966 markings, 4074205 edges, 19940 markings/sec, 95 secs
lola: 2235847 markings, 4288596 edges, 21176 markings/sec, 100 secs
lola: 2332074 markings, 4502268 edges, 19245 markings/sec, 105 secs
lola: 2437613 markings, 4713988 edges, 21108 markings/sec, 110 secs
lola: 2541357 markings, 4929339 edges, 20749 markings/sec, 115 secs
lola: 2635253 markings, 5147168 edges, 18779 markings/sec, 120 secs
lola: 2728386 markings, 5362745 edges, 18627 markings/sec, 125 secs
lola: 2824558 markings, 5576451 edges, 19234 markings/sec, 130 secs
lola: 2928522 markings, 5791957 edges, 20793 markings/sec, 135 secs
lola: 3024814 markings, 6003189 edges, 19258 markings/sec, 140 secs
lola: 3127764 markings, 6219381 edges, 20590 markings/sec, 145 secs
lola: 3228901 markings, 6432920 edges, 20227 markings/sec, 150 secs
lola: 3330189 markings, 6639273 edges, 20258 markings/sec, 155 secs
lola: 3436822 markings, 6848081 edges, 21327 markings/sec, 160 secs
lola: 3548265 markings, 7058754 edges, 22289 markings/sec, 165 secs
lola: 3659848 markings, 7264731 edges, 22317 markings/sec, 170 secs
lola: 3770405 markings, 7469334 edges, 22111 markings/sec, 175 secs
lola: 3878270 markings, 7676158 edges, 21573 markings/sec, 180 secs
lola: 3975957 markings, 7880386 edges, 19537 markings/sec, 185 secs
lola: 4085958 markings, 8086124 edges, 22000 markings/sec, 190 secs
lola: 4194352 markings, 8292838 edges, 21679 markings/sec, 195 secs
lola: 4291520 markings, 8500050 edges, 19434 markings/sec, 200 secs
lola: 4393086 markings, 8705361 edges, 20313 markings/sec, 205 secs
lola: 4492984 markings, 8935950 edges, 19980 markings/sec, 210 secs
lola: 4594157 markings, 9163062 edges, 20235 markings/sec, 215 secs
lola: 4693766 markings, 9392772 edges, 19922 markings/sec, 220 secs
lola: 4794529 markings, 9620797 edges, 20153 markings/sec, 225 secs
lola: 4888064 markings, 9851567 edges, 18707 markings/sec, 230 secs
lola: 4992503 markings, 10068535 edges, 20888 markings/sec, 235 secs
lola: 5095245 markings, 10285684 edges, 20548 markings/sec, 240 secs
lola: 5186062 markings, 10504818 edges, 18163 markings/sec, 245 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 524672 KB
lola: time consumption: 259 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 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p304)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p304)
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: 22 markings, 21 edges
lola: ========================================
lola: subprocess 4 will run for 275 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p383)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p383)
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: 19 markings, 18 edges
lola: ========================================
lola: subprocess 5 will run for 300 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1392)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1392)
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: 74 markings, 73 edges
lola: ========================================
lola: subprocess 6 will run for 330 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p293)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p293)
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: 20 markings, 19 edges
lola: ========================================
lola: subprocess 7 will run for 367 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p246)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p246)
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: 162409 markings, 162559 edges, 32482 markings/sec, 0 secs
lola: 366982 markings, 367245 edges, 40915 markings/sec, 5 secs
lola: 572866 markings, 573353 edges, 41177 markings/sec, 10 secs
lola: 773095 markings, 773672 edges, 40046 markings/sec, 15 secs
lola: 978174 markings, 978855 edges, 41016 markings/sec, 20 secs
lola: 1182056 markings, 1182842 edges, 40776 markings/sec, 25 secs
lola: 1386662 markings, 1387615 edges, 40921 markings/sec, 30 secs
lola: 1591941 markings, 1593053 edges, 41056 markings/sec, 35 secs
lola: 1797691 markings, 1799025 edges, 41150 markings/sec, 40 secs
lola: 1995902 markings, 1997408 edges, 39642 markings/sec, 45 secs
lola: 2197842 markings, 2199505 edges, 40388 markings/sec, 50 secs
lola: 2402039 markings, 2404781 edges, 40839 markings/sec, 55 secs
lola: 2606759 markings, 2610783 edges, 40944 markings/sec, 60 secs
lola: 2811895 markings, 2817104 edges, 41027 markings/sec, 65 secs
lola: 3016444 markings, 3022839 edges, 40910 markings/sec, 70 secs
lola: 3219883 markings, 3227459 edges, 40688 markings/sec, 75 secs
lola: 3415910 markings, 3424616 edges, 39205 markings/sec, 80 secs
lola: 3608781 markings, 3618619 edges, 38574 markings/sec, 85 secs
lola: 3810493 markings, 3821386 edges, 40342 markings/sec, 90 secs
lola: 4016205 markings, 4027329 edges, 41142 markings/sec, 95 secs
lola: 4221600 markings, 4233680 edges, 41079 markings/sec, 100 secs
lola: 4425042 markings, 4438093 edges, 40688 markings/sec, 105 secs
lola: 4631921 markings, 4645930 edges, 41376 markings/sec, 110 secs
lola: 4834621 markings, 4849594 edges, 40540 markings/sec, 115 secs
lola: 5039437 markings, 5054801 edges, 40963 markings/sec, 120 secs
lola: 5244748 markings, 5260228 edges, 41062 markings/sec, 125 secs
lola: 5448961 markings, 5464736 edges, 40843 markings/sec, 130 secs
lola: 5653136 markings, 5669891 edges, 40835 markings/sec, 135 secs
lola: 5855970 markings, 5874105 edges, 40567 markings/sec, 140 secs
lola: 6055655 markings, 6075596 edges, 39937 markings/sec, 145 secs
lola: 6257348 markings, 6278470 edges, 40339 markings/sec, 150 secs
lola: 6461121 markings, 6483402 edges, 40755 markings/sec, 155 secs
lola: 6665759 markings, 6689108 edges, 40928 markings/sec, 160 secs
lola: 6868969 markings, 6893641 edges, 40642 markings/sec, 165 secs
lola: 7070979 markings, 7097111 edges, 40402 markings/sec, 170 secs
lola: 7274903 markings, 7302636 edges, 40785 markings/sec, 175 secs
lola: 7479540 markings, 7508750 edges, 40927 markings/sec, 180 secs
lola: 7682127 markings, 7712803 edges, 40517 markings/sec, 185 secs
lola: 7883829 markings, 7915962 edges, 40340 markings/sec, 190 secs
lola: 8085576 markings, 8119207 edges, 40349 markings/sec, 195 secs
lola: 8289205 markings, 8324389 edges, 40726 markings/sec, 200 secs
lola: 8492832 markings, 8529626 edges, 40725 markings/sec, 205 secs
lola: 8697619 markings, 8735934 edges, 40957 markings/sec, 210 secs
lola: 8901737 markings, 8941619 edges, 40824 markings/sec, 215 secs
lola: 9103701 markings, 9145870 edges, 40393 markings/sec, 220 secs
lola: 9306051 markings, 9351419 edges, 40470 markings/sec, 225 secs
lola: 9509079 markings, 9557274 edges, 40606 markings/sec, 230 secs
lola: 9711788 markings, 9762810 edges, 40542 markings/sec, 235 secs
lola: 9913367 markings, 9967202 edges, 40316 markings/sec, 240 secs
lola: 10114185 markings, 10170785 edges, 40164 markings/sec, 245 secs
lola: 10314334 markings, 10373738 edges, 40030 markings/sec, 250 secs
lola: 10514651 markings, 10576791 edges, 40063 markings/sec, 255 secs
lola: 10718952 markings, 10782594 edges, 40860 markings/sec, 260 secs
lola: 10922545 markings, 10988734 edges, 40719 markings/sec, 265 secs
lola: 11124710 markings, 11193414 edges, 40433 markings/sec, 270 secs
lola: 11327945 markings, 11399163 edges, 40647 markings/sec, 275 secs
lola: 11528649 markings, 11602436 edges, 40141 markings/sec, 280 secs
lola: 11731332 markings, 11807109 edges, 40537 markings/sec, 285 secs
lola: 11935530 markings, 12012773 edges, 40840 markings/sec, 290 secs
lola: 12138478 markings, 12217223 edges, 40590 markings/sec, 295 secs
lola: 12341220 markings, 12422547 edges, 40548 markings/sec, 300 secs
lola: 12541406 markings, 12625655 edges, 40037 markings/sec, 305 secs
lola: 12732661 markings, 12820363 edges, 38251 markings/sec, 310 secs
lola: 12933485 markings, 13023953 edges, 40165 markings/sec, 315 secs
lola: 13137203 markings, 13230509 edges, 40744 markings/sec, 320 secs
lola: 13339438 markings, 13435301 edges, 40447 markings/sec, 325 secs
lola: 13542664 markings, 13640640 edges, 40645 markings/sec, 330 secs
lola: 13743697 markings, 13843122 edges, 40207 markings/sec, 335 secs
lola: 13939135 markings, 14040116 edges, 39088 markings/sec, 340 secs
lola: 14136619 markings, 14239023 edges, 39497 markings/sec, 345 secs
lola: 14340102 markings, 14443957 edges, 40697 markings/sec, 350 secs
lola: 14544395 markings, 14649724 edges, 40859 markings/sec, 355 secs
lola: 14745845 markings, 14852628 edges, 40290 markings/sec, 360 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 unknown 1 1 1 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1816332 KB
lola: time consumption: 629 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 367 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1066)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1066)
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: 100146 markings, 190047 edges, 20029 markings/sec, 0 secs
lola: 213490 markings, 397714 edges, 22669 markings/sec, 5 secs
lola: 325749 markings, 605446 edges, 22452 markings/sec, 10 secs
lola: 435410 markings, 814992 edges, 21932 markings/sec, 15 secs
lola: 541087 markings, 1021523 edges, 21135 markings/sec, 20 secs
lola: 658723 markings, 1214449 edges, 23527 markings/sec, 25 secs
lola: 767172 markings, 1409272 edges, 21690 markings/sec, 30 secs
lola: 873254 markings, 1603052 edges, 21216 markings/sec, 35 secs
lola: 982888 markings, 1795717 edges, 21927 markings/sec, 40 secs
lola: 1095424 markings, 1987736 edges, 22507 markings/sec, 45 secs
lola: 1207281 markings, 2179859 edges, 22371 markings/sec, 50 secs
lola: 1322815 markings, 2371099 edges, 23107 markings/sec, 55 secs
lola: 1436424 markings, 2562141 edges, 22722 markings/sec, 60 secs
lola: 1541430 markings, 2776328 edges, 21001 markings/sec, 65 secs
lola: 1643297 markings, 2991485 edges, 20373 markings/sec, 70 secs
lola: 1733279 markings, 3208545 edges, 17996 markings/sec, 75 secs
lola: 1828476 markings, 3423595 edges, 19039 markings/sec, 80 secs
lola: 1924928 markings, 3635948 edges, 19290 markings/sec, 85 secs
lola: 2025077 markings, 3850765 edges, 20030 markings/sec, 90 secs
lola: 2123847 markings, 4061368 edges, 19754 markings/sec, 95 secs
lola: 2229998 markings, 4275259 edges, 21230 markings/sec, 100 secs
lola: 2326246 markings, 4489334 edges, 19250 markings/sec, 105 secs
lola: 2429841 markings, 4700486 edges, 20719 markings/sec, 110 secs
lola: 2534259 markings, 4914353 edges, 20884 markings/sec, 115 secs
lola: 2628288 markings, 5131637 edges, 18806 markings/sec, 120 secs
lola: 2720580 markings, 5346351 edges, 18458 markings/sec, 125 secs
lola: 2815273 markings, 5561001 edges, 18939 markings/sec, 130 secs
lola: 2918496 markings, 5773935 edges, 20645 markings/sec, 135 secs
lola: 3014518 markings, 5986188 edges, 19204 markings/sec, 140 secs
lola: 3117998 markings, 6199016 edges, 20696 markings/sec, 145 secs
lola: 3217652 markings, 6412517 edges, 19931 markings/sec, 150 secs
lola: 3317713 markings, 6618922 edges, 20012 markings/sec, 155 secs
lola: 3424157 markings, 6827730 edges, 21289 markings/sec, 160 secs
lola: 3535949 markings, 7034928 edges, 22358 markings/sec, 165 secs
lola: 3647063 markings, 7240674 edges, 22223 markings/sec, 170 secs
lola: 3757892 markings, 7445484 edges, 22166 markings/sec, 175 secs
lola: 3866038 markings, 7651813 edges, 21629 markings/sec, 180 secs
lola: 3963937 markings, 7855505 edges, 19580 markings/sec, 185 secs
lola: 4071540 markings, 8063711 edges, 21521 markings/sec, 190 secs
lola: 4182587 markings, 8267321 edges, 22209 markings/sec, 195 secs
lola: 4283659 markings, 8473888 edges, 20214 markings/sec, 200 secs
lola: 4380878 markings, 8677171 edges, 19444 markings/sec, 205 secs
lola: 4479422 markings, 8905875 edges, 19709 markings/sec, 210 secs
lola: 4581408 markings, 9132764 edges, 20397 markings/sec, 215 secs
lola: 4680536 markings, 9362669 edges, 19826 markings/sec, 220 secs
lola: 4780454 markings, 9588798 edges, 19984 markings/sec, 225 secs
lola: 4880325 markings, 9816671 edges, 19974 markings/sec, 230 secs
lola: 4977853 markings, 10036800 edges, 19506 markings/sec, 235 secs
lola: 5081711 markings, 10252685 edges, 20772 markings/sec, 240 secs
lola: 5170921 markings, 10472075 edges, 17842 markings/sec, 245 secs
lola: 5268157 markings, 10686067 edges, 19447 markings/sec, 250 secs
lola: 5364811 markings, 10900035 edges, 19331 markings/sec, 255 secs
lola: 5463375 markings, 11115745 edges, 19713 markings/sec, 260 secs
lola: 5562777 markings, 11327817 edges, 19880 markings/sec, 265 secs
lola: 5668036 markings, 11542328 edges, 21052 markings/sec, 270 secs
lola: 5769063 markings, 11755136 edges, 20205 markings/sec, 275 secs
lola: 5863432 markings, 11976052 edges, 18874 markings/sec, 280 secs
lola: 5956333 markings, 12208605 edges, 18580 markings/sec, 285 secs
lola: 6049078 markings, 12440870 edges, 18549 markings/sec, 290 secs
lola: 6123287 markings, 12677722 edges, 14842 markings/sec, 295 secs
lola: 6211802 markings, 12907811 edges, 17703 markings/sec, 300 secs
lola: 6299254 markings, 13136218 edges, 17490 markings/sec, 305 secs
lola: 6388749 markings, 13369392 edges, 17899 markings/sec, 310 secs
lola: 6478629 markings, 13595627 edges, 17976 markings/sec, 315 secs
lola: 6570922 markings, 13828248 edges, 18459 markings/sec, 320 secs
lola: 6660272 markings, 14059816 edges, 17870 markings/sec, 325 secs
lola: 6749937 markings, 14284838 edges, 17933 markings/sec, 330 secs
lola: 6845323 markings, 14517280 edges, 19077 markings/sec, 335 secs
lola: 6938494 markings, 14749174 edges, 18634 markings/sec, 340 secs
lola: 7019916 markings, 14984549 edges, 16284 markings/sec, 345 secs
lola: 7102224 markings, 15216097 edges, 16462 markings/sec, 350 secs
lola: 7186652 markings, 15450486 edges, 16886 markings/sec, 355 secs
lola: 7278216 markings, 15679121 edges, 18313 markings/sec, 360 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 unknown 1 1 1 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 694084 KB
lola: time consumption: 996 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 367 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p404)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p404)
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: 218 markings, 217 edges
lola: ========================================
lola: subprocess 10 will run for 428 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p247)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p247)
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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: Structural Bound: 1
lola: 175688 markings, 175847 edges, 35138 markings/sec, 5 secs
lola: 381192 markings, 381457 edges, 41101 markings/sec, 10 secs
lola: 586795 markings, 587282 edges, 41121 markings/sec, 15 secs
lola: 793902 markings, 794495 edges, 41421 markings/sec, 20 secs
lola: 999833 markings, 1000532 edges, 41186 markings/sec, 25 secs
lola: 1204799 markings, 1205602 edges, 40993 markings/sec, 30 secs
lola: 1410963 markings, 1412001 edges, 41233 markings/sec, 35 secs
lola: 1616484 markings, 1617612 edges, 41104 markings/sec, 40 secs
lola: 1823207 markings, 1824558 edges, 41345 markings/sec, 45 secs
lola: 2030598 markings, 2032176 edges, 41478 markings/sec, 50 secs
lola: 2236072 markings, 2237794 edges, 41095 markings/sec, 55 secs
lola: 2441274 markings, 2444193 edges, 41040 markings/sec, 60 secs
lola: 2646588 markings, 2650879 edges, 41063 markings/sec, 65 secs
lola: 2852350 markings, 2857830 edges, 41152 markings/sec, 70 secs
lola: 3057537 markings, 3064204 edges, 41037 markings/sec, 75 secs
lola: 3261758 markings, 3269609 edges, 40844 markings/sec, 80 secs
lola: 3465327 markings, 3474361 edges, 40714 markings/sec, 85 secs
lola: 3668356 markings, 3678573 edges, 40606 markings/sec, 90 secs
lola: 3872803 markings, 3883731 edges, 40889 markings/sec, 95 secs
lola: 4078563 markings, 4089985 edges, 41152 markings/sec, 100 secs
lola: 4283522 markings, 4295884 edges, 40992 markings/sec, 105 secs
lola: 4488191 markings, 4501539 edges, 40934 markings/sec, 110 secs
lola: 4694182 markings, 4708479 edges, 41198 markings/sec, 115 secs
lola: 4897455 markings, 4912758 edges, 40655 markings/sec, 120 secs
lola: 5103078 markings, 5118482 edges, 41125 markings/sec, 125 secs
lola: 5307959 markings, 5323475 edges, 40976 markings/sec, 130 secs
lola: 5512567 markings, 5528638 edges, 40922 markings/sec, 135 secs
lola: 5717242 markings, 5734312 edges, 40935 markings/sec, 140 secs
lola: 5918764 markings, 5937519 edges, 40304 markings/sec, 145 secs
lola: 6120116 markings, 6140436 edges, 40270 markings/sec, 150 secs
lola: 6323099 markings, 6344601 edges, 40597 markings/sec, 155 secs
lola: 6527884 markings, 6550500 edges, 40957 markings/sec, 160 secs
lola: 6732078 markings, 6755790 edges, 40839 markings/sec, 165 secs
lola: 6936264 markings, 6961419 edges, 40837 markings/sec, 170 secs
lola: 7139135 markings, 7165754 edges, 40574 markings/sec, 175 secs
lola: 7344864 markings, 7373105 edges, 41146 markings/sec, 180 secs
lola: 7549549 markings, 7579287 edges, 40937 markings/sec, 185 secs
lola: 7753177 markings, 7784379 edges, 40726 markings/sec, 190 secs
lola: 7955592 markings, 7988252 edges, 40483 markings/sec, 195 secs
lola: 8160276 markings, 8194549 edges, 40937 markings/sec, 200 secs
lola: 8362898 markings, 8398645 edges, 40524 markings/sec, 205 secs
lola: 8568349 markings, 8605694 edges, 41090 markings/sec, 210 secs
lola: 8774063 markings, 8813026 edges, 41143 markings/sec, 215 secs
lola: 8977504 markings, 9018110 edges, 40688 markings/sec, 220 secs
lola: 9180374 markings, 9223772 edges, 40574 markings/sec, 225 secs
lola: 9383638 markings, 9430072 edges, 40653 markings/sec, 230 secs
lola: 9587450 markings, 9636716 edges, 40762 markings/sec, 235 secs
lola: 9790589 markings, 9842682 edges, 40628 markings/sec, 240 secs
lola: 9992796 markings, 10047712 edges, 40441 markings/sec, 245 secs
lola: 10194319 markings, 10252046 edges, 40305 markings/sec, 250 secs
lola: 10395498 markings, 10455997 edges, 40236 markings/sec, 255 secs
lola: 10598242 markings, 10660964 edges, 40549 markings/sec, 260 secs
lola: 10802506 markings, 10867198 edges, 40853 markings/sec, 265 secs
lola: 11005949 markings, 11073174 edges, 40689 markings/sec, 270 secs
lola: 11208533 markings, 11278290 edges, 40517 markings/sec, 275 secs
lola: 11411634 markings, 11483902 edges, 40620 markings/sec, 280 secs
lola: 11613070 markings, 11687878 edges, 40287 markings/sec, 285 secs
lola: 11817523 markings, 11893897 edges, 40891 markings/sec, 290 secs
lola: 12021398 markings, 12099255 edges, 40775 markings/sec, 295 secs
lola: 12224823 markings, 12304662 edges, 40685 markings/sec, 300 secs
lola: 12427681 markings, 12510080 edges, 40572 markings/sec, 305 secs
lola: 12628209 markings, 12713945 edges, 40106 markings/sec, 310 secs
lola: 12828371 markings, 12917332 edges, 40032 markings/sec, 315 secs
lola: 13030072 markings, 13121849 edges, 40340 markings/sec, 320 secs
lola: 13233114 markings, 13327623 edges, 40608 markings/sec, 325 secs
lola: 13436024 markings, 13533145 edges, 40582 markings/sec, 330 secs
lola: 13640415 markings, 13739098 edges, 40878 markings/sec, 335 secs
lola: 13843332 markings, 13943475 edges, 40583 markings/sec, 340 secs
lola: 14048580 markings, 14150337 edges, 41050 markings/sec, 345 secs
lola: 14253231 markings, 14356451 edges, 40930 markings/sec, 350 secs
lola: 14456811 markings, 14561497 edges, 40716 markings/sec, 355 secs
lola: 14659269 markings, 14765420 edges, 40492 markings/sec, 360 secs
lola: 14863556 markings, 14971341 edges, 40857 markings/sec, 365 secs
lola: 15066742 markings, 15175970 edges, 40637 markings/sec, 370 secs
lola: 15271877 markings, 15382715 edges, 41027 markings/sec, 375 secs
lola: 15477706 markings, 15590181 edges, 41166 markings/sec, 380 secs
lola: 15681259 markings, 15795306 edges, 40711 markings/sec, 385 secs
lola: 15884116 markings, 16000931 edges, 40571 markings/sec, 390 secs
lola: 16087078 markings, 16206932 edges, 40592 markings/sec, 395 secs
lola: 16290737 markings, 16413428 edges, 40732 markings/sec, 400 secs
lola: 16493830 markings, 16619332 edges, 40619 markings/sec, 405 secs
lola: 16695995 markings, 16824280 edges, 40433 markings/sec, 410 secs
lola: 16897512 markings, 17028540 edges, 40303 markings/sec, 415 secs
lola: 17098361 markings, 17232164 edges, 40170 markings/sec, 420 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 unknown 1 1 1 1 unknown unknown 1 unknown unknown unknown unknown unknown unknown
lola: memory consumption: 2104856 KB
lola: time consumption: 1425 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 11 will run for 429 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p880)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p880)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 75 markings, 74 edges
lola: ========================================
lola: subprocess 12 will run for 536 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p948)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p948)
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: 135 markings, 134 edges
lola: ========================================
lola: subprocess 13 will run for 714 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p789)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p789)
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: 20 markings, 19 edges
lola: ========================================
lola: subprocess 14 will run for 1071 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p113)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p113)
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: 173 markings, 172 edges
lola: ========================================
lola: subprocess 15 will run for 2143 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p319)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p319)
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: 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: Structural Bound: 1
lola: 137658 markings, 209756 edges, 27532 markings/sec, 20 secs
lola: 284265 markings, 450699 edges, 29321 markings/sec, 25 secs
lola: 430007 markings, 689284 edges, 29148 markings/sec, 30 secs
lola: 572694 markings, 920557 edges, 28537 markings/sec, 35 secs
lola: 726930 markings, 1149395 edges, 30847 markings/sec, 40 secs
lola: 875822 markings, 1381440 edges, 29778 markings/sec, 45 secs
lola: 1019949 markings, 1611654 edges, 28825 markings/sec, 50 secs
lola: 1167676 markings, 1843549 edges, 29545 markings/sec, 55 secs
lola: 1313216 markings, 2073725 edges, 29108 markings/sec, 60 secs
lola: 1459179 markings, 2302937 edges, 29193 markings/sec, 65 secs
lola: 1598590 markings, 2547536 edges, 27882 markings/sec, 70 secs
lola: 1735309 markings, 2792266 edges, 27344 markings/sec, 75 secs
lola: 1866738 markings, 3038860 edges, 26286 markings/sec, 80 secs
lola: 1995455 markings, 3283346 edges, 25743 markings/sec, 85 secs
lola: 2128182 markings, 3529628 edges, 26545 markings/sec, 90 secs
lola: 2258748 markings, 3774320 edges, 26113 markings/sec, 95 secs
lola: 2391527 markings, 4015313 edges, 26556 markings/sec, 100 secs
lola: 2532340 markings, 4260508 edges, 28163 markings/sec, 105 secs
lola: 2673942 markings, 4505654 edges, 28320 markings/sec, 110 secs
lola: 2798897 markings, 4751733 edges, 24991 markings/sec, 115 secs
lola: 2928833 markings, 4996869 edges, 25987 markings/sec, 120 secs
lola: 3068114 markings, 5243583 edges, 27856 markings/sec, 125 secs
lola: 3190890 markings, 5483832 edges, 24555 markings/sec, 130 secs
lola: 3318649 markings, 5718534 edges, 25552 markings/sec, 135 secs
lola: 3455174 markings, 5957484 edges, 27305 markings/sec, 140 secs
lola: 3592089 markings, 6197409 edges, 27383 markings/sec, 145 secs
lola: 3726694 markings, 6436411 edges, 26921 markings/sec, 150 secs
lola: 3878667 markings, 6683446 edges, 30395 markings/sec, 155 secs
lola: 4022249 markings, 6920894 edges, 28716 markings/sec, 160 secs
lola: 4142943 markings, 7151416 edges, 24139 markings/sec, 165 secs
lola: 4274841 markings, 7401052 edges, 26380 markings/sec, 170 secs
lola: 4400989 markings, 7655805 edges, 25230 markings/sec, 175 secs
lola: 4527359 markings, 7908036 edges, 25274 markings/sec, 180 secs
lola: 4647379 markings, 8159937 edges, 24004 markings/sec, 185 secs
lola: 4782773 markings, 8402723 edges, 27079 markings/sec, 190 secs
lola: 4913631 markings, 8645172 edges, 26172 markings/sec, 195 secs
lola: 5038003 markings, 8889820 edges, 24874 markings/sec, 200 secs
lola: 5161960 markings, 9130921 edges, 24791 markings/sec, 205 secs
lola: 5285237 markings, 9372201 edges, 24655 markings/sec, 210 secs
lola: 5420653 markings, 9617212 edges, 27083 markings/sec, 215 secs
lola: 5541135 markings, 9862927 edges, 24096 markings/sec, 220 secs
lola: 5659871 markings, 10119111 edges, 23747 markings/sec, 225 secs
lola: 5782913 markings, 10374267 edges, 24608 markings/sec, 230 secs
lola: 5895164 markings, 10630238 edges, 22450 markings/sec, 235 secs
lola: 6005844 markings, 10884259 edges, 22136 markings/sec, 240 secs
lola: 6121677 markings, 11140585 edges, 23167 markings/sec, 245 secs
lola: 6231695 markings, 11391523 edges, 22004 markings/sec, 250 secs
lola: 6347647 markings, 11644258 edges, 23190 markings/sec, 255 secs
lola: 6469436 markings, 11900876 edges, 24358 markings/sec, 260 secs
lola: 6592066 markings, 12158121 edges, 24526 markings/sec, 265 secs
lola: 6707448 markings, 12413790 edges, 23076 markings/sec, 270 secs
lola: 6825496 markings, 12667684 edges, 23610 markings/sec, 275 secs
lola: 6931081 markings, 12918185 edges, 21117 markings/sec, 280 secs
lola: 7039486 markings, 13167128 edges, 21681 markings/sec, 285 secs
lola: 7161326 markings, 13422351 edges, 24368 markings/sec, 290 secs
lola: 7266731 markings, 13665645 edges, 21081 markings/sec, 295 secs
lola: 7388687 markings, 13916055 edges, 24391 markings/sec, 300 secs
lola: 7506140 markings, 14165760 edges, 23491 markings/sec, 305 secs
lola: 7627470 markings, 14414770 edges, 24266 markings/sec, 310 secs
lola: 7757101 markings, 14667347 edges, 25926 markings/sec, 315 secs
lola: 7881887 markings, 14913699 edges, 24957 markings/sec, 320 secs
lola: 7982899 markings, 15155293 edges, 20202 markings/sec, 325 secs
lola: 8107425 markings, 15406191 edges, 24905 markings/sec, 330 secs
lola: 8232971 markings, 15657985 edges, 25109 markings/sec, 335 secs
lola: 8358540 markings, 15908035 edges, 25114 markings/sec, 340 secs
lola: 8476117 markings, 16157985 edges, 23515 markings/sec, 345 secs
lola: 8610244 markings, 16398434 edges, 26825 markings/sec, 350 secs
lola: 8738777 markings, 16638215 edges, 25707 markings/sec, 355 secs
lola: 8863877 markings, 16879419 edges, 25020 markings/sec, 360 secs
lola: 8986304 markings, 17119082 edges, 24485 markings/sec, 365 secs
lola: 9112538 markings, 17358319 edges, 25247 markings/sec, 370 secs
lola: 9240724 markings, 17600322 edges, 25637 markings/sec, 375 secs
lola: 9362587 markings, 17840914 edges, 24373 markings/sec, 380 secs
lola: 9483213 markings, 18095100 edges, 24125 markings/sec, 385 secs
lola: 9602838 markings, 18350588 edges, 23925 markings/sec, 390 secs
lola: 9715512 markings, 18606520 edges, 22535 markings/sec, 395 secs
lola: 9828853 markings, 18861612 edges, 22668 markings/sec, 400 secs
lola: 9948027 markings, 19117256 edges, 23835 markings/sec, 405 secs
lola: 10054635 markings, 19368235 edges, 21322 markings/sec, 410 secs
lola: 10168441 markings, 19622544 edges, 22761 markings/sec, 415 secs
lola: 10291501 markings, 19876930 edges, 24612 markings/sec, 420 secs
lola: 10414177 markings, 20133978 edges, 24535 markings/sec, 425 secs
lola: 10534756 markings, 20391592 edges, 24116 markings/sec, 430 secs
lola: 10647970 markings, 20647458 edges, 22643 markings/sec, 435 secs
lola: 10755582 markings, 20899809 edges, 21522 markings/sec, 440 secs
lola: 10867977 markings, 21153074 edges, 22479 markings/sec, 445 secs
lola: 10987566 markings, 21410700 edges, 23918 markings/sec, 450 secs
lola: 11094358 markings, 21657634 edges, 21358 markings/sec, 455 secs
lola: 11217467 markings, 21907991 edges, 24622 markings/sec, 460 secs
lola: 11333666 markings, 22157658 edges, 23240 markings/sec, 465 secs
lola: 11455725 markings, 22409272 edges, 24412 markings/sec, 470 secs
lola: 11587891 markings, 22664796 edges, 26433 markings/sec, 475 secs
lola: 11712826 markings, 22915649 edges, 24987 markings/sec, 480 secs
lola: 11816692 markings, 23159318 edges, 20773 markings/sec, 485 secs
lola: 11940235 markings, 23417728 edges, 24709 markings/sec, 490 secs
lola: 12067062 markings, 23678666 edges, 25365 markings/sec, 495 secs
lola: 12191120 markings, 23939386 edges, 24812 markings/sec, 500 secs
lola: 12314143 markings, 24198464 edges, 24605 markings/sec, 505 secs
lola: 12435037 markings, 24448171 edges, 24179 markings/sec, 510 secs
lola: 12566287 markings, 24697484 edges, 26250 markings/sec, 515 secs
lola: 12701667 markings, 24949307 edges, 27076 markings/sec, 520 secs
lola: 12824471 markings, 25199001 edges, 24561 markings/sec, 525 secs
lola: 12941602 markings, 25445226 edges, 23426 markings/sec, 530 secs
lola: 13062049 markings, 25691701 edges, 24089 markings/sec, 535 secs
lola: 13192755 markings, 25943621 edges, 26141 markings/sec, 540 secs
lola: 13313490 markings, 26191670 edges, 24147 markings/sec, 545 secs
lola: 13433420 markings, 26452420 edges, 23986 markings/sec, 550 secs
lola: 13553504 markings, 26711993 edges, 24017 markings/sec, 555 secs
lola: 13667062 markings, 26971837 edges, 22712 markings/sec, 560 secs
lola: 13783595 markings, 27231565 edges, 23307 markings/sec, 565 secs
lola: 13888734 markings, 27489176 edges, 21028 markings/sec, 570 secs
lola: 14001301 markings, 27748256 edges, 22513 markings/sec, 575 secs
lola: 14114493 markings, 28009553 edges, 22638 markings/sec, 580 secs
lola: 14224948 markings, 28265360 edges, 22091 markings/sec, 585 secs
lola: 14345911 markings, 28526924 edges, 24193 markings/sec, 590 secs
lola: 14467141 markings, 28788750 edges, 24246 markings/sec, 595 secs
lola: 14589231 markings, 29050434 edges, 24418 markings/sec, 600 secs
lola: 14698248 markings, 29310207 edges, 21803 markings/sec, 605 secs
lola: 14809438 markings, 29568518 edges, 22238 markings/sec, 610 secs
lola: 14926604 markings, 29831433 edges, 23433 markings/sec, 615 secs
lola: 15033438 markings, 30088980 edges, 21367 markings/sec, 620 secs
lola: 15147894 markings, 30348874 edges, 22891 markings/sec, 625 secs
lola: 15255590 markings, 30600750 edges, 21539 markings/sec, 630 secs
lola: 15381529 markings, 30861876 edges, 25188 markings/sec, 635 secs
lola: 15496658 markings, 31120779 edges, 23026 markings/sec, 640 secs
lola: 15616243 markings, 31379292 edges, 23917 markings/sec, 645 secs
lola: 15746562 markings, 31640733 edges, 26064 markings/sec, 650 secs
lola: 15868937 markings, 31896763 edges, 24475 markings/sec, 655 secs
lola: 15970423 markings, 32142800 edges, 20297 markings/sec, 660 secs
lola: 16077574 markings, 32400968 edges, 21430 markings/sec, 665 secs
lola: 16194453 markings, 32671973 edges, 23376 markings/sec, 670 secs
lola: 16303486 markings, 32944331 edges, 21807 markings/sec, 675 secs
lola: 16413131 markings, 33214735 edges, 21929 markings/sec, 680 secs
lola: 16518165 markings, 33481875 edges, 21007 markings/sec, 685 secs
lola: 16633657 markings, 33741974 edges, 23098 markings/sec, 690 secs
lola: 16747121 markings, 34000949 edges, 22693 markings/sec, 695 secs
lola: 16852823 markings, 34261552 edges, 21140 markings/sec, 700 secs
lola: 16964028 markings, 34523231 edges, 22241 markings/sec, 705 secs
lola: 17077018 markings, 34786053 edges, 22598 markings/sec, 710 secs
lola: 17180339 markings, 35043651 edges, 20664 markings/sec, 715 secs
lola: 17296098 markings, 35306118 edges, 23152 markings/sec, 720 secs
lola: 17399687 markings, 35570064 edges, 20718 markings/sec, 725 secs
lola: 17505855 markings, 35841660 edges, 21234 markings/sec, 730 secs
lola: 17613149 markings, 36110416 edges, 21459 markings/sec, 735 secs
lola: 17711310 markings, 36380480 edges, 19632 markings/sec, 740 secs
lola: 17812399 markings, 36652443 edges, 20218 markings/sec, 745 secs
lola: 17907431 markings, 36920571 edges, 19006 markings/sec, 750 secs
lola: 18007949 markings, 37188502 edges, 20104 markings/sec, 755 secs
lola: 18107957 markings, 37459888 edges, 20002 markings/sec, 760 secs
lola: 18206412 markings, 37725906 edges, 19691 markings/sec, 765 secs
lola: 18311872 markings, 37997902 edges, 21092 markings/sec, 770 secs
lola: 18422053 markings, 38270046 edges, 22036 markings/sec, 775 secs
lola: 18526180 markings, 38539593 edges, 20825 markings/sec, 780 secs
lola: 18623162 markings, 38808306 edges, 19396 markings/sec, 785 secs
lola: 18720252 markings, 39077681 edges, 19418 markings/sec, 790 secs
lola: 18826984 markings, 39350449 edges, 21346 markings/sec, 795 secs
lola: 18920219 markings, 39616868 edges, 18647 markings/sec, 800 secs
lola: 19026150 markings, 39889639 edges, 21186 markings/sec, 805 secs
lola: 19118251 markings, 40151759 edges, 18420 markings/sec, 810 secs
lola: 19227323 markings, 40420883 edges, 21814 markings/sec, 815 secs
lola: 19329672 markings, 40691555 edges, 20470 markings/sec, 820 secs
lola: 19428360 markings, 40959163 edges, 19738 markings/sec, 825 secs
lola: 19545817 markings, 41229419 edges, 23491 markings/sec, 830 secs
lola: 19659101 markings, 41499522 edges, 22657 markings/sec, 835 secs
lola: 19766508 markings, 41765246 edges, 21481 markings/sec, 840 secs
lola: 19852627 markings, 42024089 edges, 17224 markings/sec, 845 secs
lola: 19965371 markings, 42294792 edges, 22549 markings/sec, 850 secs
lola: 20075103 markings, 42567762 edges, 21946 markings/sec, 855 secs
lola: 20184523 markings, 42840445 edges, 21884 markings/sec, 860 secs
lola: 20293970 markings, 43112562 edges, 21889 markings/sec, 865 secs
lola: 20402640 markings, 43376849 edges, 21734 markings/sec, 870 secs
lola: 20520272 markings, 43639607 edges, 23526 markings/sec, 875 secs
lola: 20634903 markings, 43901766 edges, 22926 markings/sec, 880 secs
lola: 20740997 markings, 44163567 edges, 21219 markings/sec, 885 secs
lola: 20847425 markings, 44423425 edges, 21286 markings/sec, 890 secs
lola: 20956271 markings, 44685205 edges, 21769 markings/sec, 895 secs
lola: 21065444 markings, 44947031 edges, 21835 markings/sec, 900 secs
lola: 21173744 markings, 45205327 edges, 21660 markings/sec, 905 secs
lola: 21280677 markings, 45478840 edges, 21387 markings/sec, 910 secs
lola: 21392377 markings, 45752184 edges, 22340 markings/sec, 915 secs
lola: 21496729 markings, 46022908 edges, 20870 markings/sec, 920 secs
lola: 21594316 markings, 46293192 edges, 19517 markings/sec, 925 secs
lola: 21690615 markings, 46563029 edges, 19260 markings/sec, 930 secs
lola: 21798621 markings, 46836889 edges, 21601 markings/sec, 935 secs
lola: 21891899 markings, 47104302 edges, 18656 markings/sec, 940 secs
lola: 21998118 markings, 47377327 edges, 21244 markings/sec, 945 secs
lola: 22097657 markings, 47645095 edges, 19908 markings/sec, 950 secs
lola: 22204662 markings, 47918085 edges, 21401 markings/sec, 955 secs
lola: 22311401 markings, 48188625 edges, 21348 markings/sec, 960 secs
lola: 22410239 markings, 48460327 edges, 19768 markings/sec, 965 secs
lola: 22515824 markings, 48733207 edges, 21117 markings/sec, 970 secs
lola: 22608817 markings, 49001863 edges, 18599 markings/sec, 975 secs
lola: 22708639 markings, 49272027 edges, 19964 markings/sec, 980 secs
lola: 22807931 markings, 49542857 edges, 19858 markings/sec, 985 secs
lola: 22907824 markings, 49811541 edges, 19979 markings/sec, 990 secs
lola: 23006401 markings, 50075223 edges, 19715 markings/sec, 995 secs
lola: 23117058 markings, 50347767 edges, 22131 markings/sec, 1000 secs
lola: 23219833 markings, 50617312 edges, 20555 markings/sec, 1005 secs
lola: 23327842 markings, 50886505 edges, 21602 markings/sec, 1010 secs
lola: 23444104 markings, 51157742 edges, 23252 markings/sec, 1015 secs
lola: 23552407 markings, 51425860 edges, 21661 markings/sec, 1020 secs
lola: 23641403 markings, 51687602 edges, 17799 markings/sec, 1025 secs
lola: 23742842 markings, 51948946 edges, 20288 markings/sec, 1030 secs
lola: 23878699 markings, 52211924 edges, 27171 markings/sec, 1035 secs
lola: 24002265 markings, 52473047 edges, 24713 markings/sec, 1040 secs
lola: 24127188 markings, 52731756 edges, 24985 markings/sec, 1045 secs
lola: 24247260 markings, 52986819 edges, 24014 markings/sec, 1050 secs
lola: 24377881 markings, 53236413 edges, 26124 markings/sec, 1055 secs
lola: 24511404 markings, 53486508 edges, 26705 markings/sec, 1060 secs
lola: 24633489 markings, 53737071 edges, 24417 markings/sec, 1065 secs
lola: 24755386 markings, 53985752 edges, 24379 markings/sec, 1070 secs
lola: 24881403 markings, 54237009 edges, 25203 markings/sec, 1075 secs
lola: 25002098 markings, 54485315 edges, 24139 markings/sec, 1080 secs
lola: 25126351 markings, 54731954 edges, 24851 markings/sec, 1085 secs
lola: 25247605 markings, 54993903 edges, 24251 markings/sec, 1090 secs
lola: 25368743 markings, 55256123 edges, 24228 markings/sec, 1095 secs
lola: 25491119 markings, 55517691 edges, 24475 markings/sec, 1100 secs
lola: 25599892 markings, 55777197 edges, 21755 markings/sec, 1105 secs
lola: 25711222 markings, 56035625 edges, 22266 markings/sec, 1110 secs
lola: 25828189 markings, 56298662 edges, 23393 markings/sec, 1115 secs
lola: 25935269 markings, 56556490 edges, 21416 markings/sec, 1120 secs
lola: 26049626 markings, 56816128 edges, 22871 markings/sec, 1125 secs
lola: 26169056 markings, 57075904 edges, 23886 markings/sec, 1130 secs
lola: 26288345 markings, 57337583 edges, 23858 markings/sec, 1135 secs
lola: 26408984 markings, 57597499 edges, 24128 markings/sec, 1140 secs
lola: 26521090 markings, 57858568 edges, 22421 markings/sec, 1145 secs
lola: 26632841 markings, 58119291 edges, 22350 markings/sec, 1150 secs
lola: 26750722 markings, 58382516 edges, 23576 markings/sec, 1155 secs
lola: 26857155 markings, 58639174 edges, 21287 markings/sec, 1160 secs
lola: 26976788 markings, 58902092 edges, 23927 markings/sec, 1165 secs
lola: 27080095 markings, 59153454 edges, 20661 markings/sec, 1170 secs
lola: 27202878 markings, 59413985 edges, 24557 markings/sec, 1175 secs
lola: 27318952 markings, 59673908 edges, 23215 markings/sec, 1180 secs
lola: 27435784 markings, 59930448 edges, 23366 markings/sec, 1185 secs
lola: 27567393 markings, 60193324 edges, 26322 markings/sec, 1190 secs
lola: 27691741 markings, 60449696 edges, 24870 markings/sec, 1195 secs
lola: 27795776 markings, 60701027 edges, 20807 markings/sec, 1200 secs
lola: 27897117 markings, 60953556 edges, 20268 markings/sec, 1205 secs
lola: 28021428 markings, 61227323 edges, 24862 markings/sec, 1210 secs
lola: 28131602 markings, 61499525 edges, 22035 markings/sec, 1215 secs
lola: 28240762 markings, 61771644 edges, 21832 markings/sec, 1220 secs
lola: 28344321 markings, 62040854 edges, 20712 markings/sec, 1225 secs
lola: 28461352 markings, 62303572 edges, 23406 markings/sec, 1230 secs
lola: 28577761 markings, 62564307 edges, 23282 markings/sec, 1235 secs
lola: 28685487 markings, 62825000 edges, 21545 markings/sec, 1240 secs
lola: 28793794 markings, 63085542 edges, 21661 markings/sec, 1245 secs
lola: 28901349 markings, 63345161 edges, 21511 markings/sec, 1250 secs
lola: 29007089 markings, 63601880 edges, 21148 markings/sec, 1255 secs
lola: 29122550 markings, 63865730 edges, 23092 markings/sec, 1260 secs
lola: 29228729 markings, 64126323 edges, 21236 markings/sec, 1265 secs
lola: 29335129 markings, 64398719 edges, 21280 markings/sec, 1270 secs
lola: 29440105 markings, 64669342 edges, 20995 markings/sec, 1275 secs
lola: 29541526 markings, 64939010 edges, 20284 markings/sec, 1280 secs
lola: 29644815 markings, 65209168 edges, 20658 markings/sec, 1285 secs
lola: 29738344 markings, 65476144 edges, 18706 markings/sec, 1290 secs
lola: 29837486 markings, 65745772 edges, 19828 markings/sec, 1295 secs
lola: 29935659 markings, 66013489 edges, 19635 markings/sec, 1300 secs
lola: 30035586 markings, 66282215 edges, 19985 markings/sec, 1305 secs
lola: 30142491 markings, 66552119 edges, 21381 markings/sec, 1310 secs
lola: 30246824 markings, 66823716 edges, 20867 markings/sec, 1315 secs
lola: 30352534 markings, 67093098 edges, 21142 markings/sec, 1320 secs
lola: 30450382 markings, 67363393 edges, 19570 markings/sec, 1325 secs
lola: 30551419 markings, 67635188 edges, 20207 markings/sec, 1330 secs
lola: 30652702 markings, 67905509 edges, 20257 markings/sec, 1335 secs
lola: 30745990 markings, 68169091 edges, 18658 markings/sec, 1340 secs
lola: 30852786 markings, 68441325 edges, 21359 markings/sec, 1345 secs
lola: 30944568 markings, 68705511 edges, 18356 markings/sec, 1350 secs
lola: 31053627 markings, 68971188 edges, 21812 markings/sec, 1355 secs
lola: 31155879 markings, 69241558 edges, 20450 markings/sec, 1360 secs
lola: 31256215 markings, 69507646 edges, 20067 markings/sec, 1365 secs
lola: 31368847 markings, 69776552 edges, 22526 markings/sec, 1370 secs
lola: 31482333 markings, 70045539 edges, 22697 markings/sec, 1375 secs
lola: 31590715 markings, 70311586 edges, 21676 markings/sec, 1380 secs
lola: 31678108 markings, 70571274 edges, 17479 markings/sec, 1385 secs
lola: 31783125 markings, 70838321 edges, 21003 markings/sec, 1390 secs
lola: 31897187 markings, 71112102 edges, 22812 markings/sec, 1395 secs
lola: 32007093 markings, 71383811 edges, 21981 markings/sec, 1400 secs
lola: 32117015 markings, 71654978 edges, 21984 markings/sec, 1405 secs
lola: 32222861 markings, 71921928 edges, 21169 markings/sec, 1410 secs
lola: 32336034 markings, 72183513 edges, 22635 markings/sec, 1415 secs
lola: 32452217 markings, 72443777 edges, 23237 markings/sec, 1420 secs
lola: 32561112 markings, 72705421 edges, 21779 markings/sec, 1425 secs
lola: 32667072 markings, 72966040 edges, 21192 markings/sec, 1430 secs
lola: 32783436 markings, 73229658 edges, 23273 markings/sec, 1435 secs
lola: 32885836 markings, 73487522 edges, 20480 markings/sec, 1440 secs
lola: 32996452 markings, 73748762 edges, 22123 markings/sec, 1445 secs
lola: 33104802 markings, 74015680 edges, 21670 markings/sec, 1450 secs
lola: 33207956 markings, 74287316 edges, 20631 markings/sec, 1455 secs
lola: 33315688 markings, 74556744 edges, 21546 markings/sec, 1460 secs
lola: 33413547 markings, 74827067 edges, 19572 markings/sec, 1465 secs
lola: 33514900 markings, 75099017 edges, 20271 markings/sec, 1470 secs
lola: 33615144 markings, 75369474 edges, 20049 markings/sec, 1475 secs
lola: 33710252 markings, 75636085 edges, 19022 markings/sec, 1480 secs
lola: 33817113 markings, 75908959 edges, 21372 markings/sec, 1485 secs
lola: 33914358 markings, 76175090 edges, 19449 markings/sec, 1490 secs
lola: 34021618 markings, 76447805 edges, 21452 markings/sec, 1495 secs
lola: 34126210 markings, 76719869 edges, 20918 markings/sec, 1500 secs
lola: 34235192 markings, 76990886 edges, 21796 markings/sec, 1505 secs
lola: 34330071 markings, 77260298 edges, 18976 markings/sec, 1510 secs
lola: 34422737 markings, 77520783 edges, 18533 markings/sec, 1515 secs
lola: 34528638 markings, 77787006 edges, 21180 markings/sec, 1520 secs
lola: 34621444 markings, 78053780 edges, 18561 markings/sec, 1525 secs
lola: 34727594 markings, 78325943 edges, 21230 markings/sec, 1530 secs
lola: 34819525 markings, 78587502 edges, 18386 markings/sec, 1535 secs
lola: 34928484 markings, 78857378 edges, 21792 markings/sec, 1540 secs
lola: 35031188 markings, 79127269 edges, 20541 markings/sec, 1545 secs
lola: 35131586 markings, 79394509 edges, 20080 markings/sec, 1550 secs
lola: 35249942 markings, 79665998 edges, 23671 markings/sec, 1555 secs
lola: 35360545 markings, 79935216 edges, 22121 markings/sec, 1560 secs
lola: 35468174 markings, 80200440 edges, 21526 markings/sec, 1565 secs
lola: 35553033 markings, 80458597 edges, 16972 markings/sec, 1570 secs
lola: 35687699 markings, 80739378 edges, 26933 markings/sec, 1575 secs
lola: 35822561 markings, 81020310 edges, 26972 markings/sec, 1580 secs
lola: 35955080 markings, 81301062 edges, 26504 markings/sec, 1585 secs
lola: 36085182 markings, 81577036 edges, 26020 markings/sec, 1590 secs
lola: 36225893 markings, 81847600 edges, 28142 markings/sec, 1595 secs
lola: 36369950 markings, 82117436 edges, 28811 markings/sec, 1600 secs
lola: 36502732 markings, 82388244 edges, 26556 markings/sec, 1605 secs
lola: 36634202 markings, 82656539 edges, 26294 markings/sec, 1610 secs
lola: 36764070 markings, 82922051 edges, 25974 markings/sec, 1615 secs
lola: 36904084 markings, 83190560 edges, 28003 markings/sec, 1620 secs
lola: 37033244 markings, 83459989 edges, 25832 markings/sec, 1625 secs
lola: 37162127 markings, 83741643 edges, 25777 markings/sec, 1630 secs
lola: 37289770 markings, 84019022 edges, 25529 markings/sec, 1635 secs
lola: 37408787 markings, 84297237 edges, 23803 markings/sec, 1640 secs
lola: 37530738 markings, 84575920 edges, 24390 markings/sec, 1645 secs
lola: 37657502 markings, 84858287 edges, 25353 markings/sec, 1650 secs
lola: 37765065 markings, 85120833 edges, 21513 markings/sec, 1655 secs
lola: 37891763 markings, 85399994 edges, 25340 markings/sec, 1660 secs
lola: 38013074 markings, 85675519 edges, 24262 markings/sec, 1665 secs
lola: 38141511 markings, 85956224 edges, 25687 markings/sec, 1670 secs
lola: 38269513 markings, 86233874 edges, 25600 markings/sec, 1675 secs
lola: 38389362 markings, 86513093 edges, 23970 markings/sec, 1680 secs
lola: 38508123 markings, 86790057 edges, 23752 markings/sec, 1685 secs
lola: 38630860 markings, 87071749 edges, 24547 markings/sec, 1690 secs
lola: 38748877 markings, 87348691 edges, 23603 markings/sec, 1695 secs
lola: 38871359 markings, 87625559 edges, 24496 markings/sec, 1700 secs
lola: 38991840 markings, 87897938 edges, 24096 markings/sec, 1705 secs
lola: 39121734 markings, 88180512 edges, 25979 markings/sec, 1710 secs
lola: 39245272 markings, 88458779 edges, 24708 markings/sec, 1715 secs
lola: 39378327 markings, 88736650 edges, 26611 markings/sec, 1720 secs
lola: 39518483 markings, 89016686 edges, 28031 markings/sec, 1725 secs
lola: 39642848 markings, 89289518 edges, 24873 markings/sec, 1730 secs
lola: 39743147 markings, 89557466 edges, 20060 markings/sec, 1735 secs
lola: 39875435 markings, 89849130 edges, 26458 markings/sec, 1740 secs
lola: 39993019 markings, 90140143 edges, 23517 markings/sec, 1745 secs
lola: 40109338 markings, 90431039 edges, 23264 markings/sec, 1750 secs
lola: 40222585 markings, 90716970 edges, 22649 markings/sec, 1755 secs
lola: 40345212 markings, 90998451 edges, 24525 markings/sec, 1760 secs
lola: 40470661 markings, 91277009 edges, 25090 markings/sec, 1765 secs
lola: 40585506 markings, 91557268 edges, 22969 markings/sec, 1770 secs
lola: 40700747 markings, 91835820 edges, 23048 markings/sec, 1775 secs
lola: 40818077 markings, 92117393 edges, 23466 markings/sec, 1780 secs
lola: 40934849 markings, 92397478 edges, 23354 markings/sec, 1785 secs
lola: 41051235 markings, 92673760 edges, 23277 markings/sec, 1790 secs
lola: 41167434 markings, 92964765 edges, 23240 markings/sec, 1795 secs
lola: 41278416 markings, 93254668 edges, 22196 markings/sec, 1800 secs
lola: 41388419 markings, 93541192 edges, 22001 markings/sec, 1805 secs
lola: 41498591 markings, 93829393 edges, 22034 markings/sec, 1810 secs
lola: 41597274 markings, 94113923 edges, 19737 markings/sec, 1815 secs
lola: 41704903 markings, 94399706 edges, 21526 markings/sec, 1820 secs
lola: 41810273 markings, 94688345 edges, 21074 markings/sec, 1825 secs
lola: 41913130 markings, 94970065 edges, 20571 markings/sec, 1830 secs
lola: 42028741 markings, 95260287 edges, 23122 markings/sec, 1835 secs
lola: 42142960 markings, 95549722 edges, 22844 markings/sec, 1840 secs
lola: 42255234 markings, 95836572 edges, 22455 markings/sec, 1845 secs
lola: 42362199 markings, 96123992 edges, 21393 markings/sec, 1850 secs
lola: 42462189 markings, 96408879 edges, 19998 markings/sec, 1855 secs
lola: 42569164 markings, 96696937 edges, 21395 markings/sec, 1860 secs
lola: 42673034 markings, 96983784 edges, 20774 markings/sec, 1865 secs
lola: 42779659 markings, 97267690 edges, 21325 markings/sec, 1870 secs
lola: 42887365 markings, 97549101 edges, 21541 markings/sec, 1875 secs
lola: 43000543 markings, 97840611 edges, 22636 markings/sec, 1880 secs
lola: 43109586 markings, 98128014 edges, 21809 markings/sec, 1885 secs
lola: 43228977 markings, 98414001 edges, 23878 markings/sec, 1890 secs
lola: 43350424 markings, 98701507 edges, 24289 markings/sec, 1895 secs
lola: 43465898 markings, 98986002 edges, 23095 markings/sec, 1900 secs
lola: 43558816 markings, 99262815 edges, 18584 markings/sec, 1905 secs
lola: 43678921 markings, 99551485 edges, 24021 markings/sec, 1910 secs
lola: 43795813 markings, 99843900 edges, 23378 markings/sec, 1915 secs
lola: 43913943 markings, 100134158 edges, 23626 markings/sec, 1920 secs
lola: 44022696 markings, 100423152 edges, 21751 markings/sec, 1925 secs
lola: 44149494 markings, 100706095 edges, 25360 markings/sec, 1930 secs
lola: 44276595 markings, 100985668 edges, 25420 markings/sec, 1935 secs
lola: 44387593 markings, 101264982 edges, 22200 markings/sec, 1940 secs
lola: 44507063 markings, 101545798 edges, 23894 markings/sec, 1945 secs
lola: 44628318 markings, 101828905 edges, 24251 markings/sec, 1950 secs
lola: 44738584 markings, 102106075 edges, 22053 markings/sec, 1955 secs
lola: 44856371 markings, 102386031 edges, 23557 markings/sec, 1960 secs
lola: 44972105 markings, 102672385 edges, 23147 markings/sec, 1965 secs
lola: 45087068 markings, 102962072 edges, 22993 markings/sec, 1970 secs
lola: 45198004 markings, 103248689 edges, 22187 markings/sec, 1975 secs
lola: 45300279 markings, 103535459 edges, 20455 markings/sec, 1980 secs
lola: 45405635 markings, 103821678 edges, 21071 markings/sec, 1985 secs
lola: 45517030 markings, 104113527 edges, 22279 markings/sec, 1990 secs
lola: 45617642 markings, 104398865 edges, 20122 markings/sec, 1995 secs
lola: 45725115 markings, 104687143 edges, 21495 markings/sec, 2000 secs
lola: 45838725 markings, 104973958 edges, 22722 markings/sec, 2005 secs
lola: 45953494 markings, 105264154 edges, 22954 markings/sec, 2010 secs
lola: 46063665 markings, 105550945 edges, 22034 markings/sec, 2015 secs
lola: 46168766 markings, 105838558 edges, 21020 markings/sec, 2020 secs
lola: 46270549 markings, 106124781 edges, 20357 markings/sec, 2025 secs
lola: 46386645 markings, 106416960 edges, 23219 markings/sec, 2030 secs
lola: 46485251 markings, 106701707 edges, 19721 markings/sec, 2035 secs
lola: 46592988 markings, 106990794 edges, 21547 markings/sec, 2040 secs
lola: 46696579 markings, 107269962 edges, 20718 markings/sec, 2045 secs
lola: 46814133 markings, 107559957 edges, 23511 markings/sec, 2050 secs
lola: 46923354 markings, 107848808 edges, 21844 markings/sec, 2055 secs
lola: 47038563 markings, 108135796 edges, 23042 markings/sec, 2060 secs
lola: 47161087 markings, 108424106 edges, 24505 markings/sec, 2065 secs
lola: 47276933 markings, 108710389 edges, 23169 markings/sec, 2070 secs
lola: 47372457 markings, 108988313 edges, 19105 markings/sec, 2075 secs
lola: 47485976 markings, 109276768 edges, 22704 markings/sec, 2080 secs
lola: 47605759 markings, 109573368 edges, 23957 markings/sec, 2085 secs
lola: 47718483 markings, 109859385 edges, 22545 markings/sec, 2090 secs
lola: 47830406 markings, 110142213 edges, 22385 markings/sec, 2095 secs
lola: 47942432 markings, 110432224 edges, 22405 markings/sec, 2100 secs
lola: 48066069 markings, 110718665 edges, 24727 markings/sec, 2105 secs
lola: 48190221 markings, 111001114 edges, 24830 markings/sec, 2110 secs
lola: 48303280 markings, 111285097 edges, 22612 markings/sec, 2115 secs
lola: 48420657 markings, 111570594 edges, 23475 markings/sec, 2120 secs
lola: 48540970 markings, 111857108 edges, 24063 markings/sec, 2125 secs
lola: 48651575 markings, 112137898 edges, 22121 markings/sec, 2130 secs
lola: 48774024 markings, 112426024 edges, 24490 markings/sec, 2135 secs
lola: time limit reached - aborting
lola:
preliminary result: 1 1 unknown 1 1 1 1 unknown unknown 1 unknown 1 1 1 1 unknown
lola:
preliminary result: 1 1 unknown 1 1 1 1 unknown unknown 1 unknown 1 1 1 1 unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 1 unknown 1 1 1 1 unknown unknown 1 unknown 1 1 1 1 unknown
lola: memory consumption: 3819144 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 1 unknown 1 1 1 1 unknown unknown 1 unknown 1 1 1 1 unknown
rslt: finished

BK_STOP 1552520111539

--------------------
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="ASLink-PT-03b"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3957"
echo " Executing tool lola"
echo " Input is ASLink-PT-03b, 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 r005-smll-155225008900056"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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