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 3.5K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K 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.6K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K 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.4K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K 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 2.9K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K 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-D40N100, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r076-blw3-152649937000275
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1526699014568

info: Time: 3600 - MCC
===========================================================================================
prep: translating Diffusion2D-PT-D40N100 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating Diffusion2D-PT-D40N100 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ Diffusion2D-PT-D40N100 @ 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-D40N100-UpperBounds.task
lola: MAX(cAMP__20_29_) : MAX(cAMP__26_12_) : MAX(cAMP__23_6_) : MAX(cAMP__19_16_) : MAX(cAMP__13_23_) : MAX(cAMP__24_14_) : MAX(cAMP__33_9_) : MAX(cAMP__28_37_) : MAX(cAMP__30_5_) : MAX(cAMP__28_37_) : MAX(cAMP__40_22_) : MAX(cAMP__20_9_) : MAX(cAMP__1_33_) : MAX(cAMP__16_9_) : MAX(cAMP__18_8_) : MAX(cAMP__31_2_)
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__20_29_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__20_29_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N100-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: 100
lola: 7225 markings, 25807 edges, 1445 markings/sec, 0 secs
lola: 16902 markings, 60361 edges, 1935 markings/sec, 5 secs
lola: 26553 markings, 95763 edges, 1930 markings/sec, 10 secs
lola: 36232 markings, 130887 edges, 1936 markings/sec, 15 secs
lola: 45822 markings, 167165 edges, 1918 markings/sec, 20 secs
lola: 55446 markings, 202567 edges, 1925 markings/sec, 25 secs
lola: 65059 markings, 238626 edges, 1923 markings/sec, 30 secs
lola: 74714 markings, 273554 edges, 1931 markings/sec, 35 secs
lola: 84371 markings, 309029 edges, 1931 markings/sec, 40 secs
lola: 94017 markings, 344425 edges, 1929 markings/sec, 45 secs
lola: 103688 markings, 379270 edges, 1934 markings/sec, 50 secs
lola: 113382 markings, 412643 edges, 1939 markings/sec, 55 secs
lola: 123049 markings, 446806 edges, 1933 markings/sec, 60 secs
lola: 132680 markings, 481997 edges, 1926 markings/sec, 65 secs
lola: 142337 markings, 517488 edges, 1931 markings/sec, 70 secs
lola: 151980 markings, 552990 edges, 1929 markings/sec, 75 secs
lola: 161594 markings, 589866 edges, 1923 markings/sec, 80 secs
lola: 171240 markings, 624010 edges, 1929 markings/sec, 85 secs
lola: 180912 markings, 657909 edges, 1934 markings/sec, 90 secs
lola: 190547 markings, 693115 edges, 1927 markings/sec, 95 secs
lola: 200222 markings, 726804 edges, 1935 markings/sec, 100 secs
lola: 209906 markings, 760339 edges, 1937 markings/sec, 105 secs
lola: 219597 markings, 793081 edges, 1938 markings/sec, 110 secs
lola: 229268 markings, 826530 edges, 1934 markings/sec, 115 secs
lola: 238937 markings, 860820 edges, 1934 markings/sec, 120 secs
lola: 248587 markings, 896571 edges, 1930 markings/sec, 125 secs
lola: 258234 markings, 931143 edges, 1929 markings/sec, 130 secs
lola: 267879 markings, 966811 edges, 1929 markings/sec, 135 secs
lola: 277598 markings, 1000995 edges, 1944 markings/sec, 140 secs
lola: 287314 markings, 1035695 edges, 1943 markings/sec, 145 secs
lola: 297031 markings, 1069462 edges, 1943 markings/sec, 150 secs
lola: 306724 markings, 1104049 edges, 1939 markings/sec, 155 secs
lola: 316359 markings, 1141522 edges, 1927 markings/sec, 160 secs
lola: 326042 markings, 1175142 edges, 1937 markings/sec, 165 secs
lola: 335750 markings, 1207946 edges, 1942 markings/sec, 170 secs
lola: 345433 markings, 1242035 edges, 1937 markings/sec, 175 secs
lola: 355152 markings, 1273877 edges, 1944 markings/sec, 180 secs
lola: 364855 markings, 1306543 edges, 1941 markings/sec, 185 secs
lola: 374546 markings, 1339787 edges, 1938 markings/sec, 190 secs
lola: 384231 markings, 1373287 edges, 1937 markings/sec, 195 secs
lola: 393833 markings, 1408153 edges, 1920 markings/sec, 200 secs
lola: 403479 markings, 1443149 edges, 1929 markings/sec, 205 secs
lola: 413117 markings, 1477580 edges, 1928 markings/sec, 210 secs
lola: 422727 markings, 1513700 edges, 1922 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: 166792 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__26_12_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__26_12_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N100-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: 100
lola: 7097 markings, 25927 edges, 1419 markings/sec, 0 secs
lola: 16798 markings, 59117 edges, 1940 markings/sec, 5 secs
lola: 26436 markings, 93885 edges, 1928 markings/sec, 10 secs
lola: 36128 markings, 125815 edges, 1938 markings/sec, 15 secs
lola: 45743 markings, 160882 edges, 1923 markings/sec, 20 secs
lola: 55351 markings, 195820 edges, 1922 markings/sec, 25 secs
lola: 65009 markings, 229207 edges, 1932 markings/sec, 30 secs
lola: 74711 markings, 261784 edges, 1940 markings/sec, 35 secs
lola: 84341 markings, 296679 edges, 1926 markings/sec, 40 secs
lola: 94038 markings, 328524 edges, 1939 markings/sec, 45 secs
lola: 103814 markings, 357718 edges, 1955 markings/sec, 50 secs
lola: 113542 markings, 388407 edges, 1946 markings/sec, 55 secs
lola: 123184 markings, 422006 edges, 1928 markings/sec, 60 secs
lola: 132872 markings, 453514 edges, 1938 markings/sec, 65 secs
lola: 142615 markings, 484745 edges, 1949 markings/sec, 70 secs
lola: 152281 markings, 517827 edges, 1933 markings/sec, 75 secs
lola: 161895 markings, 551889 edges, 1923 markings/sec, 80 secs
lola: 171586 markings, 583310 edges, 1938 markings/sec, 85 secs
lola: 181203 markings, 618169 edges, 1923 markings/sec, 90 secs
lola: 190794 markings, 650351 edges, 1918 markings/sec, 95 secs
lola: 200193 markings, 683178 edges, 1880 markings/sec, 100 secs
lola: 209766 markings, 717077 edges, 1915 markings/sec, 105 secs
lola: 219353 markings, 750457 edges, 1917 markings/sec, 110 secs
lola: 228931 markings, 783934 edges, 1916 markings/sec, 115 secs
lola: 238496 markings, 818838 edges, 1913 markings/sec, 120 secs
lola: 248179 markings, 850893 edges, 1937 markings/sec, 125 secs
lola: 257706 markings, 888203 edges, 1905 markings/sec, 130 secs
lola: 267330 markings, 922795 edges, 1925 markings/sec, 135 secs
lola: 276923 markings, 958137 edges, 1919 markings/sec, 140 secs
lola: 286545 markings, 991016 edges, 1924 markings/sec, 145 secs
lola: 296095 markings, 1026388 edges, 1910 markings/sec, 150 secs
lola: 305765 markings, 1056630 edges, 1934 markings/sec, 155 secs
lola: 315449 markings, 1088686 edges, 1937 markings/sec, 160 secs
lola: 325247 markings, 1118037 edges, 1960 markings/sec, 165 secs
lola: 334989 markings, 1148969 edges, 1948 markings/sec, 170 secs
lola: 344756 markings, 1178359 edges, 1953 markings/sec, 175 secs
lola: 354499 markings, 1207426 edges, 1949 markings/sec, 180 secs
lola: 364225 markings, 1237508 edges, 1945 markings/sec, 185 secs
lola: 373894 markings, 1269721 edges, 1934 markings/sec, 190 secs
lola: 383580 markings, 1300763 edges, 1937 markings/sec, 195 secs
lola: 393265 markings, 1333368 edges, 1937 markings/sec, 200 secs
lola: 402897 markings, 1365776 edges, 1926 markings/sec, 205 secs
lola: 412514 markings, 1399207 edges, 1923 markings/sec, 210 secs
lola: 422125 markings, 1433497 edges, 1922 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: 164676 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__23_6_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__23_6_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N100-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: 100
lola: 7244 markings, 24857 edges, 1449 markings/sec, 0 secs
lola: 16973 markings, 57912 edges, 1946 markings/sec, 5 secs
lola: 26764 markings, 88006 edges, 1958 markings/sec, 10 secs
lola: 36501 markings, 119436 edges, 1947 markings/sec, 15 secs
lola: 46278 markings, 149884 edges, 1955 markings/sec, 20 secs
lola: 56021 markings, 181376 edges, 1949 markings/sec, 25 secs
lola: 65829 markings, 210155 edges, 1962 markings/sec, 30 secs
lola: 75530 markings, 242382 edges, 1940 markings/sec, 35 secs
lola: 85295 markings, 272439 edges, 1953 markings/sec, 40 secs
lola: 95010 markings, 303740 edges, 1943 markings/sec, 45 secs
lola: 104741 markings, 334020 edges, 1946 markings/sec, 50 secs
lola: 114406 markings, 367560 edges, 1933 markings/sec, 55 secs
lola: 124196 markings, 397497 edges, 1958 markings/sec, 60 secs
lola: 133965 markings, 427195 edges, 1954 markings/sec, 65 secs
lola: 143750 markings, 457218 edges, 1957 markings/sec, 70 secs
lola: 153515 markings, 488320 edges, 1953 markings/sec, 75 secs
lola: 163301 markings, 518409 edges, 1957 markings/sec, 80 secs
lola: 173055 markings, 548495 edges, 1951 markings/sec, 85 secs
lola: 182863 markings, 577909 edges, 1962 markings/sec, 90 secs
lola: 192673 markings, 606629 edges, 1962 markings/sec, 95 secs
lola: 202506 markings, 635613 edges, 1967 markings/sec, 100 secs
lola: 212321 markings, 665533 edges, 1963 markings/sec, 105 secs
lola: 222135 markings, 694768 edges, 1963 markings/sec, 110 secs
lola: 231936 markings, 724107 edges, 1960 markings/sec, 115 secs
lola: 241721 markings, 753919 edges, 1957 markings/sec, 120 secs
lola: 251556 markings, 782566 edges, 1967 markings/sec, 125 secs
lola: 261324 markings, 812589 edges, 1954 markings/sec, 130 secs
lola: 271080 markings, 842958 edges, 1951 markings/sec, 135 secs
lola: 280834 markings, 873058 edges, 1951 markings/sec, 140 secs
lola: 290617 markings, 900963 edges, 1957 markings/sec, 145 secs
lola: 300395 markings, 930019 edges, 1956 markings/sec, 150 secs
lola: 310172 markings, 958947 edges, 1955 markings/sec, 155 secs
lola: 319898 markings, 990222 edges, 1945 markings/sec, 160 secs
lola: 329681 markings, 1019375 edges, 1957 markings/sec, 165 secs
lola: 339428 markings, 1049857 edges, 1949 markings/sec, 170 secs
lola: 349162 markings, 1080866 edges, 1947 markings/sec, 175 secs
lola: 358939 markings, 1110559 edges, 1955 markings/sec, 180 secs
lola: 368748 markings, 1138833 edges, 1962 markings/sec, 185 secs
lola: 378477 markings, 1169882 edges, 1946 markings/sec, 190 secs
lola: 388246 markings, 1198568 edges, 1954 markings/sec, 195 secs
lola: 397981 markings, 1228414 edges, 1947 markings/sec, 200 secs
lola: 407723 markings, 1258530 edges, 1948 markings/sec, 205 secs
lola: 417451 markings, 1288117 edges, 1946 markings/sec, 210 secs
lola: 427222 markings, 1318079 edges, 1954 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: 186104 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__19_16_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__19_16_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N100-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: 100
lola: 7164 markings, 24597 edges, 1433 markings/sec, 0 secs
lola: 16821 markings, 60494 edges, 1931 markings/sec, 5 secs
lola: 26531 markings, 94398 edges, 1942 markings/sec, 10 secs
lola: 36247 markings, 127763 edges, 1943 markings/sec, 15 secs
lola: 45926 markings, 162138 edges, 1936 markings/sec, 20 secs
lola: 55670 markings, 194805 edges, 1949 markings/sec, 25 secs
lola: 65398 markings, 227962 edges, 1946 markings/sec, 30 secs
lola: 75102 markings, 262013 edges, 1941 markings/sec, 35 secs
lola: 84787 markings, 297048 edges, 1937 markings/sec, 40 secs
lola: 94440 markings, 332651 edges, 1931 markings/sec, 45 secs
lola: 104093 markings, 368059 edges, 1931 markings/sec, 50 secs
lola: 113768 markings, 402452 edges, 1935 markings/sec, 55 secs
lola: 123456 markings, 436961 edges, 1938 markings/sec, 60 secs
lola: 133132 markings, 470884 edges, 1935 markings/sec, 65 secs
lola: 142812 markings, 505111 edges, 1936 markings/sec, 70 secs
lola: 152485 markings, 539510 edges, 1935 markings/sec, 75 secs
lola: 162218 markings, 573255 edges, 1947 markings/sec, 80 secs
lola: 171944 markings, 606465 edges, 1945 markings/sec, 85 secs
lola: 181590 markings, 640525 edges, 1929 markings/sec, 90 secs
lola: 191288 markings, 673661 edges, 1940 markings/sec, 95 secs
lola: 200998 markings, 706571 edges, 1942 markings/sec, 100 secs
lola: 210648 markings, 741171 edges, 1930 markings/sec, 105 secs
lola: 220300 markings, 775474 edges, 1930 markings/sec, 110 secs
lola: 229983 markings, 809058 edges, 1937 markings/sec, 115 secs
lola: 239653 markings, 842328 edges, 1934 markings/sec, 120 secs
lola: 249307 markings, 875782 edges, 1931 markings/sec, 125 secs
lola: 258966 markings, 909027 edges, 1932 markings/sec, 130 secs
lola: 268579 markings, 943611 edges, 1923 markings/sec, 135 secs
lola: 278185 markings, 976951 edges, 1921 markings/sec, 140 secs
lola: 287789 markings, 1011757 edges, 1921 markings/sec, 145 secs
lola: 297411 markings, 1046150 edges, 1924 markings/sec, 150 secs
lola: 306958 markings, 1082951 edges, 1909 markings/sec, 155 secs
lola: 316587 markings, 1116486 edges, 1926 markings/sec, 160 secs
lola: 325949 markings, 1149487 edges, 1872 markings/sec, 165 secs
lola: 335457 markings, 1184859 edges, 1902 markings/sec, 170 secs
lola: 345133 markings, 1218355 edges, 1935 markings/sec, 175 secs
lola: 354689 markings, 1255550 edges, 1911 markings/sec, 180 secs
lola: 364344 markings, 1289645 edges, 1931 markings/sec, 185 secs
lola: 374043 markings, 1322693 edges, 1940 markings/sec, 190 secs
lola: 383727 markings, 1356119 edges, 1937 markings/sec, 195 secs
lola: 393384 markings, 1390406 edges, 1931 markings/sec, 200 secs
lola: 403024 markings, 1424522 edges, 1928 markings/sec, 205 secs
lola: 412664 markings, 1458916 edges, 1928 markings/sec, 210 secs
lola: 422234 markings, 1495246 edges, 1914 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: 185592 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__13_23_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__13_23_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N100-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: 100
lola: 7272 markings, 24158 edges, 1454 markings/sec, 0 secs
lola: 17008 markings, 59253 edges, 1947 markings/sec, 5 secs
lola: 26711 markings, 95136 edges, 1941 markings/sec, 10 secs
lola: 36387 markings, 131566 edges, 1935 markings/sec, 15 secs
lola: 46078 markings, 167495 edges, 1938 markings/sec, 20 secs
lola: 55796 markings, 202256 edges, 1944 markings/sec, 25 secs
lola: 65501 markings, 237296 edges, 1941 markings/sec, 30 secs
lola: 75139 markings, 274554 edges, 1928 markings/sec, 35 secs
lola: 84867 markings, 308707 edges, 1946 markings/sec, 40 secs
lola: 94532 markings, 345054 edges, 1933 markings/sec, 45 secs
lola: 104291 markings, 379886 edges, 1952 markings/sec, 50 secs
lola: 114060 markings, 412454 edges, 1954 markings/sec, 55 secs
lola: 123852 markings, 443953 edges, 1958 markings/sec, 60 secs
lola: 133574 markings, 477748 edges, 1944 markings/sec, 65 secs
lola: 143283 markings, 511749 edges, 1942 markings/sec, 70 secs
lola: 153015 markings, 545836 edges, 1946 markings/sec, 75 secs
lola: 162692 markings, 581724 edges, 1935 markings/sec, 80 secs
lola: 172354 markings, 617928 edges, 1932 markings/sec, 85 secs
lola: 182034 markings, 652851 edges, 1936 markings/sec, 90 secs
lola: 191792 markings, 685981 edges, 1952 markings/sec, 95 secs
lola: 201543 markings, 719266 edges, 1950 markings/sec, 100 secs
lola: 211274 markings, 752989 edges, 1946 markings/sec, 105 secs
lola: 221001 markings, 786967 edges, 1945 markings/sec, 110 secs
lola: 230642 markings, 824165 edges, 1928 markings/sec, 115 secs
lola: 240343 markings, 858398 edges, 1940 markings/sec, 120 secs
lola: 250022 markings, 893278 edges, 1936 markings/sec, 125 secs
lola: 259612 markings, 931869 edges, 1918 markings/sec, 130 secs
lola: 269273 markings, 966917 edges, 1932 markings/sec, 135 secs
lola: 278932 markings, 1001778 edges, 1932 markings/sec, 140 secs
lola: 288650 markings, 1036002 edges, 1944 markings/sec, 145 secs
lola: 298326 markings, 1070973 edges, 1935 markings/sec, 150 secs
lola: 307907 markings, 1109720 edges, 1916 markings/sec, 155 secs
lola: 317684 markings, 1144142 edges, 1955 markings/sec, 160 secs
lola: 327393 markings, 1178891 edges, 1942 markings/sec, 165 secs
lola: 337160 markings, 1211954 edges, 1953 markings/sec, 170 secs
lola: 346919 markings, 1245686 edges, 1952 markings/sec, 175 secs
lola: 356664 markings, 1279354 edges, 1949 markings/sec, 180 secs
lola: 366402 markings, 1312786 edges, 1948 markings/sec, 185 secs
lola: 376116 markings, 1347117 edges, 1943 markings/sec, 190 secs
lola: 385824 markings, 1381350 edges, 1942 markings/sec, 195 secs
lola: 395448 markings, 1418699 edges, 1925 markings/sec, 200 secs
lola: 405108 markings, 1456197 edges, 1932 markings/sec, 205 secs
lola: 414728 markings, 1493643 edges, 1924 markings/sec, 210 secs
lola: 424327 markings, 1531920 edges, 1920 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: 180712 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__24_14_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__24_14_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N100-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: 100
lola: 7272 markings, 24553 edges, 1454 markings/sec, 0 secs
lola: 16917 markings, 60015 edges, 1929 markings/sec, 5 secs
lola: 26596 markings, 94595 edges, 1936 markings/sec, 10 secs
lola: 36239 markings, 129774 edges, 1929 markings/sec, 15 secs
lola: 45929 markings, 162329 edges, 1938 markings/sec, 20 secs
lola: 55635 markings, 194012 edges, 1941 markings/sec, 25 secs
lola: 65323 markings, 227072 edges, 1938 markings/sec, 30 secs
lola: 74953 markings, 261118 edges, 1926 markings/sec, 35 secs
lola: 84628 markings, 295248 edges, 1935 markings/sec, 40 secs
lola: 94302 markings, 329468 edges, 1935 markings/sec, 45 secs
lola: 103953 markings, 364123 edges, 1930 markings/sec, 50 secs
lola: 113605 markings, 398727 edges, 1930 markings/sec, 55 secs
lola: 123133 markings, 437598 edges, 1906 markings/sec, 60 secs
lola: 132755 markings, 473575 edges, 1924 markings/sec, 65 secs
lola: 142365 markings, 509775 edges, 1922 markings/sec, 70 secs
lola: 152000 markings, 543991 edges, 1927 markings/sec, 75 secs
lola: 161681 markings, 578429 edges, 1936 markings/sec, 80 secs
lola: 171318 markings, 612673 edges, 1927 markings/sec, 85 secs
lola: 181056 markings, 644068 edges, 1948 markings/sec, 90 secs
lola: 190758 markings, 676737 edges, 1940 markings/sec, 95 secs
lola: 200430 markings, 710800 edges, 1934 markings/sec, 100 secs
lola: 210083 markings, 745780 edges, 1931 markings/sec, 105 secs
lola: 219762 markings, 779529 edges, 1936 markings/sec, 110 secs
lola: 229381 markings, 814769 edges, 1924 markings/sec, 115 secs
lola: 239042 markings, 848854 edges, 1932 markings/sec, 120 secs
lola: 248736 markings, 880809 edges, 1939 markings/sec, 125 secs
lola: 258407 markings, 913682 edges, 1934 markings/sec, 130 secs
lola: 268077 markings, 947532 edges, 1934 markings/sec, 135 secs
lola: 277770 markings, 981086 edges, 1939 markings/sec, 140 secs
lola: 287423 markings, 1015460 edges, 1931 markings/sec, 145 secs
lola: 297064 markings, 1049424 edges, 1928 markings/sec, 150 secs
lola: 306648 markings, 1085718 edges, 1917 markings/sec, 155 secs
lola: 316245 markings, 1121923 edges, 1919 markings/sec, 160 secs
lola: 325890 markings, 1155356 edges, 1929 markings/sec, 165 secs
lola: 335556 markings, 1188405 edges, 1933 markings/sec, 170 secs
lola: 345219 markings, 1221594 edges, 1933 markings/sec, 175 secs
lola: 354882 markings, 1254984 edges, 1933 markings/sec, 180 secs
lola: 364562 markings, 1287706 edges, 1936 markings/sec, 185 secs
lola: 374250 markings, 1319292 edges, 1938 markings/sec, 190 secs
lola: 383895 markings, 1352699 edges, 1929 markings/sec, 195 secs
lola: 393619 markings, 1383296 edges, 1945 markings/sec, 200 secs
lola: 403325 markings, 1414633 edges, 1941 markings/sec, 205 secs
lola: 412982 markings, 1447921 edges, 1931 markings/sec, 210 secs
lola: 422656 markings, 1481416 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: 164220 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__33_9_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__33_9_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N100-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: 100
lola: 7153 markings, 24420 edges, 1431 markings/sec, 0 secs
lola: 17005 markings, 58271 edges, 1970 markings/sec, 5 secs
lola: 26727 markings, 91534 edges, 1944 markings/sec, 10 secs
lola: 36506 markings, 124247 edges, 1956 markings/sec, 15 secs
lola: 46327 markings, 157930 edges, 1964 markings/sec, 20 secs
lola: 56058 markings, 193925 edges, 1946 markings/sec, 25 secs
lola: 65899 markings, 226433 edges, 1968 markings/sec, 30 secs
lola: 75676 markings, 260579 edges, 1955 markings/sec, 35 secs
lola: 85503 markings, 292893 edges, 1965 markings/sec, 40 secs
lola: 95246 markings, 328099 edges, 1949 markings/sec, 45 secs
lola: 105040 markings, 362126 edges, 1959 markings/sec, 50 secs
lola: 114784 markings, 397853 edges, 1949 markings/sec, 55 secs
lola: 124570 markings, 432399 edges, 1957 markings/sec, 60 secs
lola: 134339 markings, 465819 edges, 1954 markings/sec, 65 secs
lola: 144180 markings, 497594 edges, 1968 markings/sec, 70 secs
lola: 154037 markings, 531054 edges, 1971 markings/sec, 75 secs
lola: 163860 markings, 565161 edges, 1965 markings/sec, 80 secs
lola: 173701 markings, 598619 edges, 1968 markings/sec, 85 secs
lola: 183554 markings, 629738 edges, 1971 markings/sec, 90 secs
lola: 193402 markings, 660548 edges, 1970 markings/sec, 95 secs
lola: 203198 markings, 693478 edges, 1959 markings/sec, 100 secs
lola: 212992 markings, 727504 edges, 1959 markings/sec, 105 secs
lola: 222830 markings, 758170 edges, 1968 markings/sec, 110 secs
lola: 232549 markings, 793589 edges, 1944 markings/sec, 115 secs
lola: 242407 markings, 824398 edges, 1972 markings/sec, 120 secs
lola: 252196 markings, 856413 edges, 1958 markings/sec, 125 secs
lola: 261983 markings, 889476 edges, 1957 markings/sec, 130 secs
lola: 271835 markings, 920286 edges, 1970 markings/sec, 135 secs
lola: 281647 markings, 952832 edges, 1962 markings/sec, 140 secs
lola: 291448 markings, 985681 edges, 1960 markings/sec, 145 secs
lola: 301316 markings, 1018135 edges, 1974 markings/sec, 150 secs
lola: 311091 markings, 1052578 edges, 1955 markings/sec, 155 secs
lola: 320903 markings, 1083772 edges, 1962 markings/sec, 160 secs
lola: 330648 markings, 1117114 edges, 1949 markings/sec, 165 secs
lola: 340442 markings, 1149629 edges, 1959 markings/sec, 170 secs
lola: 350309 markings, 1180316 edges, 1973 markings/sec, 175 secs
lola: 360051 markings, 1214652 edges, 1948 markings/sec, 180 secs
lola: 369848 markings, 1247170 edges, 1959 markings/sec, 185 secs
lola: 379572 markings, 1282045 edges, 1945 markings/sec, 190 secs
lola: 389440 markings, 1312950 edges, 1974 markings/sec, 195 secs
lola: 399301 markings, 1344481 edges, 1972 markings/sec, 200 secs
lola: 409189 markings, 1375578 edges, 1978 markings/sec, 205 secs
lola: 419035 markings, 1407695 edges, 1969 markings/sec, 210 secs
lola: 428877 markings, 1439066 edges, 1968 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: 158984 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__28_37_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__28_37_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N100-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: 100
lola: 7335 markings, 25542 edges, 1467 markings/sec, 0 secs
lola: 17132 markings, 58743 edges, 1959 markings/sec, 5 secs
lola: 26868 markings, 93451 edges, 1947 markings/sec, 10 secs
lola: 36620 markings, 127653 edges, 1950 markings/sec, 15 secs
lola: 46437 markings, 159929 edges, 1963 markings/sec, 20 secs
lola: 56306 markings, 192338 edges, 1974 markings/sec, 25 secs
lola: 66039 markings, 227444 edges, 1947 markings/sec, 30 secs
lola: 75790 markings, 261201 edges, 1950 markings/sec, 35 secs
lola: 85484 markings, 296384 edges, 1939 markings/sec, 40 secs
lola: 95323 markings, 328656 edges, 1968 markings/sec, 45 secs
lola: 105125 markings, 361653 edges, 1960 markings/sec, 50 secs
lola: 114927 markings, 394933 edges, 1960 markings/sec, 55 secs
lola: 124684 markings, 427397 edges, 1951 markings/sec, 60 secs
lola: 134437 markings, 460615 edges, 1951 markings/sec, 65 secs
lola: 144232 markings, 492553 edges, 1959 markings/sec, 70 secs
lola: 154024 markings, 523962 edges, 1958 markings/sec, 75 secs
lola: 163806 markings, 555186 edges, 1956 markings/sec, 80 secs
lola: 173619 markings, 586725 edges, 1963 markings/sec, 85 secs
lola: 183375 markings, 619110 edges, 1951 markings/sec, 90 secs
lola: 193104 markings, 652559 edges, 1946 markings/sec, 95 secs
lola: 202874 markings, 684599 edges, 1954 markings/sec, 100 secs
lola: 212600 markings, 718684 edges, 1945 markings/sec, 105 secs
lola: 222393 markings, 751452 edges, 1959 markings/sec, 110 secs
lola: 232231 markings, 783199 edges, 1968 markings/sec, 115 secs
lola: 242063 markings, 814689 edges, 1966 markings/sec, 120 secs
lola: 251860 markings, 846042 edges, 1959 markings/sec, 125 secs
lola: 261682 markings, 877022 edges, 1964 markings/sec, 130 secs
lola: 271478 markings, 909225 edges, 1959 markings/sec, 135 secs
lola: 281284 markings, 941415 edges, 1961 markings/sec, 140 secs
lola: 291026 markings, 975065 edges, 1948 markings/sec, 145 secs
lola: 300794 markings, 1007812 edges, 1954 markings/sec, 150 secs
lola: 310540 markings, 1041201 edges, 1949 markings/sec, 155 secs
lola: 320265 markings, 1075222 edges, 1945 markings/sec, 160 secs
lola: 330148 markings, 1106879 edges, 1977 markings/sec, 165 secs
lola: 340014 markings, 1139425 edges, 1973 markings/sec, 170 secs
lola: 349895 markings, 1171539 edges, 1976 markings/sec, 175 secs
lola: 359766 markings, 1204242 edges, 1974 markings/sec, 180 secs
lola: 369648 markings, 1236425 edges, 1976 markings/sec, 185 secs
lola: 379461 markings, 1271154 edges, 1963 markings/sec, 190 secs
lola: 389306 markings, 1304429 edges, 1969 markings/sec, 195 secs
lola: 399170 markings, 1337367 edges, 1973 markings/sec, 200 secs
lola: 408989 markings, 1371685 edges, 1964 markings/sec, 205 secs
lola: 418806 markings, 1403408 edges, 1963 markings/sec, 210 secs
lola: 428606 markings, 1435137 edges, 1960 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: 156576 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__30_5_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__30_5_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N100-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: 100
lola: 7292 markings, 25254 edges, 1458 markings/sec, 0 secs
lola: 17047 markings, 58449 edges, 1951 markings/sec, 5 secs
lola: 26790 markings, 90872 edges, 1949 markings/sec, 10 secs
lola: 36461 markings, 126015 edges, 1934 markings/sec, 15 secs
lola: 46146 markings, 160510 edges, 1937 markings/sec, 20 secs
lola: 55909 markings, 192766 edges, 1953 markings/sec, 25 secs
lola: 65640 markings, 225293 edges, 1946 markings/sec, 30 secs
lola: 75397 markings, 257308 edges, 1951 markings/sec, 35 secs
lola: 85143 markings, 289773 edges, 1949 markings/sec, 40 secs
lola: 94926 markings, 322161 edges, 1957 markings/sec, 45 secs
lola: 104700 markings, 354561 edges, 1955 markings/sec, 50 secs
lola: 114418 markings, 386994 edges, 1944 markings/sec, 55 secs
lola: 124078 markings, 418825 edges, 1932 markings/sec, 60 secs
lola: 133800 markings, 451427 edges, 1944 markings/sec, 65 secs
lola: 143545 markings, 483084 edges, 1949 markings/sec, 70 secs
lola: 153248 markings, 515730 edges, 1941 markings/sec, 75 secs
lola: 162958 markings, 548904 edges, 1942 markings/sec, 80 secs
lola: 172687 markings, 580864 edges, 1946 markings/sec, 85 secs
lola: 182422 markings, 612674 edges, 1947 markings/sec, 90 secs
lola: 192110 markings, 646486 edges, 1938 markings/sec, 95 secs
lola: 201831 markings, 678987 edges, 1944 markings/sec, 100 secs
lola: 211520 markings, 712951 edges, 1938 markings/sec, 105 secs
lola: 221233 markings, 746029 edges, 1943 markings/sec, 110 secs
lola: 230892 markings, 780336 edges, 1932 markings/sec, 115 secs
lola: 240623 markings, 813528 edges, 1946 markings/sec, 120 secs
lola: 250411 markings, 845857 edges, 1958 markings/sec, 125 secs
lola: 260123 markings, 880020 edges, 1942 markings/sec, 130 secs
lola: 269896 markings, 912835 edges, 1955 markings/sec, 135 secs
lola: 279671 markings, 945445 edges, 1955 markings/sec, 140 secs
lola: 289453 markings, 977754 edges, 1956 markings/sec, 145 secs
lola: 299197 markings, 1010953 edges, 1949 markings/sec, 150 secs
lola: 308947 markings, 1044087 edges, 1950 markings/sec, 155 secs
lola: 318700 markings, 1076780 edges, 1951 markings/sec, 160 secs
lola: 328448 markings, 1109071 edges, 1950 markings/sec, 165 secs
lola: 338186 markings, 1141574 edges, 1948 markings/sec, 170 secs
lola: 347917 markings, 1174620 edges, 1946 markings/sec, 175 secs
lola: 357622 markings, 1206994 edges, 1941 markings/sec, 180 secs
lola: 367359 markings, 1239659 edges, 1947 markings/sec, 185 secs
lola: 377102 markings, 1272165 edges, 1949 markings/sec, 190 secs
lola: 386835 markings, 1305384 edges, 1947 markings/sec, 195 secs
lola: 396586 markings, 1338391 edges, 1950 markings/sec, 200 secs
lola: 406344 markings, 1370685 edges, 1952 markings/sec, 205 secs
lola: 416085 markings, 1403646 edges, 1948 markings/sec, 210 secs
lola: 425775 markings, 1438373 edges, 1938 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: 156984 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__28_37_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__28_37_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N100-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: 100
lola: 7349 markings, 25582 edges, 1470 markings/sec, 0 secs
lola: 17148 markings, 58798 edges, 1960 markings/sec, 5 secs
lola: 26876 markings, 93494 edges, 1946 markings/sec, 10 secs
lola: 36619 markings, 127650 edges, 1949 markings/sec, 15 secs
lola: 46433 markings, 159922 edges, 1963 markings/sec, 20 secs
lola: 56299 markings, 192316 edges, 1973 markings/sec, 25 secs
lola: 66036 markings, 227432 edges, 1947 markings/sec, 30 secs
lola: 75783 markings, 261180 edges, 1949 markings/sec, 35 secs
lola: 85485 markings, 296390 edges, 1940 markings/sec, 40 secs
lola: 95321 markings, 328651 edges, 1967 markings/sec, 45 secs
lola: 105123 markings, 361637 edges, 1960 markings/sec, 50 secs
lola: 114921 markings, 394910 edges, 1960 markings/sec, 55 secs
lola: 124680 markings, 427390 edges, 1952 markings/sec, 60 secs
lola: 134438 markings, 460618 edges, 1952 markings/sec, 65 secs
lola: 144230 markings, 492539 edges, 1958 markings/sec, 70 secs
lola: 154021 markings, 523956 edges, 1958 markings/sec, 75 secs
lola: 163802 markings, 555171 edges, 1956 markings/sec, 80 secs
lola: 173612 markings, 586708 edges, 1962 markings/sec, 85 secs
lola: 183369 markings, 619092 edges, 1951 markings/sec, 90 secs
lola: 193032 markings, 652294 edges, 1933 markings/sec, 95 secs
lola: 202801 markings, 684348 edges, 1954 markings/sec, 100 secs
lola: 212527 markings, 718401 edges, 1945 markings/sec, 105 secs
lola: 222304 markings, 751185 edges, 1955 markings/sec, 110 secs
lola: 232128 markings, 782907 edges, 1965 markings/sec, 115 secs
lola: 241944 markings, 814346 edges, 1963 markings/sec, 120 secs
lola: 251732 markings, 845662 edges, 1958 markings/sec, 125 secs
lola: 261538 markings, 876515 edges, 1961 markings/sec, 130 secs
lola: 271314 markings, 908515 edges, 1955 markings/sec, 135 secs
lola: 281091 markings, 940788 edges, 1955 markings/sec, 140 secs
lola: 290826 markings, 974393 edges, 1947 markings/sec, 145 secs
lola: 300583 markings, 1006964 edges, 1951 markings/sec, 150 secs
lola: 310330 markings, 1040519 edges, 1949 markings/sec, 155 secs
lola: 320053 markings, 1074354 edges, 1945 markings/sec, 160 secs
lola: 329919 markings, 1106166 edges, 1973 markings/sec, 165 secs
lola: 339781 markings, 1138476 edges, 1972 markings/sec, 170 secs
lola: 349647 markings, 1170701 edges, 1973 markings/sec, 175 secs
lola: 359503 markings, 1203517 edges, 1971 markings/sec, 180 secs
lola: 369381 markings, 1235478 edges, 1976 markings/sec, 185 secs
lola: 379182 markings, 1270274 edges, 1960 markings/sec, 190 secs
lola: 389019 markings, 1303375 edges, 1967 markings/sec, 195 secs
lola: 398874 markings, 1336271 edges, 1971 markings/sec, 200 secs
lola: 408682 markings, 1370694 edges, 1962 markings/sec, 205 secs
lola: 418495 markings, 1402255 edges, 1963 markings/sec, 210 secs
lola: 428295 markings, 1434264 edges, 1960 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: 156344 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__40_22_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__40_22_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N100-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: 100
lola: 7216 markings, 25946 edges, 1443 markings/sec, 0 secs
lola: 17287 markings, 62569 edges, 2014 markings/sec, 5 secs
lola: 27324 markings, 98313 edges, 2007 markings/sec, 10 secs
lola: 37405 markings, 132961 edges, 2016 markings/sec, 15 secs
lola: 47467 markings, 167991 edges, 2012 markings/sec, 20 secs
lola: 57561 markings, 202816 edges, 2019 markings/sec, 25 secs
lola: 67617 markings, 237769 edges, 2011 markings/sec, 30 secs
lola: 77683 markings, 273224 edges, 2013 markings/sec, 35 secs
lola: 87771 markings, 309299 edges, 2018 markings/sec, 40 secs
lola: 97856 markings, 344521 edges, 2017 markings/sec, 45 secs
lola: 107947 markings, 377778 edges, 2018 markings/sec, 50 secs
lola: 118014 markings, 412511 edges, 2013 markings/sec, 55 secs
lola: 128140 markings, 448061 edges, 2025 markings/sec, 60 secs
lola: 138211 markings, 482340 edges, 2014 markings/sec, 65 secs
lola: 148306 markings, 515396 edges, 2019 markings/sec, 70 secs
lola: 158348 markings, 549556 edges, 2008 markings/sec, 75 secs
lola: 168426 markings, 582840 edges, 2016 markings/sec, 80 secs
lola: 178538 markings, 616247 edges, 2022 markings/sec, 85 secs
lola: 188603 markings, 651063 edges, 2013 markings/sec, 90 secs
lola: 198697 markings, 686155 edges, 2019 markings/sec, 95 secs
lola: 208774 markings, 720356 edges, 2015 markings/sec, 100 secs
lola: 218816 markings, 754960 edges, 2008 markings/sec, 105 secs
lola: 228862 markings, 789034 edges, 2009 markings/sec, 110 secs
lola: 238961 markings, 822520 edges, 2020 markings/sec, 115 secs
lola: 249009 markings, 857151 edges, 2010 markings/sec, 120 secs
lola: 259127 markings, 891221 edges, 2024 markings/sec, 125 secs
lola: 269286 markings, 924785 edges, 2032 markings/sec, 130 secs
lola: 279401 markings, 959858 edges, 2023 markings/sec, 135 secs
lola: 289540 markings, 994513 edges, 2028 markings/sec, 140 secs
lola: 299693 markings, 1029578 edges, 2031 markings/sec, 145 secs
lola: 309832 markings, 1063812 edges, 2028 markings/sec, 150 secs
lola: 319917 markings, 1097298 edges, 2017 markings/sec, 155 secs
lola: 329991 markings, 1131431 edges, 2015 markings/sec, 160 secs
lola: 340060 markings, 1165788 edges, 2014 markings/sec, 165 secs
lola: 350130 markings, 1200342 edges, 2014 markings/sec, 170 secs
lola: 360200 markings, 1234377 edges, 2014 markings/sec, 175 secs
lola: 370222 markings, 1269087 edges, 2004 markings/sec, 180 secs
lola: 380251 markings, 1304843 edges, 2006 markings/sec, 185 secs
lola: 390324 markings, 1338090 edges, 2015 markings/sec, 190 secs
lola: 400374 markings, 1372201 edges, 2010 markings/sec, 195 secs
lola: 410464 markings, 1406641 edges, 2018 markings/sec, 200 secs
lola: 420536 markings, 1440515 edges, 2014 markings/sec, 205 secs
lola: 430535 markings, 1475775 edges, 2000 markings/sec, 210 secs
lola: 440572 markings, 1511082 edges, 2007 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 187644 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__20_9_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__20_9_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N100-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: 100
lola: 7261 markings, 25628 edges, 1452 markings/sec, 0 secs
lola: 16985 markings, 58688 edges, 1945 markings/sec, 5 secs
lola: 26658 markings, 92872 edges, 1935 markings/sec, 10 secs
lola: 36365 markings, 126093 edges, 1941 markings/sec, 15 secs
lola: 46050 markings, 160223 edges, 1937 markings/sec, 20 secs
lola: 55737 markings, 194030 edges, 1937 markings/sec, 25 secs
lola: 64331 markings, 223667 edges, 1719 markings/sec, 30 secs
lola: 72901 markings, 254901 edges, 1714 markings/sec, 35 secs
lola: 82189 markings, 287115 edges, 1858 markings/sec, 40 secs
lola: 91906 markings, 320654 edges, 1943 markings/sec, 45 secs
lola: 101569 markings, 356066 edges, 1933 markings/sec, 50 secs
lola: 111218 markings, 389996 edges, 1930 markings/sec, 55 secs
lola: 120889 markings, 423522 edges, 1934 markings/sec, 60 secs
lola: 130530 markings, 457902 edges, 1928 markings/sec, 65 secs
lola: 140199 markings, 492531 edges, 1934 markings/sec, 70 secs
lola: 149875 markings, 525578 edges, 1935 markings/sec, 75 secs
lola: 159569 markings, 558424 edges, 1939 markings/sec, 80 secs
lola: 169229 markings, 592626 edges, 1932 markings/sec, 85 secs
lola: 178950 markings, 624223 edges, 1944 markings/sec, 90 secs
lola: 188642 markings, 657038 edges, 1938 markings/sec, 95 secs
lola: 198342 markings, 689058 edges, 1940 markings/sec, 100 secs
lola: 207949 markings, 723562 edges, 1921 markings/sec, 105 secs
lola: 217535 markings, 757702 edges, 1917 markings/sec, 110 secs
lola: 227201 markings, 791290 edges, 1933 markings/sec, 115 secs
lola: 236872 markings, 825486 edges, 1934 markings/sec, 120 secs
lola: 246588 markings, 858147 edges, 1943 markings/sec, 125 secs
lola: 256292 markings, 891094 edges, 1941 markings/sec, 130 secs
lola: 265920 markings, 924344 edges, 1926 markings/sec, 135 secs
lola: 275645 markings, 957444 edges, 1945 markings/sec, 140 secs
lola: 285366 markings, 992006 edges, 1944 markings/sec, 145 secs
lola: 295044 markings, 1025318 edges, 1936 markings/sec, 150 secs
lola: 304681 markings, 1058962 edges, 1927 markings/sec, 155 secs
lola: 314313 markings, 1093846 edges, 1926 markings/sec, 160 secs
lola: 323992 markings, 1128161 edges, 1936 markings/sec, 165 secs
lola: 333683 markings, 1161631 edges, 1938 markings/sec, 170 secs
lola: 343327 markings, 1196055 edges, 1929 markings/sec, 175 secs
lola: 353043 markings, 1230086 edges, 1943 markings/sec, 180 secs
lola: 362633 markings, 1266122 edges, 1918 markings/sec, 185 secs
lola: 372341 markings, 1298790 edges, 1942 markings/sec, 190 secs
lola: 382010 markings, 1332411 edges, 1934 markings/sec, 195 secs
lola: 391692 markings, 1364855 edges, 1936 markings/sec, 200 secs
lola: 401357 markings, 1397391 edges, 1933 markings/sec, 205 secs
lola: 410960 markings, 1430299 edges, 1921 markings/sec, 210 secs
lola: 420687 markings, 1463580 edges, 1945 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: 172904 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__1_33_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__1_33_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N100-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: 100
lola: 7522 markings, 24424 edges, 1504 markings/sec, 0 secs
lola: 17576 markings, 57459 edges, 2011 markings/sec, 5 secs
lola: 27584 markings, 91093 edges, 2002 markings/sec, 10 secs
lola: 37651 markings, 124303 edges, 2013 markings/sec, 15 secs
lola: 47744 markings, 157772 edges, 2019 markings/sec, 20 secs
lola: 57849 markings, 190981 edges, 2021 markings/sec, 25 secs
lola: 67945 markings, 224943 edges, 2019 markings/sec, 30 secs
lola: 78052 markings, 258229 edges, 2021 markings/sec, 35 secs
lola: 88153 markings, 290732 edges, 2020 markings/sec, 40 secs
lola: 98182 markings, 324509 edges, 2006 markings/sec, 45 secs
lola: 108248 markings, 357899 edges, 2013 markings/sec, 50 secs
lola: 118295 markings, 390824 edges, 2009 markings/sec, 55 secs
lola: 128367 markings, 424053 edges, 2014 markings/sec, 60 secs
lola: 138366 markings, 456628 edges, 2000 markings/sec, 65 secs
lola: 148329 markings, 491158 edges, 1993 markings/sec, 70 secs
lola: 158347 markings, 525129 edges, 2004 markings/sec, 75 secs
lola: 168362 markings, 559518 edges, 2003 markings/sec, 80 secs
lola: 178384 markings, 593833 edges, 2004 markings/sec, 85 secs
lola: 188367 markings, 628426 edges, 1997 markings/sec, 90 secs
lola: 198409 markings, 661870 edges, 2008 markings/sec, 95 secs
lola: 208464 markings, 695029 edges, 2011 markings/sec, 100 secs
lola: 218473 markings, 729411 edges, 2002 markings/sec, 105 secs
lola: 228492 markings, 764224 edges, 2004 markings/sec, 110 secs
lola: 238528 markings, 798062 edges, 2007 markings/sec, 115 secs
lola: 248568 markings, 831618 edges, 2008 markings/sec, 120 secs
lola: 258622 markings, 865559 edges, 2011 markings/sec, 125 secs
lola: 268623 markings, 899858 edges, 2000 markings/sec, 130 secs
lola: 278654 markings, 934102 edges, 2006 markings/sec, 135 secs
lola: 288703 markings, 968824 edges, 2010 markings/sec, 140 secs
lola: 298799 markings, 1002077 edges, 2019 markings/sec, 145 secs
lola: 308899 markings, 1035401 edges, 2020 markings/sec, 150 secs
lola: 318901 markings, 1071720 edges, 2000 markings/sec, 155 secs
lola: 328900 markings, 1105540 edges, 2000 markings/sec, 160 secs
lola: 338855 markings, 1140033 edges, 1991 markings/sec, 165 secs
lola: 348851 markings, 1174501 edges, 1999 markings/sec, 170 secs
lola: 358821 markings, 1209490 edges, 1994 markings/sec, 175 secs
lola: 368841 markings, 1243066 edges, 2004 markings/sec, 180 secs
lola: 378817 markings, 1277470 edges, 1995 markings/sec, 185 secs
lola: 388794 markings, 1312862 edges, 1995 markings/sec, 190 secs
lola: 398801 markings, 1348234 edges, 2001 markings/sec, 195 secs
lola: 408850 markings, 1381200 edges, 2010 markings/sec, 200 secs
lola: 418877 markings, 1415786 edges, 2005 markings/sec, 205 secs
lola: 428869 markings, 1449751 edges, 1998 markings/sec, 210 secs
lola: 438538 markings, 1481569 edges, 1934 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: 156984 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__16_9_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__16_9_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N100-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: 100
lola: 6788 markings, 22414 edges, 1358 markings/sec, 0 secs
lola: 16020 markings, 52818 edges, 1846 markings/sec, 5 secs
lola: 25202 markings, 83997 edges, 1836 markings/sec, 10 secs
lola: 34009 markings, 114233 edges, 1761 markings/sec, 15 secs
lola: 43707 markings, 148915 edges, 1940 markings/sec, 20 secs
lola: 52890 markings, 180046 edges, 1837 markings/sec, 25 secs
lola: 62220 markings, 210886 edges, 1866 markings/sec, 30 secs
lola: 72060 markings, 245726 edges, 1968 markings/sec, 35 secs
lola: 82030 markings, 279674 edges, 1994 markings/sec, 40 secs
lola: 91969 markings, 314010 edges, 1988 markings/sec, 45 secs
lola: 101926 markings, 347579 edges, 1991 markings/sec, 50 secs
lola: 111859 markings, 381305 edges, 1987 markings/sec, 55 secs
lola: 121773 markings, 416120 edges, 1983 markings/sec, 60 secs
lola: 131750 markings, 449987 edges, 1995 markings/sec, 65 secs
lola: 141723 markings, 484566 edges, 1995 markings/sec, 70 secs
lola: 151659 markings, 518909 edges, 1987 markings/sec, 75 secs
lola: 161583 markings, 552143 edges, 1985 markings/sec, 80 secs
lola: 171490 markings, 586655 edges, 1981 markings/sec, 85 secs
lola: 181430 markings, 619714 edges, 1988 markings/sec, 90 secs
lola: 191360 markings, 653596 edges, 1986 markings/sec, 95 secs
lola: 201254 markings, 687778 edges, 1979 markings/sec, 100 secs
lola: 211185 markings, 720425 edges, 1986 markings/sec, 105 secs
lola: 221110 markings, 754040 edges, 1985 markings/sec, 110 secs
lola: 231010 markings, 788979 edges, 1980 markings/sec, 115 secs
lola: 240955 markings, 822841 edges, 1989 markings/sec, 120 secs
lola: 250885 markings, 856086 edges, 1986 markings/sec, 125 secs
lola: 260812 markings, 890327 edges, 1985 markings/sec, 130 secs
lola: 270737 markings, 923862 edges, 1985 markings/sec, 135 secs
lola: 280608 markings, 959043 edges, 1974 markings/sec, 140 secs
lola: 290564 markings, 992685 edges, 1991 markings/sec, 145 secs
lola: 300416 markings, 1029218 edges, 1970 markings/sec, 150 secs
lola: 310243 markings, 1066642 edges, 1965 markings/sec, 155 secs
lola: 320267 markings, 1100637 edges, 2005 markings/sec, 160 secs
lola: 330218 markings, 1136913 edges, 1990 markings/sec, 165 secs
lola: 340168 markings, 1170263 edges, 1990 markings/sec, 170 secs
lola: 350127 markings, 1202596 edges, 1992 markings/sec, 175 secs
lola: 359990 markings, 1236725 edges, 1973 markings/sec, 180 secs
lola: 369869 markings, 1271050 edges, 1976 markings/sec, 185 secs
lola: 379837 markings, 1305938 edges, 1994 markings/sec, 190 secs
lola: 389791 markings, 1340678 edges, 1991 markings/sec, 195 secs
lola: 399703 markings, 1375751 edges, 1982 markings/sec, 200 secs
lola: 409617 markings, 1410873 edges, 1983 markings/sec, 205 secs
lola: 419575 markings, 1444885 edges, 1992 markings/sec, 210 secs
lola: 429536 markings, 1477540 edges, 1992 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: 167604 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__18_8_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__18_8_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N100-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: 100
lola: 7371 markings, 25468 edges, 1474 markings/sec, 0 secs
lola: 17345 markings, 60135 edges, 1995 markings/sec, 5 secs
lola: 27350 markings, 92639 edges, 2001 markings/sec, 10 secs
lola: 37249 markings, 123918 edges, 1980 markings/sec, 15 secs
lola: 47217 markings, 156580 edges, 1994 markings/sec, 20 secs
lola: 57217 markings, 187551 edges, 2000 markings/sec, 25 secs
lola: 67112 markings, 221173 edges, 1979 markings/sec, 30 secs
lola: 77026 markings, 252999 edges, 1983 markings/sec, 35 secs
lola: 86933 markings, 284749 edges, 1981 markings/sec, 40 secs
lola: 96961 markings, 315595 edges, 2006 markings/sec, 45 secs
lola: 106899 markings, 347948 edges, 1988 markings/sec, 50 secs
lola: 116806 markings, 381370 edges, 1981 markings/sec, 55 secs
lola: 126803 markings, 412924 edges, 1999 markings/sec, 60 secs
lola: 136653 markings, 444457 edges, 1970 markings/sec, 65 secs
lola: 146332 markings, 474228 edges, 1936 markings/sec, 70 secs
lola: 155813 markings, 505737 edges, 1896 markings/sec, 75 secs
lola: 165321 markings, 537020 edges, 1902 markings/sec, 80 secs
lola: 175062 markings, 567957 edges, 1948 markings/sec, 85 secs
lola: 184806 markings, 598349 edges, 1949 markings/sec, 90 secs
lola: 194386 markings, 628870 edges, 1916 markings/sec, 95 secs
lola: 202986 markings, 657833 edges, 1720 markings/sec, 100 secs
lola: 211612 markings, 685608 edges, 1725 markings/sec, 105 secs
lola: 220703 markings, 713152 edges, 1818 markings/sec, 110 secs
lola: 230212 markings, 740825 edges, 1902 markings/sec, 115 secs
lola: 239726 markings, 770425 edges, 1903 markings/sec, 120 secs
lola: 249455 markings, 799964 edges, 1946 markings/sec, 125 secs
lola: 259159 markings, 830970 edges, 1941 markings/sec, 130 secs
lola: 268934 markings, 860442 edges, 1955 markings/sec, 135 secs
lola: 278682 markings, 889532 edges, 1950 markings/sec, 140 secs
lola: 288380 markings, 922050 edges, 1940 markings/sec, 145 secs
lola: 298110 markings, 953340 edges, 1946 markings/sec, 150 secs
lola: 307837 markings, 983486 edges, 1945 markings/sec, 155 secs
lola: 317550 markings, 1015520 edges, 1943 markings/sec, 160 secs
lola: 327309 markings, 1045401 edges, 1952 markings/sec, 165 secs
lola: 337041 markings, 1074917 edges, 1946 markings/sec, 170 secs
lola: 346444 markings, 1105675 edges, 1881 markings/sec, 175 secs
lola: 355824 markings, 1136413 edges, 1876 markings/sec, 180 secs
lola: 365235 markings, 1165889 edges, 1882 markings/sec, 185 secs
lola: 374689 markings, 1194769 edges, 1891 markings/sec, 190 secs
lola: 384081 markings, 1225754 edges, 1878 markings/sec, 195 secs
lola: 393498 markings, 1255123 edges, 1883 markings/sec, 200 secs
lola: 402958 markings, 1284499 edges, 1892 markings/sec, 205 secs
lola: 412409 markings, 1313879 edges, 1890 markings/sec, 210 secs
lola: 421825 markings, 1344296 edges, 1883 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: 170072 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__31_2_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__31_2_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N100-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: 100
lola: 6950 markings, 25876 edges, 1390 markings/sec, 0 secs
lola: 16256 markings, 60452 edges, 1861 markings/sec, 5 secs
lola: 25818 markings, 95613 edges, 1912 markings/sec, 10 secs
lola: 34833 markings, 126183 edges, 1803 markings/sec, 15 secs
lola: 43378 markings, 157267 edges, 1709 markings/sec, 20 secs
lola: 51958 markings, 187765 edges, 1716 markings/sec, 25 secs
lola: 61206 markings, 220305 edges, 1850 markings/sec, 30 secs
lola: 70739 markings, 252711 edges, 1907 markings/sec, 35 secs
lola: 80019 markings, 282691 edges, 1856 markings/sec, 40 secs
lola: 88636 markings, 311292 edges, 1723 markings/sec, 45 secs
lola: 98113 markings, 342265 edges, 1895 markings/sec, 50 secs
lola: 107257 markings, 372536 edges, 1829 markings/sec, 55 secs
lola: 116056 markings, 401282 edges, 1760 markings/sec, 60 secs
lola: 125577 markings, 434946 edges, 1904 markings/sec, 65 secs
lola: 135249 markings, 469624 edges, 1934 markings/sec, 70 secs
lola: 145003 markings, 500867 edges, 1951 markings/sec, 75 secs
lola: 154722 markings, 533884 edges, 1944 markings/sec, 80 secs
lola: 164451 markings, 565833 edges, 1946 markings/sec, 85 secs
lola: 174163 markings, 598874 edges, 1942 markings/sec, 90 secs
lola: 183909 markings, 631289 edges, 1949 markings/sec, 95 secs
lola: 193601 markings, 665811 edges, 1938 markings/sec, 100 secs
lola: 203333 markings, 698002 edges, 1946 markings/sec, 105 secs
lola: 213007 markings, 731719 edges, 1935 markings/sec, 110 secs
lola: 222742 markings, 764698 edges, 1947 markings/sec, 115 secs
lola: 232454 markings, 798565 edges, 1942 markings/sec, 120 secs
lola: 242231 markings, 831357 edges, 1955 markings/sec, 125 secs
lola: 251943 markings, 866673 edges, 1942 markings/sec, 130 secs
lola: 261669 markings, 901326 edges, 1945 markings/sec, 135 secs
lola: 271457 markings, 935916 edges, 1958 markings/sec, 140 secs
lola: 281182 markings, 968489 edges, 1945 markings/sec, 145 secs
lola: 290849 markings, 999876 edges, 1933 markings/sec, 150 secs
lola: 300555 markings, 1033394 edges, 1941 markings/sec, 155 secs
lola: 310158 markings, 1068042 edges, 1921 markings/sec, 160 secs
lola: 319820 markings, 1102368 edges, 1932 markings/sec, 165 secs
lola: 329521 markings, 1136632 edges, 1940 markings/sec, 170 secs
lola: 339227 markings, 1168305 edges, 1941 markings/sec, 175 secs
lola: 348907 markings, 1201409 edges, 1936 markings/sec, 180 secs
lola: 358597 markings, 1234185 edges, 1938 markings/sec, 185 secs
lola: 368318 markings, 1267179 edges, 1944 markings/sec, 190 secs
lola: 378030 markings, 1301011 edges, 1942 markings/sec, 195 secs
lola: 387760 markings, 1334146 edges, 1946 markings/sec, 200 secs
lola: 397461 markings, 1367881 edges, 1940 markings/sec, 205 secs
lola: 407200 markings, 1401078 edges, 1948 markings/sec, 210 secs
lola: 416920 markings, 1435397 edges, 1944 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: 154724 KB
lola: time consumption: 3570 seconds
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__20_29_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__20_29_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N100-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: 42556 KB
lola: time consumption: 3570 seconds
lola: memory consumption: 42556 KB
lola: time consumption: 3570 seconds

BK_STOP 1526702584873

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