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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 4.8M
-rw-r--r-- 1 mcc users 4.6K Feb 10 21:35 CTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 10 21:35 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.7K Feb 6 17:57 CTLFireability.txt
-rw-r--r-- 1 mcc users 22K Feb 6 17:57 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.9K 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 9.2K Feb 4 22:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K 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.3K 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.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-D40N010-UpperBounds-00
FORMULA_NAME Diffusion2D-PT-D40N010-UpperBounds-01
FORMULA_NAME Diffusion2D-PT-D40N010-UpperBounds-02
FORMULA_NAME Diffusion2D-PT-D40N010-UpperBounds-03
FORMULA_NAME Diffusion2D-PT-D40N010-UpperBounds-04
FORMULA_NAME Diffusion2D-PT-D40N010-UpperBounds-05
FORMULA_NAME Diffusion2D-PT-D40N010-UpperBounds-06
FORMULA_NAME Diffusion2D-PT-D40N010-UpperBounds-07
FORMULA_NAME Diffusion2D-PT-D40N010-UpperBounds-08
FORMULA_NAME Diffusion2D-PT-D40N010-UpperBounds-09
FORMULA_NAME Diffusion2D-PT-D40N010-UpperBounds-10
FORMULA_NAME Diffusion2D-PT-D40N010-UpperBounds-11
FORMULA_NAME Diffusion2D-PT-D40N010-UpperBounds-12
FORMULA_NAME Diffusion2D-PT-D40N010-UpperBounds-13
FORMULA_NAME Diffusion2D-PT-D40N010-UpperBounds-14
FORMULA_NAME Diffusion2D-PT-D40N010-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1552920758961

info: Time: 3600 - MCC
===========================================================================================
prep: translating Diffusion2D-PT-D40N010 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating Diffusion2D-PT-D40N010 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ Diffusion2D-PT-D40N010 @ 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-D40N010-UpperBounds.task
lola: MAX(cAMP__27_15_) : MAX(cAMP__32_11_) : MAX(cAMP__40_1_) : MAX(cAMP__25_12_) : MAX(cAMP__24_26_) : MAX(cAMP__24_21_) : MAX(cAMP__23_7_) : MAX(cAMP__15_14_) : MAX(cAMP__7_5_) : MAX(cAMP__37_5_) : MAX(cAMP__4_40_) : MAX(cAMP__34_36_) : MAX(cAMP__12_11_) : MAX(cAMP__33_21_) : MAX(cAMP__9_35_) : MAX(cAMP__27_31_)
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__27_15_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__27_15_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N010-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: 2063 markings, 7254 edges, 413 markings/sec, 0 secs
lola: 6384 markings, 22526 edges, 864 markings/sec, 5 secs
lola: 10730 markings, 36965 edges, 869 markings/sec, 10 secs
lola: 14991 markings, 51465 edges, 852 markings/sec, 15 secs
lola: 19335 markings, 65858 edges, 869 markings/sec, 20 secs
lola: 23663 markings, 80228 edges, 866 markings/sec, 25 secs
lola: 27957 markings, 95605 edges, 859 markings/sec, 30 secs
lola: 32268 markings, 111213 edges, 862 markings/sec, 35 secs
lola: 36519 markings, 126352 edges, 850 markings/sec, 40 secs
lola: 40672 markings, 142066 edges, 831 markings/sec, 45 secs
lola: 45005 markings, 155953 edges, 867 markings/sec, 50 secs
lola: 49295 markings, 170927 edges, 858 markings/sec, 55 secs
lola: 53562 markings, 184986 edges, 853 markings/sec, 60 secs
lola: 57905 markings, 199581 edges, 869 markings/sec, 65 secs
lola: 62280 markings, 213268 edges, 875 markings/sec, 70 secs
lola: 66650 markings, 227734 edges, 874 markings/sec, 75 secs
lola: 70977 markings, 243326 edges, 865 markings/sec, 80 secs
lola: 75312 markings, 257442 edges, 867 markings/sec, 85 secs
lola: 79649 markings, 271907 edges, 867 markings/sec, 90 secs
lola: 83979 markings, 286590 edges, 866 markings/sec, 95 secs
lola: 88200 markings, 301048 edges, 844 markings/sec, 100 secs
lola: 92495 markings, 315905 edges, 859 markings/sec, 105 secs
lola: 96805 markings, 329840 edges, 862 markings/sec, 110 secs
lola: 101126 markings, 344028 edges, 864 markings/sec, 115 secs
lola: 105432 markings, 357797 edges, 861 markings/sec, 120 secs
lola: 109735 markings, 372281 edges, 861 markings/sec, 125 secs
lola: 114015 markings, 386347 edges, 856 markings/sec, 130 secs
lola: 118295 markings, 401019 edges, 856 markings/sec, 135 secs
lola: 122648 markings, 415358 edges, 871 markings/sec, 140 secs
lola: 126972 markings, 430231 edges, 865 markings/sec, 145 secs
lola: 131314 markings, 444818 edges, 868 markings/sec, 150 secs
lola: 135653 markings, 459434 edges, 868 markings/sec, 155 secs
lola: 139930 markings, 473815 edges, 855 markings/sec, 160 secs
lola: 144331 markings, 488193 edges, 880 markings/sec, 165 secs
lola: 148712 markings, 503411 edges, 876 markings/sec, 170 secs
lola: 153098 markings, 517891 edges, 877 markings/sec, 175 secs
lola: 157453 markings, 531795 edges, 871 markings/sec, 180 secs
lola: 161788 markings, 545914 edges, 867 markings/sec, 185 secs
lola: 166125 markings, 561169 edges, 867 markings/sec, 190 secs
lola: 170484 markings, 575894 edges, 872 markings/sec, 195 secs
lola: 174868 markings, 590418 edges, 877 markings/sec, 200 secs
lola: 179247 markings, 605226 edges, 876 markings/sec, 205 secs
lola: 183612 markings, 619779 edges, 873 markings/sec, 210 secs
lola: 187810 markings, 634379 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: 97484 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__32_11_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__32_11_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N010-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: 2015 markings, 6862 edges, 403 markings/sec, 0 secs
lola: 6304 markings, 21970 edges, 858 markings/sec, 5 secs
lola: 10561 markings, 36850 edges, 851 markings/sec, 10 secs
lola: 14771 markings, 51558 edges, 842 markings/sec, 15 secs
lola: 18897 markings, 66921 edges, 825 markings/sec, 20 secs
lola: 23142 markings, 81903 edges, 849 markings/sec, 25 secs
lola: 27372 markings, 96878 edges, 846 markings/sec, 30 secs
lola: 31595 markings, 112305 edges, 845 markings/sec, 35 secs
lola: 35848 markings, 127446 edges, 851 markings/sec, 40 secs
lola: 39999 markings, 142887 edges, 830 markings/sec, 45 secs
lola: 44212 markings, 158106 edges, 843 markings/sec, 50 secs
lola: 48447 markings, 172751 edges, 847 markings/sec, 55 secs
lola: 52570 markings, 187566 edges, 825 markings/sec, 60 secs
lola: 56821 markings, 202799 edges, 850 markings/sec, 65 secs
lola: 61083 markings, 218312 edges, 852 markings/sec, 70 secs
lola: 65290 markings, 234091 edges, 841 markings/sec, 75 secs
lola: 69541 markings, 249588 edges, 850 markings/sec, 80 secs
lola: 73743 markings, 265804 edges, 840 markings/sec, 85 secs
lola: 77954 markings, 281342 edges, 842 markings/sec, 90 secs
lola: 82167 markings, 296889 edges, 843 markings/sec, 95 secs
lola: 86397 markings, 311947 edges, 846 markings/sec, 100 secs
lola: 90630 markings, 326566 edges, 847 markings/sec, 105 secs
lola: 94842 markings, 341054 edges, 842 markings/sec, 110 secs
lola: 99031 markings, 356477 edges, 838 markings/sec, 115 secs
lola: 103255 markings, 370973 edges, 845 markings/sec, 120 secs
lola: 107418 markings, 386151 edges, 833 markings/sec, 125 secs
lola: 111628 markings, 401261 edges, 842 markings/sec, 130 secs
lola: 115859 markings, 416422 edges, 846 markings/sec, 135 secs
lola: 120089 markings, 431786 edges, 846 markings/sec, 140 secs
lola: 124261 markings, 446609 edges, 834 markings/sec, 145 secs
lola: 128488 markings, 461904 edges, 845 markings/sec, 150 secs
lola: 132738 markings, 477239 edges, 850 markings/sec, 155 secs
lola: 137030 markings, 492520 edges, 858 markings/sec, 160 secs
lola: 141326 markings, 508298 edges, 859 markings/sec, 165 secs
lola: 145603 markings, 523454 edges, 855 markings/sec, 170 secs
lola: 149847 markings, 538909 edges, 849 markings/sec, 175 secs
lola: 154095 markings, 553631 edges, 850 markings/sec, 180 secs
lola: 158271 markings, 567689 edges, 835 markings/sec, 185 secs
lola: 162536 markings, 582308 edges, 853 markings/sec, 190 secs
lola: 166778 markings, 597918 edges, 848 markings/sec, 195 secs
lola: 171018 markings, 614103 edges, 848 markings/sec, 200 secs
lola: 175260 markings, 629975 edges, 848 markings/sec, 205 secs
lola: 179445 markings, 644730 edges, 837 markings/sec, 210 secs
lola: 183639 markings, 660976 edges, 839 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: 87976 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__40_1_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__40_1_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N010-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: 2098 markings, 7300 edges, 420 markings/sec, 0 secs
lola: 6434 markings, 22914 edges, 867 markings/sec, 5 secs
lola: 10767 markings, 37610 edges, 867 markings/sec, 10 secs
lola: 15088 markings, 53005 edges, 864 markings/sec, 15 secs
lola: 19415 markings, 67858 edges, 865 markings/sec, 20 secs
lola: 23817 markings, 82138 edges, 880 markings/sec, 25 secs
lola: 28139 markings, 94077 edges, 864 markings/sec, 30 secs
lola: 32519 markings, 106497 edges, 876 markings/sec, 35 secs
lola: 36888 markings, 120003 edges, 874 markings/sec, 40 secs
lola: 41172 markings, 133021 edges, 857 markings/sec, 45 secs
lola: 45530 markings, 145600 edges, 872 markings/sec, 50 secs
lola: 49882 markings, 159007 edges, 870 markings/sec, 55 secs
lola: 54254 markings, 172136 edges, 874 markings/sec, 60 secs
lola: 58589 markings, 186188 edges, 867 markings/sec, 65 secs
lola: 62949 markings, 199883 edges, 872 markings/sec, 70 secs
lola: 67289 markings, 213614 edges, 868 markings/sec, 75 secs
lola: 71616 markings, 227366 edges, 865 markings/sec, 80 secs
lola: 76063 markings, 240316 edges, 889 markings/sec, 85 secs
lola: 80465 markings, 253709 edges, 880 markings/sec, 90 secs
lola: 84853 markings, 267078 edges, 878 markings/sec, 95 secs
lola: 89251 markings, 279345 edges, 880 markings/sec, 100 secs
lola: 93626 markings, 292811 edges, 875 markings/sec, 105 secs
lola: 98007 markings, 305994 edges, 876 markings/sec, 110 secs
lola: 102428 markings, 319198 edges, 884 markings/sec, 115 secs
lola: 106846 markings, 332743 edges, 884 markings/sec, 120 secs
lola: 111269 markings, 345964 edges, 885 markings/sec, 125 secs
lola: 115682 markings, 359843 edges, 883 markings/sec, 130 secs
lola: 120086 markings, 374022 edges, 881 markings/sec, 135 secs
lola: 124469 markings, 387996 edges, 877 markings/sec, 140 secs
lola: 128834 markings, 401884 edges, 873 markings/sec, 145 secs
lola: 133266 markings, 414765 edges, 886 markings/sec, 150 secs
lola: 137655 markings, 428080 edges, 878 markings/sec, 155 secs
lola: 141980 markings, 441018 edges, 865 markings/sec, 160 secs
lola: 146380 markings, 453535 edges, 880 markings/sec, 165 secs
lola: 150755 markings, 466788 edges, 875 markings/sec, 170 secs
lola: 155124 markings, 479935 edges, 874 markings/sec, 175 secs
lola: 159522 markings, 493163 edges, 880 markings/sec, 180 secs
lola: 163925 markings, 506398 edges, 881 markings/sec, 185 secs
lola: 168306 markings, 519852 edges, 876 markings/sec, 190 secs
lola: 172686 markings, 533345 edges, 876 markings/sec, 195 secs
lola: 177061 markings, 547400 edges, 875 markings/sec, 200 secs
lola: 181437 markings, 561683 edges, 875 markings/sec, 205 secs
lola: 185707 markings, 574869 edges, 854 markings/sec, 210 secs
lola: 190046 markings, 588072 edges, 868 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: 101708 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__25_12_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__25_12_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N010-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: 2095 markings, 7089 edges, 419 markings/sec, 0 secs
lola: 6384 markings, 22471 edges, 858 markings/sec, 5 secs
lola: 10697 markings, 37304 edges, 863 markings/sec, 10 secs
lola: 14998 markings, 52588 edges, 860 markings/sec, 15 secs
lola: 19308 markings, 67446 edges, 862 markings/sec, 20 secs
lola: 23596 markings, 83132 edges, 858 markings/sec, 25 secs
lola: 27879 markings, 98732 edges, 857 markings/sec, 30 secs
lola: 32150 markings, 114688 edges, 854 markings/sec, 35 secs
lola: 36443 markings, 129984 edges, 859 markings/sec, 40 secs
lola: 40744 markings, 144807 edges, 860 markings/sec, 45 secs
lola: 45031 markings, 160423 edges, 857 markings/sec, 50 secs
lola: 49336 markings, 175679 edges, 861 markings/sec, 55 secs
lola: 53640 markings, 190426 edges, 861 markings/sec, 60 secs
lola: 57917 markings, 205497 edges, 855 markings/sec, 65 secs
lola: 62185 markings, 221464 edges, 854 markings/sec, 70 secs
lola: 66447 markings, 237620 edges, 852 markings/sec, 75 secs
lola: 70689 markings, 254282 edges, 848 markings/sec, 80 secs
lola: 74982 markings, 269328 edges, 859 markings/sec, 85 secs
lola: 79285 markings, 284446 edges, 861 markings/sec, 90 secs
lola: 83595 markings, 299404 edges, 862 markings/sec, 95 secs
lola: 87919 markings, 313724 edges, 865 markings/sec, 100 secs
lola: 92259 markings, 327140 edges, 868 markings/sec, 105 secs
lola: 96539 markings, 342769 edges, 856 markings/sec, 110 secs
lola: 100812 markings, 358742 edges, 855 markings/sec, 115 secs
lola: 105083 markings, 374628 edges, 854 markings/sec, 120 secs
lola: 109346 markings, 390284 edges, 853 markings/sec, 125 secs
lola: 113614 markings, 406267 edges, 854 markings/sec, 130 secs
lola: 117910 markings, 421034 edges, 859 markings/sec, 135 secs
lola: 122191 markings, 436137 edges, 856 markings/sec, 140 secs
lola: 126465 markings, 451766 edges, 855 markings/sec, 145 secs
lola: 130761 markings, 466632 edges, 859 markings/sec, 150 secs
lola: 135059 markings, 481926 edges, 860 markings/sec, 155 secs
lola: 139346 markings, 497187 edges, 857 markings/sec, 160 secs
lola: 143622 markings, 513022 edges, 855 markings/sec, 165 secs
lola: 147926 markings, 528739 edges, 861 markings/sec, 170 secs
lola: 152184 markings, 544654 edges, 852 markings/sec, 175 secs
lola: 156466 markings, 559316 edges, 856 markings/sec, 180 secs
lola: 160763 markings, 573842 edges, 859 markings/sec, 185 secs
lola: 165004 markings, 589613 edges, 848 markings/sec, 190 secs
lola: 169239 markings, 605464 edges, 847 markings/sec, 195 secs
lola: 173506 markings, 620384 edges, 853 markings/sec, 200 secs
lola: 177739 markings, 636426 edges, 847 markings/sec, 205 secs
lola: 181988 markings, 652033 edges, 850 markings/sec, 210 secs
lola: 186244 markings, 667087 edges, 851 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: 93656 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__24_26_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__24_26_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N010-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: 2051 markings, 7022 edges, 410 markings/sec, 0 secs
lola: 6390 markings, 21208 edges, 868 markings/sec, 5 secs
lola: 10707 markings, 36607 edges, 863 markings/sec, 10 secs
lola: 15066 markings, 51107 edges, 872 markings/sec, 15 secs
lola: 19345 markings, 65348 edges, 856 markings/sec, 20 secs
lola: 23636 markings, 79894 edges, 858 markings/sec, 25 secs
lola: 27918 markings, 94565 edges, 856 markings/sec, 30 secs
lola: 32223 markings, 109006 edges, 861 markings/sec, 35 secs
lola: 36527 markings, 123310 edges, 861 markings/sec, 40 secs
lola: 40869 markings, 137424 edges, 868 markings/sec, 45 secs
lola: 45155 markings, 153019 edges, 857 markings/sec, 50 secs
lola: 49457 markings, 167174 edges, 860 markings/sec, 55 secs
lola: 53744 markings, 181713 edges, 857 markings/sec, 60 secs
lola: 58059 markings, 196122 edges, 863 markings/sec, 65 secs
lola: 62370 markings, 210456 edges, 862 markings/sec, 70 secs
lola: 66676 markings, 224435 edges, 861 markings/sec, 75 secs
lola: 70954 markings, 240147 edges, 856 markings/sec, 80 secs
lola: 75270 markings, 255855 edges, 863 markings/sec, 85 secs
lola: 79627 markings, 270247 edges, 871 markings/sec, 90 secs
lola: 83972 markings, 285036 edges, 869 markings/sec, 95 secs
lola: 88278 markings, 300369 edges, 861 markings/sec, 100 secs
lola: 92593 markings, 314388 edges, 863 markings/sec, 105 secs
lola: 96903 markings, 328698 edges, 862 markings/sec, 110 secs
lola: 101198 markings, 343319 edges, 859 markings/sec, 115 secs
lola: 105499 markings, 356839 edges, 860 markings/sec, 120 secs
lola: 109718 markings, 370186 edges, 844 markings/sec, 125 secs
lola: 113990 markings, 384205 edges, 854 markings/sec, 130 secs
lola: 118055 markings, 398083 edges, 813 markings/sec, 135 secs
lola: 122301 markings, 411975 edges, 849 markings/sec, 140 secs
lola: 126493 markings, 426123 edges, 838 markings/sec, 145 secs
lola: 130734 markings, 440822 edges, 848 markings/sec, 150 secs
lola: 135015 markings, 455362 edges, 856 markings/sec, 155 secs
lola: 139289 markings, 470706 edges, 855 markings/sec, 160 secs
lola: 143537 markings, 485885 edges, 850 markings/sec, 165 secs
lola: 147758 markings, 500835 edges, 844 markings/sec, 170 secs
lola: 151944 markings, 517135 edges, 837 markings/sec, 175 secs
lola: 156163 markings, 533625 edges, 844 markings/sec, 180 secs
lola: 160432 markings, 549444 edges, 854 markings/sec, 185 secs
lola: 164754 markings, 563760 edges, 864 markings/sec, 190 secs
lola: 169045 markings, 577445 edges, 858 markings/sec, 195 secs
lola: 173313 markings, 592465 edges, 854 markings/sec, 200 secs
lola: 177535 markings, 609718 edges, 844 markings/sec, 205 secs
lola: 181796 markings, 625627 edges, 852 markings/sec, 210 secs
lola: 186058 markings, 640428 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: 102612 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__24_21_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__24_21_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N010-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: 2103 markings, 6706 edges, 421 markings/sec, 0 secs
lola: 6341 markings, 20190 edges, 848 markings/sec, 5 secs
lola: 10614 markings, 34671 edges, 855 markings/sec, 10 secs
lola: 14941 markings, 49734 edges, 865 markings/sec, 15 secs
lola: 19288 markings, 64574 edges, 869 markings/sec, 20 secs
lola: 23655 markings, 79727 edges, 873 markings/sec, 25 secs
lola: 28067 markings, 93738 edges, 882 markings/sec, 30 secs
lola: 32470 markings, 107474 edges, 881 markings/sec, 35 secs
lola: 36804 markings, 121198 edges, 867 markings/sec, 40 secs
lola: 41162 markings, 135691 edges, 872 markings/sec, 45 secs
lola: 45488 markings, 150725 edges, 865 markings/sec, 50 secs
lola: 49847 markings, 165048 edges, 872 markings/sec, 55 secs
lola: 54161 markings, 179672 edges, 863 markings/sec, 60 secs
lola: 58469 markings, 194718 edges, 862 markings/sec, 65 secs
lola: 62809 markings, 209295 edges, 868 markings/sec, 70 secs
lola: 67183 markings, 223766 edges, 875 markings/sec, 75 secs
lola: 71532 markings, 239452 edges, 870 markings/sec, 80 secs
lola: 75918 markings, 253348 edges, 877 markings/sec, 85 secs
lola: 80291 markings, 267895 edges, 875 markings/sec, 90 secs
lola: 84646 markings, 283169 edges, 871 markings/sec, 95 secs
lola: 89045 markings, 298315 edges, 880 markings/sec, 100 secs
lola: 93433 markings, 313401 edges, 878 markings/sec, 105 secs
lola: 97817 markings, 328580 edges, 877 markings/sec, 110 secs
lola: 102190 markings, 343538 edges, 875 markings/sec, 115 secs
lola: 106544 markings, 359435 edges, 871 markings/sec, 120 secs
lola: 110926 markings, 374254 edges, 876 markings/sec, 125 secs
lola: 115341 markings, 388249 edges, 883 markings/sec, 130 secs
lola: 119742 markings, 402854 edges, 880 markings/sec, 135 secs
lola: 124112 markings, 418043 edges, 874 markings/sec, 140 secs
lola: 128475 markings, 431588 edges, 873 markings/sec, 145 secs
lola: 132819 markings, 446020 edges, 869 markings/sec, 150 secs
lola: 137171 markings, 460225 edges, 870 markings/sec, 155 secs
lola: 141569 markings, 474142 edges, 880 markings/sec, 160 secs
lola: 145981 markings, 488222 edges, 882 markings/sec, 165 secs
lola: 150391 markings, 502363 edges, 882 markings/sec, 170 secs
lola: 154794 markings, 516783 edges, 881 markings/sec, 175 secs
lola: 159131 markings, 532138 edges, 867 markings/sec, 180 secs
lola: 163485 markings, 546512 edges, 871 markings/sec, 185 secs
lola: 167833 markings, 561121 edges, 870 markings/sec, 190 secs
lola: 172165 markings, 576481 edges, 866 markings/sec, 195 secs
lola: 176515 markings, 590959 edges, 870 markings/sec, 200 secs
lola: 180902 markings, 605125 edges, 877 markings/sec, 205 secs
lola: 185299 markings, 619525 edges, 879 markings/sec, 210 secs
lola: 189722 markings, 634587 edges, 885 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: 104080 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__23_7_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__23_7_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N010-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: 2086 markings, 7251 edges, 417 markings/sec, 0 secs
lola: 6191 markings, 22191 edges, 821 markings/sec, 5 secs
lola: 10374 markings, 36343 edges, 837 markings/sec, 10 secs
lola: 14623 markings, 51746 edges, 850 markings/sec, 15 secs
lola: 18841 markings, 65551 edges, 844 markings/sec, 20 secs
lola: 23145 markings, 79256 edges, 861 markings/sec, 25 secs
lola: 27419 markings, 93937 edges, 855 markings/sec, 30 secs
lola: 31674 markings, 107437 edges, 851 markings/sec, 35 secs
lola: 35970 markings, 121239 edges, 859 markings/sec, 40 secs
lola: 40252 markings, 136382 edges, 856 markings/sec, 45 secs
lola: 44570 markings, 150813 edges, 864 markings/sec, 50 secs
lola: 48810 markings, 165903 edges, 848 markings/sec, 55 secs
lola: 53008 markings, 181182 edges, 840 markings/sec, 60 secs
lola: 57265 markings, 195273 edges, 851 markings/sec, 65 secs
lola: 61542 markings, 209142 edges, 855 markings/sec, 70 secs
lola: 65823 markings, 223193 edges, 856 markings/sec, 75 secs
lola: 70031 markings, 236414 edges, 842 markings/sec, 80 secs
lola: 74253 markings, 250733 edges, 844 markings/sec, 85 secs
lola: 78528 markings, 265800 edges, 855 markings/sec, 90 secs
lola: 82796 markings, 279990 edges, 854 markings/sec, 95 secs
lola: 87050 markings, 294824 edges, 851 markings/sec, 100 secs
lola: 91345 markings, 308395 edges, 859 markings/sec, 105 secs
lola: 95595 markings, 322491 edges, 850 markings/sec, 110 secs
lola: 99830 markings, 337016 edges, 847 markings/sec, 115 secs
lola: 104098 markings, 350868 edges, 854 markings/sec, 120 secs
lola: 108346 markings, 365361 edges, 850 markings/sec, 125 secs
lola: 112612 markings, 379351 edges, 853 markings/sec, 130 secs
lola: 116872 markings, 394019 edges, 852 markings/sec, 135 secs
lola: 121090 markings, 409393 edges, 844 markings/sec, 140 secs
lola: 125321 markings, 424233 edges, 846 markings/sec, 145 secs
lola: 129584 markings, 439058 edges, 853 markings/sec, 150 secs
lola: 133900 markings, 451915 edges, 863 markings/sec, 155 secs
lola: 138181 markings, 465485 edges, 856 markings/sec, 160 secs
lola: 142426 markings, 479400 edges, 849 markings/sec, 165 secs
lola: 146715 markings, 494075 edges, 858 markings/sec, 170 secs
lola: 150990 markings, 508841 edges, 855 markings/sec, 175 secs
lola: 155207 markings, 524140 edges, 843 markings/sec, 180 secs
lola: 159472 markings, 538662 edges, 853 markings/sec, 185 secs
lola: 163749 markings, 554061 edges, 855 markings/sec, 190 secs
lola: 168022 markings, 569001 edges, 855 markings/sec, 195 secs
lola: 172340 markings, 582413 edges, 864 markings/sec, 200 secs
lola: 176643 markings, 596687 edges, 861 markings/sec, 205 secs
lola: 180935 markings, 611093 edges, 858 markings/sec, 210 secs
lola: 185244 markings, 624206 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: 93648 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__15_14_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__15_14_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N010-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: 2061 markings, 7181 edges, 412 markings/sec, 0 secs
lola: 6332 markings, 20629 edges, 854 markings/sec, 5 secs
lola: 10663 markings, 34099 edges, 866 markings/sec, 10 secs
lola: 15021 markings, 47418 edges, 872 markings/sec, 15 secs
lola: 19366 markings, 61726 edges, 869 markings/sec, 20 secs
lola: 23706 markings, 74411 edges, 868 markings/sec, 25 secs
lola: 27995 markings, 87881 edges, 858 markings/sec, 30 secs
lola: 32360 markings, 101188 edges, 873 markings/sec, 35 secs
lola: 36718 markings, 114505 edges, 872 markings/sec, 40 secs
lola: 41011 markings, 128321 edges, 859 markings/sec, 45 secs
lola: 45356 markings, 142329 edges, 869 markings/sec, 50 secs
lola: 49678 markings, 155439 edges, 864 markings/sec, 55 secs
lola: 54034 markings, 169271 edges, 871 markings/sec, 60 secs
lola: 58382 markings, 182334 edges, 870 markings/sec, 65 secs
lola: 62741 markings, 195354 edges, 872 markings/sec, 70 secs
lola: 66996 markings, 209604 edges, 851 markings/sec, 75 secs
lola: 71323 markings, 223599 edges, 865 markings/sec, 80 secs
lola: 75682 markings, 237118 edges, 872 markings/sec, 85 secs
lola: 79974 markings, 250613 edges, 858 markings/sec, 90 secs
lola: 84295 markings, 263731 edges, 864 markings/sec, 95 secs
lola: 88647 markings, 277285 edges, 870 markings/sec, 100 secs
lola: 93020 markings, 290642 edges, 875 markings/sec, 105 secs
lola: 97377 markings, 304127 edges, 871 markings/sec, 110 secs
lola: 101701 markings, 317817 edges, 865 markings/sec, 115 secs
lola: 105977 markings, 332039 edges, 855 markings/sec, 120 secs
lola: 110281 markings, 345924 edges, 861 markings/sec, 125 secs
lola: 114560 markings, 359726 edges, 856 markings/sec, 130 secs
lola: 118870 markings, 373058 edges, 862 markings/sec, 135 secs
lola: 123169 markings, 387005 edges, 860 markings/sec, 140 secs
lola: 127441 markings, 401421 edges, 854 markings/sec, 145 secs
lola: 131739 markings, 414845 edges, 860 markings/sec, 150 secs
lola: 136055 markings, 428555 edges, 863 markings/sec, 155 secs
lola: 140335 markings, 443080 edges, 856 markings/sec, 160 secs
lola: 144641 markings, 456983 edges, 861 markings/sec, 165 secs
lola: 148941 markings, 471142 edges, 860 markings/sec, 170 secs
lola: 153156 markings, 485903 edges, 843 markings/sec, 175 secs
lola: 157487 markings, 499886 edges, 866 markings/sec, 180 secs
lola: 161780 markings, 512774 edges, 859 markings/sec, 185 secs
lola: 166102 markings, 525612 edges, 864 markings/sec, 190 secs
lola: 170348 markings, 539199 edges, 849 markings/sec, 195 secs
lola: 174633 markings, 551909 edges, 857 markings/sec, 200 secs
lola: 178938 markings, 565550 edges, 861 markings/sec, 205 secs
lola: 183272 markings, 579015 edges, 867 markings/sec, 210 secs
lola: 187631 markings, 592313 edges, 872 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: 96028 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__7_5_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__7_5_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N010-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: 2117 markings, 7503 edges, 423 markings/sec, 0 secs
lola: 6414 markings, 22703 edges, 859 markings/sec, 5 secs
lola: 10671 markings, 38033 edges, 851 markings/sec, 10 secs
lola: 14943 markings, 53252 edges, 854 markings/sec, 15 secs
lola: 19235 markings, 67757 edges, 858 markings/sec, 20 secs
lola: 23415 markings, 81737 edges, 836 markings/sec, 25 secs
lola: 27613 markings, 96088 edges, 840 markings/sec, 30 secs
lola: 31796 markings, 109741 edges, 837 markings/sec, 35 secs
lola: 36045 markings, 124500 edges, 850 markings/sec, 40 secs
lola: 40284 markings, 139730 edges, 848 markings/sec, 45 secs
lola: 44528 markings, 155487 edges, 849 markings/sec, 50 secs
lola: 48759 markings, 171271 edges, 846 markings/sec, 55 secs
lola: 53033 markings, 186143 edges, 855 markings/sec, 60 secs
lola: 57282 markings, 200073 edges, 850 markings/sec, 65 secs
lola: 61508 markings, 215049 edges, 845 markings/sec, 70 secs
lola: 65753 markings, 230054 edges, 849 markings/sec, 75 secs
lola: 69995 markings, 245069 edges, 848 markings/sec, 80 secs
lola: 74252 markings, 259243 edges, 851 markings/sec, 85 secs
lola: 78505 markings, 272993 edges, 851 markings/sec, 90 secs
lola: 82721 markings, 287716 edges, 843 markings/sec, 95 secs
lola: 86969 markings, 302555 edges, 850 markings/sec, 100 secs
lola: 91197 markings, 318060 edges, 846 markings/sec, 105 secs
lola: 95454 markings, 332532 edges, 851 markings/sec, 110 secs
lola: 99712 markings, 346694 edges, 852 markings/sec, 115 secs
lola: 103933 markings, 361536 edges, 844 markings/sec, 120 secs
lola: 108127 markings, 375485 edges, 839 markings/sec, 125 secs
lola: 112336 markings, 389637 edges, 842 markings/sec, 130 secs
lola: 116540 markings, 403585 edges, 841 markings/sec, 135 secs
lola: 120731 markings, 418134 edges, 838 markings/sec, 140 secs
lola: 124968 markings, 432056 edges, 847 markings/sec, 145 secs
lola: 129199 markings, 446503 edges, 846 markings/sec, 150 secs
lola: 133449 markings, 461289 edges, 850 markings/sec, 155 secs
lola: 137632 markings, 475429 edges, 837 markings/sec, 160 secs
lola: 141829 markings, 489618 edges, 839 markings/sec, 165 secs
lola: 145999 markings, 504223 edges, 834 markings/sec, 170 secs
lola: 150248 markings, 518011 edges, 850 markings/sec, 175 secs
lola: 154497 markings, 532465 edges, 850 markings/sec, 180 secs
lola: 158777 markings, 546842 edges, 856 markings/sec, 185 secs
lola: 163044 markings, 561318 edges, 853 markings/sec, 190 secs
lola: 167280 markings, 576017 edges, 847 markings/sec, 195 secs
lola: 171493 markings, 589841 edges, 843 markings/sec, 200 secs
lola: 175742 markings, 603973 edges, 850 markings/sec, 205 secs
lola: 179979 markings, 617335 edges, 847 markings/sec, 210 secs
lola: 184088 markings, 631033 edges, 822 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: 91984 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__37_5_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__37_5_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N010-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: 2153 markings, 7100 edges, 431 markings/sec, 0 secs
lola: 6534 markings, 21344 edges, 876 markings/sec, 5 secs
lola: 10889 markings, 36491 edges, 871 markings/sec, 10 secs
lola: 15184 markings, 51922 edges, 859 markings/sec, 15 secs
lola: 19597 markings, 67165 edges, 883 markings/sec, 20 secs
lola: 24022 markings, 80830 edges, 885 markings/sec, 25 secs
lola: 28334 markings, 94714 edges, 862 markings/sec, 30 secs
lola: 32744 markings, 110247 edges, 882 markings/sec, 35 secs
lola: 37167 markings, 124575 edges, 885 markings/sec, 40 secs
lola: 41621 markings, 138095 edges, 891 markings/sec, 45 secs
lola: 46042 markings, 152635 edges, 884 markings/sec, 50 secs
lola: 50475 markings, 167565 edges, 887 markings/sec, 55 secs
lola: 54901 markings, 182674 edges, 885 markings/sec, 60 secs
lola: 59276 markings, 198088 edges, 875 markings/sec, 65 secs
lola: 63645 markings, 213610 edges, 874 markings/sec, 70 secs
lola: 68010 markings, 229266 edges, 873 markings/sec, 75 secs
lola: 72365 markings, 243779 edges, 871 markings/sec, 80 secs
lola: 76750 markings, 257916 edges, 877 markings/sec, 85 secs
lola: 81144 markings, 272105 edges, 879 markings/sec, 90 secs
lola: 85557 markings, 285505 edges, 883 markings/sec, 95 secs
lola: 89943 markings, 299964 edges, 877 markings/sec, 100 secs
lola: 94343 markings, 313554 edges, 880 markings/sec, 105 secs
lola: 98734 markings, 327526 edges, 878 markings/sec, 110 secs
lola: 103129 markings, 341466 edges, 879 markings/sec, 115 secs
lola: 107514 markings, 355592 edges, 877 markings/sec, 120 secs
lola: 111900 markings, 369516 edges, 877 markings/sec, 125 secs
lola: 116283 markings, 384000 edges, 877 markings/sec, 130 secs
lola: 120665 markings, 398331 edges, 876 markings/sec, 135 secs
lola: 125080 markings, 411486 edges, 883 markings/sec, 140 secs
lola: 129469 markings, 425547 edges, 878 markings/sec, 145 secs
lola: 133846 markings, 439745 edges, 875 markings/sec, 150 secs
lola: 138199 markings, 453047 edges, 871 markings/sec, 155 secs
lola: 142493 markings, 467696 edges, 859 markings/sec, 160 secs
lola: 146845 markings, 482723 edges, 870 markings/sec, 165 secs
lola: 151221 markings, 495940 edges, 875 markings/sec, 170 secs
lola: 155622 markings, 509216 edges, 880 markings/sec, 175 secs
lola: 159994 markings, 523971 edges, 874 markings/sec, 180 secs
lola: 164305 markings, 537165 edges, 862 markings/sec, 185 secs
lola: 168704 markings, 550312 edges, 880 markings/sec, 190 secs
lola: 173097 markings, 563389 edges, 879 markings/sec, 195 secs
lola: 177452 markings, 576293 edges, 871 markings/sec, 200 secs
lola: 181817 markings, 590732 edges, 873 markings/sec, 205 secs
lola: 186208 markings, 604138 edges, 878 markings/sec, 210 secs
lola: 190601 markings, 617557 edges, 879 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: 96772 KB
lola: time consumption: 2238 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 221 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__4_40_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__4_40_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N010-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: 2105 markings, 6851 edges, 421 markings/sec, 0 secs
lola: 6476 markings, 21009 edges, 874 markings/sec, 5 secs
lola: 10885 markings, 35265 edges, 882 markings/sec, 10 secs
lola: 15271 markings, 48546 edges, 877 markings/sec, 15 secs
lola: 19614 markings, 62637 edges, 869 markings/sec, 20 secs
lola: 23942 markings, 76346 edges, 866 markings/sec, 25 secs
lola: 28265 markings, 90781 edges, 865 markings/sec, 30 secs
lola: 32558 markings, 104265 edges, 859 markings/sec, 35 secs
lola: 36964 markings, 118538 edges, 881 markings/sec, 40 secs
lola: 41359 markings, 133354 edges, 879 markings/sec, 45 secs
lola: 45814 markings, 147341 edges, 891 markings/sec, 50 secs
lola: 50243 markings, 161942 edges, 886 markings/sec, 55 secs
lola: 54659 markings, 176821 edges, 883 markings/sec, 60 secs
lola: 58976 markings, 191897 edges, 863 markings/sec, 65 secs
lola: 63332 markings, 205834 edges, 871 markings/sec, 70 secs
lola: 67728 markings, 220061 edges, 879 markings/sec, 75 secs
lola: 72141 markings, 234112 edges, 883 markings/sec, 80 secs
lola: 76576 markings, 247813 edges, 887 markings/sec, 85 secs
lola: 81009 markings, 262220 edges, 887 markings/sec, 90 secs
lola: 85406 markings, 277746 edges, 879 markings/sec, 95 secs
lola: 89802 markings, 292256 edges, 879 markings/sec, 100 secs
lola: 94211 markings, 305859 edges, 882 markings/sec, 105 secs
lola: 98602 markings, 319386 edges, 878 markings/sec, 110 secs
lola: 102999 markings, 333017 edges, 879 markings/sec, 115 secs
lola: 107414 markings, 347291 edges, 883 markings/sec, 120 secs
lola: 111811 markings, 361097 edges, 879 markings/sec, 125 secs
lola: 116183 markings, 375012 edges, 874 markings/sec, 130 secs
lola: 120569 markings, 389220 edges, 877 markings/sec, 135 secs
lola: 124963 markings, 403416 edges, 879 markings/sec, 140 secs
lola: 129347 markings, 418142 edges, 877 markings/sec, 145 secs
lola: 133787 markings, 431434 edges, 888 markings/sec, 150 secs
lola: 138195 markings, 444621 edges, 882 markings/sec, 155 secs
lola: 142620 markings, 458121 edges, 885 markings/sec, 160 secs
lola: 147036 markings, 471437 edges, 883 markings/sec, 165 secs
lola: 151445 markings, 485471 edges, 882 markings/sec, 170 secs
lola: 155851 markings, 499545 edges, 881 markings/sec, 175 secs
lola: 160271 markings, 512923 edges, 884 markings/sec, 180 secs
lola: 164658 markings, 527463 edges, 877 markings/sec, 185 secs
lola: 169038 markings, 541615 edges, 876 markings/sec, 190 secs
lola: 173437 markings, 555382 edges, 880 markings/sec, 195 secs
lola: 177850 markings, 569020 edges, 883 markings/sec, 200 secs
lola: 182231 markings, 583356 edges, 876 markings/sec, 205 secs
lola: 186627 markings, 597196 edges, 879 markings/sec, 210 secs
lola: 191026 markings, 610962 edges, 880 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: 92592 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__34_36_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__34_36_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N010-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: 2159 markings, 7454 edges, 432 markings/sec, 0 secs
lola: 6521 markings, 22930 edges, 872 markings/sec, 5 secs
lola: 10904 markings, 38479 edges, 877 markings/sec, 10 secs
lola: 15279 markings, 54173 edges, 875 markings/sec, 15 secs
lola: 19674 markings, 68550 edges, 879 markings/sec, 20 secs
lola: 24077 markings, 82298 edges, 881 markings/sec, 25 secs
lola: 28447 markings, 96665 edges, 874 markings/sec, 30 secs
lola: 32838 markings, 110125 edges, 878 markings/sec, 35 secs
lola: 37206 markings, 125212 edges, 874 markings/sec, 40 secs
lola: 41570 markings, 139730 edges, 873 markings/sec, 45 secs
lola: 45975 markings, 153533 edges, 881 markings/sec, 50 secs
lola: 50380 markings, 167686 edges, 881 markings/sec, 55 secs
lola: 54780 markings, 181052 edges, 880 markings/sec, 60 secs
lola: 59188 markings, 194469 edges, 882 markings/sec, 65 secs
lola: 63549 markings, 209190 edges, 872 markings/sec, 70 secs
lola: 67914 markings, 223974 edges, 873 markings/sec, 75 secs
lola: 72270 markings, 238982 edges, 871 markings/sec, 80 secs
lola: 76607 markings, 253921 edges, 867 markings/sec, 85 secs
lola: 80979 markings, 267751 edges, 874 markings/sec, 90 secs
lola: 85364 markings, 281729 edges, 877 markings/sec, 95 secs
lola: 89687 markings, 296305 edges, 865 markings/sec, 100 secs
lola: 94054 markings, 311952 edges, 873 markings/sec, 105 secs
lola: 98457 markings, 325285 edges, 881 markings/sec, 110 secs
lola: 102789 markings, 339143 edges, 866 markings/sec, 115 secs
lola: 107002 markings, 353241 edges, 843 markings/sec, 120 secs
lola: 111297 markings, 368311 edges, 859 markings/sec, 125 secs
lola: 115582 markings, 384076 edges, 857 markings/sec, 130 secs
lola: 119893 markings, 400280 edges, 862 markings/sec, 135 secs
lola: 124147 markings, 415863 edges, 851 markings/sec, 140 secs
lola: 128487 markings, 431224 edges, 868 markings/sec, 145 secs
lola: 132796 markings, 447130 edges, 862 markings/sec, 150 secs
lola: 137178 markings, 460804 edges, 876 markings/sec, 155 secs
lola: 141553 markings, 474486 edges, 875 markings/sec, 160 secs
lola: 145923 markings, 488556 edges, 874 markings/sec, 165 secs
lola: 150310 markings, 502279 edges, 877 markings/sec, 170 secs
lola: 154688 markings, 516737 edges, 876 markings/sec, 175 secs
lola: 159059 markings, 531583 edges, 874 markings/sec, 180 secs
lola: 163441 markings, 545906 edges, 876 markings/sec, 185 secs
lola: 167850 markings, 559137 edges, 882 markings/sec, 190 secs
lola: 172273 markings, 572492 edges, 885 markings/sec, 195 secs
lola: 176672 markings, 585788 edges, 880 markings/sec, 200 secs
lola: 181067 markings, 598635 edges, 879 markings/sec, 205 secs
lola: 185452 markings, 611500 edges, 877 markings/sec, 210 secs
lola: 189838 markings, 625074 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: 97904 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__12_11_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__12_11_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N010-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: 2088 markings, 7195 edges, 418 markings/sec, 0 secs
lola: 6405 markings, 22776 edges, 863 markings/sec, 5 secs
lola: 10711 markings, 38692 edges, 861 markings/sec, 10 secs
lola: 15019 markings, 53808 edges, 862 markings/sec, 15 secs
lola: 19308 markings, 70648 edges, 858 markings/sec, 20 secs
lola: 23595 markings, 86749 edges, 857 markings/sec, 25 secs
lola: 27886 markings, 102793 edges, 858 markings/sec, 30 secs
lola: 32156 markings, 119902 edges, 854 markings/sec, 35 secs
lola: 36438 markings, 135317 edges, 856 markings/sec, 40 secs
lola: 40736 markings, 151027 edges, 860 markings/sec, 45 secs
lola: 44979 markings, 166820 edges, 849 markings/sec, 50 secs
lola: 49217 markings, 182722 edges, 848 markings/sec, 55 secs
lola: 53498 markings, 198411 edges, 856 markings/sec, 60 secs
lola: 57706 markings, 214781 edges, 842 markings/sec, 65 secs
lola: 61963 markings, 231324 edges, 851 markings/sec, 70 secs
lola: 66271 markings, 246601 edges, 862 markings/sec, 75 secs
lola: 70560 markings, 263021 edges, 858 markings/sec, 80 secs
lola: 74837 markings, 278931 edges, 855 markings/sec, 85 secs
lola: 79124 markings, 295544 edges, 857 markings/sec, 90 secs
lola: 83394 markings, 312377 edges, 854 markings/sec, 95 secs
lola: 87707 markings, 328053 edges, 863 markings/sec, 100 secs
lola: 92032 markings, 344207 edges, 865 markings/sec, 105 secs
lola: 96350 markings, 360657 edges, 864 markings/sec, 110 secs
lola: 100679 markings, 376777 edges, 866 markings/sec, 115 secs
lola: 104966 markings, 392318 edges, 857 markings/sec, 120 secs
lola: 109245 markings, 408396 edges, 856 markings/sec, 125 secs
lola: 113514 markings, 424664 edges, 854 markings/sec, 130 secs
lola: 117801 markings, 440221 edges, 857 markings/sec, 135 secs
lola: 122084 markings, 455658 edges, 857 markings/sec, 140 secs
lola: 126342 markings, 471687 edges, 852 markings/sec, 145 secs
lola: 130630 markings, 487252 edges, 858 markings/sec, 150 secs
lola: 134922 markings, 501596 edges, 858 markings/sec, 155 secs
lola: 139143 markings, 516518 edges, 844 markings/sec, 160 secs
lola: 143379 markings, 530903 edges, 847 markings/sec, 165 secs
lola: 147593 markings, 546378 edges, 843 markings/sec, 170 secs
lola: 151730 markings, 561177 edges, 827 markings/sec, 175 secs
lola: 155957 markings, 576440 edges, 845 markings/sec, 180 secs
lola: 160172 markings, 590863 edges, 843 markings/sec, 185 secs
lola: 164428 markings, 604972 edges, 851 markings/sec, 190 secs
lola: 168600 markings, 619530 edges, 834 markings/sec, 195 secs
lola: 172814 markings, 635534 edges, 843 markings/sec, 200 secs
lola: 177042 markings, 650773 edges, 846 markings/sec, 205 secs
lola: 181289 markings, 666505 edges, 849 markings/sec, 210 secs
lola: 185538 markings, 681937 edges, 850 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: 92888 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__33_21_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__33_21_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N010-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: 2104 markings, 7017 edges, 421 markings/sec, 0 secs
lola: 6392 markings, 22528 edges, 858 markings/sec, 5 secs
lola: 10715 markings, 37624 edges, 865 markings/sec, 10 secs
lola: 15062 markings, 51921 edges, 869 markings/sec, 15 secs
lola: 19395 markings, 65739 edges, 867 markings/sec, 20 secs
lola: 23652 markings, 80506 edges, 851 markings/sec, 25 secs
lola: 27924 markings, 95344 edges, 854 markings/sec, 30 secs
lola: 32266 markings, 109141 edges, 868 markings/sec, 35 secs
lola: 36577 markings, 124196 edges, 862 markings/sec, 40 secs
lola: 40909 markings, 137774 edges, 866 markings/sec, 45 secs
lola: 45262 markings, 151440 edges, 871 markings/sec, 50 secs
lola: 49607 markings, 166145 edges, 869 markings/sec, 55 secs
lola: 53958 markings, 179834 edges, 870 markings/sec, 60 secs
lola: 58276 markings, 193780 edges, 864 markings/sec, 65 secs
lola: 62577 markings, 207192 edges, 860 markings/sec, 70 secs
lola: 66875 markings, 220796 edges, 860 markings/sec, 75 secs
lola: 71180 markings, 234801 edges, 861 markings/sec, 80 secs
lola: 75501 markings, 248377 edges, 864 markings/sec, 85 secs
lola: 79825 markings, 262398 edges, 865 markings/sec, 90 secs
lola: 84142 markings, 275891 edges, 863 markings/sec, 95 secs
lola: 88511 markings, 289607 edges, 874 markings/sec, 100 secs
lola: 92860 markings, 303642 edges, 870 markings/sec, 105 secs
lola: 97179 markings, 317415 edges, 864 markings/sec, 110 secs
lola: 101531 markings, 330831 edges, 870 markings/sec, 115 secs
lola: 105853 markings, 345230 edges, 864 markings/sec, 120 secs
lola: 110199 markings, 358980 edges, 869 markings/sec, 125 secs
lola: 114594 markings, 372384 edges, 879 markings/sec, 130 secs
lola: 118990 markings, 385999 edges, 879 markings/sec, 135 secs
lola: 123350 markings, 399365 edges, 872 markings/sec, 140 secs
lola: 127629 markings, 413910 edges, 856 markings/sec, 145 secs
lola: 131902 markings, 427318 edges, 855 markings/sec, 150 secs
lola: 136254 markings, 441054 edges, 870 markings/sec, 155 secs
lola: 140606 markings, 454630 edges, 870 markings/sec, 160 secs
lola: 144962 markings, 468652 edges, 871 markings/sec, 165 secs
lola: 149339 markings, 482698 edges, 875 markings/sec, 170 secs
lola: 153696 markings, 496489 edges, 871 markings/sec, 175 secs
lola: 158053 markings, 510140 edges, 871 markings/sec, 180 secs
lola: 162373 markings, 525157 edges, 864 markings/sec, 185 secs
lola: 166680 markings, 538631 edges, 861 markings/sec, 190 secs
lola: 170995 markings, 551804 edges, 863 markings/sec, 195 secs
lola: 175317 markings, 565337 edges, 864 markings/sec, 200 secs
lola: 179609 markings, 579235 edges, 858 markings/sec, 205 secs
lola: 183949 markings, 593384 edges, 868 markings/sec, 210 secs
lola: 188314 markings, 606987 edges, 873 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: 98884 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__9_35_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__9_35_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N010-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: 2159 markings, 7524 edges, 432 markings/sec, 0 secs
lola: 6449 markings, 23377 edges, 858 markings/sec, 5 secs
lola: 10704 markings, 39908 edges, 851 markings/sec, 10 secs
lola: 14980 markings, 55468 edges, 855 markings/sec, 15 secs
lola: 19282 markings, 70839 edges, 860 markings/sec, 20 secs
lola: 23584 markings, 85766 edges, 860 markings/sec, 25 secs
lola: 27876 markings, 100865 edges, 858 markings/sec, 30 secs
lola: 32137 markings, 117324 edges, 852 markings/sec, 35 secs
lola: 36383 markings, 134132 edges, 849 markings/sec, 40 secs
lola: 40637 markings, 150099 edges, 851 markings/sec, 45 secs
lola: 44912 markings, 165905 edges, 855 markings/sec, 50 secs
lola: 49171 markings, 181204 edges, 852 markings/sec, 55 secs
lola: 53431 markings, 197626 edges, 852 markings/sec, 60 secs
lola: 57689 markings, 213887 edges, 852 markings/sec, 65 secs
lola: 61983 markings, 228890 edges, 859 markings/sec, 70 secs
lola: 66201 markings, 246062 edges, 844 markings/sec, 75 secs
lola: 70480 markings, 262885 edges, 856 markings/sec, 80 secs
lola: 74822 markings, 278753 edges, 868 markings/sec, 85 secs
lola: 79147 markings, 294925 edges, 865 markings/sec, 90 secs
lola: 83386 markings, 311663 edges, 848 markings/sec, 95 secs
lola: 87630 markings, 327746 edges, 849 markings/sec, 100 secs
lola: 91863 markings, 342696 edges, 847 markings/sec, 105 secs
lola: 96072 markings, 358728 edges, 842 markings/sec, 110 secs
lola: 100266 markings, 374928 edges, 839 markings/sec, 115 secs
lola: 104459 markings, 391179 edges, 839 markings/sec, 120 secs
lola: 108571 markings, 406498 edges, 822 markings/sec, 125 secs
lola: 112744 markings, 421829 edges, 835 markings/sec, 130 secs
lola: 117001 markings, 437450 edges, 851 markings/sec, 135 secs
lola: 121228 markings, 454055 edges, 845 markings/sec, 140 secs
lola: 125466 markings, 469879 edges, 848 markings/sec, 145 secs
lola: 129678 markings, 485882 edges, 842 markings/sec, 150 secs
lola: 133875 markings, 500215 edges, 839 markings/sec, 155 secs
lola: 138044 markings, 516528 edges, 834 markings/sec, 160 secs
lola: 142243 markings, 532630 edges, 840 markings/sec, 165 secs
lola: 146450 markings, 547952 edges, 841 markings/sec, 170 secs
lola: 150651 markings, 563948 edges, 840 markings/sec, 175 secs
lola: 154753 markings, 578634 edges, 820 markings/sec, 180 secs
lola: 158959 markings, 594682 edges, 841 markings/sec, 185 secs
lola: 163150 markings, 611034 edges, 838 markings/sec, 190 secs
lola: 167320 markings, 627727 edges, 834 markings/sec, 195 secs
lola: 171541 markings, 643306 edges, 844 markings/sec, 200 secs
lola: 175770 markings, 658779 edges, 846 markings/sec, 205 secs
lola: 180026 markings, 674653 edges, 851 markings/sec, 210 secs
lola: 184311 markings, 688317 edges, 857 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: 92360 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__27_31_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__27_31_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N010-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: 2111 markings, 7167 edges, 422 markings/sec, 0 secs
lola: 6404 markings, 22087 edges, 859 markings/sec, 5 secs
lola: 10710 markings, 35623 edges, 861 markings/sec, 10 secs
lola: 15032 markings, 49667 edges, 864 markings/sec, 15 secs
lola: 19306 markings, 65316 edges, 855 markings/sec, 20 secs
lola: 23550 markings, 81330 edges, 849 markings/sec, 25 secs
lola: 27811 markings, 96617 edges, 852 markings/sec, 30 secs
lola: 32057 markings, 110423 edges, 849 markings/sec, 35 secs
lola: 36361 markings, 124580 edges, 861 markings/sec, 40 secs
lola: 40566 markings, 140523 edges, 841 markings/sec, 45 secs
lola: 44885 markings, 156412 edges, 864 markings/sec, 50 secs
lola: 49192 markings, 170236 edges, 861 markings/sec, 55 secs
lola: 53502 markings, 183746 edges, 862 markings/sec, 60 secs
lola: 57866 markings, 197667 edges, 873 markings/sec, 65 secs
lola: 62245 markings, 211166 edges, 876 markings/sec, 70 secs
lola: 66588 markings, 226194 edges, 869 markings/sec, 75 secs
lola: 70930 markings, 241046 edges, 868 markings/sec, 80 secs
lola: 75281 markings, 254691 edges, 870 markings/sec, 85 secs
lola: 79549 markings, 269842 edges, 854 markings/sec, 90 secs
lola: 83814 markings, 284025 edges, 853 markings/sec, 95 secs
lola: 88178 markings, 295333 edges, 873 markings/sec, 100 secs
lola: 92563 markings, 308423 edges, 877 markings/sec, 105 secs
lola: 96892 markings, 320493 edges, 866 markings/sec, 110 secs
lola: 101222 markings, 333031 edges, 866 markings/sec, 115 secs
lola: 105472 markings, 346353 edges, 850 markings/sec, 120 secs
lola: 109800 markings, 360056 edges, 866 markings/sec, 125 secs
lola: 114148 markings, 372720 edges, 870 markings/sec, 130 secs
lola: 118467 markings, 385615 edges, 864 markings/sec, 135 secs
lola: 122774 markings, 399668 edges, 861 markings/sec, 140 secs
lola: 127089 markings, 413775 edges, 863 markings/sec, 145 secs
lola: 131392 markings, 428292 edges, 861 markings/sec, 150 secs
lola: 135694 markings, 441643 edges, 860 markings/sec, 155 secs
lola: 139972 markings, 456466 edges, 856 markings/sec, 160 secs
lola: 144284 markings, 470212 edges, 862 markings/sec, 165 secs
lola: 148605 markings, 484860 edges, 864 markings/sec, 170 secs
lola: 152909 markings, 500405 edges, 861 markings/sec, 175 secs
lola: 157237 markings, 514600 edges, 866 markings/sec, 180 secs
lola: 161561 markings, 528594 edges, 865 markings/sec, 185 secs
lola: 165841 markings, 543806 edges, 856 markings/sec, 190 secs
lola: 170130 markings, 558633 edges, 858 markings/sec, 195 secs
lola: 174418 markings, 573205 edges, 858 markings/sec, 200 secs
lola: 178684 markings, 587560 edges, 853 markings/sec, 205 secs
lola: 182951 markings, 601758 edges, 853 markings/sec, 210 secs
lola: 187270 markings, 614253 edges, 864 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: 89456 KB
lola: time consumption: 3569 seconds
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__27_15_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__27_15_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D40N010-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 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: 42796 KB
lola: time consumption: 3569 seconds
lola: Child process aborted or communication problem between parent and child process
lola: memory consumption: 42796 KB
lola: time consumption: 3569 seconds

BK_STOP 1552924328588

--------------------
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-D40N010"
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-D40N010, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r066-ebro-155234666500064"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/Diffusion2D-PT-D40N010.tgz
mv Diffusion2D-PT-D40N010 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 ;