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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.2M
-rw-r--r-- 1 mcc users 3.8K Feb 10 21:34 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Feb 10 21:34 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Feb 6 17:56 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 6 17:56 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.7K Feb 4 23:31 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K Feb 4 23:31 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Feb 4 22:34 LTLFireability.txt
-rw-r--r-- 1 mcc users 7.9K 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.9K Jan 30 23:45 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 21K 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-D30N050-UpperBounds-00
FORMULA_NAME Diffusion2D-PT-D30N050-UpperBounds-01
FORMULA_NAME Diffusion2D-PT-D30N050-UpperBounds-02
FORMULA_NAME Diffusion2D-PT-D30N050-UpperBounds-03
FORMULA_NAME Diffusion2D-PT-D30N050-UpperBounds-04
FORMULA_NAME Diffusion2D-PT-D30N050-UpperBounds-05
FORMULA_NAME Diffusion2D-PT-D30N050-UpperBounds-06
FORMULA_NAME Diffusion2D-PT-D30N050-UpperBounds-07
FORMULA_NAME Diffusion2D-PT-D30N050-UpperBounds-08
FORMULA_NAME Diffusion2D-PT-D30N050-UpperBounds-09
FORMULA_NAME Diffusion2D-PT-D30N050-UpperBounds-10
FORMULA_NAME Diffusion2D-PT-D30N050-UpperBounds-11
FORMULA_NAME Diffusion2D-PT-D30N050-UpperBounds-12
FORMULA_NAME Diffusion2D-PT-D30N050-UpperBounds-13
FORMULA_NAME Diffusion2D-PT-D30N050-UpperBounds-14
FORMULA_NAME Diffusion2D-PT-D30N050-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1552576852054

info: Time: 3600 - MCC
vrfy: Checking UpperBounds @ Diffusion2D-PT-D30N050 @ 3570 seconds
vrfy: finished
info: timeLeft: 0
rslt: Output for UpperBounds @ Diffusion2D-PT-D30N050

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 223
},
"exit":
{
"localtimelimitreached": false,
"memory": 182268,
"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__29_30_)",
"processed_size": 17,
"rewrites": 0
},
"result":
{
"preliminary_value": "unknown unknown unknown unknown unknown unknown unknown 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__10_16_) : MAX(cAMP__2_27_) : MAX(cAMP__30_30_) : MAX(cAMP__25_15_) : MAX(cAMP__6_16_) : MAX(cAMP__27_4_) : MAX(cAMP__7_6_) : MAX(cAMP__18_2_) : MAX(cAMP__10_24_) : MAX(cAMP__28_7_) : MAX(cAMP__9_22_) : MAX(cAMP__6_29_) : MAX(cAMP__25_30_) : MAX(cAMP__19_15_) : MAX(cAMP__11_13_) : MAX(cAMP__29_30_)
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__10_16_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__10_16_)
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: 50
lola: 8430 markings, 29680 edges, 1686 markings/sec, 0 secs
lola: 18475 markings, 66484 edges, 2009 markings/sec, 5 secs
lola: 28512 markings, 104073 edges, 2007 markings/sec, 10 secs
lola: 38604 markings, 139375 edges, 2018 markings/sec, 15 secs
lola: 48727 markings, 172667 edges, 2025 markings/sec, 20 secs
lola: 58788 markings, 207145 edges, 2012 markings/sec, 25 secs
lola: 68787 markings, 243605 edges, 2000 markings/sec, 30 secs
lola: 78797 markings, 280464 edges, 2002 markings/sec, 35 secs
lola: 88873 markings, 316094 edges, 2015 markings/sec, 40 secs
lola: 98931 markings, 351594 edges, 2012 markings/sec, 45 secs
lola: 108954 markings, 388035 edges, 2005 markings/sec, 50 secs
lola: 119021 markings, 424023 edges, 2013 markings/sec, 55 secs
lola: 129081 markings, 460440 edges, 2012 markings/sec, 60 secs
lola: 139063 markings, 498942 edges, 1996 markings/sec, 65 secs
lola: 149133 markings, 534337 edges, 2014 markings/sec, 70 secs
lola: 159172 markings, 570221 edges, 2008 markings/sec, 75 secs
lola: 169137 markings, 608465 edges, 1993 markings/sec, 80 secs
lola: 178985 markings, 640572 edges, 1970 markings/sec, 85 secs
lola: 188814 markings, 675438 edges, 1966 markings/sec, 90 secs
lola: 198859 markings, 711194 edges, 2009 markings/sec, 95 secs
lola: 208909 markings, 746107 edges, 2010 markings/sec, 100 secs
lola: 218970 markings, 781814 edges, 2012 markings/sec, 105 secs
lola: 229086 markings, 815408 edges, 2023 markings/sec, 110 secs
lola: 239128 markings, 850275 edges, 2008 markings/sec, 115 secs
lola: 249149 markings, 886302 edges, 2004 markings/sec, 120 secs
lola: 259162 markings, 922443 edges, 2003 markings/sec, 125 secs
lola: 269194 markings, 957064 edges, 2006 markings/sec, 130 secs
lola: 279230 markings, 992819 edges, 2007 markings/sec, 135 secs
lola: 289283 markings, 1026897 edges, 2011 markings/sec, 140 secs
lola: 299333 markings, 1062945 edges, 2010 markings/sec, 145 secs
lola: 309396 markings, 1098417 edges, 2013 markings/sec, 150 secs
lola: 319484 markings, 1133012 edges, 2018 markings/sec, 155 secs
lola: 329575 markings, 1166386 edges, 2018 markings/sec, 160 secs
lola: 339583 markings, 1202171 edges, 2002 markings/sec, 165 secs
lola: 349667 markings, 1235962 edges, 2017 markings/sec, 170 secs
lola: 359683 markings, 1270148 edges, 2003 markings/sec, 175 secs
lola: 369680 markings, 1306251 edges, 1999 markings/sec, 180 secs
lola: 379551 markings, 1340394 edges, 1974 markings/sec, 185 secs
lola: 389488 markings, 1372711 edges, 1987 markings/sec, 190 secs
lola: 399547 markings, 1405666 edges, 2012 markings/sec, 195 secs
lola: 409613 markings, 1439132 edges, 2013 markings/sec, 200 secs
lola: 419629 markings, 1474160 edges, 2003 markings/sec, 205 secs
lola: 429628 markings, 1509335 edges, 2000 markings/sec, 210 secs
lola: 439618 markings, 1544519 edges, 1998 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: 194412 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__2_27_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__2_27_)
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: 50
lola: 8327 markings, 27896 edges, 1665 markings/sec, 0 secs
lola: 18583 markings, 63001 edges, 2051 markings/sec, 5 secs
lola: 28874 markings, 98060 edges, 2058 markings/sec, 10 secs
lola: 39176 markings, 133666 edges, 2060 markings/sec, 15 secs
lola: 49496 markings, 168309 edges, 2064 markings/sec, 20 secs
lola: 59753 markings, 204827 edges, 2051 markings/sec, 25 secs
lola: 69998 markings, 240329 edges, 2049 markings/sec, 30 secs
lola: 80237 markings, 275292 edges, 2048 markings/sec, 35 secs
lola: 90464 markings, 310729 edges, 2045 markings/sec, 40 secs
lola: 100677 markings, 346587 edges, 2043 markings/sec, 45 secs
lola: 110921 markings, 379961 edges, 2049 markings/sec, 50 secs
lola: 121176 markings, 414029 edges, 2051 markings/sec, 55 secs
lola: 131386 markings, 450013 edges, 2042 markings/sec, 60 secs
lola: 141546 markings, 485522 edges, 2032 markings/sec, 65 secs
lola: 151789 markings, 519102 edges, 2049 markings/sec, 70 secs
lola: 162028 markings, 553887 edges, 2048 markings/sec, 75 secs
lola: 172262 markings, 588639 edges, 2047 markings/sec, 80 secs
lola: 182550 markings, 623567 edges, 2058 markings/sec, 85 secs
lola: 192770 markings, 660631 edges, 2044 markings/sec, 90 secs
lola: 203002 markings, 696375 edges, 2046 markings/sec, 95 secs
lola: 213238 markings, 731907 edges, 2047 markings/sec, 100 secs
lola: 223484 markings, 767265 edges, 2049 markings/sec, 105 secs
lola: 233797 markings, 801838 edges, 2063 markings/sec, 110 secs
lola: 244083 markings, 836468 edges, 2057 markings/sec, 115 secs
lola: 254272 markings, 872422 edges, 2038 markings/sec, 120 secs
lola: 264431 markings, 908078 edges, 2032 markings/sec, 125 secs
lola: 274613 markings, 942910 edges, 2036 markings/sec, 130 secs
lola: 284798 markings, 976941 edges, 2037 markings/sec, 135 secs
lola: 294988 markings, 1010925 edges, 2038 markings/sec, 140 secs
lola: 305131 markings, 1044188 edges, 2029 markings/sec, 145 secs
lola: 315238 markings, 1079639 edges, 2021 markings/sec, 150 secs
lola: 325305 markings, 1113610 edges, 2013 markings/sec, 155 secs
lola: 335488 markings, 1147930 edges, 2037 markings/sec, 160 secs
lola: 345718 markings, 1182895 edges, 2046 markings/sec, 165 secs
lola: 355900 markings, 1218210 edges, 2036 markings/sec, 170 secs
lola: 366052 markings, 1253888 edges, 2030 markings/sec, 175 secs
lola: 376187 markings, 1289800 edges, 2027 markings/sec, 180 secs
lola: 386366 markings, 1323803 edges, 2036 markings/sec, 185 secs
lola: 396576 markings, 1357823 edges, 2042 markings/sec, 190 secs
lola: 406792 markings, 1391824 edges, 2043 markings/sec, 195 secs
lola: 416975 markings, 1426664 edges, 2037 markings/sec, 200 secs
lola: 427166 markings, 1460920 edges, 2038 markings/sec, 205 secs
lola: 437352 markings, 1495357 edges, 2037 markings/sec, 210 secs
lola: 447619 markings, 1530702 edges, 2053 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: 182988 KB
lola: time consumption: 450 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__30_30_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__30_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: 50
lola: 8332 markings, 27220 edges, 1666 markings/sec, 0 secs
lola: 18547 markings, 59166 edges, 2043 markings/sec, 5 secs
lola: 28741 markings, 92186 edges, 2039 markings/sec, 10 secs
lola: 38960 markings, 125234 edges, 2044 markings/sec, 15 secs
lola: 49269 markings, 158045 edges, 2062 markings/sec, 20 secs
lola: 59538 markings, 190515 edges, 2054 markings/sec, 25 secs
lola: 69826 markings, 222524 edges, 2058 markings/sec, 30 secs
lola: 80153 markings, 253704 edges, 2065 markings/sec, 35 secs
lola: 90443 markings, 286101 edges, 2058 markings/sec, 40 secs
lola: 100757 markings, 317465 edges, 2063 markings/sec, 45 secs
lola: 111093 markings, 348654 edges, 2067 markings/sec, 50 secs
lola: 121394 markings, 380071 edges, 2060 markings/sec, 55 secs
lola: 131605 markings, 410240 edges, 2042 markings/sec, 60 secs
lola: 141623 markings, 440489 edges, 2004 markings/sec, 65 secs
lola: 151893 markings, 472837 edges, 2054 markings/sec, 70 secs
lola: 162140 markings, 505149 edges, 2049 markings/sec, 75 secs
lola: 172361 markings, 538555 edges, 2044 markings/sec, 80 secs
lola: 182601 markings, 570887 edges, 2048 markings/sec, 85 secs
lola: 192913 markings, 601496 edges, 2062 markings/sec, 90 secs
lola: 202799 markings, 632021 edges, 1977 markings/sec, 95 secs
lola: 212912 markings, 662374 edges, 2023 markings/sec, 100 secs
lola: 223046 markings, 692551 edges, 2027 markings/sec, 105 secs
lola: 233284 markings, 721593 edges, 2048 markings/sec, 110 secs
lola: 243497 markings, 751395 edges, 2043 markings/sec, 115 secs
lola: 253436 markings, 780813 edges, 1988 markings/sec, 120 secs
lola: 263769 markings, 811184 edges, 2067 markings/sec, 125 secs
lola: 274107 markings, 842129 edges, 2068 markings/sec, 130 secs
lola: 284452 markings, 872879 edges, 2069 markings/sec, 135 secs
lola: 294766 markings, 903889 edges, 2063 markings/sec, 140 secs
lola: 305146 markings, 933206 edges, 2076 markings/sec, 145 secs
lola: 315471 markings, 963197 edges, 2065 markings/sec, 150 secs
lola: 325772 markings, 993859 edges, 2060 markings/sec, 155 secs
lola: 335547 markings, 1022962 edges, 1955 markings/sec, 160 secs
lola: 345833 markings, 1052343 edges, 2057 markings/sec, 165 secs
lola: 356205 markings, 1081571 edges, 2074 markings/sec, 170 secs
lola: 366620 markings, 1111768 edges, 2083 markings/sec, 175 secs
lola: 376909 markings, 1142807 edges, 2058 markings/sec, 180 secs
lola: 387243 markings, 1173387 edges, 2067 markings/sec, 185 secs
lola: 397694 markings, 1202477 edges, 2090 markings/sec, 190 secs
lola: 408117 markings, 1233046 edges, 2085 markings/sec, 195 secs
lola: 418480 markings, 1264178 edges, 2073 markings/sec, 200 secs
lola: 428841 markings, 1295054 edges, 2072 markings/sec, 205 secs
lola: 439179 markings, 1326634 edges, 2068 markings/sec, 210 secs
lola: 449569 markings, 1356894 edges, 2078 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: 167720 KB
lola: time consumption: 672 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__25_15_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__25_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: 50
lola: 8448 markings, 30423 edges, 1690 markings/sec, 0 secs
lola: 18618 markings, 62621 edges, 2034 markings/sec, 5 secs
lola: 28799 markings, 95370 edges, 2036 markings/sec, 10 secs
lola: 38987 markings, 127770 edges, 2038 markings/sec, 15 secs
lola: 49128 markings, 160629 edges, 2028 markings/sec, 20 secs
lola: 59283 markings, 192365 edges, 2031 markings/sec, 25 secs
lola: 69381 markings, 224280 edges, 2020 markings/sec, 30 secs
lola: 79519 markings, 256783 edges, 2028 markings/sec, 35 secs
lola: 89657 markings, 289244 edges, 2028 markings/sec, 40 secs
lola: 99785 markings, 321180 edges, 2026 markings/sec, 45 secs
lola: 109956 markings, 352722 edges, 2034 markings/sec, 50 secs
lola: 120087 markings, 385980 edges, 2026 markings/sec, 55 secs
lola: 130148 markings, 417260 edges, 2012 markings/sec, 60 secs
lola: 139955 markings, 449231 edges, 1961 markings/sec, 65 secs
lola: 150073 markings, 481793 edges, 2024 markings/sec, 70 secs
lola: 160132 markings, 516552 edges, 2012 markings/sec, 75 secs
lola: 170133 markings, 551876 edges, 2000 markings/sec, 80 secs
lola: 180335 markings, 583169 edges, 2040 markings/sec, 85 secs
lola: 190543 markings, 614760 edges, 2042 markings/sec, 90 secs
lola: 200750 markings, 647117 edges, 2041 markings/sec, 95 secs
lola: 210905 markings, 680931 edges, 2031 markings/sec, 100 secs
lola: 221092 markings, 713067 edges, 2037 markings/sec, 105 secs
lola: 231270 markings, 745742 edges, 2036 markings/sec, 110 secs
lola: 241442 markings, 778538 edges, 2034 markings/sec, 115 secs
lola: 251589 markings, 812839 edges, 2029 markings/sec, 120 secs
lola: 261796 markings, 844148 edges, 2041 markings/sec, 125 secs
lola: 271985 markings, 876037 edges, 2038 markings/sec, 130 secs
lola: 282129 markings, 909305 edges, 2029 markings/sec, 135 secs
lola: 292069 markings, 941322 edges, 1988 markings/sec, 140 secs
lola: 302239 markings, 972749 edges, 2034 markings/sec, 145 secs
lola: 312282 markings, 1005288 edges, 2009 markings/sec, 150 secs
lola: 322304 markings, 1036740 edges, 2004 markings/sec, 155 secs
lola: 332317 markings, 1068375 edges, 2003 markings/sec, 160 secs
lola: 342276 markings, 1102816 edges, 1992 markings/sec, 165 secs
lola: 352257 markings, 1136374 edges, 1996 markings/sec, 170 secs
lola: 362253 markings, 1168081 edges, 1999 markings/sec, 175 secs
lola: 372227 markings, 1200098 edges, 1995 markings/sec, 180 secs
lola: 382256 markings, 1231143 edges, 2006 markings/sec, 185 secs
lola: 392261 markings, 1262870 edges, 2001 markings/sec, 190 secs
lola: 402295 markings, 1294251 edges, 2007 markings/sec, 195 secs
lola: 411904 markings, 1324796 edges, 1922 markings/sec, 200 secs
lola: 421251 markings, 1355262 edges, 1869 markings/sec, 205 secs
lola: 430631 markings, 1385337 edges, 1876 markings/sec, 210 secs
lola: 440467 markings, 1415716 edges, 1967 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: 182452 KB
lola: time consumption: 894 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 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__6_16_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__6_16_)
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: 50
lola: 8307 markings, 28713 edges, 1661 markings/sec, 0 secs
lola: 18233 markings, 63699 edges, 1985 markings/sec, 5 secs
lola: 28103 markings, 100846 edges, 1974 markings/sec, 10 secs
lola: 37917 markings, 137951 edges, 1963 markings/sec, 15 secs
lola: 47905 markings, 172710 edges, 1998 markings/sec, 20 secs
lola: 57910 markings, 207965 edges, 2001 markings/sec, 25 secs
lola: 67766 markings, 245221 edges, 1971 markings/sec, 30 secs
lola: 77657 markings, 282215 edges, 1978 markings/sec, 35 secs
lola: 87515 markings, 318231 edges, 1972 markings/sec, 40 secs
lola: 97310 markings, 353107 edges, 1959 markings/sec, 45 secs
lola: 107223 markings, 389807 edges, 1983 markings/sec, 50 secs
lola: 116891 markings, 425187 edges, 1934 markings/sec, 55 secs
lola: 126747 markings, 462077 edges, 1971 markings/sec, 60 secs
lola: 136441 markings, 498416 edges, 1939 markings/sec, 65 secs
lola: 146481 markings, 533145 edges, 2008 markings/sec, 70 secs
lola: 156479 markings, 567897 edges, 2000 markings/sec, 75 secs
lola: 166604 markings, 600233 edges, 2025 markings/sec, 80 secs
lola: 176757 markings, 631558 edges, 2031 markings/sec, 85 secs
lola: 186841 markings, 664748 edges, 2017 markings/sec, 90 secs
lola: 196912 markings, 698853 edges, 2014 markings/sec, 95 secs
lola: 207092 markings, 731631 edges, 2036 markings/sec, 100 secs
lola: 217274 markings, 763595 edges, 2036 markings/sec, 105 secs
lola: 227403 markings, 796816 edges, 2026 markings/sec, 110 secs
lola: 237529 markings, 830188 edges, 2025 markings/sec, 115 secs
lola: 247688 markings, 863585 edges, 2032 markings/sec, 120 secs
lola: 257834 markings, 896160 edges, 2029 markings/sec, 125 secs
lola: 267911 markings, 931111 edges, 2015 markings/sec, 130 secs
lola: 277949 markings, 966361 edges, 2008 markings/sec, 135 secs
lola: 288038 markings, 1000043 edges, 2018 markings/sec, 140 secs
lola: 298106 markings, 1034386 edges, 2014 markings/sec, 145 secs
lola: 308289 markings, 1066637 edges, 2037 markings/sec, 150 secs
lola: 318367 markings, 1101614 edges, 2016 markings/sec, 155 secs
lola: 328487 markings, 1136537 edges, 2024 markings/sec, 160 secs
lola: 338668 markings, 1168842 edges, 2036 markings/sec, 165 secs
lola: 348846 markings, 1200756 edges, 2036 markings/sec, 170 secs
lola: 358971 markings, 1232915 edges, 2025 markings/sec, 175 secs
lola: 369133 markings, 1263739 edges, 2032 markings/sec, 180 secs
lola: 379245 markings, 1297300 edges, 2022 markings/sec, 185 secs
lola: 389400 markings, 1330051 edges, 2031 markings/sec, 190 secs
lola: 399510 markings, 1363704 edges, 2022 markings/sec, 195 secs
lola: 409616 markings, 1397410 edges, 2021 markings/sec, 200 secs
lola: 419656 markings, 1431777 edges, 2008 markings/sec, 205 secs
lola: 429784 markings, 1462939 edges, 2026 markings/sec, 210 secs
lola: 439838 markings, 1497031 edges, 2011 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: 197052 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__27_4_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__27_4_)
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: 50
lola: 8325 markings, 24624 edges, 1665 markings/sec, 0 secs
lola: 18570 markings, 55313 edges, 2049 markings/sec, 5 secs
lola: 28528 markings, 85481 edges, 1992 markings/sec, 10 secs
lola: 38732 markings, 117371 edges, 2041 markings/sec, 15 secs
lola: 48916 markings, 147709 edges, 2037 markings/sec, 20 secs
lola: 59163 markings, 178321 edges, 2049 markings/sec, 25 secs
lola: 69410 markings, 207980 edges, 2049 markings/sec, 30 secs
lola: 79646 markings, 238053 edges, 2047 markings/sec, 35 secs
lola: 89849 markings, 269659 edges, 2041 markings/sec, 40 secs
lola: 100060 markings, 300865 edges, 2042 markings/sec, 45 secs
lola: 110284 markings, 331061 edges, 2045 markings/sec, 50 secs
lola: 120514 markings, 361452 edges, 2046 markings/sec, 55 secs
lola: 130469 markings, 391048 edges, 1991 markings/sec, 60 secs
lola: 140360 markings, 422502 edges, 1978 markings/sec, 65 secs
lola: 150525 markings, 451747 edges, 2033 markings/sec, 70 secs
lola: 160751 markings, 483193 edges, 2045 markings/sec, 75 secs
lola: 171011 markings, 513236 edges, 2052 markings/sec, 80 secs
lola: 181218 markings, 545126 edges, 2041 markings/sec, 85 secs
lola: 191407 markings, 577833 edges, 2038 markings/sec, 90 secs
lola: 201664 markings, 607636 edges, 2051 markings/sec, 95 secs
lola: 211915 markings, 637636 edges, 2050 markings/sec, 100 secs
lola: 222160 markings, 667724 edges, 2049 markings/sec, 105 secs
lola: 232335 markings, 700571 edges, 2035 markings/sec, 110 secs
lola: 242528 markings, 732130 edges, 2039 markings/sec, 115 secs
lola: 252773 markings, 762394 edges, 2049 markings/sec, 120 secs
lola: 263054 markings, 792444 edges, 2056 markings/sec, 125 secs
lola: 273304 markings, 823244 edges, 2050 markings/sec, 130 secs
lola: 283497 markings, 856394 edges, 2039 markings/sec, 135 secs
lola: 293730 markings, 886903 edges, 2047 markings/sec, 140 secs
lola: 304014 markings, 917194 edges, 2057 markings/sec, 145 secs
lola: 314250 markings, 947630 edges, 2047 markings/sec, 150 secs
lola: 324473 markings, 977983 edges, 2045 markings/sec, 155 secs
lola: 334713 markings, 1007924 edges, 2048 markings/sec, 160 secs
lola: 344943 markings, 1038024 edges, 2046 markings/sec, 165 secs
lola: 355161 markings, 1068121 edges, 2044 markings/sec, 170 secs
lola: 365389 markings, 1098006 edges, 2046 markings/sec, 175 secs
lola: 375601 markings, 1128602 edges, 2042 markings/sec, 180 secs
lola: 385782 markings, 1160464 edges, 2036 markings/sec, 185 secs
lola: 395941 markings, 1192913 edges, 2032 markings/sec, 190 secs
lola: 406136 markings, 1224013 edges, 2039 markings/sec, 195 secs
lola: 416250 markings, 1254927 edges, 2023 markings/sec, 200 secs
lola: 426454 markings, 1285447 edges, 2041 markings/sec, 205 secs
lola: 436681 markings, 1315867 edges, 2045 markings/sec, 210 secs
lola: 446883 markings, 1347816 edges, 2040 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: 184380 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__7_6_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__7_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: 50
lola: 8640 markings, 29174 edges, 1728 markings/sec, 0 secs
lola: 19001 markings, 62461 edges, 2072 markings/sec, 5 secs
lola: 29323 markings, 95973 edges, 2064 markings/sec, 10 secs
lola: 39710 markings, 127610 edges, 2077 markings/sec, 15 secs
lola: 50070 markings, 159773 edges, 2072 markings/sec, 20 secs
lola: 60385 markings, 191899 edges, 2063 markings/sec, 25 secs
lola: 70715 markings, 223175 edges, 2066 markings/sec, 30 secs
lola: 80990 markings, 255647 edges, 2055 markings/sec, 35 secs
lola: 91277 markings, 287530 edges, 2057 markings/sec, 40 secs
lola: 101546 markings, 320820 edges, 2054 markings/sec, 45 secs
lola: 111809 markings, 353395 edges, 2053 markings/sec, 50 secs
lola: 122076 markings, 386099 edges, 2053 markings/sec, 55 secs
lola: 132336 markings, 417734 edges, 2052 markings/sec, 60 secs
lola: 142598 markings, 449731 edges, 2052 markings/sec, 65 secs
lola: 152822 markings, 483517 edges, 2045 markings/sec, 70 secs
lola: 163009 markings, 518417 edges, 2037 markings/sec, 75 secs
lola: 173248 markings, 550191 edges, 2048 markings/sec, 80 secs
lola: 183470 markings, 583285 edges, 2044 markings/sec, 85 secs
lola: 193789 markings, 616092 edges, 2064 markings/sec, 90 secs
lola: 204126 markings, 648050 edges, 2067 markings/sec, 95 secs
lola: 214471 markings, 679545 edges, 2069 markings/sec, 100 secs
lola: 224758 markings, 710775 edges, 2057 markings/sec, 105 secs
lola: 235086 markings, 742639 edges, 2066 markings/sec, 110 secs
lola: 245374 markings, 774556 edges, 2058 markings/sec, 115 secs
lola: 255663 markings, 806712 edges, 2058 markings/sec, 120 secs
lola: 265923 markings, 840740 edges, 2052 markings/sec, 125 secs
lola: 276136 markings, 875878 edges, 2043 markings/sec, 130 secs
lola: 286405 markings, 908238 edges, 2054 markings/sec, 135 secs
lola: 296664 markings, 940608 edges, 2052 markings/sec, 140 secs
lola: 306874 markings, 974123 edges, 2042 markings/sec, 145 secs
lola: 317097 markings, 1008890 edges, 2045 markings/sec, 150 secs
lola: 327328 markings, 1042502 edges, 2046 markings/sec, 155 secs
lola: 337626 markings, 1074797 edges, 2060 markings/sec, 160 secs
lola: 347861 markings, 1108261 edges, 2047 markings/sec, 165 secs
lola: 358154 markings, 1140981 edges, 2059 markings/sec, 170 secs
lola: 368306 markings, 1172688 edges, 2030 markings/sec, 175 secs
lola: 378648 markings, 1206048 edges, 2068 markings/sec, 180 secs
lola: 389010 markings, 1237270 edges, 2072 markings/sec, 185 secs
lola: 399311 markings, 1269425 edges, 2060 markings/sec, 190 secs
lola: 409537 markings, 1301245 edges, 2045 markings/sec, 195 secs
lola: 419707 markings, 1334793 edges, 2034 markings/sec, 200 secs
lola: 429927 markings, 1365848 edges, 2044 markings/sec, 205 secs
lola: 440124 markings, 1397694 edges, 2039 markings/sec, 210 secs
lola: 450335 markings, 1428353 edges, 2042 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: 197532 KB
lola: time consumption: 1563 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 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__18_2_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__18_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: 50
lola: 8108 markings, 26686 edges, 1622 markings/sec, 0 secs
lola: 17895 markings, 59883 edges, 1957 markings/sec, 5 secs
lola: 27696 markings, 92384 edges, 1960 markings/sec, 10 secs
lola: 37512 markings, 126145 edges, 1963 markings/sec, 15 secs
lola: 47291 markings, 159320 edges, 1956 markings/sec, 20 secs
lola: 57064 markings, 192343 edges, 1955 markings/sec, 25 secs
lola: 66829 markings, 225711 edges, 1953 markings/sec, 30 secs
lola: 76592 markings, 260315 edges, 1953 markings/sec, 35 secs
lola: 86368 markings, 294270 edges, 1955 markings/sec, 40 secs
lola: 96074 markings, 329997 edges, 1941 markings/sec, 45 secs
lola: 105794 markings, 365798 edges, 1944 markings/sec, 50 secs
lola: 115558 markings, 401387 edges, 1953 markings/sec, 55 secs
lola: 125334 markings, 435733 edges, 1955 markings/sec, 60 secs
lola: 135106 markings, 470660 edges, 1954 markings/sec, 65 secs
lola: 144835 markings, 508546 edges, 1946 markings/sec, 70 secs
lola: 154625 markings, 543691 edges, 1958 markings/sec, 75 secs
lola: 164329 markings, 580215 edges, 1941 markings/sec, 80 secs
lola: 174066 markings, 615118 edges, 1947 markings/sec, 85 secs
lola: 183786 markings, 649355 edges, 1944 markings/sec, 90 secs
lola: 193585 markings, 685804 edges, 1960 markings/sec, 95 secs
lola: 203482 markings, 720666 edges, 1979 markings/sec, 100 secs
lola: 213274 markings, 755569 edges, 1958 markings/sec, 105 secs
lola: 223052 markings, 792693 edges, 1956 markings/sec, 110 secs
lola: 232950 markings, 826238 edges, 1980 markings/sec, 115 secs
lola: 242768 markings, 862379 edges, 1964 markings/sec, 120 secs
lola: 252565 markings, 899619 edges, 1959 markings/sec, 125 secs
lola: 262357 markings, 936847 edges, 1958 markings/sec, 130 secs
lola: 272169 markings, 972786 edges, 1962 markings/sec, 135 secs
lola: 281944 markings, 1009025 edges, 1955 markings/sec, 140 secs
lola: 291761 markings, 1044752 edges, 1963 markings/sec, 145 secs
lola: 301653 markings, 1080664 edges, 1978 markings/sec, 150 secs
lola: 311563 markings, 1117196 edges, 1982 markings/sec, 155 secs
lola: 321476 markings, 1153454 edges, 1983 markings/sec, 160 secs
lola: 331370 markings, 1189985 edges, 1979 markings/sec, 165 secs
lola: 341208 markings, 1225956 edges, 1968 markings/sec, 170 secs
lola: 351011 markings, 1260587 edges, 1961 markings/sec, 175 secs
lola: 360752 markings, 1297111 edges, 1948 markings/sec, 180 secs
lola: 370379 markings, 1333710 edges, 1925 markings/sec, 185 secs
lola: 380074 markings, 1370149 edges, 1939 markings/sec, 190 secs
lola: 389753 markings, 1405278 edges, 1936 markings/sec, 195 secs
lola: 399435 markings, 1439854 edges, 1936 markings/sec, 200 secs
lola: 409127 markings, 1475598 edges, 1938 markings/sec, 205 secs
lola: 418831 markings, 1510571 edges, 1941 markings/sec, 210 secs
lola: 428540 markings, 1545480 edges, 1942 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: 174088 KB
lola: time consumption: 1786 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 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__10_24_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__10_24_)
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: 50
lola: 8451 markings, 28143 edges, 1690 markings/sec, 0 secs
lola: 18536 markings, 61935 edges, 2017 markings/sec, 5 secs
lola: 28591 markings, 95840 edges, 2011 markings/sec, 10 secs
lola: 38655 markings, 126985 edges, 2013 markings/sec, 15 secs
lola: 48746 markings, 157575 edges, 2018 markings/sec, 20 secs
lola: 58760 markings, 189303 edges, 2003 markings/sec, 25 secs
lola: 68805 markings, 220346 edges, 2009 markings/sec, 30 secs
lola: 78825 markings, 252946 edges, 2004 markings/sec, 35 secs
lola: 88821 markings, 285775 edges, 1999 markings/sec, 40 secs
lola: 98896 markings, 316634 edges, 2015 markings/sec, 45 secs
lola: 108953 markings, 347052 edges, 2011 markings/sec, 50 secs
lola: 118986 markings, 379190 edges, 2007 markings/sec, 55 secs
lola: 129094 markings, 409483 edges, 2022 markings/sec, 60 secs
lola: 139147 markings, 440953 edges, 2011 markings/sec, 65 secs
lola: 149249 markings, 473057 edges, 2020 markings/sec, 70 secs
lola: 159355 markings, 507886 edges, 2021 markings/sec, 75 secs
lola: 169530 markings, 539108 edges, 2035 markings/sec, 80 secs
lola: 179694 markings, 571080 edges, 2033 markings/sec, 85 secs
lola: 189786 markings, 604548 edges, 2018 markings/sec, 90 secs
lola: 199787 markings, 636335 edges, 2000 markings/sec, 95 secs
lola: 209808 markings, 667069 edges, 2004 markings/sec, 100 secs
lola: 219821 markings, 697765 edges, 2003 markings/sec, 105 secs
lola: 229819 markings, 729825 edges, 2000 markings/sec, 110 secs
lola: 239864 markings, 761343 edges, 2009 markings/sec, 115 secs
lola: 249934 markings, 791526 edges, 2014 markings/sec, 120 secs
lola: 260060 markings, 821986 edges, 2025 markings/sec, 125 secs
lola: 270135 markings, 853183 edges, 2015 markings/sec, 130 secs
lola: 280180 markings, 884644 edges, 2009 markings/sec, 135 secs
lola: 290237 markings, 914984 edges, 2011 markings/sec, 140 secs
lola: 300280 markings, 946587 edges, 2009 markings/sec, 145 secs
lola: 310384 markings, 977057 edges, 2021 markings/sec, 150 secs
lola: 320487 markings, 1007900 edges, 2021 markings/sec, 155 secs
lola: 330537 markings, 1038838 edges, 2010 markings/sec, 160 secs
lola: 340558 markings, 1069901 edges, 2004 markings/sec, 165 secs
lola: 350543 markings, 1101924 edges, 1997 markings/sec, 170 secs
lola: 360534 markings, 1135076 edges, 1998 markings/sec, 175 secs
lola: 370617 markings, 1165675 edges, 2017 markings/sec, 180 secs
lola: 380631 markings, 1196174 edges, 2003 markings/sec, 185 secs
lola: 390629 markings, 1227646 edges, 2000 markings/sec, 190 secs
lola: 400614 markings, 1259717 edges, 1997 markings/sec, 195 secs
lola: 410634 markings, 1291707 edges, 2004 markings/sec, 200 secs
lola: 420718 markings, 1321597 edges, 2017 markings/sec, 205 secs
lola: 430748 markings, 1353031 edges, 2006 markings/sec, 210 secs
lola: 440854 markings, 1385617 edges, 2021 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: 207084 KB
lola: time consumption: 2009 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 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__28_7_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__28_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: 50
lola: 8381 markings, 28987 edges, 1676 markings/sec, 0 secs
lola: 18560 markings, 61328 edges, 2036 markings/sec, 5 secs
lola: 28748 markings, 93204 edges, 2038 markings/sec, 10 secs
lola: 38953 markings, 125953 edges, 2041 markings/sec, 15 secs
lola: 49169 markings, 156910 edges, 2043 markings/sec, 20 secs
lola: 59374 markings, 188596 edges, 2041 markings/sec, 25 secs
lola: 69416 markings, 221634 edges, 2008 markings/sec, 30 secs
lola: 79595 markings, 254374 edges, 2036 markings/sec, 35 secs
lola: 89780 markings, 287363 edges, 2037 markings/sec, 40 secs
lola: 99901 markings, 322969 edges, 2024 markings/sec, 45 secs
lola: 109951 markings, 356989 edges, 2010 markings/sec, 50 secs
lola: 120097 markings, 387367 edges, 2029 markings/sec, 55 secs
lola: 130254 markings, 419211 edges, 2031 markings/sec, 60 secs
lola: 140431 markings, 451346 edges, 2035 markings/sec, 65 secs
lola: 150528 markings, 486269 edges, 2019 markings/sec, 70 secs
lola: 160687 markings, 519486 edges, 2032 markings/sec, 75 secs
lola: 170883 markings, 551139 edges, 2039 markings/sec, 80 secs
lola: 181040 markings, 584407 edges, 2031 markings/sec, 85 secs
lola: 191175 markings, 618079 edges, 2027 markings/sec, 90 secs
lola: 201284 markings, 651953 edges, 2022 markings/sec, 95 secs
lola: 211486 markings, 683240 edges, 2040 markings/sec, 100 secs
lola: 221679 markings, 715289 edges, 2039 markings/sec, 105 secs
lola: 231844 markings, 748339 edges, 2033 markings/sec, 110 secs
lola: 241989 markings, 782422 edges, 2029 markings/sec, 115 secs
lola: 252120 markings, 817042 edges, 2026 markings/sec, 120 secs
lola: 262274 markings, 850063 edges, 2031 markings/sec, 125 secs
lola: 272456 markings, 881512 edges, 2036 markings/sec, 130 secs
lola: 282663 markings, 912300 edges, 2041 markings/sec, 135 secs
lola: 292846 markings, 944457 edges, 2037 markings/sec, 140 secs
lola: 302996 markings, 978077 edges, 2030 markings/sec, 145 secs
lola: 313143 markings, 1012410 edges, 2029 markings/sec, 150 secs
lola: 323326 markings, 1045553 edges, 2037 markings/sec, 155 secs
lola: 333410 markings, 1081141 edges, 2017 markings/sec, 160 secs
lola: 343508 markings, 1116287 edges, 2020 markings/sec, 165 secs
lola: 353637 markings, 1150124 edges, 2026 markings/sec, 170 secs
lola: 363768 markings, 1184014 edges, 2026 markings/sec, 175 secs
lola: 373963 markings, 1216774 edges, 2039 markings/sec, 180 secs
lola: 384201 markings, 1248859 edges, 2048 markings/sec, 185 secs
lola: 394388 markings, 1283158 edges, 2037 markings/sec, 190 secs
lola: 404591 markings, 1316400 edges, 2041 markings/sec, 195 secs
lola: 414802 markings, 1347853 edges, 2042 markings/sec, 200 secs
lola: 424976 markings, 1380526 edges, 2035 markings/sec, 205 secs
lola: 435143 markings, 1413800 edges, 2033 markings/sec, 210 secs
lola: 445318 markings, 1447193 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: 180424 KB
lola: time consumption: 2232 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 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__9_22_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__9_22_)
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: 50
lola: 8294 markings, 28038 edges, 1659 markings/sec, 0 secs
lola: 18357 markings, 62746 edges, 2013 markings/sec, 5 secs
lola: 28314 markings, 97639 edges, 1991 markings/sec, 10 secs
lola: 38397 markings, 131586 edges, 2017 markings/sec, 15 secs
lola: 48492 markings, 165839 edges, 2019 markings/sec, 20 secs
lola: 58547 markings, 199070 edges, 2011 markings/sec, 25 secs
lola: 68634 markings, 232272 edges, 2017 markings/sec, 30 secs
lola: 78697 markings, 266817 edges, 2013 markings/sec, 35 secs
lola: 88712 markings, 299298 edges, 2003 markings/sec, 40 secs
lola: 98817 markings, 331996 edges, 2021 markings/sec, 45 secs
lola: 108881 markings, 364691 edges, 2013 markings/sec, 50 secs
lola: 118923 markings, 399366 edges, 2008 markings/sec, 55 secs
lola: 128915 markings, 432914 edges, 1998 markings/sec, 60 secs
lola: 138971 markings, 469353 edges, 2011 markings/sec, 65 secs
lola: 149064 markings, 502526 edges, 2019 markings/sec, 70 secs
lola: 158960 markings, 537599 edges, 1979 markings/sec, 75 secs
lola: 168999 markings, 572763 edges, 2008 markings/sec, 80 secs
lola: 179057 markings, 605868 edges, 2012 markings/sec, 85 secs
lola: 188820 markings, 639230 edges, 1953 markings/sec, 90 secs
lola: 198933 markings, 672740 edges, 2023 markings/sec, 95 secs
lola: 208851 markings, 708622 edges, 1984 markings/sec, 100 secs
lola: 218915 markings, 742315 edges, 2013 markings/sec, 105 secs
lola: 229019 markings, 776170 edges, 2021 markings/sec, 110 secs
lola: 239098 markings, 808721 edges, 2016 markings/sec, 115 secs
lola: 249130 markings, 843160 edges, 2006 markings/sec, 120 secs
lola: 259147 markings, 878636 edges, 2003 markings/sec, 125 secs
lola: 269147 markings, 913398 edges, 2000 markings/sec, 130 secs
lola: 279234 markings, 946992 edges, 2017 markings/sec, 135 secs
lola: 289272 markings, 981343 edges, 2008 markings/sec, 140 secs
lola: 299326 markings, 1015498 edges, 2011 markings/sec, 145 secs
lola: 309347 markings, 1049789 edges, 2004 markings/sec, 150 secs
lola: 319444 markings, 1083840 edges, 2019 markings/sec, 155 secs
lola: 329477 markings, 1117513 edges, 2007 markings/sec, 160 secs
lola: 339530 markings, 1151711 edges, 2011 markings/sec, 165 secs
lola: 349633 markings, 1184278 edges, 2021 markings/sec, 170 secs
lola: 359696 markings, 1217622 edges, 2013 markings/sec, 175 secs
lola: 369773 markings, 1251216 edges, 2015 markings/sec, 180 secs
lola: 379861 markings, 1283632 edges, 2018 markings/sec, 185 secs
lola: 389900 markings, 1317891 edges, 2008 markings/sec, 190 secs
lola: 399969 markings, 1351160 edges, 2014 markings/sec, 195 secs
lola: 410049 markings, 1384507 edges, 2016 markings/sec, 200 secs
lola: 420133 markings, 1418403 edges, 2017 markings/sec, 205 secs
lola: 430228 markings, 1451469 edges, 2019 markings/sec, 210 secs
lola: 440272 markings, 1485465 edges, 2009 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: 190192 KB
lola: time consumption: 2455 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 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__6_29_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__6_29_)
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: 50
lola: 8360 markings, 28584 edges, 1672 markings/sec, 0 secs
lola: 18521 markings, 62935 edges, 2032 markings/sec, 5 secs
lola: 28698 markings, 96889 edges, 2035 markings/sec, 10 secs
lola: 38853 markings, 130956 edges, 2031 markings/sec, 15 secs
lola: 49011 markings, 165312 edges, 2032 markings/sec, 20 secs
lola: 59174 markings, 199298 edges, 2033 markings/sec, 25 secs
lola: 69327 markings, 233090 edges, 2031 markings/sec, 30 secs
lola: 79450 markings, 268876 edges, 2025 markings/sec, 35 secs
lola: 89574 markings, 303523 edges, 2025 markings/sec, 40 secs
lola: 99703 markings, 339055 edges, 2026 markings/sec, 45 secs
lola: 109862 markings, 373151 edges, 2032 markings/sec, 50 secs
lola: 120013 markings, 408516 edges, 2030 markings/sec, 55 secs
lola: 130128 markings, 442357 edges, 2023 markings/sec, 60 secs
lola: 140250 markings, 480159 edges, 2024 markings/sec, 65 secs
lola: 150432 markings, 515840 edges, 2036 markings/sec, 70 secs
lola: 160579 markings, 550717 edges, 2029 markings/sec, 75 secs
lola: 170786 markings, 585179 edges, 2041 markings/sec, 80 secs
lola: 180967 markings, 619779 edges, 2036 markings/sec, 85 secs
lola: 191111 markings, 654484 edges, 2029 markings/sec, 90 secs
lola: 201242 markings, 689431 edges, 2026 markings/sec, 95 secs
lola: 211384 markings, 724137 edges, 2028 markings/sec, 100 secs
lola: 221527 markings, 758797 edges, 2029 markings/sec, 105 secs
lola: 231642 markings, 795050 edges, 2023 markings/sec, 110 secs
lola: 241791 markings, 829637 edges, 2030 markings/sec, 115 secs
lola: 251977 markings, 863933 edges, 2037 markings/sec, 120 secs
lola: 262122 markings, 899145 edges, 2029 markings/sec, 125 secs
lola: 272271 markings, 934604 edges, 2030 markings/sec, 130 secs
lola: 282445 markings, 969113 edges, 2035 markings/sec, 135 secs
lola: 292609 markings, 1004283 edges, 2033 markings/sec, 140 secs
lola: 302772 markings, 1038609 edges, 2033 markings/sec, 145 secs
lola: 312931 markings, 1073353 edges, 2032 markings/sec, 150 secs
lola: 323093 markings, 1108464 edges, 2032 markings/sec, 155 secs
lola: 333256 markings, 1143249 edges, 2033 markings/sec, 160 secs
lola: 343412 markings, 1178089 edges, 2031 markings/sec, 165 secs
lola: 353576 markings, 1213104 edges, 2033 markings/sec, 170 secs
lola: 363710 markings, 1247675 edges, 2027 markings/sec, 175 secs
lola: 373836 markings, 1281997 edges, 2025 markings/sec, 180 secs
lola: 383982 markings, 1316286 edges, 2029 markings/sec, 185 secs
lola: 394151 markings, 1350727 edges, 2034 markings/sec, 190 secs
lola: 404288 markings, 1386563 edges, 2027 markings/sec, 195 secs
lola: 414390 markings, 1421413 edges, 2020 markings/sec, 200 secs
lola: 424478 markings, 1457611 edges, 2018 markings/sec, 205 secs
lola: 434568 markings, 1493467 edges, 2018 markings/sec, 210 secs
lola: 444717 markings, 1527608 edges, 2030 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: 194612 KB
lola: time consumption: 2678 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 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__25_30_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__25_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: 50
lola: 8241 markings, 27047 edges, 1648 markings/sec, 0 secs
lola: 18325 markings, 58932 edges, 2017 markings/sec, 5 secs
lola: 28388 markings, 91185 edges, 2013 markings/sec, 10 secs
lola: 38448 markings, 123872 edges, 2012 markings/sec, 15 secs
lola: 48526 markings, 156340 edges, 2016 markings/sec, 20 secs
lola: 58630 markings, 187874 edges, 2021 markings/sec, 25 secs
lola: 68713 markings, 220022 edges, 2017 markings/sec, 30 secs
lola: 78781 markings, 252228 edges, 2014 markings/sec, 35 secs
lola: 88855 markings, 284236 edges, 2015 markings/sec, 40 secs
lola: 98940 markings, 315617 edges, 2017 markings/sec, 45 secs
lola: 109057 markings, 345838 edges, 2023 markings/sec, 50 secs
lola: 119125 markings, 376613 edges, 2014 markings/sec, 55 secs
lola: 129191 markings, 407862 edges, 2013 markings/sec, 60 secs
lola: 139231 markings, 438658 edges, 2008 markings/sec, 65 secs
lola: 149336 markings, 467858 edges, 2021 markings/sec, 70 secs
lola: 159461 markings, 498541 edges, 2025 markings/sec, 75 secs
lola: 169545 markings, 530540 edges, 2017 markings/sec, 80 secs
lola: 179605 markings, 563415 edges, 2012 markings/sec, 85 secs
lola: 189732 markings, 593107 edges, 2025 markings/sec, 90 secs
lola: 199863 markings, 623515 edges, 2026 markings/sec, 95 secs
lola: 209920 markings, 656059 edges, 2011 markings/sec, 100 secs
lola: 219999 markings, 687745 edges, 2016 markings/sec, 105 secs
lola: 230029 markings, 717847 edges, 2006 markings/sec, 110 secs
lola: 240004 markings, 749058 edges, 1995 markings/sec, 115 secs
lola: 250002 markings, 780354 edges, 2000 markings/sec, 120 secs
lola: 260100 markings, 811185 edges, 2020 markings/sec, 125 secs
lola: 270012 markings, 841574 edges, 1982 markings/sec, 130 secs
lola: 280077 markings, 872723 edges, 2013 markings/sec, 135 secs
lola: 290090 markings, 906154 edges, 2003 markings/sec, 140 secs
lola: 300202 markings, 935330 edges, 2022 markings/sec, 145 secs
lola: 310286 markings, 965392 edges, 2017 markings/sec, 150 secs
lola: 320323 markings, 995064 edges, 2007 markings/sec, 155 secs
lola: 330411 markings, 1024867 edges, 2018 markings/sec, 160 secs
lola: 340462 markings, 1053834 edges, 2010 markings/sec, 165 secs
lola: 350559 markings, 1083795 edges, 2019 markings/sec, 170 secs
lola: 360640 markings, 1113624 edges, 2016 markings/sec, 175 secs
lola: 370756 markings, 1142913 edges, 2023 markings/sec, 180 secs
lola: 380831 markings, 1173202 edges, 2015 markings/sec, 185 secs
lola: 390948 markings, 1202156 edges, 2023 markings/sec, 190 secs
lola: 401046 markings, 1232177 edges, 2020 markings/sec, 195 secs
lola: 411188 markings, 1261206 edges, 2028 markings/sec, 200 secs
lola: 421324 markings, 1291083 edges, 2027 markings/sec, 205 secs
lola: 431432 markings, 1321917 edges, 2022 markings/sec, 210 secs
lola: 441552 markings, 1351976 edges, 2024 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: 191836 KB
lola: time consumption: 2901 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 223 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: 50
lola: 8363 markings, 28392 edges, 1673 markings/sec, 0 secs
lola: 18503 markings, 59979 edges, 2028 markings/sec, 5 secs
lola: 28591 markings, 93890 edges, 2018 markings/sec, 10 secs
lola: 38582 markings, 125421 edges, 1998 markings/sec, 15 secs
lola: 48681 markings, 157093 edges, 2020 markings/sec, 20 secs
lola: 58697 markings, 189434 edges, 2003 markings/sec, 25 secs
lola: 68822 markings, 221010 edges, 2025 markings/sec, 30 secs
lola: 78954 markings, 252225 edges, 2026 markings/sec, 35 secs
lola: 89083 markings, 283537 edges, 2026 markings/sec, 40 secs
lola: 99225 markings, 314256 edges, 2028 markings/sec, 45 secs
lola: 109387 markings, 344162 edges, 2032 markings/sec, 50 secs
lola: 119508 markings, 375874 edges, 2024 markings/sec, 55 secs
lola: 129631 markings, 407238 edges, 2025 markings/sec, 60 secs
lola: 139740 markings, 439494 edges, 2022 markings/sec, 65 secs
lola: 149742 markings, 472287 edges, 2000 markings/sec, 70 secs
lola: 159770 markings, 504762 edges, 2006 markings/sec, 75 secs
lola: 169829 markings, 537252 edges, 2012 markings/sec, 80 secs
lola: 179773 markings, 570657 edges, 1989 markings/sec, 85 secs
lola: 189888 markings, 602893 edges, 2023 markings/sec, 90 secs
lola: 200046 markings, 634318 edges, 2032 markings/sec, 95 secs
lola: 210184 markings, 666096 edges, 2028 markings/sec, 100 secs
lola: 220270 markings, 696476 edges, 2017 markings/sec, 105 secs
lola: 230370 markings, 728906 edges, 2020 markings/sec, 110 secs
lola: 240522 markings, 759872 edges, 2030 markings/sec, 115 secs
lola: 250646 markings, 791664 edges, 2025 markings/sec, 120 secs
lola: 260795 markings, 822152 edges, 2030 markings/sec, 125 secs
lola: 270897 markings, 854200 edges, 2020 markings/sec, 130 secs
lola: 281010 markings, 886231 edges, 2023 markings/sec, 135 secs
lola: 291099 markings, 918514 edges, 2018 markings/sec, 140 secs
lola: 301268 markings, 948929 edges, 2034 markings/sec, 145 secs
lola: 311391 markings, 980410 edges, 2025 markings/sec, 150 secs
lola: 321466 markings, 1013629 edges, 2015 markings/sec, 155 secs
lola: 331503 markings, 1044049 edges, 2007 markings/sec, 160 secs
lola: 341488 markings, 1074000 edges, 1997 markings/sec, 165 secs
lola: 351511 markings, 1103962 edges, 2005 markings/sec, 170 secs
lola: 361635 markings, 1135436 edges, 2025 markings/sec, 175 secs
lola: 371678 markings, 1170447 edges, 2009 markings/sec, 180 secs
lola: 381734 markings, 1204621 edges, 2011 markings/sec, 185 secs
lola: 391905 markings, 1235259 edges, 2034 markings/sec, 190 secs
lola: 402065 markings, 1266928 edges, 2032 markings/sec, 195 secs
lola: 412242 markings, 1298182 edges, 2035 markings/sec, 200 secs
lola: 422374 markings, 1330758 edges, 2026 markings/sec, 205 secs
lola: 432480 markings, 1363917 edges, 2021 markings/sec, 210 secs
lola: 442663 markings, 1394776 edges, 2037 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: 217544 KB
lola: time consumption: 3124 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 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__11_13_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__11_13_)
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: 50
lola: 8252 markings, 27575 edges, 1650 markings/sec, 0 secs
lola: 18231 markings, 59880 edges, 1996 markings/sec, 5 secs
lola: 28307 markings, 92169 edges, 2015 markings/sec, 10 secs
lola: 38367 markings, 125441 edges, 2012 markings/sec, 15 secs
lola: 48355 markings, 158917 edges, 1998 markings/sec, 20 secs
lola: 58421 markings, 191835 edges, 2013 markings/sec, 25 secs
lola: 68469 markings, 225056 edges, 2010 markings/sec, 30 secs
lola: 78537 markings, 257812 edges, 2014 markings/sec, 35 secs
lola: 88628 markings, 289887 edges, 2018 markings/sec, 40 secs
lola: 98733 markings, 321486 edges, 2021 markings/sec, 45 secs
lola: 108817 markings, 353849 edges, 2017 markings/sec, 50 secs
lola: 118886 markings, 386587 edges, 2014 markings/sec, 55 secs
lola: 128844 markings, 418290 edges, 1992 markings/sec, 60 secs
lola: 138829 markings, 451488 edges, 1997 markings/sec, 65 secs
lola: 148663 markings, 483395 edges, 1967 markings/sec, 70 secs
lola: 158723 markings, 516343 edges, 2012 markings/sec, 75 secs
lola: 168777 markings, 549826 edges, 2011 markings/sec, 80 secs
lola: 178604 markings, 581994 edges, 1965 markings/sec, 85 secs
lola: 188666 markings, 614975 edges, 2012 markings/sec, 90 secs
lola: 198617 markings, 646713 edges, 1990 markings/sec, 95 secs
lola: 208671 markings, 678999 edges, 2011 markings/sec, 100 secs
lola: 218503 markings, 711529 edges, 1966 markings/sec, 105 secs
lola: 228522 markings, 745017 edges, 2004 markings/sec, 110 secs
lola: 238548 markings, 779254 edges, 2005 markings/sec, 115 secs
lola: 248650 markings, 811456 edges, 2020 markings/sec, 120 secs
lola: 258731 markings, 844460 edges, 2016 markings/sec, 125 secs
lola: 268692 markings, 877183 edges, 1992 markings/sec, 130 secs
lola: 278738 markings, 911181 edges, 2009 markings/sec, 135 secs
lola: 288811 markings, 944869 edges, 2015 markings/sec, 140 secs
lola: 298786 markings, 978222 edges, 1995 markings/sec, 145 secs
lola: 308844 markings, 1011847 edges, 2012 markings/sec, 150 secs
lola: 318968 markings, 1044426 edges, 2025 markings/sec, 155 secs
lola: 329074 markings, 1077372 edges, 2021 markings/sec, 160 secs
lola: 339151 markings, 1110857 edges, 2015 markings/sec, 165 secs
lola: 349235 markings, 1144662 edges, 2017 markings/sec, 170 secs
lola: 359315 markings, 1178097 edges, 2016 markings/sec, 175 secs
lola: 369363 markings, 1212686 edges, 2010 markings/sec, 180 secs
lola: 379455 markings, 1245562 edges, 2018 markings/sec, 185 secs
lola: 389514 markings, 1279839 edges, 2012 markings/sec, 190 secs
lola: 399615 markings, 1312090 edges, 2020 markings/sec, 195 secs
lola: 409704 markings, 1344769 edges, 2018 markings/sec, 200 secs
lola: 419794 markings, 1377362 edges, 2018 markings/sec, 205 secs
lola: 429890 markings, 1409840 edges, 2019 markings/sec, 210 secs
lola: 439954 markings, 1443535 edges, 2013 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: 195996 KB
lola: time consumption: 3347 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 223 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: 50
lola: 8495 markings, 26081 edges, 1699 markings/sec, 0 secs
lola: 18743 markings, 59116 edges, 2050 markings/sec, 5 secs
lola: 28877 markings, 92196 edges, 2027 markings/sec, 10 secs
lola: 39123 markings, 125528 edges, 2049 markings/sec, 15 secs
lola: 49383 markings, 158966 edges, 2052 markings/sec, 20 secs
lola: 59645 markings, 191409 edges, 2052 markings/sec, 25 secs
lola: 69922 markings, 222438 edges, 2055 markings/sec, 30 secs
lola: 80184 markings, 254593 edges, 2052 markings/sec, 35 secs
lola: 90462 markings, 286438 edges, 2056 markings/sec, 40 secs
lola: 100730 markings, 318402 edges, 2054 markings/sec, 45 secs
lola: 111000 markings, 350592 edges, 2054 markings/sec, 50 secs
lola: 121268 markings, 382703 edges, 2054 markings/sec, 55 secs
lola: 131562 markings, 414554 edges, 2059 markings/sec, 60 secs
lola: 141838 markings, 446717 edges, 2055 markings/sec, 65 secs
lola: 152137 markings, 477242 edges, 2060 markings/sec, 70 secs
lola: 162442 markings, 509217 edges, 2061 markings/sec, 75 secs
lola: 172684 markings, 541147 edges, 2048 markings/sec, 80 secs
lola: 182919 markings, 571763 edges, 2047 markings/sec, 85 secs
lola: 193228 markings, 602782 edges, 2062 markings/sec, 90 secs
lola: 203414 markings, 633763 edges, 2037 markings/sec, 95 secs
lola: 213655 markings, 664739 edges, 2048 markings/sec, 100 secs
lola: 223788 markings, 695914 edges, 2027 markings/sec, 105 secs
lola: 234060 markings, 726389 edges, 2054 markings/sec, 110 secs
lola: 244337 markings, 758583 edges, 2055 markings/sec, 115 secs
lola: 254531 markings, 788202 edges, 2039 markings/sec, 120 secs
lola: 264832 markings, 820501 edges, 2060 markings/sec, 125 secs
lola: 275144 markings, 850780 edges, 2062 markings/sec, 130 secs
lola: 285432 markings, 882935 edges, 2058 markings/sec, 135 secs
lola: 295769 markings, 913028 edges, 2067 markings/sec, 140 secs
lola: 306113 markings, 944222 edges, 2069 markings/sec, 145 secs
lola: 316449 markings, 974722 edges, 2067 markings/sec, 150 secs
lola: 326722 markings, 1008034 edges, 2055 markings/sec, 155 secs
lola: 337004 markings, 1039859 edges, 2056 markings/sec, 160 secs
lola: 347308 markings, 1071230 edges, 2061 markings/sec, 165 secs
lola: 357626 markings, 1102162 edges, 2064 markings/sec, 170 secs
lola: 367974 markings, 1132113 edges, 2070 markings/sec, 175 secs
lola: 378335 markings, 1163487 edges, 2072 markings/sec, 180 secs
lola: 388643 markings, 1194754 edges, 2062 markings/sec, 185 secs
lola: 398975 markings, 1225898 edges, 2066 markings/sec, 190 secs
lola: 409317 markings, 1257159 edges, 2068 markings/sec, 195 secs
lola: 419625 markings, 1288326 edges, 2062 markings/sec, 200 secs
lola: 429908 markings, 1319910 edges, 2057 markings/sec, 205 secs
lola: 440210 markings, 1351866 edges, 2060 markings/sec, 210 secs
lola: 450554 markings, 1384074 edges, 2069 markings/sec, 215 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 182268 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 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 182268 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 1552580422241

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

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