Execution Chart

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

Trace from the execution

Formatting '/local/x2003239/mcc2019-input.r181-csrt-155344535100317.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2019-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.............................
=====================================================================
Generated by BenchKit 2-3954
Executing tool lola
Input is NoC3x3-PT-5B, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r181-csrt-155344535100317
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 680K
-rw-r--r-- 1 mcc users 2.9K Mar 23 12:35 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 23 12:35 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 23 12:21 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 23 12:21 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 23 10:10 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 2.2K Mar 23 12:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 8.8K Mar 23 12:14 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Mar 23 12:13 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.1K Mar 23 12:13 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 Mar 23 10:10 NewModel
-rw-r--r-- 1 mcc users 3.1K Mar 23 12:09 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Mar 23 12:09 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 103 Mar 23 11:58 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 341 Mar 23 11:58 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.6K Mar 23 12:02 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 23 12:02 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 23 12:13 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 23 12:13 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 23 10:10 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 23 10:10 instance
-rw-r--r-- 1 mcc users 6 Mar 23 10:10 iscolored
-rw-r--r-- 1 mcc users 0 Mar 23 10:10 model-fix.log
-rw-r--r-- 1 mcc users 525K Mar 23 10:10 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of positive values
NUM_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME NoC3x3-PT-5B-UpperBounds-00
FORMULA_NAME NoC3x3-PT-5B-UpperBounds-01
FORMULA_NAME NoC3x3-PT-5B-UpperBounds-02
FORMULA_NAME NoC3x3-PT-5B-UpperBounds-03
FORMULA_NAME NoC3x3-PT-5B-UpperBounds-04
FORMULA_NAME NoC3x3-PT-5B-UpperBounds-05
FORMULA_NAME NoC3x3-PT-5B-UpperBounds-06
FORMULA_NAME NoC3x3-PT-5B-UpperBounds-07
FORMULA_NAME NoC3x3-PT-5B-UpperBounds-08
FORMULA_NAME NoC3x3-PT-5B-UpperBounds-09
FORMULA_NAME NoC3x3-PT-5B-UpperBounds-10
FORMULA_NAME NoC3x3-PT-5B-UpperBounds-11
FORMULA_NAME NoC3x3-PT-5B-UpperBounds-12
FORMULA_NAME NoC3x3-PT-5B-UpperBounds-13
FORMULA_NAME NoC3x3-PT-5B-UpperBounds-14
FORMULA_NAME NoC3x3-PT-5B-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1553478936409

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

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

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

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

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

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

FORMULA NoC3x3-PT-5B-UpperBounds-07 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA NoC3x3-PT-5B-UpperBounds-08 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

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

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

FORMULA NoC3x3-PT-5B-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 @ NoC3x3-PT-5B

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

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 256
},
"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(p372)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 49,
"markings": 50,
"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": 277
},
"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(p16)",
"processed_size": 8,
"rewrites": 0
},
"result":
{
"edges": 16,
"markings": 17,
"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(p971)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 43,
"markings": 44,
"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(p936)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 41,
"markings": 42,
"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": 381
},
"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(p1156)",
"processed_size": 10,
"rewrites": 0
},
"result":
{
"edges": 29,
"markings": 30,
"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": 435
},
"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(p187)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 69,
"markings": 70,
"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(p1078)",
"processed_size": 10,
"rewrites": 0
},
"result":
{
"edges": 57,
"markings": 58,
"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": 761
},
"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(p439)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 56,
"markings": 57,
"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": 3940788,
"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": 6109,
"conflict_clusters": 1052,
"places": 1571,
"places_significant": 1505,
"singleton_clusters": 0,
"transitions": 2173
},
"result":
{
"interim_value": "unknown 1 1 1 unknown 1 1 1 1 1 unknown unknown unknown 1 1 unknown ",
"preliminary_value": "unknown 1 1 1 unknown 1 1 1 1 1 unknown unknown unknown 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: 3744/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 1571
lola: finding significant places
lola: 1571 places, 2173 transitions, 1505 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(p1132) : MAX(p34) : MAX(p468) : MAX(p372) : MAX(p274) : MAX(p16) : MAX(p971) : MAX(p936) : MAX(p1156) : MAX(p187) : MAX(p1069) : MAX(p743) : MAX(p124) : MAX(p1078) : MAX(p439) : MAX(p1067)
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(p124)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p124)
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: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 135565 markings, 148072 edges, 27113 markings/sec, 30 secs
lola: 272579 markings, 297658 edges, 27403 markings/sec, 35 secs
lola: 409632 markings, 447160 edges, 27411 markings/sec, 40 secs
lola: 544848 markings, 594769 edges, 27043 markings/sec, 45 secs
lola: 682110 markings, 744663 edges, 27452 markings/sec, 50 secs
lola: 818760 markings, 894045 edges, 27330 markings/sec, 55 secs
lola: 957132 markings, 1044927 edges, 27674 markings/sec, 60 secs
lola: 1098428 markings, 1199203 edges, 28259 markings/sec, 65 secs
lola: 1239559 markings, 1353257 edges, 28226 markings/sec, 70 secs
lola: 1372762 markings, 1498534 edges, 26641 markings/sec, 75 secs
lola: 1491984 markings, 1628766 edges, 23844 markings/sec, 80 secs
lola: 1614619 markings, 1762521 edges, 24527 markings/sec, 85 secs
lola: 1737715 markings, 1897049 edges, 24619 markings/sec, 90 secs
lola: 1863824 markings, 2034807 edges, 25222 markings/sec, 95 secs
lola: 1988961 markings, 2171328 edges, 25027 markings/sec, 100 secs
lola: 2110994 markings, 2304813 edges, 24407 markings/sec, 105 secs
lola: 2233099 markings, 2437950 edges, 24421 markings/sec, 110 secs
lola: 2357913 markings, 2574359 edges, 24963 markings/sec, 115 secs
lola: 2490832 markings, 2719142 edges, 26584 markings/sec, 120 secs
lola: 2627797 markings, 2867223 edges, 27393 markings/sec, 125 secs
lola: 2764474 markings, 3014768 edges, 27335 markings/sec, 130 secs
lola: 2899634 markings, 3160715 edges, 27032 markings/sec, 135 secs
lola: 3030079 markings, 3301945 edges, 26089 markings/sec, 140 secs
lola: 3164995 markings, 3447754 edges, 26983 markings/sec, 145 secs
lola: 3296843 markings, 3589997 edges, 26370 markings/sec, 150 secs
lola: 3432967 markings, 3736927 edges, 27225 markings/sec, 155 secs
lola: 3568976 markings, 3883831 edges, 27202 markings/sec, 160 secs
lola: 3703933 markings, 4029434 edges, 26991 markings/sec, 165 secs
lola: 3840036 markings, 4176293 edges, 27221 markings/sec, 170 secs
lola: 3976398 markings, 4323994 edges, 27272 markings/sec, 175 secs
lola: 4112067 markings, 4470672 edges, 27134 markings/sec, 180 secs
lola: 4246809 markings, 4616203 edges, 26948 markings/sec, 185 secs
lola: 4380115 markings, 4760463 edges, 26661 markings/sec, 190 secs
lola: 4512688 markings, 4903653 edges, 26515 markings/sec, 195 secs
lola: 4644255 markings, 5046363 edges, 26313 markings/sec, 200 secs
lola: 4778366 markings, 5191182 edges, 26822 markings/sec, 205 secs
lola: 4911095 markings, 5334528 edges, 26546 markings/sec, 210 secs
lola: 5039921 markings, 5473739 edges, 25765 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: 1016184 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: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p34)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p34)
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: 35 markings, 34 edges
lola: ========================================
lola: subprocess 2 will run for 238 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p468)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p468)
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: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 78 markings, 77 edges
lola: ========================================
lola: subprocess 3 will run for 256 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p372)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p372)
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: 50 markings, 49 edges
lola: ========================================
lola: subprocess 4 will run for 277 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p274)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p274)
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: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 154941 markings, 172289 edges, 30988 markings/sec, 30 secs
lola: 303616 markings, 326081 edges, 29735 markings/sec, 35 secs
lola: 419983 markings, 507034 edges, 23273 markings/sec, 40 secs
lola: 523641 markings, 707115 edges, 20732 markings/sec, 45 secs
lola: 620845 markings, 921992 edges, 19441 markings/sec, 50 secs
lola: 716482 markings, 1139352 edges, 19127 markings/sec, 55 secs
lola: 811487 markings, 1356371 edges, 19001 markings/sec, 60 secs
lola: 905076 markings, 1575050 edges, 18718 markings/sec, 65 secs
lola: 1001138 markings, 1789859 edges, 19212 markings/sec, 70 secs
lola: 1096296 markings, 2005709 edges, 19032 markings/sec, 75 secs
lola: 1192655 markings, 2218810 edges, 19272 markings/sec, 80 secs
lola: 1290859 markings, 2423877 edges, 19641 markings/sec, 85 secs
lola: 1389914 markings, 2616036 edges, 19811 markings/sec, 90 secs
lola: 1484417 markings, 2826935 edges, 18901 markings/sec, 95 secs
lola: 1577512 markings, 3040057 edges, 18619 markings/sec, 100 secs
lola: 1672164 markings, 3248613 edges, 18930 markings/sec, 105 secs
lola: 1752539 markings, 3495118 edges, 16075 markings/sec, 110 secs
lola: 1822556 markings, 3768811 edges, 14003 markings/sec, 115 secs
lola: 1889031 markings, 4048905 edges, 13295 markings/sec, 120 secs
lola: 1954090 markings, 4329071 edges, 13012 markings/sec, 125 secs
lola: 2020645 markings, 4611839 edges, 13311 markings/sec, 130 secs
lola: 2087433 markings, 4893171 edges, 13358 markings/sec, 135 secs
lola: 2153913 markings, 5172788 edges, 13296 markings/sec, 140 secs
lola: 2239858 markings, 5407357 edges, 17189 markings/sec, 145 secs
lola: 2322752 markings, 5644754 edges, 16579 markings/sec, 150 secs
lola: 2404770 markings, 5885658 edges, 16404 markings/sec, 155 secs
lola: 2490242 markings, 6111980 edges, 17094 markings/sec, 160 secs
lola: 2569857 markings, 6349961 edges, 15923 markings/sec, 165 secs
lola: 2647590 markings, 6574626 edges, 15547 markings/sec, 170 secs
lola: 2722832 markings, 6826477 edges, 15048 markings/sec, 175 secs
lola: 2802408 markings, 7066065 edges, 15915 markings/sec, 180 secs
lola: 2879283 markings, 7311366 edges, 15375 markings/sec, 185 secs
lola: 2960120 markings, 7555812 edges, 16167 markings/sec, 190 secs
lola: 3041736 markings, 7792661 edges, 16323 markings/sec, 195 secs
lola: 3122459 markings, 8028270 edges, 16145 markings/sec, 200 secs
lola: 3202068 markings, 8269496 edges, 15922 markings/sec, 205 secs
lola: 3288018 markings, 8486029 edges, 17190 markings/sec, 210 secs
lola: 3364136 markings, 8712168 edges, 15224 markings/sec, 215 secs
lola: 3441638 markings, 8953786 edges, 15500 markings/sec, 220 secs
lola: 3515091 markings, 9202216 edges, 14691 markings/sec, 225 secs
lola: 3588573 markings, 9449687 edges, 14696 markings/sec, 230 secs
lola: 3665766 markings, 9695195 edges, 15439 markings/sec, 235 secs
lola: 3746622 markings, 9934632 edges, 16171 markings/sec, 240 secs
lola: 3827623 markings, 10175170 edges, 16200 markings/sec, 245 secs
lola: 3898118 markings, 10438980 edges, 14099 markings/sec, 250 secs
lola: 3969661 markings, 10700636 edges, 14309 markings/sec, 255 secs
lola: 4048236 markings, 10947538 edges, 15715 markings/sec, 260 secs
lola: 4126385 markings, 11193865 edges, 15630 markings/sec, 265 secs
lola: 4204742 markings, 11438727 edges, 15671 markings/sec, 270 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 1 1 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 708144 KB
lola: time consumption: 518 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 5 will run for 277 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p16)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p16)
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: 17 markings, 16 edges
lola: ========================================
lola: subprocess 6 will run for 305 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p971)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p971)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 44 markings, 43 edges
lola: ========================================
lola: subprocess 7 will run for 339 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p936)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p936)
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: 42 markings, 41 edges
lola: ========================================
lola: subprocess 8 will run for 381 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1156)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1156)
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: 30 markings, 29 edges
lola: ========================================
lola: subprocess 9 will run for 435 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p187)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p187)
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: 70 markings, 69 edges
lola: ========================================
lola: subprocess 10 will run for 508 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1069)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1069)
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: 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: 144034 markings, 168280 edges, 28807 markings/sec, 30 secs
lola: 279231 markings, 334692 edges, 27039 markings/sec, 35 secs
lola: 416260 markings, 508849 edges, 27406 markings/sec, 40 secs
lola: 545862 markings, 691651 edges, 25920 markings/sec, 45 secs
lola: 671869 markings, 878472 edges, 25201 markings/sec, 50 secs
lola: 795264 markings, 1047870 edges, 24679 markings/sec, 55 secs
lola: 917368 markings, 1217277 edges, 24421 markings/sec, 60 secs
lola: 1044233 markings, 1374222 edges, 25373 markings/sec, 65 secs
lola: 1167347 markings, 1537561 edges, 24623 markings/sec, 70 secs
lola: 1292564 markings, 1718484 edges, 25043 markings/sec, 75 secs
lola: 1411821 markings, 1890385 edges, 23851 markings/sec, 80 secs
lola: 1535521 markings, 2061102 edges, 24740 markings/sec, 85 secs
lola: 1658949 markings, 2229140 edges, 24686 markings/sec, 90 secs
lola: 1784262 markings, 2410901 edges, 25063 markings/sec, 95 secs
lola: 1912445 markings, 2587816 edges, 25637 markings/sec, 100 secs
lola: 2044695 markings, 2756276 edges, 26450 markings/sec, 105 secs
lola: 2167939 markings, 2935863 edges, 24649 markings/sec, 110 secs
lola: 2296848 markings, 3114871 edges, 25782 markings/sec, 115 secs
lola: 2431535 markings, 3288975 edges, 26937 markings/sec, 120 secs
lola: 2553369 markings, 3466512 edges, 24367 markings/sec, 125 secs
lola: 2672331 markings, 3636825 edges, 23792 markings/sec, 130 secs
lola: 2801357 markings, 3788225 edges, 25805 markings/sec, 135 secs
lola: 2930603 markings, 3938648 edges, 25849 markings/sec, 140 secs
lola: 3057046 markings, 4096264 edges, 25289 markings/sec, 145 secs
lola: 3183310 markings, 4263270 edges, 25253 markings/sec, 150 secs
lola: 3312932 markings, 4428393 edges, 25924 markings/sec, 155 secs
lola: 3435824 markings, 4590789 edges, 24578 markings/sec, 160 secs
lola: 3559726 markings, 4751445 edges, 24780 markings/sec, 165 secs
lola: 3682974 markings, 4912647 edges, 24650 markings/sec, 170 secs
lola: 3805106 markings, 5071900 edges, 24426 markings/sec, 175 secs
lola: 3928065 markings, 5234619 edges, 24592 markings/sec, 180 secs
lola: 4052033 markings, 5395664 edges, 24794 markings/sec, 185 secs
lola: 4176628 markings, 5553230 edges, 24919 markings/sec, 190 secs
lola: 4307332 markings, 5703006 edges, 26141 markings/sec, 195 secs
lola: 4443208 markings, 5865146 edges, 27175 markings/sec, 200 secs
lola: 4578680 markings, 6037137 edges, 27094 markings/sec, 205 secs
lola: 4709962 markings, 6213241 edges, 26256 markings/sec, 210 secs
lola: 4834615 markings, 6400247 edges, 24931 markings/sec, 215 secs
lola: 4963446 markings, 6579159 edges, 25766 markings/sec, 220 secs
lola: 5098856 markings, 6747741 edges, 27082 markings/sec, 225 secs
lola: 5231515 markings, 6912540 edges, 26532 markings/sec, 230 secs
lola: 5360173 markings, 7083860 edges, 25732 markings/sec, 235 secs
lola: 5489270 markings, 7256513 edges, 25819 markings/sec, 240 secs
lola: 5609486 markings, 7440502 edges, 24043 markings/sec, 245 secs
lola: 5741758 markings, 7616231 edges, 26454 markings/sec, 250 secs
lola: 5879445 markings, 7788001 edges, 27537 markings/sec, 255 secs
lola: 6013945 markings, 7954814 edges, 26900 markings/sec, 260 secs
lola: 6142982 markings, 8119052 edges, 25807 markings/sec, 265 secs
lola: 6277100 markings, 8286338 edges, 26824 markings/sec, 270 secs
lola: 6411350 markings, 8460217 edges, 26850 markings/sec, 275 secs
lola: 6544339 markings, 8635018 edges, 26598 markings/sec, 280 secs
lola: 6677043 markings, 8803796 edges, 26541 markings/sec, 285 secs
lola: 6808204 markings, 8979108 edges, 26232 markings/sec, 290 secs
lola: 6941804 markings, 9152748 edges, 26720 markings/sec, 295 secs
lola: 7073936 markings, 9327037 edges, 26426 markings/sec, 300 secs
lola: 7207827 markings, 9501276 edges, 26778 markings/sec, 305 secs
lola: 7342707 markings, 9675532 edges, 26976 markings/sec, 310 secs
lola: 7478373 markings, 9844496 edges, 27133 markings/sec, 315 secs
lola: 7604806 markings, 9999582 edges, 25287 markings/sec, 320 secs
lola: 7728076 markings, 10159605 edges, 24654 markings/sec, 325 secs
lola: 7855483 markings, 10311178 edges, 25481 markings/sec, 330 secs
lola: 7985267 markings, 10471834 edges, 25957 markings/sec, 335 secs
lola: 8119676 markings, 10635644 edges, 26882 markings/sec, 340 secs
lola: 8255698 markings, 10807063 edges, 27204 markings/sec, 345 secs
lola: 8386487 markings, 10987693 edges, 26158 markings/sec, 350 secs
lola: 8514019 markings, 11175039 edges, 25506 markings/sec, 355 secs
lola: 8642650 markings, 11353691 edges, 25726 markings/sec, 360 secs
lola: 8772520 markings, 11534105 edges, 25974 markings/sec, 365 secs
lola: 8906115 markings, 11699996 edges, 26719 markings/sec, 370 secs
lola: 9038365 markings, 11877019 edges, 26450 markings/sec, 375 secs
lola: 9167523 markings, 12063525 edges, 25832 markings/sec, 380 secs
lola: 9298380 markings, 12247531 edges, 26171 markings/sec, 385 secs
lola: 9431249 markings, 12430860 edges, 26574 markings/sec, 390 secs
lola: 9562342 markings, 12611649 edges, 26219 markings/sec, 395 secs
lola: 9690536 markings, 12798428 edges, 25639 markings/sec, 400 secs
lola: 9821165 markings, 12982113 edges, 26126 markings/sec, 405 secs
lola: 9953247 markings, 13165492 edges, 26416 markings/sec, 410 secs
lola: 10089883 markings, 13336796 edges, 27327 markings/sec, 415 secs
lola: 10225767 markings, 13513138 edges, 27177 markings/sec, 420 secs
lola: 10357941 markings, 13697832 edges, 26435 markings/sec, 425 secs
lola: 10494937 markings, 13871616 edges, 27399 markings/sec, 430 secs
lola: 10629940 markings, 14046910 edges, 27001 markings/sec, 435 secs
lola: 10758459 markings, 14233967 edges, 25704 markings/sec, 440 secs
lola: 10888220 markings, 14418377 edges, 25952 markings/sec, 445 secs
lola: 11020433 markings, 14600457 edges, 26443 markings/sec, 450 secs
lola: 11151707 markings, 14779419 edges, 26255 markings/sec, 455 secs
lola: 11280023 markings, 14965638 edges, 25663 markings/sec, 460 secs
lola: 11409896 markings, 15150947 edges, 25975 markings/sec, 465 secs
lola: 11542129 markings, 15335094 edges, 26447 markings/sec, 470 secs
lola: 11678040 markings, 15509419 edges, 27182 markings/sec, 475 secs
lola: 11813541 markings, 15685679 edges, 27100 markings/sec, 480 secs
lola: 11946192 markings, 15870421 edges, 26530 markings/sec, 485 secs
lola: 12082844 markings, 16043275 edges, 27330 markings/sec, 490 secs
lola: 12214422 markings, 16214541 edges, 26316 markings/sec, 495 secs
lola: 12342889 markings, 16401066 edges, 25693 markings/sec, 500 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 1 1 1 unknown 1 1 1 1 1 unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1324328 KB
lola: time consumption: 1030 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 508 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p743)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p743)
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: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 161207 markings, 171423 edges, 32241 markings/sec, 30 secs
lola: 322946 markings, 343406 edges, 32348 markings/sec, 35 secs
lola: 487569 markings, 518489 edges, 32925 markings/sec, 40 secs
lola: 660883 markings, 702830 edges, 34663 markings/sec, 45 secs
lola: 829119 markings, 881788 edges, 33647 markings/sec, 50 secs
lola: 993085 markings, 1056170 edges, 32793 markings/sec, 55 secs
lola: 1154018 markings, 1227344 edges, 32187 markings/sec, 60 secs
lola: 1309620 markings, 1392878 edges, 31120 markings/sec, 65 secs
lola: 1465929 markings, 1559154 edges, 31262 markings/sec, 70 secs
lola: 1654077 markings, 1760538 edges, 37630 markings/sec, 75 secs
lola: 1853825 markings, 1978069 edges, 39950 markings/sec, 80 secs
lola: 1984598 markings, 2166421 edges, 26155 markings/sec, 85 secs
lola: 2068035 markings, 2367535 edges, 16687 markings/sec, 90 secs
lola: 2153478 markings, 2581845 edges, 17089 markings/sec, 95 secs
lola: 2236193 markings, 2819933 edges, 16543 markings/sec, 100 secs
lola: 2311595 markings, 3065880 edges, 15080 markings/sec, 105 secs
lola: 2392204 markings, 3301105 edges, 16122 markings/sec, 110 secs
lola: 2473728 markings, 3542833 edges, 16305 markings/sec, 115 secs
lola: 2550870 markings, 3790516 edges, 15428 markings/sec, 120 secs
lola: 2633805 markings, 4027585 edges, 16587 markings/sec, 125 secs
lola: 2700708 markings, 4300790 edges, 13381 markings/sec, 130 secs
lola: 2777718 markings, 4549270 edges, 15402 markings/sec, 135 secs
lola: 2846405 markings, 4822700 edges, 13737 markings/sec, 140 secs
lola: 2909546 markings, 5105566 edges, 12628 markings/sec, 145 secs
lola: 2980835 markings, 5365858 edges, 14258 markings/sec, 150 secs
lola: 3046676 markings, 5643579 edges, 13168 markings/sec, 155 secs
lola: 3116509 markings, 5911169 edges, 13967 markings/sec, 160 secs
lola: 3197691 markings, 6159581 edges, 16236 markings/sec, 165 secs
lola: 3284487 markings, 6392441 edges, 17359 markings/sec, 170 secs
lola: 3378155 markings, 6606807 edges, 18734 markings/sec, 175 secs
lola: 3462097 markings, 6846923 edges, 16788 markings/sec, 180 secs
lola: 3540223 markings, 7100798 edges, 15625 markings/sec, 185 secs
lola: 3618498 markings, 7350054 edges, 15655 markings/sec, 190 secs
lola: 3701905 markings, 7593119 edges, 16681 markings/sec, 195 secs
lola: 3782769 markings, 7843943 edges, 16173 markings/sec, 200 secs
lola: 3864473 markings, 8087888 edges, 16341 markings/sec, 205 secs
lola: 3934279 markings, 8359850 edges, 13961 markings/sec, 210 secs
lola: 4007576 markings, 8619560 edges, 14659 markings/sec, 215 secs
lola: 4078059 markings, 8890826 edges, 14097 markings/sec, 220 secs
lola: 4143482 markings, 9174866 edges, 13085 markings/sec, 225 secs
lola: 4211886 markings, 9447620 edges, 13681 markings/sec, 230 secs
lola: 4281888 markings, 9721445 edges, 14000 markings/sec, 235 secs
lola: 4349374 markings, 10000346 edges, 13497 markings/sec, 240 secs
lola: 4443527 markings, 10216891 edges, 18831 markings/sec, 245 secs
lola: 4527574 markings, 10452758 edges, 16809 markings/sec, 250 secs
lola: 4613034 markings, 10671275 edges, 17092 markings/sec, 255 secs
lola: 4694947 markings, 10907440 edges, 16383 markings/sec, 260 secs
lola: 4773119 markings, 11144662 edges, 15634 markings/sec, 265 secs
lola: 4847996 markings, 11402902 edges, 14975 markings/sec, 270 secs
lola: 4933427 markings, 11631535 edges, 17086 markings/sec, 275 secs
lola: 5009422 markings, 11876987 edges, 15199 markings/sec, 280 secs
lola: 5084344 markings, 12116731 edges, 14984 markings/sec, 285 secs
lola: 5153638 markings, 12373372 edges, 13859 markings/sec, 290 secs
lola: 5222454 markings, 12627270 edges, 13763 markings/sec, 295 secs
lola: 5291407 markings, 12891998 edges, 13791 markings/sec, 300 secs
lola: 5354986 markings, 13168369 edges, 12716 markings/sec, 305 secs
lola: 5422270 markings, 13436198 edges, 13457 markings/sec, 310 secs
lola: 5491424 markings, 13706675 edges, 13831 markings/sec, 315 secs
lola: 5558483 markings, 13983411 edges, 13412 markings/sec, 320 secs
lola: 5652550 markings, 14202578 edges, 18813 markings/sec, 325 secs
lola: 5737603 markings, 14440403 edges, 17011 markings/sec, 330 secs
lola: 5825345 markings, 14665777 edges, 17548 markings/sec, 335 secs
lola: 5908805 markings, 14906065 edges, 16692 markings/sec, 340 secs
lola: 5989606 markings, 15151689 edges, 16160 markings/sec, 345 secs
lola: 6066118 markings, 15405434 edges, 15302 markings/sec, 350 secs
lola: 6148554 markings, 15635859 edges, 16487 markings/sec, 355 secs
lola: 6225605 markings, 15880276 edges, 15410 markings/sec, 360 secs
lola: 6299650 markings, 16125856 edges, 14809 markings/sec, 365 secs
lola: 6370419 markings, 16381414 edges, 14154 markings/sec, 370 secs
lola: 6438441 markings, 16640130 edges, 13604 markings/sec, 375 secs
lola: 6507487 markings, 16906390 edges, 13809 markings/sec, 380 secs
lola: 6572473 markings, 17178977 edges, 12997 markings/sec, 385 secs
lola: 6637341 markings, 17448903 edges, 12974 markings/sec, 390 secs
lola: 6705842 markings, 17712229 edges, 13700 markings/sec, 395 secs
lola: 6769871 markings, 17976447 edges, 12806 markings/sec, 400 secs
lola: 6854579 markings, 18172205 edges, 16942 markings/sec, 405 secs
lola: 6928367 markings, 18387557 edges, 14758 markings/sec, 410 secs
lola: 7014941 markings, 18587558 edges, 17315 markings/sec, 415 secs
lola: 7091217 markings, 18806815 edges, 15255 markings/sec, 420 secs
lola: 7161794 markings, 19041303 edges, 14115 markings/sec, 425 secs
lola: 7234856 markings, 19258856 edges, 14612 markings/sec, 430 secs
lola: 7313540 markings, 19491141 edges, 15737 markings/sec, 435 secs
lola: 7392877 markings, 19745630 edges, 15867 markings/sec, 440 secs
lola: 7476527 markings, 19985770 edges, 16730 markings/sec, 445 secs
lola: 7545893 markings, 20265998 edges, 13873 markings/sec, 450 secs
lola: 7623957 markings, 20521274 edges, 15613 markings/sec, 455 secs
lola: 7694909 markings, 20799849 edges, 14190 markings/sec, 460 secs
lola: 7760100 markings, 21091629 edges, 13038 markings/sec, 465 secs
lola: 7831451 markings, 21364284 edges, 14270 markings/sec, 470 secs
lola: 7901913 markings, 21643899 edges, 14092 markings/sec, 475 secs
lola: 7971924 markings, 21925243 edges, 14002 markings/sec, 480 secs
lola: 8077763 markings, 22167016 edges, 21168 markings/sec, 485 secs
lola: 8198607 markings, 22412627 edges, 24169 markings/sec, 490 secs
lola: 8320133 markings, 22648246 edges, 24305 markings/sec, 495 secs
lola: 8444307 markings, 22881459 edges, 24835 markings/sec, 500 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 1 1 1 unknown 1 1 1 1 1 unknown unknown unknown unknown unknown unknown
lola: memory consumption: 684336 KB
lola: time consumption: 1538 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 12 will run for 508 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1132)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1132)
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: 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: 105 markings, 104 edges, 21 markings/sec, 25 secs
lola: 161779 markings, 172298 edges, 32335 markings/sec, 30 secs
lola: 331279 markings, 343244 edges, 33900 markings/sec, 35 secs
lola: 501952 markings, 515933 edges, 34135 markings/sec, 40 secs
lola: 671742 markings, 687932 edges, 33958 markings/sec, 45 secs
lola: 840850 markings, 858766 edges, 33822 markings/sec, 50 secs
lola: 1009874 markings, 1030566 edges, 33805 markings/sec, 55 secs
lola: 1179096 markings, 1202824 edges, 33844 markings/sec, 60 secs
lola: 1349197 markings, 1375493 edges, 34020 markings/sec, 65 secs
lola: 1518710 markings, 1546872 edges, 33903 markings/sec, 70 secs
lola: 1688432 markings, 1718795 edges, 33944 markings/sec, 75 secs
lola: 1855605 markings, 1888133 edges, 33435 markings/sec, 80 secs
lola: 2024749 markings, 2058924 edges, 33829 markings/sec, 85 secs
lola: 2194362 markings, 2229854 edges, 33923 markings/sec, 90 secs
lola: 2365921 markings, 2402984 edges, 34312 markings/sec, 95 secs
lola: 2534607 markings, 2573742 edges, 33737 markings/sec, 100 secs
lola: 2700719 markings, 2742223 edges, 33222 markings/sec, 105 secs
lola: 2867121 markings, 2910135 edges, 33280 markings/sec, 110 secs
lola: 3028618 markings, 3074198 edges, 32299 markings/sec, 115 secs
lola: 3192930 markings, 3239924 edges, 32862 markings/sec, 120 secs
lola: 3358601 markings, 3407204 edges, 33134 markings/sec, 125 secs
lola: 3527456 markings, 3577583 edges, 33771 markings/sec, 130 secs
lola: 3695536 markings, 3747113 edges, 33616 markings/sec, 135 secs
lola: 3867682 markings, 3921004 edges, 34429 markings/sec, 140 secs
lola: 4039529 markings, 4094859 edges, 34369 markings/sec, 145 secs
lola: 4208343 markings, 4265512 edges, 33763 markings/sec, 150 secs
lola: 4380072 markings, 4439560 edges, 34346 markings/sec, 155 secs
lola: 4551824 markings, 4613575 edges, 34350 markings/sec, 160 secs
lola: 4718521 markings, 4781935 edges, 33339 markings/sec, 165 secs
lola: 4890987 markings, 4956947 edges, 34493 markings/sec, 170 secs
lola: 5063097 markings, 5131462 edges, 34422 markings/sec, 175 secs
lola: 5235316 markings, 5305476 edges, 34444 markings/sec, 180 secs
lola: 5396507 markings, 5468989 edges, 32238 markings/sec, 185 secs
lola: 5557941 markings, 5632994 edges, 32287 markings/sec, 190 secs
lola: 5724507 markings, 5802104 edges, 33313 markings/sec, 195 secs
lola: 5890879 markings, 5971157 edges, 33274 markings/sec, 200 secs
lola: 6057643 markings, 6140520 edges, 33353 markings/sec, 205 secs
lola: 6224885 markings, 6310364 edges, 33448 markings/sec, 210 secs
lola: 6390284 markings, 6479416 edges, 33080 markings/sec, 215 secs
lola: 6554646 markings, 6646230 edges, 32872 markings/sec, 220 secs
lola: 6723613 markings, 6817860 edges, 33793 markings/sec, 225 secs
lola: 6886735 markings, 6984249 edges, 32624 markings/sec, 230 secs
lola: 7050832 markings, 7150409 edges, 32819 markings/sec, 235 secs
lola: 7213904 markings, 7316062 edges, 32614 markings/sec, 240 secs
lola: 7379430 markings, 7483526 edges, 33105 markings/sec, 245 secs
lola: 7543207 markings, 7650335 edges, 32755 markings/sec, 250 secs
lola: 7704038 markings, 7813929 edges, 32166 markings/sec, 255 secs
lola: 7866308 markings, 7978807 edges, 32454 markings/sec, 260 secs
lola: 8030100 markings, 8144283 edges, 32758 markings/sec, 265 secs
lola: 8193783 markings, 8311071 edges, 32737 markings/sec, 270 secs
lola: 8355329 markings, 8475414 edges, 32309 markings/sec, 275 secs
lola: 8519044 markings, 8641734 edges, 32743 markings/sec, 280 secs
lola: 8689053 markings, 8814482 edges, 34002 markings/sec, 285 secs
lola: 8859005 markings, 8987823 edges, 33990 markings/sec, 290 secs
lola: 9029836 markings, 9161376 edges, 34166 markings/sec, 295 secs
lola: 9200298 markings, 9334654 edges, 34092 markings/sec, 300 secs
lola: 9370531 markings, 9507827 edges, 34047 markings/sec, 305 secs
lola: 9540662 markings, 9680692 edges, 34026 markings/sec, 310 secs
lola: 9710571 markings, 9852896 edges, 33982 markings/sec, 315 secs
lola: 9877392 markings, 10022837 edges, 33364 markings/sec, 320 secs
lola: 10044025 markings, 10192312 edges, 33327 markings/sec, 325 secs
lola: 10212689 markings, 10363301 edges, 33733 markings/sec, 330 secs
lola: 10380914 markings, 10534107 edges, 33645 markings/sec, 335 secs
lola: 10549102 markings, 10704609 edges, 33638 markings/sec, 340 secs
lola: 10717581 markings, 10876116 edges, 33696 markings/sec, 345 secs
lola: 10882623 markings, 11043778 edges, 33008 markings/sec, 350 secs
lola: 11049781 markings, 11213760 edges, 33432 markings/sec, 355 secs
lola: 11212665 markings, 11379633 edges, 32577 markings/sec, 360 secs
lola: 11367458 markings, 11537212 edges, 30959 markings/sec, 365 secs
lola: 11530225 markings, 11703840 edges, 32553 markings/sec, 370 secs
lola: 11691086 markings, 11870644 edges, 32172 markings/sec, 375 secs
lola: 11837497 markings, 12023017 edges, 29282 markings/sec, 380 secs
lola: 11993005 markings, 12184784 edges, 31102 markings/sec, 385 secs
lola: 12144543 markings, 12342270 edges, 30308 markings/sec, 390 secs
lola: 12296844 markings, 12501661 edges, 30460 markings/sec, 395 secs
lola: 12460023 markings, 12671456 edges, 32636 markings/sec, 400 secs
lola: 12612244 markings, 12830812 edges, 30444 markings/sec, 405 secs
lola: 12775473 markings, 13000857 edges, 32646 markings/sec, 410 secs
lola: 12942700 markings, 13174563 edges, 33445 markings/sec, 415 secs
lola: 13105012 markings, 13343943 edges, 32462 markings/sec, 420 secs
lola: 13258356 markings, 13503245 edges, 30669 markings/sec, 425 secs
lola: 13411666 markings, 13662267 edges, 30662 markings/sec, 430 secs
lola: 13570330 markings, 13826900 edges, 31733 markings/sec, 435 secs
lola: 13721833 markings, 13984425 edges, 30301 markings/sec, 440 secs
lola: 13874317 markings, 14143117 edges, 30497 markings/sec, 445 secs
lola: 14026213 markings, 14301674 edges, 30379 markings/sec, 450 secs
lola: 14187881 markings, 14469677 edges, 32334 markings/sec, 455 secs
lola: 14354390 markings, 14642860 edges, 33302 markings/sec, 460 secs
lola: 14519807 markings, 14815550 edges, 33083 markings/sec, 465 secs
lola: 14684938 markings, 14987377 edges, 33026 markings/sec, 470 secs
lola: 14851177 markings, 15160394 edges, 33248 markings/sec, 475 secs
lola: 15016381 markings, 15332714 edges, 33041 markings/sec, 480 secs
lola: 15181726 markings, 15505083 edges, 33069 markings/sec, 485 secs
lola: 15346352 markings, 15676836 edges, 32925 markings/sec, 490 secs
lola: 15510387 markings, 15848265 edges, 32807 markings/sec, 495 secs
lola: 15674415 markings, 16020082 edges, 32806 markings/sec, 500 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 1 1 1 unknown 1 1 1 1 1 unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1588328 KB
lola: time consumption: 2046 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 508 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1078)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1078)
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: 58 markings, 57 edges
lola: ========================================
lola: subprocess 14 will run for 761 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p439)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p439)
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: 57 markings, 56 edges
lola: ========================================
lola: subprocess 15 will run for 1522 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1067)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1067)
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: 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: 143658 markings, 164098 edges, 28732 markings/sec, 30 secs
lola: 278019 markings, 330982 edges, 26872 markings/sec, 35 secs
lola: 412754 markings, 500484 edges, 26947 markings/sec, 40 secs
lola: 542872 markings, 679660 edges, 26024 markings/sec, 45 secs
lola: 668825 markings, 864952 edges, 25191 markings/sec, 50 secs
lola: 798373 markings, 1045583 edges, 25910 markings/sec, 55 secs
lola: 927433 markings, 1224980 edges, 25812 markings/sec, 60 secs
lola: 1062631 markings, 1394147 edges, 27040 markings/sec, 65 secs
lola: 1192647 markings, 1567065 edges, 26003 markings/sec, 70 secs
lola: 1319267 markings, 1749615 edges, 25324 markings/sec, 75 secs
lola: 1441898 markings, 1926631 edges, 24526 markings/sec, 80 secs
lola: 1571557 markings, 2105427 edges, 25932 markings/sec, 85 secs
lola: 1700164 markings, 2282415 edges, 25721 markings/sec, 90 secs
lola: 1822664 markings, 2460654 edges, 24500 markings/sec, 95 secs
lola: 1953059 markings, 2633953 edges, 26079 markings/sec, 100 secs
lola: 2083759 markings, 2805758 edges, 26140 markings/sec, 105 secs
lola: 2208814 markings, 2986900 edges, 25011 markings/sec, 110 secs
lola: 2339310 markings, 3167521 edges, 26099 markings/sec, 115 secs
lola: 2470283 markings, 3337194 edges, 26195 markings/sec, 120 secs
lola: 2597719 markings, 3519499 edges, 25487 markings/sec, 125 secs
lola: 2725438 markings, 3699673 edges, 25544 markings/sec, 130 secs
lola: 2864614 markings, 3860248 edges, 27835 markings/sec, 135 secs
lola: 3001460 markings, 4023968 edges, 27369 markings/sec, 140 secs
lola: 3134900 markings, 4193364 edges, 26688 markings/sec, 145 secs
lola: 3266040 markings, 4363807 edges, 26228 markings/sec, 150 secs
lola: 3398376 markings, 4538669 edges, 26467 markings/sec, 155 secs
lola: 3530992 markings, 4709548 edges, 26523 markings/sec, 160 secs
lola: 3661479 markings, 4879910 edges, 26097 markings/sec, 165 secs
lola: 3789499 markings, 5047129 edges, 25604 markings/sec, 170 secs
lola: 3912863 markings, 5210681 edges, 24673 markings/sec, 175 secs
lola: 4036186 markings, 5370962 edges, 24665 markings/sec, 180 secs
lola: 4159132 markings, 5531377 edges, 24589 markings/sec, 185 secs
lola: 4286104 markings, 5677671 edges, 25394 markings/sec, 190 secs
lola: 4413873 markings, 5827200 edges, 25554 markings/sec, 195 secs
lola: 4538871 markings, 5981417 edges, 25000 markings/sec, 200 secs
lola: 4664343 markings, 6147325 edges, 25094 markings/sec, 205 secs
lola: 4790498 markings, 6315685 edges, 25231 markings/sec, 210 secs
lola: 4908827 markings, 6497759 edges, 23666 markings/sec, 215 secs
lola: 5034367 markings, 6668879 edges, 25108 markings/sec, 220 secs
lola: 5166369 markings, 6827779 edges, 26400 markings/sec, 225 secs
lola: 5295415 markings, 6990453 edges, 25809 markings/sec, 230 secs
lola: 5415687 markings, 7152548 edges, 24054 markings/sec, 235 secs
lola: 5533964 markings, 7318310 edges, 23655 markings/sec, 240 secs
lola: 5651502 markings, 7492029 edges, 23508 markings/sec, 245 secs
lola: 5773416 markings, 7651286 edges, 24383 markings/sec, 250 secs
lola: 5897539 markings, 7807557 edges, 24825 markings/sec, 255 secs
lola: 6022512 markings, 7962261 edges, 24995 markings/sec, 260 secs
lola: 6153909 markings, 8129220 edges, 26279 markings/sec, 265 secs
lola: 6287867 markings, 8296563 edges, 26792 markings/sec, 270 secs
lola: 6420195 markings, 8468112 edges, 26466 markings/sec, 275 secs
lola: 6552230 markings, 8641258 edges, 26407 markings/sec, 280 secs
lola: 6682154 markings, 8807004 edges, 25985 markings/sec, 285 secs
lola: 6807468 markings, 8974223 edges, 25063 markings/sec, 290 secs
lola: 6940840 markings, 9146318 edges, 26674 markings/sec, 295 secs
lola: 7071196 markings, 9317064 edges, 26071 markings/sec, 300 secs
lola: 7199597 markings, 9486266 edges, 25680 markings/sec, 305 secs
lola: 7329772 markings, 9654770 edges, 26035 markings/sec, 310 secs
lola: 7458456 markings, 9820860 edges, 25737 markings/sec, 315 secs
lola: 7591022 markings, 9977336 edges, 26513 markings/sec, 320 secs
lola: 7713773 markings, 10137333 edges, 24550 markings/sec, 325 secs
lola: 7837059 markings, 10285900 edges, 24657 markings/sec, 330 secs
lola: 7960542 markings, 10439909 edges, 24697 markings/sec, 335 secs
lola: 8091004 markings, 10599371 edges, 26092 markings/sec, 340 secs
lola: 8225796 markings, 10763200 edges, 26958 markings/sec, 345 secs
lola: 8355405 markings, 10934439 edges, 25922 markings/sec, 350 secs
lola: 8479093 markings, 11113546 edges, 24738 markings/sec, 355 secs
lola: 8602471 markings, 11294331 edges, 24676 markings/sec, 360 secs
lola: 8730690 markings, 11469500 edges, 25644 markings/sec, 365 secs
lola: 8860245 markings, 11639908 edges, 25911 markings/sec, 370 secs
lola: 8989641 markings, 11805399 edges, 25879 markings/sec, 375 secs
lola: 9115842 markings, 11981833 edges, 25240 markings/sec, 380 secs
lola: 9238596 markings, 12164351 edges, 24551 markings/sec, 385 secs
lola: 9370355 markings, 12339181 edges, 26352 markings/sec, 390 secs
lola: 9500001 markings, 12517711 edges, 25929 markings/sec, 395 secs
lola: 9626913 markings, 12698497 edges, 25382 markings/sec, 400 secs
lola: 9750645 markings, 12881477 edges, 24746 markings/sec, 405 secs
lola: 9879586 markings, 13057687 edges, 25788 markings/sec, 410 secs
lola: 10000043 markings, 13225122 edges, 24091 markings/sec, 415 secs
lola: 10124552 markings, 13376800 edges, 24902 markings/sec, 420 secs
lola: 10244966 markings, 13533917 edges, 24083 markings/sec, 425 secs
lola: 10361913 markings, 13696963 edges, 23389 markings/sec, 430 secs
lola: 10485283 markings, 13856074 edges, 24674 markings/sec, 435 secs
lola: 10608486 markings, 14014616 edges, 24641 markings/sec, 440 secs
lola: 10726973 markings, 14181320 edges, 23697 markings/sec, 445 secs
lola: 10848631 markings, 14361982 edges, 24332 markings/sec, 450 secs
lola: 10976796 markings, 14532440 edges, 25633 markings/sec, 455 secs
lola: 11101967 markings, 14706509 edges, 25034 markings/sec, 460 secs
lola: 11227053 markings, 14881652 edges, 25017 markings/sec, 465 secs
lola: 11348577 markings, 15061718 edges, 24305 markings/sec, 470 secs
lola: 11473726 markings, 15234320 edges, 25030 markings/sec, 475 secs
lola: 11599467 markings, 15408988 edges, 25148 markings/sec, 480 secs
lola: 11728845 markings, 15569820 edges, 25876 markings/sec, 485 secs
lola: 11855552 markings, 15738101 edges, 25341 markings/sec, 490 secs
lola: 11981450 markings, 15912983 edges, 25180 markings/sec, 495 secs
lola: 12112060 markings, 16076716 edges, 26122 markings/sec, 500 secs
lola: 12244380 markings, 16251344 edges, 26464 markings/sec, 505 secs
lola: 12366947 markings, 16428766 edges, 24513 markings/sec, 510 secs
lola: 12494222 markings, 16609020 edges, 25455 markings/sec, 515 secs
lola: 12620991 markings, 16784125 edges, 25354 markings/sec, 520 secs
lola: 12749227 markings, 16957464 edges, 25647 markings/sec, 525 secs
lola: 12873782 markings, 17137392 edges, 24911 markings/sec, 530 secs
lola: 13000007 markings, 17312678 edges, 25245 markings/sec, 535 secs
lola: 13129370 markings, 17479468 edges, 25873 markings/sec, 540 secs
lola: 13256783 markings, 17652477 edges, 25483 markings/sec, 545 secs
lola: 13380438 markings, 17821871 edges, 24731 markings/sec, 550 secs
lola: 13506662 markings, 17993400 edges, 25245 markings/sec, 555 secs
lola: 13629799 markings, 18159221 edges, 24627 markings/sec, 560 secs
lola: 13746890 markings, 18329208 edges, 23418 markings/sec, 565 secs
lola: 13862214 markings, 18499325 edges, 23065 markings/sec, 570 secs
lola: 13981540 markings, 18661011 edges, 23865 markings/sec, 575 secs
lola: 14101660 markings, 18822830 edges, 24024 markings/sec, 580 secs
lola: 14218857 markings, 18986384 edges, 23439 markings/sec, 585 secs
lola: 14335395 markings, 19145721 edges, 23308 markings/sec, 590 secs
lola: 14449801 markings, 19312080 edges, 22881 markings/sec, 595 secs
lola: 14564639 markings, 19470551 edges, 22968 markings/sec, 600 secs
lola: 14687407 markings, 19620469 edges, 24554 markings/sec, 605 secs
lola: 14808785 markings, 19776014 edges, 24276 markings/sec, 610 secs
lola: 14923722 markings, 19938563 edges, 22987 markings/sec, 615 secs
lola: 15036622 markings, 20105399 edges, 22580 markings/sec, 620 secs
lola: 15153095 markings, 20267408 edges, 23295 markings/sec, 625 secs
lola: 15269806 markings, 20430509 edges, 23342 markings/sec, 630 secs
lola: 15392422 markings, 20586200 edges, 24523 markings/sec, 635 secs
lola: 15518973 markings, 20749429 edges, 25310 markings/sec, 640 secs
lola: 15639501 markings, 20922505 edges, 24106 markings/sec, 645 secs
lola: 15759180 markings, 21098323 edges, 23936 markings/sec, 650 secs
lola: 15883878 markings, 21269594 edges, 24940 markings/sec, 655 secs
lola: 16006342 markings, 21433821 edges, 24493 markings/sec, 660 secs
lola: 16124681 markings, 21606691 edges, 23668 markings/sec, 665 secs
lola: 16247090 markings, 21779171 edges, 24482 markings/sec, 670 secs
lola: 16371916 markings, 21934649 edges, 24965 markings/sec, 675 secs
lola: 16498983 markings, 22081415 edges, 25413 markings/sec, 680 secs
lola: 16631276 markings, 22233713 edges, 26459 markings/sec, 685 secs
lola: 16755483 markings, 22380532 edges, 24841 markings/sec, 690 secs
lola: 16876674 markings, 22532409 edges, 24238 markings/sec, 695 secs
lola: 16997098 markings, 22691563 edges, 24085 markings/sec, 700 secs
lola: 17118053 markings, 22853284 edges, 24191 markings/sec, 705 secs
lola: 17234151 markings, 23032071 edges, 23220 markings/sec, 710 secs
lola: 17356174 markings, 23201414 edges, 24405 markings/sec, 715 secs
lola: 17488222 markings, 23354533 edges, 26410 markings/sec, 720 secs
lola: 17619796 markings, 23506715 edges, 26315 markings/sec, 725 secs
lola: 17749369 markings, 23662499 edges, 25915 markings/sec, 730 secs
lola: 17875394 markings, 23820444 edges, 25205 markings/sec, 735 secs
lola: 17999088 markings, 23987506 edges, 24739 markings/sec, 740 secs
lola: 18119336 markings, 24152779 edges, 24050 markings/sec, 745 secs
lola: 18236398 markings, 24327808 edges, 23412 markings/sec, 750 secs
lola: 18357841 markings, 24494257 edges, 24289 markings/sec, 755 secs
lola: 18486769 markings, 24656049 edges, 25786 markings/sec, 760 secs
lola: 18615429 markings, 24813368 edges, 25732 markings/sec, 765 secs
lola: 18746311 markings, 24973148 edges, 26176 markings/sec, 770 secs
lola: 18871588 markings, 25144515 edges, 25055 markings/sec, 775 secs
lola: 19001206 markings, 25305293 edges, 25924 markings/sec, 780 secs
lola: 19132785 markings, 25461335 edges, 26316 markings/sec, 785 secs
lola: 19263056 markings, 25618402 edges, 26054 markings/sec, 790 secs
lola: 19391222 markings, 25780840 edges, 25633 markings/sec, 795 secs
lola: 19519095 markings, 25945223 edges, 25575 markings/sec, 800 secs
lola: 19649421 markings, 26104577 edges, 26065 markings/sec, 805 secs
lola: 19781464 markings, 26260337 edges, 26409 markings/sec, 810 secs
lola: 19913540 markings, 26417984 edges, 26415 markings/sec, 815 secs
lola: 20043843 markings, 26572439 edges, 26061 markings/sec, 820 secs
lola: 20173877 markings, 26728138 edges, 26007 markings/sec, 825 secs
lola: 20303964 markings, 26884224 edges, 26017 markings/sec, 830 secs
lola: 20436450 markings, 27040972 edges, 26497 markings/sec, 835 secs
lola: 20565397 markings, 27200073 edges, 25789 markings/sec, 840 secs
lola: 20695757 markings, 27359727 edges, 26072 markings/sec, 845 secs
lola: 20825685 markings, 27516781 edges, 25986 markings/sec, 850 secs
lola: 20959312 markings, 27673994 edges, 26725 markings/sec, 855 secs
lola: 21087300 markings, 27838257 edges, 25598 markings/sec, 860 secs
lola: 21204331 markings, 28007586 edges, 23406 markings/sec, 865 secs
lola: 21323074 markings, 28183095 edges, 23749 markings/sec, 870 secs
lola: 21455735 markings, 28345218 edges, 26532 markings/sec, 875 secs
lola: 21591004 markings, 28502125 edges, 27054 markings/sec, 880 secs
lola: 21726264 markings, 28657472 edges, 27052 markings/sec, 885 secs
lola: 21859890 markings, 28811680 edges, 26725 markings/sec, 890 secs
lola: 21992908 markings, 28968507 edges, 26604 markings/sec, 895 secs
lola: 22127017 markings, 29130897 edges, 26822 markings/sec, 900 secs
lola: 22253900 markings, 29283109 edges, 25377 markings/sec, 905 secs
lola: 22381192 markings, 29435429 edges, 25458 markings/sec, 910 secs
lola: 22505991 markings, 29589640 edges, 24960 markings/sec, 915 secs
lola: 22634750 markings, 29752952 edges, 25752 markings/sec, 920 secs
lola: 22764247 markings, 29931593 edges, 25899 markings/sec, 925 secs
lola: 22890730 markings, 30117714 edges, 25297 markings/sec, 930 secs
lola: 23020514 markings, 30297621 edges, 25957 markings/sec, 935 secs
lola: 23146417 markings, 30472648 edges, 25181 markings/sec, 940 secs
lola: 23277620 markings, 30635939 edges, 26241 markings/sec, 945 secs
lola: 23408694 markings, 30810182 edges, 26215 markings/sec, 950 secs
lola: 23535389 markings, 30992828 edges, 25339 markings/sec, 955 secs
lola: 23662324 markings, 31175021 edges, 25387 markings/sec, 960 secs
lola: 23788439 markings, 31349214 edges, 25223 markings/sec, 965 secs
lola: 23913524 markings, 31521019 edges, 25017 markings/sec, 970 secs
lola: 24039128 markings, 31703306 edges, 25121 markings/sec, 975 secs
lola: 24162393 markings, 31872491 edges, 24653 markings/sec, 980 secs
lola: 24288899 markings, 32046106 edges, 25301 markings/sec, 985 secs
lola: 24412452 markings, 32226941 edges, 24711 markings/sec, 990 secs
lola: 24542649 markings, 32391205 edges, 26039 markings/sec, 995 secs
lola: 24665608 markings, 32559250 edges, 24592 markings/sec, 1000 secs
lola: 24785950 markings, 32723985 edges, 24068 markings/sec, 1005 secs
lola: 24904651 markings, 32873447 edges, 23740 markings/sec, 1010 secs
lola: 25025587 markings, 33016350 edges, 24187 markings/sec, 1015 secs
lola: 25157976 markings, 33173943 edges, 26478 markings/sec, 1020 secs
lola: 25285301 markings, 33333245 edges, 25465 markings/sec, 1025 secs
lola: 25406696 markings, 33490398 edges, 24279 markings/sec, 1030 secs
lola: 25526462 markings, 33663959 edges, 23953 markings/sec, 1035 secs
lola: 25640263 markings, 33830828 edges, 22760 markings/sec, 1040 secs
lola: 25761308 markings, 33981499 edges, 24209 markings/sec, 1045 secs
lola: 25880239 markings, 34138826 edges, 23786 markings/sec, 1050 secs
lola: 26004996 markings, 34320647 edges, 24951 markings/sec, 1055 secs
lola: 26132401 markings, 34495740 edges, 25481 markings/sec, 1060 secs
lola: 26264019 markings, 34665396 edges, 26324 markings/sec, 1065 secs
lola: 26382498 markings, 34837400 edges, 23696 markings/sec, 1070 secs
lola: 26494922 markings, 35004192 edges, 22485 markings/sec, 1075 secs
lola: 26611959 markings, 35164170 edges, 23407 markings/sec, 1080 secs
lola: 26736261 markings, 35334799 edges, 24860 markings/sec, 1085 secs
lola: 26864563 markings, 35512470 edges, 25660 markings/sec, 1090 secs
lola: 26990076 markings, 35663081 edges, 25103 markings/sec, 1095 secs
lola: 27114245 markings, 35808215 edges, 24834 markings/sec, 1100 secs
lola: 27237809 markings, 35953296 edges, 24713 markings/sec, 1105 secs
lola: 27364237 markings, 36104813 edges, 25286 markings/sec, 1110 secs
lola: 27489208 markings, 36252790 edges, 24994 markings/sec, 1115 secs
lola: 27614070 markings, 36402119 edges, 24972 markings/sec, 1120 secs
lola: 27737684 markings, 36551656 edges, 24723 markings/sec, 1125 secs
lola: 27865363 markings, 36702615 edges, 25536 markings/sec, 1130 secs
lola: 27983574 markings, 36847139 edges, 23642 markings/sec, 1135 secs
lola: 28112057 markings, 37004707 edges, 25697 markings/sec, 1140 secs
lola: 28247381 markings, 37172375 edges, 27065 markings/sec, 1145 secs
lola: 28384760 markings, 37338584 edges, 27476 markings/sec, 1150 secs
lola: 28520841 markings, 37502902 edges, 27216 markings/sec, 1155 secs
lola: 28654145 markings, 37667596 edges, 26661 markings/sec, 1160 secs
lola: 28786864 markings, 37831023 edges, 26544 markings/sec, 1165 secs
lola: 28917469 markings, 37990030 edges, 26121 markings/sec, 1170 secs
lola: 29049650 markings, 38150134 edges, 26436 markings/sec, 1175 secs
lola: 29184367 markings, 38312065 edges, 26943 markings/sec, 1180 secs
lola: 29313335 markings, 38479668 edges, 25794 markings/sec, 1185 secs
lola: 29437739 markings, 38661281 edges, 24881 markings/sec, 1190 secs
lola: 29564934 markings, 38836005 edges, 25439 markings/sec, 1195 secs
lola: 29700986 markings, 38993709 edges, 27210 markings/sec, 1200 secs
lola: 29838711 markings, 39151438 edges, 27545 markings/sec, 1205 secs
lola: 29967579 markings, 39302640 edges, 25774 markings/sec, 1210 secs
lola: 30097936 markings, 39458492 edges, 26071 markings/sec, 1215 secs
lola: 30231445 markings, 39619740 edges, 26702 markings/sec, 1220 secs
lola: 30367645 markings, 39778165 edges, 27240 markings/sec, 1225 secs
lola: 30502020 markings, 39939069 edges, 26875 markings/sec, 1230 secs
lola: 30633201 markings, 40100410 edges, 26236 markings/sec, 1235 secs
lola: 30764443 markings, 40261361 edges, 26248 markings/sec, 1240 secs
lola: 30895798 markings, 40430296 edges, 26271 markings/sec, 1245 secs
lola: 31013443 markings, 40601763 edges, 23529 markings/sec, 1250 secs
lola: 31127797 markings, 40771166 edges, 22871 markings/sec, 1255 secs
lola: 31252602 markings, 40941815 edges, 24961 markings/sec, 1260 secs
lola: 31370399 markings, 41104381 edges, 23559 markings/sec, 1265 secs
lola: 31493883 markings, 41256278 edges, 24697 markings/sec, 1270 secs
lola: 31612279 markings, 41414175 edges, 23679 markings/sec, 1275 secs
lola: 31733488 markings, 41589126 edges, 24242 markings/sec, 1280 secs
lola: 31859143 markings, 41769017 edges, 25131 markings/sec, 1285 secs
lola: 31987284 markings, 41946126 edges, 25628 markings/sec, 1290 secs
lola: 32114219 markings, 42119325 edges, 25387 markings/sec, 1295 secs
lola: 32239471 markings, 42300961 edges, 25050 markings/sec, 1300 secs
lola: 32353927 markings, 42461885 edges, 22891 markings/sec, 1305 secs
lola: 32476938 markings, 42632139 edges, 24602 markings/sec, 1310 secs
lola: 32598891 markings, 42811787 edges, 24391 markings/sec, 1315 secs
lola: 32731969 markings, 42976927 edges, 26616 markings/sec, 1320 secs
lola: 32856675 markings, 43140937 edges, 24941 markings/sec, 1325 secs
lola: 32975500 markings, 43303691 edges, 23765 markings/sec, 1330 secs
lola: 33100044 markings, 43449352 edges, 24909 markings/sec, 1335 secs
lola: 33223128 markings, 43597157 edges, 24617 markings/sec, 1340 secs
lola: 33353491 markings, 43759104 edges, 26073 markings/sec, 1345 secs
lola: 33479307 markings, 43931277 edges, 25163 markings/sec, 1350 secs
lola: 33609410 markings, 44085670 edges, 26021 markings/sec, 1355 secs
lola: 33734891 markings, 44237282 edges, 25096 markings/sec, 1360 secs
lola: 33863334 markings, 44396388 edges, 25689 markings/sec, 1365 secs
lola: 33999977 markings, 44559325 edges, 27329 markings/sec, 1370 secs
lola: 34133387 markings, 44728552 edges, 26682 markings/sec, 1375 secs
lola: 34271231 markings, 44887547 edges, 27569 markings/sec, 1380 secs
lola: 34408120 markings, 45049254 edges, 27378 markings/sec, 1385 secs
lola: 34544019 markings, 45212800 edges, 27180 markings/sec, 1390 secs
lola: 34679032 markings, 45375973 edges, 27003 markings/sec, 1395 secs
lola: 34810059 markings, 45536086 edges, 26205 markings/sec, 1400 secs
lola: 34941861 markings, 45698770 edges, 26360 markings/sec, 1405 secs
lola: 35071972 markings, 45865965 edges, 26022 markings/sec, 1410 secs
lola: 35205430 markings, 46027156 edges, 26692 markings/sec, 1415 secs
lola: 35339639 markings, 46186351 edges, 26842 markings/sec, 1420 secs
lola: 35472201 markings, 46344135 edges, 26512 markings/sec, 1425 secs
lola: 35603832 markings, 46506025 edges, 26326 markings/sec, 1430 secs
lola: 35735728 markings, 46667038 edges, 26379 markings/sec, 1435 secs
lola: 35866305 markings, 46831791 edges, 26115 markings/sec, 1440 secs
lola: 35999349 markings, 46991753 edges, 26609 markings/sec, 1445 secs
lola: 36132811 markings, 47152971 edges, 26692 markings/sec, 1450 secs
lola: 36260056 markings, 47317077 edges, 25449 markings/sec, 1455 secs
lola: 36387694 markings, 47486809 edges, 25528 markings/sec, 1460 secs
lola: 36516978 markings, 47647679 edges, 25857 markings/sec, 1465 secs
lola: 36646395 markings, 47808175 edges, 25883 markings/sec, 1470 secs
lola: 36775962 markings, 47965910 edges, 25913 markings/sec, 1475 secs
lola: 36904072 markings, 48128206 edges, 25622 markings/sec, 1480 secs
lola: 37037247 markings, 48286452 edges, 26635 markings/sec, 1485 secs
lola: 37172228 markings, 48447934 edges, 26996 markings/sec, 1490 secs
lola: 37291167 markings, 48595562 edges, 23788 markings/sec, 1495 secs
lola: 37414015 markings, 48755932 edges, 24570 markings/sec, 1500 secs
lola: 37542129 markings, 48911738 edges, 25623 markings/sec, 1505 secs
lola: 37662010 markings, 49065093 edges, 23976 markings/sec, 1510 secs
lola: 37783570 markings, 49239272 edges, 24312 markings/sec, 1515 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown 1 1 1 unknown 1 1 1 1 1 unknown unknown unknown 1 1 unknown
lola:
preliminary result: unknown 1 1 1 unknown 1 1 1 1 1 unknown unknown unknown 1 1 unknown
lola: memory consumption: 3940788 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: unknown 1 1 1 unknown 1 1 1 1 1 unknown unknown unknown 1 1 unknown
rslt: finished

BK_STOP 1553482506582

--------------------
content from stderr:

grep: GenericPropertiesVerdict.xml: No such file or directory
grep: GenericPropertiesVerdict.xml: No such file or directory

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="NoC3x3-PT-5B"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3954"
echo " Executing tool lola"
echo " Input is NoC3x3-PT-5B, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r181-csrt-155344535100317"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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