About the Execution of 2018-Gold for Diffusion2D-PT-D30N100
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 356.650 | 3569547.00 | 3649424.00 | 625.00 | [undef] | Cannot compute |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/mnt/tpsp/fkordon/mcc2019-input.r066-ebro-155234666400058.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2019-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.......................
=====================================================================
Generated by BenchKit 2-3954
Executing tool win2018
Input is Diffusion2D-PT-D30N100, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r066-ebro-155234666400058
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.2M
-rw-r--r-- 1 mcc users 4.8K Feb 10 21:34 CTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 10 21:34 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.3K Feb 6 17:56 CTLFireability.txt
-rw-r--r-- 1 mcc users 20K Feb 6 17:56 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 109 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 347 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.6K Feb 4 23:31 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.7K Feb 4 23:31 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 4 22:34 LTLFireability.txt
-rw-r--r-- 1 mcc users 11K Feb 4 22:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.8K Feb 3 07:21 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 3 07:21 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Jan 30 23:46 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Jan 30 23:46 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 4 22:19 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 4 22:19 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 8 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 3.0M Mar 10 17:31 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of positive values
NUM_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME Diffusion2D-PT-D30N100-UpperBounds-00
FORMULA_NAME Diffusion2D-PT-D30N100-UpperBounds-01
FORMULA_NAME Diffusion2D-PT-D30N100-UpperBounds-02
FORMULA_NAME Diffusion2D-PT-D30N100-UpperBounds-03
FORMULA_NAME Diffusion2D-PT-D30N100-UpperBounds-04
FORMULA_NAME Diffusion2D-PT-D30N100-UpperBounds-05
FORMULA_NAME Diffusion2D-PT-D30N100-UpperBounds-06
FORMULA_NAME Diffusion2D-PT-D30N100-UpperBounds-07
FORMULA_NAME Diffusion2D-PT-D30N100-UpperBounds-08
FORMULA_NAME Diffusion2D-PT-D30N100-UpperBounds-09
FORMULA_NAME Diffusion2D-PT-D30N100-UpperBounds-10
FORMULA_NAME Diffusion2D-PT-D30N100-UpperBounds-11
FORMULA_NAME Diffusion2D-PT-D30N100-UpperBounds-12
FORMULA_NAME Diffusion2D-PT-D30N100-UpperBounds-13
FORMULA_NAME Diffusion2D-PT-D30N100-UpperBounds-14
FORMULA_NAME Diffusion2D-PT-D30N100-UpperBounds-15
=== Now, execution of the tool begins
BK_START 1552918207707
info: Time: 3600 - MCC
===========================================================================================
prep: translating Diffusion2D-PT-D30N100 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating Diffusion2D-PT-D30N100 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ Diffusion2D-PT-D30N100 @ 3569 seconds
lola: LoLA will run for 3569 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 7744/65536 symbol table entries, 1051 collisions
lola: preprocessing...
lola: Size of bit vector: 28800
lola: finding significant places
lola: 900 places, 6844 transitions, 899 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 900 transition conflict sets
lola: TASK
lola: reading formula from Diffusion2D-PT-D30N100-UpperBounds.task
lola: MAX(cAMP__7_10_) : MAX(cAMP__3_9_) : MAX(cAMP__15_2_) : MAX(cAMP__2_1_) : MAX(cAMP__28_15_) : MAX(cAMP__22_7_) : MAX(cAMP__9_6_) : MAX(cAMP__4_6_) : MAX(cAMP__1_12_) : MAX(cAMP__4_18_) : MAX(cAMP__24_9_) : MAX(cAMP__1_21_) : MAX(cAMP__29_22_) : MAX(cAMP__29_22_) : MAX(cAMP__22_10_) : MAX(cAMP__3_13_)
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__7_10_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__7_10_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D30N100-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: 8360 markings, 29591 edges, 1672 markings/sec, 0 secs
lola: 18259 markings, 63671 edges, 1980 markings/sec, 5 secs
lola: 28162 markings, 98527 edges, 1981 markings/sec, 10 secs
lola: 38057 markings, 133376 edges, 1979 markings/sec, 15 secs
lola: 47969 markings, 166796 edges, 1982 markings/sec, 20 secs
lola: 57774 markings, 200622 edges, 1961 markings/sec, 25 secs
lola: 67632 markings, 235004 edges, 1972 markings/sec, 30 secs
lola: 77500 markings, 269766 edges, 1974 markings/sec, 35 secs
lola: 87289 markings, 306727 edges, 1958 markings/sec, 40 secs
lola: 97094 markings, 342698 edges, 1961 markings/sec, 45 secs
lola: 106939 markings, 377926 edges, 1969 markings/sec, 50 secs
lola: 116749 markings, 413806 edges, 1962 markings/sec, 55 secs
lola: 126575 markings, 449369 edges, 1965 markings/sec, 60 secs
lola: 136408 markings, 485238 edges, 1967 markings/sec, 65 secs
lola: 146252 markings, 519059 edges, 1969 markings/sec, 70 secs
lola: 156127 markings, 554406 edges, 1975 markings/sec, 75 secs
lola: 166011 markings, 588009 edges, 1977 markings/sec, 80 secs
lola: 175843 markings, 622009 edges, 1966 markings/sec, 85 secs
lola: 185679 markings, 656142 edges, 1967 markings/sec, 90 secs
lola: 195614 markings, 690390 edges, 1987 markings/sec, 95 secs
lola: 205554 markings, 724877 edges, 1988 markings/sec, 100 secs
lola: 215395 markings, 760420 edges, 1968 markings/sec, 105 secs
lola: 225245 markings, 795052 edges, 1970 markings/sec, 110 secs
lola: 235099 markings, 830068 edges, 1971 markings/sec, 115 secs
lola: 244939 markings, 864206 edges, 1968 markings/sec, 120 secs
lola: 254776 markings, 898661 edges, 1967 markings/sec, 125 secs
lola: 264612 markings, 934434 edges, 1967 markings/sec, 130 secs
lola: 274370 markings, 968074 edges, 1952 markings/sec, 135 secs
lola: 284250 markings, 1002334 edges, 1976 markings/sec, 140 secs
lola: 294068 markings, 1038805 edges, 1964 markings/sec, 145 secs
lola: 303956 markings, 1072823 edges, 1978 markings/sec, 150 secs
lola: 313757 markings, 1109262 edges, 1960 markings/sec, 155 secs
lola: 323519 markings, 1146937 edges, 1952 markings/sec, 160 secs
lola: 333359 markings, 1183248 edges, 1968 markings/sec, 165 secs
lola: 343269 markings, 1217681 edges, 1982 markings/sec, 170 secs
lola: 353161 markings, 1252704 edges, 1978 markings/sec, 175 secs
lola: 363033 markings, 1288428 edges, 1974 markings/sec, 180 secs
lola: 372938 markings, 1323272 edges, 1981 markings/sec, 185 secs
lola: 382719 markings, 1359990 edges, 1956 markings/sec, 190 secs
lola: 392660 markings, 1393699 edges, 1988 markings/sec, 195 secs
lola: 402572 markings, 1427812 edges, 1982 markings/sec, 200 secs
lola: 412343 markings, 1462942 edges, 1954 markings/sec, 205 secs
lola: 422089 markings, 1498707 edges, 1949 markings/sec, 210 secs
lola: 432019 markings, 1533067 edges, 1986 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 147156 KB
lola: time consumption: 225 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__3_9_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__3_9_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D30N100-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: 8142 markings, 27630 edges, 1628 markings/sec, 0 secs
lola: 18058 markings, 61156 edges, 1983 markings/sec, 5 secs
lola: 28052 markings, 94166 edges, 1999 markings/sec, 10 secs
lola: 37960 markings, 130376 edges, 1982 markings/sec, 15 secs
lola: 47962 markings, 163551 edges, 2000 markings/sec, 20 secs
lola: 57862 markings, 197352 edges, 1980 markings/sec, 25 secs
lola: 67728 markings, 230081 edges, 1973 markings/sec, 30 secs
lola: 77688 markings, 264534 edges, 1992 markings/sec, 35 secs
lola: 87644 markings, 298581 edges, 1991 markings/sec, 40 secs
lola: 97564 markings, 333071 edges, 1984 markings/sec, 45 secs
lola: 107369 markings, 366278 edges, 1961 markings/sec, 50 secs
lola: 117442 markings, 397625 edges, 2015 markings/sec, 55 secs
lola: 127367 markings, 428097 edges, 1985 markings/sec, 60 secs
lola: 137391 markings, 458712 edges, 2005 markings/sec, 65 secs
lola: 147348 markings, 489128 edges, 1991 markings/sec, 70 secs
lola: 157401 markings, 519812 edges, 2011 markings/sec, 75 secs
lola: 167420 markings, 551082 edges, 2004 markings/sec, 80 secs
lola: 177451 markings, 583112 edges, 2006 markings/sec, 85 secs
lola: 187513 markings, 613815 edges, 2012 markings/sec, 90 secs
lola: 197449 markings, 645100 edges, 1987 markings/sec, 95 secs
lola: 207404 markings, 675940 edges, 1991 markings/sec, 100 secs
lola: 217332 markings, 706753 edges, 1986 markings/sec, 105 secs
lola: 227332 markings, 737624 edges, 2000 markings/sec, 110 secs
lola: 237241 markings, 768138 edges, 1982 markings/sec, 115 secs
lola: 247071 markings, 798675 edges, 1966 markings/sec, 120 secs
lola: 257123 markings, 828859 edges, 2010 markings/sec, 125 secs
lola: 267146 markings, 859940 edges, 2005 markings/sec, 130 secs
lola: 277225 markings, 890395 edges, 2016 markings/sec, 135 secs
lola: 287280 markings, 921898 edges, 2011 markings/sec, 140 secs
lola: 297324 markings, 952615 edges, 2009 markings/sec, 145 secs
lola: 307353 markings, 983468 edges, 2006 markings/sec, 150 secs
lola: 317421 markings, 1014088 edges, 2014 markings/sec, 155 secs
lola: 327498 markings, 1045256 edges, 2015 markings/sec, 160 secs
lola: 337564 markings, 1076565 edges, 2013 markings/sec, 165 secs
lola: 347614 markings, 1108112 edges, 2010 markings/sec, 170 secs
lola: 357595 markings, 1142397 edges, 1996 markings/sec, 175 secs
lola: 367599 markings, 1173865 edges, 2001 markings/sec, 180 secs
lola: 377524 markings, 1205530 edges, 1985 markings/sec, 185 secs
lola: 387463 markings, 1237963 edges, 1988 markings/sec, 190 secs
lola: 397380 markings, 1269690 edges, 1983 markings/sec, 195 secs
lola: 407393 markings, 1301561 edges, 2003 markings/sec, 200 secs
lola: 417372 markings, 1334752 edges, 1996 markings/sec, 205 secs
lola: 427370 markings, 1366983 edges, 2000 markings/sec, 210 secs
lola: 437398 markings, 1398197 edges, 2006 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: 153344 KB
lola: time consumption: 447 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__15_2_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__15_2_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D30N100-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: 8088 markings, 29654 edges, 1618 markings/sec, 0 secs
lola: 17827 markings, 63797 edges, 1948 markings/sec, 5 secs
lola: 27575 markings, 97690 edges, 1950 markings/sec, 10 secs
lola: 37256 markings, 133150 edges, 1936 markings/sec, 15 secs
lola: 46958 markings, 167640 edges, 1940 markings/sec, 20 secs
lola: 56655 markings, 202497 edges, 1939 markings/sec, 25 secs
lola: 66283 markings, 236962 edges, 1926 markings/sec, 30 secs
lola: 76036 markings, 271161 edges, 1951 markings/sec, 35 secs
lola: 85789 markings, 303529 edges, 1951 markings/sec, 40 secs
lola: 95529 markings, 336449 edges, 1948 markings/sec, 45 secs
lola: 105339 markings, 367026 edges, 1962 markings/sec, 50 secs
lola: 115026 markings, 400315 edges, 1937 markings/sec, 55 secs
lola: 124732 markings, 434256 edges, 1941 markings/sec, 60 secs
lola: 134429 markings, 467403 edges, 1939 markings/sec, 65 secs
lola: 144129 markings, 501114 edges, 1940 markings/sec, 70 secs
lola: 153787 markings, 536319 edges, 1932 markings/sec, 75 secs
lola: 163472 markings, 570143 edges, 1937 markings/sec, 80 secs
lola: 173199 markings, 604516 edges, 1945 markings/sec, 85 secs
lola: 182781 markings, 640188 edges, 1916 markings/sec, 90 secs
lola: 192445 markings, 674383 edges, 1933 markings/sec, 95 secs
lola: 202156 markings, 709265 edges, 1942 markings/sec, 100 secs
lola: 211634 markings, 743684 edges, 1896 markings/sec, 105 secs
lola: 221358 markings, 776951 edges, 1945 markings/sec, 110 secs
lola: 231162 markings, 809310 edges, 1961 markings/sec, 115 secs
lola: 240941 markings, 840183 edges, 1956 markings/sec, 120 secs
lola: 250498 markings, 872738 edges, 1911 markings/sec, 125 secs
lola: 260175 markings, 906424 edges, 1935 markings/sec, 130 secs
lola: 269888 markings, 939173 edges, 1943 markings/sec, 135 secs
lola: 279544 markings, 973765 edges, 1931 markings/sec, 140 secs
lola: 289195 markings, 1008591 edges, 1930 markings/sec, 145 secs
lola: 298856 markings, 1041797 edges, 1932 markings/sec, 150 secs
lola: 308412 markings, 1075868 edges, 1911 markings/sec, 155 secs
lola: 318102 markings, 1111342 edges, 1938 markings/sec, 160 secs
lola: 327790 markings, 1146465 edges, 1938 markings/sec, 165 secs
lola: 337403 markings, 1180627 edges, 1923 markings/sec, 170 secs
lola: 347050 markings, 1215368 edges, 1929 markings/sec, 175 secs
lola: 356630 markings, 1247920 edges, 1916 markings/sec, 180 secs
lola: 366412 markings, 1281377 edges, 1956 markings/sec, 185 secs
lola: 376188 markings, 1312315 edges, 1955 markings/sec, 190 secs
lola: 385925 markings, 1345419 edges, 1947 markings/sec, 195 secs
lola: 395572 markings, 1378765 edges, 1929 markings/sec, 200 secs
lola: 405309 markings, 1411273 edges, 1947 markings/sec, 205 secs
lola: 414998 markings, 1445718 edges, 1938 markings/sec, 210 secs
lola: 424677 markings, 1480095 edges, 1936 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: 147224 KB
lola: time consumption: 670 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__2_1_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__2_1_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D30N100-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: 8333 markings, 29256 edges, 1667 markings/sec, 0 secs
lola: 18314 markings, 63425 edges, 1996 markings/sec, 5 secs
lola: 28206 markings, 98837 edges, 1978 markings/sec, 10 secs
lola: 37946 markings, 133966 edges, 1948 markings/sec, 15 secs
lola: 47811 markings, 170300 edges, 1973 markings/sec, 20 secs
lola: 57660 markings, 206292 edges, 1970 markings/sec, 25 secs
lola: 67452 markings, 240677 edges, 1958 markings/sec, 30 secs
lola: 77392 markings, 275445 edges, 1988 markings/sec, 35 secs
lola: 87285 markings, 310657 edges, 1979 markings/sec, 40 secs
lola: 97215 markings, 345611 edges, 1986 markings/sec, 45 secs
lola: 106861 markings, 379887 edges, 1929 markings/sec, 50 secs
lola: 116789 markings, 414843 edges, 1986 markings/sec, 55 secs
lola: 126674 markings, 449875 edges, 1977 markings/sec, 60 secs
lola: 136689 markings, 485126 edges, 2003 markings/sec, 65 secs
lola: 146653 markings, 521998 edges, 1993 markings/sec, 70 secs
lola: 156625 markings, 557358 edges, 1994 markings/sec, 75 secs
lola: 166546 markings, 592614 edges, 1984 markings/sec, 80 secs
lola: 176320 markings, 628021 edges, 1955 markings/sec, 85 secs
lola: 186348 markings, 665652 edges, 2006 markings/sec, 90 secs
lola: 196325 markings, 700933 edges, 1995 markings/sec, 95 secs
lola: 206252 markings, 736271 edges, 1985 markings/sec, 100 secs
lola: 216152 markings, 771346 edges, 1980 markings/sec, 105 secs
lola: 226018 markings, 807730 edges, 1973 markings/sec, 110 secs
lola: 235869 markings, 844161 edges, 1970 markings/sec, 115 secs
lola: 245675 markings, 878828 edges, 1961 markings/sec, 120 secs
lola: 255555 markings, 913978 edges, 1976 markings/sec, 125 secs
lola: 265451 markings, 949931 edges, 1979 markings/sec, 130 secs
lola: 275429 markings, 987308 edges, 1996 markings/sec, 135 secs
lola: 285352 markings, 1022524 edges, 1985 markings/sec, 140 secs
lola: 295266 markings, 1057797 edges, 1983 markings/sec, 145 secs
lola: 305182 markings, 1092978 edges, 1983 markings/sec, 150 secs
lola: 315034 markings, 1129221 edges, 1970 markings/sec, 155 secs
lola: 324868 markings, 1165592 edges, 1967 markings/sec, 160 secs
lola: 334712 markings, 1200270 edges, 1969 markings/sec, 165 secs
lola: 344441 markings, 1234844 edges, 1946 markings/sec, 170 secs
lola: 354149 markings, 1270021 edges, 1942 markings/sec, 175 secs
lola: 364179 markings, 1306554 edges, 2006 markings/sec, 180 secs
lola: 374269 markings, 1345210 edges, 2018 markings/sec, 185 secs
lola: 384377 markings, 1384259 edges, 2022 markings/sec, 190 secs
lola: 394462 markings, 1423595 edges, 2017 markings/sec, 195 secs
lola: 404515 markings, 1462741 edges, 2011 markings/sec, 200 secs
lola: 414625 markings, 1500735 edges, 2022 markings/sec, 205 secs
lola: 424703 markings, 1540031 edges, 2016 markings/sec, 210 secs
lola: 434791 markings, 1579238 edges, 2018 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 163864 KB
lola: time consumption: 893 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__28_15_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__28_15_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D30N100-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: 8497 markings, 29338 edges, 1699 markings/sec, 0 secs
lola: 18624 markings, 64840 edges, 2025 markings/sec, 5 secs
lola: 28651 markings, 101426 edges, 2005 markings/sec, 10 secs
lola: 38775 markings, 137129 edges, 2025 markings/sec, 15 secs
lola: 48945 markings, 170645 edges, 2034 markings/sec, 20 secs
lola: 59025 markings, 205336 edges, 2016 markings/sec, 25 secs
lola: 68982 markings, 242204 edges, 1991 markings/sec, 30 secs
lola: 79075 markings, 277545 edges, 2019 markings/sec, 35 secs
lola: 89175 markings, 315096 edges, 2020 markings/sec, 40 secs
lola: 99263 markings, 352663 edges, 2018 markings/sec, 45 secs
lola: 109322 markings, 389890 edges, 2012 markings/sec, 50 secs
lola: 119474 markings, 424465 edges, 2030 markings/sec, 55 secs
lola: 129586 markings, 460619 edges, 2022 markings/sec, 60 secs
lola: 139631 markings, 498717 edges, 2009 markings/sec, 65 secs
lola: 149703 markings, 535718 edges, 2014 markings/sec, 70 secs
lola: 159762 markings, 570692 edges, 2012 markings/sec, 75 secs
lola: 169748 markings, 606116 edges, 1997 markings/sec, 80 secs
lola: 179667 markings, 641363 edges, 1984 markings/sec, 85 secs
lola: 189696 markings, 677732 edges, 2006 markings/sec, 90 secs
lola: 199857 markings, 713314 edges, 2032 markings/sec, 95 secs
lola: 209811 markings, 750898 edges, 1991 markings/sec, 100 secs
lola: 219824 markings, 785700 edges, 2003 markings/sec, 105 secs
lola: 229949 markings, 822153 edges, 2025 markings/sec, 110 secs
lola: 240055 markings, 859190 edges, 2021 markings/sec, 115 secs
lola: 250137 markings, 897224 edges, 2016 markings/sec, 120 secs
lola: 260232 markings, 934725 edges, 2019 markings/sec, 125 secs
lola: 270264 markings, 974152 edges, 2006 markings/sec, 130 secs
lola: 280392 markings, 1009790 edges, 2026 markings/sec, 135 secs
lola: 290472 markings, 1047111 edges, 2016 markings/sec, 140 secs
lola: 300532 markings, 1085384 edges, 2012 markings/sec, 145 secs
lola: 310547 markings, 1125381 edges, 2003 markings/sec, 150 secs
lola: 320633 markings, 1162019 edges, 2017 markings/sec, 155 secs
lola: 330665 markings, 1201076 edges, 2006 markings/sec, 160 secs
lola: 340792 markings, 1236901 edges, 2025 markings/sec, 165 secs
lola: 350890 markings, 1273312 edges, 2020 markings/sec, 170 secs
lola: 361031 markings, 1308825 edges, 2028 markings/sec, 175 secs
lola: 371202 markings, 1343073 edges, 2034 markings/sec, 180 secs
lola: 381369 markings, 1376616 edges, 2033 markings/sec, 185 secs
lola: 391549 markings, 1408458 edges, 2036 markings/sec, 190 secs
lola: 401664 markings, 1443405 edges, 2023 markings/sec, 195 secs
lola: 411798 markings, 1477891 edges, 2027 markings/sec, 200 secs
lola: 421912 markings, 1512764 edges, 2023 markings/sec, 205 secs
lola: 431996 markings, 1547679 edges, 2017 markings/sec, 210 secs
lola: 442003 markings, 1582710 edges, 2001 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: 148476 KB
lola: time consumption: 1116 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__22_7_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__22_7_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D30N100-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: 8333 markings, 29263 edges, 1667 markings/sec, 0 secs
lola: 18253 markings, 62198 edges, 1984 markings/sec, 5 secs
lola: 28042 markings, 96155 edges, 1958 markings/sec, 10 secs
lola: 37707 markings, 130846 edges, 1933 markings/sec, 15 secs
lola: 47528 markings, 166175 edges, 1964 markings/sec, 20 secs
lola: 57410 markings, 199290 edges, 1976 markings/sec, 25 secs
lola: 67110 markings, 233786 edges, 1940 markings/sec, 30 secs
lola: 76878 markings, 268140 edges, 1954 markings/sec, 35 secs
lola: 86815 markings, 301777 edges, 1987 markings/sec, 40 secs
lola: 96566 markings, 336411 edges, 1950 markings/sec, 45 secs
lola: 106258 markings, 370679 edges, 1938 markings/sec, 50 secs
lola: 116020 markings, 405014 edges, 1952 markings/sec, 55 secs
lola: 125848 markings, 436058 edges, 1966 markings/sec, 60 secs
lola: 135819 markings, 467792 edges, 1994 markings/sec, 65 secs
lola: 145787 markings, 498546 edges, 1994 markings/sec, 70 secs
lola: 155713 markings, 530859 edges, 1985 markings/sec, 75 secs
lola: 165610 markings, 564293 edges, 1979 markings/sec, 80 secs
lola: 175515 markings, 598003 edges, 1981 markings/sec, 85 secs
lola: 185417 markings, 631059 edges, 1980 markings/sec, 90 secs
lola: 195298 markings, 663278 edges, 1976 markings/sec, 95 secs
lola: 205122 markings, 697027 edges, 1965 markings/sec, 100 secs
lola: 214947 markings, 731929 edges, 1965 markings/sec, 105 secs
lola: 224816 markings, 763921 edges, 1974 markings/sec, 110 secs
lola: 234658 markings, 797982 edges, 1968 markings/sec, 115 secs
lola: 244446 markings, 832210 edges, 1958 markings/sec, 120 secs
lola: 254349 markings, 862989 edges, 1981 markings/sec, 125 secs
lola: 264232 markings, 895712 edges, 1977 markings/sec, 130 secs
lola: 274137 markings, 930701 edges, 1981 markings/sec, 135 secs
lola: 284002 markings, 964153 edges, 1973 markings/sec, 140 secs
lola: 293947 markings, 996883 edges, 1989 markings/sec, 145 secs
lola: 303894 markings, 1029339 edges, 1989 markings/sec, 150 secs
lola: 313866 markings, 1060585 edges, 1994 markings/sec, 155 secs
lola: 323771 markings, 1093079 edges, 1981 markings/sec, 160 secs
lola: 333751 markings, 1123546 edges, 1996 markings/sec, 165 secs
lola: 343552 markings, 1155420 edges, 1960 markings/sec, 170 secs
lola: 353440 markings, 1188904 edges, 1978 markings/sec, 175 secs
lola: 363191 markings, 1222412 edges, 1950 markings/sec, 180 secs
lola: 373021 markings, 1255002 edges, 1966 markings/sec, 185 secs
lola: 382774 markings, 1286783 edges, 1951 markings/sec, 190 secs
lola: 392479 markings, 1318590 edges, 1941 markings/sec, 195 secs
lola: 402308 markings, 1349375 edges, 1966 markings/sec, 200 secs
lola: 412216 markings, 1381751 edges, 1982 markings/sec, 205 secs
lola: 422026 markings, 1411917 edges, 1962 markings/sec, 210 secs
lola: 431963 markings, 1442381 edges, 1987 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: 163336 KB
lola: time consumption: 1339 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__9_6_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__9_6_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D30N100-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: 8038 markings, 29558 edges, 1608 markings/sec, 0 secs
lola: 17806 markings, 64099 edges, 1954 markings/sec, 5 secs
lola: 27629 markings, 97263 edges, 1965 markings/sec, 10 secs
lola: 37447 markings, 131107 edges, 1964 markings/sec, 15 secs
lola: 47184 markings, 166693 edges, 1947 markings/sec, 20 secs
lola: 56554 markings, 199251 edges, 1874 markings/sec, 25 secs
lola: 66388 markings, 232349 edges, 1967 markings/sec, 30 secs
lola: 76196 markings, 267318 edges, 1962 markings/sec, 35 secs
lola: 85982 markings, 303194 edges, 1957 markings/sec, 40 secs
lola: 95807 markings, 336007 edges, 1965 markings/sec, 45 secs
lola: 105373 markings, 368883 edges, 1913 markings/sec, 50 secs
lola: 115213 markings, 401333 edges, 1968 markings/sec, 55 secs
lola: 125021 markings, 434843 edges, 1962 markings/sec, 60 secs
lola: 134884 markings, 467969 edges, 1973 markings/sec, 65 secs
lola: 144729 markings, 500956 edges, 1969 markings/sec, 70 secs
lola: 154550 markings, 534666 edges, 1964 markings/sec, 75 secs
lola: 164301 markings, 567618 edges, 1950 markings/sec, 80 secs
lola: 174022 markings, 600445 edges, 1944 markings/sec, 85 secs
lola: 183681 markings, 634703 edges, 1932 markings/sec, 90 secs
lola: 193485 markings, 667565 edges, 1961 markings/sec, 95 secs
lola: 203158 markings, 702550 edges, 1935 markings/sec, 100 secs
lola: 212933 markings, 736039 edges, 1955 markings/sec, 105 secs
lola: 222485 markings, 771273 edges, 1910 markings/sec, 110 secs
lola: 232074 markings, 803101 edges, 1918 markings/sec, 115 secs
lola: 241889 markings, 837085 edges, 1963 markings/sec, 120 secs
lola: 251709 markings, 871457 edges, 1964 markings/sec, 125 secs
lola: 261516 markings, 905609 edges, 1961 markings/sec, 130 secs
lola: 271099 markings, 938036 edges, 1917 markings/sec, 135 secs
lola: 280752 markings, 970707 edges, 1931 markings/sec, 140 secs
lola: 290524 markings, 1004277 edges, 1954 markings/sec, 145 secs
lola: 300234 markings, 1039829 edges, 1942 markings/sec, 150 secs
lola: 309990 markings, 1073708 edges, 1951 markings/sec, 155 secs
lola: 319763 markings, 1106555 edges, 1955 markings/sec, 160 secs
lola: 329472 markings, 1141169 edges, 1942 markings/sec, 165 secs
lola: 338896 markings, 1175668 edges, 1885 markings/sec, 170 secs
lola: 348460 markings, 1207986 edges, 1913 markings/sec, 175 secs
lola: 358197 markings, 1241016 edges, 1947 markings/sec, 180 secs
lola: 367747 markings, 1275383 edges, 1910 markings/sec, 185 secs
lola: 377422 markings, 1311177 edges, 1935 markings/sec, 190 secs
lola: 387284 markings, 1345316 edges, 1972 markings/sec, 195 secs
lola: 397017 markings, 1378466 edges, 1947 markings/sec, 200 secs
lola: 406686 markings, 1412829 edges, 1934 markings/sec, 205 secs
lola: 416364 markings, 1446536 edges, 1936 markings/sec, 210 secs
lola: 426119 markings, 1482007 edges, 1951 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: 138840 KB
lola: time consumption: 1562 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__4_6_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__4_6_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D30N100-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: 8375 markings, 30381 edges, 1675 markings/sec, 0 secs
lola: 18240 markings, 64212 edges, 1973 markings/sec, 5 secs
lola: 28082 markings, 98975 edges, 1968 markings/sec, 10 secs
lola: 37981 markings, 135174 edges, 1980 markings/sec, 15 secs
lola: 47768 markings, 169388 edges, 1957 markings/sec, 20 secs
lola: 57608 markings, 206936 edges, 1968 markings/sec, 25 secs
lola: 67528 markings, 241940 edges, 1984 markings/sec, 30 secs
lola: 77475 markings, 275282 edges, 1989 markings/sec, 35 secs
lola: 87353 markings, 311568 edges, 1976 markings/sec, 40 secs
lola: 97269 markings, 344728 edges, 1983 markings/sec, 45 secs
lola: 107235 markings, 377219 edges, 1993 markings/sec, 50 secs
lola: 117237 markings, 408047 edges, 2000 markings/sec, 55 secs
lola: 127179 markings, 441828 edges, 1988 markings/sec, 60 secs
lola: 136980 markings, 476056 edges, 1960 markings/sec, 65 secs
lola: 146966 markings, 508674 edges, 1997 markings/sec, 70 secs
lola: 156872 markings, 544806 edges, 1981 markings/sec, 75 secs
lola: 166900 markings, 576185 edges, 2006 markings/sec, 80 secs
lola: 176881 markings, 608864 edges, 1996 markings/sec, 85 secs
lola: 186870 markings, 641344 edges, 1998 markings/sec, 90 secs
lola: 196584 markings, 674276 edges, 1943 markings/sec, 95 secs
lola: 206395 markings, 707218 edges, 1962 markings/sec, 100 secs
lola: 216339 markings, 742631 edges, 1989 markings/sec, 105 secs
lola: 226085 markings, 774075 edges, 1949 markings/sec, 110 secs
lola: 236065 markings, 805471 edges, 1996 markings/sec, 115 secs
lola: 245945 markings, 836834 edges, 1976 markings/sec, 120 secs
lola: 255868 markings, 869488 edges, 1985 markings/sec, 125 secs
lola: 265797 markings, 903873 edges, 1986 markings/sec, 130 secs
lola: 275724 markings, 937782 edges, 1985 markings/sec, 135 secs
lola: 285633 markings, 971134 edges, 1982 markings/sec, 140 secs
lola: 295572 markings, 1005296 edges, 1988 markings/sec, 145 secs
lola: 305602 markings, 1036786 edges, 2006 markings/sec, 150 secs
lola: 315476 markings, 1069025 edges, 1975 markings/sec, 155 secs
lola: 325467 markings, 1101613 edges, 1998 markings/sec, 160 secs
lola: 335392 markings, 1136488 edges, 1985 markings/sec, 165 secs
lola: 345279 markings, 1172536 edges, 1977 markings/sec, 170 secs
lola: 355247 markings, 1204784 edges, 1994 markings/sec, 175 secs
lola: 365229 markings, 1235979 edges, 1996 markings/sec, 180 secs
lola: 375052 markings, 1269186 edges, 1965 markings/sec, 185 secs
lola: 384889 markings, 1304120 edges, 1967 markings/sec, 190 secs
lola: 394752 markings, 1335200 edges, 1973 markings/sec, 195 secs
lola: 404747 markings, 1367141 edges, 1999 markings/sec, 200 secs
lola: 414722 markings, 1399568 edges, 1995 markings/sec, 205 secs
lola: 424611 markings, 1433962 edges, 1978 markings/sec, 210 secs
lola: 434522 markings, 1468452 edges, 1982 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: 154144 KB
lola: time consumption: 1785 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__1_12_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__1_12_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D30N100-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: 8356 markings, 28374 edges, 1671 markings/sec, 0 secs
lola: 18155 markings, 61578 edges, 1960 markings/sec, 5 secs
lola: 28164 markings, 95560 edges, 2002 markings/sec, 10 secs
lola: 38182 markings, 129577 edges, 2004 markings/sec, 15 secs
lola: 47849 markings, 162329 edges, 1933 markings/sec, 20 secs
lola: 57704 markings, 195711 edges, 1971 markings/sec, 25 secs
lola: 67694 markings, 228803 edges, 1998 markings/sec, 30 secs
lola: 77646 markings, 263489 edges, 1990 markings/sec, 35 secs
lola: 87627 markings, 298124 edges, 1996 markings/sec, 40 secs
lola: 97603 markings, 333040 edges, 1995 markings/sec, 45 secs
lola: 107590 markings, 366925 edges, 1997 markings/sec, 50 secs
lola: 117609 markings, 401161 edges, 2004 markings/sec, 55 secs
lola: 127605 markings, 435935 edges, 1999 markings/sec, 60 secs
lola: 137631 markings, 469539 edges, 2005 markings/sec, 65 secs
lola: 147619 markings, 504958 edges, 1998 markings/sec, 70 secs
lola: 157576 markings, 541064 edges, 1991 markings/sec, 75 secs
lola: 167562 markings, 575909 edges, 1997 markings/sec, 80 secs
lola: 177565 markings, 609875 edges, 2001 markings/sec, 85 secs
lola: 187580 markings, 644027 edges, 2003 markings/sec, 90 secs
lola: 197584 markings, 679005 edges, 2001 markings/sec, 95 secs
lola: 207610 markings, 713360 edges, 2005 markings/sec, 100 secs
lola: 217636 markings, 748293 edges, 2005 markings/sec, 105 secs
lola: 227672 markings, 782989 edges, 2007 markings/sec, 110 secs
lola: 237671 markings, 818158 edges, 2000 markings/sec, 115 secs
lola: 247670 markings, 852752 edges, 2000 markings/sec, 120 secs
lola: 257690 markings, 886917 edges, 2004 markings/sec, 125 secs
lola: 267688 markings, 921535 edges, 2000 markings/sec, 130 secs
lola: 277658 markings, 956426 edges, 1994 markings/sec, 135 secs
lola: 287655 markings, 991302 edges, 1999 markings/sec, 140 secs
lola: 297662 markings, 1026345 edges, 2001 markings/sec, 145 secs
lola: 307658 markings, 1060241 edges, 1999 markings/sec, 150 secs
lola: 317660 markings, 1094987 edges, 2000 markings/sec, 155 secs
lola: 327690 markings, 1130030 edges, 2006 markings/sec, 160 secs
lola: 337720 markings, 1164324 edges, 2006 markings/sec, 165 secs
lola: 347768 markings, 1198145 edges, 2010 markings/sec, 170 secs
lola: 357605 markings, 1232751 edges, 1967 markings/sec, 175 secs
lola: 367326 markings, 1266067 edges, 1944 markings/sec, 180 secs
lola: 377307 markings, 1299980 edges, 1996 markings/sec, 185 secs
lola: 387302 markings, 1334643 edges, 1999 markings/sec, 190 secs
lola: 397271 markings, 1369296 edges, 1994 markings/sec, 195 secs
lola: 407244 markings, 1403758 edges, 1995 markings/sec, 200 secs
lola: 417136 markings, 1438180 edges, 1978 markings/sec, 205 secs
lola: 427121 markings, 1473207 edges, 1997 markings/sec, 210 secs
lola: 437093 markings, 1508820 edges, 1994 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 151008 KB
lola: time consumption: 2008 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__4_18_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__4_18_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D30N100-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: 8433 markings, 29513 edges, 1687 markings/sec, 0 secs
lola: 18327 markings, 63190 edges, 1979 markings/sec, 5 secs
lola: 28342 markings, 97549 edges, 2003 markings/sec, 10 secs
lola: 38145 markings, 132611 edges, 1961 markings/sec, 15 secs
lola: 48026 markings, 169217 edges, 1976 markings/sec, 20 secs
lola: 57883 markings, 203649 edges, 1971 markings/sec, 25 secs
lola: 67706 markings, 238862 edges, 1965 markings/sec, 30 secs
lola: 77658 markings, 272325 edges, 1990 markings/sec, 35 secs
lola: 87598 markings, 309211 edges, 1988 markings/sec, 40 secs
lola: 97513 markings, 345214 edges, 1983 markings/sec, 45 secs
lola: 107439 markings, 379259 edges, 1985 markings/sec, 50 secs
lola: 117368 markings, 412674 edges, 1986 markings/sec, 55 secs
lola: 127244 markings, 448179 edges, 1975 markings/sec, 60 secs
lola: 137094 markings, 484676 edges, 1970 markings/sec, 65 secs
lola: 146887 markings, 522684 edges, 1959 markings/sec, 70 secs
lola: 156799 markings, 556166 edges, 1982 markings/sec, 75 secs
lola: 166695 markings, 590189 edges, 1979 markings/sec, 80 secs
lola: 176646 markings, 622638 edges, 1990 markings/sec, 85 secs
lola: 186587 markings, 655379 edges, 1988 markings/sec, 90 secs
lola: 196524 markings, 687270 edges, 1987 markings/sec, 95 secs
lola: 206435 markings, 720634 edges, 1982 markings/sec, 100 secs
lola: 216344 markings, 753983 edges, 1982 markings/sec, 105 secs
lola: 226282 markings, 786768 edges, 1988 markings/sec, 110 secs
lola: 236223 markings, 820909 edges, 1988 markings/sec, 115 secs
lola: 246025 markings, 854815 edges, 1960 markings/sec, 120 secs
lola: 255949 markings, 887969 edges, 1985 markings/sec, 125 secs
lola: 265893 markings, 921175 edges, 1989 markings/sec, 130 secs
lola: 275828 markings, 955469 edges, 1987 markings/sec, 135 secs
lola: 285834 markings, 987676 edges, 2001 markings/sec, 140 secs
lola: 295809 markings, 1022851 edges, 1995 markings/sec, 145 secs
lola: 305650 markings, 1059138 edges, 1968 markings/sec, 150 secs
lola: 315540 markings, 1094148 edges, 1978 markings/sec, 155 secs
lola: 325514 markings, 1128078 edges, 1995 markings/sec, 160 secs
lola: 335382 markings, 1164554 edges, 1974 markings/sec, 165 secs
lola: 345290 markings, 1198569 edges, 1982 markings/sec, 170 secs
lola: 355222 markings, 1234823 edges, 1986 markings/sec, 175 secs
lola: 365269 markings, 1268736 edges, 2009 markings/sec, 180 secs
lola: 375244 markings, 1305648 edges, 1995 markings/sec, 185 secs
lola: 385097 markings, 1341598 edges, 1971 markings/sec, 190 secs
lola: 395061 markings, 1378074 edges, 1993 markings/sec, 195 secs
lola: 405077 markings, 1413263 edges, 2003 markings/sec, 200 secs
lola: 415116 markings, 1448138 edges, 2008 markings/sec, 205 secs
lola: 425073 markings, 1484243 edges, 1991 markings/sec, 210 secs
lola: 435059 markings, 1520057 edges, 1997 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 140396 KB
lola: time consumption: 2231 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__24_9_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__24_9_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D30N100-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: 8310 markings, 28792 edges, 1662 markings/sec, 0 secs
lola: 18249 markings, 61147 edges, 1988 markings/sec, 5 secs
lola: 28080 markings, 93896 edges, 1966 markings/sec, 10 secs
lola: 37796 markings, 127260 edges, 1943 markings/sec, 15 secs
lola: 47546 markings, 159347 edges, 1950 markings/sec, 20 secs
lola: 57430 markings, 193705 edges, 1977 markings/sec, 25 secs
lola: 67291 markings, 227697 edges, 1972 markings/sec, 30 secs
lola: 77199 markings, 260227 edges, 1982 markings/sec, 35 secs
lola: 87028 markings, 293853 edges, 1966 markings/sec, 40 secs
lola: 96968 markings, 325040 edges, 1988 markings/sec, 45 secs
lola: 106875 markings, 356978 edges, 1981 markings/sec, 50 secs
lola: 116839 markings, 388182 edges, 1993 markings/sec, 55 secs
lola: 126802 markings, 419724 edges, 1993 markings/sec, 60 secs
lola: 136585 markings, 452155 edges, 1957 markings/sec, 65 secs
lola: 146489 markings, 485118 edges, 1981 markings/sec, 70 secs
lola: 156422 markings, 518265 edges, 1987 markings/sec, 75 secs
lola: 166353 markings, 551359 edges, 1986 markings/sec, 80 secs
lola: 176293 markings, 584244 edges, 1988 markings/sec, 85 secs
lola: 186209 markings, 617507 edges, 1983 markings/sec, 90 secs
lola: 196128 markings, 650810 edges, 1984 markings/sec, 95 secs
lola: 206003 markings, 684155 edges, 1975 markings/sec, 100 secs
lola: 215853 markings, 719016 edges, 1970 markings/sec, 105 secs
lola: 225736 markings, 752349 edges, 1977 markings/sec, 110 secs
lola: 235583 markings, 786498 edges, 1969 markings/sec, 115 secs
lola: 245462 markings, 819646 edges, 1976 markings/sec, 120 secs
lola: 255352 markings, 851818 edges, 1978 markings/sec, 125 secs
lola: 265220 markings, 885319 edges, 1974 markings/sec, 130 secs
lola: 275077 markings, 918751 edges, 1971 markings/sec, 135 secs
lola: 284916 markings, 951743 edges, 1968 markings/sec, 140 secs
lola: 294814 markings, 985175 edges, 1980 markings/sec, 145 secs
lola: 304711 markings, 1017297 edges, 1979 markings/sec, 150 secs
lola: 314533 markings, 1049815 edges, 1964 markings/sec, 155 secs
lola: 324474 markings, 1082406 edges, 1988 markings/sec, 160 secs
lola: 334258 markings, 1115891 edges, 1957 markings/sec, 165 secs
lola: 344228 markings, 1147622 edges, 1994 markings/sec, 170 secs
lola: 354227 markings, 1178660 edges, 2000 markings/sec, 175 secs
lola: 364191 markings, 1211341 edges, 1993 markings/sec, 180 secs
lola: 374129 markings, 1244005 edges, 1988 markings/sec, 185 secs
lola: 384092 markings, 1275560 edges, 1993 markings/sec, 190 secs
lola: 394021 markings, 1309091 edges, 1986 markings/sec, 195 secs
lola: 403961 markings, 1341849 edges, 1988 markings/sec, 200 secs
lola: 413889 markings, 1375044 edges, 1986 markings/sec, 205 secs
lola: 423823 markings, 1408197 edges, 1987 markings/sec, 210 secs
lola: 433731 markings, 1442132 edges, 1982 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: 155472 KB
lola: time consumption: 2454 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__1_21_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__1_21_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D30N100-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: 8584 markings, 27235 edges, 1717 markings/sec, 0 secs
lola: 18820 markings, 58660 edges, 2047 markings/sec, 5 secs
lola: 28978 markings, 92200 edges, 2032 markings/sec, 10 secs
lola: 39227 markings, 123182 edges, 2050 markings/sec, 15 secs
lola: 49314 markings, 154287 edges, 2017 markings/sec, 20 secs
lola: 59620 markings, 185552 edges, 2061 markings/sec, 25 secs
lola: 69891 markings, 217589 edges, 2054 markings/sec, 30 secs
lola: 80032 markings, 249342 edges, 2028 markings/sec, 35 secs
lola: 90094 markings, 279414 edges, 2012 markings/sec, 40 secs
lola: 100314 markings, 310666 edges, 2044 markings/sec, 45 secs
lola: 110436 markings, 341974 edges, 2024 markings/sec, 50 secs
lola: 120626 markings, 372138 edges, 2038 markings/sec, 55 secs
lola: 130931 markings, 402544 edges, 2061 markings/sec, 60 secs
lola: 141213 markings, 434106 edges, 2056 markings/sec, 65 secs
lola: 151491 markings, 466018 edges, 2056 markings/sec, 70 secs
lola: 161787 markings, 497623 edges, 2059 markings/sec, 75 secs
lola: 172044 markings, 529844 edges, 2051 markings/sec, 80 secs
lola: 182309 markings, 561926 edges, 2053 markings/sec, 85 secs
lola: 192607 markings, 592318 edges, 2060 markings/sec, 90 secs
lola: 202870 markings, 623688 edges, 2053 markings/sec, 95 secs
lola: 213144 markings, 654999 edges, 2055 markings/sec, 100 secs
lola: 223439 markings, 685898 edges, 2059 markings/sec, 105 secs
lola: 233697 markings, 718025 edges, 2052 markings/sec, 110 secs
lola: 244021 markings, 747989 edges, 2065 markings/sec, 115 secs
lola: 254327 markings, 778579 edges, 2061 markings/sec, 120 secs
lola: 264621 markings, 808571 edges, 2059 markings/sec, 125 secs
lola: 274908 markings, 839318 edges, 2057 markings/sec, 130 secs
lola: 285223 markings, 869885 edges, 2063 markings/sec, 135 secs
lola: 295489 markings, 901872 edges, 2053 markings/sec, 140 secs
lola: 305759 markings, 933705 edges, 2054 markings/sec, 145 secs
lola: 316012 markings, 966245 edges, 2051 markings/sec, 150 secs
lola: 326255 markings, 999068 edges, 2049 markings/sec, 155 secs
lola: 336505 markings, 1031349 edges, 2050 markings/sec, 160 secs
lola: 346734 markings, 1063621 edges, 2046 markings/sec, 165 secs
lola: 356981 markings, 1095865 edges, 2049 markings/sec, 170 secs
lola: 367167 markings, 1128130 edges, 2037 markings/sec, 175 secs
lola: 377405 markings, 1159788 edges, 2048 markings/sec, 180 secs
lola: 387698 markings, 1191342 edges, 2059 markings/sec, 185 secs
lola: 398023 markings, 1222533 edges, 2065 markings/sec, 190 secs
lola: 408342 markings, 1252408 edges, 2064 markings/sec, 195 secs
lola: 418566 markings, 1283222 edges, 2045 markings/sec, 200 secs
lola: 428608 markings, 1313830 edges, 2008 markings/sec, 205 secs
lola: 438821 markings, 1346045 edges, 2043 markings/sec, 210 secs
lola: 449042 markings, 1378125 edges, 2044 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: 153140 KB
lola: time consumption: 2677 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__29_22_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__29_22_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D30N100-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: 8344 markings, 30029 edges, 1669 markings/sec, 0 secs
lola: 18368 markings, 64602 edges, 2005 markings/sec, 5 secs
lola: 28303 markings, 99571 edges, 1987 markings/sec, 10 secs
lola: 38461 markings, 135237 edges, 2032 markings/sec, 15 secs
lola: 48624 markings, 170591 edges, 2033 markings/sec, 20 secs
lola: 58788 markings, 206245 edges, 2033 markings/sec, 25 secs
lola: 68989 markings, 241027 edges, 2040 markings/sec, 30 secs
lola: 79197 markings, 276367 edges, 2042 markings/sec, 35 secs
lola: 89380 markings, 311484 edges, 2037 markings/sec, 40 secs
lola: 99522 markings, 347177 edges, 2028 markings/sec, 45 secs
lola: 109628 markings, 383855 edges, 2021 markings/sec, 50 secs
lola: 119777 markings, 419809 edges, 2030 markings/sec, 55 secs
lola: 129929 markings, 455880 edges, 2030 markings/sec, 60 secs
lola: 140168 markings, 491440 edges, 2048 markings/sec, 65 secs
lola: 150298 markings, 529004 edges, 2026 markings/sec, 70 secs
lola: 160478 markings, 565362 edges, 2036 markings/sec, 75 secs
lola: 170695 markings, 602090 edges, 2043 markings/sec, 80 secs
lola: 180934 markings, 637702 edges, 2048 markings/sec, 85 secs
lola: 191156 markings, 673416 edges, 2044 markings/sec, 90 secs
lola: 201375 markings, 708978 edges, 2044 markings/sec, 95 secs
lola: 211586 markings, 744081 edges, 2042 markings/sec, 100 secs
lola: 221776 markings, 780141 edges, 2038 markings/sec, 105 secs
lola: 231928 markings, 816190 edges, 2030 markings/sec, 110 secs
lola: 242115 markings, 852091 edges, 2037 markings/sec, 115 secs
lola: 252311 markings, 889754 edges, 2039 markings/sec, 120 secs
lola: 262516 markings, 925970 edges, 2041 markings/sec, 125 secs
lola: 272733 markings, 961216 edges, 2043 markings/sec, 130 secs
lola: 282915 markings, 996134 edges, 2036 markings/sec, 135 secs
lola: 293094 markings, 1033756 edges, 2036 markings/sec, 140 secs
lola: 303225 markings, 1069693 edges, 2026 markings/sec, 145 secs
lola: 313381 markings, 1104807 edges, 2031 markings/sec, 150 secs
lola: 323445 markings, 1139867 edges, 2013 markings/sec, 155 secs
lola: 333474 markings, 1175783 edges, 2006 markings/sec, 160 secs
lola: 343499 markings, 1210808 edges, 2005 markings/sec, 165 secs
lola: 353488 markings, 1246709 edges, 1998 markings/sec, 170 secs
lola: 363486 markings, 1283311 edges, 2000 markings/sec, 175 secs
lola: 373572 markings, 1318174 edges, 2017 markings/sec, 180 secs
lola: 383626 markings, 1354040 edges, 2011 markings/sec, 185 secs
lola: 393640 markings, 1389136 edges, 2003 markings/sec, 190 secs
lola: 403658 markings, 1424761 edges, 2004 markings/sec, 195 secs
lola: 413643 markings, 1462182 edges, 1997 markings/sec, 200 secs
lola: 423687 markings, 1498379 edges, 2009 markings/sec, 205 secs
lola: 433718 markings, 1535474 edges, 2006 markings/sec, 210 secs
lola: 443778 markings, 1571329 edges, 2012 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: 138972 KB
lola: time consumption: 2900 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__29_22_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__29_22_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D30N100-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: 8402 markings, 30217 edges, 1680 markings/sec, 0 secs
lola: 18213 markings, 64093 edges, 1962 markings/sec, 5 secs
lola: 28283 markings, 99487 edges, 2014 markings/sec, 10 secs
lola: 38242 markings, 134508 edges, 1992 markings/sec, 15 secs
lola: 48294 markings, 169372 edges, 2010 markings/sec, 20 secs
lola: 58302 markings, 204408 edges, 2002 markings/sec, 25 secs
lola: 68349 markings, 238929 edges, 2009 markings/sec, 30 secs
lola: 78281 markings, 273257 edges, 1986 markings/sec, 35 secs
lola: 88411 markings, 307948 edges, 2026 markings/sec, 40 secs
lola: 98485 markings, 343521 edges, 2015 markings/sec, 45 secs
lola: 108515 markings, 379939 edges, 2006 markings/sec, 50 secs
lola: 118475 markings, 415194 edges, 1992 markings/sec, 55 secs
lola: 128605 markings, 451131 edges, 2026 markings/sec, 60 secs
lola: 138799 markings, 486553 edges, 2039 markings/sec, 65 secs
lola: 148933 markings, 523622 edges, 2027 markings/sec, 70 secs
lola: 159099 markings, 560376 edges, 2033 markings/sec, 75 secs
lola: 169201 markings, 596835 edges, 2020 markings/sec, 80 secs
lola: 179446 markings, 632534 edges, 2049 markings/sec, 85 secs
lola: 189669 markings, 668077 edges, 2045 markings/sec, 90 secs
lola: 199877 markings, 703646 edges, 2042 markings/sec, 95 secs
lola: 210060 markings, 738894 edges, 2037 markings/sec, 100 secs
lola: 220216 markings, 774726 edges, 2031 markings/sec, 105 secs
lola: 230357 markings, 810901 edges, 2028 markings/sec, 110 secs
lola: 240305 markings, 845882 edges, 1990 markings/sec, 115 secs
lola: 250379 markings, 882622 edges, 2015 markings/sec, 120 secs
lola: 260556 markings, 919283 edges, 2035 markings/sec, 125 secs
lola: 270725 markings, 954610 edges, 2034 markings/sec, 130 secs
lola: 280918 markings, 989268 edges, 2039 markings/sec, 135 secs
lola: 291064 markings, 1026262 edges, 2029 markings/sec, 140 secs
lola: 301222 markings, 1062968 edges, 2032 markings/sec, 145 secs
lola: 311405 markings, 1098126 edges, 2037 markings/sec, 150 secs
lola: 321461 markings, 1132720 edges, 2011 markings/sec, 155 secs
lola: 331577 markings, 1169191 edges, 2023 markings/sec, 160 secs
lola: 341432 markings, 1203442 edges, 1971 markings/sec, 165 secs
lola: 351552 markings, 1239579 edges, 2024 markings/sec, 170 secs
lola: 361669 markings, 1276467 edges, 2023 markings/sec, 175 secs
lola: 371805 markings, 1312359 edges, 2027 markings/sec, 180 secs
lola: 381933 markings, 1347896 edges, 2026 markings/sec, 185 secs
lola: 392039 markings, 1383394 edges, 2021 markings/sec, 190 secs
lola: 402212 markings, 1419342 edges, 2035 markings/sec, 195 secs
lola: 412346 markings, 1457159 edges, 2027 markings/sec, 200 secs
lola: 422501 markings, 1493810 edges, 2031 markings/sec, 205 secs
lola: 432584 markings, 1530931 edges, 2017 markings/sec, 210 secs
lola: 442616 markings, 1567204 edges, 2006 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: 138628 KB
lola: time consumption: 3123 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__22_10_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__22_10_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D30N100-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: 8132 markings, 28372 edges, 1626 markings/sec, 0 secs
lola: 17893 markings, 64049 edges, 1952 markings/sec, 5 secs
lola: 27364 markings, 99662 edges, 1894 markings/sec, 10 secs
lola: 37031 markings, 134757 edges, 1933 markings/sec, 15 secs
lola: 46783 markings, 170363 edges, 1950 markings/sec, 20 secs
lola: 56579 markings, 204869 edges, 1959 markings/sec, 25 secs
lola: 66094 markings, 240223 edges, 1903 markings/sec, 30 secs
lola: 75642 markings, 274660 edges, 1910 markings/sec, 35 secs
lola: 85360 markings, 308281 edges, 1944 markings/sec, 40 secs
lola: 95178 markings, 342086 edges, 1964 markings/sec, 45 secs
lola: 104909 markings, 379103 edges, 1946 markings/sec, 50 secs
lola: 114580 markings, 416366 edges, 1934 markings/sec, 55 secs
lola: 124206 markings, 454832 edges, 1925 markings/sec, 60 secs
lola: 133985 markings, 489256 edges, 1956 markings/sec, 65 secs
lola: 143711 markings, 524418 edges, 1945 markings/sec, 70 secs
lola: 153413 markings, 561309 edges, 1940 markings/sec, 75 secs
lola: 163140 markings, 598131 edges, 1945 markings/sec, 80 secs
lola: 172869 markings, 633561 edges, 1946 markings/sec, 85 secs
lola: 182586 markings, 669814 edges, 1943 markings/sec, 90 secs
lola: 192432 markings, 705032 edges, 1969 markings/sec, 95 secs
lola: 202230 markings, 740214 edges, 1960 markings/sec, 100 secs
lola: 212060 markings, 777008 edges, 1966 markings/sec, 105 secs
lola: 221926 markings, 812721 edges, 1973 markings/sec, 110 secs
lola: 231811 markings, 848237 edges, 1977 markings/sec, 115 secs
lola: 241677 markings, 884553 edges, 1973 markings/sec, 120 secs
lola: 251547 markings, 921464 edges, 1974 markings/sec, 125 secs
lola: 261231 markings, 958624 edges, 1937 markings/sec, 130 secs
lola: 270992 markings, 997556 edges, 1952 markings/sec, 135 secs
lola: 280846 markings, 1033031 edges, 1971 markings/sec, 140 secs
lola: 290666 markings, 1069274 edges, 1964 markings/sec, 145 secs
lola: 300478 markings, 1105918 edges, 1962 markings/sec, 150 secs
lola: 310232 markings, 1143075 edges, 1951 markings/sec, 155 secs
lola: 320006 markings, 1180505 edges, 1955 markings/sec, 160 secs
lola: 329729 markings, 1220893 edges, 1945 markings/sec, 165 secs
lola: 339567 markings, 1257866 edges, 1968 markings/sec, 170 secs
lola: 349429 markings, 1294445 edges, 1972 markings/sec, 175 secs
lola: 359204 markings, 1330815 edges, 1955 markings/sec, 180 secs
lola: 368990 markings, 1366987 edges, 1957 markings/sec, 185 secs
lola: 378738 markings, 1404903 edges, 1950 markings/sec, 190 secs
lola: 388598 markings, 1439620 edges, 1972 markings/sec, 195 secs
lola: 398361 markings, 1475125 edges, 1953 markings/sec, 200 secs
lola: 408154 markings, 1511693 edges, 1959 markings/sec, 205 secs
lola: 418056 markings, 1546699 edges, 1980 markings/sec, 210 secs
lola: 428013 markings, 1581140 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: 154484 KB
lola: time consumption: 3346 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__3_13_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__3_13_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D30N100-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: 8350 markings, 27637 edges, 1670 markings/sec, 0 secs
lola: 18346 markings, 60937 edges, 1999 markings/sec, 5 secs
lola: 28221 markings, 94430 edges, 1975 markings/sec, 10 secs
lola: 38135 markings, 130577 edges, 1983 markings/sec, 15 secs
lola: 48129 markings, 164619 edges, 1999 markings/sec, 20 secs
lola: 58034 markings, 198152 edges, 1981 markings/sec, 25 secs
lola: 67950 markings, 231386 edges, 1983 markings/sec, 30 secs
lola: 77808 markings, 265188 edges, 1972 markings/sec, 35 secs
lola: 87724 markings, 297652 edges, 1983 markings/sec, 40 secs
lola: 97722 markings, 329536 edges, 2000 markings/sec, 45 secs
lola: 107683 markings, 362446 edges, 1992 markings/sec, 50 secs
lola: 117652 markings, 395381 edges, 1994 markings/sec, 55 secs
lola: 127558 markings, 430074 edges, 1981 markings/sec, 60 secs
lola: 137431 markings, 466024 edges, 1975 markings/sec, 65 secs
lola: 147372 markings, 498818 edges, 1988 markings/sec, 70 secs
lola: 157237 markings, 532498 edges, 1973 markings/sec, 75 secs
lola: 166993 markings, 565827 edges, 1951 markings/sec, 80 secs
lola: 176819 markings, 601054 edges, 1965 markings/sec, 85 secs
lola: 186693 markings, 634791 edges, 1975 markings/sec, 90 secs
lola: 196606 markings, 667768 edges, 1983 markings/sec, 95 secs
lola: 206400 markings, 702463 edges, 1959 markings/sec, 100 secs
lola: 216296 markings, 734901 edges, 1979 markings/sec, 105 secs
lola: 225949 markings, 766992 edges, 1931 markings/sec, 110 secs
lola: 235757 markings, 801889 edges, 1962 markings/sec, 115 secs
lola: 245634 markings, 833987 edges, 1975 markings/sec, 120 secs
lola: 255491 markings, 866347 edges, 1971 markings/sec, 125 secs
lola: 265314 markings, 900621 edges, 1965 markings/sec, 130 secs
lola: 275206 markings, 932552 edges, 1978 markings/sec, 135 secs
lola: 285077 markings, 965995 edges, 1974 markings/sec, 140 secs
lola: 294927 markings, 1000001 edges, 1970 markings/sec, 145 secs
lola: 304777 markings, 1033434 edges, 1970 markings/sec, 150 secs
lola: 314560 markings, 1067039 edges, 1957 markings/sec, 155 secs
lola: 324359 markings, 1100571 edges, 1960 markings/sec, 160 secs
lola: 334207 markings, 1133078 edges, 1970 markings/sec, 165 secs
lola: 343934 markings, 1166048 edges, 1945 markings/sec, 170 secs
lola: 353820 markings, 1198125 edges, 1977 markings/sec, 175 secs
lola: 363663 markings, 1232740 edges, 1969 markings/sec, 180 secs
lola: 373556 markings, 1264909 edges, 1979 markings/sec, 185 secs
lola: 383486 markings, 1297795 edges, 1986 markings/sec, 190 secs
lola: 393448 markings, 1331748 edges, 1992 markings/sec, 195 secs
lola: 403404 markings, 1364223 edges, 1991 markings/sec, 200 secs
lola: 413190 markings, 1397454 edges, 1957 markings/sec, 205 secs
lola: 422991 markings, 1430067 edges, 1960 markings/sec, 210 secs
lola: 432935 markings, 1462230 edges, 1989 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 151868 KB
lola: time consumption: 3569 seconds
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__7_10_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__7_10_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D30N100-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: 30896 KB
lola: time consumption: 3569 seconds
lola: memory consumption: 30896 KB
lola: time consumption: 3569 seconds
lola: Child process aborted or communication problem between parent and child process
BK_STOP 1552921777254
--------------------
content from stderr:
grep: GenericPropertiesVerdict.xml: No such file or directory
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="Diffusion2D-PT-D30N100"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="win2018"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3954"
echo " Executing tool win2018"
echo " Input is Diffusion2D-PT-D30N100, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r066-ebro-155234666400058"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Diffusion2D-PT-D30N100.tgz
mv Diffusion2D-PT-D30N100 execution
cd execution
if [ "UpperBounds" = "GlobalProperties" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
if [ "UpperBounds" = "UpperBounds" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
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 ;