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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.2M
-rw-r--r-- 1 mcc users 4.8K Feb 10 21:34 CTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 10 21:34 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.3K Feb 6 17:56 CTLFireability.txt
-rw-r--r-- 1 mcc users 20K 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.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.2K 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.8K Feb 3 07:21 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 3 07:21 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Jan 30 23:46 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Jan 30 23:46 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 4 22:19 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 4 22:19 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 8 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 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-D30N100-UpperBounds-00
FORMULA_NAME Diffusion2D-PT-D30N100-UpperBounds-01
FORMULA_NAME Diffusion2D-PT-D30N100-UpperBounds-02
FORMULA_NAME Diffusion2D-PT-D30N100-UpperBounds-03
FORMULA_NAME Diffusion2D-PT-D30N100-UpperBounds-04
FORMULA_NAME Diffusion2D-PT-D30N100-UpperBounds-05
FORMULA_NAME Diffusion2D-PT-D30N100-UpperBounds-06
FORMULA_NAME Diffusion2D-PT-D30N100-UpperBounds-07
FORMULA_NAME Diffusion2D-PT-D30N100-UpperBounds-08
FORMULA_NAME Diffusion2D-PT-D30N100-UpperBounds-09
FORMULA_NAME Diffusion2D-PT-D30N100-UpperBounds-10
FORMULA_NAME Diffusion2D-PT-D30N100-UpperBounds-11
FORMULA_NAME Diffusion2D-PT-D30N100-UpperBounds-12
FORMULA_NAME Diffusion2D-PT-D30N100-UpperBounds-13
FORMULA_NAME Diffusion2D-PT-D30N100-UpperBounds-14
FORMULA_NAME Diffusion2D-PT-D30N100-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1552578766581

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

{
"build":
{
"architecture": 64,
"assertions": false,
"build_hostname": "mcc2019",
"build_system": "x86_64-unknown-linux-gnu",
"optimizations": true,
"package_version": "2.0",
"svn_version": "3189M"
},
"call":
{
"exec_host": "mcc2019",
"markinglimit": null,
"parameters":
[
"--pnmlnet",
"model.pnml",
"--xmlformula",
"--formula=UpperBounds.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--check=modelchecking",
"--stubborn=tarjan",
"--timelimit=3570",
"--localtimelimit=0",
"--json=UpperBounds.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Thu Mar 14 15:52:46 2019
",
"timelimit": 3570
},
"child": null,
"exit":
{
"error": null,
"memory": 193480,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "UpperBounds.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*)"
},
"net":
{
"arcs": 13688,
"conflict_clusters": 900,
"places": 900,
"places_significant": 899,
"singleton_clusters": 0,
"transitions": 6844
},
"result":
{
"interim_value": "unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown ",
"preliminary_value": "unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown "
},
"task":
{
"type": "compound"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 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__7_10_) : MAX(cAMP__3_9_) : MAX(cAMP__15_2_) : MAX(cAMP__2_1_) : MAX(cAMP__28_15_) : MAX(cAMP__22_7_) : MAX(cAMP__9_6_) : MAX(cAMP__4_6_) : MAX(cAMP__1_12_) : MAX(cAMP__4_18_) : MAX(cAMP__24_9_) : MAX(cAMP__1_21_) : MAX(cAMP__29_22_) : MAX(cAMP__29_22_) : MAX(cAMP__22_10_) : MAX(cAMP__3_13_)
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__7_10_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__7_10_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 100
lola: 8361 markings, 27696 edges, 1672 markings/sec, 0 secs
lola: 18344 markings, 62153 edges, 1997 markings/sec, 5 secs
lola: 28198 markings, 97586 edges, 1971 markings/sec, 10 secs
lola: 38120 markings, 132624 edges, 1984 markings/sec, 15 secs
lola: 48118 markings, 166163 edges, 2000 markings/sec, 20 secs
lola: 58156 markings, 200812 edges, 2008 markings/sec, 25 secs
lola: 68140 markings, 235875 edges, 1997 markings/sec, 30 secs
lola: 78152 markings, 272443 edges, 2002 markings/sec, 35 secs
lola: 88113 markings, 309098 edges, 1992 markings/sec, 40 secs
lola: 98093 markings, 344155 edges, 1996 markings/sec, 45 secs
lola: 107972 markings, 377565 edges, 1976 markings/sec, 50 secs
lola: 117982 markings, 411530 edges, 2002 markings/sec, 55 secs
lola: 127974 markings, 445931 edges, 1998 markings/sec, 60 secs
lola: 137960 markings, 479235 edges, 1997 markings/sec, 65 secs
lola: 147695 markings, 511729 edges, 1947 markings/sec, 70 secs
lola: 157717 markings, 544805 edges, 2004 markings/sec, 75 secs
lola: 167834 markings, 578742 edges, 2023 markings/sec, 80 secs
lola: 177956 markings, 613310 edges, 2024 markings/sec, 85 secs
lola: 187912 markings, 645887 edges, 1991 markings/sec, 90 secs
lola: 197989 markings, 680022 edges, 2015 markings/sec, 95 secs
lola: 208064 markings, 714734 edges, 2015 markings/sec, 100 secs
lola: 218118 markings, 748724 edges, 2011 markings/sec, 105 secs
lola: 228158 markings, 784778 edges, 2008 markings/sec, 110 secs
lola: 238244 markings, 819440 edges, 2017 markings/sec, 115 secs
lola: 248373 markings, 853556 edges, 2026 markings/sec, 120 secs
lola: 258511 markings, 887490 edges, 2028 markings/sec, 125 secs
lola: 268586 markings, 921352 edges, 2015 markings/sec, 130 secs
lola: 278719 markings, 956261 edges, 2027 markings/sec, 135 secs
lola: 288544 markings, 989342 edges, 1965 markings/sec, 140 secs
lola: 298701 markings, 1022748 edges, 2031 markings/sec, 145 secs
lola: 308617 markings, 1055736 edges, 1983 markings/sec, 150 secs
lola: 318737 markings, 1089629 edges, 2024 markings/sec, 155 secs
lola: 328780 markings, 1124309 edges, 2009 markings/sec, 160 secs
lola: 338866 markings, 1159859 edges, 2017 markings/sec, 165 secs
lola: 348982 markings, 1194154 edges, 2023 markings/sec, 170 secs
lola: 359082 markings, 1228363 edges, 2020 markings/sec, 175 secs
lola: 369196 markings, 1263012 edges, 2023 markings/sec, 180 secs
lola: 379316 markings, 1298727 edges, 2024 markings/sec, 185 secs
lola: 389409 markings, 1334444 edges, 2019 markings/sec, 190 secs
lola: 399443 markings, 1370713 edges, 2007 markings/sec, 195 secs
lola: 409617 markings, 1404756 edges, 2035 markings/sec, 200 secs
lola: 419733 markings, 1439829 edges, 2023 markings/sec, 205 secs
lola: 429820 markings, 1474319 edges, 2017 markings/sec, 210 secs
lola: 439811 markings, 1507804 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: 198676 KB
lola: time consumption: 230 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__3_9_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__3_9_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 100
lola: 8572 markings, 29259 edges, 1714 markings/sec, 0 secs
lola: 18921 markings, 62347 edges, 2070 markings/sec, 5 secs
lola: 29231 markings, 96790 edges, 2062 markings/sec, 10 secs
lola: 39555 markings, 131503 edges, 2065 markings/sec, 15 secs
lola: 49833 markings, 165954 edges, 2056 markings/sec, 20 secs
lola: 60181 markings, 199909 edges, 2070 markings/sec, 25 secs
lola: 70489 markings, 233962 edges, 2062 markings/sec, 30 secs
lola: 80798 markings, 268933 edges, 2062 markings/sec, 35 secs
lola: 91123 markings, 303750 edges, 2065 markings/sec, 40 secs
lola: 101454 markings, 338447 edges, 2066 markings/sec, 45 secs
lola: 111830 markings, 373246 edges, 2075 markings/sec, 50 secs
lola: 122161 markings, 408955 edges, 2066 markings/sec, 55 secs
lola: 132512 markings, 443124 edges, 2070 markings/sec, 60 secs
lola: 142855 markings, 477794 edges, 2069 markings/sec, 65 secs
lola: 152440 markings, 510665 edges, 1917 markings/sec, 70 secs
lola: 161903 markings, 543320 edges, 1893 markings/sec, 75 secs
lola: 171525 markings, 576823 edges, 1924 markings/sec, 80 secs
lola: 181235 markings, 609909 edges, 1942 markings/sec, 85 secs
lola: 190925 markings, 642054 edges, 1938 markings/sec, 90 secs
lola: 200769 markings, 677255 edges, 1969 markings/sec, 95 secs
lola: 210633 markings, 711119 edges, 1973 markings/sec, 100 secs
lola: 220489 markings, 745412 edges, 1971 markings/sec, 105 secs
lola: 230331 markings, 780890 edges, 1968 markings/sec, 110 secs
lola: 240409 markings, 815980 edges, 2016 markings/sec, 115 secs
lola: 250644 markings, 853298 edges, 2047 markings/sec, 120 secs
lola: 260989 markings, 888287 edges, 2069 markings/sec, 125 secs
lola: 271293 markings, 923952 edges, 2061 markings/sec, 130 secs
lola: 281669 markings, 958267 edges, 2075 markings/sec, 135 secs
lola: 292057 markings, 992726 edges, 2078 markings/sec, 140 secs
lola: 302418 markings, 1027641 edges, 2072 markings/sec, 145 secs
lola: 312732 markings, 1064475 edges, 2063 markings/sec, 150 secs
lola: 323070 markings, 1100135 edges, 2068 markings/sec, 155 secs
lola: 333400 markings, 1134902 edges, 2066 markings/sec, 160 secs
lola: 343757 markings, 1169370 edges, 2071 markings/sec, 165 secs
lola: 354035 markings, 1206202 edges, 2056 markings/sec, 170 secs
lola: 364333 markings, 1241508 edges, 2060 markings/sec, 175 secs
lola: 374624 markings, 1277067 edges, 2058 markings/sec, 180 secs
lola: 384884 markings, 1314208 edges, 2052 markings/sec, 185 secs
lola: 395193 markings, 1350545 edges, 2062 markings/sec, 190 secs
lola: 405446 markings, 1387227 edges, 2051 markings/sec, 195 secs
lola: 415752 markings, 1422580 edges, 2061 markings/sec, 200 secs
lola: 426044 markings, 1457865 edges, 2058 markings/sec, 205 secs
lola: 436407 markings, 1492035 edges, 2073 markings/sec, 210 secs
lola: 446774 markings, 1526509 edges, 2073 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: 185348 KB
lola: time consumption: 452 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__15_2_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__15_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: 100
lola: 8145 markings, 26929 edges, 1629 markings/sec, 0 secs
lola: 17960 markings, 59613 edges, 1963 markings/sec, 5 secs
lola: 27878 markings, 92577 edges, 1984 markings/sec, 10 secs
lola: 37835 markings, 126706 edges, 1991 markings/sec, 15 secs
lola: 47560 markings, 159341 edges, 1945 markings/sec, 20 secs
lola: 57375 markings, 192407 edges, 1963 markings/sec, 25 secs
lola: 67303 markings, 226227 edges, 1986 markings/sec, 30 secs
lola: 77253 markings, 260431 edges, 1990 markings/sec, 35 secs
lola: 87204 markings, 294370 edges, 1990 markings/sec, 40 secs
lola: 97061 markings, 329736 edges, 1971 markings/sec, 45 secs
lola: 106920 markings, 365832 edges, 1972 markings/sec, 50 secs
lola: 116763 markings, 401729 edges, 1969 markings/sec, 55 secs
lola: 126666 markings, 435589 edges, 1981 markings/sec, 60 secs
lola: 136308 markings, 468467 edges, 1928 markings/sec, 65 secs
lola: 146276 markings, 501053 edges, 1994 markings/sec, 70 secs
lola: 156108 markings, 535226 edges, 1966 markings/sec, 75 secs
lola: 165958 markings, 569162 edges, 1970 markings/sec, 80 secs
lola: 175755 markings, 602311 edges, 1959 markings/sec, 85 secs
lola: 185661 markings, 637094 edges, 1981 markings/sec, 90 secs
lola: 195554 markings, 672498 edges, 1979 markings/sec, 95 secs
lola: 205482 markings, 706725 edges, 1986 markings/sec, 100 secs
lola: 215320 markings, 739502 edges, 1968 markings/sec, 105 secs
lola: 225240 markings, 773693 edges, 1984 markings/sec, 110 secs
lola: 235127 markings, 810638 edges, 1977 markings/sec, 115 secs
lola: 245055 markings, 846106 edges, 1986 markings/sec, 120 secs
lola: 254998 markings, 880745 edges, 1989 markings/sec, 125 secs
lola: 264944 markings, 915085 edges, 1989 markings/sec, 130 secs
lola: 274896 markings, 949635 edges, 1990 markings/sec, 135 secs
lola: 284847 markings, 984179 edges, 1990 markings/sec, 140 secs
lola: 294788 markings, 1017152 edges, 1988 markings/sec, 145 secs
lola: 304534 markings, 1052653 edges, 1949 markings/sec, 150 secs
lola: 314252 markings, 1087654 edges, 1944 markings/sec, 155 secs
lola: 323828 markings, 1121577 edges, 1915 markings/sec, 160 secs
lola: 333367 markings, 1156033 edges, 1908 markings/sec, 165 secs
lola: 343182 markings, 1189710 edges, 1963 markings/sec, 170 secs
lola: 352989 markings, 1222986 edges, 1961 markings/sec, 175 secs
lola: 362791 markings, 1257658 edges, 1960 markings/sec, 180 secs
lola: 372567 markings, 1292123 edges, 1955 markings/sec, 185 secs
lola: 382462 markings, 1326969 edges, 1979 markings/sec, 190 secs
lola: 392295 markings, 1364017 edges, 1967 markings/sec, 195 secs
lola: 402163 markings, 1399473 edges, 1974 markings/sec, 200 secs
lola: 411902 markings, 1434606 edges, 1948 markings/sec, 205 secs
lola: 421822 markings, 1469746 edges, 1984 markings/sec, 210 secs
lola: 431737 markings, 1505388 edges, 1983 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: 172940 KB
lola: time consumption: 674 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__2_1_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__2_1_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 100
lola: 8653 markings, 30303 edges, 1731 markings/sec, 0 secs
lola: 19147 markings, 63174 edges, 2099 markings/sec, 5 secs
lola: 29600 markings, 96805 edges, 2091 markings/sec, 10 secs
lola: 40097 markings, 130075 edges, 2099 markings/sec, 15 secs
lola: 50556 markings, 163978 edges, 2092 markings/sec, 20 secs
lola: 61065 markings, 196940 edges, 2102 markings/sec, 25 secs
lola: 71538 markings, 231000 edges, 2095 markings/sec, 30 secs
lola: 82038 markings, 263010 edges, 2100 markings/sec, 35 secs
lola: 92520 markings, 295962 edges, 2096 markings/sec, 40 secs
lola: 103041 markings, 328349 edges, 2104 markings/sec, 45 secs
lola: 113510 markings, 360972 edges, 2094 markings/sec, 50 secs
lola: 124008 markings, 393304 edges, 2100 markings/sec, 55 secs
lola: 134510 markings, 425939 edges, 2100 markings/sec, 60 secs
lola: 145050 markings, 458339 edges, 2108 markings/sec, 65 secs
lola: 155580 markings, 491310 edges, 2106 markings/sec, 70 secs
lola: 166120 markings, 523738 edges, 2108 markings/sec, 75 secs
lola: 176638 markings, 556610 edges, 2104 markings/sec, 80 secs
lola: 187144 markings, 589056 edges, 2101 markings/sec, 85 secs
lola: 197642 markings, 620745 edges, 2100 markings/sec, 90 secs
lola: 208141 markings, 652419 edges, 2100 markings/sec, 95 secs
lola: 218701 markings, 685517 edges, 2112 markings/sec, 100 secs
lola: 229286 markings, 717911 edges, 2117 markings/sec, 105 secs
lola: 239881 markings, 752481 edges, 2119 markings/sec, 110 secs
lola: 250489 markings, 784839 edges, 2122 markings/sec, 115 secs
lola: 261072 markings, 817140 edges, 2117 markings/sec, 120 secs
lola: 271620 markings, 849328 edges, 2110 markings/sec, 125 secs
lola: 282144 markings, 881035 edges, 2105 markings/sec, 130 secs
lola: 292690 markings, 912480 edges, 2109 markings/sec, 135 secs
lola: 303269 markings, 944057 edges, 2116 markings/sec, 140 secs
lola: 313817 markings, 975829 edges, 2110 markings/sec, 145 secs
lola: 324391 markings, 1007375 edges, 2115 markings/sec, 150 secs
lola: 334941 markings, 1038832 edges, 2110 markings/sec, 155 secs
lola: 345463 markings, 1070495 edges, 2104 markings/sec, 160 secs
lola: 356000 markings, 1102253 edges, 2107 markings/sec, 165 secs
lola: 366522 markings, 1133758 edges, 2104 markings/sec, 170 secs
lola: 377069 markings, 1165484 edges, 2109 markings/sec, 175 secs
lola: 387585 markings, 1198125 edges, 2103 markings/sec, 180 secs
lola: 398069 markings, 1232042 edges, 2097 markings/sec, 185 secs
lola: 408562 markings, 1264963 edges, 2099 markings/sec, 190 secs
lola: 419043 markings, 1296540 edges, 2096 markings/sec, 195 secs
lola: 429520 markings, 1328946 edges, 2095 markings/sec, 200 secs
lola: 439981 markings, 1362180 edges, 2092 markings/sec, 205 secs
lola: 450428 markings, 1395301 edges, 2089 markings/sec, 210 secs
lola: 460882 markings, 1428964 edges, 2091 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: 185916 KB
lola: time consumption: 896 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__28_15_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__28_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: 100
lola: 8169 markings, 28678 edges, 1634 markings/sec, 0 secs
lola: 18256 markings, 63560 edges, 2017 markings/sec, 5 secs
lola: 28355 markings, 99791 edges, 2020 markings/sec, 10 secs
lola: 38454 markings, 134634 edges, 2020 markings/sec, 15 secs
lola: 48504 markings, 169246 edges, 2010 markings/sec, 20 secs
lola: 58777 markings, 204706 edges, 2055 markings/sec, 25 secs
lola: 69060 markings, 236748 edges, 2057 markings/sec, 30 secs
lola: 79301 markings, 270110 edges, 2048 markings/sec, 35 secs
lola: 89256 markings, 302504 edges, 1991 markings/sec, 40 secs
lola: 99241 markings, 336707 edges, 1997 markings/sec, 45 secs
lola: 109395 markings, 373692 edges, 2031 markings/sec, 50 secs
lola: 119595 markings, 408870 edges, 2040 markings/sec, 55 secs
lola: 129919 markings, 440034 edges, 2065 markings/sec, 60 secs
lola: 140165 markings, 472960 edges, 2049 markings/sec, 65 secs
lola: 150281 markings, 506343 edges, 2023 markings/sec, 70 secs
lola: 160567 markings, 538044 edges, 2057 markings/sec, 75 secs
lola: 170684 markings, 571850 edges, 2023 markings/sec, 80 secs
lola: 180511 markings, 603959 edges, 1965 markings/sec, 85 secs
lola: 190499 markings, 634978 edges, 1998 markings/sec, 90 secs
lola: 200690 markings, 664002 edges, 2038 markings/sec, 95 secs
lola: 210957 markings, 696217 edges, 2053 markings/sec, 100 secs
lola: 221252 markings, 726977 edges, 2059 markings/sec, 105 secs
lola: 231522 markings, 758807 edges, 2054 markings/sec, 110 secs
lola: 241882 markings, 788105 edges, 2072 markings/sec, 115 secs
lola: 252182 markings, 819535 edges, 2060 markings/sec, 120 secs
lola: 262502 markings, 850947 edges, 2064 markings/sec, 125 secs
lola: 272858 markings, 882075 edges, 2071 markings/sec, 130 secs
lola: 283176 markings, 914451 edges, 2064 markings/sec, 135 secs
lola: 293552 markings, 943985 edges, 2075 markings/sec, 140 secs
lola: 303866 markings, 975760 edges, 2063 markings/sec, 145 secs
lola: 314205 markings, 1006645 edges, 2068 markings/sec, 150 secs
lola: 324481 markings, 1040072 edges, 2055 markings/sec, 155 secs
lola: 334773 markings, 1072265 edges, 2058 markings/sec, 160 secs
lola: 345053 markings, 1105526 edges, 2056 markings/sec, 165 secs
lola: 355387 markings, 1136077 edges, 2067 markings/sec, 170 secs
lola: 365681 markings, 1166808 edges, 2059 markings/sec, 175 secs
lola: 375851 markings, 1199695 edges, 2034 markings/sec, 180 secs
lola: 385944 markings, 1231712 edges, 2019 markings/sec, 185 secs
lola: 396195 markings, 1263909 edges, 2050 markings/sec, 190 secs
lola: 406442 markings, 1296673 edges, 2049 markings/sec, 195 secs
lola: 416552 markings, 1329539 edges, 2022 markings/sec, 200 secs
lola: 426790 markings, 1360564 edges, 2048 markings/sec, 205 secs
lola: 437012 markings, 1393015 edges, 2044 markings/sec, 210 secs
lola: 447220 markings, 1426419 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: 179708 KB
lola: time consumption: 1118 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 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__22_7_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__22_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: 100
lola: 8321 markings, 28972 edges, 1664 markings/sec, 0 secs
lola: 18282 markings, 60484 edges, 1992 markings/sec, 5 secs
lola: 28133 markings, 92781 edges, 1970 markings/sec, 10 secs
lola: 38190 markings, 126999 edges, 2011 markings/sec, 15 secs
lola: 48254 markings, 161525 edges, 2013 markings/sec, 20 secs
lola: 58238 markings, 193458 edges, 1997 markings/sec, 25 secs
lola: 68321 markings, 227196 edges, 2017 markings/sec, 30 secs
lola: 78411 markings, 260392 edges, 2018 markings/sec, 35 secs
lola: 88492 markings, 292683 edges, 2016 markings/sec, 40 secs
lola: 98617 markings, 323136 edges, 2025 markings/sec, 45 secs
lola: 108727 markings, 353648 edges, 2022 markings/sec, 50 secs
lola: 118781 markings, 385450 edges, 2011 markings/sec, 55 secs
lola: 128860 markings, 417563 edges, 2016 markings/sec, 60 secs
lola: 138915 markings, 450326 edges, 2011 markings/sec, 65 secs
lola: 148959 markings, 483267 edges, 2009 markings/sec, 70 secs
lola: 158742 markings, 512097 edges, 1957 markings/sec, 75 secs
lola: 168732 markings, 542199 edges, 1998 markings/sec, 80 secs
lola: 178624 markings, 574289 edges, 1978 markings/sec, 85 secs
lola: 188380 markings, 604374 edges, 1951 markings/sec, 90 secs
lola: 197868 markings, 633249 edges, 1898 markings/sec, 95 secs
lola: 207825 markings, 663574 edges, 1991 markings/sec, 100 secs
lola: 217554 markings, 693134 edges, 1946 markings/sec, 105 secs
lola: 227412 markings, 723497 edges, 1972 markings/sec, 110 secs
lola: 237406 markings, 754545 edges, 1999 markings/sec, 115 secs
lola: 247337 markings, 784609 edges, 1986 markings/sec, 120 secs
lola: 257299 markings, 814805 edges, 1992 markings/sec, 125 secs
lola: 267109 markings, 844065 edges, 1962 markings/sec, 130 secs
lola: 277205 markings, 875536 edges, 2019 markings/sec, 135 secs
lola: 287317 markings, 906371 edges, 2022 markings/sec, 140 secs
lola: 297377 markings, 939352 edges, 2012 markings/sec, 145 secs
lola: 307448 markings, 972210 edges, 2014 markings/sec, 150 secs
lola: 317538 markings, 1003002 edges, 2018 markings/sec, 155 secs
lola: 327603 markings, 1034548 edges, 2013 markings/sec, 160 secs
lola: 337668 markings, 1065823 edges, 2013 markings/sec, 165 secs
lola: 347774 markings, 1095869 edges, 2021 markings/sec, 170 secs
lola: 357884 markings, 1126558 edges, 2022 markings/sec, 175 secs
lola: 367968 markings, 1157330 edges, 2017 markings/sec, 180 secs
lola: 378037 markings, 1188874 edges, 2014 markings/sec, 185 secs
lola: 388104 markings, 1220041 edges, 2013 markings/sec, 190 secs
lola: 398133 markings, 1252329 edges, 2006 markings/sec, 195 secs
lola: 408222 markings, 1282675 edges, 2018 markings/sec, 200 secs
lola: 418314 markings, 1312383 edges, 2018 markings/sec, 205 secs
lola: 428400 markings, 1342519 edges, 2017 markings/sec, 210 secs
lola: 438484 markings, 1373105 edges, 2017 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: 209976 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__9_6_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__9_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: 100
lola: 8518 markings, 27641 edges, 1704 markings/sec, 0 secs
lola: 18776 markings, 63215 edges, 2052 markings/sec, 5 secs
lola: 28970 markings, 100390 edges, 2039 markings/sec, 10 secs
lola: 39191 markings, 136424 edges, 2044 markings/sec, 15 secs
lola: 49429 markings, 171408 edges, 2048 markings/sec, 20 secs
lola: 59645 markings, 208317 edges, 2043 markings/sec, 25 secs
lola: 69940 markings, 242944 edges, 2059 markings/sec, 30 secs
lola: 80142 markings, 278934 edges, 2040 markings/sec, 35 secs
lola: 90408 markings, 312644 edges, 2053 markings/sec, 40 secs
lola: 100596 markings, 348770 edges, 2038 markings/sec, 45 secs
lola: 110775 markings, 384164 edges, 2036 markings/sec, 50 secs
lola: 121000 markings, 418494 edges, 2045 markings/sec, 55 secs
lola: 131136 markings, 456116 edges, 2027 markings/sec, 60 secs
lola: 141404 markings, 488874 edges, 2054 markings/sec, 65 secs
lola: 151623 markings, 522752 edges, 2044 markings/sec, 70 secs
lola: 161939 markings, 553727 edges, 2063 markings/sec, 75 secs
lola: 172216 markings, 585647 edges, 2055 markings/sec, 80 secs
lola: 182479 markings, 617891 edges, 2053 markings/sec, 85 secs
lola: 192737 markings, 650523 edges, 2052 markings/sec, 90 secs
lola: 202953 markings, 684714 edges, 2043 markings/sec, 95 secs
lola: 213178 markings, 718035 edges, 2045 markings/sec, 100 secs
lola: 223330 markings, 752854 edges, 2030 markings/sec, 105 secs
lola: 233468 markings, 788282 edges, 2028 markings/sec, 110 secs
lola: 243677 markings, 823363 edges, 2042 markings/sec, 115 secs
lola: 253859 markings, 858532 edges, 2036 markings/sec, 120 secs
lola: 264111 markings, 891976 edges, 2050 markings/sec, 125 secs
lola: 274361 markings, 926453 edges, 2050 markings/sec, 130 secs
lola: 284536 markings, 960873 edges, 2035 markings/sec, 135 secs
lola: 294683 markings, 996317 edges, 2029 markings/sec, 140 secs
lola: 304815 markings, 1030351 edges, 2026 markings/sec, 145 secs
lola: 314955 markings, 1063250 edges, 2028 markings/sec, 150 secs
lola: 325038 markings, 1100100 edges, 2017 markings/sec, 155 secs
lola: 335188 markings, 1135636 edges, 2030 markings/sec, 160 secs
lola: 345285 markings, 1170585 edges, 2019 markings/sec, 165 secs
lola: 355392 markings, 1203584 edges, 2021 markings/sec, 170 secs
lola: 365461 markings, 1239221 edges, 2014 markings/sec, 175 secs
lola: 375564 markings, 1274760 edges, 2021 markings/sec, 180 secs
lola: 385663 markings, 1309821 edges, 2020 markings/sec, 185 secs
lola: 395742 markings, 1346185 edges, 2016 markings/sec, 190 secs
lola: 405838 markings, 1382637 edges, 2019 markings/sec, 195 secs
lola: 415952 markings, 1419942 edges, 2023 markings/sec, 200 secs
lola: 426150 markings, 1453312 edges, 2040 markings/sec, 205 secs
lola: 436432 markings, 1484363 edges, 2056 markings/sec, 210 secs
lola: 446693 markings, 1516094 edges, 2052 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: 214684 KB
lola: time consumption: 1564 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 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__4_6_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__4_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: 100
lola: 8673 markings, 30232 edges, 1735 markings/sec, 0 secs
lola: 18852 markings, 62857 edges, 2036 markings/sec, 5 secs
lola: 29242 markings, 98189 edges, 2078 markings/sec, 10 secs
lola: 39734 markings, 131403 edges, 2098 markings/sec, 15 secs
lola: 50257 markings, 162540 edges, 2105 markings/sec, 20 secs
lola: 60780 markings, 193382 edges, 2105 markings/sec, 25 secs
lola: 71223 markings, 227146 edges, 2089 markings/sec, 30 secs
lola: 81649 markings, 261503 edges, 2085 markings/sec, 35 secs
lola: 92217 markings, 292788 edges, 2114 markings/sec, 40 secs
lola: 102747 markings, 323581 edges, 2106 markings/sec, 45 secs
lola: 113227 markings, 355799 edges, 2096 markings/sec, 50 secs
lola: 123681 markings, 389139 edges, 2091 markings/sec, 55 secs
lola: 134148 markings, 421790 edges, 2093 markings/sec, 60 secs
lola: 144625 markings, 453673 edges, 2095 markings/sec, 65 secs
lola: 155145 markings, 485272 edges, 2104 markings/sec, 70 secs
lola: 165642 markings, 517400 edges, 2099 markings/sec, 75 secs
lola: 176099 markings, 550930 edges, 2091 markings/sec, 80 secs
lola: 186640 markings, 582586 edges, 2108 markings/sec, 85 secs
lola: 197232 markings, 613336 edges, 2118 markings/sec, 90 secs
lola: 207711 markings, 648262 edges, 2096 markings/sec, 95 secs
lola: 218212 markings, 681570 edges, 2100 markings/sec, 100 secs
lola: 228657 markings, 712475 edges, 2089 markings/sec, 105 secs
lola: 239097 markings, 742858 edges, 2088 markings/sec, 110 secs
lola: 249561 markings, 770945 edges, 2093 markings/sec, 115 secs
lola: 260051 markings, 799171 edges, 2098 markings/sec, 120 secs
lola: 270444 markings, 828696 edges, 2079 markings/sec, 125 secs
lola: 280793 markings, 861303 edges, 2070 markings/sec, 130 secs
lola: 291166 markings, 894542 edges, 2075 markings/sec, 135 secs
lola: 301541 markings, 926583 edges, 2075 markings/sec, 140 secs
lola: 311912 markings, 959691 edges, 2074 markings/sec, 145 secs
lola: 322291 markings, 991553 edges, 2076 markings/sec, 150 secs
lola: 332565 markings, 1026971 edges, 2055 markings/sec, 155 secs
lola: 342886 markings, 1059788 edges, 2064 markings/sec, 160 secs
lola: 353220 markings, 1091254 edges, 2067 markings/sec, 165 secs
lola: 363515 markings, 1123573 edges, 2059 markings/sec, 170 secs
lola: 373767 markings, 1157860 edges, 2050 markings/sec, 175 secs
lola: 384066 markings, 1190478 edges, 2060 markings/sec, 180 secs
lola: 394507 markings, 1220787 edges, 2088 markings/sec, 185 secs
lola: 404841 markings, 1254601 edges, 2067 markings/sec, 190 secs
lola: 415067 markings, 1291578 edges, 2045 markings/sec, 195 secs
lola: 425493 markings, 1323541 edges, 2085 markings/sec, 200 secs
lola: 435949 markings, 1355643 edges, 2091 markings/sec, 205 secs
lola: 446322 markings, 1388117 edges, 2075 markings/sec, 210 secs
lola: 456715 markings, 1418649 edges, 2079 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: 186832 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 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__1_12_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__1_12_)
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: 100
lola: 8022 markings, 26679 edges, 1604 markings/sec, 0 secs
lola: 18349 markings, 57972 edges, 2065 markings/sec, 5 secs
lola: 28506 markings, 88936 edges, 2031 markings/sec, 10 secs
lola: 38870 markings, 121804 edges, 2073 markings/sec, 15 secs
lola: 48979 markings, 153242 edges, 2022 markings/sec, 20 secs
lola: 59380 markings, 185008 edges, 2080 markings/sec, 25 secs
lola: 69728 markings, 216328 edges, 2070 markings/sec, 30 secs
lola: 80146 markings, 247346 edges, 2084 markings/sec, 35 secs
lola: 90566 markings, 277185 edges, 2084 markings/sec, 40 secs
lola: 100914 markings, 308777 edges, 2070 markings/sec, 45 secs
lola: 111196 markings, 339098 edges, 2056 markings/sec, 50 secs
lola: 121480 markings, 370452 edges, 2057 markings/sec, 55 secs
lola: 131773 markings, 403938 edges, 2059 markings/sec, 60 secs
lola: 142179 markings, 434601 edges, 2081 markings/sec, 65 secs
lola: 152570 markings, 465039 edges, 2078 markings/sec, 70 secs
lola: 162655 markings, 494772 edges, 2017 markings/sec, 75 secs
lola: 172325 markings, 522890 edges, 1934 markings/sec, 80 secs
lola: 181874 markings, 552494 edges, 1910 markings/sec, 85 secs
lola: 192079 markings, 583052 edges, 2041 markings/sec, 90 secs
lola: 202517 markings, 613414 edges, 2088 markings/sec, 95 secs
lola: 212923 markings, 643968 edges, 2081 markings/sec, 100 secs
lola: 223345 markings, 674847 edges, 2084 markings/sec, 105 secs
lola: 233711 markings, 704400 edges, 2073 markings/sec, 110 secs
lola: 244062 markings, 734361 edges, 2070 markings/sec, 115 secs
lola: 254438 markings, 764459 edges, 2075 markings/sec, 120 secs
lola: 264813 markings, 795047 edges, 2075 markings/sec, 125 secs
lola: 275196 markings, 825336 edges, 2077 markings/sec, 130 secs
lola: 285535 markings, 857461 edges, 2068 markings/sec, 135 secs
lola: 295732 markings, 887822 edges, 2039 markings/sec, 140 secs
lola: 306049 markings, 917734 edges, 2063 markings/sec, 145 secs
lola: 316323 markings, 947971 edges, 2055 markings/sec, 150 secs
lola: 326538 markings, 978390 edges, 2043 markings/sec, 155 secs
lola: 336862 markings, 1007689 edges, 2065 markings/sec, 160 secs
lola: 347186 markings, 1037548 edges, 2065 markings/sec, 165 secs
lola: 357460 markings, 1067387 edges, 2055 markings/sec, 170 secs
lola: 367729 markings, 1097684 edges, 2054 markings/sec, 175 secs
lola: 378015 markings, 1127751 edges, 2057 markings/sec, 180 secs
lola: 387999 markings, 1158628 edges, 1997 markings/sec, 185 secs
lola: 398294 markings, 1189395 edges, 2059 markings/sec, 190 secs
lola: 408630 markings, 1219464 edges, 2067 markings/sec, 195 secs
lola: 418936 markings, 1249728 edges, 2061 markings/sec, 200 secs
lola: 429281 markings, 1280369 edges, 2069 markings/sec, 205 secs
lola: 439677 markings, 1310076 edges, 2079 markings/sec, 210 secs
lola: 450083 markings, 1340162 edges, 2081 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: 183464 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__4_18_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__4_18_)
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: 100
lola: 8365 markings, 30132 edges, 1673 markings/sec, 0 secs
lola: 18381 markings, 63922 edges, 2003 markings/sec, 5 secs
lola: 28522 markings, 99109 edges, 2028 markings/sec, 10 secs
lola: 38683 markings, 134296 edges, 2032 markings/sec, 15 secs
lola: 48842 markings, 169893 edges, 2032 markings/sec, 20 secs
lola: 58996 markings, 205080 edges, 2031 markings/sec, 25 secs
lola: 69119 markings, 239886 edges, 2025 markings/sec, 30 secs
lola: 79256 markings, 274248 edges, 2027 markings/sec, 35 secs
lola: 89376 markings, 308761 edges, 2024 markings/sec, 40 secs
lola: 99511 markings, 343524 edges, 2027 markings/sec, 45 secs
lola: 109668 markings, 378773 edges, 2031 markings/sec, 50 secs
lola: 119826 markings, 413153 edges, 2032 markings/sec, 55 secs
lola: 130003 markings, 446118 edges, 2035 markings/sec, 60 secs
lola: 140181 markings, 478815 edges, 2036 markings/sec, 65 secs
lola: 150288 markings, 514158 edges, 2021 markings/sec, 70 secs
lola: 160392 markings, 549044 edges, 2021 markings/sec, 75 secs
lola: 170514 markings, 583797 edges, 2024 markings/sec, 80 secs
lola: 180673 markings, 617856 edges, 2032 markings/sec, 85 secs
lola: 190840 markings, 651448 edges, 2033 markings/sec, 90 secs
lola: 201024 markings, 684539 edges, 2037 markings/sec, 95 secs
lola: 211135 markings, 719889 edges, 2022 markings/sec, 100 secs
lola: 221271 markings, 754796 edges, 2027 markings/sec, 105 secs
lola: 231429 markings, 789619 edges, 2032 markings/sec, 110 secs
lola: 241606 markings, 823754 edges, 2035 markings/sec, 115 secs
lola: 251808 markings, 856805 edges, 2040 markings/sec, 120 secs
lola: 261927 markings, 892982 edges, 2024 markings/sec, 125 secs
lola: 272055 markings, 928764 edges, 2026 markings/sec, 130 secs
lola: 282219 markings, 963571 edges, 2033 markings/sec, 135 secs
lola: 292268 markings, 1002435 edges, 2010 markings/sec, 140 secs
lola: 302367 markings, 1034479 edges, 2020 markings/sec, 145 secs
lola: 312438 markings, 1068802 edges, 2014 markings/sec, 150 secs
lola: 322491 markings, 1103832 edges, 2011 markings/sec, 155 secs
lola: 332580 markings, 1138122 edges, 2018 markings/sec, 160 secs
lola: 342640 markings, 1172105 edges, 2012 markings/sec, 165 secs
lola: 352717 markings, 1203724 edges, 2015 markings/sec, 170 secs
lola: 362705 markings, 1238374 edges, 1998 markings/sec, 175 secs
lola: 372717 markings, 1271241 edges, 2002 markings/sec, 180 secs
lola: 382650 markings, 1307790 edges, 1987 markings/sec, 185 secs
lola: 392597 markings, 1344214 edges, 1989 markings/sec, 190 secs
lola: 402626 markings, 1379078 edges, 2006 markings/sec, 195 secs
lola: 412649 markings, 1412701 edges, 2005 markings/sec, 200 secs
lola: 422610 markings, 1449365 edges, 1992 markings/sec, 205 secs
lola: 432715 markings, 1480815 edges, 2021 markings/sec, 210 secs
lola: 442748 markings, 1514865 edges, 2007 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: 192856 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__24_9_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__24_9_)
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: 100
lola: 8170 markings, 29341 edges, 1634 markings/sec, 0 secs
lola: 18160 markings, 62001 edges, 1998 markings/sec, 5 secs
lola: 28105 markings, 95926 edges, 1989 markings/sec, 10 secs
lola: 37999 markings, 129794 edges, 1979 markings/sec, 15 secs
lola: 47821 markings, 163687 edges, 1964 markings/sec, 20 secs
lola: 57802 markings, 193399 edges, 1996 markings/sec, 25 secs
lola: 67861 markings, 225126 edges, 2012 markings/sec, 30 secs
lola: 77864 markings, 258827 edges, 2001 markings/sec, 35 secs
lola: 87790 markings, 290427 edges, 1985 markings/sec, 40 secs
lola: 97869 markings, 324555 edges, 2016 markings/sec, 45 secs
lola: 107908 markings, 358595 edges, 2008 markings/sec, 50 secs
lola: 117950 markings, 392300 edges, 2008 markings/sec, 55 secs
lola: 127987 markings, 426241 edges, 2007 markings/sec, 60 secs
lola: 137922 markings, 462432 edges, 1987 markings/sec, 65 secs
lola: 147856 markings, 498091 edges, 1987 markings/sec, 70 secs
lola: 157876 markings, 530892 edges, 2004 markings/sec, 75 secs
lola: 167834 markings, 565506 edges, 1992 markings/sec, 80 secs
lola: 177774 markings, 601688 edges, 1988 markings/sec, 85 secs
lola: 187698 markings, 637150 edges, 1985 markings/sec, 90 secs
lola: 197720 markings, 673774 edges, 2004 markings/sec, 95 secs
lola: 207800 markings, 707038 edges, 2016 markings/sec, 100 secs
lola: 217861 markings, 740764 edges, 2012 markings/sec, 105 secs
lola: 227869 markings, 776227 edges, 2002 markings/sec, 110 secs
lola: 237792 markings, 814028 edges, 1985 markings/sec, 115 secs
lola: 247849 markings, 848876 edges, 2011 markings/sec, 120 secs
lola: 257920 markings, 883322 edges, 2014 markings/sec, 125 secs
lola: 267684 markings, 917191 edges, 1953 markings/sec, 130 secs
lola: 277581 markings, 952464 edges, 1979 markings/sec, 135 secs
lola: 287356 markings, 986335 edges, 1955 markings/sec, 140 secs
lola: 297325 markings, 1022403 edges, 1994 markings/sec, 145 secs
lola: 307261 markings, 1059561 edges, 1987 markings/sec, 150 secs
lola: 317152 markings, 1092530 edges, 1978 markings/sec, 155 secs
lola: 326976 markings, 1125719 edges, 1965 markings/sec, 160 secs
lola: 336919 markings, 1161254 edges, 1989 markings/sec, 165 secs
lola: 346998 markings, 1193096 edges, 2016 markings/sec, 170 secs
lola: 356966 markings, 1225073 edges, 1994 markings/sec, 175 secs
lola: 366817 markings, 1256248 edges, 1970 markings/sec, 180 secs
lola: 376792 markings, 1289438 edges, 1995 markings/sec, 185 secs
lola: 386701 markings, 1323064 edges, 1982 markings/sec, 190 secs
lola: 396753 markings, 1357222 edges, 2010 markings/sec, 195 secs
lola: 406763 markings, 1393033 edges, 2002 markings/sec, 200 secs
lola: 416717 markings, 1425949 edges, 1991 markings/sec, 205 secs
lola: 426674 markings, 1460880 edges, 1991 markings/sec, 210 secs
lola: 436676 markings, 1496794 edges, 2000 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: 196024 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__1_21_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__1_21_)
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: 100
lola: 8651 markings, 25887 edges, 1730 markings/sec, 0 secs
lola: 19027 markings, 57283 edges, 2075 markings/sec, 5 secs
lola: 29241 markings, 89085 edges, 2043 markings/sec, 10 secs
lola: 39574 markings, 120535 edges, 2067 markings/sec, 15 secs
lola: 49933 markings, 152072 edges, 2072 markings/sec, 20 secs
lola: 60283 markings, 184082 edges, 2070 markings/sec, 25 secs
lola: 70657 markings, 215366 edges, 2075 markings/sec, 30 secs
lola: 81051 markings, 247247 edges, 2079 markings/sec, 35 secs
lola: 91445 markings, 276619 edges, 2079 markings/sec, 40 secs
lola: 101860 markings, 306449 edges, 2083 markings/sec, 45 secs
lola: 112263 markings, 336204 edges, 2081 markings/sec, 50 secs
lola: 122664 markings, 365674 edges, 2080 markings/sec, 55 secs
lola: 133076 markings, 395372 edges, 2082 markings/sec, 60 secs
lola: 143477 markings, 425136 edges, 2080 markings/sec, 65 secs
lola: 153890 markings, 454759 edges, 2083 markings/sec, 70 secs
lola: 164303 markings, 484308 edges, 2083 markings/sec, 75 secs
lola: 174708 markings, 513563 edges, 2081 markings/sec, 80 secs
lola: 185113 markings, 542487 edges, 2081 markings/sec, 85 secs
lola: 195506 markings, 572542 edges, 2079 markings/sec, 90 secs
lola: 205897 markings, 602426 edges, 2078 markings/sec, 95 secs
lola: 216307 markings, 631471 edges, 2082 markings/sec, 100 secs
lola: 226688 markings, 661212 edges, 2076 markings/sec, 105 secs
lola: 237050 markings, 691425 edges, 2072 markings/sec, 110 secs
lola: 247433 markings, 720652 edges, 2077 markings/sec, 115 secs
lola: 257839 markings, 750044 edges, 2081 markings/sec, 120 secs
lola: 268190 markings, 780324 edges, 2070 markings/sec, 125 secs
lola: 278615 markings, 810528 edges, 2085 markings/sec, 130 secs
lola: 288983 markings, 841290 edges, 2074 markings/sec, 135 secs
lola: 299176 markings, 870846 edges, 2039 markings/sec, 140 secs
lola: 309557 markings, 900716 edges, 2076 markings/sec, 145 secs
lola: 319854 markings, 930480 edges, 2059 markings/sec, 150 secs
lola: 330273 markings, 960097 edges, 2084 markings/sec, 155 secs
lola: 340680 markings, 990150 edges, 2081 markings/sec, 160 secs
lola: 351100 markings, 1019642 edges, 2084 markings/sec, 165 secs
lola: 361491 markings, 1050129 edges, 2078 markings/sec, 170 secs
lola: 371827 markings, 1080337 edges, 2067 markings/sec, 175 secs
lola: 382122 markings, 1109762 edges, 2059 markings/sec, 180 secs
lola: 392357 markings, 1139964 edges, 2047 markings/sec, 185 secs
lola: 402636 markings, 1169535 edges, 2056 markings/sec, 190 secs
lola: 412908 markings, 1198922 edges, 2054 markings/sec, 195 secs
lola: 423193 markings, 1227917 edges, 2057 markings/sec, 200 secs
lola: 433471 markings, 1257523 edges, 2056 markings/sec, 205 secs
lola: 443741 markings, 1287301 edges, 2054 markings/sec, 210 secs
lola: 454005 markings, 1317351 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: 189700 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__29_22_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__29_22_)
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: 100
lola: 8468 markings, 29398 edges, 1694 markings/sec, 0 secs
lola: 18589 markings, 65375 edges, 2024 markings/sec, 5 secs
lola: 28700 markings, 101157 edges, 2022 markings/sec, 10 secs
lola: 38836 markings, 136609 edges, 2027 markings/sec, 15 secs
lola: 48953 markings, 172242 edges, 2023 markings/sec, 20 secs
lola: 59098 markings, 207680 edges, 2029 markings/sec, 25 secs
lola: 69207 markings, 243181 edges, 2022 markings/sec, 30 secs
lola: 79282 markings, 280125 edges, 2015 markings/sec, 35 secs
lola: 89343 markings, 318215 edges, 2012 markings/sec, 40 secs
lola: 99432 markings, 354602 edges, 2018 markings/sec, 45 secs
lola: 109562 markings, 390728 edges, 2026 markings/sec, 50 secs
lola: 119690 markings, 428095 edges, 2026 markings/sec, 55 secs
lola: 129853 markings, 463690 edges, 2033 markings/sec, 60 secs
lola: 139965 markings, 501494 edges, 2022 markings/sec, 65 secs
lola: 150084 markings, 538539 edges, 2024 markings/sec, 70 secs
lola: 160243 markings, 574157 edges, 2032 markings/sec, 75 secs
lola: 170393 markings, 610751 edges, 2030 markings/sec, 80 secs
lola: 180477 markings, 647883 edges, 2017 markings/sec, 85 secs
lola: 190546 markings, 683994 edges, 2014 markings/sec, 90 secs
lola: 200696 markings, 720166 edges, 2030 markings/sec, 95 secs
lola: 210926 markings, 757133 edges, 2046 markings/sec, 100 secs
lola: 221127 markings, 795335 edges, 2040 markings/sec, 105 secs
lola: 231380 markings, 831733 edges, 2051 markings/sec, 110 secs
lola: 241629 markings, 868462 edges, 2050 markings/sec, 115 secs
lola: 251832 markings, 907038 edges, 2041 markings/sec, 120 secs
lola: 262043 markings, 943638 edges, 2042 markings/sec, 125 secs
lola: 272212 markings, 982069 edges, 2034 markings/sec, 130 secs
lola: 282421 markings, 1020079 edges, 2042 markings/sec, 135 secs
lola: 292632 markings, 1056523 edges, 2042 markings/sec, 140 secs
lola: 302842 markings, 1092632 edges, 2042 markings/sec, 145 secs
lola: 313036 markings, 1129561 edges, 2039 markings/sec, 150 secs
lola: 323208 markings, 1166880 edges, 2034 markings/sec, 155 secs
lola: 333383 markings, 1203243 edges, 2035 markings/sec, 160 secs
lola: 343556 markings, 1239695 edges, 2035 markings/sec, 165 secs
lola: 353666 markings, 1279069 edges, 2022 markings/sec, 170 secs
lola: 363807 markings, 1317210 edges, 2028 markings/sec, 175 secs
lola: 373983 markings, 1354683 edges, 2035 markings/sec, 180 secs
lola: 384167 markings, 1392527 edges, 2037 markings/sec, 185 secs
lola: 394277 markings, 1432184 edges, 2022 markings/sec, 190 secs
lola: 404436 markings, 1470792 edges, 2032 markings/sec, 195 secs
lola: 414611 markings, 1508350 edges, 2035 markings/sec, 200 secs
lola: 424753 markings, 1544570 edges, 2028 markings/sec, 205 secs
lola: 434915 markings, 1582876 edges, 2032 markings/sec, 210 secs
lola: 444997 markings, 1620680 edges, 2016 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: 177432 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__29_22_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__29_22_)
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: 100
lola: 8404 markings, 29176 edges, 1681 markings/sec, 0 secs
lola: 18597 markings, 65404 edges, 2039 markings/sec, 5 secs
lola: 28769 markings, 101414 edges, 2034 markings/sec, 10 secs
lola: 38977 markings, 137095 edges, 2042 markings/sec, 15 secs
lola: 49153 markings, 172925 edges, 2035 markings/sec, 20 secs
lola: 59345 markings, 208620 edges, 2038 markings/sec, 25 secs
lola: 69529 markings, 244426 edges, 2037 markings/sec, 30 secs
lola: 79665 markings, 281507 edges, 2027 markings/sec, 35 secs
lola: 89820 markings, 319767 edges, 2031 markings/sec, 40 secs
lola: 99970 markings, 356394 edges, 2030 markings/sec, 45 secs
lola: 110179 markings, 392760 edges, 2042 markings/sec, 50 secs
lola: 120375 markings, 430355 edges, 2039 markings/sec, 55 secs
lola: 130604 markings, 466172 edges, 2046 markings/sec, 60 secs
lola: 140833 markings, 504440 edges, 2046 markings/sec, 65 secs
lola: 151061 markings, 542243 edges, 2046 markings/sec, 70 secs
lola: 161278 markings, 577834 edges, 2043 markings/sec, 75 secs
lola: 171405 markings, 614527 edges, 2025 markings/sec, 80 secs
lola: 181324 markings, 651244 edges, 1984 markings/sec, 85 secs
lola: 191398 markings, 686794 edges, 2015 markings/sec, 90 secs
lola: 201379 markings, 722933 edges, 1996 markings/sec, 95 secs
lola: 211381 markings, 758825 edges, 2000 markings/sec, 100 secs
lola: 221435 markings, 796256 edges, 2011 markings/sec, 105 secs
lola: 231657 markings, 832730 edges, 2044 markings/sec, 110 secs
lola: 241937 markings, 869469 edges, 2056 markings/sec, 115 secs
lola: 252153 markings, 908310 edges, 2043 markings/sec, 120 secs
lola: 262395 markings, 944929 edges, 2048 markings/sec, 125 secs
lola: 272573 markings, 983534 edges, 2036 markings/sec, 130 secs
lola: 282798 markings, 1021426 edges, 2045 markings/sec, 135 secs
lola: 293035 markings, 1057775 edges, 2047 markings/sec, 140 secs
lola: 303265 markings, 1094448 edges, 2046 markings/sec, 145 secs
lola: 313490 markings, 1131066 edges, 2045 markings/sec, 150 secs
lola: 323685 markings, 1168503 edges, 2039 markings/sec, 155 secs
lola: 333883 markings, 1204945 edges, 2040 markings/sec, 160 secs
lola: 344064 markings, 1241937 edges, 2036 markings/sec, 165 secs
lola: 354188 markings, 1280970 edges, 2025 markings/sec, 170 secs
lola: 364353 markings, 1319093 edges, 2033 markings/sec, 175 secs
lola: 374542 markings, 1356926 edges, 2038 markings/sec, 180 secs
lola: 384740 markings, 1395000 edges, 2040 markings/sec, 185 secs
lola: 394879 markings, 1434488 edges, 2028 markings/sec, 190 secs
lola: 405054 markings, 1473213 edges, 2035 markings/sec, 195 secs
lola: 415266 markings, 1510483 edges, 2042 markings/sec, 200 secs
lola: 425443 markings, 1547007 edges, 2035 markings/sec, 205 secs
lola: 435627 markings, 1586053 edges, 2037 markings/sec, 210 secs
lola: 445840 markings, 1623683 edges, 2043 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: 177692 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__22_10_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__22_10_)
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: 100
lola: 8420 markings, 28480 edges, 1684 markings/sec, 0 secs
lola: 18455 markings, 65024 edges, 2007 markings/sec, 5 secs
lola: 28491 markings, 101143 edges, 2007 markings/sec, 10 secs
lola: 38577 markings, 135373 edges, 2017 markings/sec, 15 secs
lola: 48680 markings, 168517 edges, 2021 markings/sec, 20 secs
lola: 58764 markings, 202009 edges, 2017 markings/sec, 25 secs
lola: 68814 markings, 236388 edges, 2010 markings/sec, 30 secs
lola: 78874 markings, 269349 edges, 2012 markings/sec, 35 secs
lola: 88951 markings, 302734 edges, 2015 markings/sec, 40 secs
lola: 99000 markings, 336454 edges, 2010 markings/sec, 45 secs
lola: 109080 markings, 370028 edges, 2016 markings/sec, 50 secs
lola: 119111 markings, 404833 edges, 2006 markings/sec, 55 secs
lola: 129162 markings, 439723 edges, 2010 markings/sec, 60 secs
lola: 139237 markings, 472969 edges, 2015 markings/sec, 65 secs
lola: 149344 markings, 506197 edges, 2021 markings/sec, 70 secs
lola: 159423 markings, 539673 edges, 2016 markings/sec, 75 secs
lola: 169508 markings, 573001 edges, 2017 markings/sec, 80 secs
lola: 179554 markings, 608565 edges, 2009 markings/sec, 85 secs
lola: 189611 markings, 642996 edges, 2011 markings/sec, 90 secs
lola: 199659 markings, 677861 edges, 2010 markings/sec, 95 secs
lola: 209700 markings, 713079 edges, 2008 markings/sec, 100 secs
lola: 219780 markings, 747961 edges, 2016 markings/sec, 105 secs
lola: 229829 markings, 782673 edges, 2010 markings/sec, 110 secs
lola: 239929 markings, 814604 edges, 2020 markings/sec, 115 secs
lola: 250011 markings, 848537 edges, 2016 markings/sec, 120 secs
lola: 260078 markings, 882675 edges, 2013 markings/sec, 125 secs
lola: 270153 markings, 915947 edges, 2015 markings/sec, 130 secs
lola: 280212 markings, 949218 edges, 2012 markings/sec, 135 secs
lola: 290302 markings, 981514 edges, 2018 markings/sec, 140 secs
lola: 300403 markings, 1013914 edges, 2020 markings/sec, 145 secs
lola: 310476 markings, 1048483 edges, 2015 markings/sec, 150 secs
lola: 320525 markings, 1082054 edges, 2010 markings/sec, 155 secs
lola: 330625 markings, 1115343 edges, 2020 markings/sec, 160 secs
lola: 340687 markings, 1149818 edges, 2012 markings/sec, 165 secs
lola: 350757 markings, 1182895 edges, 2014 markings/sec, 170 secs
lola: 360796 markings, 1217127 edges, 2008 markings/sec, 175 secs
lola: 370895 markings, 1250139 edges, 2020 markings/sec, 180 secs
lola: 380933 markings, 1285335 edges, 2008 markings/sec, 185 secs
lola: 390962 markings, 1320147 edges, 2006 markings/sec, 190 secs
lola: 400998 markings, 1355042 edges, 2007 markings/sec, 195 secs
lola: 411017 markings, 1390872 edges, 2004 markings/sec, 200 secs
lola: 421081 markings, 1424416 edges, 2013 markings/sec, 205 secs
lola: 431118 markings, 1457441 edges, 2007 markings/sec, 210 secs
lola: 441144 markings, 1491239 edges, 2005 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: 204620 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__3_13_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__3_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: 100
lola: 8600 markings, 30078 edges, 1720 markings/sec, 0 secs
lola: 18926 markings, 64701 edges, 2065 markings/sec, 5 secs
lola: 28947 markings, 99175 edges, 2004 markings/sec, 10 secs
lola: 39178 markings, 135070 edges, 2046 markings/sec, 15 secs
lola: 49471 markings, 169319 edges, 2059 markings/sec, 20 secs
lola: 59737 markings, 204528 edges, 2053 markings/sec, 25 secs
lola: 69955 markings, 240962 edges, 2044 markings/sec, 30 secs
lola: 80258 markings, 275631 edges, 2061 markings/sec, 35 secs
lola: 90492 markings, 312208 edges, 2047 markings/sec, 40 secs
lola: 100750 markings, 347607 edges, 2052 markings/sec, 45 secs
lola: 111049 markings, 382371 edges, 2060 markings/sec, 50 secs
lola: 121322 markings, 417257 edges, 2055 markings/sec, 55 secs
lola: 131644 markings, 450188 edges, 2064 markings/sec, 60 secs
lola: 141982 markings, 483942 edges, 2068 markings/sec, 65 secs
lola: 152331 markings, 517440 edges, 2070 markings/sec, 70 secs
lola: 162651 markings, 552100 edges, 2064 markings/sec, 75 secs
lola: 173002 markings, 585947 edges, 2070 markings/sec, 80 secs
lola: 183318 markings, 619823 edges, 2063 markings/sec, 85 secs
lola: 193680 markings, 653874 edges, 2072 markings/sec, 90 secs
lola: 203989 markings, 688508 edges, 2062 markings/sec, 95 secs
lola: 214295 markings, 724447 edges, 2061 markings/sec, 100 secs
lola: 224589 markings, 760368 edges, 2059 markings/sec, 105 secs
lola: 234934 markings, 794536 edges, 2069 markings/sec, 110 secs
lola: 245222 markings, 831748 edges, 2058 markings/sec, 115 secs
lola: 255513 markings, 867804 edges, 2058 markings/sec, 120 secs
lola: 265859 markings, 901562 edges, 2069 markings/sec, 125 secs
lola: 276157 markings, 936637 edges, 2060 markings/sec, 130 secs
lola: 286297 markings, 969760 edges, 2028 markings/sec, 135 secs
lola: 296553 markings, 1002889 edges, 2051 markings/sec, 140 secs
lola: 306863 markings, 1037781 edges, 2062 markings/sec, 145 secs
lola: 317140 markings, 1072933 edges, 2055 markings/sec, 150 secs
lola: 327382 markings, 1107249 edges, 2048 markings/sec, 155 secs
lola: 337655 markings, 1142012 edges, 2055 markings/sec, 160 secs
lola: 347926 markings, 1176313 edges, 2054 markings/sec, 165 secs
lola: 358152 markings, 1212144 edges, 2045 markings/sec, 170 secs
lola: 368387 markings, 1247271 edges, 2047 markings/sec, 175 secs
lola: 378352 markings, 1284725 edges, 1993 markings/sec, 180 secs
lola: 388466 markings, 1320612 edges, 2023 markings/sec, 185 secs
lola: 398568 markings, 1355489 edges, 2020 markings/sec, 190 secs
lola: 408542 markings, 1392236 edges, 1995 markings/sec, 195 secs
lola: 418742 markings, 1427033 edges, 2040 markings/sec, 200 secs
lola: 428929 markings, 1462680 edges, 2037 markings/sec, 205 secs
lola: 439138 markings, 1497820 edges, 2042 markings/sec, 210 secs
lola: 449372 markings, 1531806 edges, 2047 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:
caught signal User defined signal 1 - aborting LoLA
lola: lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown

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: 193268 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: memory consumption: 193480 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 1552582336882

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

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