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.r066-ebro-155234666400052.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 win2018
Input is Diffusion2D-PT-D30N010, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r066-ebro-155234666400052
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.2M
-rw-r--r-- 1 mcc users 4.5K Feb 10 21:34 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 10 21:34 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Feb 6 17:55 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 6 17:55 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 109 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 347 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.6K Feb 4 23:31 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.7K Feb 4 23:31 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 4 22:34 LTLFireability.txt
-rw-r--r-- 1 mcc users 11K Feb 4 22:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.4K Feb 3 07:21 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Feb 3 07:21 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Jan 30 23:45 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Jan 30 23:45 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 4 22:19 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 4 22:19 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 8 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 3.0M Mar 10 17:31 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of positive values
NUM_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME Diffusion2D-PT-D30N010-UpperBounds-00
FORMULA_NAME Diffusion2D-PT-D30N010-UpperBounds-01
FORMULA_NAME Diffusion2D-PT-D30N010-UpperBounds-02
FORMULA_NAME Diffusion2D-PT-D30N010-UpperBounds-03
FORMULA_NAME Diffusion2D-PT-D30N010-UpperBounds-04
FORMULA_NAME Diffusion2D-PT-D30N010-UpperBounds-05
FORMULA_NAME Diffusion2D-PT-D30N010-UpperBounds-06
FORMULA_NAME Diffusion2D-PT-D30N010-UpperBounds-07
FORMULA_NAME Diffusion2D-PT-D30N010-UpperBounds-08
FORMULA_NAME Diffusion2D-PT-D30N010-UpperBounds-09
FORMULA_NAME Diffusion2D-PT-D30N010-UpperBounds-10
FORMULA_NAME Diffusion2D-PT-D30N010-UpperBounds-11
FORMULA_NAME Diffusion2D-PT-D30N010-UpperBounds-12
FORMULA_NAME Diffusion2D-PT-D30N010-UpperBounds-13
FORMULA_NAME Diffusion2D-PT-D30N010-UpperBounds-14
FORMULA_NAME Diffusion2D-PT-D30N010-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1552916694689

info: Time: 3600 - MCC
===========================================================================================
prep: translating Diffusion2D-PT-D30N010 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating Diffusion2D-PT-D30N010 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ Diffusion2D-PT-D30N010 @ 3569 seconds
lola: LoLA will run for 3569 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 7744/65536 symbol table entries, 1051 collisions
lola: preprocessing...
lola: Size of bit vector: 28800
lola: finding significant places
lola: 900 places, 6844 transitions, 899 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 900 transition conflict sets
lola: TASK
lola: reading formula from Diffusion2D-PT-D30N010-UpperBounds.task
lola: MAX(cAMP__24_17_) : MAX(cAMP__29_30_) : MAX(cAMP__1_13_) : MAX(cAMP__29_5_) : MAX(cAMP__9_24_) : MAX(cAMP__30_18_) : MAX(cAMP__17_18_) : MAX(cAMP__8_26_) : MAX(cAMP__20_2_) : MAX(cAMP__18_7_) : MAX(cAMP__25_20_) : MAX(cAMP__8_17_) : MAX(cAMP__19_15_) : MAX(cAMP__1_14_) : MAX(cAMP__25_18_) : MAX(cAMP__1_6_)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__24_17_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__24_17_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D30N010-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: 8267 markings, 30150 edges, 1653 markings/sec, 0 secs
lola: 18233 markings, 64774 edges, 1993 markings/sec, 5 secs
lola: 28226 markings, 101254 edges, 1999 markings/sec, 10 secs
lola: 38262 markings, 137081 edges, 2007 markings/sec, 15 secs
lola: 48255 markings, 171619 edges, 1999 markings/sec, 20 secs
lola: 58179 markings, 207031 edges, 1985 markings/sec, 25 secs
lola: 68224 markings, 241186 edges, 2009 markings/sec, 30 secs
lola: 78253 markings, 276565 edges, 2006 markings/sec, 35 secs
lola: 88228 markings, 314191 edges, 1995 markings/sec, 40 secs
lola: 98214 markings, 351017 edges, 1997 markings/sec, 45 secs
lola: 108232 markings, 387041 edges, 2004 markings/sec, 50 secs
lola: 118251 markings, 422827 edges, 2004 markings/sec, 55 secs
lola: 128255 markings, 459266 edges, 2001 markings/sec, 60 secs
lola: 138244 markings, 496367 edges, 1998 markings/sec, 65 secs
lola: 148292 markings, 531379 edges, 2010 markings/sec, 70 secs
lola: 158338 markings, 566366 edges, 2009 markings/sec, 75 secs
lola: 168363 markings, 601583 edges, 2005 markings/sec, 80 secs
lola: 178372 markings, 637193 edges, 2002 markings/sec, 85 secs
lola: 188398 markings, 672549 edges, 2005 markings/sec, 90 secs
lola: 198391 markings, 708858 edges, 1999 markings/sec, 95 secs
lola: 208403 markings, 745396 edges, 2002 markings/sec, 100 secs
lola: 218394 markings, 782776 edges, 1998 markings/sec, 105 secs
lola: 228405 markings, 818501 edges, 2002 markings/sec, 110 secs
lola: 238407 markings, 853942 edges, 2000 markings/sec, 115 secs
lola: 248408 markings, 889817 edges, 2000 markings/sec, 120 secs
lola: 258406 markings, 925601 edges, 2000 markings/sec, 125 secs
lola: 268391 markings, 961381 edges, 1997 markings/sec, 130 secs
lola: 278383 markings, 997070 edges, 1998 markings/sec, 135 secs
lola: 288430 markings, 1031708 edges, 2009 markings/sec, 140 secs
lola: 298483 markings, 1066618 edges, 2011 markings/sec, 145 secs
lola: 308481 markings, 1103729 edges, 2000 markings/sec, 150 secs
lola: 318481 markings, 1139806 edges, 2000 markings/sec, 155 secs
lola: 328525 markings, 1173976 edges, 2009 markings/sec, 160 secs
lola: 338490 markings, 1210963 edges, 1993 markings/sec, 165 secs
lola: 348445 markings, 1246376 edges, 1991 markings/sec, 170 secs
lola: 358377 markings, 1280119 edges, 1986 markings/sec, 175 secs
lola: 368228 markings, 1316919 edges, 1970 markings/sec, 180 secs
lola: 378107 markings, 1353370 edges, 1976 markings/sec, 185 secs
lola: 387994 markings, 1390219 edges, 1977 markings/sec, 190 secs
lola: 397854 markings, 1427005 edges, 1972 markings/sec, 195 secs
lola: 407778 markings, 1463302 edges, 1985 markings/sec, 200 secs
lola: 417802 markings, 1498357 edges, 2005 markings/sec, 205 secs
lola: 427703 markings, 1534224 edges, 1980 markings/sec, 210 secs
lola: 437684 markings, 1571621 edges, 1996 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: 152084 KB
lola: time consumption: 224 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__29_30_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__29_30_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D30N010-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: 8554 markings, 27712 edges, 1711 markings/sec, 0 secs
lola: 18696 markings, 59981 edges, 2028 markings/sec, 5 secs
lola: 28863 markings, 91420 edges, 2033 markings/sec, 10 secs
lola: 39020 markings, 123408 edges, 2031 markings/sec, 15 secs
lola: 49158 markings, 155436 edges, 2028 markings/sec, 20 secs
lola: 59317 markings, 185421 edges, 2032 markings/sec, 25 secs
lola: 69505 markings, 216061 edges, 2038 markings/sec, 30 secs
lola: 79704 markings, 246241 edges, 2040 markings/sec, 35 secs
lola: 89891 markings, 276891 edges, 2037 markings/sec, 40 secs
lola: 100055 markings, 308697 edges, 2033 markings/sec, 45 secs
lola: 110259 markings, 339188 edges, 2041 markings/sec, 50 secs
lola: 120413 markings, 371159 edges, 2031 markings/sec, 55 secs
lola: 130587 markings, 401789 edges, 2035 markings/sec, 60 secs
lola: 140784 markings, 432061 edges, 2039 markings/sec, 65 secs
lola: 150930 markings, 462412 edges, 2029 markings/sec, 70 secs
lola: 161061 markings, 491696 edges, 2026 markings/sec, 75 secs
lola: 170969 markings, 521124 edges, 1982 markings/sec, 80 secs
lola: 181122 markings, 550676 edges, 2031 markings/sec, 85 secs
lola: 191257 markings, 581498 edges, 2027 markings/sec, 90 secs
lola: 201390 markings, 611206 edges, 2027 markings/sec, 95 secs
lola: 211541 markings, 642076 edges, 2030 markings/sec, 100 secs
lola: 221684 markings, 672928 edges, 2029 markings/sec, 105 secs
lola: 231814 markings, 704631 edges, 2026 markings/sec, 110 secs
lola: 241990 markings, 734801 edges, 2035 markings/sec, 115 secs
lola: 252118 markings, 765745 edges, 2026 markings/sec, 120 secs
lola: 262235 markings, 796821 edges, 2023 markings/sec, 125 secs
lola: 272385 markings, 828115 edges, 2030 markings/sec, 130 secs
lola: 282574 markings, 858954 edges, 2038 markings/sec, 135 secs
lola: 292775 markings, 888719 edges, 2040 markings/sec, 140 secs
lola: 302867 markings, 917976 edges, 2018 markings/sec, 145 secs
lola: 313060 markings, 947616 edges, 2039 markings/sec, 150 secs
lola: 323277 markings, 977745 edges, 2043 markings/sec, 155 secs
lola: 333418 markings, 1008840 edges, 2028 markings/sec, 160 secs
lola: 343631 markings, 1039327 edges, 2043 markings/sec, 165 secs
lola: 353800 markings, 1069328 edges, 2034 markings/sec, 170 secs
lola: 363914 markings, 1101383 edges, 2023 markings/sec, 175 secs
lola: 374048 markings, 1134140 edges, 2027 markings/sec, 180 secs
lola: 384224 markings, 1165435 edges, 2035 markings/sec, 185 secs
lola: 394403 markings, 1195697 edges, 2036 markings/sec, 190 secs
lola: 404562 markings, 1226716 edges, 2032 markings/sec, 195 secs
lola: 414744 markings, 1257343 edges, 2036 markings/sec, 200 secs
lola: 424967 markings, 1286742 edges, 2045 markings/sec, 205 secs
lola: 435188 markings, 1316641 edges, 2044 markings/sec, 210 secs
lola: 445391 markings, 1346765 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: 143712 KB
lola: time consumption: 447 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__1_13_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__1_13_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D30N010-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: 8299 markings, 27196 edges, 1660 markings/sec, 0 secs
lola: 18440 markings, 59344 edges, 2028 markings/sec, 5 secs
lola: 28552 markings, 92642 edges, 2022 markings/sec, 10 secs
lola: 38670 markings, 125659 edges, 2024 markings/sec, 15 secs
lola: 48763 markings, 158998 edges, 2019 markings/sec, 20 secs
lola: 58896 markings, 191023 edges, 2027 markings/sec, 25 secs
lola: 68921 markings, 225621 edges, 2005 markings/sec, 30 secs
lola: 79028 markings, 258226 edges, 2021 markings/sec, 35 secs
lola: 89140 markings, 290584 edges, 2022 markings/sec, 40 secs
lola: 99305 markings, 321337 edges, 2033 markings/sec, 45 secs
lola: 109426 markings, 353681 edges, 2024 markings/sec, 50 secs
lola: 119542 markings, 385669 edges, 2023 markings/sec, 55 secs
lola: 129650 markings, 418382 edges, 2022 markings/sec, 60 secs
lola: 139736 markings, 451196 edges, 2017 markings/sec, 65 secs
lola: 149758 markings, 485078 edges, 2004 markings/sec, 70 secs
lola: 159808 markings, 517198 edges, 2010 markings/sec, 75 secs
lola: 169937 markings, 548560 edges, 2026 markings/sec, 80 secs
lola: 180050 markings, 581261 edges, 2023 markings/sec, 85 secs
lola: 190162 markings, 613901 edges, 2022 markings/sec, 90 secs
lola: 200256 markings, 645877 edges, 2019 markings/sec, 95 secs
lola: 210314 markings, 678554 edges, 2012 markings/sec, 100 secs
lola: 220275 markings, 711675 edges, 1992 markings/sec, 105 secs
lola: 230433 markings, 742605 edges, 2032 markings/sec, 110 secs
lola: 240540 markings, 775219 edges, 2021 markings/sec, 115 secs
lola: 250685 markings, 806252 edges, 2029 markings/sec, 120 secs
lola: 260808 markings, 838067 edges, 2025 markings/sec, 125 secs
lola: 270909 markings, 871137 edges, 2020 markings/sec, 130 secs
lola: 281004 markings, 904361 edges, 2019 markings/sec, 135 secs
lola: 291123 markings, 936776 edges, 2024 markings/sec, 140 secs
lola: 301226 markings, 969890 edges, 2021 markings/sec, 145 secs
lola: 311256 markings, 1002566 edges, 2006 markings/sec, 150 secs
lola: 321116 markings, 1035039 edges, 1972 markings/sec, 155 secs
lola: 331117 markings, 1065244 edges, 2000 markings/sec, 160 secs
lola: 341128 markings, 1096766 edges, 2002 markings/sec, 165 secs
lola: 351129 markings, 1128450 edges, 2000 markings/sec, 170 secs
lola: 361156 markings, 1159688 edges, 2005 markings/sec, 175 secs
lola: 371130 markings, 1192154 edges, 1995 markings/sec, 180 secs
lola: 381167 markings, 1222889 edges, 2007 markings/sec, 185 secs
lola: 391104 markings, 1254158 edges, 1987 markings/sec, 190 secs
lola: 401084 markings, 1286660 edges, 1996 markings/sec, 195 secs
lola: 411053 markings, 1318991 edges, 1994 markings/sec, 200 secs
lola: 421039 markings, 1351096 edges, 1997 markings/sec, 205 secs
lola: 430859 markings, 1384310 edges, 1964 markings/sec, 210 secs
lola: 440806 markings, 1415918 edges, 1989 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: 153744 KB
lola: time consumption: 671 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__29_5_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__29_5_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D30N010-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: 8288 markings, 27831 edges, 1658 markings/sec, 0 secs
lola: 18394 markings, 62769 edges, 2021 markings/sec, 5 secs
lola: 28373 markings, 98094 edges, 1996 markings/sec, 10 secs
lola: 38430 markings, 133430 edges, 2011 markings/sec, 15 secs
lola: 48453 markings, 168514 edges, 2005 markings/sec, 20 secs
lola: 58444 markings, 202280 edges, 1998 markings/sec, 25 secs
lola: 68452 markings, 237475 edges, 2002 markings/sec, 30 secs
lola: 78420 markings, 272077 edges, 1994 markings/sec, 35 secs
lola: 88452 markings, 307126 edges, 2006 markings/sec, 40 secs
lola: 98548 markings, 343215 edges, 2019 markings/sec, 45 secs
lola: 108645 markings, 379184 edges, 2019 markings/sec, 50 secs
lola: 118812 markings, 415844 edges, 2033 markings/sec, 55 secs
lola: 129013 markings, 451817 edges, 2040 markings/sec, 60 secs
lola: 139204 markings, 487474 edges, 2038 markings/sec, 65 secs
lola: 149407 markings, 523261 edges, 2041 markings/sec, 70 secs
lola: 159579 markings, 559802 edges, 2034 markings/sec, 75 secs
lola: 169703 markings, 597501 edges, 2025 markings/sec, 80 secs
lola: 179908 markings, 633628 edges, 2041 markings/sec, 85 secs
lola: 189895 markings, 670907 edges, 1997 markings/sec, 90 secs
lola: 200076 markings, 707039 edges, 2036 markings/sec, 95 secs
lola: 210239 markings, 743856 edges, 2033 markings/sec, 100 secs
lola: 220221 markings, 777937 edges, 1996 markings/sec, 105 secs
lola: 230386 markings, 813962 edges, 2033 markings/sec, 110 secs
lola: 240527 markings, 850630 edges, 2028 markings/sec, 115 secs
lola: 250706 markings, 886280 edges, 2036 markings/sec, 120 secs
lola: 260887 markings, 922175 edges, 2036 markings/sec, 125 secs
lola: 271018 markings, 959292 edges, 2026 markings/sec, 130 secs
lola: 281197 markings, 994304 edges, 2036 markings/sec, 135 secs
lola: 291301 markings, 1030920 edges, 2021 markings/sec, 140 secs
lola: 301401 markings, 1066644 edges, 2020 markings/sec, 145 secs
lola: 311517 markings, 1102405 edges, 2023 markings/sec, 150 secs
lola: 321650 markings, 1138420 edges, 2027 markings/sec, 155 secs
lola: 331698 markings, 1173090 edges, 2010 markings/sec, 160 secs
lola: 341797 markings, 1209232 edges, 2020 markings/sec, 165 secs
lola: 351889 markings, 1245474 edges, 2018 markings/sec, 170 secs
lola: 361890 markings, 1284722 edges, 2000 markings/sec, 175 secs
lola: 371905 markings, 1323205 edges, 2003 markings/sec, 180 secs
lola: 382011 markings, 1359050 edges, 2021 markings/sec, 185 secs
lola: 392058 markings, 1395254 edges, 2009 markings/sec, 190 secs
lola: 402278 markings, 1430552 edges, 2044 markings/sec, 195 secs
lola: 412479 markings, 1466028 edges, 2040 markings/sec, 200 secs
lola: 422659 markings, 1502107 edges, 2036 markings/sec, 205 secs
lola: 432817 markings, 1538230 edges, 2032 markings/sec, 210 secs
lola: 442907 markings, 1576035 edges, 2018 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: 146052 KB
lola: time consumption: 893 seconds
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__9_24_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__9_24_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D30N010-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: 8134 markings, 29659 edges, 1627 markings/sec, 0 secs
lola: 18007 markings, 65679 edges, 1975 markings/sec, 5 secs
lola: 27858 markings, 100804 edges, 1970 markings/sec, 10 secs
lola: 37671 markings, 137858 edges, 1963 markings/sec, 15 secs
lola: 47498 markings, 173386 edges, 1965 markings/sec, 20 secs
lola: 57315 markings, 210251 edges, 1963 markings/sec, 25 secs
lola: 67147 markings, 246132 edges, 1966 markings/sec, 30 secs
lola: 76989 markings, 282801 edges, 1968 markings/sec, 35 secs
lola: 86847 markings, 318583 edges, 1972 markings/sec, 40 secs
lola: 96653 markings, 354216 edges, 1961 markings/sec, 45 secs
lola: 106425 markings, 390280 edges, 1954 markings/sec, 50 secs
lola: 116216 markings, 425740 edges, 1958 markings/sec, 55 secs
lola: 125983 markings, 462092 edges, 1953 markings/sec, 60 secs
lola: 135727 markings, 499245 edges, 1949 markings/sec, 65 secs
lola: 145503 markings, 536296 edges, 1955 markings/sec, 70 secs
lola: 155170 markings, 572475 edges, 1933 markings/sec, 75 secs
lola: 165020 markings, 607868 edges, 1970 markings/sec, 80 secs
lola: 174826 markings, 644398 edges, 1961 markings/sec, 85 secs
lola: 184521 markings, 684004 edges, 1939 markings/sec, 90 secs
lola: 194306 markings, 718892 edges, 1957 markings/sec, 95 secs
lola: 204154 markings, 755875 edges, 1970 markings/sec, 100 secs
lola: 213838 markings, 792024 edges, 1937 markings/sec, 105 secs
lola: 223373 markings, 828255 edges, 1907 markings/sec, 110 secs
lola: 233078 markings, 864690 edges, 1941 markings/sec, 115 secs
lola: 242964 markings, 903575 edges, 1977 markings/sec, 120 secs
lola: 252850 markings, 942721 edges, 1977 markings/sec, 125 secs
lola: 262781 markings, 978778 edges, 1986 markings/sec, 130 secs
lola: 272600 markings, 1015375 edges, 1964 markings/sec, 135 secs
lola: 282470 markings, 1051971 edges, 1974 markings/sec, 140 secs
lola: 292291 markings, 1088461 edges, 1964 markings/sec, 145 secs
lola: 302121 markings, 1125388 edges, 1966 markings/sec, 150 secs
lola: 311999 markings, 1162926 edges, 1976 markings/sec, 155 secs
lola: 321819 markings, 1200377 edges, 1964 markings/sec, 160 secs
lola: 331687 markings, 1238673 edges, 1974 markings/sec, 165 secs
lola: 341629 markings, 1275555 edges, 1988 markings/sec, 170 secs
lola: 351534 markings, 1312006 edges, 1981 markings/sec, 175 secs
lola: 361425 markings, 1349443 edges, 1978 markings/sec, 180 secs
lola: 371340 markings, 1385497 edges, 1983 markings/sec, 185 secs
lola: 381243 markings, 1422806 edges, 1981 markings/sec, 190 secs
lola: 390885 markings, 1458458 edges, 1928 markings/sec, 195 secs
lola: 400832 markings, 1494220 edges, 1989 markings/sec, 200 secs
lola: 410748 markings, 1531161 edges, 1983 markings/sec, 205 secs
lola: 420584 markings, 1567420 edges, 1967 markings/sec, 210 secs
lola: 430512 markings, 1603286 edges, 1986 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: 152640 KB
lola: time consumption: 1116 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__30_18_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__30_18_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D30N010-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: 8435 markings, 29140 edges, 1687 markings/sec, 0 secs
lola: 18670 markings, 63353 edges, 2047 markings/sec, 5 secs
lola: 28894 markings, 97308 edges, 2045 markings/sec, 10 secs
lola: 38995 markings, 130881 edges, 2020 markings/sec, 15 secs
lola: 49211 markings, 164020 edges, 2043 markings/sec, 20 secs
lola: 59446 markings, 197544 edges, 2047 markings/sec, 25 secs
lola: 69648 markings, 231203 edges, 2040 markings/sec, 30 secs
lola: 79825 markings, 265907 edges, 2035 markings/sec, 35 secs
lola: 90057 markings, 299578 edges, 2046 markings/sec, 40 secs
lola: 100243 markings, 334976 edges, 2037 markings/sec, 45 secs
lola: 110393 markings, 368790 edges, 2030 markings/sec, 50 secs
lola: 120463 markings, 403150 edges, 2014 markings/sec, 55 secs
lola: 130670 markings, 436295 edges, 2041 markings/sec, 60 secs
lola: 140723 markings, 469425 edges, 2011 markings/sec, 65 secs
lola: 150867 markings, 504120 edges, 2029 markings/sec, 70 secs
lola: 160967 markings, 537371 edges, 2020 markings/sec, 75 secs
lola: 171006 markings, 570061 edges, 2008 markings/sec, 80 secs
lola: 181026 markings, 603078 edges, 2004 markings/sec, 85 secs
lola: 191178 markings, 635882 edges, 2030 markings/sec, 90 secs
lola: 201314 markings, 669268 edges, 2027 markings/sec, 95 secs
lola: 211410 markings, 702863 edges, 2019 markings/sec, 100 secs
lola: 221480 markings, 736825 edges, 2014 markings/sec, 105 secs
lola: 231589 markings, 770796 edges, 2022 markings/sec, 110 secs
lola: 241668 markings, 805169 edges, 2016 markings/sec, 115 secs
lola: 251719 markings, 839172 edges, 2010 markings/sec, 120 secs
lola: 261681 markings, 872531 edges, 1992 markings/sec, 125 secs
lola: 271740 markings, 905119 edges, 2012 markings/sec, 130 secs
lola: 281887 markings, 938806 edges, 2029 markings/sec, 135 secs
lola: 292017 markings, 973202 edges, 2026 markings/sec, 140 secs
lola: 302140 markings, 1006804 edges, 2025 markings/sec, 145 secs
lola: 312288 markings, 1039437 edges, 2030 markings/sec, 150 secs
lola: 322319 markings, 1071492 edges, 2006 markings/sec, 155 secs
lola: 332283 markings, 1104045 edges, 1993 markings/sec, 160 secs
lola: 342377 markings, 1137316 edges, 2019 markings/sec, 165 secs
lola: 352464 markings, 1170126 edges, 2017 markings/sec, 170 secs
lola: 362567 markings, 1203692 edges, 2021 markings/sec, 175 secs
lola: 372515 markings, 1236581 edges, 1990 markings/sec, 180 secs
lola: 382597 markings, 1269653 edges, 2016 markings/sec, 185 secs
lola: 392650 markings, 1302896 edges, 2011 markings/sec, 190 secs
lola: 402865 markings, 1335543 edges, 2043 markings/sec, 195 secs
lola: 413038 markings, 1368631 edges, 2035 markings/sec, 200 secs
lola: 423146 markings, 1401604 edges, 2022 markings/sec, 205 secs
lola: 433353 markings, 1435821 edges, 2041 markings/sec, 210 secs
lola: 443598 markings, 1468918 edges, 2049 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: 144240 KB
lola: time consumption: 1339 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__17_18_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__17_18_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D30N010-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: 8358 markings, 26612 edges, 1672 markings/sec, 0 secs
lola: 18285 markings, 60190 edges, 1985 markings/sec, 5 secs
lola: 28196 markings, 93595 edges, 1982 markings/sec, 10 secs
lola: 38089 markings, 128404 edges, 1979 markings/sec, 15 secs
lola: 47883 markings, 161008 edges, 1959 markings/sec, 20 secs
lola: 57763 markings, 196279 edges, 1976 markings/sec, 25 secs
lola: 67593 markings, 233213 edges, 1966 markings/sec, 30 secs
lola: 77512 markings, 265936 edges, 1984 markings/sec, 35 secs
lola: 87361 markings, 298186 edges, 1970 markings/sec, 40 secs
lola: 97195 markings, 331220 edges, 1967 markings/sec, 45 secs
lola: 107164 markings, 362519 edges, 1994 markings/sec, 50 secs
lola: 117050 markings, 396175 edges, 1977 markings/sec, 55 secs
lola: 126927 markings, 430844 edges, 1975 markings/sec, 60 secs
lola: 136804 markings, 464963 edges, 1975 markings/sec, 65 secs
lola: 146680 markings, 498962 edges, 1975 markings/sec, 70 secs
lola: 156582 markings, 532021 edges, 1980 markings/sec, 75 secs
lola: 166528 markings, 563806 edges, 1989 markings/sec, 80 secs
lola: 176484 markings, 595490 edges, 1991 markings/sec, 85 secs
lola: 186368 markings, 626412 edges, 1977 markings/sec, 90 secs
lola: 196206 markings, 657708 edges, 1968 markings/sec, 95 secs
lola: 205974 markings, 691467 edges, 1954 markings/sec, 100 secs
lola: 215768 markings, 725091 edges, 1959 markings/sec, 105 secs
lola: 225604 markings, 756803 edges, 1967 markings/sec, 110 secs
lola: 235453 markings, 788195 edges, 1970 markings/sec, 115 secs
lola: 245215 markings, 819579 edges, 1952 markings/sec, 120 secs
lola: 255055 markings, 851512 edges, 1968 markings/sec, 125 secs
lola: 264868 markings, 883731 edges, 1963 markings/sec, 130 secs
lola: 274666 markings, 916505 edges, 1960 markings/sec, 135 secs
lola: 284282 markings, 949309 edges, 1923 markings/sec, 140 secs
lola: 294126 markings, 983997 edges, 1969 markings/sec, 145 secs
lola: 303851 markings, 1015316 edges, 1945 markings/sec, 150 secs
lola: 313634 markings, 1046511 edges, 1957 markings/sec, 155 secs
lola: 323396 markings, 1078195 edges, 1952 markings/sec, 160 secs
lola: 333233 markings, 1109360 edges, 1967 markings/sec, 165 secs
lola: 342925 markings, 1141583 edges, 1938 markings/sec, 170 secs
lola: 352917 markings, 1173235 edges, 1998 markings/sec, 175 secs
lola: 362869 markings, 1205073 edges, 1990 markings/sec, 180 secs
lola: 372810 markings, 1237503 edges, 1988 markings/sec, 185 secs
lola: 382774 markings, 1269133 edges, 1993 markings/sec, 190 secs
lola: 392674 markings, 1302002 edges, 1980 markings/sec, 195 secs
lola: 402459 markings, 1334048 edges, 1957 markings/sec, 200 secs
lola: 412256 markings, 1365950 edges, 1959 markings/sec, 205 secs
lola: 422086 markings, 1399525 edges, 1966 markings/sec, 210 secs
lola: 431990 markings, 1431537 edges, 1981 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: 178812 KB
lola: time consumption: 1562 seconds
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__8_26_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__8_26_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D30N010-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: 8299 markings, 29069 edges, 1660 markings/sec, 0 secs
lola: 18337 markings, 63349 edges, 2008 markings/sec, 5 secs
lola: 28330 markings, 98509 edges, 1999 markings/sec, 10 secs
lola: 38322 markings, 134335 edges, 1998 markings/sec, 15 secs
lola: 48357 markings, 169719 edges, 2007 markings/sec, 20 secs
lola: 58409 markings, 203201 edges, 2010 markings/sec, 25 secs
lola: 68490 markings, 235839 edges, 2016 markings/sec, 30 secs
lola: 78513 markings, 271066 edges, 2005 markings/sec, 35 secs
lola: 88497 markings, 306470 edges, 1997 markings/sec, 40 secs
lola: 98300 markings, 341347 edges, 1961 markings/sec, 45 secs
lola: 108161 markings, 375265 edges, 1972 markings/sec, 50 secs
lola: 118115 markings, 411304 edges, 1991 markings/sec, 55 secs
lola: 128073 markings, 447838 edges, 1992 markings/sec, 60 secs
lola: 137943 markings, 482053 edges, 1974 markings/sec, 65 secs
lola: 147892 markings, 517450 edges, 1990 markings/sec, 70 secs
lola: 157661 markings, 551237 edges, 1954 markings/sec, 75 secs
lola: 167468 markings, 586080 edges, 1961 markings/sec, 80 secs
lola: 177228 markings, 621074 edges, 1952 markings/sec, 85 secs
lola: 187178 markings, 654472 edges, 1990 markings/sec, 90 secs
lola: 197142 markings, 688588 edges, 1993 markings/sec, 95 secs
lola: 207109 markings, 723347 edges, 1993 markings/sec, 100 secs
lola: 217090 markings, 757141 edges, 1996 markings/sec, 105 secs
lola: 227103 markings, 790376 edges, 2003 markings/sec, 110 secs
lola: 237122 markings, 824202 edges, 2004 markings/sec, 115 secs
lola: 247121 markings, 857959 edges, 2000 markings/sec, 120 secs
lola: 257103 markings, 891887 edges, 1996 markings/sec, 125 secs
lola: 267101 markings, 925631 edges, 2000 markings/sec, 130 secs
lola: 277107 markings, 959266 edges, 2001 markings/sec, 135 secs
lola: 286850 markings, 993259 edges, 1949 markings/sec, 140 secs
lola: 296836 markings, 1028882 edges, 1997 markings/sec, 145 secs
lola: 306845 markings, 1063857 edges, 2002 markings/sec, 150 secs
lola: 316621 markings, 1099482 edges, 1955 markings/sec, 155 secs
lola: 326442 markings, 1134768 edges, 1964 markings/sec, 160 secs
lola: 336343 markings, 1170843 edges, 1980 markings/sec, 165 secs
lola: 346394 markings, 1203710 edges, 2010 markings/sec, 170 secs
lola: 356383 markings, 1238878 edges, 1998 markings/sec, 175 secs
lola: 366356 markings, 1274693 edges, 1995 markings/sec, 180 secs
lola: 376339 markings, 1309863 edges, 1997 markings/sec, 185 secs
lola: 386367 markings, 1343701 edges, 2006 markings/sec, 190 secs
lola: 396372 markings, 1377106 edges, 2001 markings/sec, 195 secs
lola: 406249 markings, 1411410 edges, 1975 markings/sec, 200 secs
lola: 416055 markings, 1444968 edges, 1961 markings/sec, 205 secs
lola: 426058 markings, 1477978 edges, 2001 markings/sec, 210 secs
lola: 435863 markings, 1511481 edges, 1961 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: 159740 KB
lola: time consumption: 1785 seconds
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__20_2_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__20_2_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D30N010-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: 8079 markings, 28892 edges, 1616 markings/sec, 0 secs
lola: 17815 markings, 62515 edges, 1947 markings/sec, 5 secs
lola: 27339 markings, 97100 edges, 1905 markings/sec, 10 secs
lola: 37093 markings, 131879 edges, 1951 markings/sec, 15 secs
lola: 46667 markings, 164243 edges, 1915 markings/sec, 20 secs
lola: 56423 markings, 198660 edges, 1951 markings/sec, 25 secs
lola: 66128 markings, 231592 edges, 1941 markings/sec, 30 secs
lola: 75906 markings, 265556 edges, 1956 markings/sec, 35 secs
lola: 85617 markings, 299516 edges, 1942 markings/sec, 40 secs
lola: 95412 markings, 332825 edges, 1959 markings/sec, 45 secs
lola: 105194 markings, 366146 edges, 1956 markings/sec, 50 secs
lola: 114959 markings, 400538 edges, 1953 markings/sec, 55 secs
lola: 124761 markings, 434432 edges, 1960 markings/sec, 60 secs
lola: 134561 markings, 467848 edges, 1960 markings/sec, 65 secs
lola: 144340 markings, 501947 edges, 1956 markings/sec, 70 secs
lola: 154127 markings, 535661 edges, 1957 markings/sec, 75 secs
lola: 163881 markings, 570183 edges, 1951 markings/sec, 80 secs
lola: 173670 markings, 603187 edges, 1958 markings/sec, 85 secs
lola: 183428 markings, 637260 edges, 1952 markings/sec, 90 secs
lola: 193193 markings, 671174 edges, 1953 markings/sec, 95 secs
lola: 202824 markings, 704419 edges, 1926 markings/sec, 100 secs
lola: 212576 markings, 737279 edges, 1950 markings/sec, 105 secs
lola: 222239 markings, 771051 edges, 1933 markings/sec, 110 secs
lola: 232003 markings, 804700 edges, 1953 markings/sec, 115 secs
lola: 241798 markings, 838749 edges, 1959 markings/sec, 120 secs
lola: 251593 markings, 872029 edges, 1959 markings/sec, 125 secs
lola: 261323 markings, 907006 edges, 1946 markings/sec, 130 secs
lola: 271057 markings, 941607 edges, 1947 markings/sec, 135 secs
lola: 280704 markings, 974565 edges, 1929 markings/sec, 140 secs
lola: 290455 markings, 1008775 edges, 1950 markings/sec, 145 secs
lola: 300221 markings, 1042532 edges, 1953 markings/sec, 150 secs
lola: 309985 markings, 1076372 edges, 1953 markings/sec, 155 secs
lola: 319736 markings, 1109541 edges, 1950 markings/sec, 160 secs
lola: 329279 markings, 1142474 edges, 1909 markings/sec, 165 secs
lola: 338989 markings, 1176752 edges, 1942 markings/sec, 170 secs
lola: 348645 markings, 1210466 edges, 1931 markings/sec, 175 secs
lola: 358328 markings, 1243722 edges, 1937 markings/sec, 180 secs
lola: 368095 markings, 1276752 edges, 1953 markings/sec, 185 secs
lola: 377832 markings, 1312410 edges, 1947 markings/sec, 190 secs
lola: 387629 markings, 1346335 edges, 1959 markings/sec, 195 secs
lola: 397375 markings, 1380052 edges, 1949 markings/sec, 200 secs
lola: 407131 markings, 1415059 edges, 1951 markings/sec, 205 secs
lola: 416911 markings, 1449045 edges, 1956 markings/sec, 210 secs
lola: 426695 markings, 1483119 edges, 1957 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: 150576 KB
lola: time consumption: 2008 seconds
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__18_7_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__18_7_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D30N010-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: 8283 markings, 27987 edges, 1657 markings/sec, 0 secs
lola: 18133 markings, 62011 edges, 1970 markings/sec, 5 secs
lola: 27924 markings, 95675 edges, 1958 markings/sec, 10 secs
lola: 37696 markings, 128353 edges, 1954 markings/sec, 15 secs
lola: 47524 markings, 163002 edges, 1966 markings/sec, 20 secs
lola: 57178 markings, 198495 edges, 1931 markings/sec, 25 secs
lola: 67064 markings, 231685 edges, 1977 markings/sec, 30 secs
lola: 76897 markings, 267124 edges, 1967 markings/sec, 35 secs
lola: 86674 markings, 300565 edges, 1955 markings/sec, 40 secs
lola: 96409 markings, 334221 edges, 1947 markings/sec, 45 secs
lola: 106208 markings, 369146 edges, 1960 markings/sec, 50 secs
lola: 115958 markings, 403918 edges, 1950 markings/sec, 55 secs
lola: 125780 markings, 436996 edges, 1964 markings/sec, 60 secs
lola: 135659 markings, 468933 edges, 1976 markings/sec, 65 secs
lola: 145565 markings, 499049 edges, 1981 markings/sec, 70 secs
lola: 155317 markings, 530410 edges, 1950 markings/sec, 75 secs
lola: 165172 markings, 563870 edges, 1971 markings/sec, 80 secs
lola: 175012 markings, 597214 edges, 1968 markings/sec, 85 secs
lola: 184842 markings, 630267 edges, 1966 markings/sec, 90 secs
lola: 194578 markings, 662520 edges, 1947 markings/sec, 95 secs
lola: 204326 markings, 694474 edges, 1950 markings/sec, 100 secs
lola: 214295 markings, 725118 edges, 1994 markings/sec, 105 secs
lola: 224259 markings, 756212 edges, 1993 markings/sec, 110 secs
lola: 234181 markings, 788703 edges, 1984 markings/sec, 115 secs
lola: 243983 markings, 821694 edges, 1960 markings/sec, 120 secs
lola: 253804 markings, 854923 edges, 1964 markings/sec, 125 secs
lola: 263561 markings, 887327 edges, 1951 markings/sec, 130 secs
lola: 273377 markings, 920390 edges, 1963 markings/sec, 135 secs
lola: 283097 markings, 953234 edges, 1944 markings/sec, 140 secs
lola: 292941 markings, 987527 edges, 1969 markings/sec, 145 secs
lola: 302817 markings, 1020553 edges, 1975 markings/sec, 150 secs
lola: 312707 markings, 1053339 edges, 1978 markings/sec, 155 secs
lola: 322521 markings, 1086295 edges, 1963 markings/sec, 160 secs
lola: 332496 markings, 1116975 edges, 1995 markings/sec, 165 secs
lola: 342453 markings, 1148851 edges, 1991 markings/sec, 170 secs
lola: 352399 markings, 1180783 edges, 1989 markings/sec, 175 secs
lola: 362280 markings, 1215406 edges, 1976 markings/sec, 180 secs
lola: 372193 markings, 1248512 edges, 1983 markings/sec, 185 secs
lola: 382101 markings, 1281415 edges, 1982 markings/sec, 190 secs
lola: 391990 markings, 1314698 edges, 1978 markings/sec, 195 secs
lola: 401778 markings, 1348668 edges, 1958 markings/sec, 200 secs
lola: 411532 markings, 1381273 edges, 1951 markings/sec, 205 secs
lola: 421409 markings, 1414302 edges, 1975 markings/sec, 210 secs
lola: 431254 markings, 1447986 edges, 1969 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: 152344 KB
lola: time consumption: 2231 seconds
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__25_20_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__25_20_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D30N010-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: 8280 markings, 29962 edges, 1656 markings/sec, 0 secs
lola: 18300 markings, 66566 edges, 2004 markings/sec, 5 secs
lola: 28378 markings, 99953 edges, 2016 markings/sec, 10 secs
lola: 38509 markings, 132292 edges, 2026 markings/sec, 15 secs
lola: 48585 markings, 166293 edges, 2015 markings/sec, 20 secs
lola: 58610 markings, 198978 edges, 2005 markings/sec, 25 secs
lola: 68663 markings, 235105 edges, 2011 markings/sec, 30 secs
lola: 78771 markings, 267066 edges, 2022 markings/sec, 35 secs
lola: 88889 markings, 298822 edges, 2024 markings/sec, 40 secs
lola: 98978 markings, 331654 edges, 2018 markings/sec, 45 secs
lola: 108966 markings, 363311 edges, 1998 markings/sec, 50 secs
lola: 119061 markings, 394768 edges, 2019 markings/sec, 55 secs
lola: 129159 markings, 427457 edges, 2020 markings/sec, 60 secs
lola: 139082 markings, 461250 edges, 1985 markings/sec, 65 secs
lola: 148880 markings, 494063 edges, 1960 markings/sec, 70 secs
lola: 158841 markings, 527367 edges, 1992 markings/sec, 75 secs
lola: 168937 markings, 559015 edges, 2019 markings/sec, 80 secs
lola: 179027 markings, 590805 edges, 2018 markings/sec, 85 secs
lola: 189164 markings, 622591 edges, 2027 markings/sec, 90 secs
lola: 199231 markings, 655908 edges, 2013 markings/sec, 95 secs
lola: 209278 markings, 688631 edges, 2009 markings/sec, 100 secs
lola: 219405 markings, 720757 edges, 2025 markings/sec, 105 secs
lola: 229541 markings, 753148 edges, 2027 markings/sec, 110 secs
lola: 239693 markings, 784492 edges, 2030 markings/sec, 115 secs
lola: 249452 markings, 814526 edges, 1952 markings/sec, 120 secs
lola: 259296 markings, 846568 edges, 1969 markings/sec, 125 secs
lola: 269341 markings, 877668 edges, 2009 markings/sec, 130 secs
lola: 279438 markings, 910310 edges, 2019 markings/sec, 135 secs
lola: 289539 markings, 941497 edges, 2020 markings/sec, 140 secs
lola: 299542 markings, 973891 edges, 2001 markings/sec, 145 secs
lola: 309608 markings, 1004787 edges, 2013 markings/sec, 150 secs
lola: 319736 markings, 1037208 edges, 2026 markings/sec, 155 secs
lola: 329808 markings, 1071043 edges, 2014 markings/sec, 160 secs
lola: 339929 markings, 1102404 edges, 2024 markings/sec, 165 secs
lola: 350027 markings, 1134441 edges, 2020 markings/sec, 170 secs
lola: 359819 markings, 1166446 edges, 1958 markings/sec, 175 secs
lola: 369869 markings, 1200199 edges, 2010 markings/sec, 180 secs
lola: 379901 markings, 1232839 edges, 2006 markings/sec, 185 secs
lola: 389964 markings, 1263559 edges, 2013 markings/sec, 190 secs
lola: 400094 markings, 1296041 edges, 2026 markings/sec, 195 secs
lola: 410185 markings, 1329575 edges, 2018 markings/sec, 200 secs
lola: 420265 markings, 1362719 edges, 2016 markings/sec, 205 secs
lola: 430319 markings, 1395880 edges, 2011 markings/sec, 210 secs
lola: 440460 markings, 1427975 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: 161664 KB
lola: time consumption: 2454 seconds
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__8_17_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__8_17_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D30N010-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: 8253 markings, 29570 edges, 1651 markings/sec, 0 secs
lola: 18140 markings, 64083 edges, 1977 markings/sec, 5 secs
lola: 27731 markings, 99483 edges, 1918 markings/sec, 10 secs
lola: 37598 markings, 133805 edges, 1973 markings/sec, 15 secs
lola: 47430 markings, 168317 edges, 1966 markings/sec, 20 secs
lola: 57272 markings, 203625 edges, 1968 markings/sec, 25 secs
lola: 67160 markings, 238465 edges, 1978 markings/sec, 30 secs
lola: 77060 markings, 272171 edges, 1980 markings/sec, 35 secs
lola: 86968 markings, 306140 edges, 1982 markings/sec, 40 secs
lola: 96677 markings, 340263 edges, 1942 markings/sec, 45 secs
lola: 106622 markings, 374536 edges, 1989 markings/sec, 50 secs
lola: 116409 markings, 410002 edges, 1957 markings/sec, 55 secs
lola: 126165 markings, 444432 edges, 1951 markings/sec, 60 secs
lola: 136090 markings, 478916 edges, 1985 markings/sec, 65 secs
lola: 145915 markings, 513514 edges, 1965 markings/sec, 70 secs
lola: 155857 markings, 549010 edges, 1988 markings/sec, 75 secs
lola: 165721 markings, 583028 edges, 1973 markings/sec, 80 secs
lola: 175497 markings, 616848 edges, 1955 markings/sec, 85 secs
lola: 185331 markings, 651371 edges, 1967 markings/sec, 90 secs
lola: 195265 markings, 685108 edges, 1987 markings/sec, 95 secs
lola: 205120 markings, 719993 edges, 1971 markings/sec, 100 secs
lola: 214979 markings, 754528 edges, 1972 markings/sec, 105 secs
lola: 224815 markings, 789931 edges, 1967 markings/sec, 110 secs
lola: 234581 markings, 823033 edges, 1953 markings/sec, 115 secs
lola: 244442 markings, 859026 edges, 1972 markings/sec, 120 secs
lola: 254325 markings, 893847 edges, 1977 markings/sec, 125 secs
lola: 264194 markings, 928898 edges, 1974 markings/sec, 130 secs
lola: 274055 markings, 963835 edges, 1972 markings/sec, 135 secs
lola: 283796 markings, 999527 edges, 1948 markings/sec, 140 secs
lola: 293662 markings, 1035041 edges, 1973 markings/sec, 145 secs
lola: 303575 markings, 1069179 edges, 1983 markings/sec, 150 secs
lola: 313465 markings, 1103849 edges, 1978 markings/sec, 155 secs
lola: 323352 markings, 1138293 edges, 1977 markings/sec, 160 secs
lola: 333204 markings, 1173583 edges, 1970 markings/sec, 165 secs
lola: 343058 markings, 1209171 edges, 1971 markings/sec, 170 secs
lola: 352718 markings, 1246420 edges, 1932 markings/sec, 175 secs
lola: 362557 markings, 1283115 edges, 1968 markings/sec, 180 secs
lola: 372405 markings, 1319258 edges, 1970 markings/sec, 185 secs
lola: 382276 markings, 1353088 edges, 1974 markings/sec, 190 secs
lola: 392152 markings, 1388476 edges, 1975 markings/sec, 195 secs
lola: 402044 markings, 1424278 edges, 1978 markings/sec, 200 secs
lola: 411801 markings, 1460349 edges, 1951 markings/sec, 205 secs
lola: 421713 markings, 1494114 edges, 1982 markings/sec, 210 secs
lola: 431663 markings, 1527945 edges, 1990 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: 151372 KB
lola: time consumption: 2677 seconds
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__19_15_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__19_15_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D30N010-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: 8392 markings, 25796 edges, 1678 markings/sec, 0 secs
lola: 18326 markings, 56393 edges, 1987 markings/sec, 5 secs
lola: 28243 markings, 86652 edges, 1983 markings/sec, 10 secs
lola: 38217 markings, 117405 edges, 1995 markings/sec, 15 secs
lola: 48152 markings, 147957 edges, 1987 markings/sec, 20 secs
lola: 58079 markings, 178270 edges, 1985 markings/sec, 25 secs
lola: 68155 markings, 208796 edges, 2015 markings/sec, 30 secs
lola: 78029 markings, 239209 edges, 1975 markings/sec, 35 secs
lola: 87992 markings, 270299 edges, 1993 markings/sec, 40 secs
lola: 97981 markings, 301678 edges, 1998 markings/sec, 45 secs
lola: 107898 markings, 333727 edges, 1983 markings/sec, 50 secs
lola: 117903 markings, 364891 edges, 2001 markings/sec, 55 secs
lola: 127921 markings, 396300 edges, 2004 markings/sec, 60 secs
lola: 137973 markings, 427459 edges, 2010 markings/sec, 65 secs
lola: 148018 markings, 458785 edges, 2009 markings/sec, 70 secs
lola: 157907 markings, 491470 edges, 1978 markings/sec, 75 secs
lola: 167988 markings, 522074 edges, 2016 markings/sec, 80 secs
lola: 178036 markings, 553181 edges, 2010 markings/sec, 85 secs
lola: 188046 markings, 584608 edges, 2002 markings/sec, 90 secs
lola: 198032 markings, 616530 edges, 1997 markings/sec, 95 secs
lola: 208072 markings, 646991 edges, 2008 markings/sec, 100 secs
lola: 218107 markings, 678293 edges, 2007 markings/sec, 105 secs
lola: 228119 markings, 710448 edges, 2002 markings/sec, 110 secs
lola: 238143 markings, 741772 edges, 2005 markings/sec, 115 secs
lola: 248009 markings, 774185 edges, 1973 markings/sec, 120 secs
lola: 258069 markings, 805197 edges, 2012 markings/sec, 125 secs
lola: 268090 markings, 836729 edges, 2004 markings/sec, 130 secs
lola: 278025 markings, 870331 edges, 1987 markings/sec, 135 secs
lola: 287971 markings, 900425 edges, 1989 markings/sec, 140 secs
lola: 297974 markings, 930882 edges, 2001 markings/sec, 145 secs
lola: 307985 markings, 961927 edges, 2002 markings/sec, 150 secs
lola: 318037 markings, 992660 edges, 2010 markings/sec, 155 secs
lola: 327962 markings, 1023410 edges, 1985 markings/sec, 160 secs
lola: 338003 markings, 1054569 edges, 2008 markings/sec, 165 secs
lola: 348011 markings, 1086706 edges, 2002 markings/sec, 170 secs
lola: 358008 markings, 1118176 edges, 1999 markings/sec, 175 secs
lola: 368022 markings, 1148636 edges, 2003 markings/sec, 180 secs
lola: 378052 markings, 1179695 edges, 2006 markings/sec, 185 secs
lola: 388035 markings, 1210776 edges, 1997 markings/sec, 190 secs
lola: 398026 markings, 1243099 edges, 1998 markings/sec, 195 secs
lola: 408079 markings, 1273835 edges, 2011 markings/sec, 200 secs
lola: 418081 markings, 1306390 edges, 2000 markings/sec, 205 secs
lola: 427962 markings, 1337520 edges, 1976 markings/sec, 210 secs
lola: 437989 markings, 1368932 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: 184848 KB
lola: time consumption: 2900 seconds
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__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 Diffusion2D-PT-D30N010-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: 8391 markings, 29439 edges, 1678 markings/sec, 0 secs
lola: 18365 markings, 63696 edges, 1995 markings/sec, 5 secs
lola: 28408 markings, 96691 edges, 2009 markings/sec, 10 secs
lola: 38308 markings, 129915 edges, 1980 markings/sec, 15 secs
lola: 48284 markings, 163634 edges, 1995 markings/sec, 20 secs
lola: 58370 markings, 198223 edges, 2017 markings/sec, 25 secs
lola: 68327 markings, 231908 edges, 1991 markings/sec, 30 secs
lola: 78229 markings, 267701 edges, 1980 markings/sec, 35 secs
lola: 88296 markings, 301927 edges, 2013 markings/sec, 40 secs
lola: 98381 markings, 336062 edges, 2017 markings/sec, 45 secs
lola: 108452 markings, 369981 edges, 2014 markings/sec, 50 secs
lola: 118562 markings, 403915 edges, 2022 markings/sec, 55 secs
lola: 128649 markings, 437523 edges, 2017 markings/sec, 60 secs
lola: 138723 markings, 470149 edges, 2015 markings/sec, 65 secs
lola: 148763 markings, 502756 edges, 2008 markings/sec, 70 secs
lola: 158823 markings, 535515 edges, 2012 markings/sec, 75 secs
lola: 168878 markings, 569680 edges, 2011 markings/sec, 80 secs
lola: 178982 markings, 603165 edges, 2021 markings/sec, 85 secs
lola: 189055 markings, 637299 edges, 2015 markings/sec, 90 secs
lola: 199185 markings, 670140 edges, 2026 markings/sec, 95 secs
lola: 209288 markings, 702789 edges, 2021 markings/sec, 100 secs
lola: 219234 markings, 735910 edges, 1989 markings/sec, 105 secs
lola: 229319 markings, 768864 edges, 2017 markings/sec, 110 secs
lola: 239396 markings, 802675 edges, 2015 markings/sec, 115 secs
lola: 249478 markings, 836261 edges, 2016 markings/sec, 120 secs
lola: 259581 markings, 869436 edges, 2021 markings/sec, 125 secs
lola: 269665 markings, 902394 edges, 2017 markings/sec, 130 secs
lola: 279734 markings, 936424 edges, 2014 markings/sec, 135 secs
lola: 289832 markings, 969539 edges, 2020 markings/sec, 140 secs
lola: 299746 markings, 1001634 edges, 1983 markings/sec, 145 secs
lola: 309825 markings, 1034801 edges, 2016 markings/sec, 150 secs
lola: 319964 markings, 1066844 edges, 2028 markings/sec, 155 secs
lola: 330084 markings, 1099788 edges, 2024 markings/sec, 160 secs
lola: 340157 markings, 1133673 edges, 2015 markings/sec, 165 secs
lola: 350246 markings, 1166867 edges, 2018 markings/sec, 170 secs
lola: 360377 markings, 1200546 edges, 2026 markings/sec, 175 secs
lola: 370546 markings, 1233965 edges, 2034 markings/sec, 180 secs
lola: 380588 markings, 1267027 edges, 2008 markings/sec, 185 secs
lola: 390710 markings, 1300562 edges, 2024 markings/sec, 190 secs
lola: 400715 markings, 1333526 edges, 2001 markings/sec, 195 secs
lola: 410828 markings, 1366468 edges, 2023 markings/sec, 200 secs
lola: 420918 markings, 1399331 edges, 2018 markings/sec, 205 secs
lola: 430982 markings, 1433190 edges, 2013 markings/sec, 210 secs
lola: 440979 markings, 1466859 edges, 1999 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: 151044 KB
lola: time consumption: 3123 seconds
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__25_18_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__25_18_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D30N010-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: 8336 markings, 27005 edges, 1667 markings/sec, 0 secs
lola: 18478 markings, 59853 edges, 2028 markings/sec, 5 secs
lola: 28369 markings, 91474 edges, 1978 markings/sec, 10 secs
lola: 38499 markings, 123830 edges, 2026 markings/sec, 15 secs
lola: 48500 markings, 156892 edges, 2000 markings/sec, 20 secs
lola: 58572 markings, 189019 edges, 2014 markings/sec, 25 secs
lola: 68816 markings, 216674 edges, 2049 markings/sec, 30 secs
lola: 79028 markings, 246255 edges, 2042 markings/sec, 35 secs
lola: 89206 markings, 275450 edges, 2036 markings/sec, 40 secs
lola: 99342 markings, 306392 edges, 2027 markings/sec, 45 secs
lola: 109555 markings, 335000 edges, 2043 markings/sec, 50 secs
lola: 119792 markings, 364117 edges, 2047 markings/sec, 55 secs
lola: 130007 markings, 394841 edges, 2043 markings/sec, 60 secs
lola: 140188 markings, 426874 edges, 2036 markings/sec, 65 secs
lola: 150493 markings, 454388 edges, 2061 markings/sec, 70 secs
lola: 160719 markings, 485270 edges, 2045 markings/sec, 75 secs
lola: 170931 markings, 517181 edges, 2042 markings/sec, 80 secs
lola: 180993 markings, 551464 edges, 2012 markings/sec, 85 secs
lola: 191136 markings, 582750 edges, 2029 markings/sec, 90 secs
lola: 201270 markings, 613880 edges, 2027 markings/sec, 95 secs
lola: 211366 markings, 646449 edges, 2019 markings/sec, 100 secs
lola: 221498 markings, 678049 edges, 2026 markings/sec, 105 secs
lola: 231576 markings, 710310 edges, 2016 markings/sec, 110 secs
lola: 241591 markings, 745324 edges, 2003 markings/sec, 115 secs
lola: 251679 markings, 776990 edges, 2018 markings/sec, 120 secs
lola: 261727 markings, 811107 edges, 2010 markings/sec, 125 secs
lola: 271825 markings, 842483 edges, 2020 markings/sec, 130 secs
lola: 281845 markings, 876539 edges, 2004 markings/sec, 135 secs
lola: 292071 markings, 904472 edges, 2045 markings/sec, 140 secs
lola: 302140 markings, 933819 edges, 2014 markings/sec, 145 secs
lola: 312327 markings, 965286 edges, 2037 markings/sec, 150 secs
lola: 322458 markings, 998400 edges, 2026 markings/sec, 155 secs
lola: 332628 markings, 1029525 edges, 2034 markings/sec, 160 secs
lola: 342783 markings, 1060982 edges, 2031 markings/sec, 165 secs
lola: 352924 markings, 1092535 edges, 2028 markings/sec, 170 secs
lola: 363080 markings, 1122999 edges, 2031 markings/sec, 175 secs
lola: 373136 markings, 1157588 edges, 2011 markings/sec, 180 secs
lola: 383236 markings, 1188518 edges, 2020 markings/sec, 185 secs
lola: 393321 markings, 1217476 edges, 2017 markings/sec, 190 secs
lola: 403359 markings, 1248258 edges, 2008 markings/sec, 195 secs
lola: 413427 markings, 1278935 edges, 2014 markings/sec, 200 secs
lola: 423465 markings, 1310591 edges, 2008 markings/sec, 205 secs
lola: 433449 markings, 1342216 edges, 1997 markings/sec, 210 secs
lola: 443651 markings, 1369984 edges, 2040 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 161248 KB
lola: time consumption: 3346 seconds
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__1_6_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__1_6_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D30N010-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: 8341 markings, 29971 edges, 1668 markings/sec, 0 secs
lola: 18307 markings, 65634 edges, 1993 markings/sec, 5 secs
lola: 28376 markings, 100434 edges, 2014 markings/sec, 10 secs
lola: 38430 markings, 135110 edges, 2011 markings/sec, 15 secs
lola: 48465 markings, 169832 edges, 2007 markings/sec, 20 secs
lola: 58539 markings, 204709 edges, 2015 markings/sec, 25 secs
lola: 68550 markings, 240039 edges, 2002 markings/sec, 30 secs
lola: 78607 markings, 274436 edges, 2011 markings/sec, 35 secs
lola: 88645 markings, 309300 edges, 2008 markings/sec, 40 secs
lola: 98765 markings, 341206 edges, 2024 markings/sec, 45 secs
lola: 108849 markings, 374243 edges, 2017 markings/sec, 50 secs
lola: 118904 markings, 408565 edges, 2011 markings/sec, 55 secs
lola: 129011 markings, 441359 edges, 2021 markings/sec, 60 secs
lola: 139151 markings, 473585 edges, 2028 markings/sec, 65 secs
lola: 149267 markings, 506378 edges, 2023 markings/sec, 70 secs
lola: 159378 markings, 538800 edges, 2022 markings/sec, 75 secs
lola: 169536 markings, 571276 edges, 2032 markings/sec, 80 secs
lola: 179648 markings, 602578 edges, 2022 markings/sec, 85 secs
lola: 189751 markings, 634875 edges, 2021 markings/sec, 90 secs
lola: 199867 markings, 668262 edges, 2023 markings/sec, 95 secs
lola: 210011 markings, 701051 edges, 2029 markings/sec, 100 secs
lola: 220094 markings, 735542 edges, 2017 markings/sec, 105 secs
lola: 230254 markings, 767582 edges, 2032 markings/sec, 110 secs
lola: 240388 markings, 801006 edges, 2027 markings/sec, 115 secs
lola: 250488 markings, 833723 edges, 2020 markings/sec, 120 secs
lola: 260629 markings, 866208 edges, 2028 markings/sec, 125 secs
lola: 270797 markings, 898688 edges, 2034 markings/sec, 130 secs
lola: 280888 markings, 932030 edges, 2018 markings/sec, 135 secs
lola: 291037 markings, 964227 edges, 2030 markings/sec, 140 secs
lola: 301182 markings, 996343 edges, 2029 markings/sec, 145 secs
lola: 311279 markings, 1030697 edges, 2019 markings/sec, 150 secs
lola: 321349 markings, 1065316 edges, 2014 markings/sec, 155 secs
lola: 331470 markings, 1097014 edges, 2024 markings/sec, 160 secs
lola: 341579 markings, 1129102 edges, 2022 markings/sec, 165 secs
lola: 351724 markings, 1160892 edges, 2029 markings/sec, 170 secs
lola: 361787 markings, 1192437 edges, 2013 markings/sec, 175 secs
lola: 371598 markings, 1223674 edges, 1962 markings/sec, 180 secs
lola: 381591 markings, 1255370 edges, 1999 markings/sec, 185 secs
lola: 391532 markings, 1286196 edges, 1988 markings/sec, 190 secs
lola: 401518 markings, 1319073 edges, 1997 markings/sec, 195 secs
lola: 411436 markings, 1353576 edges, 1984 markings/sec, 200 secs
lola: 421289 markings, 1386234 edges, 1971 markings/sec, 205 secs
lola: 431274 markings, 1418634 edges, 1997 markings/sec, 210 secs
lola: 441289 markings, 1450043 edges, 2003 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: 159552 KB
lola: time consumption: 3569 seconds
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: 159552 KB
lola: time consumption: 3569 seconds

BK_STOP 1552920264258

--------------------
content from stderr:

grep: GenericPropertiesVerdict.xml: No such file or directory

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="Diffusion2D-PT-D30N010"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="win2018"
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 win2018"
echo " Input is Diffusion2D-PT-D30N010, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r066-ebro-155234666400052"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/Diffusion2D-PT-D30N010.tgz
mv Diffusion2D-PT-D30N010 execution
cd execution
if [ "UpperBounds" = "GlobalProperties" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
if [ "UpperBounds" = "UpperBounds" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' UpperBounds.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;