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.3K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K 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.5K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.4K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.2K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K 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.4K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K 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-D40N010, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r076-blw3-152649937000261
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1526694296139

info: Time: 3600 - MCC
===========================================================================================
prep: translating Diffusion2D-PT-D40N010 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating Diffusion2D-PT-D40N010 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ Diffusion2D-PT-D40N010 @ 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-D40N010-UpperBounds.task
lola: MAX(cAMP__9_14_) : MAX(cAMP__5_9_) : MAX(cAMP__26_16_) : MAX(cAMP__20_37_) : MAX(cAMP__11_14_) : MAX(cAMP__28_29_) : MAX(cAMP__39_34_) : MAX(cAMP__33_22_) : MAX(cAMP__27_30_) : MAX(cAMP__39_10_) : MAX(cAMP__11_11_) : MAX(cAMP__10_27_) : MAX(cAMP__39_21_) : MAX(cAMP__25_26_) : MAX(cAMP__21_28_) : MAX(cAMP__10_38_)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__9_14_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__9_14_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N010-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: 7291 markings, 25569 edges, 1458 markings/sec, 0 secs
lola: 16951 markings, 60365 edges, 1932 markings/sec, 5 secs
lola: 26641 markings, 96016 edges, 1938 markings/sec, 10 secs
lola: 36431 markings, 131577 edges, 1958 markings/sec, 15 secs
lola: 46203 markings, 168476 edges, 1954 markings/sec, 20 secs
lola: 55898 markings, 204271 edges, 1939 markings/sec, 25 secs
lola: 65643 markings, 240443 edges, 1949 markings/sec, 30 secs
lola: 75437 markings, 275679 edges, 1959 markings/sec, 35 secs
lola: 85063 markings, 311076 edges, 1925 markings/sec, 40 secs
lola: 94902 markings, 345996 edges, 1968 markings/sec, 45 secs
lola: 104611 markings, 381327 edges, 1942 markings/sec, 50 secs
lola: 114360 markings, 416708 edges, 1950 markings/sec, 55 secs
lola: 124149 markings, 452121 edges, 1958 markings/sec, 60 secs
lola: 133912 markings, 486936 edges, 1953 markings/sec, 65 secs
lola: 143642 markings, 522102 edges, 1946 markings/sec, 70 secs
lola: 153392 markings, 558201 edges, 1950 markings/sec, 75 secs
lola: 163148 markings, 593791 edges, 1951 markings/sec, 80 secs
lola: 172884 markings, 630053 edges, 1947 markings/sec, 85 secs
lola: 182482 markings, 666435 edges, 1920 markings/sec, 90 secs
lola: 192162 markings, 701156 edges, 1936 markings/sec, 95 secs
lola: 201896 markings, 737111 edges, 1947 markings/sec, 100 secs
lola: 211620 markings, 773172 edges, 1945 markings/sec, 105 secs
lola: 221301 markings, 809395 edges, 1936 markings/sec, 110 secs
lola: 230978 markings, 844873 edges, 1935 markings/sec, 115 secs
lola: 240729 markings, 881414 edges, 1950 markings/sec, 120 secs
lola: 250433 markings, 918242 edges, 1941 markings/sec, 125 secs
lola: 260045 markings, 953243 edges, 1922 markings/sec, 130 secs
lola: 269846 markings, 989685 edges, 1960 markings/sec, 135 secs
lola: 279353 markings, 1026092 edges, 1901 markings/sec, 140 secs
lola: 288883 markings, 1060771 edges, 1906 markings/sec, 145 secs
lola: 298423 markings, 1096522 edges, 1908 markings/sec, 150 secs
lola: 308179 markings, 1133285 edges, 1951 markings/sec, 155 secs
lola: 317963 markings, 1169186 edges, 1957 markings/sec, 160 secs
lola: 327714 markings, 1204741 edges, 1950 markings/sec, 165 secs
lola: 337497 markings, 1240396 edges, 1957 markings/sec, 170 secs
lola: 347334 markings, 1276160 edges, 1967 markings/sec, 175 secs
lola: 357229 markings, 1311117 edges, 1979 markings/sec, 180 secs
lola: 366942 markings, 1346429 edges, 1943 markings/sec, 185 secs
lola: 376667 markings, 1382021 edges, 1945 markings/sec, 190 secs
lola: 386399 markings, 1417874 edges, 1946 markings/sec, 195 secs
lola: 396119 markings, 1453658 edges, 1944 markings/sec, 200 secs
lola: 405765 markings, 1491461 edges, 1929 markings/sec, 205 secs
lola: 415547 markings, 1526564 edges, 1956 markings/sec, 210 secs
lola: 425289 markings, 1562183 edges, 1948 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: 162972 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__5_9_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__5_9_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N010-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: 7417 markings, 26432 edges, 1483 markings/sec, 0 secs
lola: 17301 markings, 61378 edges, 1977 markings/sec, 5 secs
lola: 27195 markings, 94801 edges, 1979 markings/sec, 10 secs
lola: 37121 markings, 127190 edges, 1985 markings/sec, 15 secs
lola: 46986 markings, 162619 edges, 1973 markings/sec, 20 secs
lola: 56850 markings, 197699 edges, 1973 markings/sec, 25 secs
lola: 66586 markings, 236373 edges, 1947 markings/sec, 30 secs
lola: 76601 markings, 268066 edges, 2003 markings/sec, 35 secs
lola: 86548 markings, 301913 edges, 1989 markings/sec, 40 secs
lola: 96524 markings, 333548 edges, 1995 markings/sec, 45 secs
lola: 106419 markings, 366705 edges, 1979 markings/sec, 50 secs
lola: 116248 markings, 402340 edges, 1966 markings/sec, 55 secs
lola: 126135 markings, 436063 edges, 1977 markings/sec, 60 secs
lola: 135988 markings, 471139 edges, 1971 markings/sec, 65 secs
lola: 145787 markings, 508483 edges, 1960 markings/sec, 70 secs
lola: 155771 markings, 539990 edges, 1997 markings/sec, 75 secs
lola: 165705 markings, 573138 edges, 1987 markings/sec, 80 secs
lola: 175539 markings, 605566 edges, 1967 markings/sec, 85 secs
lola: 185352 markings, 637127 edges, 1963 markings/sec, 90 secs
lola: 195290 markings, 668428 edges, 1988 markings/sec, 95 secs
lola: 205167 markings, 701542 edges, 1975 markings/sec, 100 secs
lola: 215128 markings, 733024 edges, 1992 markings/sec, 105 secs
lola: 225055 markings, 765203 edges, 1985 markings/sec, 110 secs
lola: 234956 markings, 797663 edges, 1980 markings/sec, 115 secs
lola: 244904 markings, 829138 edges, 1990 markings/sec, 120 secs
lola: 254841 markings, 862501 edges, 1987 markings/sec, 125 secs
lola: 264699 markings, 896880 edges, 1972 markings/sec, 130 secs
lola: 274552 markings, 929769 edges, 1971 markings/sec, 135 secs
lola: 284310 markings, 962839 edges, 1952 markings/sec, 140 secs
lola: 294224 markings, 996261 edges, 1983 markings/sec, 145 secs
lola: 304136 markings, 1028343 edges, 1982 markings/sec, 150 secs
lola: 314037 markings, 1061129 edges, 1980 markings/sec, 155 secs
lola: 323909 markings, 1094163 edges, 1974 markings/sec, 160 secs
lola: 333611 markings, 1126569 edges, 1940 markings/sec, 165 secs
lola: 342390 markings, 1154732 edges, 1756 markings/sec, 170 secs
lola: 351157 markings, 1183515 edges, 1753 markings/sec, 175 secs
lola: 360037 markings, 1212234 edges, 1776 markings/sec, 180 secs
lola: 369626 markings, 1244420 edges, 1918 markings/sec, 185 secs
lola: 379299 markings, 1274846 edges, 1935 markings/sec, 190 secs
lola: 388938 markings, 1305754 edges, 1928 markings/sec, 195 secs
lola: 398564 markings, 1337446 edges, 1925 markings/sec, 200 secs
lola: 408246 markings, 1367944 edges, 1936 markings/sec, 205 secs
lola: 417947 markings, 1398137 edges, 1940 markings/sec, 210 secs
lola: 427614 markings, 1429015 edges, 1933 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: 167584 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__26_16_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__26_16_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N010-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: 7144 markings, 24722 edges, 1429 markings/sec, 0 secs
lola: 16719 markings, 58745 edges, 1915 markings/sec, 5 secs
lola: 26114 markings, 92659 edges, 1879 markings/sec, 10 secs
lola: 34932 markings, 121735 edges, 1764 markings/sec, 15 secs
lola: 43764 markings, 150710 edges, 1766 markings/sec, 20 secs
lola: 52538 markings, 180970 edges, 1755 markings/sec, 25 secs
lola: 61264 markings, 211912 edges, 1745 markings/sec, 30 secs
lola: 69989 markings, 244302 edges, 1745 markings/sec, 35 secs
lola: 78639 markings, 277919 edges, 1730 markings/sec, 40 secs
lola: 87156 markings, 309404 edges, 1703 markings/sec, 45 secs
lola: 95725 markings, 338586 edges, 1714 markings/sec, 50 secs
lola: 104531 markings, 368066 edges, 1761 markings/sec, 55 secs
lola: 114103 markings, 401114 edges, 1914 markings/sec, 60 secs
lola: 123421 markings, 434852 edges, 1864 markings/sec, 65 secs
lola: 132674 markings, 465527 edges, 1851 markings/sec, 70 secs
lola: 142156 markings, 498830 edges, 1896 markings/sec, 75 secs
lola: 151354 markings, 532920 edges, 1840 markings/sec, 80 secs
lola: 160454 markings, 567711 edges, 1820 markings/sec, 85 secs
lola: 169197 markings, 601436 edges, 1749 markings/sec, 90 secs
lola: 177730 markings, 633076 edges, 1707 markings/sec, 95 secs
lola: 186785 markings, 664927 edges, 1811 markings/sec, 100 secs
lola: 196493 markings, 698808 edges, 1942 markings/sec, 105 secs
lola: 206075 markings, 734765 edges, 1916 markings/sec, 110 secs
lola: 215664 markings, 771172 edges, 1918 markings/sec, 115 secs
lola: 225291 markings, 807557 edges, 1925 markings/sec, 120 secs
lola: 234962 markings, 840712 edges, 1934 markings/sec, 125 secs
lola: 244660 markings, 872522 edges, 1940 markings/sec, 130 secs
lola: 254337 markings, 906118 edges, 1935 markings/sec, 135 secs
lola: 263990 markings, 940536 edges, 1931 markings/sec, 140 secs
lola: 273602 markings, 974164 edges, 1922 markings/sec, 145 secs
lola: 283336 markings, 1005758 edges, 1947 markings/sec, 150 secs
lola: 293003 markings, 1039151 edges, 1933 markings/sec, 155 secs
lola: 302645 markings, 1073475 edges, 1928 markings/sec, 160 secs
lola: 312189 markings, 1107187 edges, 1909 markings/sec, 165 secs
lola: 321848 markings, 1141308 edges, 1932 markings/sec, 170 secs
lola: 331505 markings, 1176809 edges, 1931 markings/sec, 175 secs
lola: 341221 markings, 1209621 edges, 1943 markings/sec, 180 secs
lola: 350939 markings, 1242812 edges, 1944 markings/sec, 185 secs
lola: 360677 markings, 1274623 edges, 1948 markings/sec, 190 secs
lola: 370417 markings, 1305803 edges, 1948 markings/sec, 195 secs
lola: 380181 markings, 1337575 edges, 1953 markings/sec, 200 secs
lola: 389864 markings, 1369614 edges, 1937 markings/sec, 205 secs
lola: 399526 markings, 1403475 edges, 1932 markings/sec, 210 secs
lola: 409172 markings, 1436334 edges, 1929 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: 167788 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__20_37_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__20_37_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N010-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: 7088 markings, 25455 edges, 1418 markings/sec, 0 secs
lola: 16554 markings, 59889 edges, 1893 markings/sec, 5 secs
lola: 26084 markings, 91751 edges, 1906 markings/sec, 10 secs
lola: 35828 markings, 125311 edges, 1949 markings/sec, 15 secs
lola: 45474 markings, 160392 edges, 1929 markings/sec, 20 secs
lola: 55280 markings, 194165 edges, 1961 markings/sec, 25 secs
lola: 65070 markings, 227858 edges, 1958 markings/sec, 30 secs
lola: 74811 markings, 262485 edges, 1948 markings/sec, 35 secs
lola: 84530 markings, 295402 edges, 1944 markings/sec, 40 secs
lola: 94287 markings, 329336 edges, 1951 markings/sec, 45 secs
lola: 104030 markings, 363466 edges, 1949 markings/sec, 50 secs
lola: 113806 markings, 398218 edges, 1955 markings/sec, 55 secs
lola: 123568 markings, 432434 edges, 1952 markings/sec, 60 secs
lola: 133333 markings, 466067 edges, 1953 markings/sec, 65 secs
lola: 143034 markings, 501900 edges, 1940 markings/sec, 70 secs
lola: 152800 markings, 535015 edges, 1953 markings/sec, 75 secs
lola: 162585 markings, 568311 edges, 1957 markings/sec, 80 secs
lola: 172161 markings, 602983 edges, 1915 markings/sec, 85 secs
lola: 181806 markings, 637316 edges, 1929 markings/sec, 90 secs
lola: 191538 markings, 671558 edges, 1946 markings/sec, 95 secs
lola: 201239 markings, 706477 edges, 1940 markings/sec, 100 secs
lola: 210985 markings, 739802 edges, 1949 markings/sec, 105 secs
lola: 220665 markings, 775134 edges, 1936 markings/sec, 110 secs
lola: 230201 markings, 807223 edges, 1907 markings/sec, 115 secs
lola: 239660 markings, 840108 edges, 1892 markings/sec, 120 secs
lola: 249088 markings, 873120 edges, 1886 markings/sec, 125 secs
lola: 258564 markings, 905679 edges, 1895 markings/sec, 130 secs
lola: 268061 markings, 938027 edges, 1899 markings/sec, 135 secs
lola: 277545 markings, 969620 edges, 1897 markings/sec, 140 secs
lola: 286976 markings, 1001475 edges, 1886 markings/sec, 145 secs
lola: 296449 markings, 1034039 edges, 1895 markings/sec, 150 secs
lola: 305873 markings, 1067704 edges, 1885 markings/sec, 155 secs
lola: 315375 markings, 1100644 edges, 1900 markings/sec, 160 secs
lola: 324945 markings, 1133026 edges, 1914 markings/sec, 165 secs
lola: 334473 markings, 1164773 edges, 1906 markings/sec, 170 secs
lola: 344001 markings, 1196340 edges, 1906 markings/sec, 175 secs
lola: 353351 markings, 1229575 edges, 1870 markings/sec, 180 secs
lola: 362751 markings, 1261159 edges, 1880 markings/sec, 185 secs
lola: 372550 markings, 1294681 edges, 1960 markings/sec, 190 secs
lola: 382271 markings, 1329602 edges, 1944 markings/sec, 195 secs
lola: 392047 markings, 1363755 edges, 1955 markings/sec, 200 secs
lola: 401709 markings, 1396945 edges, 1932 markings/sec, 205 secs
lola: 410963 markings, 1431308 edges, 1851 markings/sec, 210 secs
lola: 419666 markings, 1461371 edges, 1741 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: 156836 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__11_14_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__11_14_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N010-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: 7223 markings, 25834 edges, 1445 markings/sec, 0 secs
lola: 17062 markings, 59623 edges, 1968 markings/sec, 5 secs
lola: 26809 markings, 94511 edges, 1949 markings/sec, 10 secs
lola: 36381 markings, 128435 edges, 1914 markings/sec, 15 secs
lola: 46124 markings, 163267 edges, 1949 markings/sec, 20 secs
lola: 55931 markings, 197561 edges, 1961 markings/sec, 25 secs
lola: 65800 markings, 233122 edges, 1974 markings/sec, 30 secs
lola: 75666 markings, 267484 edges, 1973 markings/sec, 35 secs
lola: 85410 markings, 304682 edges, 1949 markings/sec, 40 secs
lola: 95216 markings, 340580 edges, 1961 markings/sec, 45 secs
lola: 104974 markings, 375051 edges, 1952 markings/sec, 50 secs
lola: 114743 markings, 408861 edges, 1954 markings/sec, 55 secs
lola: 124527 markings, 443175 edges, 1957 markings/sec, 60 secs
lola: 134266 markings, 477351 edges, 1948 markings/sec, 65 secs
lola: 144001 markings, 512607 edges, 1947 markings/sec, 70 secs
lola: 153737 markings, 546151 edges, 1947 markings/sec, 75 secs
lola: 163471 markings, 580022 edges, 1947 markings/sec, 80 secs
lola: 173201 markings, 614806 edges, 1946 markings/sec, 85 secs
lola: 182898 markings, 648558 edges, 1939 markings/sec, 90 secs
lola: 192688 markings, 680812 edges, 1958 markings/sec, 95 secs
lola: 202421 markings, 715078 edges, 1947 markings/sec, 100 secs
lola: 212119 markings, 750698 edges, 1940 markings/sec, 105 secs
lola: 221773 markings, 788238 edges, 1931 markings/sec, 110 secs
lola: 231374 markings, 827331 edges, 1920 markings/sec, 115 secs
lola: 241029 markings, 864435 edges, 1931 markings/sec, 120 secs
lola: 250642 markings, 901895 edges, 1923 markings/sec, 125 secs
lola: 260428 markings, 937120 edges, 1957 markings/sec, 130 secs
lola: 270131 markings, 971012 edges, 1941 markings/sec, 135 secs
lola: 279471 markings, 1004201 edges, 1868 markings/sec, 140 secs
lola: 288877 markings, 1038021 edges, 1881 markings/sec, 145 secs
lola: 298581 markings, 1072012 edges, 1941 markings/sec, 150 secs
lola: 308229 markings, 1108878 edges, 1930 markings/sec, 155 secs
lola: 317840 markings, 1143822 edges, 1922 markings/sec, 160 secs
lola: 326477 markings, 1175076 edges, 1727 markings/sec, 165 secs
lola: 335116 markings, 1205476 edges, 1728 markings/sec, 170 secs
lola: 343899 markings, 1236685 edges, 1757 markings/sec, 175 secs
lola: 352668 markings, 1268682 edges, 1754 markings/sec, 180 secs
lola: 361283 markings, 1299996 edges, 1723 markings/sec, 185 secs
lola: 369940 markings, 1330575 edges, 1731 markings/sec, 190 secs
lola: 378629 markings, 1361736 edges, 1738 markings/sec, 195 secs
lola: 387704 markings, 1394025 edges, 1815 markings/sec, 200 secs
lola: 396358 markings, 1424069 edges, 1731 markings/sec, 205 secs
lola: 405095 markings, 1455345 edges, 1747 markings/sec, 210 secs
lola: 414555 markings, 1488511 edges, 1892 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: 163668 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__28_29_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__28_29_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N010-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: 7092 markings, 24365 edges, 1418 markings/sec, 0 secs
lola: 16622 markings, 57997 edges, 1906 markings/sec, 5 secs
lola: 26164 markings, 91160 edges, 1908 markings/sec, 10 secs
lola: 35680 markings, 124524 edges, 1903 markings/sec, 15 secs
lola: 45187 markings, 158694 edges, 1901 markings/sec, 20 secs
lola: 54697 markings, 192562 edges, 1902 markings/sec, 25 secs
lola: 64157 markings, 224697 edges, 1892 markings/sec, 30 secs
lola: 73742 markings, 256887 edges, 1917 markings/sec, 35 secs
lola: 83270 markings, 289841 edges, 1906 markings/sec, 40 secs
lola: 92780 markings, 323081 edges, 1902 markings/sec, 45 secs
lola: 102333 markings, 355133 edges, 1911 markings/sec, 50 secs
lola: 111811 markings, 389731 edges, 1896 markings/sec, 55 secs
lola: 121353 markings, 422962 edges, 1908 markings/sec, 60 secs
lola: 130911 markings, 455284 edges, 1912 markings/sec, 65 secs
lola: 140390 markings, 490281 edges, 1896 markings/sec, 70 secs
lola: 149906 markings, 523975 edges, 1903 markings/sec, 75 secs
lola: 159433 markings, 557326 edges, 1905 markings/sec, 80 secs
lola: 168901 markings, 592471 edges, 1894 markings/sec, 85 secs
lola: 178397 markings, 626269 edges, 1899 markings/sec, 90 secs
lola: 187884 markings, 659267 edges, 1897 markings/sec, 95 secs
lola: 197346 markings, 694689 edges, 1892 markings/sec, 100 secs
lola: 206791 markings, 730419 edges, 1889 markings/sec, 105 secs
lola: 216254 markings, 765866 edges, 1893 markings/sec, 110 secs
lola: 225659 markings, 802654 edges, 1881 markings/sec, 115 secs
lola: 235189 markings, 835625 edges, 1906 markings/sec, 120 secs
lola: 244720 markings, 868840 edges, 1906 markings/sec, 125 secs
lola: 254218 markings, 903136 edges, 1900 markings/sec, 130 secs
lola: 263751 markings, 936843 edges, 1907 markings/sec, 135 secs
lola: 273252 markings, 971764 edges, 1900 markings/sec, 140 secs
lola: 282704 markings, 1006496 edges, 1890 markings/sec, 145 secs
lola: 292227 markings, 1039330 edges, 1905 markings/sec, 150 secs
lola: 301776 markings, 1072496 edges, 1910 markings/sec, 155 secs
lola: 311232 markings, 1106521 edges, 1891 markings/sec, 160 secs
lola: 320739 markings, 1140237 edges, 1901 markings/sec, 165 secs
lola: 330285 markings, 1172855 edges, 1909 markings/sec, 170 secs
lola: 339772 markings, 1207814 edges, 1897 markings/sec, 175 secs
lola: 349224 markings, 1243324 edges, 1890 markings/sec, 180 secs
lola: 358834 markings, 1278190 edges, 1922 markings/sec, 185 secs
lola: 368618 markings, 1312481 edges, 1957 markings/sec, 190 secs
lola: 378302 markings, 1349463 edges, 1937 markings/sec, 195 secs
lola: 388027 markings, 1384153 edges, 1945 markings/sec, 200 secs
lola: 397710 markings, 1420893 edges, 1937 markings/sec, 205 secs
lola: 407517 markings, 1453549 edges, 1961 markings/sec, 210 secs
lola: 417229 markings, 1486290 edges, 1942 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 164476 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__39_34_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__39_34_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N010-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: 7450 markings, 25460 edges, 1490 markings/sec, 0 secs
lola: 17248 markings, 59667 edges, 1960 markings/sec, 5 secs
lola: 27096 markings, 95527 edges, 1970 markings/sec, 10 secs
lola: 36930 markings, 130461 edges, 1967 markings/sec, 15 secs
lola: 46790 markings, 165745 edges, 1972 markings/sec, 20 secs
lola: 56627 markings, 200601 edges, 1967 markings/sec, 25 secs
lola: 66454 markings, 234951 edges, 1965 markings/sec, 30 secs
lola: 76241 markings, 270817 edges, 1957 markings/sec, 35 secs
lola: 86073 markings, 306103 edges, 1966 markings/sec, 40 secs
lola: 95977 markings, 340388 edges, 1981 markings/sec, 45 secs
lola: 105961 markings, 375103 edges, 1997 markings/sec, 50 secs
lola: 115965 markings, 409883 edges, 2001 markings/sec, 55 secs
lola: 125923 markings, 444971 edges, 1992 markings/sec, 60 secs
lola: 135950 markings, 479771 edges, 2005 markings/sec, 65 secs
lola: 145945 markings, 516468 edges, 1999 markings/sec, 70 secs
lola: 155908 markings, 550763 edges, 1993 markings/sec, 75 secs
lola: 165729 markings, 585879 edges, 1964 markings/sec, 80 secs
lola: 175546 markings, 620054 edges, 1963 markings/sec, 85 secs
lola: 185334 markings, 655635 edges, 1958 markings/sec, 90 secs
lola: 195160 markings, 690174 edges, 1965 markings/sec, 95 secs
lola: 205029 markings, 724628 edges, 1974 markings/sec, 100 secs
lola: 214875 markings, 759361 edges, 1969 markings/sec, 105 secs
lola: 224688 markings, 794281 edges, 1963 markings/sec, 110 secs
lola: 234481 markings, 829667 edges, 1959 markings/sec, 115 secs
lola: 244288 markings, 863700 edges, 1961 markings/sec, 120 secs
lola: 254006 markings, 898436 edges, 1944 markings/sec, 125 secs
lola: 263829 markings, 932264 edges, 1965 markings/sec, 130 secs
lola: 273607 markings, 968283 edges, 1956 markings/sec, 135 secs
lola: 283444 markings, 1001991 edges, 1967 markings/sec, 140 secs
lola: 293265 markings, 1037519 edges, 1964 markings/sec, 145 secs
lola: 303069 markings, 1071450 edges, 1961 markings/sec, 150 secs
lola: 312853 markings, 1107122 edges, 1957 markings/sec, 155 secs
lola: 322691 markings, 1141316 edges, 1968 markings/sec, 160 secs
lola: 332564 markings, 1176463 edges, 1975 markings/sec, 165 secs
lola: 342400 markings, 1210963 edges, 1967 markings/sec, 170 secs
lola: 352208 markings, 1246168 edges, 1962 markings/sec, 175 secs
lola: 362016 markings, 1281040 edges, 1962 markings/sec, 180 secs
lola: 371816 markings, 1315334 edges, 1960 markings/sec, 185 secs
lola: 381638 markings, 1348452 edges, 1964 markings/sec, 190 secs
lola: 391438 markings, 1382703 edges, 1960 markings/sec, 195 secs
lola: 401183 markings, 1418506 edges, 1949 markings/sec, 200 secs
lola: 411037 markings, 1452470 edges, 1971 markings/sec, 205 secs
lola: 420886 markings, 1486749 edges, 1970 markings/sec, 210 secs
lola: 430696 markings, 1521890 edges, 1962 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: 164044 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__33_22_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__33_22_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N010-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: 7274 markings, 24828 edges, 1455 markings/sec, 0 secs
lola: 16990 markings, 58299 edges, 1943 markings/sec, 5 secs
lola: 26801 markings, 88676 edges, 1962 markings/sec, 10 secs
lola: 36557 markings, 119153 edges, 1951 markings/sec, 15 secs
lola: 46381 markings, 149370 edges, 1965 markings/sec, 20 secs
lola: 56175 markings, 179430 edges, 1959 markings/sec, 25 secs
lola: 66000 markings, 209566 edges, 1965 markings/sec, 30 secs
lola: 75776 markings, 239167 edges, 1955 markings/sec, 35 secs
lola: 85575 markings, 268434 edges, 1960 markings/sec, 40 secs
lola: 95368 markings, 298489 edges, 1959 markings/sec, 45 secs
lola: 105183 markings, 327865 edges, 1963 markings/sec, 50 secs
lola: 115025 markings, 356871 edges, 1968 markings/sec, 55 secs
lola: 124963 markings, 388521 edges, 1988 markings/sec, 60 secs
lola: 135040 markings, 419069 edges, 2015 markings/sec, 65 secs
lola: 145128 markings, 450416 edges, 2018 markings/sec, 70 secs
lola: 155229 markings, 481030 edges, 2020 markings/sec, 75 secs
lola: 165261 markings, 513286 edges, 2006 markings/sec, 80 secs
lola: 175357 markings, 544305 edges, 2019 markings/sec, 85 secs
lola: 185425 markings, 576635 edges, 2014 markings/sec, 90 secs
lola: 195293 markings, 608084 edges, 1974 markings/sec, 95 secs
lola: 204954 markings, 637199 edges, 1932 markings/sec, 100 secs
lola: 214621 markings, 665937 edges, 1933 markings/sec, 105 secs
lola: 224283 markings, 694931 edges, 1932 markings/sec, 110 secs
lola: 233910 markings, 724854 edges, 1925 markings/sec, 115 secs
lola: 243571 markings, 754428 edges, 1932 markings/sec, 120 secs
lola: 253252 markings, 783185 edges, 1936 markings/sec, 125 secs
lola: 262912 markings, 813164 edges, 1932 markings/sec, 130 secs
lola: 272600 markings, 841672 edges, 1938 markings/sec, 135 secs
lola: 282204 markings, 871455 edges, 1921 markings/sec, 140 secs
lola: 291918 markings, 901099 edges, 1943 markings/sec, 145 secs
lola: 301622 markings, 929788 edges, 1941 markings/sec, 150 secs
lola: 311279 markings, 960584 edges, 1931 markings/sec, 155 secs
lola: 320988 markings, 989971 edges, 1942 markings/sec, 160 secs
lola: 330648 markings, 1019964 edges, 1932 markings/sec, 165 secs
lola: 340340 markings, 1049337 edges, 1938 markings/sec, 170 secs
lola: 350016 markings, 1079100 edges, 1935 markings/sec, 175 secs
lola: 359704 markings, 1107760 edges, 1938 markings/sec, 180 secs
lola: 369405 markings, 1136204 edges, 1940 markings/sec, 185 secs
lola: 379075 markings, 1165824 edges, 1934 markings/sec, 190 secs
lola: 388728 markings, 1195821 edges, 1931 markings/sec, 195 secs
lola: 398370 markings, 1226031 edges, 1928 markings/sec, 200 secs
lola: 407970 markings, 1257723 edges, 1920 markings/sec, 205 secs
lola: 417570 markings, 1288678 edges, 1920 markings/sec, 210 secs
lola: 426973 markings, 1318904 edges, 1881 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: 188424 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__27_30_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__27_30_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N010-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: 6878 markings, 24180 edges, 1376 markings/sec, 0 secs
lola: 16762 markings, 58178 edges, 1977 markings/sec, 5 secs
lola: 26567 markings, 94028 edges, 1961 markings/sec, 10 secs
lola: 36378 markings, 129622 edges, 1962 markings/sec, 15 secs
lola: 46177 markings, 164258 edges, 1960 markings/sec, 20 secs
lola: 55948 markings, 199024 edges, 1954 markings/sec, 25 secs
lola: 65826 markings, 234654 edges, 1976 markings/sec, 30 secs
lola: 75704 markings, 269829 edges, 1976 markings/sec, 35 secs
lola: 85566 markings, 305413 edges, 1972 markings/sec, 40 secs
lola: 95501 markings, 337964 edges, 1987 markings/sec, 45 secs
lola: 105415 markings, 371069 edges, 1983 markings/sec, 50 secs
lola: 115311 markings, 404985 edges, 1979 markings/sec, 55 secs
lola: 125169 markings, 439268 edges, 1972 markings/sec, 60 secs
lola: 134994 markings, 475620 edges, 1965 markings/sec, 65 secs
lola: 144837 markings, 510433 edges, 1969 markings/sec, 70 secs
lola: 154727 markings, 544758 edges, 1978 markings/sec, 75 secs
lola: 164602 markings, 580464 edges, 1975 markings/sec, 80 secs
lola: 174400 markings, 617237 edges, 1960 markings/sec, 85 secs
lola: 184276 markings, 651412 edges, 1975 markings/sec, 90 secs
lola: 194034 markings, 688371 edges, 1952 markings/sec, 95 secs
lola: 203903 markings, 722979 edges, 1974 markings/sec, 100 secs
lola: 213727 markings, 759506 edges, 1965 markings/sec, 105 secs
lola: 223457 markings, 795755 edges, 1946 markings/sec, 110 secs
lola: 233314 markings, 830170 edges, 1971 markings/sec, 115 secs
lola: 243230 markings, 863136 edges, 1983 markings/sec, 120 secs
lola: 253104 markings, 897123 edges, 1975 markings/sec, 125 secs
lola: 262903 markings, 933053 edges, 1960 markings/sec, 130 secs
lola: 272642 markings, 971458 edges, 1948 markings/sec, 135 secs
lola: 282495 markings, 1005823 edges, 1971 markings/sec, 140 secs
lola: 292297 markings, 1041981 edges, 1960 markings/sec, 145 secs
lola: 302159 markings, 1075915 edges, 1972 markings/sec, 150 secs
lola: 311972 markings, 1111236 edges, 1963 markings/sec, 155 secs
lola: 321808 markings, 1146328 edges, 1967 markings/sec, 160 secs
lola: 331619 markings, 1181177 edges, 1962 markings/sec, 165 secs
lola: 341468 markings, 1216094 edges, 1970 markings/sec, 170 secs
lola: 351390 markings, 1248510 edges, 1984 markings/sec, 175 secs
lola: 361245 markings, 1282894 edges, 1971 markings/sec, 180 secs
lola: 371183 markings, 1315987 edges, 1988 markings/sec, 185 secs
lola: 381033 markings, 1349450 edges, 1970 markings/sec, 190 secs
lola: 390882 markings, 1383978 edges, 1970 markings/sec, 195 secs
lola: 400704 markings, 1420355 edges, 1964 markings/sec, 200 secs
lola: 410612 markings, 1453960 edges, 1982 markings/sec, 205 secs
lola: 420444 markings, 1489769 edges, 1966 markings/sec, 210 secs
lola: 430210 markings, 1527008 edges, 1953 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: 165264 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__39_10_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__39_10_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N010-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: 7729 markings, 26598 edges, 1546 markings/sec, 0 secs
lola: 17952 markings, 61536 edges, 2045 markings/sec, 5 secs
lola: 28063 markings, 98331 edges, 2022 markings/sec, 10 secs
lola: 38225 markings, 134874 edges, 2032 markings/sec, 15 secs
lola: 48372 markings, 171584 edges, 2029 markings/sec, 20 secs
lola: 58469 markings, 208147 edges, 2019 markings/sec, 25 secs
lola: 68619 markings, 245117 edges, 2030 markings/sec, 30 secs
lola: 78799 markings, 280376 edges, 2036 markings/sec, 35 secs
lola: 88926 markings, 317745 edges, 2025 markings/sec, 40 secs
lola: 99065 markings, 353672 edges, 2028 markings/sec, 45 secs
lola: 109218 markings, 390507 edges, 2031 markings/sec, 50 secs
lola: 119403 markings, 425905 edges, 2037 markings/sec, 55 secs
lola: 129526 markings, 461971 edges, 2025 markings/sec, 60 secs
lola: 139634 markings, 497963 edges, 2022 markings/sec, 65 secs
lola: 149743 markings, 533515 edges, 2022 markings/sec, 70 secs
lola: 159836 markings, 568816 edges, 2019 markings/sec, 75 secs
lola: 169934 markings, 605313 edges, 2020 markings/sec, 80 secs
lola: 180024 markings, 641886 edges, 2018 markings/sec, 85 secs
lola: 190174 markings, 676755 edges, 2030 markings/sec, 90 secs
lola: 200235 markings, 714501 edges, 2012 markings/sec, 95 secs
lola: 210285 markings, 753094 edges, 2010 markings/sec, 100 secs
lola: 220408 markings, 787881 edges, 2025 markings/sec, 105 secs
lola: 230503 markings, 826275 edges, 2019 markings/sec, 110 secs
lola: 240562 markings, 866229 edges, 2012 markings/sec, 115 secs
lola: 250708 markings, 902758 edges, 2029 markings/sec, 120 secs
lola: 260815 markings, 940057 edges, 2021 markings/sec, 125 secs
lola: 270985 markings, 975920 edges, 2034 markings/sec, 130 secs
lola: 281153 markings, 1012059 edges, 2034 markings/sec, 135 secs
lola: 291235 markings, 1050339 edges, 2016 markings/sec, 140 secs
lola: 301366 markings, 1087090 edges, 2026 markings/sec, 145 secs
lola: 311478 markings, 1121800 edges, 2022 markings/sec, 150 secs
lola: 321494 markings, 1159605 edges, 2003 markings/sec, 155 secs
lola: 331486 markings, 1198617 edges, 1998 markings/sec, 160 secs
lola: 341555 markings, 1234109 edges, 2014 markings/sec, 165 secs
lola: 351554 markings, 1271735 edges, 2000 markings/sec, 170 secs
lola: 361579 markings, 1310194 edges, 2005 markings/sec, 175 secs
lola: 371726 markings, 1345626 edges, 2029 markings/sec, 180 secs
lola: 381848 markings, 1381993 edges, 2024 markings/sec, 185 secs
lola: 391868 markings, 1422644 edges, 2004 markings/sec, 190 secs
lola: 401987 markings, 1459418 edges, 2024 markings/sec, 195 secs
lola: 412022 markings, 1496509 edges, 2007 markings/sec, 200 secs
lola: 422183 markings, 1532832 edges, 2032 markings/sec, 205 secs
lola: 432325 markings, 1568426 edges, 2028 markings/sec, 210 secs
lola: 442429 markings, 1605769 edges, 2021 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 193460 KB
lola: time consumption: 2232 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__11_11_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__11_11_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N010-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: 7481 markings, 26659 edges, 1496 markings/sec, 0 secs
lola: 17493 markings, 58823 edges, 2002 markings/sec, 5 secs
lola: 27384 markings, 94483 edges, 1978 markings/sec, 10 secs
lola: 37283 markings, 129807 edges, 1980 markings/sec, 15 secs
lola: 47152 markings, 164988 edges, 1974 markings/sec, 20 secs
lola: 57044 markings, 199449 edges, 1978 markings/sec, 25 secs
lola: 66925 markings, 234721 edges, 1976 markings/sec, 30 secs
lola: 76866 markings, 267603 edges, 1988 markings/sec, 35 secs
lola: 86673 markings, 300493 edges, 1961 markings/sec, 40 secs
lola: 96384 markings, 334288 edges, 1942 markings/sec, 45 secs
lola: 106040 markings, 368845 edges, 1931 markings/sec, 50 secs
lola: 115875 markings, 402764 edges, 1967 markings/sec, 55 secs
lola: 125880 markings, 434563 edges, 2001 markings/sec, 60 secs
lola: 135826 markings, 466800 edges, 1989 markings/sec, 65 secs
lola: 145704 markings, 501773 edges, 1976 markings/sec, 70 secs
lola: 155692 markings, 531298 edges, 1998 markings/sec, 75 secs
lola: 165672 markings, 562698 edges, 1996 markings/sec, 80 secs
lola: 175641 markings, 594285 edges, 1994 markings/sec, 85 secs
lola: 185652 markings, 624993 edges, 2002 markings/sec, 90 secs
lola: 195579 markings, 655563 edges, 1985 markings/sec, 95 secs
lola: 205605 markings, 686153 edges, 2005 markings/sec, 100 secs
lola: 215605 markings, 716455 edges, 2000 markings/sec, 105 secs
lola: 225578 markings, 747529 edges, 1995 markings/sec, 110 secs
lola: 235516 markings, 780707 edges, 1988 markings/sec, 115 secs
lola: 245412 markings, 814137 edges, 1979 markings/sec, 120 secs
lola: 255303 markings, 847218 edges, 1978 markings/sec, 125 secs
lola: 265250 markings, 878018 edges, 1989 markings/sec, 130 secs
lola: 275190 markings, 909784 edges, 1988 markings/sec, 135 secs
lola: 285168 markings, 941392 edges, 1996 markings/sec, 140 secs
lola: 295035 markings, 976348 edges, 1973 markings/sec, 145 secs
lola: 304874 markings, 1006964 edges, 1968 markings/sec, 150 secs
lola: 314689 markings, 1042617 edges, 1963 markings/sec, 155 secs
lola: 324596 markings, 1074264 edges, 1981 markings/sec, 160 secs
lola: 334594 markings, 1104722 edges, 2000 markings/sec, 165 secs
lola: 344550 markings, 1136424 edges, 1991 markings/sec, 170 secs
lola: 354455 markings, 1170975 edges, 1981 markings/sec, 175 secs
lola: 364379 markings, 1204242 edges, 1985 markings/sec, 180 secs
lola: 374320 markings, 1235389 edges, 1988 markings/sec, 185 secs
lola: 384294 markings, 1266588 edges, 1995 markings/sec, 190 secs
lola: 394285 markings, 1296691 edges, 1998 markings/sec, 195 secs
lola: 404171 markings, 1329616 edges, 1977 markings/sec, 200 secs
lola: 414162 markings, 1361360 edges, 1998 markings/sec, 205 secs
lola: 424145 markings, 1393290 edges, 1997 markings/sec, 210 secs
lola: 434098 markings, 1425004 edges, 1991 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: 176400 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__10_27_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__10_27_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N010-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: 7499 markings, 26452 edges, 1500 markings/sec, 0 secs
lola: 17416 markings, 62554 edges, 1983 markings/sec, 5 secs
lola: 27315 markings, 97374 edges, 1980 markings/sec, 10 secs
lola: 37183 markings, 132943 edges, 1974 markings/sec, 15 secs
lola: 47064 markings, 167624 edges, 1976 markings/sec, 20 secs
lola: 56819 markings, 203441 edges, 1951 markings/sec, 25 secs
lola: 66672 markings, 240033 edges, 1971 markings/sec, 30 secs
lola: 76510 markings, 277283 edges, 1968 markings/sec, 35 secs
lola: 86434 markings, 312522 edges, 1985 markings/sec, 40 secs
lola: 96327 markings, 346966 edges, 1979 markings/sec, 45 secs
lola: 106191 markings, 382082 edges, 1973 markings/sec, 50 secs
lola: 116022 markings, 416842 edges, 1966 markings/sec, 55 secs
lola: 125920 markings, 450602 edges, 1980 markings/sec, 60 secs
lola: 135836 markings, 483826 edges, 1983 markings/sec, 65 secs
lola: 145720 markings, 518209 edges, 1977 markings/sec, 70 secs
lola: 155570 markings, 552772 edges, 1970 markings/sec, 75 secs
lola: 165380 markings, 588278 edges, 1962 markings/sec, 80 secs
lola: 175153 markings, 625004 edges, 1955 markings/sec, 85 secs
lola: 185044 markings, 657801 edges, 1978 markings/sec, 90 secs
lola: 194955 markings, 690216 edges, 1982 markings/sec, 95 secs
lola: 204789 markings, 725485 edges, 1967 markings/sec, 100 secs
lola: 214634 markings, 760005 edges, 1969 markings/sec, 105 secs
lola: 224411 markings, 797453 edges, 1955 markings/sec, 110 secs
lola: 234262 markings, 832086 edges, 1970 markings/sec, 115 secs
lola: 244086 markings, 867729 edges, 1965 markings/sec, 120 secs
lola: 253986 markings, 900610 edges, 1980 markings/sec, 125 secs
lola: 263841 markings, 935027 edges, 1971 markings/sec, 130 secs
lola: 273668 markings, 970073 edges, 1965 markings/sec, 135 secs
lola: 283520 markings, 1005580 edges, 1970 markings/sec, 140 secs
lola: 293255 markings, 1039485 edges, 1947 markings/sec, 145 secs
lola: 303092 markings, 1075022 edges, 1967 markings/sec, 150 secs
lola: 313039 markings, 1107699 edges, 1989 markings/sec, 155 secs
lola: 322924 markings, 1142328 edges, 1977 markings/sec, 160 secs
lola: 332799 markings, 1176165 edges, 1975 markings/sec, 165 secs
lola: 342665 markings, 1211066 edges, 1973 markings/sec, 170 secs
lola: 352486 markings, 1246698 edges, 1964 markings/sec, 175 secs
lola: 362325 markings, 1282407 edges, 1968 markings/sec, 180 secs
lola: 372169 markings, 1317985 edges, 1969 markings/sec, 185 secs
lola: 382030 markings, 1352132 edges, 1972 markings/sec, 190 secs
lola: 391911 markings, 1384949 edges, 1976 markings/sec, 195 secs
lola: 401765 markings, 1418776 edges, 1971 markings/sec, 200 secs
lola: 411624 markings, 1452444 edges, 1972 markings/sec, 205 secs
lola: 421497 markings, 1485972 edges, 1975 markings/sec, 210 secs
lola: 431346 markings, 1521252 edges, 1970 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: 177948 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__39_21_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__39_21_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N010-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: 7711 markings, 26765 edges, 1542 markings/sec, 0 secs
lola: 17895 markings, 61631 edges, 2037 markings/sec, 5 secs
lola: 28072 markings, 96707 edges, 2035 markings/sec, 10 secs
lola: 38262 markings, 131814 edges, 2038 markings/sec, 15 secs
lola: 48418 markings, 165680 edges, 2031 markings/sec, 20 secs
lola: 58585 markings, 201313 edges, 2033 markings/sec, 25 secs
lola: 68784 markings, 236330 edges, 2040 markings/sec, 30 secs
lola: 79012 markings, 271517 edges, 2046 markings/sec, 35 secs
lola: 89164 markings, 306490 edges, 2030 markings/sec, 40 secs
lola: 99350 markings, 340983 edges, 2037 markings/sec, 45 secs
lola: 109547 markings, 375360 edges, 2039 markings/sec, 50 secs
lola: 119713 markings, 410275 edges, 2033 markings/sec, 55 secs
lola: 129900 markings, 444795 edges, 2037 markings/sec, 60 secs
lola: 140120 markings, 479758 edges, 2044 markings/sec, 65 secs
lola: 150278 markings, 514744 edges, 2032 markings/sec, 70 secs
lola: 160409 markings, 551127 edges, 2026 markings/sec, 75 secs
lola: 170528 markings, 587765 edges, 2024 markings/sec, 80 secs
lola: 180653 markings, 624786 edges, 2025 markings/sec, 85 secs
lola: 190835 markings, 660906 edges, 2036 markings/sec, 90 secs
lola: 201007 markings, 696812 edges, 2034 markings/sec, 95 secs
lola: 211070 markings, 732968 edges, 2013 markings/sec, 100 secs
lola: 221239 markings, 769734 edges, 2034 markings/sec, 105 secs
lola: 231389 markings, 806535 edges, 2030 markings/sec, 110 secs
lola: 241544 markings, 843494 edges, 2031 markings/sec, 115 secs
lola: 251733 markings, 880852 edges, 2038 markings/sec, 120 secs
lola: 261967 markings, 918155 edges, 2047 markings/sec, 125 secs
lola: 272217 markings, 955020 edges, 2050 markings/sec, 130 secs
lola: 282453 markings, 992186 edges, 2047 markings/sec, 135 secs
lola: 292717 markings, 1027207 edges, 2053 markings/sec, 140 secs
lola: 302923 markings, 1063491 edges, 2041 markings/sec, 145 secs
lola: 313133 markings, 1100221 edges, 2042 markings/sec, 150 secs
lola: 323351 markings, 1135328 edges, 2044 markings/sec, 155 secs
lola: 333584 markings, 1170712 edges, 2047 markings/sec, 160 secs
lola: 343800 markings, 1206282 edges, 2043 markings/sec, 165 secs
lola: 353799 markings, 1242744 edges, 2000 markings/sec, 170 secs
lola: 363903 markings, 1279438 edges, 2021 markings/sec, 175 secs
lola: 374058 markings, 1315249 edges, 2031 markings/sec, 180 secs
lola: 384168 markings, 1352231 edges, 2022 markings/sec, 185 secs
lola: 394304 markings, 1387862 edges, 2027 markings/sec, 190 secs
lola: 404465 markings, 1423121 edges, 2032 markings/sec, 195 secs
lola: 414605 markings, 1460015 edges, 2028 markings/sec, 200 secs
lola: 424755 markings, 1496865 edges, 2030 markings/sec, 205 secs
lola: 434964 markings, 1534082 edges, 2042 markings/sec, 210 secs
lola: 445133 markings, 1571161 edges, 2034 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: 190844 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__25_26_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__25_26_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N010-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: 7445 markings, 25529 edges, 1489 markings/sec, 0 secs
lola: 17292 markings, 60759 edges, 1969 markings/sec, 5 secs
lola: 27156 markings, 95606 edges, 1973 markings/sec, 10 secs
lola: 37024 markings, 130941 edges, 1974 markings/sec, 15 secs
lola: 46858 markings, 165209 edges, 1967 markings/sec, 20 secs
lola: 56674 markings, 200791 edges, 1963 markings/sec, 25 secs
lola: 66494 markings, 236240 edges, 1964 markings/sec, 30 secs
lola: 76368 markings, 270206 edges, 1975 markings/sec, 35 secs
lola: 86206 markings, 304216 edges, 1968 markings/sec, 40 secs
lola: 96035 markings, 340119 edges, 1966 markings/sec, 45 secs
lola: 105882 markings, 375405 edges, 1969 markings/sec, 50 secs
lola: 115633 markings, 413471 edges, 1950 markings/sec, 55 secs
lola: 125325 markings, 454393 edges, 1938 markings/sec, 60 secs
lola: 135113 markings, 491958 edges, 1958 markings/sec, 65 secs
lola: 144889 markings, 528699 edges, 1955 markings/sec, 70 secs
lola: 154692 markings, 563317 edges, 1961 markings/sec, 75 secs
lola: 164463 markings, 600294 edges, 1954 markings/sec, 80 secs
lola: 174258 markings, 635703 edges, 1959 markings/sec, 85 secs
lola: 184064 markings, 670922 edges, 1961 markings/sec, 90 secs
lola: 193910 markings, 705927 edges, 1969 markings/sec, 95 secs
lola: 203726 markings, 741261 edges, 1963 markings/sec, 100 secs
lola: 213554 markings, 776407 edges, 1966 markings/sec, 105 secs
lola: 223359 markings, 812330 edges, 1961 markings/sec, 110 secs
lola: 233186 markings, 847060 edges, 1965 markings/sec, 115 secs
lola: 242886 markings, 881845 edges, 1940 markings/sec, 120 secs
lola: 252726 markings, 917501 edges, 1968 markings/sec, 125 secs
lola: 262587 markings, 952016 edges, 1972 markings/sec, 130 secs
lola: 272432 markings, 987289 edges, 1969 markings/sec, 135 secs
lola: 282266 markings, 1023693 edges, 1967 markings/sec, 140 secs
lola: 292040 markings, 1061766 edges, 1955 markings/sec, 145 secs
lola: 301918 markings, 1094861 edges, 1976 markings/sec, 150 secs
lola: 311816 markings, 1126748 edges, 1980 markings/sec, 155 secs
lola: 321654 markings, 1160091 edges, 1968 markings/sec, 160 secs
lola: 331464 markings, 1195101 edges, 1962 markings/sec, 165 secs
lola: 341360 markings, 1226926 edges, 1979 markings/sec, 170 secs
lola: 351189 markings, 1261358 edges, 1966 markings/sec, 175 secs
lola: 360980 markings, 1294526 edges, 1958 markings/sec, 180 secs
lola: 370856 markings, 1328450 edges, 1975 markings/sec, 185 secs
lola: 380697 markings, 1362875 edges, 1968 markings/sec, 190 secs
lola: 390535 markings, 1397205 edges, 1968 markings/sec, 195 secs
lola: 400453 markings, 1430417 edges, 1984 markings/sec, 200 secs
lola: 410299 markings, 1465906 edges, 1969 markings/sec, 205 secs
lola: 420083 markings, 1501107 edges, 1957 markings/sec, 210 secs
lola: 429906 markings, 1536710 edges, 1965 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: 181472 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__21_28_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__21_28_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N010-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: 7470 markings, 24711 edges, 1494 markings/sec, 0 secs
lola: 17402 markings, 57529 edges, 1986 markings/sec, 5 secs
lola: 27337 markings, 90488 edges, 1987 markings/sec, 10 secs
lola: 37276 markings, 122799 edges, 1988 markings/sec, 15 secs
lola: 47240 markings, 153940 edges, 1993 markings/sec, 20 secs
lola: 57155 markings, 186899 edges, 1983 markings/sec, 25 secs
lola: 67027 markings, 221247 edges, 1974 markings/sec, 30 secs
lola: 76903 markings, 255623 edges, 1975 markings/sec, 35 secs
lola: 86819 markings, 288524 edges, 1983 markings/sec, 40 secs
lola: 96705 markings, 321949 edges, 1977 markings/sec, 45 secs
lola: 106548 markings, 357205 edges, 1969 markings/sec, 50 secs
lola: 116396 markings, 391347 edges, 1970 markings/sec, 55 secs
lola: 126295 markings, 424045 edges, 1980 markings/sec, 60 secs
lola: 136198 markings, 457486 edges, 1981 markings/sec, 65 secs
lola: 146093 markings, 490729 edges, 1979 markings/sec, 70 secs
lola: 155999 markings, 523127 edges, 1981 markings/sec, 75 secs
lola: 165916 markings, 555582 edges, 1983 markings/sec, 80 secs
lola: 175769 markings, 589806 edges, 1971 markings/sec, 85 secs
lola: 185696 markings, 620852 edges, 1985 markings/sec, 90 secs
lola: 195564 markings, 654154 edges, 1974 markings/sec, 95 secs
lola: 205444 markings, 687824 edges, 1976 markings/sec, 100 secs
lola: 215227 markings, 722588 edges, 1957 markings/sec, 105 secs
lola: 225118 markings, 755412 edges, 1978 markings/sec, 110 secs
lola: 235005 markings, 787861 edges, 1977 markings/sec, 115 secs
lola: 244868 markings, 820397 edges, 1973 markings/sec, 120 secs
lola: 254645 markings, 853320 edges, 1955 markings/sec, 125 secs
lola: 264460 markings, 888221 edges, 1963 markings/sec, 130 secs
lola: 274326 markings, 921781 edges, 1973 markings/sec, 135 secs
lola: 284234 markings, 954365 edges, 1982 markings/sec, 140 secs
lola: 294114 markings, 987231 edges, 1976 markings/sec, 145 secs
lola: 304057 markings, 1017655 edges, 1989 markings/sec, 150 secs
lola: 313961 markings, 1049944 edges, 1981 markings/sec, 155 secs
lola: 323864 markings, 1081609 edges, 1981 markings/sec, 160 secs
lola: 333805 markings, 1110562 edges, 1988 markings/sec, 165 secs
lola: 343728 markings, 1140787 edges, 1985 markings/sec, 170 secs
lola: 353643 markings, 1171484 edges, 1983 markings/sec, 175 secs
lola: 363552 markings, 1202361 edges, 1982 markings/sec, 180 secs
lola: 373483 markings, 1232678 edges, 1986 markings/sec, 185 secs
lola: 383394 markings, 1264585 edges, 1982 markings/sec, 190 secs
lola: 393291 markings, 1296035 edges, 1979 markings/sec, 195 secs
lola: 403205 markings, 1327585 edges, 1983 markings/sec, 200 secs
lola: 413105 markings, 1358540 edges, 1980 markings/sec, 205 secs
lola: 422779 markings, 1389765 edges, 1935 markings/sec, 210 secs
lola: 432355 markings, 1422385 edges, 1915 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: 171372 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__10_38_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__10_38_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N010-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: 7280 markings, 24912 edges, 1456 markings/sec, 0 secs
lola: 17003 markings, 58884 edges, 1945 markings/sec, 5 secs
lola: 26714 markings, 91401 edges, 1942 markings/sec, 10 secs
lola: 36381 markings, 125551 edges, 1933 markings/sec, 15 secs
lola: 46242 markings, 159324 edges, 1972 markings/sec, 20 secs
lola: 56194 markings, 193976 edges, 1990 markings/sec, 25 secs
lola: 66070 markings, 228514 edges, 1975 markings/sec, 30 secs
lola: 76074 markings, 261336 edges, 2001 markings/sec, 35 secs
lola: 86063 markings, 295202 edges, 1998 markings/sec, 40 secs
lola: 95979 markings, 331331 edges, 1983 markings/sec, 45 secs
lola: 106000 markings, 365065 edges, 2004 markings/sec, 50 secs
lola: 115966 markings, 399022 edges, 1993 markings/sec, 55 secs
lola: 125928 markings, 433266 edges, 1992 markings/sec, 60 secs
lola: 135895 markings, 466667 edges, 1993 markings/sec, 65 secs
lola: 145843 markings, 501307 edges, 1990 markings/sec, 70 secs
lola: 155750 markings, 536457 edges, 1981 markings/sec, 75 secs
lola: 165694 markings, 570679 edges, 1989 markings/sec, 80 secs
lola: 175653 markings, 604695 edges, 1992 markings/sec, 85 secs
lola: 185590 markings, 638738 edges, 1987 markings/sec, 90 secs
lola: 195603 markings, 670630 edges, 2003 markings/sec, 95 secs
lola: 205547 markings, 703587 edges, 1989 markings/sec, 100 secs
lola: 215544 markings, 735939 edges, 1999 markings/sec, 105 secs
lola: 225535 markings, 768322 edges, 1998 markings/sec, 110 secs
lola: 235483 markings, 801011 edges, 1990 markings/sec, 115 secs
lola: 245450 markings, 834533 edges, 1993 markings/sec, 120 secs
lola: 255240 markings, 867203 edges, 1958 markings/sec, 125 secs
lola: 265190 markings, 899848 edges, 1990 markings/sec, 130 secs
lola: 275164 markings, 933343 edges, 1995 markings/sec, 135 secs
lola: 285124 markings, 966417 edges, 1992 markings/sec, 140 secs
lola: 295089 markings, 999371 edges, 1993 markings/sec, 145 secs
lola: 304987 markings, 1031901 edges, 1980 markings/sec, 150 secs
lola: 314983 markings, 1064704 edges, 1999 markings/sec, 155 secs
lola: 325031 markings, 1097446 edges, 2010 markings/sec, 160 secs
lola: 335031 markings, 1131453 edges, 2000 markings/sec, 165 secs
lola: 345011 markings, 1165558 edges, 1996 markings/sec, 170 secs
lola: 354925 markings, 1198149 edges, 1983 markings/sec, 175 secs
lola: 364874 markings, 1232650 edges, 1990 markings/sec, 180 secs
lola: 374851 markings, 1266190 edges, 1995 markings/sec, 185 secs
lola: 384791 markings, 1299623 edges, 1988 markings/sec, 190 secs
lola: 394666 markings, 1332870 edges, 1975 markings/sec, 195 secs
lola: 404545 markings, 1365220 edges, 1976 markings/sec, 200 secs
lola: 414526 markings, 1398540 edges, 1996 markings/sec, 205 secs
lola: 424524 markings, 1431463 edges, 2000 markings/sec, 210 secs
lola: 434495 markings, 1464608 edges, 1994 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: 167072 KB
lola: time consumption: 3570 seconds
lola: memory consumption: 28492 KB
lola: time consumption: 3570 seconds

BK_STOP 1526697866449

--------------------
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-D40N010"
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-D40N010.tgz
mv Diffusion2D-PT-D40N010 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-D40N010, 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-152649937000261"
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 ;