Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Waiting for the VM to be ready (probing ssh)
.................
/home/mcc/execution
total 4.8M
-rw-r--r-- 1 mcc users 4.4K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.2K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.8K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.8K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.5K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 113 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 351 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 3.6K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 8 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 4.7M May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is Diffusion2D-PT-D40N050, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r076-blw3-152649937000268
=====================================================================

--------------------
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-D40N050-UpperBounds-00
FORMULA_NAME Diffusion2D-PT-D40N050-UpperBounds-01
FORMULA_NAME Diffusion2D-PT-D40N050-UpperBounds-02
FORMULA_NAME Diffusion2D-PT-D40N050-UpperBounds-03
FORMULA_NAME Diffusion2D-PT-D40N050-UpperBounds-04
FORMULA_NAME Diffusion2D-PT-D40N050-UpperBounds-05
FORMULA_NAME Diffusion2D-PT-D40N050-UpperBounds-06
FORMULA_NAME Diffusion2D-PT-D40N050-UpperBounds-07
FORMULA_NAME Diffusion2D-PT-D40N050-UpperBounds-08
FORMULA_NAME Diffusion2D-PT-D40N050-UpperBounds-09
FORMULA_NAME Diffusion2D-PT-D40N050-UpperBounds-10
FORMULA_NAME Diffusion2D-PT-D40N050-UpperBounds-11
FORMULA_NAME Diffusion2D-PT-D40N050-UpperBounds-12
FORMULA_NAME Diffusion2D-PT-D40N050-UpperBounds-13
FORMULA_NAME Diffusion2D-PT-D40N050-UpperBounds-14
FORMULA_NAME Diffusion2D-PT-D40N050-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1526695399223

info: Time: 3600 - MCC
===========================================================================================
prep: translating Diffusion2D-PT-D40N050 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating Diffusion2D-PT-D40N050 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ Diffusion2D-PT-D40N050 @ 3570 seconds
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 13924/65536 symbol table entries, 3777 collisions
lola: preprocessing...
lola: Size of bit vector: 51200
lola: finding significant places
lola: 1600 places, 12324 transitions, 1599 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1600 transition conflict sets
lola: TASK
lola: reading formula from Diffusion2D-PT-D40N050-UpperBounds.task
lola: MAX(cAMP__33_33_) : MAX(cAMP__40_30_) : MAX(cAMP__6_7_) : MAX(cAMP__6_2_) : MAX(cAMP__38_6_) : MAX(cAMP__20_15_) : MAX(cAMP__3_30_) : MAX(cAMP__27_36_) : MAX(cAMP__9_18_) : MAX(cAMP__22_16_) : MAX(cAMP__39_7_) : MAX(cAMP__35_32_) : MAX(cAMP__38_35_) : MAX(cAMP__38_37_) : MAX(cAMP__25_15_) : MAX(cAMP__32_14_)
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__33_33_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__33_33_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N050-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: 50
lola: 7179 markings, 25187 edges, 1436 markings/sec, 0 secs
lola: 16839 markings, 58997 edges, 1932 markings/sec, 5 secs
lola: 26438 markings, 95369 edges, 1920 markings/sec, 10 secs
lola: 36103 markings, 130262 edges, 1933 markings/sec, 15 secs
lola: 45744 markings, 164439 edges, 1928 markings/sec, 20 secs
lola: 55368 markings, 199845 edges, 1925 markings/sec, 25 secs
lola: 64989 markings, 235019 edges, 1924 markings/sec, 30 secs
lola: 74453 markings, 270088 edges, 1893 markings/sec, 35 secs
lola: 84119 markings, 306077 edges, 1933 markings/sec, 40 secs
lola: 93754 markings, 341279 edges, 1927 markings/sec, 45 secs
lola: 103374 markings, 376232 edges, 1924 markings/sec, 50 secs
lola: 113054 markings, 410643 edges, 1936 markings/sec, 55 secs
lola: 122685 markings, 446160 edges, 1926 markings/sec, 60 secs
lola: 132287 markings, 481861 edges, 1920 markings/sec, 65 secs
lola: 141960 markings, 515406 edges, 1935 markings/sec, 70 secs
lola: 151632 markings, 549209 edges, 1934 markings/sec, 75 secs
lola: 161271 markings, 584598 edges, 1928 markings/sec, 80 secs
lola: 170914 markings, 619600 edges, 1929 markings/sec, 85 secs
lola: 180547 markings, 654437 edges, 1927 markings/sec, 90 secs
lola: 190222 markings, 688445 edges, 1935 markings/sec, 95 secs
lola: 199905 markings, 722061 edges, 1937 markings/sec, 100 secs
lola: 209621 markings, 754989 edges, 1943 markings/sec, 105 secs
lola: 219272 markings, 789242 edges, 1930 markings/sec, 110 secs
lola: 228918 markings, 824024 edges, 1929 markings/sec, 115 secs
lola: 238494 markings, 861063 edges, 1915 markings/sec, 120 secs
lola: 248125 markings, 895539 edges, 1926 markings/sec, 125 secs
lola: 257880 markings, 928456 edges, 1951 markings/sec, 130 secs
lola: 267576 markings, 964065 edges, 1939 markings/sec, 135 secs
lola: 277316 markings, 998824 edges, 1948 markings/sec, 140 secs
lola: 286971 markings, 1035572 edges, 1931 markings/sec, 145 secs
lola: 296680 markings, 1069953 edges, 1942 markings/sec, 150 secs
lola: 306355 markings, 1104600 edges, 1935 markings/sec, 155 secs
lola: 315925 markings, 1144014 edges, 1914 markings/sec, 160 secs
lola: 325505 markings, 1183369 edges, 1916 markings/sec, 165 secs
lola: 335175 markings, 1219280 edges, 1934 markings/sec, 170 secs
lola: 344854 markings, 1254502 edges, 1936 markings/sec, 175 secs
lola: 354521 markings, 1289909 edges, 1933 markings/sec, 180 secs
lola: 364110 markings, 1327357 edges, 1918 markings/sec, 185 secs
lola: 373783 markings, 1362946 edges, 1935 markings/sec, 190 secs
lola: 383733 markings, 1399745 edges, 1990 markings/sec, 195 secs
lola: 393662 markings, 1436018 edges, 1986 markings/sec, 200 secs
lola: 403541 markings, 1471982 edges, 1976 markings/sec, 205 secs
lola: 413421 markings, 1508312 edges, 1976 markings/sec, 210 secs
lola: 423315 markings, 1544470 edges, 1979 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: 182684 KB
lola: time consumption: 231 seconds
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__40_30_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__40_30_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N050-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: 50
lola: 7574 markings, 26314 edges, 1515 markings/sec, 0 secs
lola: 17640 markings, 61510 edges, 2013 markings/sec, 5 secs
lola: 27465 markings, 95663 edges, 1965 markings/sec, 10 secs
lola: 37374 markings, 130229 edges, 1982 markings/sec, 15 secs
lola: 47241 markings, 165001 edges, 1973 markings/sec, 20 secs
lola: 57159 markings, 199535 edges, 1984 markings/sec, 25 secs
lola: 67045 markings, 234286 edges, 1977 markings/sec, 30 secs
lola: 76904 markings, 268624 edges, 1972 markings/sec, 35 secs
lola: 86778 markings, 303217 edges, 1975 markings/sec, 40 secs
lola: 96662 markings, 337840 edges, 1977 markings/sec, 45 secs
lola: 106547 markings, 372364 edges, 1977 markings/sec, 50 secs
lola: 116667 markings, 407856 edges, 2024 markings/sec, 55 secs
lola: 126815 markings, 443067 edges, 2030 markings/sec, 60 secs
lola: 136970 markings, 478660 edges, 2031 markings/sec, 65 secs
lola: 147124 markings, 514181 edges, 2031 markings/sec, 70 secs
lola: 157314 markings, 549726 edges, 2038 markings/sec, 75 secs
lola: 167451 markings, 585218 edges, 2027 markings/sec, 80 secs
lola: 177325 markings, 619032 edges, 1975 markings/sec, 85 secs
lola: 187225 markings, 652069 edges, 1980 markings/sec, 90 secs
lola: 197130 markings, 684198 edges, 1981 markings/sec, 95 secs
lola: 207026 markings, 718065 edges, 1979 markings/sec, 100 secs
lola: 216832 markings, 753929 edges, 1961 markings/sec, 105 secs
lola: 226720 markings, 789009 edges, 1978 markings/sec, 110 secs
lola: 236633 markings, 823964 edges, 1983 markings/sec, 115 secs
lola: 246533 markings, 858732 edges, 1980 markings/sec, 120 secs
lola: 256360 markings, 893115 edges, 1965 markings/sec, 125 secs
lola: 266129 markings, 927855 edges, 1954 markings/sec, 130 secs
lola: 275995 markings, 962688 edges, 1973 markings/sec, 135 secs
lola: 285923 markings, 996284 edges, 1986 markings/sec, 140 secs
lola: 295858 markings, 1028622 edges, 1987 markings/sec, 145 secs
lola: 305768 markings, 1060672 edges, 1982 markings/sec, 150 secs
lola: 315634 markings, 1094017 edges, 1973 markings/sec, 155 secs
lola: 325483 markings, 1128315 edges, 1970 markings/sec, 160 secs
lola: 335377 markings, 1161686 edges, 1979 markings/sec, 165 secs
lola: 345228 markings, 1197535 edges, 1970 markings/sec, 170 secs
lola: 355159 markings, 1229674 edges, 1986 markings/sec, 175 secs
lola: 365049 markings, 1263050 edges, 1978 markings/sec, 180 secs
lola: 374909 markings, 1297245 edges, 1972 markings/sec, 185 secs
lola: 384805 markings, 1331327 edges, 1979 markings/sec, 190 secs
lola: 394648 markings, 1366171 edges, 1969 markings/sec, 195 secs
lola: 404534 markings, 1400962 edges, 1977 markings/sec, 200 secs
lola: 414406 markings, 1435678 edges, 1974 markings/sec, 205 secs
lola: 424259 markings, 1470779 edges, 1971 markings/sec, 210 secs
lola: 434139 markings, 1503432 edges, 1976 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: 168096 KB
lola: time consumption: 453 seconds
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__6_7_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__6_7_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N050-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: 50
lola: 7133 markings, 23952 edges, 1427 markings/sec, 0 secs
lola: 16930 markings, 56714 edges, 1959 markings/sec, 5 secs
lola: 26718 markings, 92517 edges, 1958 markings/sec, 10 secs
lola: 36534 markings, 127015 edges, 1963 markings/sec, 15 secs
lola: 46332 markings, 162348 edges, 1960 markings/sec, 20 secs
lola: 56111 markings, 198291 edges, 1956 markings/sec, 25 secs
lola: 65966 markings, 232472 edges, 1971 markings/sec, 30 secs
lola: 75783 markings, 266685 edges, 1963 markings/sec, 35 secs
lola: 85559 markings, 301789 edges, 1955 markings/sec, 40 secs
lola: 95312 markings, 337825 edges, 1951 markings/sec, 45 secs
lola: 105156 markings, 370836 edges, 1969 markings/sec, 50 secs
lola: 114922 markings, 405461 edges, 1953 markings/sec, 55 secs
lola: 124628 markings, 442444 edges, 1941 markings/sec, 60 secs
lola: 134378 markings, 478392 edges, 1950 markings/sec, 65 secs
lola: 144140 markings, 513236 edges, 1952 markings/sec, 70 secs
lola: 153893 markings, 547495 edges, 1951 markings/sec, 75 secs
lola: 163734 markings, 580383 edges, 1968 markings/sec, 80 secs
lola: 173498 markings, 616126 edges, 1953 markings/sec, 85 secs
lola: 183282 markings, 650300 edges, 1957 markings/sec, 90 secs
lola: 193049 markings, 684928 edges, 1953 markings/sec, 95 secs
lola: 202781 markings, 720293 edges, 1946 markings/sec, 100 secs
lola: 212273 markings, 753526 edges, 1898 markings/sec, 105 secs
lola: 221703 markings, 787975 edges, 1886 markings/sec, 110 secs
lola: 231194 markings, 820051 edges, 1898 markings/sec, 115 secs
lola: 240606 markings, 854856 edges, 1882 markings/sec, 120 secs
lola: 250068 markings, 888039 edges, 1892 markings/sec, 125 secs
lola: 259524 markings, 921659 edges, 1891 markings/sec, 130 secs
lola: 269021 markings, 953787 edges, 1899 markings/sec, 135 secs
lola: 278491 markings, 986558 edges, 1894 markings/sec, 140 secs
lola: 287980 markings, 1019029 edges, 1898 markings/sec, 145 secs
lola: 297487 markings, 1052976 edges, 1901 markings/sec, 150 secs
lola: 306966 markings, 1086017 edges, 1896 markings/sec, 155 secs
lola: 316497 markings, 1118802 edges, 1906 markings/sec, 160 secs
lola: 326046 markings, 1151054 edges, 1910 markings/sec, 165 secs
lola: 335501 markings, 1186003 edges, 1891 markings/sec, 170 secs
lola: 344997 markings, 1219475 edges, 1899 markings/sec, 175 secs
lola: 354457 markings, 1253265 edges, 1892 markings/sec, 180 secs
lola: 363975 markings, 1285309 edges, 1904 markings/sec, 185 secs
lola: 373413 markings, 1319872 edges, 1888 markings/sec, 190 secs
lola: 382883 markings, 1353525 edges, 1894 markings/sec, 195 secs
lola: 392332 markings, 1387653 edges, 1890 markings/sec, 200 secs
lola: 401817 markings, 1420685 edges, 1897 markings/sec, 205 secs
lola: 411302 markings, 1453466 edges, 1897 markings/sec, 210 secs
lola: 420796 markings, 1486472 edges, 1899 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: 167296 KB
lola: time consumption: 675 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__6_2_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__6_2_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N050-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: 50
lola: 6873 markings, 24493 edges, 1375 markings/sec, 0 secs
lola: 16555 markings, 58410 edges, 1936 markings/sec, 5 secs
lola: 26352 markings, 94005 edges, 1959 markings/sec, 10 secs
lola: 36151 markings, 129300 edges, 1960 markings/sec, 15 secs
lola: 45974 markings, 163590 edges, 1965 markings/sec, 20 secs
lola: 55768 markings, 198556 edges, 1959 markings/sec, 25 secs
lola: 65587 markings, 232785 edges, 1964 markings/sec, 30 secs
lola: 75387 markings, 267962 edges, 1960 markings/sec, 35 secs
lola: 85207 markings, 302057 edges, 1964 markings/sec, 40 secs
lola: 95014 markings, 336016 edges, 1961 markings/sec, 45 secs
lola: 104804 markings, 371074 edges, 1958 markings/sec, 50 secs
lola: 114597 markings, 405803 edges, 1959 markings/sec, 55 secs
lola: 124412 markings, 439954 edges, 1963 markings/sec, 60 secs
lola: 134166 markings, 476592 edges, 1951 markings/sec, 65 secs
lola: 143957 markings, 511877 edges, 1958 markings/sec, 70 secs
lola: 153751 markings, 546721 edges, 1959 markings/sec, 75 secs
lola: 163543 markings, 582820 edges, 1958 markings/sec, 80 secs
lola: 173363 markings, 618470 edges, 1964 markings/sec, 85 secs
lola: 183194 markings, 653530 edges, 1966 markings/sec, 90 secs
lola: 192979 markings, 690371 edges, 1957 markings/sec, 95 secs
lola: 202785 markings, 726052 edges, 1961 markings/sec, 100 secs
lola: 212579 markings, 761557 edges, 1959 markings/sec, 105 secs
lola: 222366 markings, 796516 edges, 1957 markings/sec, 110 secs
lola: 232113 markings, 832743 edges, 1949 markings/sec, 115 secs
lola: 241936 markings, 866848 edges, 1965 markings/sec, 120 secs
lola: 251735 markings, 902447 edges, 1960 markings/sec, 125 secs
lola: 261537 markings, 937829 edges, 1960 markings/sec, 130 secs
lola: 271340 markings, 972365 edges, 1961 markings/sec, 135 secs
lola: 281147 markings, 1006799 edges, 1961 markings/sec, 140 secs
lola: 290941 markings, 1042101 edges, 1959 markings/sec, 145 secs
lola: 300700 markings, 1078697 edges, 1952 markings/sec, 150 secs
lola: 310498 markings, 1113932 edges, 1960 markings/sec, 155 secs
lola: 320254 markings, 1150616 edges, 1951 markings/sec, 160 secs
lola: 330073 markings, 1185628 edges, 1964 markings/sec, 165 secs
lola: 339861 markings, 1220446 edges, 1958 markings/sec, 170 secs
lola: 349635 markings, 1256244 edges, 1955 markings/sec, 175 secs
lola: 359431 markings, 1290925 edges, 1959 markings/sec, 180 secs
lola: 369209 markings, 1326308 edges, 1956 markings/sec, 185 secs
lola: 378982 markings, 1362079 edges, 1955 markings/sec, 190 secs
lola: 388812 markings, 1396057 edges, 1966 markings/sec, 195 secs
lola: 398615 markings, 1431685 edges, 1961 markings/sec, 200 secs
lola: 408431 markings, 1466760 edges, 1963 markings/sec, 205 secs
lola: 418211 markings, 1503555 edges, 1956 markings/sec, 210 secs
lola: 428018 markings, 1539233 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: 172244 KB
lola: time consumption: 897 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__38_6_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__38_6_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N050-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: 50
lola: 7498 markings, 24298 edges, 1500 markings/sec, 0 secs
lola: 17443 markings, 57758 edges, 1989 markings/sec, 5 secs
lola: 27436 markings, 88753 edges, 1999 markings/sec, 10 secs
lola: 37411 markings, 120597 edges, 1995 markings/sec, 15 secs
lola: 47427 markings, 151027 edges, 2003 markings/sec, 20 secs
lola: 57399 markings, 182463 edges, 1994 markings/sec, 25 secs
lola: 67395 markings, 212460 edges, 1999 markings/sec, 30 secs
lola: 77353 markings, 244799 edges, 1992 markings/sec, 35 secs
lola: 87342 markings, 275178 edges, 1998 markings/sec, 40 secs
lola: 97268 markings, 308415 edges, 1985 markings/sec, 45 secs
lola: 107289 markings, 339523 edges, 2004 markings/sec, 50 secs
lola: 117257 markings, 371372 edges, 1994 markings/sec, 55 secs
lola: 127248 markings, 401439 edges, 1998 markings/sec, 60 secs
lola: 137239 markings, 431516 edges, 1998 markings/sec, 65 secs
lola: 147239 markings, 463091 edges, 2000 markings/sec, 70 secs
lola: 157225 markings, 493672 edges, 1997 markings/sec, 75 secs
lola: 167246 markings, 523475 edges, 2004 markings/sec, 80 secs
lola: 177228 markings, 552913 edges, 1996 markings/sec, 85 secs
lola: 187245 markings, 582420 edges, 2003 markings/sec, 90 secs
lola: 197289 markings, 611580 edges, 2009 markings/sec, 95 secs
lola: 207281 markings, 643049 edges, 1998 markings/sec, 100 secs
lola: 217326 markings, 672885 edges, 2009 markings/sec, 105 secs
lola: 227314 markings, 703337 edges, 1998 markings/sec, 110 secs
lola: 237273 markings, 735535 edges, 1992 markings/sec, 115 secs
lola: 247238 markings, 766476 edges, 1993 markings/sec, 120 secs
lola: 257232 markings, 795857 edges, 1999 markings/sec, 125 secs
lola: 267236 markings, 825355 edges, 2001 markings/sec, 130 secs
lola: 277200 markings, 856774 edges, 1993 markings/sec, 135 secs
lola: 287183 markings, 887567 edges, 1997 markings/sec, 140 secs
lola: 297155 markings, 918601 edges, 1994 markings/sec, 145 secs
lola: 307063 markings, 951607 edges, 1982 markings/sec, 150 secs
lola: 317024 markings, 983205 edges, 1992 markings/sec, 155 secs
lola: 327018 markings, 1014654 edges, 1999 markings/sec, 160 secs
lola: 337027 markings, 1044518 edges, 2002 markings/sec, 165 secs
lola: 346997 markings, 1077010 edges, 1994 markings/sec, 170 secs
lola: 356998 markings, 1107991 edges, 2000 markings/sec, 175 secs
lola: 366984 markings, 1138724 edges, 1997 markings/sec, 180 secs
lola: 376947 markings, 1171377 edges, 1993 markings/sec, 185 secs
lola: 386913 markings, 1203324 edges, 1993 markings/sec, 190 secs
lola: 396892 markings, 1235150 edges, 1996 markings/sec, 195 secs
lola: 406838 markings, 1267178 edges, 1989 markings/sec, 200 secs
lola: 416786 markings, 1297045 edges, 1990 markings/sec, 205 secs
lola: 426767 markings, 1327103 edges, 1996 markings/sec, 210 secs
lola: 436737 markings, 1357958 edges, 1994 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: 186468 KB
lola: time consumption: 1119 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__20_15_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__20_15_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N050-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: 50
lola: 7280 markings, 24603 edges, 1456 markings/sec, 0 secs
lola: 16966 markings, 58627 edges, 1937 markings/sec, 5 secs
lola: 26669 markings, 92649 edges, 1941 markings/sec, 10 secs
lola: 36382 markings, 126164 edges, 1943 markings/sec, 15 secs
lola: 46100 markings, 158889 edges, 1944 markings/sec, 20 secs
lola: 55829 markings, 191349 edges, 1946 markings/sec, 25 secs
lola: 65519 markings, 224992 edges, 1938 markings/sec, 30 secs
lola: 75185 markings, 259469 edges, 1933 markings/sec, 35 secs
lola: 84864 markings, 293686 edges, 1936 markings/sec, 40 secs
lola: 94553 markings, 327528 edges, 1938 markings/sec, 45 secs
lola: 104082 markings, 361890 edges, 1906 markings/sec, 50 secs
lola: 113598 markings, 395688 edges, 1903 markings/sec, 55 secs
lola: 123134 markings, 428960 edges, 1907 markings/sec, 60 secs
lola: 132728 markings, 463084 edges, 1919 markings/sec, 65 secs
lola: 142360 markings, 497054 edges, 1926 markings/sec, 70 secs
lola: 151987 markings, 530123 edges, 1925 markings/sec, 75 secs
lola: 161581 markings, 564775 edges, 1919 markings/sec, 80 secs
lola: 171202 markings, 598536 edges, 1924 markings/sec, 85 secs
lola: 180803 markings, 632206 edges, 1920 markings/sec, 90 secs
lola: 190393 markings, 666645 edges, 1918 markings/sec, 95 secs
lola: 199946 markings, 703000 edges, 1911 markings/sec, 100 secs
lola: 209616 markings, 738535 edges, 1934 markings/sec, 105 secs
lola: 219193 markings, 771888 edges, 1915 markings/sec, 110 secs
lola: 228785 markings, 805328 edges, 1918 markings/sec, 115 secs
lola: 238410 markings, 839809 edges, 1925 markings/sec, 120 secs
lola: 248046 markings, 873287 edges, 1927 markings/sec, 125 secs
lola: 257610 markings, 908986 edges, 1913 markings/sec, 130 secs
lola: 267239 markings, 943700 edges, 1926 markings/sec, 135 secs
lola: 276881 markings, 978214 edges, 1928 markings/sec, 140 secs
lola: 286555 markings, 1012176 edges, 1935 markings/sec, 145 secs
lola: 296182 markings, 1047254 edges, 1925 markings/sec, 150 secs
lola: 305895 markings, 1081733 edges, 1943 markings/sec, 155 secs
lola: 315497 markings, 1121045 edges, 1920 markings/sec, 160 secs
lola: 325132 markings, 1155804 edges, 1927 markings/sec, 165 secs
lola: 334625 markings, 1192806 edges, 1899 markings/sec, 170 secs
lola: 344312 markings, 1226471 edges, 1937 markings/sec, 175 secs
lola: 353891 markings, 1262722 edges, 1916 markings/sec, 180 secs
lola: 363521 markings, 1296434 edges, 1926 markings/sec, 185 secs
lola: 373195 markings, 1330145 edges, 1935 markings/sec, 190 secs
lola: 382765 markings, 1366856 edges, 1914 markings/sec, 195 secs
lola: 392428 markings, 1401779 edges, 1933 markings/sec, 200 secs
lola: 402098 markings, 1436146 edges, 1934 markings/sec, 205 secs
lola: 411835 markings, 1470095 edges, 1947 markings/sec, 210 secs
lola: 421531 markings, 1502974 edges, 1939 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: 174240 KB
lola: time consumption: 1341 seconds
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__3_30_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__3_30_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N050-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: 50
lola: 7447 markings, 26078 edges, 1489 markings/sec, 0 secs
lola: 17517 markings, 61594 edges, 2014 markings/sec, 5 secs
lola: 27547 markings, 96807 edges, 2006 markings/sec, 10 secs
lola: 37572 markings, 132821 edges, 2005 markings/sec, 15 secs
lola: 47661 markings, 169570 edges, 2018 markings/sec, 20 secs
lola: 57676 markings, 206345 edges, 2003 markings/sec, 25 secs
lola: 67711 markings, 242348 edges, 2007 markings/sec, 30 secs
lola: 77776 markings, 279508 edges, 2013 markings/sec, 35 secs
lola: 87839 markings, 315677 edges, 2013 markings/sec, 40 secs
lola: 97861 markings, 351871 edges, 2004 markings/sec, 45 secs
lola: 107838 markings, 389056 edges, 1995 markings/sec, 50 secs
lola: 117840 markings, 425081 edges, 2000 markings/sec, 55 secs
lola: 127805 markings, 462246 edges, 1993 markings/sec, 60 secs
lola: 137735 markings, 498422 edges, 1986 markings/sec, 65 secs
lola: 147794 markings, 534289 edges, 2012 markings/sec, 70 secs
lola: 157812 markings, 570226 edges, 2004 markings/sec, 75 secs
lola: 167845 markings, 606297 edges, 2007 markings/sec, 80 secs
lola: 177849 markings, 641450 edges, 2001 markings/sec, 85 secs
lola: 187831 markings, 677209 edges, 1996 markings/sec, 90 secs
lola: 197802 markings, 713703 edges, 1994 markings/sec, 95 secs
lola: 207797 markings, 750181 edges, 1999 markings/sec, 100 secs
lola: 217798 markings, 786342 edges, 2000 markings/sec, 105 secs
lola: 227791 markings, 822496 edges, 1999 markings/sec, 110 secs
lola: 237822 markings, 857719 edges, 2006 markings/sec, 115 secs
lola: 247826 markings, 893827 edges, 2001 markings/sec, 120 secs
lola: 257845 markings, 929925 edges, 2004 markings/sec, 125 secs
lola: 267941 markings, 965147 edges, 2019 markings/sec, 130 secs
lola: 277985 markings, 1002310 edges, 2009 markings/sec, 135 secs
lola: 287999 markings, 1037454 edges, 2003 markings/sec, 140 secs
lola: 297970 markings, 1073578 edges, 1994 markings/sec, 145 secs
lola: 307978 markings, 1109329 edges, 2002 markings/sec, 150 secs
lola: 318034 markings, 1143909 edges, 2011 markings/sec, 155 secs
lola: 328069 markings, 1179578 edges, 2007 markings/sec, 160 secs
lola: 338098 markings, 1215525 edges, 2006 markings/sec, 165 secs
lola: 348095 markings, 1251850 edges, 1999 markings/sec, 170 secs
lola: 358074 markings, 1289335 edges, 1996 markings/sec, 175 secs
lola: 368070 markings, 1326645 edges, 1999 markings/sec, 180 secs
lola: 378098 markings, 1364268 edges, 2006 markings/sec, 185 secs
lola: 388160 markings, 1399108 edges, 2012 markings/sec, 190 secs
lola: 398140 markings, 1435516 edges, 1996 markings/sec, 195 secs
lola: 408122 markings, 1472501 edges, 1996 markings/sec, 200 secs
lola: 418131 markings, 1508389 edges, 2002 markings/sec, 205 secs
lola: 428125 markings, 1545256 edges, 1999 markings/sec, 210 secs
lola: 438168 markings, 1582161 edges, 2009 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 161208 KB
lola: time consumption: 1563 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__27_36_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__27_36_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N050-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: 50
lola: 7342 markings, 26573 edges, 1468 markings/sec, 0 secs
lola: 17113 markings, 62313 edges, 1954 markings/sec, 5 secs
lola: 26819 markings, 97847 edges, 1941 markings/sec, 10 secs
lola: 36536 markings, 134545 edges, 1943 markings/sec, 15 secs
lola: 46116 markings, 169198 edges, 1916 markings/sec, 20 secs
lola: 55867 markings, 205601 edges, 1950 markings/sec, 25 secs
lola: 65569 markings, 240689 edges, 1940 markings/sec, 30 secs
lola: 75232 markings, 276931 edges, 1933 markings/sec, 35 secs
lola: 84923 markings, 313675 edges, 1938 markings/sec, 40 secs
lola: 94666 markings, 349419 edges, 1949 markings/sec, 45 secs
lola: 104384 markings, 386923 edges, 1944 markings/sec, 50 secs
lola: 114141 markings, 422828 edges, 1951 markings/sec, 55 secs
lola: 123846 markings, 458895 edges, 1941 markings/sec, 60 secs
lola: 133495 markings, 496776 edges, 1930 markings/sec, 65 secs
lola: 143173 markings, 533513 edges, 1936 markings/sec, 70 secs
lola: 152887 markings, 569335 edges, 1943 markings/sec, 75 secs
lola: 162564 markings, 606925 edges, 1935 markings/sec, 80 secs
lola: 172265 markings, 642008 edges, 1940 markings/sec, 85 secs
lola: 181962 markings, 678290 edges, 1939 markings/sec, 90 secs
lola: 191744 markings, 710934 edges, 1956 markings/sec, 95 secs
lola: 201450 markings, 745321 edges, 1941 markings/sec, 100 secs
lola: 211143 markings, 779645 edges, 1939 markings/sec, 105 secs
lola: 220812 markings, 815282 edges, 1934 markings/sec, 110 secs
lola: 230456 markings, 851534 edges, 1929 markings/sec, 115 secs
lola: 240152 markings, 886820 edges, 1939 markings/sec, 120 secs
lola: 249906 markings, 922718 edges, 1951 markings/sec, 125 secs
lola: 259588 markings, 958822 edges, 1936 markings/sec, 130 secs
lola: 269257 markings, 993908 edges, 1934 markings/sec, 135 secs
lola: 278881 markings, 1030261 edges, 1925 markings/sec, 140 secs
lola: 288576 markings, 1066687 edges, 1939 markings/sec, 145 secs
lola: 298209 markings, 1105174 edges, 1927 markings/sec, 150 secs
lola: 308010 markings, 1138344 edges, 1960 markings/sec, 155 secs
lola: 317804 markings, 1172230 edges, 1959 markings/sec, 160 secs
lola: 327538 markings, 1208376 edges, 1947 markings/sec, 165 secs
lola: 337296 markings, 1243373 edges, 1952 markings/sec, 170 secs
lola: 347023 markings, 1279138 edges, 1945 markings/sec, 175 secs
lola: 356639 markings, 1313826 edges, 1923 markings/sec, 180 secs
lola: 366367 markings, 1350036 edges, 1946 markings/sec, 185 secs
lola: 376105 markings, 1385438 edges, 1948 markings/sec, 190 secs
lola: 385806 markings, 1420862 edges, 1940 markings/sec, 195 secs
lola: 395548 markings, 1454058 edges, 1948 markings/sec, 200 secs
lola: 405247 markings, 1488705 edges, 1940 markings/sec, 205 secs
lola: 414903 markings, 1524408 edges, 1931 markings/sec, 210 secs
lola: 424577 markings, 1558636 edges, 1935 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: 154112 KB
lola: time consumption: 1786 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__9_18_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__9_18_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N050-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: 50
lola: 7246 markings, 26625 edges, 1449 markings/sec, 0 secs
lola: 17060 markings, 63749 edges, 1963 markings/sec, 5 secs
lola: 26878 markings, 98514 edges, 1964 markings/sec, 10 secs
lola: 36635 markings, 135110 edges, 1951 markings/sec, 15 secs
lola: 46443 markings, 169950 edges, 1962 markings/sec, 20 secs
lola: 56199 markings, 206093 edges, 1951 markings/sec, 25 secs
lola: 65996 markings, 240487 edges, 1959 markings/sec, 30 secs
lola: 75858 markings, 275661 edges, 1972 markings/sec, 35 secs
lola: 85712 markings, 309808 edges, 1971 markings/sec, 40 secs
lola: 95524 markings, 345399 edges, 1962 markings/sec, 45 secs
lola: 105279 markings, 382703 edges, 1951 markings/sec, 50 secs
lola: 115021 markings, 419689 edges, 1948 markings/sec, 55 secs
lola: 124772 markings, 455065 edges, 1950 markings/sec, 60 secs
lola: 134503 markings, 491944 edges, 1946 markings/sec, 65 secs
lola: 144278 markings, 527521 edges, 1955 markings/sec, 70 secs
lola: 154139 markings, 560904 edges, 1972 markings/sec, 75 secs
lola: 164016 markings, 592153 edges, 1975 markings/sec, 80 secs
lola: 173846 markings, 624911 edges, 1966 markings/sec, 85 secs
lola: 183645 markings, 658832 edges, 1960 markings/sec, 90 secs
lola: 193459 markings, 692949 edges, 1963 markings/sec, 95 secs
lola: 203214 markings, 727957 edges, 1951 markings/sec, 100 secs
lola: 212946 markings, 763617 edges, 1946 markings/sec, 105 secs
lola: 222734 markings, 796755 edges, 1958 markings/sec, 110 secs
lola: 232467 markings, 833600 edges, 1947 markings/sec, 115 secs
lola: 242237 markings, 869119 edges, 1954 markings/sec, 120 secs
lola: 252012 markings, 903657 edges, 1955 markings/sec, 125 secs
lola: 261774 markings, 938010 edges, 1952 markings/sec, 130 secs
lola: 271638 markings, 972295 edges, 1973 markings/sec, 135 secs
lola: 281415 markings, 1008290 edges, 1955 markings/sec, 140 secs
lola: 291157 markings, 1044144 edges, 1948 markings/sec, 145 secs
lola: 300921 markings, 1079983 edges, 1953 markings/sec, 150 secs
lola: 310788 markings, 1111565 edges, 1973 markings/sec, 155 secs
lola: 320608 markings, 1144969 edges, 1964 markings/sec, 160 secs
lola: 330387 markings, 1179554 edges, 1956 markings/sec, 165 secs
lola: 340215 markings, 1213342 edges, 1966 markings/sec, 170 secs
lola: 349981 markings, 1248690 edges, 1953 markings/sec, 175 secs
lola: 359787 markings, 1282452 edges, 1961 markings/sec, 180 secs
lola: 369564 markings, 1316380 edges, 1955 markings/sec, 185 secs
lola: 379346 markings, 1351013 edges, 1956 markings/sec, 190 secs
lola: 389017 markings, 1388742 edges, 1934 markings/sec, 195 secs
lola: 398807 markings, 1422294 edges, 1958 markings/sec, 200 secs
lola: 408480 markings, 1460033 edges, 1935 markings/sec, 205 secs
lola: 418245 markings, 1495277 edges, 1953 markings/sec, 210 secs
lola: 427906 markings, 1532967 edges, 1932 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: 167904 KB
lola: time consumption: 2009 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__22_16_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__22_16_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N050-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: 50
lola: 7171 markings, 24410 edges, 1434 markings/sec, 0 secs
lola: 16847 markings, 57223 edges, 1935 markings/sec, 5 secs
lola: 26576 markings, 88614 edges, 1946 markings/sec, 10 secs
lola: 36304 markings, 120004 edges, 1946 markings/sec, 15 secs
lola: 46039 markings, 151125 edges, 1947 markings/sec, 20 secs
lola: 55718 markings, 184536 edges, 1936 markings/sec, 25 secs
lola: 65392 markings, 217907 edges, 1935 markings/sec, 30 secs
lola: 75068 markings, 251134 edges, 1935 markings/sec, 35 secs
lola: 84732 markings, 284906 edges, 1933 markings/sec, 40 secs
lola: 94413 markings, 318333 edges, 1936 markings/sec, 45 secs
lola: 104083 markings, 351582 edges, 1934 markings/sec, 50 secs
lola: 113761 markings, 385140 edges, 1936 markings/sec, 55 secs
lola: 123436 markings, 418754 edges, 1935 markings/sec, 60 secs
lola: 133110 markings, 451948 edges, 1935 markings/sec, 65 secs
lola: 142783 markings, 485334 edges, 1935 markings/sec, 70 secs
lola: 152457 markings, 519012 edges, 1935 markings/sec, 75 secs
lola: 162137 markings, 552423 edges, 1936 markings/sec, 80 secs
lola: 171818 markings, 585770 edges, 1936 markings/sec, 85 secs
lola: 181494 markings, 619074 edges, 1935 markings/sec, 90 secs
lola: 191158 markings, 652815 edges, 1933 markings/sec, 95 secs
lola: 200833 markings, 686053 edges, 1935 markings/sec, 100 secs
lola: 210507 markings, 719485 edges, 1935 markings/sec, 105 secs
lola: 220180 markings, 753018 edges, 1935 markings/sec, 110 secs
lola: 229854 markings, 786527 edges, 1935 markings/sec, 115 secs
lola: 239533 markings, 819884 edges, 1936 markings/sec, 120 secs
lola: 249211 markings, 853255 edges, 1936 markings/sec, 125 secs
lola: 258880 markings, 886931 edges, 1934 markings/sec, 130 secs
lola: 268567 markings, 920369 edges, 1937 markings/sec, 135 secs
lola: 278246 markings, 953651 edges, 1936 markings/sec, 140 secs
lola: 287923 markings, 987014 edges, 1935 markings/sec, 145 secs
lola: 297590 markings, 1020714 edges, 1933 markings/sec, 150 secs
lola: 307271 markings, 1053964 edges, 1936 markings/sec, 155 secs
lola: 316975 markings, 1085961 edges, 1941 markings/sec, 160 secs
lola: 326559 markings, 1121683 edges, 1917 markings/sec, 165 secs
lola: 336204 markings, 1155057 edges, 1929 markings/sec, 170 secs
lola: 345801 markings, 1189988 edges, 1919 markings/sec, 175 secs
lola: 355428 markings, 1224077 edges, 1925 markings/sec, 180 secs
lola: 365083 markings, 1257224 edges, 1931 markings/sec, 185 secs
lola: 374754 markings, 1289323 edges, 1934 markings/sec, 190 secs
lola: 384363 markings, 1324240 edges, 1922 markings/sec, 195 secs
lola: 393988 markings, 1358458 edges, 1925 markings/sec, 200 secs
lola: 403627 markings, 1392933 edges, 1928 markings/sec, 205 secs
lola: 413333 markings, 1425914 edges, 1941 markings/sec, 210 secs
lola: 423040 markings, 1458151 edges, 1941 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: 173976 KB
lola: time consumption: 2233 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__39_7_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__39_7_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N050-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: 50
lola: 7388 markings, 25068 edges, 1478 markings/sec, 0 secs
lola: 17326 markings, 58944 edges, 1988 markings/sec, 5 secs
lola: 27245 markings, 92498 edges, 1984 markings/sec, 10 secs
lola: 37210 markings, 124298 edges, 1993 markings/sec, 15 secs
lola: 47149 markings, 156491 edges, 1988 markings/sec, 20 secs
lola: 57097 markings, 188563 edges, 1990 markings/sec, 25 secs
lola: 67054 markings, 220596 edges, 1991 markings/sec, 30 secs
lola: 77105 markings, 253058 edges, 2010 markings/sec, 35 secs
lola: 87182 markings, 285540 edges, 2015 markings/sec, 40 secs
lola: 97238 markings, 318025 edges, 2011 markings/sec, 45 secs
lola: 107260 markings, 350530 edges, 2004 markings/sec, 50 secs
lola: 117208 markings, 384549 edges, 1990 markings/sec, 55 secs
lola: 127246 markings, 417507 edges, 2008 markings/sec, 60 secs
lola: 137258 markings, 451974 edges, 2002 markings/sec, 65 secs
lola: 147294 markings, 485913 edges, 2007 markings/sec, 70 secs
lola: 157305 markings, 520060 edges, 2002 markings/sec, 75 secs
lola: 167340 markings, 553505 edges, 2007 markings/sec, 80 secs
lola: 177355 markings, 586640 edges, 2003 markings/sec, 85 secs
lola: 187338 markings, 620305 edges, 1997 markings/sec, 90 secs
lola: 197314 markings, 654439 edges, 1995 markings/sec, 95 secs
lola: 207341 markings, 687757 edges, 2005 markings/sec, 100 secs
lola: 217351 markings, 719957 edges, 2002 markings/sec, 105 secs
lola: 227334 markings, 753656 edges, 1997 markings/sec, 110 secs
lola: 237354 markings, 786344 edges, 2004 markings/sec, 115 secs
lola: 247360 markings, 820068 edges, 2001 markings/sec, 120 secs
lola: 257379 markings, 853947 edges, 2004 markings/sec, 125 secs
lola: 267394 markings, 886830 edges, 2003 markings/sec, 130 secs
lola: 277551 markings, 919952 edges, 2031 markings/sec, 135 secs
lola: 287678 markings, 954248 edges, 2025 markings/sec, 140 secs
lola: 297691 markings, 987104 edges, 2003 markings/sec, 145 secs
lola: 307714 markings, 1020099 edges, 2005 markings/sec, 150 secs
lola: 317664 markings, 1054855 edges, 1990 markings/sec, 155 secs
lola: 327714 markings, 1088449 edges, 2010 markings/sec, 160 secs
lola: 337775 markings, 1121961 edges, 2012 markings/sec, 165 secs
lola: 347856 markings, 1154843 edges, 2016 markings/sec, 170 secs
lola: 357959 markings, 1188308 edges, 2021 markings/sec, 175 secs
lola: 368081 markings, 1220613 edges, 2024 markings/sec, 180 secs
lola: 378143 markings, 1254589 edges, 2012 markings/sec, 185 secs
lola: 388147 markings, 1287760 edges, 2001 markings/sec, 190 secs
lola: 398207 markings, 1320267 edges, 2012 markings/sec, 195 secs
lola: 408243 markings, 1353919 edges, 2007 markings/sec, 200 secs
lola: 418284 markings, 1388330 edges, 2008 markings/sec, 205 secs
lola: 428444 markings, 1422252 edges, 2032 markings/sec, 210 secs
lola: 438444 markings, 1455884 edges, 2000 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 187164 KB
lola: time consumption: 2455 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__35_32_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__35_32_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N050-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: 50
lola: 7583 markings, 26498 edges, 1517 markings/sec, 0 secs
lola: 17701 markings, 60558 edges, 2024 markings/sec, 5 secs
lola: 27803 markings, 95025 edges, 2020 markings/sec, 10 secs
lola: 37151 markings, 128648 edges, 1870 markings/sec, 15 secs
lola: 46573 markings, 163508 edges, 1884 markings/sec, 20 secs
lola: 56272 markings, 197133 edges, 1940 markings/sec, 25 secs
lola: 65701 markings, 232534 edges, 1886 markings/sec, 30 secs
lola: 75548 markings, 267455 edges, 1969 markings/sec, 35 secs
lola: 84576 markings, 300813 edges, 1806 markings/sec, 40 secs
lola: 93570 markings, 331618 edges, 1799 markings/sec, 45 secs
lola: 102816 markings, 365554 edges, 1849 markings/sec, 50 secs
lola: 112854 markings, 402983 edges, 2008 markings/sec, 55 secs
lola: 122952 markings, 438774 edges, 2020 markings/sec, 60 secs
lola: 133016 markings, 474193 edges, 2013 markings/sec, 65 secs
lola: 143134 markings, 508277 edges, 2024 markings/sec, 70 secs
lola: 153170 markings, 544363 edges, 2007 markings/sec, 75 secs
lola: 163168 markings, 581759 edges, 2000 markings/sec, 80 secs
lola: 173273 markings, 616942 edges, 2021 markings/sec, 85 secs
lola: 183342 markings, 654638 edges, 2014 markings/sec, 90 secs
lola: 193394 markings, 690320 edges, 2010 markings/sec, 95 secs
lola: 203428 markings, 726876 edges, 2007 markings/sec, 100 secs
lola: 213480 markings, 762247 edges, 2010 markings/sec, 105 secs
lola: 223506 markings, 798541 edges, 2005 markings/sec, 110 secs
lola: 233524 markings, 835599 edges, 2004 markings/sec, 115 secs
lola: 243588 markings, 871785 edges, 2013 markings/sec, 120 secs
lola: 253676 markings, 906397 edges, 2018 markings/sec, 125 secs
lola: 263689 markings, 941345 edges, 2003 markings/sec, 130 secs
lola: 273698 markings, 977359 edges, 2002 markings/sec, 135 secs
lola: 283716 markings, 1013715 edges, 2004 markings/sec, 140 secs
lola: 293809 markings, 1048635 edges, 2019 markings/sec, 145 secs
lola: 303979 markings, 1081282 edges, 2034 markings/sec, 150 secs
lola: 314084 markings, 1113855 edges, 2021 markings/sec, 155 secs
lola: 324211 markings, 1145339 edges, 2025 markings/sec, 160 secs
lola: 334337 markings, 1177978 edges, 2025 markings/sec, 165 secs
lola: 344431 markings, 1212198 edges, 2019 markings/sec, 170 secs
lola: 354551 markings, 1245109 edges, 2024 markings/sec, 175 secs
lola: 364639 markings, 1279468 edges, 2018 markings/sec, 180 secs
lola: 374757 markings, 1314129 edges, 2024 markings/sec, 185 secs
lola: 384826 markings, 1348615 edges, 2014 markings/sec, 190 secs
lola: 394935 markings, 1381025 edges, 2022 markings/sec, 195 secs
lola: 405068 markings, 1413125 edges, 2027 markings/sec, 200 secs
lola: 415158 markings, 1446578 edges, 2018 markings/sec, 205 secs
lola: 425195 markings, 1481545 edges, 2007 markings/sec, 210 secs
lola: 435264 markings, 1515516 edges, 2014 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: 177144 KB
lola: time consumption: 2678 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__38_35_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__38_35_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N050-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: 50
lola: 7529 markings, 25932 edges, 1506 markings/sec, 0 secs
lola: 17602 markings, 62611 edges, 2015 markings/sec, 5 secs
lola: 27683 markings, 100016 edges, 2016 markings/sec, 10 secs
lola: 37758 markings, 137058 edges, 2015 markings/sec, 15 secs
lola: 47852 markings, 174519 edges, 2019 markings/sec, 20 secs
lola: 57912 markings, 211560 edges, 2012 markings/sec, 25 secs
lola: 67993 markings, 248133 edges, 2016 markings/sec, 30 secs
lola: 78063 markings, 285190 edges, 2014 markings/sec, 35 secs
lola: 88196 markings, 320089 edges, 2027 markings/sec, 40 secs
lola: 98199 markings, 358811 edges, 2001 markings/sec, 45 secs
lola: 108194 markings, 398109 edges, 1999 markings/sec, 50 secs
lola: 118239 markings, 435835 edges, 2009 markings/sec, 55 secs
lola: 128264 markings, 474069 edges, 2005 markings/sec, 60 secs
lola: 138291 markings, 511575 edges, 2005 markings/sec, 65 secs
lola: 148338 markings, 549117 edges, 2009 markings/sec, 70 secs
lola: 158334 markings, 588076 edges, 1999 markings/sec, 75 secs
lola: 168348 markings, 626434 edges, 2003 markings/sec, 80 secs
lola: 178413 markings, 662556 edges, 2013 markings/sec, 85 secs
lola: 188441 markings, 701629 edges, 2006 markings/sec, 90 secs
lola: 198497 markings, 739854 edges, 2011 markings/sec, 95 secs
lola: 208508 markings, 778866 edges, 2002 markings/sec, 100 secs
lola: 218575 markings, 816747 edges, 2013 markings/sec, 105 secs
lola: 228631 markings, 854079 edges, 2011 markings/sec, 110 secs
lola: 238670 markings, 891423 edges, 2008 markings/sec, 115 secs
lola: 248639 markings, 930539 edges, 1994 markings/sec, 120 secs
lola: 258639 markings, 969474 edges, 2000 markings/sec, 125 secs
lola: 268701 markings, 1006586 edges, 2012 markings/sec, 130 secs
lola: 278803 markings, 1042541 edges, 2020 markings/sec, 135 secs
lola: 288865 markings, 1080620 edges, 2012 markings/sec, 140 secs
lola: 298909 markings, 1119545 edges, 2009 markings/sec, 145 secs
lola: 308919 markings, 1155606 edges, 2002 markings/sec, 150 secs
lola: 318918 markings, 1194334 edges, 2000 markings/sec, 155 secs
lola: 328955 markings, 1230981 edges, 2007 markings/sec, 160 secs
lola: 338955 markings, 1268290 edges, 2000 markings/sec, 165 secs
lola: 348886 markings, 1308423 edges, 1986 markings/sec, 170 secs
lola: 358918 markings, 1345463 edges, 2006 markings/sec, 175 secs
lola: 368972 markings, 1383408 edges, 2011 markings/sec, 180 secs
lola: 378973 markings, 1423153 edges, 2000 markings/sec, 185 secs
lola: 388993 markings, 1462085 edges, 2004 markings/sec, 190 secs
lola: 399030 markings, 1498651 edges, 2007 markings/sec, 195 secs
lola: 409038 markings, 1536256 edges, 2002 markings/sec, 200 secs
lola: 419031 markings, 1575032 edges, 1999 markings/sec, 205 secs
lola: 429064 markings, 1613518 edges, 2007 markings/sec, 210 secs
lola: 439050 markings, 1652194 edges, 1997 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: 167752 KB
lola: time consumption: 2901 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__38_37_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__38_37_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N050-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: 50
lola: 7474 markings, 26996 edges, 1495 markings/sec, 0 secs
lola: 17483 markings, 61993 edges, 2002 markings/sec, 5 secs
lola: 27425 markings, 100577 edges, 1988 markings/sec, 10 secs
lola: 37205 markings, 137156 edges, 1956 markings/sec, 15 secs
lola: 47090 markings, 172903 edges, 1977 markings/sec, 20 secs
lola: 57065 markings, 209047 edges, 1995 markings/sec, 25 secs
lola: 66161 markings, 240696 edges, 1819 markings/sec, 30 secs
lola: 75000 markings, 272658 edges, 1768 markings/sec, 35 secs
lola: 83999 markings, 306376 edges, 1800 markings/sec, 40 secs
lola: 93803 markings, 340961 edges, 1961 markings/sec, 45 secs
lola: 103784 markings, 376430 edges, 1996 markings/sec, 50 secs
lola: 113458 markings, 411196 edges, 1935 markings/sec, 55 secs
lola: 123137 markings, 446038 edges, 1936 markings/sec, 60 secs
lola: 132860 markings, 479842 edges, 1945 markings/sec, 65 secs
lola: 142507 markings, 514779 edges, 1929 markings/sec, 70 secs
lola: 152235 markings, 549382 edges, 1946 markings/sec, 75 secs
lola: 161940 markings, 584511 edges, 1941 markings/sec, 80 secs
lola: 171634 markings, 620936 edges, 1939 markings/sec, 85 secs
lola: 181368 markings, 655114 edges, 1947 markings/sec, 90 secs
lola: 191086 markings, 689501 edges, 1944 markings/sec, 95 secs
lola: 200732 markings, 727019 edges, 1929 markings/sec, 100 secs
lola: 210411 markings, 761193 edges, 1936 markings/sec, 105 secs
lola: 220115 markings, 797000 edges, 1941 markings/sec, 110 secs
lola: 229589 markings, 833126 edges, 1895 markings/sec, 115 secs
lola: 239560 markings, 868107 edges, 1994 markings/sec, 120 secs
lola: 249541 markings, 903595 edges, 1996 markings/sec, 125 secs
lola: 259511 markings, 939391 edges, 1994 markings/sec, 130 secs
lola: 269469 markings, 976615 edges, 1992 markings/sec, 135 secs
lola: 279461 markings, 1011732 edges, 1998 markings/sec, 140 secs
lola: 288788 markings, 1046839 edges, 1865 markings/sec, 145 secs
lola: 297706 markings, 1079408 edges, 1784 markings/sec, 150 secs
lola: 306542 markings, 1111638 edges, 1767 markings/sec, 155 secs
lola: 315687 markings, 1145898 edges, 1829 markings/sec, 160 secs
lola: 325638 markings, 1183235 edges, 1990 markings/sec, 165 secs
lola: 335696 markings, 1218869 edges, 2012 markings/sec, 170 secs
lola: 345724 markings, 1255976 edges, 2006 markings/sec, 175 secs
lola: 355815 markings, 1291022 edges, 2018 markings/sec, 180 secs
lola: 365874 markings, 1326993 edges, 2012 markings/sec, 185 secs
lola: 375876 markings, 1362165 edges, 2000 markings/sec, 190 secs
lola: 385877 markings, 1397431 edges, 2000 markings/sec, 195 secs
lola: 395872 markings, 1432984 edges, 1999 markings/sec, 200 secs
lola: 405847 markings, 1468870 edges, 1995 markings/sec, 205 secs
lola: 415794 markings, 1505784 edges, 1989 markings/sec, 210 secs
lola: 425723 markings, 1540963 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: 165156 KB
lola: time consumption: 3124 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_15_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__25_15_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N050-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: 50
lola: 7364 markings, 22573 edges, 1473 markings/sec, 0 secs
lola: 16890 markings, 51747 edges, 1905 markings/sec, 5 secs
lola: 26549 markings, 81473 edges, 1932 markings/sec, 10 secs
lola: 36328 markings, 112389 edges, 1956 markings/sec, 15 secs
lola: 46095 markings, 143338 edges, 1953 markings/sec, 20 secs
lola: 55713 markings, 172625 edges, 1924 markings/sec, 25 secs
lola: 65327 markings, 203532 edges, 1923 markings/sec, 30 secs
lola: 74879 markings, 233107 edges, 1910 markings/sec, 35 secs
lola: 84522 markings, 263903 edges, 1929 markings/sec, 40 secs
lola: 94174 markings, 294176 edges, 1930 markings/sec, 45 secs
lola: 103860 markings, 325368 edges, 1937 markings/sec, 50 secs
lola: 113508 markings, 355346 edges, 1930 markings/sec, 55 secs
lola: 123250 markings, 386382 edges, 1948 markings/sec, 60 secs
lola: 132664 markings, 414815 edges, 1883 markings/sec, 65 secs
lola: 141563 markings, 443091 edges, 1780 markings/sec, 70 secs
lola: 150265 markings, 470337 edges, 1740 markings/sec, 75 secs
lola: 158960 markings, 497480 edges, 1739 markings/sec, 80 secs
lola: 167780 markings, 525467 edges, 1764 markings/sec, 85 secs
lola: 177424 markings, 556096 edges, 1929 markings/sec, 90 secs
lola: 187244 markings, 585845 edges, 1964 markings/sec, 95 secs
lola: 197020 markings, 617072 edges, 1955 markings/sec, 100 secs
lola: 206829 markings, 647156 edges, 1962 markings/sec, 105 secs
lola: 216577 markings, 677546 edges, 1950 markings/sec, 110 secs
lola: 226321 markings, 709760 edges, 1949 markings/sec, 115 secs
lola: 236073 markings, 741995 edges, 1950 markings/sec, 120 secs
lola: 245825 markings, 774325 edges, 1950 markings/sec, 125 secs
lola: 255480 markings, 807588 edges, 1931 markings/sec, 130 secs
lola: 265241 markings, 838859 edges, 1952 markings/sec, 135 secs
lola: 275023 markings, 869954 edges, 1956 markings/sec, 140 secs
lola: 284781 markings, 901119 edges, 1952 markings/sec, 145 secs
lola: 294579 markings, 932006 edges, 1960 markings/sec, 150 secs
lola: 304391 markings, 962501 edges, 1962 markings/sec, 155 secs
lola: 314169 markings, 993955 edges, 1956 markings/sec, 160 secs
lola: 323894 markings, 1025867 edges, 1945 markings/sec, 165 secs
lola: 333679 markings, 1056541 edges, 1957 markings/sec, 170 secs
lola: 343426 markings, 1088743 edges, 1949 markings/sec, 175 secs
lola: 353232 markings, 1119552 edges, 1961 markings/sec, 180 secs
lola: 363001 markings, 1151005 edges, 1954 markings/sec, 185 secs
lola: 372737 markings, 1183831 edges, 1947 markings/sec, 190 secs
lola: 382491 markings, 1215654 edges, 1951 markings/sec, 195 secs
lola: 392283 markings, 1246416 edges, 1958 markings/sec, 200 secs
lola: 402070 markings, 1277245 edges, 1957 markings/sec, 205 secs
lola: 411874 markings, 1307790 edges, 1961 markings/sec, 210 secs
lola: 421690 markings, 1337962 edges, 1963 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: 170280 KB
lola: time consumption: 3347 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__32_14_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__32_14_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N050-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: 50
lola: 7355 markings, 26248 edges, 1471 markings/sec, 0 secs
lola: 17199 markings, 60501 edges, 1969 markings/sec, 5 secs
lola: 26978 markings, 95818 edges, 1956 markings/sec, 10 secs
lola: 36706 markings, 131995 edges, 1946 markings/sec, 15 secs
lola: 46484 markings, 167735 edges, 1956 markings/sec, 20 secs
lola: 56245 markings, 202740 edges, 1952 markings/sec, 25 secs
lola: 66052 markings, 236845 edges, 1961 markings/sec, 30 secs
lola: 75876 markings, 271650 edges, 1965 markings/sec, 35 secs
lola: 86020 markings, 306873 edges, 2029 markings/sec, 40 secs
lola: 96128 markings, 343369 edges, 2022 markings/sec, 45 secs
lola: 106054 markings, 378458 edges, 1985 markings/sec, 50 secs
lola: 116162 markings, 413269 edges, 2022 markings/sec, 55 secs
lola: 126315 markings, 449798 edges, 2031 markings/sec, 60 secs
lola: 136410 markings, 485693 edges, 2019 markings/sec, 65 secs
lola: 146552 markings, 520795 edges, 2028 markings/sec, 70 secs
lola: 156648 markings, 557198 edges, 2019 markings/sec, 75 secs
lola: 166750 markings, 590406 edges, 2020 markings/sec, 80 secs
lola: 176812 markings, 624467 edges, 2012 markings/sec, 85 secs
lola: 186883 markings, 659726 edges, 2014 markings/sec, 90 secs
lola: 196945 markings, 693937 edges, 2012 markings/sec, 95 secs
lola: 206939 markings, 730572 edges, 1999 markings/sec, 100 secs
lola: 216918 markings, 766550 edges, 1996 markings/sec, 105 secs
lola: 226905 markings, 803447 edges, 1997 markings/sec, 110 secs
lola: 237000 markings, 837627 edges, 2019 markings/sec, 115 secs
lola: 247137 markings, 870323 edges, 2027 markings/sec, 120 secs
lola: 257240 markings, 905452 edges, 2021 markings/sec, 125 secs
lola: 267390 markings, 940245 edges, 2030 markings/sec, 130 secs
lola: 277415 markings, 977048 edges, 2005 markings/sec, 135 secs
lola: 287479 markings, 1013068 edges, 2013 markings/sec, 140 secs
lola: 297566 markings, 1046841 edges, 2017 markings/sec, 145 secs
lola: 307682 markings, 1079789 edges, 2023 markings/sec, 150 secs
lola: 317778 markings, 1113480 edges, 2019 markings/sec, 155 secs
lola: 327939 markings, 1148079 edges, 2032 markings/sec, 160 secs
lola: 338107 markings, 1183181 edges, 2034 markings/sec, 165 secs
lola: 348258 markings, 1218794 edges, 2030 markings/sec, 170 secs
lola: 358376 markings, 1255939 edges, 2024 markings/sec, 175 secs
lola: 367990 markings, 1289953 edges, 1923 markings/sec, 180 secs
lola: 378153 markings, 1326028 edges, 2033 markings/sec, 185 secs
lola: 388202 markings, 1364583 edges, 2010 markings/sec, 190 secs
lola: 398279 markings, 1402466 edges, 2015 markings/sec, 195 secs
lola: 408377 markings, 1435245 edges, 2020 markings/sec, 200 secs
lola: 418458 markings, 1470673 edges, 2016 markings/sec, 205 secs
lola: 428560 markings, 1505198 edges, 2020 markings/sec, 210 secs
lola: 438647 markings, 1538765 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: 164208 KB
lola: time consumption: 3570 seconds
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__33_33_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__33_33_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N050-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: 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: 42808 KB
lola: time consumption: 3570 seconds
lola: memory consumption: 42808 KB
lola: time consumption: 3570 seconds

BK_STOP 1526698969499

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

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-D40N050"
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

tar xzf /home/mcc/BenchKit/INPUTS/Diffusion2D-PT-D40N050.tgz
mv Diffusion2D-PT-D40N050 execution
cd execution
pwd
ls -lh

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool lola"
echo " Input is Diffusion2D-PT-D40N050, 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 r076-blw3-152649937000268"
echo "====================================================================="
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 ;