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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.2M
-rw-r--r-- 1 mcc users 4.6K Feb 10 21:35 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 10 21:35 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.4K 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.4K Feb 4 23:32 LTLCardinality.txt
-rw-r--r-- 1 mcc users 8.8K Feb 4 23:32 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.1K Feb 3 07:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Feb 3 07:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Jan 30 23:46 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K 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.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-D30N150-UpperBounds-00
FORMULA_NAME Diffusion2D-PT-D30N150-UpperBounds-01
FORMULA_NAME Diffusion2D-PT-D30N150-UpperBounds-02
FORMULA_NAME Diffusion2D-PT-D30N150-UpperBounds-03
FORMULA_NAME Diffusion2D-PT-D30N150-UpperBounds-04
FORMULA_NAME Diffusion2D-PT-D30N150-UpperBounds-05
FORMULA_NAME Diffusion2D-PT-D30N150-UpperBounds-06
FORMULA_NAME Diffusion2D-PT-D30N150-UpperBounds-07
FORMULA_NAME Diffusion2D-PT-D30N150-UpperBounds-08
FORMULA_NAME Diffusion2D-PT-D30N150-UpperBounds-09
FORMULA_NAME Diffusion2D-PT-D30N150-UpperBounds-10
FORMULA_NAME Diffusion2D-PT-D30N150-UpperBounds-11
FORMULA_NAME Diffusion2D-PT-D30N150-UpperBounds-12
FORMULA_NAME Diffusion2D-PT-D30N150-UpperBounds-13
FORMULA_NAME Diffusion2D-PT-D30N150-UpperBounds-14
FORMULA_NAME Diffusion2D-PT-D30N150-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1552581607147

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

{
"exit":
{
"memory": 59432,
"runtime": 3570.000000,
"signal": "User defined signal 1"
},
"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 "
}
}
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__9_8_) : MAX(cAMP__13_28_) : MAX(cAMP__1_7_) : MAX(cAMP__13_16_) : MAX(cAMP__15_12_) : MAX(cAMP__21_26_) : MAX(cAMP__29_3_) : MAX(cAMP__25_23_) : MAX(cAMP__22_23_) : MAX(cAMP__27_12_) : MAX(cAMP__26_25_) : MAX(cAMP__29_22_) : MAX(cAMP__1_14_) : MAX(cAMP__11_18_) : MAX(cAMP__19_9_) : MAX(cAMP__9_17_)
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__9_8_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__9_8_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 150
lola: 8407 markings, 29107 edges, 1681 markings/sec, 0 secs
lola: 18527 markings, 64698 edges, 2024 markings/sec, 5 secs
lola: 28723 markings, 102744 edges, 2039 markings/sec, 10 secs
lola: 38899 markings, 140904 edges, 2035 markings/sec, 15 secs
lola: 49055 markings, 177201 edges, 2031 markings/sec, 20 secs
lola: 59088 markings, 213400 edges, 2007 markings/sec, 25 secs
lola: 69182 markings, 249475 edges, 2019 markings/sec, 30 secs
lola: 79237 markings, 284495 edges, 2011 markings/sec, 35 secs
lola: 89566 markings, 317166 edges, 2066 markings/sec, 40 secs
lola: 99671 markings, 351319 edges, 2021 markings/sec, 45 secs
lola: 109500 markings, 385831 edges, 1966 markings/sec, 50 secs
lola: 119616 markings, 421817 edges, 2023 markings/sec, 55 secs
lola: 129494 markings, 457566 edges, 1976 markings/sec, 60 secs
lola: 139604 markings, 493004 edges, 2022 markings/sec, 65 secs
lola: 149727 markings, 530236 edges, 2025 markings/sec, 70 secs
lola: 159879 markings, 566072 edges, 2030 markings/sec, 75 secs
lola: 170090 markings, 601631 edges, 2042 markings/sec, 80 secs
lola: 180191 markings, 633981 edges, 2020 markings/sec, 85 secs
lola: 190255 markings, 667816 edges, 2013 markings/sec, 90 secs
lola: 200385 markings, 703514 edges, 2026 markings/sec, 95 secs
lola: 210461 markings, 741449 edges, 2015 markings/sec, 100 secs
lola: 220547 markings, 778769 edges, 2017 markings/sec, 105 secs
lola: 230711 markings, 812537 edges, 2033 markings/sec, 110 secs
lola: 240680 markings, 846862 edges, 1994 markings/sec, 115 secs
lola: 250647 markings, 881511 edges, 1993 markings/sec, 120 secs
lola: 260526 markings, 917953 edges, 1976 markings/sec, 125 secs
lola: 270554 markings, 952950 edges, 2006 markings/sec, 130 secs
lola: 280485 markings, 988727 edges, 1986 markings/sec, 135 secs
lola: 290619 markings, 1022996 edges, 2027 markings/sec, 140 secs
lola: 300624 markings, 1060756 edges, 2001 markings/sec, 145 secs
lola: 310768 markings, 1097712 edges, 2029 markings/sec, 150 secs
lola: 320904 markings, 1135566 edges, 2027 markings/sec, 155 secs
lola: 331051 markings, 1171956 edges, 2029 markings/sec, 160 secs
lola: 341126 markings, 1207775 edges, 2015 markings/sec, 165 secs
lola: 351162 markings, 1244961 edges, 2007 markings/sec, 170 secs
lola: 361133 markings, 1284017 edges, 1994 markings/sec, 175 secs
lola: 371229 markings, 1324173 edges, 2019 markings/sec, 180 secs
lola: 381445 markings, 1359839 edges, 2043 markings/sec, 185 secs
lola: 391749 markings, 1394112 edges, 2061 markings/sec, 190 secs
lola: 401940 markings, 1427151 edges, 2038 markings/sec, 195 secs
lola: 412190 markings, 1463313 edges, 2050 markings/sec, 200 secs
lola: 422497 markings, 1497651 edges, 2061 markings/sec, 205 secs
lola: 432743 markings, 1533527 edges, 2049 markings/sec, 210 secs
lola: 442994 markings, 1568743 edges, 2050 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: 220228 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__13_28_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__13_28_)
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: 150
lola: 8397 markings, 28171 edges, 1679 markings/sec, 0 secs
lola: 18280 markings, 63381 edges, 1977 markings/sec, 5 secs
lola: 28323 markings, 99323 edges, 2009 markings/sec, 10 secs
lola: 38428 markings, 134462 edges, 2021 markings/sec, 15 secs
lola: 48480 markings, 170790 edges, 2010 markings/sec, 20 secs
lola: 58488 markings, 206739 edges, 2002 markings/sec, 25 secs
lola: 68537 markings, 242202 edges, 2010 markings/sec, 30 secs
lola: 78586 markings, 278462 edges, 2010 markings/sec, 35 secs
lola: 88490 markings, 314302 edges, 1981 markings/sec, 40 secs
lola: 98474 markings, 350438 edges, 1997 markings/sec, 45 secs
lola: 108491 markings, 387450 edges, 2003 markings/sec, 50 secs
lola: 118582 markings, 421123 edges, 2018 markings/sec, 55 secs
lola: 128662 markings, 454870 edges, 2016 markings/sec, 60 secs
lola: 138733 markings, 489027 edges, 2014 markings/sec, 65 secs
lola: 148775 markings, 524420 edges, 2008 markings/sec, 70 secs
lola: 158855 markings, 558646 edges, 2016 markings/sec, 75 secs
lola: 168947 markings, 593060 edges, 2018 markings/sec, 80 secs
lola: 179014 markings, 628621 edges, 2013 markings/sec, 85 secs
lola: 189104 markings, 662733 edges, 2018 markings/sec, 90 secs
lola: 199210 markings, 696977 edges, 2021 markings/sec, 95 secs
lola: 209314 markings, 731881 edges, 2021 markings/sec, 100 secs
lola: 219406 markings, 766718 edges, 2018 markings/sec, 105 secs
lola: 229493 markings, 800967 edges, 2017 markings/sec, 110 secs
lola: 239375 markings, 835635 edges, 1976 markings/sec, 115 secs
lola: 249445 markings, 871707 edges, 2014 markings/sec, 120 secs
lola: 259515 markings, 906989 edges, 2014 markings/sec, 125 secs
lola: 269556 markings, 943509 edges, 2008 markings/sec, 130 secs
lola: 279676 markings, 976731 edges, 2024 markings/sec, 135 secs
lola: 289772 markings, 1011045 edges, 2019 markings/sec, 140 secs
lola: 299800 markings, 1047399 edges, 2006 markings/sec, 145 secs
lola: 309888 markings, 1081046 edges, 2018 markings/sec, 150 secs
lola: 319904 markings, 1117212 edges, 2003 markings/sec, 155 secs
lola: 329858 markings, 1152747 edges, 1991 markings/sec, 160 secs
lola: 339559 markings, 1188182 edges, 1940 markings/sec, 165 secs
lola: 349482 markings, 1224375 edges, 1985 markings/sec, 170 secs
lola: 359445 markings, 1261178 edges, 1993 markings/sec, 175 secs
lola: 369216 markings, 1295104 edges, 1954 markings/sec, 180 secs
lola: 379156 markings, 1328065 edges, 1988 markings/sec, 185 secs
lola: 389189 markings, 1362613 edges, 2007 markings/sec, 190 secs
lola: 399228 markings, 1397582 edges, 2008 markings/sec, 195 secs
lola: 409219 markings, 1432399 edges, 1998 markings/sec, 200 secs
lola: 419252 markings, 1466880 edges, 2007 markings/sec, 205 secs
lola: 429222 markings, 1501337 edges, 1994 markings/sec, 210 secs
lola: 439350 markings, 1534226 edges, 2026 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: 182220 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__1_7_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__1_7_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 150
lola: 8811 markings, 30836 edges, 1762 markings/sec, 0 secs
lola: 19383 markings, 67636 edges, 2114 markings/sec, 5 secs
lola: 30004 markings, 100851 edges, 2124 markings/sec, 10 secs
lola: 40614 markings, 134059 edges, 2122 markings/sec, 15 secs
lola: 51198 markings, 167916 edges, 2117 markings/sec, 20 secs
lola: 61849 markings, 201781 edges, 2130 markings/sec, 25 secs
lola: 72490 markings, 236002 edges, 2128 markings/sec, 30 secs
lola: 83069 markings, 270420 edges, 2116 markings/sec, 35 secs
lola: 93681 markings, 303900 edges, 2122 markings/sec, 40 secs
lola: 104375 markings, 337966 edges, 2139 markings/sec, 45 secs
lola: 115055 markings, 371839 edges, 2136 markings/sec, 50 secs
lola: 125692 markings, 406296 edges, 2127 markings/sec, 55 secs
lola: 136331 markings, 440782 edges, 2128 markings/sec, 60 secs
lola: 146753 markings, 474153 edges, 2084 markings/sec, 65 secs
lola: 157281 markings, 506397 edges, 2106 markings/sec, 70 secs
lola: 167784 markings, 539482 edges, 2101 markings/sec, 75 secs
lola: 178201 markings, 573204 edges, 2083 markings/sec, 80 secs
lola: 188776 markings, 606806 edges, 2115 markings/sec, 85 secs
lola: 199354 markings, 640850 edges, 2116 markings/sec, 90 secs
lola: 209940 markings, 674174 edges, 2117 markings/sec, 95 secs
lola: 220480 markings, 709256 edges, 2108 markings/sec, 100 secs
lola: 231016 markings, 744292 edges, 2107 markings/sec, 105 secs
lola: 241576 markings, 779423 edges, 2112 markings/sec, 110 secs
lola: 252102 markings, 815547 edges, 2105 markings/sec, 115 secs
lola: 262698 markings, 849422 edges, 2119 markings/sec, 120 secs
lola: 273269 markings, 883083 edges, 2114 markings/sec, 125 secs
lola: 283840 markings, 917139 edges, 2114 markings/sec, 130 secs
lola: 294394 markings, 951238 edges, 2111 markings/sec, 135 secs
lola: 304912 markings, 985888 edges, 2104 markings/sec, 140 secs
lola: 315471 markings, 1019410 edges, 2112 markings/sec, 145 secs
lola: 325998 markings, 1053985 edges, 2105 markings/sec, 150 secs
lola: 336574 markings, 1087909 edges, 2115 markings/sec, 155 secs
lola: 347127 markings, 1122659 edges, 2111 markings/sec, 160 secs
lola: 357672 markings, 1156820 edges, 2109 markings/sec, 165 secs
lola: 368193 markings, 1192703 edges, 2104 markings/sec, 170 secs
lola: 378770 markings, 1226303 edges, 2115 markings/sec, 175 secs
lola: 389327 markings, 1260630 edges, 2111 markings/sec, 180 secs
lola: 399892 markings, 1294017 edges, 2113 markings/sec, 185 secs
lola: 410462 markings, 1328099 edges, 2114 markings/sec, 190 secs
lola: 421039 markings, 1361922 edges, 2115 markings/sec, 195 secs
lola: 431584 markings, 1396222 edges, 2109 markings/sec, 200 secs
lola: 442167 markings, 1430994 edges, 2117 markings/sec, 205 secs
lola: 452690 markings, 1466741 edges, 2105 markings/sec, 210 secs
lola: 463191 markings, 1501935 edges, 2100 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: 182896 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__13_16_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__13_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: 150
lola: 8360 markings, 23730 edges, 1672 markings/sec, 0 secs
lola: 18391 markings, 54936 edges, 2006 markings/sec, 5 secs
lola: 28213 markings, 89087 edges, 1964 markings/sec, 10 secs
lola: 38112 markings, 123365 edges, 1980 markings/sec, 15 secs
lola: 47954 markings, 156735 edges, 1968 markings/sec, 20 secs
lola: 57419 markings, 189035 edges, 1893 markings/sec, 25 secs
lola: 66560 markings, 220700 edges, 1828 markings/sec, 30 secs
lola: 76067 markings, 253693 edges, 1901 markings/sec, 35 secs
lola: 85807 markings, 287326 edges, 1948 markings/sec, 40 secs
lola: 95166 markings, 319084 edges, 1872 markings/sec, 45 secs
lola: 105025 markings, 352655 edges, 1972 markings/sec, 50 secs
lola: 114984 markings, 387341 edges, 1992 markings/sec, 55 secs
lola: 125082 markings, 422341 edges, 2020 markings/sec, 60 secs
lola: 135171 markings, 456430 edges, 2018 markings/sec, 65 secs
lola: 145182 markings, 490876 edges, 2002 markings/sec, 70 secs
lola: 155151 markings, 525684 edges, 1994 markings/sec, 75 secs
lola: 165123 markings, 559830 edges, 1994 markings/sec, 80 secs
lola: 175102 markings, 593660 edges, 1996 markings/sec, 85 secs
lola: 185024 markings, 627936 edges, 1984 markings/sec, 90 secs
lola: 194935 markings, 662605 edges, 1982 markings/sec, 95 secs
lola: 204854 markings, 696359 edges, 1984 markings/sec, 100 secs
lola: 214775 markings, 730069 edges, 1984 markings/sec, 105 secs
lola: 224685 markings, 764325 edges, 1982 markings/sec, 110 secs
lola: 234579 markings, 798950 edges, 1979 markings/sec, 115 secs
lola: 244501 markings, 832616 edges, 1984 markings/sec, 120 secs
lola: 254432 markings, 866276 edges, 1986 markings/sec, 125 secs
lola: 264150 markings, 899974 edges, 1944 markings/sec, 130 secs
lola: 273712 markings, 933378 edges, 1912 markings/sec, 135 secs
lola: 283678 markings, 967334 edges, 1993 markings/sec, 140 secs
lola: 293436 markings, 1000424 edges, 1952 markings/sec, 145 secs
lola: 303124 markings, 1033794 edges, 1938 markings/sec, 150 secs
lola: 313055 markings, 1068554 edges, 1986 markings/sec, 155 secs
lola: 322999 markings, 1102525 edges, 1989 markings/sec, 160 secs
lola: 332948 markings, 1136240 edges, 1990 markings/sec, 165 secs
lola: 342295 markings, 1168464 edges, 1869 markings/sec, 170 secs
lola: 352193 markings, 1202810 edges, 1980 markings/sec, 175 secs
lola: 362051 markings, 1236877 edges, 1972 markings/sec, 180 secs
lola: 371893 markings, 1270155 edges, 1968 markings/sec, 185 secs
lola: 381842 markings, 1304423 edges, 1990 markings/sec, 190 secs
lola: 391786 markings, 1338926 edges, 1989 markings/sec, 195 secs
lola: 401728 markings, 1373150 edges, 1988 markings/sec, 200 secs
lola: 411704 markings, 1406959 edges, 1995 markings/sec, 205 secs
lola: 421539 markings, 1440879 edges, 1967 markings/sec, 210 secs
lola: 431505 markings, 1475772 edges, 1993 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: 184964 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__15_12_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__15_12_)
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: 150
lola: 8335 markings, 27385 edges, 1667 markings/sec, 0 secs
lola: 18341 markings, 59579 edges, 2001 markings/sec, 5 secs
lola: 28326 markings, 92427 edges, 1997 markings/sec, 10 secs
lola: 38332 markings, 124583 edges, 2001 markings/sec, 15 secs
lola: 48356 markings, 156489 edges, 2005 markings/sec, 20 secs
lola: 58382 markings, 188183 edges, 2005 markings/sec, 25 secs
lola: 68270 markings, 219846 edges, 1978 markings/sec, 30 secs
lola: 78164 markings, 253300 edges, 1979 markings/sec, 35 secs
lola: 88088 markings, 288605 edges, 1985 markings/sec, 40 secs
lola: 98042 markings, 321516 edges, 1991 markings/sec, 45 secs
lola: 108016 markings, 354493 edges, 1995 markings/sec, 50 secs
lola: 117990 markings, 387564 edges, 1995 markings/sec, 55 secs
lola: 127981 markings, 419607 edges, 1998 markings/sec, 60 secs
lola: 137977 markings, 452216 edges, 1999 markings/sec, 65 secs
lola: 147927 markings, 484831 edges, 1990 markings/sec, 70 secs
lola: 158007 markings, 516387 edges, 2016 markings/sec, 75 secs
lola: 167963 markings, 549337 edges, 1991 markings/sec, 80 secs
lola: 177959 markings, 583526 edges, 1999 markings/sec, 85 secs
lola: 188007 markings, 616609 edges, 2010 markings/sec, 90 secs
lola: 197992 markings, 649875 edges, 1997 markings/sec, 95 secs
lola: 208032 markings, 684646 edges, 2008 markings/sec, 100 secs
lola: 218166 markings, 716550 edges, 2027 markings/sec, 105 secs
lola: 228239 markings, 750879 edges, 2015 markings/sec, 110 secs
lola: 238133 markings, 783973 edges, 1979 markings/sec, 115 secs
lola: 248202 markings, 816219 edges, 2014 markings/sec, 120 secs
lola: 258186 markings, 848166 edges, 1997 markings/sec, 125 secs
lola: 268222 markings, 882948 edges, 2007 markings/sec, 130 secs
lola: 278206 markings, 919568 edges, 1997 markings/sec, 135 secs
lola: 288276 markings, 952038 edges, 2014 markings/sec, 140 secs
lola: 298281 markings, 986633 edges, 2001 markings/sec, 145 secs
lola: 308344 markings, 1018772 edges, 2013 markings/sec, 150 secs
lola: 318283 markings, 1053489 edges, 1988 markings/sec, 155 secs
lola: 328211 markings, 1088516 edges, 1986 markings/sec, 160 secs
lola: 338297 markings, 1120985 edges, 2017 markings/sec, 165 secs
lola: 348348 markings, 1155515 edges, 2010 markings/sec, 170 secs
lola: 358374 markings, 1191466 edges, 2005 markings/sec, 175 secs
lola: 368426 markings, 1226538 edges, 2010 markings/sec, 180 secs
lola: 378461 markings, 1261665 edges, 2007 markings/sec, 185 secs
lola: 388465 markings, 1298249 edges, 2001 markings/sec, 190 secs
lola: 398487 markings, 1334158 edges, 2004 markings/sec, 195 secs
lola: 408623 markings, 1365994 edges, 2027 markings/sec, 200 secs
lola: 418399 markings, 1399857 edges, 1955 markings/sec, 205 secs
lola: 428471 markings, 1432074 edges, 2014 markings/sec, 210 secs
lola: 438556 markings, 1465673 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: 191612 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__21_26_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__21_26_)
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: 150
lola: 8359 markings, 29735 edges, 1672 markings/sec, 0 secs
lola: 18379 markings, 64132 edges, 2004 markings/sec, 5 secs
lola: 28337 markings, 99575 edges, 1992 markings/sec, 10 secs
lola: 38281 markings, 135337 edges, 1989 markings/sec, 15 secs
lola: 48308 markings, 168139 edges, 2005 markings/sec, 20 secs
lola: 58341 markings, 202876 edges, 2007 markings/sec, 25 secs
lola: 68336 markings, 238432 edges, 1999 markings/sec, 30 secs
lola: 78382 markings, 272767 edges, 2009 markings/sec, 35 secs
lola: 88389 markings, 307611 edges, 2001 markings/sec, 40 secs
lola: 98321 markings, 344339 edges, 1986 markings/sec, 45 secs
lola: 108354 markings, 378173 edges, 2007 markings/sec, 50 secs
lola: 118301 markings, 413656 edges, 1989 markings/sec, 55 secs
lola: 128181 markings, 449958 edges, 1976 markings/sec, 60 secs
lola: 138154 markings, 485202 edges, 1995 markings/sec, 65 secs
lola: 148177 markings, 520102 edges, 2005 markings/sec, 70 secs
lola: 158147 markings, 556597 edges, 1994 markings/sec, 75 secs
lola: 168132 markings, 591264 edges, 1997 markings/sec, 80 secs
lola: 178162 markings, 623575 edges, 2006 markings/sec, 85 secs
lola: 188156 markings, 657095 edges, 1999 markings/sec, 90 secs
lola: 198176 markings, 690759 edges, 2004 markings/sec, 95 secs
lola: 208187 markings, 724255 edges, 2002 markings/sec, 100 secs
lola: 218181 markings, 757645 edges, 1999 markings/sec, 105 secs
lola: 228163 markings, 791799 edges, 1996 markings/sec, 110 secs
lola: 238115 markings, 826880 edges, 1990 markings/sec, 115 secs
lola: 248081 markings, 861696 edges, 1993 markings/sec, 120 secs
lola: 257995 markings, 897911 edges, 1983 markings/sec, 125 secs
lola: 267961 markings, 932933 edges, 1993 markings/sec, 130 secs
lola: 278000 markings, 966026 edges, 2008 markings/sec, 135 secs
lola: 287965 markings, 1000985 edges, 1993 markings/sec, 140 secs
lola: 297883 markings, 1037089 edges, 1984 markings/sec, 145 secs
lola: 307939 markings, 1071268 edges, 2011 markings/sec, 150 secs
lola: 317896 markings, 1107916 edges, 1991 markings/sec, 155 secs
lola: 327959 markings, 1141978 edges, 2013 markings/sec, 160 secs
lola: 337937 markings, 1176259 edges, 1996 markings/sec, 165 secs
lola: 347960 markings, 1209297 edges, 2005 markings/sec, 170 secs
lola: 357960 markings, 1242430 edges, 2000 markings/sec, 175 secs
lola: 367854 markings, 1274502 edges, 1979 markings/sec, 180 secs
lola: 377845 markings, 1307624 edges, 1998 markings/sec, 185 secs
lola: 387808 markings, 1342393 edges, 1993 markings/sec, 190 secs
lola: 397730 markings, 1376901 edges, 1984 markings/sec, 195 secs
lola: 407679 markings, 1410785 edges, 1990 markings/sec, 200 secs
lola: 417620 markings, 1444136 edges, 1988 markings/sec, 205 secs
lola: 427636 markings, 1477388 edges, 2003 markings/sec, 210 secs
lola: 437676 markings, 1511210 edges, 2008 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: 190820 KB
lola: time consumption: 1341 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 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__29_3_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__29_3_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 150
lola: 8311 markings, 26395 edges, 1662 markings/sec, 0 secs
lola: 18536 markings, 58852 edges, 2045 markings/sec, 5 secs
lola: 28752 markings, 89847 edges, 2043 markings/sec, 10 secs
lola: 39003 markings, 122391 edges, 2050 markings/sec, 15 secs
lola: 49248 markings, 154863 edges, 2049 markings/sec, 20 secs
lola: 59534 markings, 186809 edges, 2057 markings/sec, 25 secs
lola: 69767 markings, 219665 edges, 2047 markings/sec, 30 secs
lola: 79971 markings, 254311 edges, 2041 markings/sec, 35 secs
lola: 90164 markings, 286696 edges, 2039 markings/sec, 40 secs
lola: 100415 markings, 319482 edges, 2050 markings/sec, 45 secs
lola: 110707 markings, 350774 edges, 2058 markings/sec, 50 secs
lola: 120963 markings, 382736 edges, 2051 markings/sec, 55 secs
lola: 131102 markings, 414442 edges, 2028 markings/sec, 60 secs
lola: 141351 markings, 446886 edges, 2050 markings/sec, 65 secs
lola: 151584 markings, 479764 edges, 2047 markings/sec, 70 secs
lola: 161566 markings, 510685 edges, 1996 markings/sec, 75 secs
lola: 171857 markings, 542126 edges, 2058 markings/sec, 80 secs
lola: 182069 markings, 575598 edges, 2042 markings/sec, 85 secs
lola: 192353 markings, 607607 edges, 2057 markings/sec, 90 secs
lola: 202636 markings, 639018 edges, 2057 markings/sec, 95 secs
lola: 212853 markings, 673672 edges, 2043 markings/sec, 100 secs
lola: 223119 markings, 705716 edges, 2053 markings/sec, 105 secs
lola: 233225 markings, 738323 edges, 2021 markings/sec, 110 secs
lola: 243464 markings, 771623 edges, 2048 markings/sec, 115 secs
lola: 253710 markings, 804860 edges, 2049 markings/sec, 120 secs
lola: 263976 markings, 837511 edges, 2053 markings/sec, 125 secs
lola: 274204 markings, 871378 edges, 2046 markings/sec, 130 secs
lola: 284441 markings, 905582 edges, 2047 markings/sec, 135 secs
lola: 294687 markings, 939172 edges, 2049 markings/sec, 140 secs
lola: 304945 markings, 970703 edges, 2052 markings/sec, 145 secs
lola: 315201 markings, 1003168 edges, 2051 markings/sec, 150 secs
lola: 325466 markings, 1035779 edges, 2053 markings/sec, 155 secs
lola: 335677 markings, 1069477 edges, 2042 markings/sec, 160 secs
lola: 345890 markings, 1103253 edges, 2043 markings/sec, 165 secs
lola: 356180 markings, 1134821 edges, 2058 markings/sec, 170 secs
lola: 366377 markings, 1166273 edges, 2039 markings/sec, 175 secs
lola: 376614 markings, 1198207 edges, 2047 markings/sec, 180 secs
lola: 386783 markings, 1230759 edges, 2034 markings/sec, 185 secs
lola: 396805 markings, 1261186 edges, 2004 markings/sec, 190 secs
lola: 406972 markings, 1293913 edges, 2033 markings/sec, 195 secs
lola: 417048 markings, 1329502 edges, 2015 markings/sec, 200 secs
lola: 427067 markings, 1361546 edges, 2004 markings/sec, 205 secs
lola: 437162 markings, 1393975 edges, 2019 markings/sec, 210 secs
lola: 447366 markings, 1427139 edges, 2041 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 176560 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__25_23_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__25_23_)
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: 150
lola: 8391 markings, 30021 edges, 1678 markings/sec, 0 secs
lola: 18293 markings, 63484 edges, 1980 markings/sec, 5 secs
lola: 28158 markings, 100059 edges, 1973 markings/sec, 10 secs
lola: 38244 markings, 137842 edges, 2017 markings/sec, 15 secs
lola: 48395 markings, 173416 edges, 2030 markings/sec, 20 secs
lola: 58523 markings, 210402 edges, 2026 markings/sec, 25 secs
lola: 68626 markings, 247718 edges, 2021 markings/sec, 30 secs
lola: 78807 markings, 283369 edges, 2036 markings/sec, 35 secs
lola: 88967 markings, 320048 edges, 2032 markings/sec, 40 secs
lola: 99146 markings, 355332 edges, 2036 markings/sec, 45 secs
lola: 109320 markings, 390782 edges, 2035 markings/sec, 50 secs
lola: 119483 markings, 425677 edges, 2033 markings/sec, 55 secs
lola: 129639 markings, 461007 edges, 2031 markings/sec, 60 secs
lola: 139705 markings, 494916 edges, 2013 markings/sec, 65 secs
lola: 149875 markings, 530036 edges, 2034 markings/sec, 70 secs
lola: 159646 markings, 563778 edges, 1954 markings/sec, 75 secs
lola: 169773 markings, 598795 edges, 2025 markings/sec, 80 secs
lola: 179902 markings, 634458 edges, 2026 markings/sec, 85 secs
lola: 190018 markings, 671175 edges, 2023 markings/sec, 90 secs
lola: 200110 markings, 706965 edges, 2018 markings/sec, 95 secs
lola: 210159 markings, 744885 edges, 2010 markings/sec, 100 secs
lola: 220329 markings, 779513 edges, 2034 markings/sec, 105 secs
lola: 230445 markings, 815534 edges, 2023 markings/sec, 110 secs
lola: 240551 markings, 852596 edges, 2021 markings/sec, 115 secs
lola: 250586 markings, 890667 edges, 2007 markings/sec, 120 secs
lola: 260649 markings, 927834 edges, 2013 markings/sec, 125 secs
lola: 270701 markings, 963021 edges, 2010 markings/sec, 130 secs
lola: 280581 markings, 999250 edges, 1976 markings/sec, 135 secs
lola: 290715 markings, 1033360 edges, 2027 markings/sec, 140 secs
lola: 300830 markings, 1068209 edges, 2023 markings/sec, 145 secs
lola: 310878 markings, 1103313 edges, 2010 markings/sec, 150 secs
lola: 320954 markings, 1138832 edges, 2015 markings/sec, 155 secs
lola: 331071 markings, 1174598 edges, 2023 markings/sec, 160 secs
lola: 341160 markings, 1210807 edges, 2018 markings/sec, 165 secs
lola: 351189 markings, 1249393 edges, 2006 markings/sec, 170 secs
lola: 361333 markings, 1284631 edges, 2029 markings/sec, 175 secs
lola: 371476 markings, 1319586 edges, 2029 markings/sec, 180 secs
lola: 381650 markings, 1354038 edges, 2035 markings/sec, 185 secs
lola: 391806 markings, 1387826 edges, 2031 markings/sec, 190 secs
lola: 401905 markings, 1424318 edges, 2020 markings/sec, 195 secs
lola: 412029 markings, 1460313 edges, 2025 markings/sec, 200 secs
lola: 422098 markings, 1497659 edges, 2014 markings/sec, 205 secs
lola: 432195 markings, 1533643 edges, 2019 markings/sec, 210 secs
lola: 442336 markings, 1568756 edges, 2028 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: 189160 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__22_23_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__22_23_)
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: 150
lola: 8367 markings, 28612 edges, 1673 markings/sec, 0 secs
lola: 18193 markings, 63688 edges, 1965 markings/sec, 5 secs
lola: 28129 markings, 99965 edges, 1987 markings/sec, 10 secs
lola: 38162 markings, 135996 edges, 2007 markings/sec, 15 secs
lola: 48267 markings, 170781 edges, 2021 markings/sec, 20 secs
lola: 58395 markings, 205327 edges, 2026 markings/sec, 25 secs
lola: 68483 markings, 240326 edges, 2018 markings/sec, 30 secs
lola: 78445 markings, 275366 edges, 1992 markings/sec, 35 secs
lola: 88448 markings, 309870 edges, 2001 markings/sec, 40 secs
lola: 98487 markings, 345524 edges, 2008 markings/sec, 45 secs
lola: 108382 markings, 380533 edges, 1979 markings/sec, 50 secs
lola: 118458 markings, 415870 edges, 2015 markings/sec, 55 secs
lola: 128503 markings, 451470 edges, 2009 markings/sec, 60 secs
lola: 138566 markings, 486416 edges, 2013 markings/sec, 65 secs
lola: 148653 markings, 521346 edges, 2017 markings/sec, 70 secs
lola: 158747 markings, 556970 edges, 2019 markings/sec, 75 secs
lola: 168772 markings, 594373 edges, 2005 markings/sec, 80 secs
lola: 178860 markings, 629193 edges, 2018 markings/sec, 85 secs
lola: 188939 markings, 663973 edges, 2016 markings/sec, 90 secs
lola: 198982 markings, 699714 edges, 2009 markings/sec, 95 secs
lola: 209016 markings, 735577 edges, 2007 markings/sec, 100 secs
lola: 219067 markings, 770782 edges, 2010 markings/sec, 105 secs
lola: 229160 markings, 805440 edges, 2019 markings/sec, 110 secs
lola: 239238 markings, 841463 edges, 2016 markings/sec, 115 secs
lola: 249242 markings, 876333 edges, 2001 markings/sec, 120 secs
lola: 259320 markings, 912278 edges, 2016 markings/sec, 125 secs
lola: 269393 markings, 948276 edges, 2015 markings/sec, 130 secs
lola: 279492 markings, 983824 edges, 2020 markings/sec, 135 secs
lola: 289575 markings, 1019869 edges, 2017 markings/sec, 140 secs
lola: 299650 markings, 1056423 edges, 2015 markings/sec, 145 secs
lola: 309745 markings, 1092956 edges, 2019 markings/sec, 150 secs
lola: 319823 markings, 1128749 edges, 2016 markings/sec, 155 secs
lola: 329908 markings, 1163316 edges, 2017 markings/sec, 160 secs
lola: 339960 markings, 1198761 edges, 2010 markings/sec, 165 secs
lola: 350003 markings, 1235956 edges, 2009 markings/sec, 170 secs
lola: 360002 markings, 1274007 edges, 2000 markings/sec, 175 secs
lola: 370046 markings, 1310002 edges, 2009 markings/sec, 180 secs
lola: 379939 markings, 1345327 edges, 1979 markings/sec, 185 secs
lola: 389880 markings, 1380209 edges, 1988 markings/sec, 190 secs
lola: 399852 markings, 1414928 edges, 1994 markings/sec, 195 secs
lola: 409937 markings, 1450124 edges, 2017 markings/sec, 200 secs
lola: 419961 markings, 1486420 edges, 2005 markings/sec, 205 secs
lola: 429924 markings, 1523243 edges, 1993 markings/sec, 210 secs
lola: 440017 markings, 1558023 edges, 2019 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: 193960 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__27_12_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__27_12_)
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: 150
lola: 8485 markings, 30442 edges, 1697 markings/sec, 0 secs
lola: 18609 markings, 67546 edges, 2025 markings/sec, 5 secs
lola: 28709 markings, 105243 edges, 2020 markings/sec, 10 secs
lola: 38841 markings, 142088 edges, 2026 markings/sec, 15 secs
lola: 48976 markings, 179407 edges, 2027 markings/sec, 20 secs
lola: 59135 markings, 215468 edges, 2032 markings/sec, 25 secs
lola: 69264 markings, 252595 edges, 2026 markings/sec, 30 secs
lola: 79412 markings, 290899 edges, 2030 markings/sec, 35 secs
lola: 89570 markings, 328127 edges, 2032 markings/sec, 40 secs
lola: 99747 markings, 362785 edges, 2035 markings/sec, 45 secs
lola: 109879 markings, 398560 edges, 2026 markings/sec, 50 secs
lola: 119935 markings, 437258 edges, 2011 markings/sec, 55 secs
lola: 130024 markings, 475646 edges, 2018 markings/sec, 60 secs
lola: 140092 markings, 514216 edges, 2014 markings/sec, 65 secs
lola: 149915 markings, 551161 edges, 1965 markings/sec, 70 secs
lola: 159759 markings, 586562 edges, 1969 markings/sec, 75 secs
lola: 169457 markings, 622213 edges, 1940 markings/sec, 80 secs
lola: 179232 markings, 655663 edges, 1955 markings/sec, 85 secs
lola: 189113 markings, 691002 edges, 1976 markings/sec, 90 secs
lola: 198749 markings, 725629 edges, 1927 markings/sec, 95 secs
lola: 208751 markings, 760522 edges, 2000 markings/sec, 100 secs
lola: 218851 markings, 796777 edges, 2020 markings/sec, 105 secs
lola: 228912 markings, 832991 edges, 2012 markings/sec, 110 secs
lola: 239003 markings, 869176 edges, 2018 markings/sec, 115 secs
lola: 249134 markings, 904139 edges, 2026 markings/sec, 120 secs
lola: 259159 markings, 941708 edges, 2005 markings/sec, 125 secs
lola: 269152 markings, 979179 edges, 1999 markings/sec, 130 secs
lola: 279232 markings, 1015633 edges, 2016 markings/sec, 135 secs
lola: 289218 markings, 1053681 edges, 1997 markings/sec, 140 secs
lola: 299131 markings, 1090369 edges, 1983 markings/sec, 145 secs
lola: 309155 markings, 1128254 edges, 2005 markings/sec, 150 secs
lola: 319171 markings, 1165367 edges, 2003 markings/sec, 155 secs
lola: 328872 markings, 1199722 edges, 1940 markings/sec, 160 secs
lola: 338892 markings, 1236340 edges, 2004 markings/sec, 165 secs
lola: 348887 markings, 1274006 edges, 1999 markings/sec, 170 secs
lola: 358941 markings, 1310246 edges, 2011 markings/sec, 175 secs
lola: 368865 markings, 1346492 edges, 1985 markings/sec, 180 secs
lola: 378832 markings, 1381768 edges, 1993 markings/sec, 185 secs
lola: 388849 markings, 1418576 edges, 2003 markings/sec, 190 secs
lola: 398856 markings, 1455960 edges, 2001 markings/sec, 195 secs
lola: 408889 markings, 1493542 edges, 2007 markings/sec, 200 secs
lola: 419006 markings, 1532509 edges, 2023 markings/sec, 205 secs
lola: 429153 markings, 1570077 edges, 2029 markings/sec, 210 secs
lola: 439368 markings, 1605347 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: 175504 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__26_25_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__26_25_)
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: 150
lola: 8496 markings, 30289 edges, 1699 markings/sec, 0 secs
lola: 18686 markings, 64240 edges, 2038 markings/sec, 5 secs
lola: 28828 markings, 99030 edges, 2028 markings/sec, 10 secs
lola: 38902 markings, 136153 edges, 2015 markings/sec, 15 secs
lola: 49029 markings, 170804 edges, 2025 markings/sec, 20 secs
lola: 59234 markings, 203801 edges, 2041 markings/sec, 25 secs
lola: 69375 markings, 239602 edges, 2028 markings/sec, 30 secs
lola: 79548 markings, 273201 edges, 2035 markings/sec, 35 secs
lola: 89685 markings, 307680 edges, 2027 markings/sec, 40 secs
lola: 99820 markings, 342093 edges, 2027 markings/sec, 45 secs
lola: 109915 markings, 377860 edges, 2019 markings/sec, 50 secs
lola: 120098 markings, 410652 edges, 2037 markings/sec, 55 secs
lola: 130310 markings, 443784 edges, 2042 markings/sec, 60 secs
lola: 140515 markings, 476255 edges, 2041 markings/sec, 65 secs
lola: 150680 markings, 508818 edges, 2033 markings/sec, 70 secs
lola: 160722 markings, 540488 edges, 2008 markings/sec, 75 secs
lola: 170654 markings, 574232 edges, 1986 markings/sec, 80 secs
lola: 180669 markings, 606193 edges, 2003 markings/sec, 85 secs
lola: 190777 markings, 638396 edges, 2022 markings/sec, 90 secs
lola: 200906 markings, 670613 edges, 2026 markings/sec, 95 secs
lola: 211048 markings, 703178 edges, 2028 markings/sec, 100 secs
lola: 221179 markings, 736529 edges, 2026 markings/sec, 105 secs
lola: 231230 markings, 768471 edges, 2010 markings/sec, 110 secs
lola: 241433 markings, 801152 edges, 2041 markings/sec, 115 secs
lola: 251668 markings, 834538 edges, 2047 markings/sec, 120 secs
lola: 261849 markings, 868035 edges, 2036 markings/sec, 125 secs
lola: 271952 markings, 902036 edges, 2021 markings/sec, 130 secs
lola: 281944 markings, 936152 edges, 1998 markings/sec, 135 secs
lola: 292093 markings, 969457 edges, 2030 markings/sec, 140 secs
lola: 302271 markings, 1001255 edges, 2036 markings/sec, 145 secs
lola: 312402 markings, 1034112 edges, 2026 markings/sec, 150 secs
lola: 322465 markings, 1066503 edges, 2013 markings/sec, 155 secs
lola: 332651 markings, 1098402 edges, 2037 markings/sec, 160 secs
lola: 342773 markings, 1131010 edges, 2024 markings/sec, 165 secs
lola: 352901 markings, 1164835 edges, 2026 markings/sec, 170 secs
lola: 363070 markings, 1196733 edges, 2034 markings/sec, 175 secs
lola: 373228 markings, 1229188 edges, 2032 markings/sec, 180 secs
lola: 383104 markings, 1261669 edges, 1975 markings/sec, 185 secs
lola: 393222 markings, 1294854 edges, 2024 markings/sec, 190 secs
lola: 403336 markings, 1328911 edges, 2023 markings/sec, 195 secs
lola: 413238 markings, 1362822 edges, 1980 markings/sec, 200 secs
lola: 423350 markings, 1395825 edges, 2022 markings/sec, 205 secs
lola: 433537 markings, 1427827 edges, 2037 markings/sec, 210 secs
lola: 443688 markings, 1460687 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: 196316 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__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: 150
lola: 8331 markings, 28892 edges, 1666 markings/sec, 0 secs
lola: 18569 markings, 65313 edges, 2048 markings/sec, 5 secs
lola: 28789 markings, 101506 edges, 2044 markings/sec, 10 secs
lola: 39041 markings, 137321 edges, 2050 markings/sec, 15 secs
lola: 49160 markings, 172955 edges, 2024 markings/sec, 20 secs
lola: 59292 markings, 208477 edges, 2026 markings/sec, 25 secs
lola: 69522 markings, 244395 edges, 2046 markings/sec, 30 secs
lola: 79622 markings, 281300 edges, 2020 markings/sec, 35 secs
lola: 89576 markings, 318969 edges, 1991 markings/sec, 40 secs
lola: 99775 markings, 355737 edges, 2040 markings/sec, 45 secs
lola: 110014 markings, 392199 edges, 2048 markings/sec, 50 secs
lola: 120060 markings, 429307 edges, 2009 markings/sec, 55 secs
lola: 130217 markings, 464949 edges, 2031 markings/sec, 60 secs
lola: 140448 markings, 503210 edges, 2046 markings/sec, 65 secs
lola: 150689 markings, 540786 edges, 2048 markings/sec, 70 secs
lola: 160969 markings, 576564 edges, 2056 markings/sec, 75 secs
lola: 171198 markings, 613746 edges, 2046 markings/sec, 80 secs
lola: 181395 markings, 651470 edges, 2039 markings/sec, 85 secs
lola: 191530 markings, 687364 edges, 2027 markings/sec, 90 secs
lola: 201626 markings, 723840 edges, 2019 markings/sec, 95 secs
lola: 211476 markings, 759136 edges, 1970 markings/sec, 100 secs
lola: 221447 markings, 796308 edges, 1994 markings/sec, 105 secs
lola: 231471 markings, 832061 edges, 2005 markings/sec, 110 secs
lola: 241588 markings, 868348 edges, 2023 markings/sec, 115 secs
lola: 251625 markings, 906373 edges, 2007 markings/sec, 120 secs
lola: 261749 markings, 942435 edges, 2025 markings/sec, 125 secs
lola: 271830 markings, 980804 edges, 2016 markings/sec, 130 secs
lola: 281844 markings, 1018227 edges, 2003 markings/sec, 135 secs
lola: 291760 markings, 1053436 edges, 1983 markings/sec, 140 secs
lola: 301840 markings, 1088842 edges, 2016 markings/sec, 145 secs
lola: 311885 markings, 1125493 edges, 2009 markings/sec, 150 secs
lola: 321951 markings, 1161965 edges, 2013 markings/sec, 155 secs
lola: 331903 markings, 1198025 edges, 1990 markings/sec, 160 secs
lola: 341979 markings, 1233878 edges, 2015 markings/sec, 165 secs
lola: 351990 markings, 1272870 edges, 2002 markings/sec, 170 secs
lola: 362072 markings, 1310783 edges, 2016 markings/sec, 175 secs
lola: 372220 markings, 1347883 edges, 2030 markings/sec, 180 secs
lola: 382355 markings, 1385675 edges, 2027 markings/sec, 185 secs
lola: 392302 markings, 1424614 edges, 1989 markings/sec, 190 secs
lola: 402382 markings, 1462257 edges, 2016 markings/sec, 195 secs
lola: 412427 markings, 1499667 edges, 2009 markings/sec, 200 secs
lola: 422482 markings, 1536760 edges, 2011 markings/sec, 205 secs
lola: 432681 markings, 1574197 edges, 2040 markings/sec, 210 secs
lola: 442864 markings, 1612926 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: 176824 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__1_14_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__1_14_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 150
lola: 8545 markings, 27452 edges, 1709 markings/sec, 0 secs
lola: 18900 markings, 59767 edges, 2071 markings/sec, 5 secs
lola: 29212 markings, 92788 edges, 2062 markings/sec, 10 secs
lola: 39542 markings, 125837 edges, 2066 markings/sec, 15 secs
lola: 49902 markings, 158109 edges, 2072 markings/sec, 20 secs
lola: 60180 markings, 190867 edges, 2056 markings/sec, 25 secs
lola: 70534 markings, 223948 edges, 2071 markings/sec, 30 secs
lola: 80892 markings, 257110 edges, 2072 markings/sec, 35 secs
lola: 91226 markings, 289966 edges, 2067 markings/sec, 40 secs
lola: 101542 markings, 323758 edges, 2063 markings/sec, 45 secs
lola: 111884 markings, 357865 edges, 2068 markings/sec, 50 secs
lola: 122230 markings, 390344 edges, 2069 markings/sec, 55 secs
lola: 132546 markings, 423647 edges, 2063 markings/sec, 60 secs
lola: 142937 markings, 453685 edges, 2078 markings/sec, 65 secs
lola: 153328 markings, 484598 edges, 2078 markings/sec, 70 secs
lola: 163724 markings, 514522 edges, 2079 markings/sec, 75 secs
lola: 174165 markings, 543406 edges, 2088 markings/sec, 80 secs
lola: 184554 markings, 574584 edges, 2078 markings/sec, 85 secs
lola: 194973 markings, 604598 edges, 2084 markings/sec, 90 secs
lola: 205330 markings, 636625 edges, 2071 markings/sec, 95 secs
lola: 215684 markings, 668919 edges, 2071 markings/sec, 100 secs
lola: 226052 markings, 700982 edges, 2074 markings/sec, 105 secs
lola: 236356 markings, 733724 edges, 2061 markings/sec, 110 secs
lola: 246698 markings, 766522 edges, 2068 markings/sec, 115 secs
lola: 257082 markings, 798088 edges, 2077 markings/sec, 120 secs
lola: 267509 markings, 828982 edges, 2085 markings/sec, 125 secs
lola: 277925 markings, 860141 edges, 2083 markings/sec, 130 secs
lola: 288355 markings, 890412 edges, 2086 markings/sec, 135 secs
lola: 298735 markings, 922232 edges, 2076 markings/sec, 140 secs
lola: 309141 markings, 952739 edges, 2081 markings/sec, 145 secs
lola: 319537 markings, 983654 edges, 2079 markings/sec, 150 secs
lola: 329915 markings, 1014963 edges, 2076 markings/sec, 155 secs
lola: 340345 markings, 1044048 edges, 2086 markings/sec, 160 secs
lola: 350737 markings, 1075278 edges, 2078 markings/sec, 165 secs
lola: 361144 markings, 1105347 edges, 2081 markings/sec, 170 secs
lola: 371522 markings, 1136517 edges, 2076 markings/sec, 175 secs
lola: 381888 markings, 1167872 edges, 2073 markings/sec, 180 secs
lola: 392307 markings, 1197731 edges, 2084 markings/sec, 185 secs
lola: 402726 markings, 1228169 edges, 2084 markings/sec, 190 secs
lola: 413150 markings, 1258793 edges, 2085 markings/sec, 195 secs
lola: 423579 markings, 1288941 edges, 2086 markings/sec, 200 secs
lola: 433981 markings, 1320127 edges, 2080 markings/sec, 205 secs
lola: 444351 markings, 1352498 edges, 2074 markings/sec, 210 secs
lola: 454699 markings, 1386000 edges, 2070 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: 190492 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__11_18_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__11_18_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 150
lola: 8168 markings, 26807 edges, 1634 markings/sec, 0 secs
lola: 18197 markings, 62650 edges, 2006 markings/sec, 5 secs
lola: 28247 markings, 96045 edges, 2010 markings/sec, 10 secs
lola: 38339 markings, 127824 edges, 2018 markings/sec, 15 secs
lola: 48404 markings, 160251 edges, 2013 markings/sec, 20 secs
lola: 58406 markings, 193940 edges, 2000 markings/sec, 25 secs
lola: 68443 markings, 227673 edges, 2007 markings/sec, 30 secs
lola: 78370 markings, 261741 edges, 1985 markings/sec, 35 secs
lola: 88200 markings, 295152 edges, 1966 markings/sec, 40 secs
lola: 98230 markings, 330194 edges, 2006 markings/sec, 45 secs
lola: 108156 markings, 362674 edges, 1985 markings/sec, 50 secs
lola: 118001 markings, 394271 edges, 1969 markings/sec, 55 secs
lola: 127924 markings, 426191 edges, 1985 markings/sec, 60 secs
lola: 137831 markings, 458235 edges, 1981 markings/sec, 65 secs
lola: 147796 markings, 490696 edges, 1993 markings/sec, 70 secs
lola: 157687 markings, 523167 edges, 1978 markings/sec, 75 secs
lola: 167599 markings, 555622 edges, 1982 markings/sec, 80 secs
lola: 177693 markings, 588183 edges, 2019 markings/sec, 85 secs
lola: 187573 markings, 620784 edges, 1976 markings/sec, 90 secs
lola: 197671 markings, 653229 edges, 2020 markings/sec, 95 secs
lola: 207739 markings, 686095 edges, 2014 markings/sec, 100 secs
lola: 217794 markings, 719735 edges, 2011 markings/sec, 105 secs
lola: 227847 markings, 753646 edges, 2011 markings/sec, 110 secs
lola: 237942 markings, 786456 edges, 2019 markings/sec, 115 secs
lola: 247981 markings, 820805 edges, 2008 markings/sec, 120 secs
lola: 258064 markings, 853894 edges, 2017 markings/sec, 125 secs
lola: 267997 markings, 885533 edges, 1987 markings/sec, 130 secs
lola: 278077 markings, 917731 edges, 2016 markings/sec, 135 secs
lola: 288185 markings, 949808 edges, 2022 markings/sec, 140 secs
lola: 298298 markings, 981999 edges, 2023 markings/sec, 145 secs
lola: 308399 markings, 1014769 edges, 2020 markings/sec, 150 secs
lola: 318490 markings, 1047698 edges, 2018 markings/sec, 155 secs
lola: 328527 markings, 1082672 edges, 2007 markings/sec, 160 secs
lola: 338469 markings, 1116304 edges, 1988 markings/sec, 165 secs
lola: 348495 markings, 1151113 edges, 2005 markings/sec, 170 secs
lola: 358444 markings, 1183999 edges, 1990 markings/sec, 175 secs
lola: 368441 markings, 1218140 edges, 1999 markings/sec, 180 secs
lola: 378446 markings, 1253234 edges, 2001 markings/sec, 185 secs
lola: 388411 markings, 1288545 edges, 1993 markings/sec, 190 secs
lola: 398503 markings, 1322430 edges, 2018 markings/sec, 195 secs
lola: 408601 markings, 1356112 edges, 2020 markings/sec, 200 secs
lola: 418729 markings, 1388255 edges, 2026 markings/sec, 205 secs
lola: 428782 markings, 1420992 edges, 2011 markings/sec, 210 secs
lola: 438657 markings, 1455111 edges, 1975 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: 196552 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__19_9_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__19_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: 150
lola: 8215 markings, 25638 edges, 1643 markings/sec, 0 secs
lola: 18182 markings, 59867 edges, 1993 markings/sec, 5 secs
lola: 27771 markings, 94188 edges, 1918 markings/sec, 10 secs
lola: 37719 markings, 127432 edges, 1990 markings/sec, 15 secs
lola: 47785 markings, 161118 edges, 2013 markings/sec, 20 secs
lola: 57832 markings, 194940 edges, 2009 markings/sec, 25 secs
lola: 67738 markings, 228053 edges, 1981 markings/sec, 30 secs
lola: 77862 markings, 258299 edges, 2025 markings/sec, 35 secs
lola: 87942 markings, 288658 edges, 2016 markings/sec, 40 secs
lola: 97977 markings, 322210 edges, 2007 markings/sec, 45 secs
lola: 108091 markings, 352115 edges, 2023 markings/sec, 50 secs
lola: 118072 markings, 385629 edges, 1996 markings/sec, 55 secs
lola: 128134 markings, 417656 edges, 2012 markings/sec, 60 secs
lola: 138158 markings, 451736 edges, 2005 markings/sec, 65 secs
lola: 148182 markings, 486160 edges, 2005 markings/sec, 70 secs
lola: 158143 markings, 522211 edges, 1992 markings/sec, 75 secs
lola: 168144 markings, 555077 edges, 2000 markings/sec, 80 secs
lola: 178157 markings, 589086 edges, 2003 markings/sec, 85 secs
lola: 188186 markings, 622490 edges, 2006 markings/sec, 90 secs
lola: 198181 markings, 655922 edges, 1999 markings/sec, 95 secs
lola: 207852 markings, 691526 edges, 1934 markings/sec, 100 secs
lola: 217524 markings, 726597 edges, 1934 markings/sec, 105 secs
lola: 227354 markings, 761240 edges, 1966 markings/sec, 110 secs
lola: 237313 markings, 794932 edges, 1992 markings/sec, 115 secs
lola: 247418 markings, 824460 edges, 2021 markings/sec, 120 secs
lola: 257442 markings, 856272 edges, 2005 markings/sec, 125 secs
lola: 267397 markings, 888274 edges, 1991 markings/sec, 130 secs
lola: 277174 markings, 922694 edges, 1955 markings/sec, 135 secs
lola: 287102 markings, 952347 edges, 1986 markings/sec, 140 secs
lola: 296778 markings, 983098 edges, 1935 markings/sec, 145 secs
lola: 306820 markings, 1015664 edges, 2008 markings/sec, 150 secs
lola: 316776 markings, 1051773 edges, 1991 markings/sec, 155 secs
lola: 326808 markings, 1085759 edges, 2006 markings/sec, 160 secs
lola: 336585 markings, 1118297 edges, 1955 markings/sec, 165 secs
lola: 346581 markings, 1152810 edges, 1999 markings/sec, 170 secs
lola: 356588 markings, 1187357 edges, 2001 markings/sec, 175 secs
lola: 366536 markings, 1224617 edges, 1990 markings/sec, 180 secs
lola: 376470 markings, 1260271 edges, 1987 markings/sec, 185 secs
lola: 386423 markings, 1294800 edges, 1991 markings/sec, 190 secs
lola: 396431 markings, 1329530 edges, 2002 markings/sec, 195 secs
lola: 406450 markings, 1363687 edges, 2004 markings/sec, 200 secs
lola: 416436 markings, 1396281 edges, 1997 markings/sec, 205 secs
lola: 426463 markings, 1429526 edges, 2005 markings/sec, 210 secs
lola: 436539 markings, 1463040 edges, 2015 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: 187384 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__9_17_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__9_17_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 150
lola: 8394 markings, 27671 edges, 1679 markings/sec, 0 secs
lola: 18466 markings, 61583 edges, 2014 markings/sec, 5 secs
lola: 28520 markings, 96173 edges, 2011 markings/sec, 10 secs
lola: 38554 markings, 130614 edges, 2007 markings/sec, 15 secs
lola: 48595 markings, 164804 edges, 2008 markings/sec, 20 secs
lola: 58676 markings, 198592 edges, 2016 markings/sec, 25 secs
lola: 68550 markings, 231554 edges, 1975 markings/sec, 30 secs
lola: 78414 markings, 264197 edges, 1973 markings/sec, 35 secs
lola: 88535 markings, 295333 edges, 2024 markings/sec, 40 secs
lola: 98636 markings, 327414 edges, 2020 markings/sec, 45 secs
lola: 108677 markings, 361921 edges, 2008 markings/sec, 50 secs
lola: 118734 markings, 395008 edges, 2011 markings/sec, 55 secs
lola: 128804 markings, 427858 edges, 2014 markings/sec, 60 secs
lola: 138863 markings, 460060 edges, 2012 markings/sec, 65 secs
lola: 148924 markings, 493278 edges, 2012 markings/sec, 70 secs
lola: 158918 markings, 528364 edges, 1999 markings/sec, 75 secs
lola: 168786 markings, 562578 edges, 1974 markings/sec, 80 secs
lola: 178902 markings, 595261 edges, 2023 markings/sec, 85 secs
lola: 189014 markings, 627065 edges, 2022 markings/sec, 90 secs
lola: 199122 markings, 659045 edges, 2022 markings/sec, 95 secs
lola: 209286 markings, 689535 edges, 2033 markings/sec, 100 secs
lola: 219408 markings, 721386 edges, 2024 markings/sec, 105 secs
lola: 229475 markings, 755526 edges, 2013 markings/sec, 110 secs
lola: 239522 markings, 790025 edges, 2009 markings/sec, 115 secs
lola: 249602 markings, 823031 edges, 2016 markings/sec, 120 secs
lola: 259619 markings, 856507 edges, 2003 markings/sec, 125 secs
lola: 269681 markings, 890072 edges, 2012 markings/sec, 130 secs
lola: 279740 markings, 923479 edges, 2012 markings/sec, 135 secs
lola: 289783 markings, 956375 edges, 2009 markings/sec, 140 secs
lola: 299816 markings, 989777 edges, 2007 markings/sec, 145 secs
lola: 309795 markings, 1023192 edges, 1996 markings/sec, 150 secs
lola: 319903 markings, 1055293 edges, 2022 markings/sec, 155 secs
lola: 330052 markings, 1086797 edges, 2030 markings/sec, 160 secs
lola: 340109 markings, 1121539 edges, 2011 markings/sec, 165 secs
lola: 350214 markings, 1153824 edges, 2021 markings/sec, 170 secs
lola: 360295 markings, 1187472 edges, 2016 markings/sec, 175 secs
lola: 370364 markings, 1219688 edges, 2014 markings/sec, 180 secs
lola: 380473 markings, 1250885 edges, 2022 markings/sec, 185 secs
lola: 390581 markings, 1282056 edges, 2022 markings/sec, 190 secs
lola: 400684 markings, 1314038 edges, 2021 markings/sec, 195 secs
lola: 410813 markings, 1344767 edges, 2026 markings/sec, 200 secs
lola: 420962 markings, 1373969 edges, 2030 markings/sec, 205 secs
lola: 431047 markings, 1404908 edges, 2017 markings/sec, 210 secs
lola: 441175 markings, 1435488 edges, 2026 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: 199000 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: 61888 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: Child process aborted or communication problem between parent and child process
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:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 59432 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 1552585177424

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

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