Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2019-input.r060-ebro-155234654600101.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/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-3954
Executing tool lola
Input is Diffusion2D-PT-D10N150, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r060-ebro-155234654600101
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 420K
-rw-r--r-- 1 mcc users 3.7K Feb 10 21:32 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Feb 10 21:32 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Feb 6 17:53 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 6 17:53 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 109 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 347 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.8K Feb 4 23:30 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K Feb 4 23:30 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Feb 4 22:34 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.1K Feb 4 22:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.6K Feb 3 07:21 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 3 07:21 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.3K Jan 30 23:45 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Jan 30 23:45 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 4 22:19 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 4 22:19 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 8 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 255K 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 Diffusion2D-PT-D10N150-UpperBounds-00
FORMULA_NAME Diffusion2D-PT-D10N150-UpperBounds-01
FORMULA_NAME Diffusion2D-PT-D10N150-UpperBounds-02
FORMULA_NAME Diffusion2D-PT-D10N150-UpperBounds-03
FORMULA_NAME Diffusion2D-PT-D10N150-UpperBounds-04
FORMULA_NAME Diffusion2D-PT-D10N150-UpperBounds-05
FORMULA_NAME Diffusion2D-PT-D10N150-UpperBounds-06
FORMULA_NAME Diffusion2D-PT-D10N150-UpperBounds-07
FORMULA_NAME Diffusion2D-PT-D10N150-UpperBounds-08
FORMULA_NAME Diffusion2D-PT-D10N150-UpperBounds-09
FORMULA_NAME Diffusion2D-PT-D10N150-UpperBounds-10
FORMULA_NAME Diffusion2D-PT-D10N150-UpperBounds-11
FORMULA_NAME Diffusion2D-PT-D10N150-UpperBounds-12
FORMULA_NAME Diffusion2D-PT-D10N150-UpperBounds-13
FORMULA_NAME Diffusion2D-PT-D10N150-UpperBounds-14
FORMULA_NAME Diffusion2D-PT-D10N150-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1552560397343

info: Time: 3600 - MCC
vrfy: Checking UpperBounds @ Diffusion2D-PT-D10N150 @ 3570 seconds

FORMULA Diffusion2D-PT-D10N150-UpperBounds-01 150 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA Diffusion2D-PT-D10N150-UpperBounds-15 150 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for UpperBounds @ Diffusion2D-PT-D10N150

{
"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": "Thu Mar 14 10:46:37 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(cAMP__4_8_)",
"processed_size": 15,
"rewrites": 0
},
"result":
{
"edges": 6805420,
"markings": 2283723,
"produced_by": "search",
"value": 150
},
"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": 232
},
"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(cAMP__6_6_)",
"processed_size": 15,
"rewrites": 0
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "search",
"value": 150
},
"task":
{
"compoundnumber": 15,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
}
],
"exit":
{
"error": null,
"memory": 1847096,
"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": 1368,
"conflict_clusters": 100,
"places": 100,
"places_significant": 99,
"singleton_clusters": 0,
"transitions": 684
},
"result":
{
"interim_value": "unknown 150 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown 150 ",
"preliminary_value": "unknown 150 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown 150 "
},
"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: 784/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 3200
lola: finding significant places
lola: 100 places, 684 transitions, 99 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(cAMP__5_9_) : MAX(cAMP__4_8_) : MAX(cAMP__1_4_) : MAX(cAMP__8_10_) : MAX(cAMP__5_1_) : MAX(cAMP__5_9_) : MAX(cAMP__3_5_) : MAX(cAMP__9_2_) : MAX(cAMP__6_9_) : MAX(cAMP__8_8_) : MAX(cAMP__8_7_) : MAX(cAMP__6_2_) : MAX(cAMP__9_5_) : MAX(cAMP__2_9_) : MAX(cAMP__6_9_) : MAX(cAMP__6_6_)
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(cAMP__5_9_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__5_9_)
lola: processed formula length: 15
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: 150
lola: 131838 markings, 470314 edges, 26368 markings/sec, 0 secs
lola: 262264 markings, 946145 edges, 26085 markings/sec, 5 secs
lola: 393869 markings, 1406294 edges, 26321 markings/sec, 10 secs
lola: 522497 markings, 1858368 edges, 25726 markings/sec, 15 secs
lola: 649063 markings, 2325016 edges, 25313 markings/sec, 20 secs
lola: 780431 markings, 2778326 edges, 26274 markings/sec, 25 secs
lola: 911523 markings, 3229811 edges, 26218 markings/sec, 30 secs
lola: 1042310 markings, 3681829 edges, 26157 markings/sec, 35 secs
lola: 1172199 markings, 4130647 edges, 25978 markings/sec, 40 secs
lola: 1303681 markings, 4583861 edges, 26296 markings/sec, 45 secs
lola: 1435136 markings, 5036745 edges, 26291 markings/sec, 50 secs
lola: 1566261 markings, 5486672 edges, 26225 markings/sec, 55 secs
lola: 1697196 markings, 5939250 edges, 26187 markings/sec, 60 secs
lola: 1828592 markings, 6391859 edges, 26279 markings/sec, 65 secs
lola: 1960273 markings, 6844342 edges, 26336 markings/sec, 70 secs
lola: 2091766 markings, 7291911 edges, 26299 markings/sec, 75 secs
lola: 2222679 markings, 7742762 edges, 26183 markings/sec, 80 secs
lola: 2353863 markings, 8196166 edges, 26237 markings/sec, 85 secs
lola: 2485226 markings, 8649492 edges, 26273 markings/sec, 90 secs
lola: 2617045 markings, 9104434 edges, 26364 markings/sec, 95 secs
lola: 2747687 markings, 9554674 edges, 26128 markings/sec, 100 secs
lola: 2878293 markings, 10002672 edges, 26121 markings/sec, 105 secs
lola: 3008264 markings, 10451859 edges, 25994 markings/sec, 110 secs
lola: 3139370 markings, 10903368 edges, 26221 markings/sec, 115 secs
lola: 3270099 markings, 11352366 edges, 26146 markings/sec, 120 secs
lola: 3396348 markings, 11782519 edges, 25250 markings/sec, 125 secs
lola: 3526328 markings, 12230401 edges, 25996 markings/sec, 130 secs
lola: 3655962 markings, 12678357 edges, 25927 markings/sec, 135 secs
lola: 3785224 markings, 13125440 edges, 25852 markings/sec, 140 secs
lola: 3915131 markings, 13572694 edges, 25981 markings/sec, 145 secs
lola: 4045505 markings, 14019796 edges, 26075 markings/sec, 150 secs
lola: 4173849 markings, 14463792 edges, 25669 markings/sec, 155 secs
lola: 4305117 markings, 14915905 edges, 26254 markings/sec, 160 secs
lola: 4436088 markings, 15365782 edges, 26194 markings/sec, 165 secs
lola: 4567068 markings, 15811943 edges, 26196 markings/sec, 170 secs
lola: 4697822 markings, 16262074 edges, 26151 markings/sec, 175 secs
lola: 4829025 markings, 16715553 edges, 26241 markings/sec, 180 secs
lola: 4960584 markings, 17169971 edges, 26312 markings/sec, 185 secs
lola: 5091965 markings, 17622954 edges, 26276 markings/sec, 190 secs
lola: 5220035 markings, 18063686 edges, 25614 markings/sec, 195 secs
lola: 5348007 markings, 18503284 edges, 25594 markings/sec, 200 secs
lola: 5479346 markings, 18957119 edges, 26268 markings/sec, 205 secs
lola: 5610251 markings, 19408586 edges, 26181 markings/sec, 210 secs
lola: 5741441 markings, 19856443 edges, 26238 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: 1776180 KB
lola: time consumption: 230 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(cAMP__4_8_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__4_8_)
lola: processed formula length: 15
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: 150
lola: 136627 markings, 402721 edges, 27325 markings/sec, 0 secs
lola: 270803 markings, 801238 edges, 26835 markings/sec, 5 secs
lola: 402205 markings, 1192364 edges, 26280 markings/sec, 10 secs
lola: 537674 markings, 1595570 edges, 27094 markings/sec, 15 secs
lola: 671552 markings, 1994467 edges, 26776 markings/sec, 20 secs
lola: 804925 markings, 2392066 edges, 26675 markings/sec, 25 secs
lola: 938217 markings, 2789297 edges, 26658 markings/sec, 30 secs
lola: 1073194 markings, 3191876 edges, 26995 markings/sec, 35 secs
lola: 1205607 markings, 3586896 edges, 26483 markings/sec, 40 secs
lola: 1339535 markings, 3986577 edges, 26786 markings/sec, 45 secs
lola: 1474416 markings, 4389271 edges, 26976 markings/sec, 50 secs
lola: 1609022 markings, 4790821 edges, 26921 markings/sec, 55 secs
lola: 1743413 markings, 5191669 edges, 26878 markings/sec, 60 secs
lola: 1878936 markings, 5596847 edges, 27105 markings/sec, 65 secs
lola: 2014119 markings, 6000662 edges, 27037 markings/sec, 70 secs
lola: 2149426 markings, 6404828 edges, 27061 markings/sec, 75 secs
lola: SUBRESULT
lola: result: 150
lola: produced by: state space
lola: The maximum value of the given expression is 150
lola: 2283723 markings, 6805420 edges
lola: ========================================
lola: subprocess 2 will run for 232 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__1_4_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__1_4_)
lola: processed formula length: 15
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: 150
lola: 133181 markings, 416150 edges, 26636 markings/sec, 0 secs
lola: 266220 markings, 834229 edges, 26608 markings/sec, 5 secs
lola: 399242 markings, 1259180 edges, 26604 markings/sec, 10 secs
lola: 534217 markings, 1690233 edges, 26995 markings/sec, 15 secs
lola: 666994 markings, 2112972 edges, 26555 markings/sec, 20 secs
lola: 797702 markings, 2530371 edges, 26142 markings/sec, 25 secs
lola: 928442 markings, 2948738 edges, 26148 markings/sec, 30 secs
lola: 1061111 markings, 3373587 edges, 26534 markings/sec, 35 secs
lola: 1188747 markings, 3768978 edges, 25527 markings/sec, 40 secs
lola: 1320613 markings, 4190751 edges, 26373 markings/sec, 45 secs
lola: 1452309 markings, 4599658 edges, 26339 markings/sec, 50 secs
lola: 1582204 markings, 5014826 edges, 25979 markings/sec, 55 secs
lola: 1713147 markings, 5435029 edges, 26189 markings/sec, 60 secs
lola: 1843335 markings, 5850248 edges, 26038 markings/sec, 65 secs
lola: 1974414 markings, 6278169 edges, 26216 markings/sec, 70 secs
lola: 2101732 markings, 6701027 edges, 25464 markings/sec, 75 secs
lola: 2231132 markings, 7112006 edges, 25880 markings/sec, 80 secs
lola: 2358192 markings, 7518542 edges, 25412 markings/sec, 85 secs
lola: 2485711 markings, 7918771 edges, 25504 markings/sec, 90 secs
lola: 2615836 markings, 8332083 edges, 26025 markings/sec, 95 secs
lola: 2748448 markings, 8751881 edges, 26522 markings/sec, 100 secs
lola: 2877127 markings, 9164084 edges, 25736 markings/sec, 105 secs
lola: 3006244 markings, 9578568 edges, 25823 markings/sec, 110 secs
lola: 3134100 markings, 9982378 edges, 25571 markings/sec, 115 secs
lola: 3262927 markings, 10395495 edges, 25765 markings/sec, 120 secs
lola: 3391933 markings, 10807036 edges, 25801 markings/sec, 125 secs
lola: 3519786 markings, 11204662 edges, 25571 markings/sec, 130 secs
lola: 3647746 markings, 11608554 edges, 25592 markings/sec, 135 secs
lola: 3776923 markings, 12017475 edges, 25835 markings/sec, 140 secs
lola: 3906867 markings, 12447368 edges, 25989 markings/sec, 145 secs
lola: 4038278 markings, 12880066 edges, 26282 markings/sec, 150 secs
lola: 4166640 markings, 13295764 edges, 25672 markings/sec, 155 secs
lola: 4295897 markings, 13720074 edges, 25851 markings/sec, 160 secs
lola: 4424887 markings, 14153938 edges, 25798 markings/sec, 165 secs
lola: 4554094 markings, 14593347 edges, 25841 markings/sec, 170 secs
lola: 4682729 markings, 15014360 edges, 25727 markings/sec, 175 secs
lola: 4812777 markings, 15444275 edges, 26010 markings/sec, 180 secs
lola: 4940086 markings, 15872765 edges, 25462 markings/sec, 185 secs
lola: 5068436 markings, 16290369 edges, 25670 markings/sec, 190 secs
lola: 5199081 markings, 16707008 edges, 26129 markings/sec, 195 secs
lola: 5328924 markings, 17130579 edges, 25969 markings/sec, 200 secs
lola: 5459402 markings, 17568073 edges, 26096 markings/sec, 205 secs
lola: 5592289 markings, 18008624 edges, 26577 markings/sec, 210 secs
lola: 5722172 markings, 18420548 edges, 25977 markings/sec, 215 secs
lola: 5851919 markings, 18834830 edges, 25949 markings/sec, 220 secs
lola: 5985552 markings, 19261563 edges, 26727 markings/sec, 225 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 150 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1672872 KB
lola: time consumption: 547 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 232 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__8_10_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__8_10_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 150
lola: 133567 markings, 362280 edges, 26713 markings/sec, 0 secs
lola: 268334 markings, 728345 edges, 26953 markings/sec, 5 secs
lola: 402251 markings, 1093246 edges, 26783 markings/sec, 10 secs
lola: 534892 markings, 1454764 edges, 26528 markings/sec, 15 secs
lola: 668242 markings, 1818092 edges, 26670 markings/sec, 20 secs
lola: 803815 markings, 2187458 edges, 27115 markings/sec, 25 secs
lola: 938983 markings, 2554797 edges, 27034 markings/sec, 30 secs
lola: 1073052 markings, 2919099 edges, 26814 markings/sec, 35 secs
lola: 1207777 markings, 3285143 edges, 26945 markings/sec, 40 secs
lola: 1342042 markings, 3650079 edges, 26853 markings/sec, 45 secs
lola: 1476300 markings, 4015082 edges, 26852 markings/sec, 50 secs
lola: 1610865 markings, 4380929 edges, 26913 markings/sec, 55 secs
lola: 1745267 markings, 4746364 edges, 26880 markings/sec, 60 secs
lola: 1879000 markings, 5109993 edges, 26747 markings/sec, 65 secs
lola: 2012741 markings, 5473663 edges, 26748 markings/sec, 70 secs
lola: 2145389 markings, 5834329 edges, 26530 markings/sec, 75 secs
lola: 2279227 markings, 6198230 edges, 26768 markings/sec, 80 secs
lola: 2412521 markings, 6560746 edges, 26659 markings/sec, 85 secs
lola: 2545369 markings, 6921776 edges, 26570 markings/sec, 90 secs
lola: 2679598 markings, 7286824 edges, 26846 markings/sec, 95 secs
lola: 2813260 markings, 7650257 edges, 26732 markings/sec, 100 secs
lola: 2947038 markings, 8013988 edges, 26756 markings/sec, 105 secs
lola: 3081815 markings, 8380508 edges, 26955 markings/sec, 110 secs
lola: 3216514 markings, 8746613 edges, 26940 markings/sec, 115 secs
lola: 3350737 markings, 9111498 edges, 26845 markings/sec, 120 secs
lola: 3485188 markings, 9477135 edges, 26890 markings/sec, 125 secs
lola: 3619476 markings, 9842218 edges, 26858 markings/sec, 130 secs
lola: 3754235 markings, 10208502 edges, 26952 markings/sec, 135 secs
lola: 3888626 markings, 10573901 edges, 26878 markings/sec, 140 secs
lola: 4022904 markings, 10939075 edges, 26856 markings/sec, 145 secs
lola: 4158034 markings, 11306554 edges, 27026 markings/sec, 150 secs
lola: 4293002 markings, 11673526 edges, 26994 markings/sec, 155 secs
lola: 4427011 markings, 12035296 edges, 26802 markings/sec, 160 secs
lola: 4560250 markings, 12395731 edges, 26648 markings/sec, 165 secs
lola: 4693263 markings, 12755941 edges, 26603 markings/sec, 170 secs
lola: 4824582 markings, 13111185 edges, 26264 markings/sec, 175 secs
lola: 4953663 markings, 13460583 edges, 25816 markings/sec, 180 secs
lola: 5084880 markings, 13815473 edges, 26243 markings/sec, 185 secs
lola: 5216197 markings, 14170963 edges, 26263 markings/sec, 190 secs
lola: 5347152 markings, 14525490 edges, 26191 markings/sec, 195 secs
lola: 5478488 markings, 14880732 edges, 26267 markings/sec, 200 secs
lola: 5609635 markings, 15235702 edges, 26229 markings/sec, 205 secs
lola: 5740857 markings, 15590666 edges, 26244 markings/sec, 210 secs
lola: 5869060 markings, 15937703 edges, 25641 markings/sec, 215 secs
lola: 5997951 markings, 16286474 edges, 25778 markings/sec, 220 secs
lola: 6130806 markings, 16645925 edges, 26571 markings/sec, 225 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 150 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1882292 KB
lola: time consumption: 780 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 4 will run for 232 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__5_1_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__5_1_)
lola: processed formula length: 15
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: 150
lola: 135608 markings, 396263 edges, 27122 markings/sec, 0 secs
lola: 271516 markings, 793148 edges, 27182 markings/sec, 5 secs
lola: 407192 markings, 1189338 edges, 27135 markings/sec, 10 secs
lola: 542190 markings, 1583531 edges, 27000 markings/sec, 15 secs
lola: 677605 markings, 1978795 edges, 27083 markings/sec, 20 secs
lola: 812724 markings, 2373338 edges, 27024 markings/sec, 25 secs
lola: 947592 markings, 2767383 edges, 26974 markings/sec, 30 secs
lola: 1082196 markings, 3159872 edges, 26921 markings/sec, 35 secs
lola: 1217402 markings, 3554816 edges, 27041 markings/sec, 40 secs
lola: 1352388 markings, 3949012 edges, 26997 markings/sec, 45 secs
lola: 1486504 markings, 4340408 edges, 26823 markings/sec, 50 secs
lola: 1621311 markings, 4734463 edges, 26961 markings/sec, 55 secs
lola: 1755755 markings, 5126976 edges, 26889 markings/sec, 60 secs
lola: 1890286 markings, 5519266 edges, 26906 markings/sec, 65 secs
lola: 2025203 markings, 5913712 edges, 26983 markings/sec, 70 secs
lola: 2159632 markings, 6306163 edges, 26886 markings/sec, 75 secs
lola: 2293687 markings, 6697161 edges, 26811 markings/sec, 80 secs
lola: 2427878 markings, 7089290 edges, 26838 markings/sec, 85 secs
lola: 2562127 markings, 7481450 edges, 26850 markings/sec, 90 secs
lola: 2696531 markings, 7874045 edges, 26881 markings/sec, 95 secs
lola: 2830606 markings, 8265562 edges, 26815 markings/sec, 100 secs
lola: 2966533 markings, 8662473 edges, 27185 markings/sec, 105 secs
lola: 3102096 markings, 9058299 edges, 27113 markings/sec, 110 secs
lola: 3237525 markings, 9453582 edges, 27086 markings/sec, 115 secs
lola: 3372382 markings, 9847153 edges, 26971 markings/sec, 120 secs
lola: 3507739 markings, 10242148 edges, 27071 markings/sec, 125 secs
lola: 3642794 markings, 10636146 edges, 27011 markings/sec, 130 secs
lola: 3777786 markings, 11029934 edges, 26998 markings/sec, 135 secs
lola: 3912499 markings, 11424492 edges, 26943 markings/sec, 140 secs
lola: 4047475 markings, 11818091 edges, 26995 markings/sec, 145 secs
lola: 4182879 markings, 12212932 edges, 27081 markings/sec, 150 secs
lola: 4317654 markings, 12606537 edges, 26955 markings/sec, 155 secs
lola: 4452584 markings, 13000892 edges, 26986 markings/sec, 160 secs
lola: 4587286 markings, 13393463 edges, 26940 markings/sec, 165 secs
lola: 4721589 markings, 13786664 edges, 26861 markings/sec, 170 secs
lola: 4856430 markings, 14179541 edges, 26968 markings/sec, 175 secs
lola: 4990926 markings, 14572675 edges, 26899 markings/sec, 180 secs
lola: 5125121 markings, 14964168 edges, 26839 markings/sec, 185 secs
lola: 5259014 markings, 15355120 edges, 26779 markings/sec, 190 secs
lola: 5393660 markings, 15748114 edges, 26929 markings/sec, 195 secs
lola: 5529373 markings, 16144868 edges, 27143 markings/sec, 200 secs
lola: 5664804 markings, 16539619 edges, 27086 markings/sec, 205 secs
lola: 5800173 markings, 16935751 edges, 27074 markings/sec, 210 secs
lola: 5935393 markings, 17329336 edges, 27044 markings/sec, 215 secs
lola: 6070235 markings, 17723903 edges, 26968 markings/sec, 220 secs
lola: 6205399 markings, 18117200 edges, 27033 markings/sec, 225 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 150 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1385028 KB
lola: time consumption: 1012 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 232 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__5_9_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__5_9_)
lola: processed formula length: 15
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: 150
lola: 131340 markings, 468494 edges, 26268 markings/sec, 0 secs
lola: 261398 markings, 943005 edges, 26012 markings/sec, 5 secs
lola: 392533 markings, 1401536 edges, 26227 markings/sec, 10 secs
lola: 522728 markings, 1859080 edges, 26039 markings/sec, 15 secs
lola: 651412 markings, 2333862 edges, 25737 markings/sec, 20 secs
lola: 782868 markings, 2787441 edges, 26291 markings/sec, 25 secs
lola: 914139 markings, 3238599 edges, 26254 markings/sec, 30 secs
lola: 1045089 markings, 3691392 edges, 26190 markings/sec, 35 secs
lola: 1175794 markings, 4142194 edges, 26141 markings/sec, 40 secs
lola: 1306479 markings, 4593500 edges, 26137 markings/sec, 45 secs
lola: 1437733 markings, 5045835 edges, 26251 markings/sec, 50 secs
lola: 1568297 markings, 5493365 edges, 26113 markings/sec, 55 secs
lola: 1698662 markings, 5943720 edges, 26073 markings/sec, 60 secs
lola: 1829177 markings, 6393572 edges, 26103 markings/sec, 65 secs
lola: 1960202 markings, 6844090 edges, 26205 markings/sec, 70 secs
lola: 2091080 markings, 7289527 edges, 26176 markings/sec, 75 secs
lola: 2221776 markings, 7739700 edges, 26139 markings/sec, 80 secs
lola: 2352153 markings, 8190238 edges, 26075 markings/sec, 85 secs
lola: 2483049 markings, 8642670 edges, 26179 markings/sec, 90 secs
lola: 2614806 markings, 9096722 edges, 26351 markings/sec, 95 secs
lola: 2746000 markings, 9548651 edges, 26239 markings/sec, 100 secs
lola: 2876829 markings, 9997610 edges, 26166 markings/sec, 105 secs
lola: 3006630 markings, 10445916 edges, 25960 markings/sec, 110 secs
lola: 3138271 markings, 10899852 edges, 26328 markings/sec, 115 secs
lola: 3269442 markings, 11349553 edges, 26234 markings/sec, 120 secs
lola: 3400568 markings, 11796936 edges, 26225 markings/sec, 125 secs
lola: 3531212 markings, 12246492 edges, 26129 markings/sec, 130 secs
lola: 3661844 markings, 12698226 edges, 26126 markings/sec, 135 secs
lola: 3792931 markings, 13151516 edges, 26217 markings/sec, 140 secs
lola: 3923710 markings, 13601882 edges, 26156 markings/sec, 145 secs
lola: 4054135 markings, 14050671 edges, 26085 markings/sec, 150 secs
lola: 4184105 markings, 14497458 edges, 25994 markings/sec, 155 secs
lola: 4314593 markings, 14948298 edges, 26098 markings/sec, 160 secs
lola: 4444883 markings, 15397358 edges, 26058 markings/sec, 165 secs
lola: 4575069 markings, 15841371 edges, 26037 markings/sec, 170 secs
lola: 4704420 markings, 16284475 edges, 25870 markings/sec, 175 secs
lola: 4834134 markings, 16732701 edges, 25943 markings/sec, 180 secs
lola: 4963889 markings, 17180509 edges, 25951 markings/sec, 185 secs
lola: 5093160 markings, 17627155 edges, 25854 markings/sec, 190 secs
lola: 5222269 markings, 18071815 edges, 25822 markings/sec, 195 secs
lola: 5350622 markings, 18512710 edges, 25671 markings/sec, 200 secs
lola: 5479897 markings, 18959210 edges, 25855 markings/sec, 205 secs
lola: 5609043 markings, 19404767 edges, 25829 markings/sec, 210 secs
lola: 5738047 markings, 19843526 edges, 25801 markings/sec, 215 secs
lola: 5866642 markings, 20285046 edges, 25719 markings/sec, 220 secs
lola: 5995304 markings, 20729805 edges, 25732 markings/sec, 225 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 150 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1855408 KB
lola: time consumption: 1244 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 6 will run for 232 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__3_5_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__3_5_)
lola: processed formula length: 15
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: 150
lola: 131027 markings, 443852 edges, 26205 markings/sec, 0 secs
lola: 260338 markings, 901192 edges, 25862 markings/sec, 5 secs
lola: 391624 markings, 1349832 edges, 26257 markings/sec, 10 secs
lola: 520171 markings, 1812670 edges, 25709 markings/sec, 15 secs
lola: 649976 markings, 2248232 edges, 25961 markings/sec, 20 secs
lola: 779523 markings, 2692343 edges, 25909 markings/sec, 25 secs
lola: 907696 markings, 3154037 edges, 25635 markings/sec, 30 secs
lola: 1034614 markings, 3599666 edges, 25384 markings/sec, 35 secs
lola: 1165035 markings, 4031785 edges, 26084 markings/sec, 40 secs
lola: 1293640 markings, 4481495 edges, 25721 markings/sec, 45 secs
lola: 1421038 markings, 4929695 edges, 25480 markings/sec, 50 secs
lola: 1550880 markings, 5374943 edges, 25968 markings/sec, 55 secs
lola: 1680850 markings, 5813197 edges, 25994 markings/sec, 60 secs
lola: 1810324 markings, 6255395 edges, 25895 markings/sec, 65 secs
lola: 1939492 markings, 6688374 edges, 25834 markings/sec, 70 secs
lola: 2066817 markings, 7144140 edges, 25465 markings/sec, 75 secs
lola: 2198055 markings, 7577426 edges, 26248 markings/sec, 80 secs
lola: 2327223 markings, 8003016 edges, 25834 markings/sec, 85 secs
lola: 2455688 markings, 8437451 edges, 25693 markings/sec, 90 secs
lola: 2582786 markings, 8876161 edges, 25420 markings/sec, 95 secs
lola: 2708818 markings, 9331235 edges, 25206 markings/sec, 100 secs
lola: 2835069 markings, 9774224 edges, 25250 markings/sec, 105 secs
lola: 2963427 markings, 10213165 edges, 25672 markings/sec, 110 secs
lola: 3091438 markings, 10666045 edges, 25602 markings/sec, 115 secs
lola: 3218540 markings, 11119222 edges, 25420 markings/sec, 120 secs
lola: 3346351 markings, 11558396 edges, 25562 markings/sec, 125 secs
lola: 3473225 markings, 11984758 edges, 25375 markings/sec, 130 secs
lola: 3599868 markings, 12402343 edges, 25329 markings/sec, 135 secs
lola: 3726112 markings, 12825308 edges, 25249 markings/sec, 140 secs
lola: 3852829 markings, 13243528 edges, 25343 markings/sec, 145 secs
lola: 3980196 markings, 13652824 edges, 25473 markings/sec, 150 secs
lola: 4106545 markings, 14075333 edges, 25270 markings/sec, 155 secs
lola: 4236501 markings, 14489505 edges, 25991 markings/sec, 160 secs
lola: 4365509 markings, 14918916 edges, 25802 markings/sec, 165 secs
lola: 4493702 markings, 15341956 edges, 25639 markings/sec, 170 secs
lola: 4623386 markings, 15775115 edges, 25937 markings/sec, 175 secs
lola: 4753861 markings, 16200810 edges, 26095 markings/sec, 180 secs
lola: 4883721 markings, 16624578 edges, 25972 markings/sec, 185 secs
lola: 5013115 markings, 17066753 edges, 25879 markings/sec, 190 secs
lola: 5142066 markings, 17512645 edges, 25790 markings/sec, 195 secs
lola: 5269110 markings, 17966728 edges, 25409 markings/sec, 200 secs
lola: 5398115 markings, 18405009 edges, 25801 markings/sec, 205 secs
lola: 5526692 markings, 18829117 edges, 25715 markings/sec, 210 secs
lola: 5655312 markings, 19252469 edges, 25724 markings/sec, 215 secs
lola: 5783852 markings, 19689281 edges, 25708 markings/sec, 220 secs
lola: 5911823 markings, 20129433 edges, 25594 markings/sec, 225 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 150 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1749472 KB
lola: time consumption: 1477 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 7 will run for 232 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__9_2_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__9_2_)
lola: processed formula length: 15
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: 150
lola: 128312 markings, 466349 edges, 25662 markings/sec, 0 secs
lola: 250735 markings, 909902 edges, 24485 markings/sec, 5 secs
lola: 374566 markings, 1356578 edges, 24766 markings/sec, 10 secs
lola: 497652 markings, 1797037 edges, 24617 markings/sec, 15 secs
lola: 624293 markings, 2253873 edges, 25328 markings/sec, 20 secs
lola: 751965 markings, 2710936 edges, 25534 markings/sec, 25 secs
lola: 879398 markings, 3167195 edges, 25487 markings/sec, 30 secs
lola: 1006701 markings, 3622575 edges, 25461 markings/sec, 35 secs
lola: 1133915 markings, 4077567 edges, 25443 markings/sec, 40 secs
lola: 1261054 markings, 4532238 edges, 25428 markings/sec, 45 secs
lola: 1387587 markings, 4982555 edges, 25307 markings/sec, 50 secs
lola: 1514712 markings, 5436835 edges, 25425 markings/sec, 55 secs
lola: 1641456 markings, 5886414 edges, 25349 markings/sec, 60 secs
lola: 1768204 markings, 6340675 edges, 25350 markings/sec, 65 secs
lola: 1894619 markings, 6789293 edges, 25283 markings/sec, 70 secs
lola: 2021370 markings, 7242870 edges, 25350 markings/sec, 75 secs
lola: 2147429 markings, 7691201 edges, 25212 markings/sec, 80 secs
lola: 2273788 markings, 8138652 edges, 25272 markings/sec, 85 secs
lola: 2399124 markings, 8587746 edges, 25067 markings/sec, 90 secs
lola: 2525563 markings, 9037284 edges, 25288 markings/sec, 95 secs
lola: 2651860 markings, 9486178 edges, 25259 markings/sec, 100 secs
lola: 2778107 markings, 9934920 edges, 25249 markings/sec, 105 secs
lola: 2904762 markings, 10384563 edges, 25331 markings/sec, 110 secs
lola: 3031333 markings, 10836358 edges, 25314 markings/sec, 115 secs
lola: 3157712 markings, 11285390 edges, 25276 markings/sec, 120 secs
lola: 3284323 markings, 11735351 edges, 25322 markings/sec, 125 secs
lola: 3410540 markings, 12183763 edges, 25243 markings/sec, 130 secs
lola: 3536815 markings, 12632334 edges, 25255 markings/sec, 135 secs
lola: 3663129 markings, 13081012 edges, 25263 markings/sec, 140 secs
lola: 3789060 markings, 13528350 edges, 25186 markings/sec, 145 secs
lola: 3914787 markings, 13974821 edges, 25145 markings/sec, 150 secs
lola: 4040665 markings, 14421786 edges, 25176 markings/sec, 155 secs
lola: 4166419 markings, 14868468 edges, 25151 markings/sec, 160 secs
lola: 4292180 markings, 15314914 edges, 25152 markings/sec, 165 secs
lola: 4417894 markings, 15761404 edges, 25143 markings/sec, 170 secs
lola: 4544007 markings, 16209068 edges, 25223 markings/sec, 175 secs
lola: 4670065 markings, 16656552 edges, 25212 markings/sec, 180 secs
lola: 4796076 markings, 17103995 edges, 25202 markings/sec, 185 secs
lola: 4921904 markings, 17550484 edges, 25166 markings/sec, 190 secs
lola: 5047267 markings, 17991986 edges, 25073 markings/sec, 195 secs
lola: 5172754 markings, 18439854 edges, 25097 markings/sec, 200 secs
lola: 5298659 markings, 18886627 edges, 25181 markings/sec, 205 secs
lola: 5424577 markings, 19333570 edges, 25184 markings/sec, 210 secs
lola: 5550684 markings, 19780985 edges, 25221 markings/sec, 215 secs
lola: 5676720 markings, 20228265 edges, 25207 markings/sec, 220 secs
lola: 5802583 markings, 20674658 edges, 25173 markings/sec, 225 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 150 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1386040 KB
lola: time consumption: 1709 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 232 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__6_9_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__6_9_)
lola: processed formula length: 15
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: 150
lola: 132849 markings, 426080 edges, 26570 markings/sec, 0 secs
lola: 265258 markings, 849623 edges, 26482 markings/sec, 5 secs
lola: 395629 markings, 1277011 edges, 26074 markings/sec, 10 secs
lola: 527865 markings, 1699651 edges, 26447 markings/sec, 15 secs
lola: 660489 markings, 2129205 edges, 26525 markings/sec, 20 secs
lola: 790952 markings, 2553691 edges, 26093 markings/sec, 25 secs
lola: 922397 markings, 2963949 edges, 26289 markings/sec, 30 secs
lola: 1052843 markings, 3387558 edges, 26089 markings/sec, 35 secs
lola: 1184704 markings, 3801380 edges, 26372 markings/sec, 40 secs
lola: 1315475 markings, 4232203 edges, 26154 markings/sec, 45 secs
lola: 1447507 markings, 4647638 edges, 26406 markings/sec, 50 secs
lola: 1578845 markings, 5062554 edges, 26268 markings/sec, 55 secs
lola: 1707504 markings, 5479300 edges, 25732 markings/sec, 60 secs
lola: 1836233 markings, 5905506 edges, 25746 markings/sec, 65 secs
lola: 1964536 markings, 6318795 edges, 25661 markings/sec, 70 secs
lola: 2091680 markings, 6756232 edges, 25429 markings/sec, 75 secs
lola: 2220093 markings, 7180031 edges, 25683 markings/sec, 80 secs
lola: 2351599 markings, 7606616 edges, 26301 markings/sec, 85 secs
lola: 2482825 markings, 8040158 edges, 26245 markings/sec, 90 secs
lola: 2613769 markings, 8467781 edges, 26189 markings/sec, 95 secs
lola: 2746107 markings, 8884671 edges, 26468 markings/sec, 100 secs
lola: 2875702 markings, 9308961 edges, 25919 markings/sec, 105 secs
lola: 3001125 markings, 9715714 edges, 25085 markings/sec, 110 secs
lola: 3129413 markings, 10132563 edges, 25658 markings/sec, 115 secs
lola: 3258894 markings, 10555508 edges, 25896 markings/sec, 120 secs
lola: 3385343 markings, 10960280 edges, 25290 markings/sec, 125 secs
lola: 3511371 markings, 11369325 edges, 25206 markings/sec, 130 secs
lola: 3638123 markings, 11778349 edges, 25350 markings/sec, 135 secs
lola: 3761999 markings, 12182944 edges, 24775 markings/sec, 140 secs
lola: 3889697 markings, 12593667 edges, 25540 markings/sec, 145 secs
lola: 4014151 markings, 13007655 edges, 24891 markings/sec, 150 secs
lola: 4141158 markings, 13410231 edges, 25401 markings/sec, 155 secs
lola: 4265721 markings, 13813321 edges, 24913 markings/sec, 160 secs
lola: 4392710 markings, 14227408 edges, 25398 markings/sec, 165 secs
lola: 4522823 markings, 14648380 edges, 26023 markings/sec, 170 secs
lola: 4651573 markings, 15074136 edges, 25750 markings/sec, 175 secs
lola: 4782864 markings, 15488440 edges, 26258 markings/sec, 180 secs
lola: 4912528 markings, 15910399 edges, 25933 markings/sec, 185 secs
lola: 5041360 markings, 16330325 edges, 25766 markings/sec, 190 secs
lola: 5171658 markings, 16752098 edges, 26060 markings/sec, 195 secs
lola: 5300869 markings, 17177709 edges, 25842 markings/sec, 200 secs
lola: 5432100 markings, 17588599 edges, 26246 markings/sec, 205 secs
lola: 5561425 markings, 18014670 edges, 25865 markings/sec, 210 secs
lola: 5689524 markings, 18430366 edges, 25620 markings/sec, 215 secs
lola: 5819908 markings, 18853079 edges, 26077 markings/sec, 220 secs
lola: 5950884 markings, 19282750 edges, 26195 markings/sec, 225 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 150 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1841668 KB
lola: time consumption: 1941 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 232 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__8_8_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__8_8_)
lola: processed formula length: 15
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: 150
lola: 134296 markings, 429145 edges, 26859 markings/sec, 0 secs
lola: 268284 markings, 870816 edges, 26798 markings/sec, 5 secs
lola: 397835 markings, 1314902 edges, 25910 markings/sec, 10 secs
lola: 527147 markings, 1759991 edges, 25862 markings/sec, 15 secs
lola: 656414 markings, 2203458 edges, 25853 markings/sec, 20 secs
lola: 785139 markings, 2645803 edges, 25745 markings/sec, 25 secs
lola: 912767 markings, 3084571 edges, 25526 markings/sec, 30 secs
lola: 1039335 markings, 3519102 edges, 25314 markings/sec, 35 secs
lola: 1167569 markings, 3959850 edges, 25647 markings/sec, 40 secs
lola: 1295579 markings, 4399863 edges, 25602 markings/sec, 45 secs
lola: 1423594 markings, 4839299 edges, 25603 markings/sec, 50 secs
lola: 1551892 markings, 5280872 edges, 25660 markings/sec, 55 secs
lola: 1680976 markings, 5723921 edges, 25817 markings/sec, 60 secs
lola: 1809769 markings, 6166269 edges, 25759 markings/sec, 65 secs
lola: 1938484 markings, 6608814 edges, 25743 markings/sec, 70 secs
lola: 2067657 markings, 7052147 edges, 25835 markings/sec, 75 secs
lola: 2197211 markings, 7498096 edges, 25911 markings/sec, 80 secs
lola: 2326545 markings, 7941808 edges, 25867 markings/sec, 85 secs
lola: 2455961 markings, 8387234 edges, 25883 markings/sec, 90 secs
lola: 2586481 markings, 8835394 edges, 26104 markings/sec, 95 secs
lola: 2715096 markings, 9279040 edges, 25723 markings/sec, 100 secs
lola: 2844240 markings, 9715220 edges, 25829 markings/sec, 105 secs
lola: 2972921 markings, 10170179 edges, 25736 markings/sec, 110 secs
lola: 3101940 markings, 10601735 edges, 25804 markings/sec, 115 secs
lola: 3229492 markings, 11045788 edges, 25510 markings/sec, 120 secs
lola: 3356696 markings, 11477008 edges, 25441 markings/sec, 125 secs
lola: 3484260 markings, 11912120 edges, 25513 markings/sec, 130 secs
lola: 3610638 markings, 12351683 edges, 25276 markings/sec, 135 secs
lola: 3737219 markings, 12774738 edges, 25316 markings/sec, 140 secs
lola: 3862873 markings, 13212095 edges, 25131 markings/sec, 145 secs
lola: 3988972 markings, 13640491 edges, 25220 markings/sec, 150 secs
lola: 4115213 markings, 14071402 edges, 25248 markings/sec, 155 secs
lola: 4240138 markings, 14503553 edges, 24985 markings/sec, 160 secs
lola: 4365816 markings, 14924986 edges, 25136 markings/sec, 165 secs
lola: 4490802 markings, 15361852 edges, 24997 markings/sec, 170 secs
lola: 4616188 markings, 15786248 edges, 25077 markings/sec, 175 secs
lola: 4741990 markings, 16217247 edges, 25160 markings/sec, 180 secs
lola: 4866533 markings, 16644280 edges, 24909 markings/sec, 185 secs
lola: 4991815 markings, 17068453 edges, 25056 markings/sec, 190 secs
lola: 5115634 markings, 17499840 edges, 24764 markings/sec, 195 secs
lola: 5241338 markings, 17920925 edges, 25141 markings/sec, 200 secs
lola: 5366377 markings, 18356062 edges, 25008 markings/sec, 205 secs
lola: 5491349 markings, 18780043 edges, 24994 markings/sec, 210 secs
lola: 5616472 markings, 19206915 edges, 25025 markings/sec, 215 secs
lola: 5740496 markings, 19637383 edges, 24805 markings/sec, 220 secs
lola: 5865753 markings, 20055993 edges, 25051 markings/sec, 225 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 150 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1819804 KB
lola: time consumption: 2174 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 10 will run for 232 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__8_7_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__8_7_)
lola: processed formula length: 15
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: 150
lola: 141758 markings, 307679 edges, 28352 markings/sec, 0 secs
lola: 282625 markings, 605443 edges, 28173 markings/sec, 5 secs
lola: 424084 markings, 901903 edges, 28292 markings/sec, 10 secs
lola: 565393 markings, 1191719 edges, 28262 markings/sec, 15 secs
lola: 706974 markings, 1478533 edges, 28316 markings/sec, 20 secs
lola: 848165 markings, 1764149 edges, 28238 markings/sec, 25 secs
lola: 989412 markings, 2049688 edges, 28249 markings/sec, 30 secs
lola: 1130481 markings, 2334523 edges, 28214 markings/sec, 35 secs
lola: 1271675 markings, 2619323 edges, 28239 markings/sec, 40 secs
lola: 1409515 markings, 2897262 edges, 27568 markings/sec, 45 secs
lola: 1548309 markings, 3176895 edges, 27759 markings/sec, 50 secs
lola: 1685487 markings, 3453309 edges, 27436 markings/sec, 55 secs
lola: 1821754 markings, 3727651 edges, 27253 markings/sec, 60 secs
lola: 1960479 markings, 4007002 edges, 27745 markings/sec, 65 secs
lola: 2096956 markings, 4281589 edges, 27295 markings/sec, 70 secs
lola: 2235992 markings, 4561129 edges, 27807 markings/sec, 75 secs
lola: 2376658 markings, 4844530 edges, 28133 markings/sec, 80 secs
lola: 2516593 markings, 5125770 edges, 27987 markings/sec, 85 secs
lola: 2657096 markings, 5408091 edges, 28101 markings/sec, 90 secs
lola: 2797298 markings, 5690160 edges, 28040 markings/sec, 95 secs
lola: 2937379 markings, 5971652 edges, 28016 markings/sec, 100 secs
lola: 3077583 markings, 6253755 edges, 28041 markings/sec, 105 secs
lola: 3217358 markings, 6534690 edges, 27955 markings/sec, 110 secs
lola: 3355490 markings, 6812458 edges, 27626 markings/sec, 115 secs
lola: 3489583 markings, 7081754 edges, 26819 markings/sec, 120 secs
lola: 3625008 markings, 7353504 edges, 27085 markings/sec, 125 secs
lola: 3759014 markings, 7623095 edges, 26801 markings/sec, 130 secs
lola: 3893490 markings, 7892933 edges, 26895 markings/sec, 135 secs
lola: 4029988 markings, 8167635 edges, 27300 markings/sec, 140 secs
lola: 4164380 markings, 8437431 edges, 26878 markings/sec, 145 secs
lola: 4294088 markings, 8697998 edges, 25942 markings/sec, 150 secs
lola: 4422568 markings, 8955997 edges, 25696 markings/sec, 155 secs
lola: 4558739 markings, 9229391 edges, 27234 markings/sec, 160 secs
lola: 4693814 markings, 9500605 edges, 27015 markings/sec, 165 secs
lola: 4831391 markings, 9776943 edges, 27515 markings/sec, 170 secs
lola: 4968835 markings, 10052861 edges, 27489 markings/sec, 175 secs
lola: 5106317 markings, 10328875 edges, 27496 markings/sec, 180 secs
lola: 5243359 markings, 10604054 edges, 27408 markings/sec, 185 secs
lola: 5380868 markings, 10880197 edges, 27502 markings/sec, 190 secs
lola: 5514857 markings, 11149145 edges, 26798 markings/sec, 195 secs
lola: 5651375 markings, 11423069 edges, 27304 markings/sec, 200 secs
lola: 5787100 markings, 11695626 edges, 27145 markings/sec, 205 secs
lola: 5920216 markings, 11962298 edges, 26623 markings/sec, 210 secs
lola: 6056712 markings, 12236677 edges, 27299 markings/sec, 215 secs
lola: 6194443 markings, 12513303 edges, 27546 markings/sec, 220 secs
lola: 6332398 markings, 12789906 edges, 27591 markings/sec, 225 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 150 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1649756 KB
lola: time consumption: 2406 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 232 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__6_2_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__6_2_)
lola: processed formula length: 15
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: 150
lola: 132795 markings, 409772 edges, 26559 markings/sec, 0 secs
lola: 266150 markings, 821573 edges, 26671 markings/sec, 5 secs
lola: 398058 markings, 1233573 edges, 26382 markings/sec, 10 secs
lola: 523242 markings, 1650088 edges, 25037 markings/sec, 15 secs
lola: 653309 markings, 2082984 edges, 26013 markings/sec, 20 secs
lola: 780932 markings, 2508542 edges, 25525 markings/sec, 25 secs
lola: 909278 markings, 2935812 edges, 25669 markings/sec, 30 secs
lola: 1036525 markings, 3359866 edges, 25449 markings/sec, 35 secs
lola: 1162790 markings, 3779447 edges, 25253 markings/sec, 40 secs
lola: 1290673 markings, 4205930 edges, 25577 markings/sec, 45 secs
lola: 1418496 markings, 4631266 edges, 25565 markings/sec, 50 secs
lola: 1543789 markings, 5048660 edges, 25059 markings/sec, 55 secs
lola: 1672565 markings, 5476932 edges, 25755 markings/sec, 60 secs
lola: 1800431 markings, 5903312 edges, 25573 markings/sec, 65 secs
lola: 1929530 markings, 6333097 edges, 25820 markings/sec, 70 secs
lola: 2057740 markings, 6760542 edges, 25642 markings/sec, 75 secs
lola: 2186255 markings, 7187563 edges, 25703 markings/sec, 80 secs
lola: 2314048 markings, 7611028 edges, 25559 markings/sec, 85 secs
lola: 2441579 markings, 8019945 edges, 25506 markings/sec, 90 secs
lola: 2567415 markings, 8445600 edges, 25167 markings/sec, 95 secs
lola: 2686484 markings, 8823667 edges, 23814 markings/sec, 100 secs
lola: 2811619 markings, 9238818 edges, 25027 markings/sec, 105 secs
lola: 2936590 markings, 9640490 edges, 24994 markings/sec, 110 secs
lola: 3061893 markings, 10052635 edges, 25061 markings/sec, 115 secs
lola: 3186898 markings, 10463242 edges, 25001 markings/sec, 120 secs
lola: 3311242 markings, 10860459 edges, 24869 markings/sec, 125 secs
lola: 3434945 markings, 11278549 edges, 24741 markings/sec, 130 secs
lola: 3557171 markings, 11666546 edges, 24445 markings/sec, 135 secs
lola: 3682064 markings, 12087897 edges, 24979 markings/sec, 140 secs
lola: 3805792 markings, 12481751 edges, 24746 markings/sec, 145 secs
lola: 3930329 markings, 12894868 edges, 24907 markings/sec, 150 secs
lola: 4054669 markings, 13294789 edges, 24868 markings/sec, 155 secs
lola: 4179672 markings, 13705065 edges, 25001 markings/sec, 160 secs
lola: 4304518 markings, 14116113 edges, 24969 markings/sec, 165 secs
lola: 4428532 markings, 14512223 edges, 24803 markings/sec, 170 secs
lola: 4551888 markings, 14929259 edges, 24671 markings/sec, 175 secs
lola: 4675796 markings, 15322356 edges, 24782 markings/sec, 180 secs
lola: 4800957 markings, 15744656 edges, 25032 markings/sec, 185 secs
lola: 4925814 markings, 16142147 edges, 24971 markings/sec, 190 secs
lola: 5050869 markings, 16557184 edges, 25011 markings/sec, 195 secs
lola: 5174956 markings, 16955956 edges, 24817 markings/sec, 200 secs
lola: 5299579 markings, 17365505 edges, 24925 markings/sec, 205 secs
lola: 5423913 markings, 17774475 edges, 24867 markings/sec, 210 secs
lola: 5548517 markings, 18172415 edges, 24921 markings/sec, 215 secs
lola: 5673103 markings, 18593245 edges, 24917 markings/sec, 220 secs
lola: 5796805 markings, 18985731 edges, 24740 markings/sec, 225 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 150 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1361004 KB
lola: time consumption: 2638 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 233 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__9_5_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__9_5_)
lola: processed formula length: 15
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: 150
lola: 131842 markings, 485450 edges, 26368 markings/sec, 0 secs
lola: 264083 markings, 984367 edges, 26448 markings/sec, 5 secs
lola: 395861 markings, 1496585 edges, 26356 markings/sec, 10 secs
lola: 528510 markings, 2008808 edges, 26530 markings/sec, 15 secs
lola: 659488 markings, 2527389 edges, 26196 markings/sec, 20 secs
lola: 791219 markings, 3046108 edges, 26346 markings/sec, 25 secs
lola: 921448 markings, 3553257 edges, 26046 markings/sec, 30 secs
lola: 1049860 markings, 4044549 edges, 25682 markings/sec, 35 secs
lola: 1178577 markings, 4558740 edges, 25743 markings/sec, 40 secs
lola: 1309808 markings, 5051407 edges, 26246 markings/sec, 45 secs
lola: 1440220 markings, 5559113 edges, 26082 markings/sec, 50 secs
lola: 1569557 markings, 6060580 edges, 25867 markings/sec, 55 secs
lola: 1698619 markings, 6588658 edges, 25812 markings/sec, 60 secs
lola: 1828330 markings, 7091105 edges, 25942 markings/sec, 65 secs
lola: 1957663 markings, 7599745 edges, 25867 markings/sec, 70 secs
lola: 2086811 markings, 8109874 edges, 25830 markings/sec, 75 secs
lola: 2213654 markings, 8650097 edges, 25369 markings/sec, 80 secs
lola: 2341386 markings, 9185554 edges, 25546 markings/sec, 85 secs
lola: 2467587 markings, 9716036 edges, 25240 markings/sec, 90 secs
lola: 2595930 markings, 10257653 edges, 25669 markings/sec, 95 secs
lola: 2718781 markings, 10768855 edges, 24570 markings/sec, 100 secs
lola: 2835967 markings, 11263048 edges, 23437 markings/sec, 105 secs
lola: 2953359 markings, 11729380 edges, 23478 markings/sec, 110 secs
lola: 3074696 markings, 12203958 edges, 24267 markings/sec, 115 secs
lola: 3194215 markings, 12674882 edges, 23904 markings/sec, 120 secs
lola: 3315374 markings, 13153949 edges, 24232 markings/sec, 125 secs
lola: 3436475 markings, 13614745 edges, 24220 markings/sec, 130 secs
lola: 3557466 markings, 14081495 edges, 24198 markings/sec, 135 secs
lola: 3678007 markings, 14555060 edges, 24108 markings/sec, 140 secs
lola: 3806285 markings, 15041527 edges, 25656 markings/sec, 145 secs
lola: 3936183 markings, 15547827 edges, 25980 markings/sec, 150 secs
lola: 4065881 markings, 16049597 edges, 25940 markings/sec, 155 secs
lola: 4195422 markings, 16549140 edges, 25908 markings/sec, 160 secs
lola: 4323683 markings, 17068891 edges, 25652 markings/sec, 165 secs
lola: 4456325 markings, 17570083 edges, 26528 markings/sec, 170 secs
lola: 4586573 markings, 18088920 edges, 26050 markings/sec, 175 secs
lola: 4717091 markings, 18600586 edges, 26104 markings/sec, 180 secs
lola: 4848335 markings, 19090417 edges, 26249 markings/sec, 185 secs
lola: 4979075 markings, 19594624 edges, 26148 markings/sec, 190 secs
lola: 5107610 markings, 20097156 edges, 25707 markings/sec, 195 secs
lola: 5236027 markings, 20607077 edges, 25683 markings/sec, 200 secs
lola: 5366659 markings, 21098574 edges, 26126 markings/sec, 205 secs
lola: 5497341 markings, 21603960 edges, 26136 markings/sec, 210 secs
lola: 5627257 markings, 22110218 edges, 25983 markings/sec, 215 secs
lola: 5756684 markings, 22618732 edges, 25885 markings/sec, 220 secs
lola: 5886156 markings, 23126754 edges, 25894 markings/sec, 225 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 150 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1960608 KB
lola: time consumption: 2872 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 232 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__2_9_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__2_9_)
lola: processed formula length: 15
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: 150
lola: 134244 markings, 409878 edges, 26849 markings/sec, 0 secs
lola: 265182 markings, 841723 edges, 26188 markings/sec, 5 secs
lola: 395837 markings, 1272689 edges, 26131 markings/sec, 10 secs
lola: 526419 markings, 1702716 edges, 26116 markings/sec, 15 secs
lola: 657062 markings, 2133253 edges, 26129 markings/sec, 20 secs
lola: 787468 markings, 2563187 edges, 26081 markings/sec, 25 secs
lola: 917888 markings, 2993231 edges, 26084 markings/sec, 30 secs
lola: 1048149 markings, 3422926 edges, 26052 markings/sec, 35 secs
lola: 1178886 markings, 3853667 edges, 26147 markings/sec, 40 secs
lola: 1306578 markings, 4274645 edges, 25538 markings/sec, 45 secs
lola: 1436608 markings, 4703194 edges, 26006 markings/sec, 50 secs
lola: 1566820 markings, 5132408 edges, 26042 markings/sec, 55 secs
lola: 1695359 markings, 5555996 edges, 25708 markings/sec, 60 secs
lola: 1824901 markings, 5982793 edges, 25908 markings/sec, 65 secs
lola: 1953168 markings, 6405979 edges, 25653 markings/sec, 70 secs
lola: 2083259 markings, 6835053 edges, 26018 markings/sec, 75 secs
lola: 2212063 markings, 7259751 edges, 25761 markings/sec, 80 secs
lola: 2342424 markings, 7689387 edges, 26072 markings/sec, 85 secs
lola: 2472208 markings, 8117267 edges, 25957 markings/sec, 90 secs
lola: 2602702 markings, 8547628 edges, 26099 markings/sec, 95 secs
lola: 2732919 markings, 8977023 edges, 26043 markings/sec, 100 secs
lola: 2862626 markings, 9404355 edges, 25941 markings/sec, 105 secs
lola: 2992111 markings, 9831289 edges, 25897 markings/sec, 110 secs
lola: 3121208 markings, 10256860 edges, 25819 markings/sec, 115 secs
lola: 3251570 markings, 10686519 edges, 26072 markings/sec, 120 secs
lola: 3381160 markings, 11113518 edges, 25918 markings/sec, 125 secs
lola: 3507002 markings, 11528423 edges, 25168 markings/sec, 130 secs
lola: 3634021 markings, 11947627 edges, 25404 markings/sec, 135 secs
lola: 3762575 markings, 12371166 edges, 25711 markings/sec, 140 secs
lola: 3894531 markings, 12806273 edges, 26391 markings/sec, 145 secs
lola: 4026359 markings, 13250163 edges, 26366 markings/sec, 150 secs
lola: 4158863 markings, 13688967 edges, 26501 markings/sec, 155 secs
lola: 4287923 markings, 14136247 edges, 25812 markings/sec, 160 secs
lola: 4419295 markings, 14578636 edges, 26274 markings/sec, 165 secs
lola: 4549719 markings, 15015727 edges, 26085 markings/sec, 170 secs
lola: 4680700 markings, 15454799 edges, 26196 markings/sec, 175 secs
lola: 4811333 markings, 15893262 edges, 26127 markings/sec, 180 secs
lola: 4941104 markings, 16329076 edges, 25954 markings/sec, 185 secs
lola: 5070850 markings, 16762493 edges, 25949 markings/sec, 190 secs
lola: 5201844 markings, 17197542 edges, 26199 markings/sec, 195 secs
lola: 5332714 markings, 17639539 edges, 26174 markings/sec, 200 secs
lola: 5462642 markings, 18081740 edges, 25986 markings/sec, 205 secs
lola: 5592775 markings, 18509432 edges, 26027 markings/sec, 210 secs
lola: 5720944 markings, 18943918 edges, 25634 markings/sec, 215 secs
lola: 5848458 markings, 19378414 edges, 25503 markings/sec, 220 secs
lola: 5976919 markings, 19801584 edges, 25692 markings/sec, 225 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 150 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1477928 KB
lola: time consumption: 3104 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 14 will run for 233 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__6_9_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__6_9_)
lola: processed formula length: 15
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: 150
lola: 132594 markings, 424973 edges, 26519 markings/sec, 0 secs
lola: 265545 markings, 850672 edges, 26590 markings/sec, 5 secs
lola: 397330 markings, 1282099 edges, 26357 markings/sec, 10 secs
lola: 530096 markings, 1707302 edges, 26553 markings/sec, 15 secs
lola: 663069 markings, 2138267 edges, 26595 markings/sec, 20 secs
lola: 794264 markings, 2564435 edges, 26239 markings/sec, 25 secs
lola: 926742 markings, 2977682 edges, 26496 markings/sec, 30 secs
lola: 1057494 markings, 3402577 edges, 26150 markings/sec, 35 secs
lola: 1189664 markings, 3817156 edges, 26434 markings/sec, 40 secs
lola: 1320713 markings, 4247176 edges, 26210 markings/sec, 45 secs
lola: 1452833 markings, 4665140 edges, 26424 markings/sec, 50 secs
lola: 1585695 markings, 5083997 edges, 26572 markings/sec, 55 secs
lola: 1717114 markings, 5509996 edges, 26284 markings/sec, 60 secs
lola: 1846632 markings, 5938327 edges, 25904 markings/sec, 65 secs
lola: 1977257 markings, 6364885 edges, 26125 markings/sec, 70 secs
lola: 2105749 markings, 6798484 edges, 25698 markings/sec, 75 secs
lola: 2234581 markings, 7229582 edges, 25766 markings/sec, 80 secs
lola: 2366815 markings, 7653186 edges, 26447 markings/sec, 85 secs
lola: 2497525 markings, 8085284 edges, 26142 markings/sec, 90 secs
lola: 2627760 markings, 8515014 edges, 26047 markings/sec, 95 secs
lola: 2759604 markings, 8927368 edges, 26369 markings/sec, 100 secs
lola: 2889717 markings, 9354692 edges, 26023 markings/sec, 105 secs
lola: 3019086 markings, 9776105 edges, 25874 markings/sec, 110 secs
lola: 3150274 markings, 10200844 edges, 26238 markings/sec, 115 secs
lola: 3281356 markings, 10631476 edges, 26216 markings/sec, 120 secs
lola: 3412992 markings, 11045647 edges, 26327 markings/sec, 125 secs
lola: 3543000 markings, 11471468 edges, 26002 markings/sec, 130 secs
lola: 3672839 markings, 11892826 edges, 25968 markings/sec, 135 secs
lola: 3803706 markings, 12318838 edges, 26173 markings/sec, 140 secs
lola: 3934672 markings, 12747957 edges, 26193 markings/sec, 145 secs
lola: 4065755 markings, 13165679 edges, 26217 markings/sec, 150 secs
lola: 4197536 markings, 13594465 edges, 26356 markings/sec, 155 secs
lola: 4327147 markings, 14010227 edges, 25922 markings/sec, 160 secs
lola: 4456826 markings, 14432014 edges, 25936 markings/sec, 165 secs
lola: 4588157 markings, 14861923 edges, 26266 markings/sec, 170 secs
lola: 4719020 markings, 15282397 edges, 26173 markings/sec, 175 secs
lola: 4850183 markings, 15708212 edges, 26233 markings/sec, 180 secs
lola: 4980632 markings, 16127744 edges, 26090 markings/sec, 185 secs
lola: 5110385 markings, 16552168 edges, 25951 markings/sec, 190 secs
lola: 5241835 markings, 16975790 edges, 26290 markings/sec, 195 secs
lola: 5371760 markings, 17401183 edges, 25985 markings/sec, 200 secs
lola: 5503291 markings, 17824681 edges, 26306 markings/sec, 205 secs
lola: 5633410 markings, 18243800 edges, 26024 markings/sec, 210 secs
lola: 5762338 markings, 18665354 edges, 25786 markings/sec, 215 secs
lola: 5893257 markings, 19087441 edges, 26184 markings/sec, 220 secs
lola: 6021160 markings, 19509724 edges, 25581 markings/sec, 225 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 150 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1870460 KB
lola: time consumption: 3337 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 15 will run for 232 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__6_6_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__6_6_)
lola: processed formula length: 15
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: 150
lola: SUBRESULT
lola: result: 150
lola: produced by: state space
lola: The maximum value of the given expression is 150
lola: 0 markings, 0 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__5_9_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__5_9_)
lola: processed formula length: 15
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: 150
lola: 125548 markings, 447335 edges, 25110 markings/sec, 0 secs
lola: 253631 markings, 915923 edges, 25617 markings/sec, 5 secs
lola: 381419 markings, 1364172 edges, 25558 markings/sec, 10 secs
lola: 509230 markings, 1810553 edges, 25562 markings/sec, 15 secs
lola: 634749 markings, 2272727 edges, 25104 markings/sec, 20 secs
lola: 764278 markings, 2722987 edges, 25906 markings/sec, 25 secs
lola: 892717 markings, 3166927 edges, 25688 markings/sec, 30 secs
lola: 1022495 markings, 3615735 edges, 25956 markings/sec, 35 secs
lola: 1151993 markings, 4062489 edges, 25900 markings/sec, 40 secs
lola: 1279392 markings, 4498680 edges, 25480 markings/sec, 45 secs
lola: 1403480 markings, 4927985 edges, 24818 markings/sec, 50 secs
lola: 1533409 markings, 5376187 edges, 25986 markings/sec, 55 secs
lola: 1664073 markings, 5822836 edges, 26133 markings/sec, 60 secs
lola: 1794497 markings, 6269258 edges, 26085 markings/sec, 65 secs
lola: 1924056 markings, 6715464 edges, 25912 markings/sec, 70 secs
lola: 2052996 markings, 7161065 edges, 25788 markings/sec, 75 secs
lola: 2182310 markings, 7608220 edges, 25863 markings/sec, 80 secs
lola: 2311121 markings, 8052087 edges, 25762 markings/sec, 85 secs
lola: 2439752 markings, 8493210 edges, 25726 markings/sec, 90 secs
lola: 2569907 markings, 8942781 edges, 26031 markings/sec, 95 secs
lola: 2700255 markings, 9392570 edges, 26070 markings/sec, 100 secs
lola: 2830353 markings, 9837475 edges, 26020 markings/sec, 105 secs
lola: 2959128 markings, 10277571 edges, 25755 markings/sec, 110 secs
lola: 3088240 markings, 10722993 edges, 25822 markings/sec, 115 secs
lola: 3219017 markings, 11174474 edges, 26155 markings/sec, 120 secs
lola: 3349555 markings, 11625939 edges, 26108 markings/sec, 125 secs
lola: 3480428 markings, 12076696 edges, 26175 markings/sec, 130 secs
lola: 3611558 markings, 12525825 edges, 26226 markings/sec, 135 secs
lola: 3743052 markings, 12979542 edges, 26299 markings/sec, 140 secs
lola: 3874055 markings, 13431361 edges, 26201 markings/sec, 145 secs
lola: 4004960 markings, 13883595 edges, 26181 markings/sec, 150 secs
lola: 4133991 markings, 14321943 edges, 25806 markings/sec, 155 secs
lola: 4264494 markings, 14770446 edges, 26101 markings/sec, 160 secs
lola: 4393249 markings, 15215601 edges, 25751 markings/sec, 165 secs
lola: 4523817 markings, 15666551 edges, 26114 markings/sec, 170 secs
lola: 4654500 markings, 16117243 edges, 26137 markings/sec, 175 secs
lola: 4784154 markings, 16563756 edges, 25931 markings/sec, 180 secs
lola: 4914950 markings, 17012948 edges, 26159 markings/sec, 185 secs
lola: 5045558 markings, 17463880 edges, 26122 markings/sec, 190 secs
lola: 5175061 markings, 17910637 edges, 25901 markings/sec, 195 secs
lola: 5305957 markings, 18357979 edges, 26179 markings/sec, 200 secs
lola: 5436977 markings, 18806576 edges, 26204 markings/sec, 205 secs
lola: 5567776 markings, 19256572 edges, 26160 markings/sec, 210 secs
lola: 5698269 markings, 19707991 edges, 26099 markings/sec, 215 secs
lola: 5828636 markings, 20158261 edges, 26073 markings/sec, 220 secs
lola: 5959425 markings, 20609576 edges, 26158 markings/sec, 225 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown 150 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown 150
lola:
preliminary result: unknown 150 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown 150
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown 150 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown 150
lola: memory consumption: 1847096 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
rslt: finished

BK_STOP 1552563967534

--------------------
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="Diffusion2D-PT-D10N150"
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 Diffusion2D-PT-D10N150, 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 r060-ebro-155234654600101"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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