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-155234654700155.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-D30N010, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r060-ebro-155234654700155
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.2M
-rw-r--r-- 1 mcc users 4.5K Feb 10 21:34 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 10 21:34 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Feb 6 17:55 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 6 17:55 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.6K Feb 4 23:31 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.7K Feb 4 23:31 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 4 22:34 LTLFireability.txt
-rw-r--r-- 1 mcc users 11K Feb 4 22:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.4K Feb 3 07:21 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Feb 3 07:21 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Jan 30 23:45 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K 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.9K 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 3.0M 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-D30N010-UpperBounds-00
FORMULA_NAME Diffusion2D-PT-D30N010-UpperBounds-01
FORMULA_NAME Diffusion2D-PT-D30N010-UpperBounds-02
FORMULA_NAME Diffusion2D-PT-D30N010-UpperBounds-03
FORMULA_NAME Diffusion2D-PT-D30N010-UpperBounds-04
FORMULA_NAME Diffusion2D-PT-D30N010-UpperBounds-05
FORMULA_NAME Diffusion2D-PT-D30N010-UpperBounds-06
FORMULA_NAME Diffusion2D-PT-D30N010-UpperBounds-07
FORMULA_NAME Diffusion2D-PT-D30N010-UpperBounds-08
FORMULA_NAME Diffusion2D-PT-D30N010-UpperBounds-09
FORMULA_NAME Diffusion2D-PT-D30N010-UpperBounds-10
FORMULA_NAME Diffusion2D-PT-D30N010-UpperBounds-11
FORMULA_NAME Diffusion2D-PT-D30N010-UpperBounds-12
FORMULA_NAME Diffusion2D-PT-D30N010-UpperBounds-13
FORMULA_NAME Diffusion2D-PT-D30N010-UpperBounds-14
FORMULA_NAME Diffusion2D-PT-D30N010-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1552574091574

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

FORMULA Diffusion2D-PT-D30N010-UpperBounds-06 10 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-D30N010

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 248
},
"exit":
{
"localtimelimitreached": false,
"memory": 189736,
"runtime": 3570.000000,
"signal": "User defined signal 1"
},
"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__1_6_)",
"processed_size": 15,
"rewrites": 0
},
"result":
{
"preliminary_value": "unknown unknown unknown unknown unknown unknown 10 unknown unknown unknown unknown unknown unknown unknown unknown unknown "
},
"task":
{
"compoundnumber": 15,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
}
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: 7744/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 28800
lola: finding significant places
lola: 900 places, 6844 transitions, 899 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__24_17_) : MAX(cAMP__29_30_) : MAX(cAMP__1_13_) : MAX(cAMP__29_5_) : MAX(cAMP__9_24_) : MAX(cAMP__30_18_) : MAX(cAMP__17_18_) : MAX(cAMP__8_26_) : MAX(cAMP__20_2_) : MAX(cAMP__18_7_) : MAX(cAMP__25_20_) : MAX(cAMP__8_17_) : MAX(cAMP__19_15_) : MAX(cAMP__1_14_) : MAX(cAMP__25_18_) : MAX(cAMP__1_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__24_17_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__24_17_)
lola: processed formula length: 17
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: 10
lola: 8224 markings, 28876 edges, 1645 markings/sec, 0 secs
lola: 18185 markings, 65552 edges, 1992 markings/sec, 5 secs
lola: 28197 markings, 101386 edges, 2002 markings/sec, 10 secs
lola: 38227 markings, 135839 edges, 2006 markings/sec, 15 secs
lola: 48264 markings, 170334 edges, 2007 markings/sec, 20 secs
lola: 58293 markings, 205998 edges, 2006 markings/sec, 25 secs
lola: 68329 markings, 240091 edges, 2007 markings/sec, 30 secs
lola: 78379 markings, 273879 edges, 2010 markings/sec, 35 secs
lola: 88390 markings, 310028 edges, 2002 markings/sec, 40 secs
lola: 98413 markings, 345059 edges, 2005 markings/sec, 45 secs
lola: 108406 markings, 381258 edges, 1999 markings/sec, 50 secs
lola: 118404 markings, 417028 edges, 2000 markings/sec, 55 secs
lola: 128362 markings, 454794 edges, 1992 markings/sec, 60 secs
lola: 138348 markings, 490052 edges, 1997 markings/sec, 65 secs
lola: 148300 markings, 528495 edges, 1990 markings/sec, 70 secs
lola: 158270 markings, 565481 edges, 1994 markings/sec, 75 secs
lola: 168280 markings, 601181 edges, 2002 markings/sec, 80 secs
lola: 178272 markings, 637869 edges, 1998 markings/sec, 85 secs
lola: 188248 markings, 674947 edges, 1995 markings/sec, 90 secs
lola: 198173 markings, 710862 edges, 1985 markings/sec, 95 secs
lola: 208090 markings, 747172 edges, 1983 markings/sec, 100 secs
lola: 218041 markings, 784311 edges, 1990 markings/sec, 105 secs
lola: 227946 markings, 821757 edges, 1981 markings/sec, 110 secs
lola: 237896 markings, 856154 edges, 1990 markings/sec, 115 secs
lola: 247723 markings, 891094 edges, 1965 markings/sec, 120 secs
lola: 257599 markings, 925948 edges, 1975 markings/sec, 125 secs
lola: 267476 markings, 960475 edges, 1975 markings/sec, 130 secs
lola: 277307 markings, 995793 edges, 1966 markings/sec, 135 secs
lola: 287306 markings, 1032300 edges, 2000 markings/sec, 140 secs
lola: 297154 markings, 1068243 edges, 1970 markings/sec, 145 secs
lola: 307165 markings, 1104298 edges, 2002 markings/sec, 150 secs
lola: 317136 markings, 1139889 edges, 1994 markings/sec, 155 secs
lola: 327097 markings, 1175031 edges, 1992 markings/sec, 160 secs
lola: 337089 markings, 1210816 edges, 1998 markings/sec, 165 secs
lola: 346961 markings, 1245487 edges, 1974 markings/sec, 170 secs
lola: 356836 markings, 1279871 edges, 1975 markings/sec, 175 secs
lola: 366629 markings, 1314105 edges, 1959 markings/sec, 180 secs
lola: 376467 markings, 1349307 edges, 1968 markings/sec, 185 secs
lola: 386292 markings, 1386802 edges, 1965 markings/sec, 190 secs
lola: 396324 markings, 1421443 edges, 2006 markings/sec, 195 secs
lola: 406308 markings, 1456456 edges, 1997 markings/sec, 200 secs
lola: 416233 markings, 1493678 edges, 1985 markings/sec, 205 secs
lola: 426238 markings, 1527298 edges, 2001 markings/sec, 210 secs
lola: 436214 markings, 1562931 edges, 1995 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: 191828 KB
lola: time consumption: 228 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__29_30_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__29_30_)
lola: processed formula length: 17
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: 10
lola: 8438 markings, 25926 edges, 1688 markings/sec, 0 secs
lola: 18626 markings, 58628 edges, 2038 markings/sec, 5 secs
lola: 28785 markings, 91933 edges, 2032 markings/sec, 10 secs
lola: 38950 markings, 124995 edges, 2033 markings/sec, 15 secs
lola: 49125 markings, 158021 edges, 2035 markings/sec, 20 secs
lola: 59317 markings, 190454 edges, 2038 markings/sec, 25 secs
lola: 69495 markings, 221154 edges, 2036 markings/sec, 30 secs
lola: 79681 markings, 253046 edges, 2037 markings/sec, 35 secs
lola: 89882 markings, 284414 edges, 2040 markings/sec, 40 secs
lola: 100056 markings, 316539 edges, 2035 markings/sec, 45 secs
lola: 110263 markings, 348443 edges, 2041 markings/sec, 50 secs
lola: 120475 markings, 380174 edges, 2042 markings/sec, 55 secs
lola: 130687 markings, 411867 edges, 2042 markings/sec, 60 secs
lola: 140881 markings, 443716 edges, 2039 markings/sec, 65 secs
lola: 151099 markings, 473913 edges, 2044 markings/sec, 70 secs
lola: 161316 markings, 506013 edges, 2043 markings/sec, 75 secs
lola: 171489 markings, 536796 edges, 2035 markings/sec, 80 secs
lola: 181550 markings, 567567 edges, 2012 markings/sec, 85 secs
lola: 191685 markings, 598243 edges, 2027 markings/sec, 90 secs
lola: 201842 markings, 629254 edges, 2031 markings/sec, 95 secs
lola: 212095 markings, 659942 edges, 2051 markings/sec, 100 secs
lola: 222311 markings, 691720 edges, 2043 markings/sec, 105 secs
lola: 232503 markings, 721467 edges, 2038 markings/sec, 110 secs
lola: 242714 markings, 753445 edges, 2042 markings/sec, 115 secs
lola: 252925 markings, 783578 edges, 2042 markings/sec, 120 secs
lola: 263079 markings, 815205 edges, 2031 markings/sec, 125 secs
lola: 273308 markings, 845590 edges, 2046 markings/sec, 130 secs
lola: 283547 markings, 876526 edges, 2048 markings/sec, 135 secs
lola: 293782 markings, 907472 edges, 2047 markings/sec, 140 secs
lola: 304047 markings, 937921 edges, 2053 markings/sec, 145 secs
lola: 314313 markings, 968170 edges, 2053 markings/sec, 150 secs
lola: 324513 markings, 1001144 edges, 2040 markings/sec, 155 secs
lola: 334721 markings, 1033163 edges, 2042 markings/sec, 160 secs
lola: 344978 markings, 1063873 edges, 2051 markings/sec, 165 secs
lola: 355101 markings, 1095238 edges, 2025 markings/sec, 170 secs
lola: 365137 markings, 1124043 edges, 2007 markings/sec, 175 secs
lola: 375460 markings, 1154784 edges, 2065 markings/sec, 180 secs
lola: 385711 markings, 1185416 edges, 2050 markings/sec, 185 secs
lola: 395955 markings, 1217392 edges, 2049 markings/sec, 190 secs
lola: 406253 markings, 1247268 edges, 2060 markings/sec, 195 secs
lola: 416506 markings, 1279269 edges, 2051 markings/sec, 200 secs
lola: 426735 markings, 1310034 edges, 2046 markings/sec, 205 secs
lola: 436830 markings, 1341656 edges, 2019 markings/sec, 210 secs
lola: 447003 markings, 1373771 edges, 2035 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: 180732 KB
lola: time consumption: 451 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 2 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__1_13_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__1_13_)
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: 10
lola: 8579 markings, 28186 edges, 1716 markings/sec, 0 secs
lola: 18795 markings, 60172 edges, 2043 markings/sec, 5 secs
lola: 28968 markings, 92292 edges, 2035 markings/sec, 10 secs
lola: 39240 markings, 124487 edges, 2054 markings/sec, 15 secs
lola: 49519 markings, 157603 edges, 2056 markings/sec, 20 secs
lola: 59790 markings, 190533 edges, 2054 markings/sec, 25 secs
lola: 70092 markings, 222106 edges, 2060 markings/sec, 30 secs
lola: 80370 markings, 254414 edges, 2056 markings/sec, 35 secs
lola: 90622 markings, 286913 edges, 2050 markings/sec, 40 secs
lola: 100812 markings, 319340 edges, 2038 markings/sec, 45 secs
lola: 111037 markings, 350969 edges, 2045 markings/sec, 50 secs
lola: 121281 markings, 383804 edges, 2049 markings/sec, 55 secs
lola: 131525 markings, 416170 edges, 2049 markings/sec, 60 secs
lola: 141734 markings, 448800 edges, 2042 markings/sec, 65 secs
lola: 152004 markings, 481205 edges, 2054 markings/sec, 70 secs
lola: 162134 markings, 513296 edges, 2026 markings/sec, 75 secs
lola: 172255 markings, 544872 edges, 2024 markings/sec, 80 secs
lola: 182457 markings, 577081 edges, 2040 markings/sec, 85 secs
lola: 192703 markings, 609856 edges, 2049 markings/sec, 90 secs
lola: 202965 markings, 642620 edges, 2052 markings/sec, 95 secs
lola: 213262 markings, 674333 edges, 2059 markings/sec, 100 secs
lola: 223439 markings, 705653 edges, 2035 markings/sec, 105 secs
lola: 233552 markings, 737604 edges, 2023 markings/sec, 110 secs
lola: 243677 markings, 769052 edges, 2025 markings/sec, 115 secs
lola: 253916 markings, 800919 edges, 2048 markings/sec, 120 secs
lola: 264169 markings, 832874 edges, 2051 markings/sec, 125 secs
lola: 274389 markings, 865346 edges, 2044 markings/sec, 130 secs
lola: 284620 markings, 897352 edges, 2046 markings/sec, 135 secs
lola: 294824 markings, 929116 edges, 2041 markings/sec, 140 secs
lola: 304849 markings, 960425 edges, 2005 markings/sec, 145 secs
lola: 315001 markings, 992266 edges, 2030 markings/sec, 150 secs
lola: 325150 markings, 1023540 edges, 2030 markings/sec, 155 secs
lola: 335267 markings, 1055371 edges, 2023 markings/sec, 160 secs
lola: 345390 markings, 1086996 edges, 2025 markings/sec, 165 secs
lola: 355483 markings, 1120101 edges, 2019 markings/sec, 170 secs
lola: 365634 markings, 1151964 edges, 2030 markings/sec, 175 secs
lola: 375758 markings, 1184838 edges, 2025 markings/sec, 180 secs
lola: 385942 markings, 1216713 edges, 2037 markings/sec, 185 secs
lola: 396135 markings, 1248092 edges, 2039 markings/sec, 190 secs
lola: 406362 markings, 1280081 edges, 2045 markings/sec, 195 secs
lola: 416575 markings, 1312319 edges, 2043 markings/sec, 200 secs
lola: 426780 markings, 1344398 edges, 2041 markings/sec, 205 secs
lola: 436976 markings, 1377110 edges, 2039 markings/sec, 210 secs
lola: 447180 markings, 1408487 edges, 2041 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: 186688 KB
lola: time consumption: 673 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 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__29_5_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__29_5_)
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: 10
lola: 8274 markings, 27000 edges, 1655 markings/sec, 0 secs
lola: 18263 markings, 58220 edges, 1998 markings/sec, 5 secs
lola: 28210 markings, 90317 edges, 1989 markings/sec, 10 secs
lola: 38120 markings, 122010 edges, 1982 markings/sec, 15 secs
lola: 48113 markings, 154024 edges, 1999 markings/sec, 20 secs
lola: 58129 markings, 186493 edges, 2003 markings/sec, 25 secs
lola: 68215 markings, 218443 edges, 2017 markings/sec, 30 secs
lola: 78194 markings, 251289 edges, 1996 markings/sec, 35 secs
lola: 88279 markings, 283461 edges, 2017 markings/sec, 40 secs
lola: 98368 markings, 315314 edges, 2018 markings/sec, 45 secs
lola: 108474 markings, 346896 edges, 2021 markings/sec, 50 secs
lola: 118563 markings, 376801 edges, 2018 markings/sec, 55 secs
lola: 128688 markings, 407391 edges, 2025 markings/sec, 60 secs
lola: 138784 markings, 439805 edges, 2019 markings/sec, 65 secs
lola: 148904 markings, 471127 edges, 2024 markings/sec, 70 secs
lola: 158961 markings, 502653 edges, 2011 markings/sec, 75 secs
lola: 169024 markings, 534907 edges, 2013 markings/sec, 80 secs
lola: 179071 markings, 566536 edges, 2009 markings/sec, 85 secs
lola: 189060 markings, 600565 edges, 1998 markings/sec, 90 secs
lola: 199118 markings, 632400 edges, 2012 markings/sec, 95 secs
lola: 209250 markings, 662936 edges, 2026 markings/sec, 100 secs
lola: 219349 markings, 693623 edges, 2020 markings/sec, 105 secs
lola: 229446 markings, 723747 edges, 2019 markings/sec, 110 secs
lola: 239521 markings, 754751 edges, 2015 markings/sec, 115 secs
lola: 249590 markings, 785984 edges, 2014 markings/sec, 120 secs
lola: 259671 markings, 818018 edges, 2016 markings/sec, 125 secs
lola: 269753 markings, 850381 edges, 2016 markings/sec, 130 secs
lola: 279870 markings, 880938 edges, 2023 markings/sec, 135 secs
lola: 289958 markings, 912211 edges, 2018 markings/sec, 140 secs
lola: 299975 markings, 945802 edges, 2003 markings/sec, 145 secs
lola: 310026 markings, 978569 edges, 2010 markings/sec, 150 secs
lola: 319881 markings, 1011969 edges, 1971 markings/sec, 155 secs
lola: 329845 markings, 1045859 edges, 1993 markings/sec, 160 secs
lola: 339862 markings, 1075356 edges, 2003 markings/sec, 165 secs
lola: 349909 markings, 1106586 edges, 2009 markings/sec, 170 secs
lola: 360049 markings, 1137816 edges, 2028 markings/sec, 175 secs
lola: 370205 markings, 1168120 edges, 2031 markings/sec, 180 secs
lola: 380319 markings, 1200069 edges, 2023 markings/sec, 185 secs
lola: 390468 markings, 1230855 edges, 2030 markings/sec, 190 secs
lola: 400549 markings, 1263378 edges, 2016 markings/sec, 195 secs
lola: 410614 markings, 1294100 edges, 2013 markings/sec, 200 secs
lola: 420796 markings, 1323743 edges, 2036 markings/sec, 205 secs
lola: 430939 markings, 1355014 edges, 2029 markings/sec, 210 secs
lola: 441082 markings, 1385782 edges, 2029 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: 176260 KB
lola: time consumption: 895 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__9_24_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__9_24_)
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: 10
lola: 8391 markings, 29155 edges, 1678 markings/sec, 0 secs
lola: 18388 markings, 63467 edges, 1999 markings/sec, 5 secs
lola: 28320 markings, 97078 edges, 1986 markings/sec, 10 secs
lola: 38299 markings, 131216 edges, 1996 markings/sec, 15 secs
lola: 48280 markings, 166270 edges, 1996 markings/sec, 20 secs
lola: 58280 markings, 199277 edges, 2000 markings/sec, 25 secs
lola: 68205 markings, 231534 edges, 1985 markings/sec, 30 secs
lola: 78164 markings, 263917 edges, 1992 markings/sec, 35 secs
lola: 88014 markings, 299616 edges, 1970 markings/sec, 40 secs
lola: 97919 markings, 333902 edges, 1981 markings/sec, 45 secs
lola: 107801 markings, 367047 edges, 1976 markings/sec, 50 secs
lola: 117645 markings, 402256 edges, 1969 markings/sec, 55 secs
lola: 127494 markings, 435796 edges, 1970 markings/sec, 60 secs
lola: 137365 markings, 469755 edges, 1974 markings/sec, 65 secs
lola: 147190 markings, 505397 edges, 1965 markings/sec, 70 secs
lola: 157050 markings, 539330 edges, 1972 markings/sec, 75 secs
lola: 166948 markings, 573274 edges, 1980 markings/sec, 80 secs
lola: 176877 markings, 606303 edges, 1986 markings/sec, 85 secs
lola: 186775 markings, 640285 edges, 1980 markings/sec, 90 secs
lola: 196725 markings, 672394 edges, 1990 markings/sec, 95 secs
lola: 206582 markings, 706521 edges, 1971 markings/sec, 100 secs
lola: 216408 markings, 741319 edges, 1965 markings/sec, 105 secs
lola: 226258 markings, 776573 edges, 1970 markings/sec, 110 secs
lola: 236082 markings, 810564 edges, 1965 markings/sec, 115 secs
lola: 245920 markings, 844331 edges, 1968 markings/sec, 120 secs
lola: 255809 markings, 877990 edges, 1978 markings/sec, 125 secs
lola: 265589 markings, 913742 edges, 1956 markings/sec, 130 secs
lola: 275485 markings, 947437 edges, 1979 markings/sec, 135 secs
lola: 285360 markings, 981434 edges, 1975 markings/sec, 140 secs
lola: 295281 markings, 1013979 edges, 1984 markings/sec, 145 secs
lola: 305178 markings, 1048311 edges, 1979 markings/sec, 150 secs
lola: 315099 markings, 1083849 edges, 1984 markings/sec, 155 secs
lola: 325036 markings, 1117442 edges, 1987 markings/sec, 160 secs
lola: 334968 markings, 1150388 edges, 1986 markings/sec, 165 secs
lola: 344892 markings, 1183935 edges, 1985 markings/sec, 170 secs
lola: 354751 markings, 1218401 edges, 1972 markings/sec, 175 secs
lola: 364638 markings, 1251834 edges, 1977 markings/sec, 180 secs
lola: 374524 markings, 1286864 edges, 1977 markings/sec, 185 secs
lola: 384378 markings, 1323009 edges, 1971 markings/sec, 190 secs
lola: 394301 markings, 1357402 edges, 1985 markings/sec, 195 secs
lola: 404228 markings, 1390979 edges, 1985 markings/sec, 200 secs
lola: 414187 markings, 1425140 edges, 1992 markings/sec, 205 secs
lola: 424110 markings, 1458150 edges, 1985 markings/sec, 210 secs
lola: 434067 markings, 1491866 edges, 1991 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: 193864 KB
lola: time consumption: 1117 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 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__30_18_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__30_18_)
lola: processed formula length: 17
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: 10
lola: 8353 markings, 29922 edges, 1671 markings/sec, 0 secs
lola: 18365 markings, 65490 edges, 2002 markings/sec, 5 secs
lola: 28392 markings, 100457 edges, 2005 markings/sec, 10 secs
lola: 38424 markings, 134791 edges, 2006 markings/sec, 15 secs
lola: 48514 markings, 169371 edges, 2018 markings/sec, 20 secs
lola: 58550 markings, 204497 edges, 2007 markings/sec, 25 secs
lola: 68645 markings, 235467 edges, 2019 markings/sec, 30 secs
lola: 78693 markings, 268523 edges, 2010 markings/sec, 35 secs
lola: 88823 markings, 300840 edges, 2026 markings/sec, 40 secs
lola: 98946 markings, 333721 edges, 2025 markings/sec, 45 secs
lola: 109067 markings, 367219 edges, 2024 markings/sec, 50 secs
lola: 119198 markings, 400868 edges, 2026 markings/sec, 55 secs
lola: 129353 markings, 434038 edges, 2031 markings/sec, 60 secs
lola: 139522 markings, 467971 edges, 2034 markings/sec, 65 secs
lola: 149651 markings, 503309 edges, 2026 markings/sec, 70 secs
lola: 159785 markings, 538732 edges, 2027 markings/sec, 75 secs
lola: 169922 markings, 572691 edges, 2027 markings/sec, 80 secs
lola: 180099 markings, 604483 edges, 2035 markings/sec, 85 secs
lola: 190212 markings, 639236 edges, 2023 markings/sec, 90 secs
lola: 200086 markings, 672767 edges, 1975 markings/sec, 95 secs
lola: 210177 markings, 707725 edges, 2018 markings/sec, 100 secs
lola: 220265 markings, 741602 edges, 2018 markings/sec, 105 secs
lola: 230377 markings, 775514 edges, 2022 markings/sec, 110 secs
lola: 240441 markings, 809895 edges, 2013 markings/sec, 115 secs
lola: 250562 markings, 843588 edges, 2024 markings/sec, 120 secs
lola: 260710 markings, 875904 edges, 2030 markings/sec, 125 secs
lola: 270837 markings, 908488 edges, 2025 markings/sec, 130 secs
lola: 281070 markings, 939493 edges, 2047 markings/sec, 135 secs
lola: 291194 markings, 972580 edges, 2025 markings/sec, 140 secs
lola: 301336 markings, 1007607 edges, 2028 markings/sec, 145 secs
lola: 311515 markings, 1040945 edges, 2036 markings/sec, 150 secs
lola: 321638 markings, 1076162 edges, 2025 markings/sec, 155 secs
lola: 331791 markings, 1107938 edges, 2031 markings/sec, 160 secs
lola: 341912 markings, 1141249 edges, 2024 markings/sec, 165 secs
lola: 351991 markings, 1176070 edges, 2016 markings/sec, 170 secs
lola: 362081 markings, 1209926 edges, 2018 markings/sec, 175 secs
lola: 372227 markings, 1242718 edges, 2029 markings/sec, 180 secs
lola: 382353 markings, 1275497 edges, 2025 markings/sec, 185 secs
lola: 392524 markings, 1306344 edges, 2034 markings/sec, 190 secs
lola: 402673 markings, 1337313 edges, 2030 markings/sec, 195 secs
lola: 412856 markings, 1368429 edges, 2037 markings/sec, 200 secs
lola: 423005 markings, 1399552 edges, 2030 markings/sec, 205 secs
lola: 433141 markings, 1432601 edges, 2027 markings/sec, 210 secs
lola: 443299 markings, 1465138 edges, 2032 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: 173284 KB
lola: time consumption: 1340 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 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__17_18_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__17_18_)
lola: processed formula length: 17
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: 10
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 592 markings, 2151 edges
lola: ========================================
lola: subprocess 7 will run for 247 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__8_26_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__8_26_)
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: 10
lola: 8407 markings, 29686 edges, 1681 markings/sec, 0 secs
lola: 18477 markings, 64136 edges, 2014 markings/sec, 5 secs
lola: 28524 markings, 99706 edges, 2009 markings/sec, 10 secs
lola: 38592 markings, 135047 edges, 2014 markings/sec, 15 secs
lola: 48679 markings, 169781 edges, 2017 markings/sec, 20 secs
lola: 58745 markings, 204661 edges, 2013 markings/sec, 25 secs
lola: 68748 markings, 240427 edges, 2001 markings/sec, 30 secs
lola: 78763 markings, 276563 edges, 2003 markings/sec, 35 secs
lola: 88759 markings, 312077 edges, 1999 markings/sec, 40 secs
lola: 98782 markings, 348207 edges, 2005 markings/sec, 45 secs
lola: 108826 markings, 383403 edges, 2009 markings/sec, 50 secs
lola: 118934 markings, 416025 edges, 2022 markings/sec, 55 secs
lola: 128975 markings, 451727 edges, 2008 markings/sec, 60 secs
lola: 139051 markings, 486444 edges, 2015 markings/sec, 65 secs
lola: 149119 markings, 520807 edges, 2014 markings/sec, 70 secs
lola: 159049 markings, 555260 edges, 1986 markings/sec, 75 secs
lola: 169079 markings, 590778 edges, 2006 markings/sec, 80 secs
lola: 179112 markings, 627110 edges, 2007 markings/sec, 85 secs
lola: 189129 markings, 663386 edges, 2003 markings/sec, 90 secs
lola: 199237 markings, 697378 edges, 2022 markings/sec, 95 secs
lola: 209324 markings, 732895 edges, 2017 markings/sec, 100 secs
lola: 219412 markings, 768038 edges, 2018 markings/sec, 105 secs
lola: 229507 markings, 803360 edges, 2019 markings/sec, 110 secs
lola: 239647 markings, 837467 edges, 2028 markings/sec, 115 secs
lola: 249750 markings, 872579 edges, 2021 markings/sec, 120 secs
lola: 259688 markings, 908038 edges, 1988 markings/sec, 125 secs
lola: 269676 markings, 944378 edges, 1998 markings/sec, 130 secs
lola: 279709 markings, 979685 edges, 2007 markings/sec, 135 secs
lola: 289759 markings, 1017069 edges, 2010 markings/sec, 140 secs
lola: 299829 markings, 1051260 edges, 2014 markings/sec, 145 secs
lola: 309918 markings, 1085856 edges, 2018 markings/sec, 150 secs
lola: 319961 markings, 1122000 edges, 2009 markings/sec, 155 secs
lola: 330045 markings, 1157688 edges, 2017 markings/sec, 160 secs
lola: 340065 markings, 1195092 edges, 2004 markings/sec, 165 secs
lola: 350103 markings, 1231654 edges, 2008 markings/sec, 170 secs
lola: 360200 markings, 1266571 edges, 2019 markings/sec, 175 secs
lola: 370251 markings, 1302467 edges, 2010 markings/sec, 180 secs
lola: 380343 markings, 1336183 edges, 2018 markings/sec, 185 secs
lola: 390433 markings, 1369840 edges, 2018 markings/sec, 190 secs
lola: 400496 markings, 1405177 edges, 2013 markings/sec, 195 secs
lola: 410510 markings, 1441998 edges, 2003 markings/sec, 200 secs
lola: 420582 markings, 1476952 edges, 2014 markings/sec, 205 secs
lola: 430661 markings, 1511424 edges, 2016 markings/sec, 210 secs
lola: 440728 markings, 1546322 edges, 2013 markings/sec, 215 secs
lola: 450762 markings, 1582806 edges, 2007 markings/sec, 220 secs
lola: 460823 markings, 1618117 edges, 2012 markings/sec, 225 secs
lola: 470838 markings, 1655040 edges, 2003 markings/sec, 230 secs
lola: 480885 markings, 1690071 edges, 2009 markings/sec, 235 secs
lola: 490934 markings, 1725258 edges, 2010 markings/sec, 240 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown 10 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 215484 KB
lola: time consumption: 1588 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 247 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__20_2_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__20_2_)
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: 10
lola: 8120 markings, 28993 edges, 1624 markings/sec, 0 secs
lola: 18013 markings, 65126 edges, 1979 markings/sec, 5 secs
lola: 27877 markings, 101437 edges, 1973 markings/sec, 10 secs
lola: 37731 markings, 137665 edges, 1971 markings/sec, 15 secs
lola: 47562 markings, 175105 edges, 1966 markings/sec, 20 secs
lola: 57410 markings, 211979 edges, 1970 markings/sec, 25 secs
lola: 67157 markings, 248723 edges, 1949 markings/sec, 30 secs
lola: 76982 markings, 285200 edges, 1965 markings/sec, 35 secs
lola: 86817 markings, 321514 edges, 1967 markings/sec, 40 secs
lola: 96648 markings, 357739 edges, 1966 markings/sec, 45 secs
lola: 106497 markings, 392710 edges, 1970 markings/sec, 50 secs
lola: 116354 markings, 429292 edges, 1971 markings/sec, 55 secs
lola: 126246 markings, 464822 edges, 1978 markings/sec, 60 secs
lola: 136072 markings, 502771 edges, 1965 markings/sec, 65 secs
lola: 145896 markings, 539207 edges, 1965 markings/sec, 70 secs
lola: 155694 markings, 574933 edges, 1960 markings/sec, 75 secs
lola: 165486 markings, 612693 edges, 1958 markings/sec, 80 secs
lola: 175271 markings, 650465 edges, 1957 markings/sec, 85 secs
lola: 185133 markings, 687048 edges, 1972 markings/sec, 90 secs
lola: 194932 markings, 722993 edges, 1960 markings/sec, 95 secs
lola: 204741 markings, 759970 edges, 1962 markings/sec, 100 secs
lola: 214485 markings, 796740 edges, 1949 markings/sec, 105 secs
lola: 224324 markings, 833103 edges, 1968 markings/sec, 110 secs
lola: 234191 markings, 869965 edges, 1973 markings/sec, 115 secs
lola: 244056 markings, 907149 edges, 1973 markings/sec, 120 secs
lola: 253907 markings, 945257 edges, 1970 markings/sec, 125 secs
lola: 263752 markings, 981883 edges, 1969 markings/sec, 130 secs
lola: 273581 markings, 1018640 edges, 1966 markings/sec, 135 secs
lola: 283395 markings, 1055897 edges, 1963 markings/sec, 140 secs
lola: 293200 markings, 1092713 edges, 1961 markings/sec, 145 secs
lola: 302893 markings, 1128628 edges, 1939 markings/sec, 150 secs
lola: 312739 markings, 1165138 edges, 1969 markings/sec, 155 secs
lola: 322598 markings, 1200975 edges, 1972 markings/sec, 160 secs
lola: 332426 markings, 1238006 edges, 1966 markings/sec, 165 secs
lola: 342259 markings, 1274148 edges, 1967 markings/sec, 170 secs
lola: 352130 markings, 1309985 edges, 1974 markings/sec, 175 secs
lola: 361953 markings, 1347029 edges, 1965 markings/sec, 180 secs
lola: 371714 markings, 1382293 edges, 1952 markings/sec, 185 secs
lola: 381448 markings, 1419722 edges, 1947 markings/sec, 190 secs
lola: 391263 markings, 1458449 edges, 1963 markings/sec, 195 secs
lola: 401096 markings, 1494840 edges, 1967 markings/sec, 200 secs
lola: 410985 markings, 1531051 edges, 1978 markings/sec, 205 secs
lola: 420820 markings, 1568398 edges, 1967 markings/sec, 210 secs
lola: 430723 markings, 1604232 edges, 1981 markings/sec, 215 secs
lola: 440565 markings, 1639861 edges, 1968 markings/sec, 220 secs
lola: 450431 markings, 1676710 edges, 1973 markings/sec, 225 secs
lola: 460212 markings, 1715069 edges, 1956 markings/sec, 230 secs
lola: 470050 markings, 1751513 edges, 1968 markings/sec, 235 secs
lola: 479845 markings, 1788667 edges, 1959 markings/sec, 240 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown 10 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 206828 KB
lola: time consumption: 1835 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 247 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__18_7_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__18_7_)
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: 10
lola: 8337 markings, 27908 edges, 1667 markings/sec, 0 secs
lola: 18248 markings, 61321 edges, 1982 markings/sec, 5 secs
lola: 28173 markings, 95611 edges, 1985 markings/sec, 10 secs
lola: 38049 markings, 130484 edges, 1975 markings/sec, 15 secs
lola: 47833 markings, 164869 edges, 1957 markings/sec, 20 secs
lola: 57767 markings, 196641 edges, 1987 markings/sec, 25 secs
lola: 67704 markings, 228653 edges, 1987 markings/sec, 30 secs
lola: 77635 markings, 262523 edges, 1986 markings/sec, 35 secs
lola: 87519 markings, 297628 edges, 1977 markings/sec, 40 secs
lola: 97430 markings, 328835 edges, 1982 markings/sec, 45 secs
lola: 107304 markings, 363041 edges, 1975 markings/sec, 50 secs
lola: 117271 markings, 394779 edges, 1993 markings/sec, 55 secs
lola: 127157 markings, 428290 edges, 1977 markings/sec, 60 secs
lola: 137103 markings, 458850 edges, 1989 markings/sec, 65 secs
lola: 147049 markings, 491569 edges, 1989 markings/sec, 70 secs
lola: 156942 markings, 525335 edges, 1979 markings/sec, 75 secs
lola: 166839 markings, 558945 edges, 1979 markings/sec, 80 secs
lola: 176743 markings, 592531 edges, 1981 markings/sec, 85 secs
lola: 186668 markings, 624285 edges, 1985 markings/sec, 90 secs
lola: 196613 markings, 655558 edges, 1989 markings/sec, 95 secs
lola: 206570 markings, 685512 edges, 1991 markings/sec, 100 secs
lola: 216488 markings, 718008 edges, 1984 markings/sec, 105 secs
lola: 226361 markings, 752057 edges, 1975 markings/sec, 110 secs
lola: 236347 markings, 784119 edges, 1997 markings/sec, 115 secs
lola: 246310 markings, 817317 edges, 1993 markings/sec, 120 secs
lola: 256105 markings, 850645 edges, 1959 markings/sec, 125 secs
lola: 265838 markings, 883354 edges, 1947 markings/sec, 130 secs
lola: 275714 markings, 916177 edges, 1975 markings/sec, 135 secs
lola: 285566 markings, 950192 edges, 1970 markings/sec, 140 secs
lola: 295442 markings, 983396 edges, 1975 markings/sec, 145 secs
lola: 305245 markings, 1019563 edges, 1961 markings/sec, 150 secs
lola: 315179 markings, 1051282 edges, 1987 markings/sec, 155 secs
lola: 325134 markings, 1081592 edges, 1991 markings/sec, 160 secs
lola: 335097 markings, 1112669 edges, 1993 markings/sec, 165 secs
lola: 345022 markings, 1144778 edges, 1985 markings/sec, 170 secs
lola: 354925 markings, 1177504 edges, 1981 markings/sec, 175 secs
lola: 364869 markings, 1210612 edges, 1989 markings/sec, 180 secs
lola: 374695 markings, 1244495 edges, 1965 markings/sec, 185 secs
lola: 384627 markings, 1276820 edges, 1986 markings/sec, 190 secs
lola: 394516 markings, 1309472 edges, 1978 markings/sec, 195 secs
lola: 404384 markings, 1341896 edges, 1974 markings/sec, 200 secs
lola: 414258 markings, 1374528 edges, 1975 markings/sec, 205 secs
lola: 424158 markings, 1405733 edges, 1980 markings/sec, 210 secs
lola: 434069 markings, 1440211 edges, 1982 markings/sec, 215 secs
lola: 443844 markings, 1473867 edges, 1955 markings/sec, 220 secs
lola: 453700 markings, 1506734 edges, 1971 markings/sec, 225 secs
lola: 463555 markings, 1539328 edges, 1971 markings/sec, 230 secs
lola: 473407 markings, 1574080 edges, 1970 markings/sec, 235 secs
lola: 483268 markings, 1608224 edges, 1972 markings/sec, 240 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown 10 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 186360 KB
lola: time consumption: 2082 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 248 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__25_20_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__25_20_)
lola: processed formula length: 17
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: 10
lola: 8384 markings, 27518 edges, 1677 markings/sec, 0 secs
lola: 18332 markings, 58884 edges, 1990 markings/sec, 5 secs
lola: 28356 markings, 91955 edges, 2005 markings/sec, 10 secs
lola: 38416 markings, 124572 edges, 2012 markings/sec, 15 secs
lola: 48507 markings, 156481 edges, 2018 markings/sec, 20 secs
lola: 58511 markings, 191416 edges, 2001 markings/sec, 25 secs
lola: 68491 markings, 226723 edges, 1996 markings/sec, 30 secs
lola: 78591 markings, 256468 edges, 2020 markings/sec, 35 secs
lola: 88683 markings, 286254 edges, 2018 markings/sec, 40 secs
lola: 98737 markings, 318973 edges, 2011 markings/sec, 45 secs
lola: 108820 markings, 350777 edges, 2017 markings/sec, 50 secs
lola: 118921 markings, 381402 edges, 2020 markings/sec, 55 secs
lola: 128975 markings, 413242 edges, 2011 markings/sec, 60 secs
lola: 139093 markings, 443104 edges, 2024 markings/sec, 65 secs
lola: 149167 markings, 475549 edges, 2015 markings/sec, 70 secs
lola: 159238 markings, 506590 edges, 2014 markings/sec, 75 secs
lola: 169297 markings, 538787 edges, 2012 markings/sec, 80 secs
lola: 179401 markings, 569886 edges, 2021 markings/sec, 85 secs
lola: 189499 markings, 600478 edges, 2020 markings/sec, 90 secs
lola: 199559 markings, 631832 edges, 2012 markings/sec, 95 secs
lola: 209593 markings, 664170 edges, 2007 markings/sec, 100 secs
lola: 219653 markings, 696722 edges, 2012 markings/sec, 105 secs
lola: 229793 markings, 727422 edges, 2028 markings/sec, 110 secs
lola: 239874 markings, 758677 edges, 2016 markings/sec, 115 secs
lola: 249971 markings, 789597 edges, 2019 markings/sec, 120 secs
lola: 259975 markings, 820655 edges, 2001 markings/sec, 125 secs
lola: 269960 markings, 852927 edges, 1997 markings/sec, 130 secs
lola: 280060 markings, 884245 edges, 2020 markings/sec, 135 secs
lola: 290167 markings, 916155 edges, 2021 markings/sec, 140 secs
lola: 300202 markings, 950763 edges, 2007 markings/sec, 145 secs
lola: 310231 markings, 985507 edges, 2006 markings/sec, 150 secs
lola: 320227 markings, 1021359 edges, 1999 markings/sec, 155 secs
lola: 330215 markings, 1055637 edges, 1998 markings/sec, 160 secs
lola: 340366 markings, 1084758 edges, 2030 markings/sec, 165 secs
lola: 350471 markings, 1115414 edges, 2021 markings/sec, 170 secs
lola: 360522 markings, 1148566 edges, 2010 markings/sec, 175 secs
lola: 370465 markings, 1180083 edges, 1989 markings/sec, 180 secs
lola: 380496 markings, 1211413 edges, 2006 markings/sec, 185 secs
lola: 390581 markings, 1241985 edges, 2017 markings/sec, 190 secs
lola: 400606 markings, 1275233 edges, 2005 markings/sec, 195 secs
lola: 410633 markings, 1307840 edges, 2005 markings/sec, 200 secs
lola: 420677 markings, 1340405 edges, 2009 markings/sec, 205 secs
lola: 430779 markings, 1370918 edges, 2020 markings/sec, 210 secs
lola: 440854 markings, 1402767 edges, 2015 markings/sec, 215 secs
lola: 450959 markings, 1433688 edges, 2021 markings/sec, 220 secs
lola: 461099 markings, 1462855 edges, 2028 markings/sec, 225 secs
lola: 471070 markings, 1491439 edges, 1994 markings/sec, 230 secs
lola: 481158 markings, 1521523 edges, 2018 markings/sec, 235 secs
lola: 491229 markings, 1552128 edges, 2014 markings/sec, 240 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown 10 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 211200 KB
lola: time consumption: 2330 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 248 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__8_17_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__8_17_)
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: 10
lola: 8250 markings, 28403 edges, 1650 markings/sec, 0 secs
lola: 18255 markings, 62419 edges, 2001 markings/sec, 5 secs
lola: 28235 markings, 97606 edges, 1996 markings/sec, 10 secs
lola: 38069 markings, 132223 edges, 1967 markings/sec, 15 secs
lola: 48011 markings, 167530 edges, 1988 markings/sec, 20 secs
lola: 57992 markings, 202047 edges, 1996 markings/sec, 25 secs
lola: 67962 markings, 237072 edges, 1994 markings/sec, 30 secs
lola: 77938 markings, 271403 edges, 1995 markings/sec, 35 secs
lola: 87957 markings, 304624 edges, 2004 markings/sec, 40 secs
lola: 97964 markings, 338707 edges, 2001 markings/sec, 45 secs
lola: 107945 markings, 373433 edges, 1996 markings/sec, 50 secs
lola: 117931 markings, 407806 edges, 1997 markings/sec, 55 secs
lola: 127912 markings, 442332 edges, 1996 markings/sec, 60 secs
lola: 137893 markings, 476300 edges, 1996 markings/sec, 65 secs
lola: 147871 markings, 510249 edges, 1996 markings/sec, 70 secs
lola: 157859 markings, 544730 edges, 1998 markings/sec, 75 secs
lola: 167819 markings, 580435 edges, 1992 markings/sec, 80 secs
lola: 177807 markings, 615718 edges, 1998 markings/sec, 85 secs
lola: 187804 markings, 649163 edges, 1999 markings/sec, 90 secs
lola: 197761 markings, 683543 edges, 1991 markings/sec, 95 secs
lola: 207731 markings, 718589 edges, 1994 markings/sec, 100 secs
lola: 217545 markings, 754533 edges, 1963 markings/sec, 105 secs
lola: 227374 markings, 790285 edges, 1966 markings/sec, 110 secs
lola: 237118 markings, 824688 edges, 1949 markings/sec, 115 secs
lola: 246914 markings, 857659 edges, 1959 markings/sec, 120 secs
lola: 256733 markings, 891403 edges, 1964 markings/sec, 125 secs
lola: 266639 markings, 925300 edges, 1981 markings/sec, 130 secs
lola: 276474 markings, 959527 edges, 1967 markings/sec, 135 secs
lola: 286132 markings, 992551 edges, 1932 markings/sec, 140 secs
lola: 295852 markings, 1027489 edges, 1944 markings/sec, 145 secs
lola: 305378 markings, 1062663 edges, 1905 markings/sec, 150 secs
lola: 315107 markings, 1096019 edges, 1946 markings/sec, 155 secs
lola: 324921 markings, 1131852 edges, 1963 markings/sec, 160 secs
lola: 334786 markings, 1166464 edges, 1973 markings/sec, 165 secs
lola: 344635 markings, 1201128 edges, 1970 markings/sec, 170 secs
lola: 354536 markings, 1234897 edges, 1980 markings/sec, 175 secs
lola: 364353 markings, 1269111 edges, 1963 markings/sec, 180 secs
lola: 374111 markings, 1301793 edges, 1952 markings/sec, 185 secs
lola: 383996 markings, 1336471 edges, 1977 markings/sec, 190 secs
lola: 393750 markings, 1371386 edges, 1951 markings/sec, 195 secs
lola: 403399 markings, 1406362 edges, 1930 markings/sec, 200 secs
lola: 413103 markings, 1441136 edges, 1941 markings/sec, 205 secs
lola: 422885 markings, 1476353 edges, 1956 markings/sec, 210 secs
lola: 432699 markings, 1510368 edges, 1963 markings/sec, 215 secs
lola: 442426 markings, 1544085 edges, 1945 markings/sec, 220 secs
lola: 452422 markings, 1577352 edges, 1999 markings/sec, 225 secs
lola: 462335 markings, 1613217 edges, 1983 markings/sec, 230 secs
lola: 472140 markings, 1648633 edges, 1961 markings/sec, 235 secs
lola: 481914 markings, 1681620 edges, 1955 markings/sec, 240 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown 10 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 217012 KB
lola: time consumption: 2578 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 248 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__19_15_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__19_15_)
lola: processed formula length: 17
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: 10
lola: 7855 markings, 26341 edges, 1571 markings/sec, 0 secs
lola: 17877 markings, 58134 edges, 2004 markings/sec, 5 secs
lola: 27897 markings, 91891 edges, 2004 markings/sec, 10 secs
lola: 37947 markings, 123409 edges, 2010 markings/sec, 15 secs
lola: 47999 markings, 154648 edges, 2010 markings/sec, 20 secs
lola: 58065 markings, 187334 edges, 2013 markings/sec, 25 secs
lola: 68109 markings, 218689 edges, 2009 markings/sec, 30 secs
lola: 78200 markings, 249894 edges, 2018 markings/sec, 35 secs
lola: 88217 markings, 280710 edges, 2003 markings/sec, 40 secs
lola: 98228 markings, 311160 edges, 2002 markings/sec, 45 secs
lola: 108313 markings, 340895 edges, 2017 markings/sec, 50 secs
lola: 118349 markings, 372503 edges, 2007 markings/sec, 55 secs
lola: 128378 markings, 403571 edges, 2006 markings/sec, 60 secs
lola: 138289 markings, 434435 edges, 1982 markings/sec, 65 secs
lola: 148261 markings, 467727 edges, 1994 markings/sec, 70 secs
lola: 158291 markings, 500259 edges, 2006 markings/sec, 75 secs
lola: 168323 markings, 532248 edges, 2006 markings/sec, 80 secs
lola: 178321 markings, 565307 edges, 2000 markings/sec, 85 secs
lola: 188191 markings, 598036 edges, 1974 markings/sec, 90 secs
lola: 198249 markings, 628505 edges, 2012 markings/sec, 95 secs
lola: 208195 markings, 660287 edges, 1989 markings/sec, 100 secs
lola: 218216 markings, 690075 edges, 2004 markings/sec, 105 secs
lola: 228195 markings, 722577 edges, 1996 markings/sec, 110 secs
lola: 238256 markings, 752551 edges, 2012 markings/sec, 115 secs
lola: 248186 markings, 784309 edges, 1986 markings/sec, 120 secs
lola: 258246 markings, 814405 edges, 2012 markings/sec, 125 secs
lola: 268149 markings, 845464 edges, 1981 markings/sec, 130 secs
lola: 278165 markings, 877212 edges, 2003 markings/sec, 135 secs
lola: 287942 markings, 908949 edges, 1955 markings/sec, 140 secs
lola: 298034 markings, 939119 edges, 2018 markings/sec, 145 secs
lola: 307959 markings, 969750 edges, 1985 markings/sec, 150 secs
lola: 318014 markings, 1000833 edges, 2011 markings/sec, 155 secs
lola: 327970 markings, 1032864 edges, 1991 markings/sec, 160 secs
lola: 338049 markings, 1063403 edges, 2016 markings/sec, 165 secs
lola: 348000 markings, 1093314 edges, 1990 markings/sec, 170 secs
lola: 358067 markings, 1124966 edges, 2013 markings/sec, 175 secs
lola: 368104 markings, 1157842 edges, 2007 markings/sec, 180 secs
lola: 377904 markings, 1190864 edges, 1960 markings/sec, 185 secs
lola: 387961 markings, 1223570 edges, 2011 markings/sec, 190 secs
lola: 398049 markings, 1254248 edges, 2018 markings/sec, 195 secs
lola: 408047 markings, 1285354 edges, 2000 markings/sec, 200 secs
lola: 418119 markings, 1317183 edges, 2014 markings/sec, 205 secs
lola: 428167 markings, 1350435 edges, 2010 markings/sec, 210 secs
lola: 438086 markings, 1380843 edges, 1984 markings/sec, 215 secs
lola: 448099 markings, 1410905 edges, 2003 markings/sec, 220 secs
lola: 458074 markings, 1443009 edges, 1995 markings/sec, 225 secs
lola: 468156 markings, 1475505 edges, 2016 markings/sec, 230 secs
lola: 478246 markings, 1507911 edges, 2018 markings/sec, 235 secs
lola: 488344 markings, 1539953 edges, 2020 markings/sec, 240 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown 10 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 234096 KB
lola: time consumption: 2826 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 248 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__1_14_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__1_14_)
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: 10
lola: 8575 markings, 27554 edges, 1715 markings/sec, 0 secs
lola: 18924 markings, 59823 edges, 2070 markings/sec, 5 secs
lola: 29260 markings, 92980 edges, 2067 markings/sec, 10 secs
lola: 39602 markings, 125964 edges, 2068 markings/sec, 15 secs
lola: 49943 markings, 158230 edges, 2068 markings/sec, 20 secs
lola: 60257 markings, 191101 edges, 2063 markings/sec, 25 secs
lola: 70594 markings, 224224 edges, 2067 markings/sec, 30 secs
lola: 80944 markings, 257252 edges, 2070 markings/sec, 35 secs
lola: 91264 markings, 290063 edges, 2064 markings/sec, 40 secs
lola: 101570 markings, 323830 edges, 2061 markings/sec, 45 secs
lola: 111895 markings, 357892 edges, 2065 markings/sec, 50 secs
lola: 122213 markings, 390299 edges, 2064 markings/sec, 55 secs
lola: 132474 markings, 423456 edges, 2052 markings/sec, 60 secs
lola: 142828 markings, 453373 edges, 2071 markings/sec, 65 secs
lola: 153166 markings, 484180 edges, 2068 markings/sec, 70 secs
lola: 163504 markings, 513978 edges, 2068 markings/sec, 75 secs
lola: 173895 markings, 542529 edges, 2078 markings/sec, 80 secs
lola: 184230 markings, 573685 edges, 2067 markings/sec, 85 secs
lola: 194594 markings, 603605 edges, 2073 markings/sec, 90 secs
lola: 204903 markings, 635469 edges, 2062 markings/sec, 95 secs
lola: 215215 markings, 667675 edges, 2062 markings/sec, 100 secs
lola: 225540 markings, 699302 edges, 2065 markings/sec, 105 secs
lola: 235805 markings, 731963 edges, 2053 markings/sec, 110 secs
lola: 246093 markings, 764627 edges, 2058 markings/sec, 115 secs
lola: 256417 markings, 796116 edges, 2065 markings/sec, 120 secs
lola: 266786 markings, 826814 edges, 2074 markings/sec, 125 secs
lola: 277147 markings, 857565 edges, 2072 markings/sec, 130 secs
lola: 287506 markings, 888025 edges, 2072 markings/sec, 135 secs
lola: 297837 markings, 919601 edges, 2066 markings/sec, 140 secs
lola: 308186 markings, 950111 edges, 2070 markings/sec, 145 secs
lola: 318535 markings, 980376 edges, 2070 markings/sec, 150 secs
lola: 328845 markings, 1011950 edges, 2062 markings/sec, 155 secs
lola: 339215 markings, 1040874 edges, 2074 markings/sec, 160 secs
lola: 349551 markings, 1071843 edges, 2067 markings/sec, 165 secs
lola: 359893 markings, 1102023 edges, 2068 markings/sec, 170 secs
lola: 370224 markings, 1132841 edges, 2066 markings/sec, 175 secs
lola: 380550 markings, 1164194 edges, 2065 markings/sec, 180 secs
lola: 390926 markings, 1193713 edges, 2075 markings/sec, 185 secs
lola: 401259 markings, 1223968 edges, 2067 markings/sec, 190 secs
lola: 411573 markings, 1254264 edges, 2063 markings/sec, 195 secs
lola: 421960 markings, 1284428 edges, 2077 markings/sec, 200 secs
lola: 432343 markings, 1315255 edges, 2077 markings/sec, 205 secs
lola: 442689 markings, 1347504 edges, 2069 markings/sec, 210 secs
lola: 453015 markings, 1380136 edges, 2065 markings/sec, 215 secs
lola: 463349 markings, 1411539 edges, 2067 markings/sec, 220 secs
lola: 473713 markings, 1441807 edges, 2073 markings/sec, 225 secs
lola: 484023 markings, 1472324 edges, 2062 markings/sec, 230 secs
lola: 494378 markings, 1503469 edges, 2071 markings/sec, 235 secs
lola: 504824 markings, 1533046 edges, 2089 markings/sec, 240 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown 10 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 204568 KB
lola: time consumption: 3074 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 248 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__25_18_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__25_18_)
lola: processed formula length: 17
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: 10
lola: 8455 markings, 28212 edges, 1691 markings/sec, 0 secs
lola: 18517 markings, 63627 edges, 2012 markings/sec, 5 secs
lola: 28529 markings, 100567 edges, 2002 markings/sec, 10 secs
lola: 38579 markings, 135115 edges, 2010 markings/sec, 15 secs
lola: 48598 markings, 170691 edges, 2004 markings/sec, 20 secs
lola: 58623 markings, 206620 edges, 2005 markings/sec, 25 secs
lola: 68673 markings, 242898 edges, 2010 markings/sec, 30 secs
lola: 78705 markings, 277927 edges, 2006 markings/sec, 35 secs
lola: 88608 markings, 315965 edges, 1981 markings/sec, 40 secs
lola: 98600 markings, 349995 edges, 1998 markings/sec, 45 secs
lola: 108552 markings, 385250 edges, 1990 markings/sec, 50 secs
lola: 118416 markings, 422495 edges, 1973 markings/sec, 55 secs
lola: 128359 markings, 457787 edges, 1989 markings/sec, 60 secs
lola: 138227 markings, 492275 edges, 1974 markings/sec, 65 secs
lola: 148132 markings, 528228 edges, 1981 markings/sec, 70 secs
lola: 158082 markings, 560209 edges, 1990 markings/sec, 75 secs
lola: 168045 markings, 592171 edges, 1993 markings/sec, 80 secs
lola: 178019 markings, 625891 edges, 1995 markings/sec, 85 secs
lola: 188038 markings, 657383 edges, 2004 markings/sec, 90 secs
lola: 198022 markings, 689625 edges, 1997 markings/sec, 95 secs
lola: 207965 markings, 722562 edges, 1989 markings/sec, 100 secs
lola: 217963 markings, 754724 edges, 2000 markings/sec, 105 secs
lola: 228008 markings, 786871 edges, 2009 markings/sec, 110 secs
lola: 238085 markings, 818614 edges, 2015 markings/sec, 115 secs
lola: 248123 markings, 851363 edges, 2008 markings/sec, 120 secs
lola: 258162 markings, 883573 edges, 2008 markings/sec, 125 secs
lola: 268226 markings, 916691 edges, 2013 markings/sec, 130 secs
lola: 278282 markings, 949287 edges, 2011 markings/sec, 135 secs
lola: 288346 markings, 981588 edges, 2013 markings/sec, 140 secs
lola: 298378 markings, 1016177 edges, 2006 markings/sec, 145 secs
lola: 308441 markings, 1049379 edges, 2013 markings/sec, 150 secs
lola: 318575 markings, 1082367 edges, 2027 markings/sec, 155 secs
lola: 328683 markings, 1117296 edges, 2022 markings/sec, 160 secs
lola: 338752 markings, 1150904 edges, 2014 markings/sec, 165 secs
lola: 348815 markings, 1185380 edges, 2013 markings/sec, 170 secs
lola: 358862 markings, 1219662 edges, 2009 markings/sec, 175 secs
lola: 368869 markings, 1255906 edges, 2001 markings/sec, 180 secs
lola: 378874 markings, 1292048 edges, 2001 markings/sec, 185 secs
lola: 388919 markings, 1326523 edges, 2009 markings/sec, 190 secs
lola: 398936 markings, 1362202 edges, 2003 markings/sec, 195 secs
lola: 408966 markings, 1397585 edges, 2006 markings/sec, 200 secs
lola: 419020 markings, 1431651 edges, 2011 markings/sec, 205 secs
lola: 429045 markings, 1467618 edges, 2005 markings/sec, 210 secs
lola: 439166 markings, 1499523 edges, 2024 markings/sec, 215 secs
lola: 449296 markings, 1531004 edges, 2026 markings/sec, 220 secs
lola: 459364 markings, 1564587 edges, 2014 markings/sec, 225 secs
lola: 469446 markings, 1597087 edges, 2016 markings/sec, 230 secs
lola: 479506 markings, 1630405 edges, 2012 markings/sec, 235 secs
lola: 489501 markings, 1664911 edges, 1999 markings/sec, 240 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown 10 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 207464 KB
lola: time consumption: 3322 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 248 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__1_6_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__1_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: 10
lola: 8752 markings, 31141 edges, 1750 markings/sec, 0 secs
lola: 19218 markings, 65180 edges, 2093 markings/sec, 5 secs
lola: 29605 markings, 100703 edges, 2077 markings/sec, 10 secs
lola: 40113 markings, 136466 edges, 2102 markings/sec, 15 secs
lola: 50530 markings, 171585 edges, 2083 markings/sec, 20 secs
lola: 60952 markings, 206258 edges, 2084 markings/sec, 25 secs
lola: 71285 markings, 239350 edges, 2067 markings/sec, 30 secs
lola: 81765 markings, 274109 edges, 2096 markings/sec, 35 secs
lola: 92250 markings, 308647 edges, 2097 markings/sec, 40 secs
lola: 102613 markings, 343283 edges, 2073 markings/sec, 45 secs
lola: 113140 markings, 378019 edges, 2105 markings/sec, 50 secs
lola: 123638 markings, 412819 edges, 2100 markings/sec, 55 secs
lola: 134159 markings, 448748 edges, 2104 markings/sec, 60 secs
lola: 144760 markings, 482591 edges, 2120 markings/sec, 65 secs
lola: 155298 markings, 516672 edges, 2108 markings/sec, 70 secs
lola: 165798 markings, 550754 edges, 2100 markings/sec, 75 secs
lola: 176236 markings, 585196 edges, 2088 markings/sec, 80 secs
lola: 186798 markings, 619128 edges, 2112 markings/sec, 85 secs
lola: 197362 markings, 654664 edges, 2113 markings/sec, 90 secs
lola: 207887 markings, 689587 edges, 2105 markings/sec, 95 secs
lola: 218443 markings, 724397 edges, 2111 markings/sec, 100 secs
lola: 229009 markings, 759546 edges, 2113 markings/sec, 105 secs
lola: 239543 markings, 795738 edges, 2107 markings/sec, 110 secs
lola: 250034 markings, 831152 edges, 2098 markings/sec, 115 secs
lola: 260528 markings, 865920 edges, 2099 markings/sec, 120 secs
lola: 271120 markings, 900243 edges, 2118 markings/sec, 125 secs
lola: 281671 markings, 934834 edges, 2110 markings/sec, 130 secs
lola: 292211 markings, 969928 edges, 2108 markings/sec, 135 secs
lola: 302674 markings, 1005082 edges, 2093 markings/sec, 140 secs
lola: 313188 markings, 1040885 edges, 2103 markings/sec, 145 secs
lola: 323740 markings, 1075199 edges, 2110 markings/sec, 150 secs
lola: 334307 markings, 1109426 edges, 2113 markings/sec, 155 secs
lola: 344856 markings, 1143675 edges, 2110 markings/sec, 160 secs
lola: 355375 markings, 1177413 edges, 2104 markings/sec, 165 secs
lola: 365921 markings, 1210587 edges, 2109 markings/sec, 170 secs
lola: 376455 markings, 1244171 edges, 2107 markings/sec, 175 secs
lola: 386933 markings, 1279686 edges, 2096 markings/sec, 180 secs
lola: 397496 markings, 1313453 edges, 2113 markings/sec, 185 secs
lola: 408006 markings, 1347190 edges, 2102 markings/sec, 190 secs
lola: 418499 markings, 1381618 edges, 2099 markings/sec, 195 secs
lola: 428981 markings, 1417052 edges, 2096 markings/sec, 200 secs
lola: 439498 markings, 1451747 edges, 2103 markings/sec, 205 secs
lola: 449976 markings, 1487868 edges, 2096 markings/sec, 210 secs
lola: 460494 markings, 1522415 edges, 2104 markings/sec, 215 secs
lola: 471024 markings, 1556865 edges, 2106 markings/sec, 220 secs
lola: 481529 markings, 1592756 edges, 2101 markings/sec, 225 secs
lola: 492037 markings, 1627554 edges, 2102 markings/sec, 230 secs
lola: 502521 markings, 1662339 edges, 2097 markings/sec, 235 secs
lola: 513046 markings, 1697118 edges, 2105 markings/sec, 240 secs
lola: time limit reached - aborting
lola: lola:
preliminary result: unknown unknown unknown unknown unknown unknown 10 unknown unknown unknown unknown unknown unknown unknown unknown unknown caught signal User defined signal 1 - aborting LoLA

lola:
preliminary result: unknown unknown unknown unknown unknown unknown 10 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola:
preliminary result: unknown unknown unknown unknown unknown unknown 10 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 189736 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 unknown unknown unknown unknown unknown 10 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 189736 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 1552577661730

--------------------
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-D30N010"
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-D30N010, 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-155234654700155"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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