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-155234666500073.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-D40N150, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r066-ebro-155234666500073
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 4.8M
-rw-r--r-- 1 mcc users 4.3K Feb 10 21:36 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Feb 10 21:36 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Feb 6 17:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 6 17:58 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 3.0K Feb 4 23:32 LTLCardinality.txt
-rw-r--r-- 1 mcc users 13K Feb 4 23:32 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 4 22:34 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.6K Feb 4 22:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Feb 3 07:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Feb 3 07:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Jan 30 23:46 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K 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.9K Feb 4 22:19 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 8 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 4.7M 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-D40N150-UpperBounds-00
FORMULA_NAME Diffusion2D-PT-D40N150-UpperBounds-01
FORMULA_NAME Diffusion2D-PT-D40N150-UpperBounds-02
FORMULA_NAME Diffusion2D-PT-D40N150-UpperBounds-03
FORMULA_NAME Diffusion2D-PT-D40N150-UpperBounds-04
FORMULA_NAME Diffusion2D-PT-D40N150-UpperBounds-05
FORMULA_NAME Diffusion2D-PT-D40N150-UpperBounds-06
FORMULA_NAME Diffusion2D-PT-D40N150-UpperBounds-07
FORMULA_NAME Diffusion2D-PT-D40N150-UpperBounds-08
FORMULA_NAME Diffusion2D-PT-D40N150-UpperBounds-09
FORMULA_NAME Diffusion2D-PT-D40N150-UpperBounds-10
FORMULA_NAME Diffusion2D-PT-D40N150-UpperBounds-11
FORMULA_NAME Diffusion2D-PT-D40N150-UpperBounds-12
FORMULA_NAME Diffusion2D-PT-D40N150-UpperBounds-13
FORMULA_NAME Diffusion2D-PT-D40N150-UpperBounds-14
FORMULA_NAME Diffusion2D-PT-D40N150-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1552921936612

info: Time: 3600 - MCC
===========================================================================================
prep: translating Diffusion2D-PT-D40N150 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating Diffusion2D-PT-D40N150 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ Diffusion2D-PT-D40N150 @ 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: 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-D40N150-UpperBounds.task
lola: MAX(cAMP__37_28_) : MAX(cAMP__31_34_) : MAX(cAMP__2_15_) : MAX(cAMP__33_12_) : MAX(cAMP__13_27_) : MAX(cAMP__1_24_) : MAX(cAMP__38_35_) : MAX(cAMP__19_22_) : MAX(cAMP__26_13_) : MAX(cAMP__26_25_) : MAX(cAMP__22_40_) : MAX(cAMP__8_36_) : MAX(cAMP__11_6_) : MAX(cAMP__25_36_) : MAX(cAMP__11_13_) : MAX(cAMP__32_40_)
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__37_28_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__37_28_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N150-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: 150
lola: 2223 markings, 7681 edges, 445 markings/sec, 0 secs
lola: 6614 markings, 22039 edges, 878 markings/sec, 5 secs
lola: 11018 markings, 34952 edges, 881 markings/sec, 10 secs
lola: 15384 markings, 49648 edges, 873 markings/sec, 15 secs
lola: 19701 markings, 63224 edges, 863 markings/sec, 20 secs
lola: 24086 markings, 77262 edges, 877 markings/sec, 25 secs
lola: 28482 markings, 90299 edges, 879 markings/sec, 30 secs
lola: 32854 markings, 104509 edges, 874 markings/sec, 35 secs
lola: 37230 markings, 118588 edges, 875 markings/sec, 40 secs
lola: 41645 markings, 131388 edges, 883 markings/sec, 45 secs
lola: 46041 markings, 145645 edges, 879 markings/sec, 50 secs
lola: 50402 markings, 161823 edges, 872 markings/sec, 55 secs
lola: 54787 markings, 176290 edges, 877 markings/sec, 60 secs
lola: 59173 markings, 190380 edges, 877 markings/sec, 65 secs
lola: 63531 markings, 205352 edges, 872 markings/sec, 70 secs
lola: 67930 markings, 219183 edges, 880 markings/sec, 75 secs
lola: 72251 markings, 231987 edges, 864 markings/sec, 80 secs
lola: 76589 markings, 246164 edges, 868 markings/sec, 85 secs
lola: 80968 markings, 259424 edges, 876 markings/sec, 90 secs
lola: 85335 markings, 273010 edges, 873 markings/sec, 95 secs
lola: 89700 markings, 287147 edges, 873 markings/sec, 100 secs
lola: 94115 markings, 300654 edges, 883 markings/sec, 105 secs
lola: 98513 markings, 313759 edges, 880 markings/sec, 110 secs
lola: 102869 markings, 328340 edges, 871 markings/sec, 115 secs
lola: 107260 markings, 339763 edges, 878 markings/sec, 120 secs
lola: 111594 markings, 352562 edges, 867 markings/sec, 125 secs
lola: 115998 markings, 365051 edges, 881 markings/sec, 130 secs
lola: 120393 markings, 377769 edges, 879 markings/sec, 135 secs
lola: 124792 markings, 391074 edges, 880 markings/sec, 140 secs
lola: 129186 markings, 404880 edges, 879 markings/sec, 145 secs
lola: 133593 markings, 419513 edges, 881 markings/sec, 150 secs
lola: 137974 markings, 434681 edges, 876 markings/sec, 155 secs
lola: 142340 markings, 450178 edges, 873 markings/sec, 160 secs
lola: 146696 markings, 465867 edges, 871 markings/sec, 165 secs
lola: 151101 markings, 478867 edges, 881 markings/sec, 170 secs
lola: 155519 markings, 491838 edges, 884 markings/sec, 175 secs
lola: 159901 markings, 505662 edges, 876 markings/sec, 180 secs
lola: 164259 markings, 519274 edges, 872 markings/sec, 185 secs
lola: 168616 markings, 532979 edges, 871 markings/sec, 190 secs
lola: 172968 markings, 546856 edges, 870 markings/sec, 195 secs
lola: 177338 markings, 560829 edges, 874 markings/sec, 200 secs
lola: 181695 markings, 574181 edges, 871 markings/sec, 205 secs
lola: 186071 markings, 588037 edges, 875 markings/sec, 210 secs
lola: 190482 markings, 600799 edges, 882 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: 96432 KB
lola: time consumption: 239 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__31_34_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__31_34_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N150-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: 150
lola: 2071 markings, 6855 edges, 414 markings/sec, 0 secs
lola: 6449 markings, 21614 edges, 876 markings/sec, 5 secs
lola: 10829 markings, 36173 edges, 876 markings/sec, 10 secs
lola: 15203 markings, 50901 edges, 875 markings/sec, 15 secs
lola: 19577 markings, 66125 edges, 875 markings/sec, 20 secs
lola: 23976 markings, 81429 edges, 880 markings/sec, 25 secs
lola: 28357 markings, 96125 edges, 876 markings/sec, 30 secs
lola: 32734 markings, 110872 edges, 875 markings/sec, 35 secs
lola: 37116 markings, 125494 edges, 876 markings/sec, 40 secs
lola: 41500 markings, 140909 edges, 877 markings/sec, 45 secs
lola: 45897 markings, 155554 edges, 879 markings/sec, 50 secs
lola: 50290 markings, 170361 edges, 879 markings/sec, 55 secs
lola: 54674 markings, 185134 edges, 877 markings/sec, 60 secs
lola: 59034 markings, 199938 edges, 872 markings/sec, 65 secs
lola: 63395 markings, 215036 edges, 872 markings/sec, 70 secs
lola: 67773 markings, 229598 edges, 876 markings/sec, 75 secs
lola: 72169 markings, 244285 edges, 879 markings/sec, 80 secs
lola: 76534 markings, 258984 edges, 873 markings/sec, 85 secs
lola: 80884 markings, 274192 edges, 870 markings/sec, 90 secs
lola: 85253 markings, 288930 edges, 874 markings/sec, 95 secs
lola: 89612 markings, 303567 edges, 872 markings/sec, 100 secs
lola: 93978 markings, 318202 edges, 873 markings/sec, 105 secs
lola: 98336 markings, 332811 edges, 872 markings/sec, 110 secs
lola: 102730 markings, 345850 edges, 879 markings/sec, 115 secs
lola: 107081 markings, 361081 edges, 870 markings/sec, 120 secs
lola: 111438 markings, 376109 edges, 871 markings/sec, 125 secs
lola: 115802 markings, 391268 edges, 873 markings/sec, 130 secs
lola: 120160 markings, 406288 edges, 872 markings/sec, 135 secs
lola: 124512 markings, 421738 edges, 870 markings/sec, 140 secs
lola: 128878 markings, 436908 edges, 873 markings/sec, 145 secs
lola: 133195 markings, 453502 edges, 863 markings/sec, 150 secs
lola: 137528 markings, 468727 edges, 867 markings/sec, 155 secs
lola: 141846 markings, 484875 edges, 864 markings/sec, 160 secs
lola: 146178 markings, 500020 edges, 866 markings/sec, 165 secs
lola: 150535 markings, 515051 edges, 871 markings/sec, 170 secs
lola: 154872 markings, 529956 edges, 867 markings/sec, 175 secs
lola: 159235 markings, 544645 edges, 873 markings/sec, 180 secs
lola: 163572 markings, 559485 edges, 867 markings/sec, 185 secs
lola: 167908 markings, 574566 edges, 867 markings/sec, 190 secs
lola: 172241 markings, 589249 edges, 867 markings/sec, 195 secs
lola: 176573 markings, 603949 edges, 866 markings/sec, 200 secs
lola: 180905 markings, 619036 edges, 866 markings/sec, 205 secs
lola: 185258 markings, 634147 edges, 871 markings/sec, 210 secs
lola: 189631 markings, 648740 edges, 875 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: 88876 KB
lola: time consumption: 461 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__2_15_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__2_15_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N150-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: 150
lola: 2170 markings, 7705 edges, 434 markings/sec, 0 secs
lola: 6577 markings, 22351 edges, 881 markings/sec, 5 secs
lola: 10980 markings, 36507 edges, 881 markings/sec, 10 secs
lola: 15387 markings, 50013 edges, 881 markings/sec, 15 secs
lola: 19765 markings, 65526 edges, 876 markings/sec, 20 secs
lola: 24131 markings, 79850 edges, 873 markings/sec, 25 secs
lola: 28472 markings, 95425 edges, 868 markings/sec, 30 secs
lola: 32797 markings, 109912 edges, 865 markings/sec, 35 secs
lola: 37180 markings, 125206 edges, 877 markings/sec, 40 secs
lola: 41585 markings, 139332 edges, 881 markings/sec, 45 secs
lola: 45951 markings, 154475 edges, 873 markings/sec, 50 secs
lola: 50333 markings, 168627 edges, 876 markings/sec, 55 secs
lola: 54717 markings, 183366 edges, 877 markings/sec, 60 secs
lola: 59160 markings, 197387 edges, 889 markings/sec, 65 secs
lola: 63559 markings, 213157 edges, 880 markings/sec, 70 secs
lola: 67959 markings, 227937 edges, 880 markings/sec, 75 secs
lola: 72318 markings, 242686 edges, 872 markings/sec, 80 secs
lola: 76706 markings, 256841 edges, 878 markings/sec, 85 secs
lola: 81133 markings, 271468 edges, 885 markings/sec, 90 secs
lola: 85608 markings, 286415 edges, 895 markings/sec, 95 secs
lola: 90056 markings, 302112 edges, 890 markings/sec, 100 secs
lola: 94465 markings, 316114 edges, 882 markings/sec, 105 secs
lola: 98850 markings, 330617 edges, 877 markings/sec, 110 secs
lola: 103223 markings, 345187 edges, 875 markings/sec, 115 secs
lola: 107625 markings, 360430 edges, 880 markings/sec, 120 secs
lola: 112012 markings, 374178 edges, 877 markings/sec, 125 secs
lola: 116378 markings, 388862 edges, 873 markings/sec, 130 secs
lola: 120754 markings, 403457 edges, 875 markings/sec, 135 secs
lola: 125134 markings, 418572 edges, 876 markings/sec, 140 secs
lola: 129550 markings, 432384 edges, 883 markings/sec, 145 secs
lola: 133916 markings, 447208 edges, 873 markings/sec, 150 secs
lola: 138234 markings, 461600 edges, 864 markings/sec, 155 secs
lola: 142523 markings, 476229 edges, 858 markings/sec, 160 secs
lola: 146855 markings, 489841 edges, 866 markings/sec, 165 secs
lola: 151167 markings, 504642 edges, 862 markings/sec, 170 secs
lola: 155485 markings, 518949 edges, 864 markings/sec, 175 secs
lola: 159767 markings, 533465 edges, 856 markings/sec, 180 secs
lola: 164124 markings, 546649 edges, 871 markings/sec, 185 secs
lola: 168443 markings, 560419 edges, 864 markings/sec, 190 secs
lola: 172831 markings, 574214 edges, 878 markings/sec, 195 secs
lola: 177183 markings, 588583 edges, 870 markings/sec, 200 secs
lola: 181532 markings, 603198 edges, 870 markings/sec, 205 secs
lola: 185921 markings, 617552 edges, 878 markings/sec, 210 secs
lola: 190292 markings, 632960 edges, 874 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: 94516 KB
lola: time consumption: 683 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__33_12_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__33_12_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N150-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: 150
lola: 2170 markings, 7507 edges, 434 markings/sec, 0 secs
lola: 6524 markings, 22592 edges, 871 markings/sec, 5 secs
lola: 10873 markings, 37794 edges, 870 markings/sec, 10 secs
lola: 15202 markings, 52551 edges, 866 markings/sec, 15 secs
lola: 19550 markings, 67145 edges, 870 markings/sec, 20 secs
lola: 23910 markings, 82566 edges, 872 markings/sec, 25 secs
lola: 28285 markings, 97901 edges, 875 markings/sec, 30 secs
lola: 32693 markings, 112859 edges, 882 markings/sec, 35 secs
lola: 37088 markings, 127667 edges, 879 markings/sec, 40 secs
lola: 41463 markings, 143156 edges, 875 markings/sec, 45 secs
lola: 45770 markings, 158057 edges, 861 markings/sec, 50 secs
lola: 50158 markings, 172670 edges, 878 markings/sec, 55 secs
lola: 54512 markings, 187552 edges, 871 markings/sec, 60 secs
lola: 58842 markings, 202677 edges, 866 markings/sec, 65 secs
lola: 63183 markings, 217985 edges, 868 markings/sec, 70 secs
lola: 67514 markings, 233560 edges, 866 markings/sec, 75 secs
lola: 71837 markings, 248581 edges, 865 markings/sec, 80 secs
lola: 76059 markings, 264134 edges, 844 markings/sec, 85 secs
lola: 80336 markings, 278276 edges, 855 markings/sec, 90 secs
lola: 84658 markings, 293359 edges, 864 markings/sec, 95 secs
lola: 89025 markings, 308458 edges, 873 markings/sec, 100 secs
lola: 93360 markings, 323746 edges, 867 markings/sec, 105 secs
lola: 97730 markings, 339382 edges, 874 markings/sec, 110 secs
lola: 102119 markings, 354214 edges, 878 markings/sec, 115 secs
lola: 106476 markings, 369797 edges, 871 markings/sec, 120 secs
lola: 110811 markings, 385816 edges, 867 markings/sec, 125 secs
lola: 115175 markings, 401255 edges, 873 markings/sec, 130 secs
lola: 119551 markings, 416277 edges, 875 markings/sec, 135 secs
lola: 123914 markings, 430563 edges, 873 markings/sec, 140 secs
lola: 128283 markings, 445190 edges, 874 markings/sec, 145 secs
lola: 132621 markings, 460918 edges, 868 markings/sec, 150 secs
lola: 136937 markings, 477953 edges, 863 markings/sec, 155 secs
lola: 141297 markings, 493279 edges, 872 markings/sec, 160 secs
lola: 145694 markings, 507989 edges, 879 markings/sec, 165 secs
lola: 150055 markings, 523622 edges, 872 markings/sec, 170 secs
lola: 154429 markings, 539540 edges, 875 markings/sec, 175 secs
lola: 158806 markings, 554506 edges, 875 markings/sec, 180 secs
lola: 163088 markings, 570910 edges, 856 markings/sec, 185 secs
lola: 167414 markings, 586296 edges, 865 markings/sec, 190 secs
lola: 171749 markings, 601260 edges, 867 markings/sec, 195 secs
lola: 175949 markings, 616570 edges, 840 markings/sec, 200 secs
lola: 180317 markings, 632489 edges, 874 markings/sec, 205 secs
lola: 184699 markings, 647570 edges, 876 markings/sec, 210 secs
lola: 189076 markings, 663829 edges, 875 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: 91140 KB
lola: time consumption: 905 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_27_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__13_27_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N150-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: 150
lola: 2058 markings, 6980 edges, 412 markings/sec, 0 secs
lola: 6378 markings, 22012 edges, 864 markings/sec, 5 secs
lola: 10704 markings, 36089 edges, 865 markings/sec, 10 secs
lola: 15019 markings, 50965 edges, 863 markings/sec, 15 secs
lola: 19297 markings, 65706 edges, 856 markings/sec, 20 secs
lola: 23596 markings, 80296 edges, 860 markings/sec, 25 secs
lola: 27913 markings, 94541 edges, 863 markings/sec, 30 secs
lola: 32241 markings, 108993 edges, 866 markings/sec, 35 secs
lola: 36550 markings, 124291 edges, 862 markings/sec, 40 secs
lola: 40904 markings, 138530 edges, 871 markings/sec, 45 secs
lola: 45227 markings, 153539 edges, 865 markings/sec, 50 secs
lola: 49500 markings, 167932 edges, 855 markings/sec, 55 secs
lola: 53765 markings, 182822 edges, 853 markings/sec, 60 secs
lola: 58048 markings, 197355 edges, 857 markings/sec, 65 secs
lola: 62335 markings, 211630 edges, 857 markings/sec, 70 secs
lola: 66620 markings, 225815 edges, 857 markings/sec, 75 secs
lola: 70885 markings, 240422 edges, 853 markings/sec, 80 secs
lola: 75149 markings, 255029 edges, 853 markings/sec, 85 secs
lola: 79398 markings, 270291 edges, 850 markings/sec, 90 secs
lola: 83693 markings, 284209 edges, 859 markings/sec, 95 secs
lola: 87990 markings, 298404 edges, 859 markings/sec, 100 secs
lola: 92267 markings, 312806 edges, 855 markings/sec, 105 secs
lola: 96525 markings, 328179 edges, 852 markings/sec, 110 secs
lola: 100798 markings, 342720 edges, 855 markings/sec, 115 secs
lola: 105065 markings, 357447 edges, 853 markings/sec, 120 secs
lola: 109332 markings, 371827 edges, 853 markings/sec, 125 secs
lola: 113603 markings, 386121 edges, 854 markings/sec, 130 secs
lola: 117874 markings, 400598 edges, 854 markings/sec, 135 secs
lola: 122141 markings, 415518 edges, 853 markings/sec, 140 secs
lola: 126424 markings, 429982 edges, 857 markings/sec, 145 secs
lola: 130732 markings, 444191 edges, 862 markings/sec, 150 secs
lola: 135007 markings, 458551 edges, 855 markings/sec, 155 secs
lola: 139287 markings, 474288 edges, 856 markings/sec, 160 secs
lola: 143596 markings, 489067 edges, 862 markings/sec, 165 secs
lola: 147884 markings, 503718 edges, 858 markings/sec, 170 secs
lola: 152167 markings, 518390 edges, 857 markings/sec, 175 secs
lola: 156459 markings, 532989 edges, 858 markings/sec, 180 secs
lola: 160734 markings, 547420 edges, 855 markings/sec, 185 secs
lola: 164996 markings, 561725 edges, 852 markings/sec, 190 secs
lola: 169261 markings, 576506 edges, 853 markings/sec, 195 secs
lola: 173553 markings, 591530 edges, 858 markings/sec, 200 secs
lola: 177833 markings, 606741 edges, 856 markings/sec, 205 secs
lola: 182136 markings, 621425 edges, 861 markings/sec, 210 secs
lola: 186435 markings, 635601 edges, 860 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: 97920 KB
lola: time consumption: 1127 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__1_24_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__1_24_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N150-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: 150
lola: 2217 markings, 7748 edges, 443 markings/sec, 0 secs
lola: 6619 markings, 22312 edges, 880 markings/sec, 5 secs
lola: 10984 markings, 36941 edges, 873 markings/sec, 10 secs
lola: 15362 markings, 51684 edges, 876 markings/sec, 15 secs
lola: 19707 markings, 66397 edges, 869 markings/sec, 20 secs
lola: 24022 markings, 80870 edges, 863 markings/sec, 25 secs
lola: 28335 markings, 95100 edges, 863 markings/sec, 30 secs
lola: 32679 markings, 108627 edges, 869 markings/sec, 35 secs
lola: 37021 markings, 122890 edges, 868 markings/sec, 40 secs
lola: 41359 markings, 137170 edges, 868 markings/sec, 45 secs
lola: 45734 markings, 150875 edges, 875 markings/sec, 50 secs
lola: 50102 markings, 165410 edges, 874 markings/sec, 55 secs
lola: 54516 markings, 179775 edges, 883 markings/sec, 60 secs
lola: 58884 markings, 193842 edges, 874 markings/sec, 65 secs
lola: 63314 markings, 208237 edges, 886 markings/sec, 70 secs
lola: 67688 markings, 222383 edges, 875 markings/sec, 75 secs
lola: 72078 markings, 237076 edges, 878 markings/sec, 80 secs
lola: 76481 markings, 251089 edges, 881 markings/sec, 85 secs
lola: 80917 markings, 265382 edges, 887 markings/sec, 90 secs
lola: 85376 markings, 280093 edges, 892 markings/sec, 95 secs
lola: 89840 markings, 294917 edges, 893 markings/sec, 100 secs
lola: 94250 markings, 309638 edges, 882 markings/sec, 105 secs
lola: 98555 markings, 323999 edges, 861 markings/sec, 110 secs
lola: 103006 markings, 339012 edges, 890 markings/sec, 115 secs
lola: 107433 markings, 354603 edges, 885 markings/sec, 120 secs
lola: 111871 markings, 369308 edges, 888 markings/sec, 125 secs
lola: 116252 markings, 383362 edges, 876 markings/sec, 130 secs
lola: 120642 markings, 397850 edges, 878 markings/sec, 135 secs
lola: 125037 markings, 411400 edges, 879 markings/sec, 140 secs
lola: 129398 markings, 425789 edges, 872 markings/sec, 145 secs
lola: 133781 markings, 440486 edges, 877 markings/sec, 150 secs
lola: 138163 markings, 454661 edges, 876 markings/sec, 155 secs
lola: 142583 markings, 468853 edges, 884 markings/sec, 160 secs
lola: 147021 markings, 483322 edges, 888 markings/sec, 165 secs
lola: 151436 markings, 497603 edges, 883 markings/sec, 170 secs
lola: 155789 markings, 512214 edges, 871 markings/sec, 175 secs
lola: 160145 markings, 525862 edges, 871 markings/sec, 180 secs
lola: 164511 markings, 540058 edges, 873 markings/sec, 185 secs
lola: 168878 markings, 554910 edges, 873 markings/sec, 190 secs
lola: 173215 markings, 569276 edges, 867 markings/sec, 195 secs
lola: 177601 markings, 584159 edges, 877 markings/sec, 200 secs
lola: 181971 markings, 598989 edges, 874 markings/sec, 205 secs
lola: 186357 markings, 614181 edges, 877 markings/sec, 210 secs
lola: 190862 markings, 627857 edges, 901 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: 92732 KB
lola: time consumption: 1349 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__38_35_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__38_35_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N150-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: 150
lola: 2198 markings, 7562 edges, 440 markings/sec, 0 secs
lola: 6631 markings, 22920 edges, 887 markings/sec, 5 secs
lola: 11070 markings, 38972 edges, 888 markings/sec, 10 secs
lola: 15483 markings, 55242 edges, 883 markings/sec, 15 secs
lola: 19897 markings, 71057 edges, 883 markings/sec, 20 secs
lola: 24330 markings, 87551 edges, 887 markings/sec, 25 secs
lola: 28765 markings, 103744 edges, 887 markings/sec, 30 secs
lola: 33163 markings, 120217 edges, 880 markings/sec, 35 secs
lola: 37564 markings, 136310 edges, 880 markings/sec, 40 secs
lola: 41976 markings, 152688 edges, 882 markings/sec, 45 secs
lola: 46378 markings, 169121 edges, 880 markings/sec, 50 secs
lola: 50767 markings, 185358 edges, 878 markings/sec, 55 secs
lola: 55162 markings, 201690 edges, 879 markings/sec, 60 secs
lola: 59529 markings, 217492 edges, 873 markings/sec, 65 secs
lola: 63971 markings, 233226 edges, 888 markings/sec, 70 secs
lola: 68410 markings, 249525 edges, 888 markings/sec, 75 secs
lola: 72832 markings, 265951 edges, 884 markings/sec, 80 secs
lola: 77287 markings, 282158 edges, 891 markings/sec, 85 secs
lola: 81729 markings, 298134 edges, 888 markings/sec, 90 secs
lola: 86182 markings, 312955 edges, 891 markings/sec, 95 secs
lola: 90603 markings, 328968 edges, 884 markings/sec, 100 secs
lola: 95019 markings, 345625 edges, 883 markings/sec, 105 secs
lola: 99395 markings, 363852 edges, 875 markings/sec, 110 secs
lola: 103805 markings, 381265 edges, 882 markings/sec, 115 secs
lola: 108211 markings, 398175 edges, 881 markings/sec, 120 secs
lola: 112662 markings, 414115 edges, 890 markings/sec, 125 secs
lola: 117072 markings, 431233 edges, 882 markings/sec, 130 secs
lola: 121388 markings, 447586 edges, 863 markings/sec, 135 secs
lola: 125707 markings, 464792 edges, 864 markings/sec, 140 secs
lola: 130075 markings, 480411 edges, 874 markings/sec, 145 secs
lola: 134395 markings, 497353 edges, 864 markings/sec, 150 secs
lola: 138797 markings, 513533 edges, 880 markings/sec, 155 secs
lola: 143233 markings, 529830 edges, 887 markings/sec, 160 secs
lola: 147635 markings, 546164 edges, 880 markings/sec, 165 secs
lola: 152053 markings, 562791 edges, 884 markings/sec, 170 secs
lola: 156440 markings, 580677 edges, 877 markings/sec, 175 secs
lola: 160848 markings, 597436 edges, 882 markings/sec, 180 secs
lola: 165278 markings, 613647 edges, 886 markings/sec, 185 secs
lola: 169668 markings, 631181 edges, 878 markings/sec, 190 secs
lola: 174102 markings, 646995 edges, 887 markings/sec, 195 secs
lola: 178548 markings, 663064 edges, 889 markings/sec, 200 secs
lola: 182979 markings, 680078 edges, 886 markings/sec, 205 secs
lola: 187395 markings, 697961 edges, 883 markings/sec, 210 secs
lola: 191833 markings, 714880 edges, 888 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: 91388 KB
lola: time consumption: 1571 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__19_22_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__19_22_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N150-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: 150
lola: 2140 markings, 5425 edges, 428 markings/sec, 0 secs
lola: 6589 markings, 18500 edges, 890 markings/sec, 5 secs
lola: 11034 markings, 31551 edges, 889 markings/sec, 10 secs
lola: 15477 markings, 44605 edges, 889 markings/sec, 15 secs
lola: 19922 markings, 57660 edges, 889 markings/sec, 20 secs
lola: 24365 markings, 70717 edges, 889 markings/sec, 25 secs
lola: 28804 markings, 83754 edges, 888 markings/sec, 30 secs
lola: 33245 markings, 96809 edges, 888 markings/sec, 35 secs
lola: 37683 markings, 109855 edges, 888 markings/sec, 40 secs
lola: 42126 markings, 122924 edges, 889 markings/sec, 45 secs
lola: 46566 markings, 135677 edges, 888 markings/sec, 50 secs
lola: 51029 markings, 147203 edges, 893 markings/sec, 55 secs
lola: 55496 markings, 158423 edges, 893 markings/sec, 60 secs
lola: 59967 markings, 169529 edges, 894 markings/sec, 65 secs
lola: 64434 markings, 180721 edges, 893 markings/sec, 70 secs
lola: 68900 markings, 191765 edges, 893 markings/sec, 75 secs
lola: 73379 markings, 202752 edges, 896 markings/sec, 80 secs
lola: 77831 markings, 213695 edges, 890 markings/sec, 85 secs
lola: 82278 markings, 224836 edges, 889 markings/sec, 90 secs
lola: 86734 markings, 235805 edges, 891 markings/sec, 95 secs
lola: 91195 markings, 246576 edges, 892 markings/sec, 100 secs
lola: 95646 markings, 257721 edges, 890 markings/sec, 105 secs
lola: 100103 markings, 268571 edges, 891 markings/sec, 110 secs
lola: 104577 markings, 279375 edges, 895 markings/sec, 115 secs
lola: 109050 markings, 290504 edges, 895 markings/sec, 120 secs
lola: 113527 markings, 301357 edges, 895 markings/sec, 125 secs
lola: 117999 markings, 312458 edges, 894 markings/sec, 130 secs
lola: 122473 markings, 323261 edges, 895 markings/sec, 135 secs
lola: 126936 markings, 334335 edges, 893 markings/sec, 140 secs
lola: 131394 markings, 345051 edges, 892 markings/sec, 145 secs
lola: 135865 markings, 356151 edges, 894 markings/sec, 150 secs
lola: 140341 markings, 366882 edges, 895 markings/sec, 155 secs
lola: 144801 markings, 377916 edges, 892 markings/sec, 160 secs
lola: 149260 markings, 388563 edges, 892 markings/sec, 165 secs
lola: 153714 markings, 399585 edges, 891 markings/sec, 170 secs
lola: 158185 markings, 410254 edges, 894 markings/sec, 175 secs
lola: 162653 markings, 421366 edges, 894 markings/sec, 180 secs
lola: 167113 markings, 432077 edges, 892 markings/sec, 185 secs
lola: 171595 markings, 443063 edges, 896 markings/sec, 190 secs
lola: 176079 markings, 454184 edges, 897 markings/sec, 195 secs
lola: 180556 markings, 464743 edges, 895 markings/sec, 200 secs
lola: 185015 markings, 475829 edges, 892 markings/sec, 205 secs
lola: 189501 markings, 486549 edges, 897 markings/sec, 210 secs
lola: 193986 markings, 497560 edges, 897 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: 125732 KB
lola: time consumption: 1793 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__26_13_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__26_13_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N150-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: 150
lola: 2140 markings, 7271 edges, 428 markings/sec, 0 secs
lola: 6501 markings, 22357 edges, 872 markings/sec, 5 secs
lola: 10864 markings, 36911 edges, 873 markings/sec, 10 secs
lola: 15121 markings, 52186 edges, 851 markings/sec, 15 secs
lola: 19471 markings, 66758 edges, 870 markings/sec, 20 secs
lola: 23743 markings, 81303 edges, 854 markings/sec, 25 secs
lola: 28051 markings, 95802 edges, 862 markings/sec, 30 secs
lola: 32391 markings, 111308 edges, 868 markings/sec, 35 secs
lola: 36697 markings, 126580 edges, 861 markings/sec, 40 secs
lola: 41011 markings, 142069 edges, 863 markings/sec, 45 secs
lola: 45328 markings, 157364 edges, 863 markings/sec, 50 secs
lola: 49590 markings, 172857 edges, 852 markings/sec, 55 secs
lola: 53883 markings, 188053 edges, 859 markings/sec, 60 secs
lola: 58215 markings, 203049 edges, 866 markings/sec, 65 secs
lola: 62530 markings, 219001 edges, 863 markings/sec, 70 secs
lola: 66893 markings, 233637 edges, 873 markings/sec, 75 secs
lola: 71280 markings, 247151 edges, 877 markings/sec, 80 secs
lola: 75660 markings, 260899 edges, 876 markings/sec, 85 secs
lola: 80028 markings, 274647 edges, 874 markings/sec, 90 secs
lola: 84381 markings, 289032 edges, 871 markings/sec, 95 secs
lola: 88730 markings, 303717 edges, 870 markings/sec, 100 secs
lola: 93056 markings, 319005 edges, 865 markings/sec, 105 secs
lola: 97399 markings, 333691 edges, 869 markings/sec, 110 secs
lola: 101767 markings, 347727 edges, 874 markings/sec, 115 secs
lola: 106107 markings, 362415 edges, 868 markings/sec, 120 secs
lola: 110453 markings, 376686 edges, 869 markings/sec, 125 secs
lola: 114756 markings, 391106 edges, 861 markings/sec, 130 secs
lola: 119019 markings, 406173 edges, 853 markings/sec, 135 secs
lola: 123344 markings, 420939 edges, 865 markings/sec, 140 secs
lola: 127686 markings, 434433 edges, 868 markings/sec, 145 secs
lola: 131993 markings, 449694 edges, 861 markings/sec, 150 secs
lola: 136307 markings, 465414 edges, 863 markings/sec, 155 secs
lola: 140612 markings, 480675 edges, 861 markings/sec, 160 secs
lola: 144932 markings, 494772 edges, 864 markings/sec, 165 secs
lola: 149262 markings, 509026 edges, 866 markings/sec, 170 secs
lola: 153599 markings, 523737 edges, 867 markings/sec, 175 secs
lola: 157930 markings, 537466 edges, 866 markings/sec, 180 secs
lola: 162238 markings, 552348 edges, 862 markings/sec, 185 secs
lola: 166584 markings, 567146 edges, 869 markings/sec, 190 secs
lola: 170958 markings, 581101 edges, 875 markings/sec, 195 secs
lola: 175347 markings, 594681 edges, 878 markings/sec, 200 secs
lola: 179716 markings, 609396 edges, 874 markings/sec, 205 secs
lola: 183989 markings, 623979 edges, 855 markings/sec, 210 secs
lola: 188301 markings, 638135 edges, 862 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: 96164 KB
lola: time consumption: 2015 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__26_25_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__26_25_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N150-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: 150
lola: 2203 markings, 6857 edges, 441 markings/sec, 0 secs
lola: 6556 markings, 21306 edges, 871 markings/sec, 5 secs
lola: 10908 markings, 35645 edges, 870 markings/sec, 10 secs
lola: 15276 markings, 50102 edges, 874 markings/sec, 15 secs
lola: 19660 markings, 64416 edges, 877 markings/sec, 20 secs
lola: 24014 markings, 78767 edges, 871 markings/sec, 25 secs
lola: 28344 markings, 92965 edges, 866 markings/sec, 30 secs
lola: 32684 markings, 107939 edges, 868 markings/sec, 35 secs
lola: 37019 markings, 122493 edges, 867 markings/sec, 40 secs
lola: 41313 markings, 138604 edges, 859 markings/sec, 45 secs
lola: 45637 markings, 152743 edges, 865 markings/sec, 50 secs
lola: 49932 markings, 168449 edges, 859 markings/sec, 55 secs
lola: 54249 markings, 182842 edges, 863 markings/sec, 60 secs
lola: 58545 markings, 197372 edges, 859 markings/sec, 65 secs
lola: 62854 markings, 211980 edges, 862 markings/sec, 70 secs
lola: 67176 markings, 226758 edges, 864 markings/sec, 75 secs
lola: 71476 markings, 242162 edges, 860 markings/sec, 80 secs
lola: 75757 markings, 258216 edges, 856 markings/sec, 85 secs
lola: 80034 markings, 273794 edges, 855 markings/sec, 90 secs
lola: 84324 markings, 289097 edges, 858 markings/sec, 95 secs
lola: 88610 markings, 303869 edges, 857 markings/sec, 100 secs
lola: 92888 markings, 318639 edges, 856 markings/sec, 105 secs
lola: 97179 markings, 333176 edges, 858 markings/sec, 110 secs
lola: 101472 markings, 347820 edges, 859 markings/sec, 115 secs
lola: 105806 markings, 362096 edges, 867 markings/sec, 120 secs
lola: 110123 markings, 376840 edges, 863 markings/sec, 125 secs
lola: 114444 markings, 390899 edges, 864 markings/sec, 130 secs
lola: 118761 markings, 405522 edges, 863 markings/sec, 135 secs
lola: 123078 markings, 420419 edges, 863 markings/sec, 140 secs
lola: 127413 markings, 435247 edges, 867 markings/sec, 145 secs
lola: 131745 markings, 450325 edges, 866 markings/sec, 150 secs
lola: 136074 markings, 464865 edges, 866 markings/sec, 155 secs
lola: 140429 markings, 479940 edges, 871 markings/sec, 160 secs
lola: 144784 markings, 494675 edges, 871 markings/sec, 165 secs
lola: 149124 markings, 509749 edges, 868 markings/sec, 170 secs
lola: 153472 markings, 524375 edges, 870 markings/sec, 175 secs
lola: 157825 markings, 539086 edges, 871 markings/sec, 180 secs
lola: 162159 markings, 554976 edges, 867 markings/sec, 185 secs
lola: 166500 markings, 570380 edges, 868 markings/sec, 190 secs
lola: 170838 markings, 584875 edges, 868 markings/sec, 195 secs
lola: 175182 markings, 598866 edges, 869 markings/sec, 200 secs
lola: 179530 markings, 613101 edges, 870 markings/sec, 205 secs
lola: 183873 markings, 627448 edges, 869 markings/sec, 210 secs
lola: 188228 markings, 641792 edges, 871 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: 98464 KB
lola: time consumption: 2237 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__22_40_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__22_40_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N150-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: 150
lola: 2117 markings, 7523 edges, 423 markings/sec, 0 secs
lola: 6414 markings, 21930 edges, 859 markings/sec, 5 secs
lola: 10706 markings, 36424 edges, 858 markings/sec, 10 secs
lola: 14984 markings, 50736 edges, 856 markings/sec, 15 secs
lola: 19214 markings, 65802 edges, 846 markings/sec, 20 secs
lola: 23513 markings, 80072 edges, 860 markings/sec, 25 secs
lola: 27792 markings, 95389 edges, 856 markings/sec, 30 secs
lola: 32078 markings, 109418 edges, 857 markings/sec, 35 secs
lola: 36414 markings, 124212 edges, 867 markings/sec, 40 secs
lola: 40723 markings, 138775 edges, 862 markings/sec, 45 secs
lola: 45000 markings, 153420 edges, 855 markings/sec, 50 secs
lola: 49264 markings, 168254 edges, 853 markings/sec, 55 secs
lola: 53517 markings, 182728 edges, 851 markings/sec, 60 secs
lola: 57783 markings, 196796 edges, 853 markings/sec, 65 secs
lola: 62065 markings, 211081 edges, 856 markings/sec, 70 secs
lola: 66323 markings, 225879 edges, 852 markings/sec, 75 secs
lola: 70583 markings, 240137 edges, 852 markings/sec, 80 secs
lola: 74834 markings, 254437 edges, 850 markings/sec, 85 secs
lola: 79109 markings, 268711 edges, 855 markings/sec, 90 secs
lola: 83403 markings, 283296 edges, 859 markings/sec, 95 secs
lola: 87731 markings, 297937 edges, 866 markings/sec, 100 secs
lola: 92042 markings, 312326 edges, 862 markings/sec, 105 secs
lola: 96374 markings, 326780 edges, 866 markings/sec, 110 secs
lola: 100639 markings, 340715 edges, 853 markings/sec, 115 secs
lola: 104923 markings, 355406 edges, 857 markings/sec, 120 secs
lola: 109217 markings, 370150 edges, 859 markings/sec, 125 secs
lola: 113488 markings, 384877 edges, 854 markings/sec, 130 secs
lola: 117808 markings, 399300 edges, 864 markings/sec, 135 secs
lola: 122110 markings, 414257 edges, 860 markings/sec, 140 secs
lola: 126415 markings, 428715 edges, 861 markings/sec, 145 secs
lola: 130737 markings, 442741 edges, 864 markings/sec, 150 secs
lola: 135041 markings, 457165 edges, 861 markings/sec, 155 secs
lola: 139363 markings, 471641 edges, 864 markings/sec, 160 secs
lola: 143616 markings, 486082 edges, 851 markings/sec, 165 secs
lola: 147886 markings, 500447 edges, 854 markings/sec, 170 secs
lola: 152152 markings, 515053 edges, 853 markings/sec, 175 secs
lola: 156424 markings, 529567 edges, 854 markings/sec, 180 secs
lola: 160672 markings, 545118 edges, 850 markings/sec, 185 secs
lola: 164915 markings, 560017 edges, 849 markings/sec, 190 secs
lola: 169165 markings, 574296 edges, 850 markings/sec, 195 secs
lola: 173393 markings, 589442 edges, 846 markings/sec, 200 secs
lola: 177628 markings, 604617 edges, 847 markings/sec, 205 secs
lola: 181881 markings, 619154 edges, 851 markings/sec, 210 secs
lola: 186146 markings, 633375 edges, 853 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: 94200 KB
lola: time consumption: 2459 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__8_36_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__8_36_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N150-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: 150
lola: 2072 markings, 7062 edges, 414 markings/sec, 0 secs
lola: 6292 markings, 22783 edges, 844 markings/sec, 5 secs
lola: 10581 markings, 38593 edges, 858 markings/sec, 10 secs
lola: 14851 markings, 53953 edges, 854 markings/sec, 15 secs
lola: 19055 markings, 69161 edges, 841 markings/sec, 20 secs
lola: 23274 markings, 82885 edges, 844 markings/sec, 25 secs
lola: 27453 markings, 97640 edges, 836 markings/sec, 30 secs
lola: 31699 markings, 114036 edges, 849 markings/sec, 35 secs
lola: 35881 markings, 128435 edges, 836 markings/sec, 40 secs
lola: 40153 markings, 143705 edges, 854 markings/sec, 45 secs
lola: 44420 markings, 157514 edges, 853 markings/sec, 50 secs
lola: 48671 markings, 172905 edges, 850 markings/sec, 55 secs
lola: 52926 markings, 189604 edges, 851 markings/sec, 60 secs
lola: 57173 markings, 205967 edges, 849 markings/sec, 65 secs
lola: 61505 markings, 222032 edges, 866 markings/sec, 70 secs
lola: 65898 markings, 236587 edges, 879 markings/sec, 75 secs
lola: 70283 markings, 252231 edges, 877 markings/sec, 80 secs
lola: 74653 markings, 267166 edges, 874 markings/sec, 85 secs
lola: 78973 markings, 282572 edges, 864 markings/sec, 90 secs
lola: 83284 markings, 297978 edges, 862 markings/sec, 95 secs
lola: 87590 markings, 313316 edges, 861 markings/sec, 100 secs
lola: 91916 markings, 328858 edges, 865 markings/sec, 105 secs
lola: 96292 markings, 343289 edges, 875 markings/sec, 110 secs
lola: 100628 markings, 358620 edges, 867 markings/sec, 115 secs
lola: 105000 markings, 374313 edges, 874 markings/sec, 120 secs
lola: 109363 markings, 390257 edges, 873 markings/sec, 125 secs
lola: 113698 markings, 405317 edges, 867 markings/sec, 130 secs
lola: 117986 markings, 420929 edges, 858 markings/sec, 135 secs
lola: 122284 markings, 436448 edges, 860 markings/sec, 140 secs
lola: 126524 markings, 453214 edges, 848 markings/sec, 145 secs
lola: 130790 markings, 468731 edges, 853 markings/sec, 150 secs
lola: 134945 markings, 485063 edges, 831 markings/sec, 155 secs
lola: 139156 markings, 501392 edges, 842 markings/sec, 160 secs
lola: 143351 markings, 517759 edges, 839 markings/sec, 165 secs
lola: 147588 markings, 533314 edges, 847 markings/sec, 170 secs
lola: 151889 markings, 548692 edges, 860 markings/sec, 175 secs
lola: 156094 markings, 565737 edges, 841 markings/sec, 180 secs
lola: 160331 markings, 582679 edges, 847 markings/sec, 185 secs
lola: 164555 markings, 599211 edges, 845 markings/sec, 190 secs
lola: 168778 markings, 615036 edges, 845 markings/sec, 195 secs
lola: 173037 markings, 631371 edges, 852 markings/sec, 200 secs
lola: 177352 markings, 646499 edges, 863 markings/sec, 205 secs
lola: 181674 markings, 661235 edges, 864 markings/sec, 210 secs
lola: 185977 markings, 676657 edges, 861 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: 95216 KB
lola: time consumption: 2681 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__11_6_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__11_6_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N150-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: 150
lola: 2205 markings, 6783 edges, 441 markings/sec, 0 secs
lola: 6543 markings, 22251 edges, 868 markings/sec, 5 secs
lola: 10866 markings, 37634 edges, 865 markings/sec, 10 secs
lola: 15197 markings, 53008 edges, 866 markings/sec, 15 secs
lola: 19557 markings, 66465 edges, 872 markings/sec, 20 secs
lola: 23907 markings, 80292 edges, 870 markings/sec, 25 secs
lola: 28228 markings, 94799 edges, 864 markings/sec, 30 secs
lola: 32532 markings, 109495 edges, 861 markings/sec, 35 secs
lola: 36821 markings, 125031 edges, 858 markings/sec, 40 secs
lola: 41125 markings, 139781 edges, 861 markings/sec, 45 secs
lola: 45468 markings, 153148 edges, 869 markings/sec, 50 secs
lola: 49775 markings, 167992 edges, 861 markings/sec, 55 secs
lola: 54070 markings, 182481 edges, 859 markings/sec, 60 secs
lola: 58348 markings, 197614 edges, 856 markings/sec, 65 secs
lola: 62675 markings, 210943 edges, 865 markings/sec, 70 secs
lola: 66984 markings, 224880 edges, 862 markings/sec, 75 secs
lola: 71290 markings, 239470 edges, 861 markings/sec, 80 secs
lola: 75575 markings, 254734 edges, 857 markings/sec, 85 secs
lola: 79877 markings, 269343 edges, 860 markings/sec, 90 secs
lola: 84266 markings, 282966 edges, 878 markings/sec, 95 secs
lola: 88567 markings, 297677 edges, 860 markings/sec, 100 secs
lola: 92929 markings, 312307 edges, 872 markings/sec, 105 secs
lola: 97287 markings, 326903 edges, 872 markings/sec, 110 secs
lola: 101616 markings, 342649 edges, 866 markings/sec, 115 secs
lola: 105956 markings, 357865 edges, 868 markings/sec, 120 secs
lola: 110280 markings, 373394 edges, 865 markings/sec, 125 secs
lola: 114631 markings, 388168 edges, 870 markings/sec, 130 secs
lola: 118995 markings, 401321 edges, 873 markings/sec, 135 secs
lola: 123363 markings, 414776 edges, 874 markings/sec, 140 secs
lola: 127711 markings, 428973 edges, 870 markings/sec, 145 secs
lola: 131986 markings, 443428 edges, 855 markings/sec, 150 secs
lola: 136319 markings, 458290 edges, 867 markings/sec, 155 secs
lola: 140647 markings, 473591 edges, 866 markings/sec, 160 secs
lola: 145002 markings, 487483 edges, 871 markings/sec, 165 secs
lola: 149368 markings, 500738 edges, 873 markings/sec, 170 secs
lola: 153719 markings, 514492 edges, 870 markings/sec, 175 secs
lola: 158072 markings, 527896 edges, 871 markings/sec, 180 secs
lola: 162449 markings, 541200 edges, 875 markings/sec, 185 secs
lola: 166814 markings, 554528 edges, 873 markings/sec, 190 secs
lola: 171148 markings, 567749 edges, 867 markings/sec, 195 secs
lola: 175472 markings, 581881 edges, 865 markings/sec, 200 secs
lola: 179724 markings, 596134 edges, 850 markings/sec, 205 secs
lola: 184105 markings, 609607 edges, 876 markings/sec, 210 secs
lola: 188490 markings, 622725 edges, 877 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: 94692 KB
lola: time consumption: 2903 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__25_36_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__25_36_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N150-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: 150
lola: 2168 markings, 7847 edges, 434 markings/sec, 0 secs
lola: 6486 markings, 23435 edges, 864 markings/sec, 5 secs
lola: 10809 markings, 39478 edges, 865 markings/sec, 10 secs
lola: 15094 markings, 55132 edges, 857 markings/sec, 15 secs
lola: 19395 markings, 70562 edges, 860 markings/sec, 20 secs
lola: 23692 markings, 85715 edges, 859 markings/sec, 25 secs
lola: 28010 markings, 100903 edges, 864 markings/sec, 30 secs
lola: 32303 markings, 116095 edges, 859 markings/sec, 35 secs
lola: 36621 markings, 131918 edges, 864 markings/sec, 40 secs
lola: 40928 markings, 147024 edges, 861 markings/sec, 45 secs
lola: 45217 markings, 162331 edges, 858 markings/sec, 50 secs
lola: 49475 markings, 177925 edges, 852 markings/sec, 55 secs
lola: 53740 markings, 192764 edges, 853 markings/sec, 60 secs
lola: 58008 markings, 208373 edges, 854 markings/sec, 65 secs
lola: 62321 markings, 223693 edges, 863 markings/sec, 70 secs
lola: 66624 markings, 238789 edges, 861 markings/sec, 75 secs
lola: 70911 markings, 254484 edges, 857 markings/sec, 80 secs
lola: 75194 markings, 269664 edges, 857 markings/sec, 85 secs
lola: 79464 markings, 284817 edges, 854 markings/sec, 90 secs
lola: 83733 markings, 300114 edges, 854 markings/sec, 95 secs
lola: 87974 markings, 315354 edges, 848 markings/sec, 100 secs
lola: 92223 markings, 330899 edges, 850 markings/sec, 105 secs
lola: 96401 markings, 346354 edges, 836 markings/sec, 110 secs
lola: 100655 markings, 361098 edges, 851 markings/sec, 115 secs
lola: 104894 markings, 376877 edges, 848 markings/sec, 120 secs
lola: 109126 markings, 392018 edges, 846 markings/sec, 125 secs
lola: 113360 markings, 407458 edges, 847 markings/sec, 130 secs
lola: 117562 markings, 422873 edges, 840 markings/sec, 135 secs
lola: 121761 markings, 438518 edges, 840 markings/sec, 140 secs
lola: 126004 markings, 453387 edges, 849 markings/sec, 145 secs
lola: 130228 markings, 468491 edges, 845 markings/sec, 150 secs
lola: 134465 markings, 483556 edges, 847 markings/sec, 155 secs
lola: 138689 markings, 498542 edges, 845 markings/sec, 160 secs
lola: 142924 markings, 513724 edges, 847 markings/sec, 165 secs
lola: 147148 markings, 528910 edges, 845 markings/sec, 170 secs
lola: 151396 markings, 544113 edges, 850 markings/sec, 175 secs
lola: 155526 markings, 559128 edges, 826 markings/sec, 180 secs
lola: 159755 markings, 574444 edges, 846 markings/sec, 185 secs
lola: 164048 markings, 589709 edges, 859 markings/sec, 190 secs
lola: 168356 markings, 605445 edges, 862 markings/sec, 195 secs
lola: 172647 markings, 620974 edges, 858 markings/sec, 200 secs
lola: 176905 markings, 636314 edges, 852 markings/sec, 205 secs
lola: 181143 markings, 651689 edges, 848 markings/sec, 210 secs
lola: 185343 markings, 666655 edges, 840 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: 95308 KB
lola: time consumption: 3125 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__11_13_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__11_13_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N150-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: 150
lola: 2108 markings, 7441 edges, 422 markings/sec, 0 secs
lola: 6356 markings, 22411 edges, 850 markings/sec, 5 secs
lola: 10585 markings, 37342 edges, 846 markings/sec, 10 secs
lola: 14832 markings, 52344 edges, 849 markings/sec, 15 secs
lola: 19148 markings, 67609 edges, 863 markings/sec, 20 secs
lola: 23433 markings, 82724 edges, 857 markings/sec, 25 secs
lola: 27660 markings, 97644 edges, 845 markings/sec, 30 secs
lola: 31923 markings, 112813 edges, 853 markings/sec, 35 secs
lola: 36199 markings, 129038 edges, 855 markings/sec, 40 secs
lola: 40459 markings, 144930 edges, 852 markings/sec, 45 secs
lola: 44719 markings, 160833 edges, 852 markings/sec, 50 secs
lola: 48968 markings, 176985 edges, 850 markings/sec, 55 secs
lola: 53248 markings, 192033 edges, 856 markings/sec, 60 secs
lola: 57537 markings, 206754 edges, 858 markings/sec, 65 secs
lola: 61801 markings, 222650 edges, 853 markings/sec, 70 secs
lola: 66029 markings, 237885 edges, 846 markings/sec, 75 secs
lola: 70326 markings, 253166 edges, 859 markings/sec, 80 secs
lola: 74607 markings, 268571 edges, 856 markings/sec, 85 secs
lola: 78911 markings, 283798 edges, 861 markings/sec, 90 secs
lola: 83207 markings, 299663 edges, 859 markings/sec, 95 secs
lola: 87504 markings, 315347 edges, 859 markings/sec, 100 secs
lola: 91771 markings, 331505 edges, 853 markings/sec, 105 secs
lola: 96090 markings, 347400 edges, 864 markings/sec, 110 secs
lola: 100430 markings, 362998 edges, 868 markings/sec, 115 secs
lola: 104765 markings, 378818 edges, 867 markings/sec, 120 secs
lola: 109099 markings, 394403 edges, 867 markings/sec, 125 secs
lola: 113461 markings, 409463 edges, 872 markings/sec, 130 secs
lola: 117801 markings, 425416 edges, 868 markings/sec, 135 secs
lola: 122130 markings, 441346 edges, 866 markings/sec, 140 secs
lola: 126465 markings, 457078 edges, 867 markings/sec, 145 secs
lola: 130713 markings, 471964 edges, 850 markings/sec, 150 secs
lola: 134969 markings, 487683 edges, 851 markings/sec, 155 secs
lola: 139292 markings, 502459 edges, 865 markings/sec, 160 secs
lola: 143553 markings, 518038 edges, 852 markings/sec, 165 secs
lola: 147863 markings, 533374 edges, 862 markings/sec, 170 secs
lola: 152066 markings, 548717 edges, 841 markings/sec, 175 secs
lola: 156395 markings, 563589 edges, 866 markings/sec, 180 secs
lola: 160700 markings, 577016 edges, 861 markings/sec, 185 secs
lola: 165057 markings, 591302 edges, 871 markings/sec, 190 secs
lola: 169400 markings, 605494 edges, 869 markings/sec, 195 secs
lola: 173751 markings, 619805 edges, 870 markings/sec, 200 secs
lola: 178078 markings, 635440 edges, 865 markings/sec, 205 secs
lola: 182410 markings, 650058 edges, 866 markings/sec, 210 secs
lola: 186672 markings, 665740 edges, 852 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: 95860 KB
lola: time consumption: 3347 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__32_40_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__32_40_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N150-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: 150
lola: 2132 markings, 6739 edges, 426 markings/sec, 0 secs
lola: 6451 markings, 20656 edges, 864 markings/sec, 5 secs
lola: 10746 markings, 34504 edges, 859 markings/sec, 10 secs
lola: 15017 markings, 47758 edges, 854 markings/sec, 15 secs
lola: 19274 markings, 61630 edges, 851 markings/sec, 20 secs
lola: 23569 markings, 75892 edges, 859 markings/sec, 25 secs
lola: 27848 markings, 89458 edges, 856 markings/sec, 30 secs
lola: 32095 markings, 103306 edges, 849 markings/sec, 35 secs
lola: 36343 markings, 117314 edges, 850 markings/sec, 40 secs
lola: 40577 markings, 131619 edges, 847 markings/sec, 45 secs
lola: 44843 markings, 144770 edges, 853 markings/sec, 50 secs
lola: 49074 markings, 158707 edges, 846 markings/sec, 55 secs
lola: 53292 markings, 172140 edges, 844 markings/sec, 60 secs
lola: 57593 markings, 186004 edges, 860 markings/sec, 65 secs
lola: 61885 markings, 200226 edges, 858 markings/sec, 70 secs
lola: 66149 markings, 214621 edges, 853 markings/sec, 75 secs
lola: 70446 markings, 227833 edges, 859 markings/sec, 80 secs
lola: 74727 markings, 242017 edges, 856 markings/sec, 85 secs
lola: 79018 markings, 255636 edges, 858 markings/sec, 90 secs
lola: 83325 markings, 269510 edges, 861 markings/sec, 95 secs
lola: 87621 markings, 283765 edges, 859 markings/sec, 100 secs
lola: 91904 markings, 298209 edges, 857 markings/sec, 105 secs
lola: 96210 markings, 311455 edges, 861 markings/sec, 110 secs
lola: 100507 markings, 325688 edges, 859 markings/sec, 115 secs
lola: 104720 markings, 339077 edges, 843 markings/sec, 120 secs
lola: 109062 markings, 352774 edges, 868 markings/sec, 125 secs
lola: 113367 markings, 366940 edges, 861 markings/sec, 130 secs
lola: 117677 markings, 379825 edges, 862 markings/sec, 135 secs
lola: 121989 markings, 392556 edges, 862 markings/sec, 140 secs
lola: 126269 markings, 405505 edges, 856 markings/sec, 145 secs
lola: 130434 markings, 418541 edges, 833 markings/sec, 150 secs
lola: 134756 markings, 431399 edges, 864 markings/sec, 155 secs
lola: 139070 markings, 445004 edges, 863 markings/sec, 160 secs
lola: 143389 markings, 458676 edges, 864 markings/sec, 165 secs
lola: 147692 markings, 472947 edges, 861 markings/sec, 170 secs
lola: 152030 markings, 486209 edges, 868 markings/sec, 175 secs
lola: 156392 markings, 499504 edges, 872 markings/sec, 180 secs
lola: 160740 markings, 513318 edges, 870 markings/sec, 185 secs
lola: 165047 markings, 528582 edges, 861 markings/sec, 190 secs
lola: 169398 markings, 542113 edges, 870 markings/sec, 195 secs
lola: 173758 markings, 555908 edges, 872 markings/sec, 200 secs
lola: 178113 markings, 569800 edges, 871 markings/sec, 205 secs
lola: 182487 markings, 583670 edges, 875 markings/sec, 210 secs
lola: 186724 markings, 597993 edges, 847 markings/sec, 215 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 88980 KB
lola: time consumption: 3569 seconds
lola: Child process aborted or communication problem between parent and child process
lola: lola: ========================================
memory consumption: 89276 KB
lola: ...considering subproblem: MAX(cAMP__37_28_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: time consumption: 3569 seconds
lola: processed formula: MAX(cAMP__37_28_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N150-UpperBounds.task

BK_TIME_CONFINEMENT_REACHED

--------------------
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-D40N150"
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-D40N150, 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-155234666500073"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

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