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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.3M
-rw-r--r-- 1 mcc users 3.6K Feb 10 21:32 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Feb 10 21:32 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Feb 6 17:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 6 17:54 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.8K Feb 4 23:31 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K Feb 4 23:31 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 4 22:34 LTLFireability.txt
-rw-r--r-- 1 mcc users 12K Feb 4 22:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Feb 3 07:21 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Feb 3 07:21 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.6K Jan 30 23:45 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K Jan 30 23:45 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 1.2M 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-D20N010-UpperBounds-00
FORMULA_NAME Diffusion2D-PT-D20N010-UpperBounds-01
FORMULA_NAME Diffusion2D-PT-D20N010-UpperBounds-02
FORMULA_NAME Diffusion2D-PT-D20N010-UpperBounds-03
FORMULA_NAME Diffusion2D-PT-D20N010-UpperBounds-04
FORMULA_NAME Diffusion2D-PT-D20N010-UpperBounds-05
FORMULA_NAME Diffusion2D-PT-D20N010-UpperBounds-06
FORMULA_NAME Diffusion2D-PT-D20N010-UpperBounds-07
FORMULA_NAME Diffusion2D-PT-D20N010-UpperBounds-08
FORMULA_NAME Diffusion2D-PT-D20N010-UpperBounds-09
FORMULA_NAME Diffusion2D-PT-D20N010-UpperBounds-10
FORMULA_NAME Diffusion2D-PT-D20N010-UpperBounds-11
FORMULA_NAME Diffusion2D-PT-D20N010-UpperBounds-12
FORMULA_NAME Diffusion2D-PT-D20N010-UpperBounds-13
FORMULA_NAME Diffusion2D-PT-D20N010-UpperBounds-14
FORMULA_NAME Diffusion2D-PT-D20N010-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1552914009662

info: Time: 3600 - MCC
===========================================================================================
prep: translating Diffusion2D-PT-D20N010 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating Diffusion2D-PT-D20N010 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ Diffusion2D-PT-D20N010 @ 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: 3364/65536 symbol table entries, 222 collisions
lola: preprocessing...
lola: Size of bit vector: 12800
lola: finding significant places
lola: 400 places, 2964 transitions, 399 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 400 transition conflict sets
lola: TASK
lola: reading formula from Diffusion2D-PT-D20N010-UpperBounds.task
lola: MAX(cAMP__10_18_) : MAX(cAMP__6_15_) : MAX(cAMP__6_16_) : MAX(cAMP__11_14_) : MAX(cAMP__13_13_) : MAX(cAMP__20_1_) : MAX(cAMP__11_8_) : MAX(cAMP__18_12_) : MAX(cAMP__4_15_) : MAX(cAMP__15_7_) : MAX(cAMP__18_11_) : MAX(cAMP__18_16_) : MAX(cAMP__10_17_) : MAX(cAMP__1_20_) : MAX(cAMP__16_15_) : MAX(cAMP__9_14_)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__10_18_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__10_18_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D20N010-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: 23367 markings, 85334 edges, 4673 markings/sec, 0 secs
lola: 48077 markings, 170770 edges, 4942 markings/sec, 5 secs
lola: 72799 markings, 264187 edges, 4944 markings/sec, 10 secs
lola: 97688 markings, 351087 edges, 4978 markings/sec, 15 secs
lola: 122493 markings, 435340 edges, 4961 markings/sec, 20 secs
lola: 146720 markings, 531234 edges, 4845 markings/sec, 25 secs
lola: 171390 markings, 629753 edges, 4934 markings/sec, 30 secs
lola: 196377 markings, 716652 edges, 4997 markings/sec, 35 secs
lola: 221112 markings, 811345 edges, 4947 markings/sec, 40 secs
lola: 246076 markings, 897100 edges, 4993 markings/sec, 45 secs
lola: 270488 markings, 979997 edges, 4882 markings/sec, 50 secs
lola: 295367 markings, 1066052 edges, 4976 markings/sec, 55 secs
lola: 320148 markings, 1158083 edges, 4956 markings/sec, 60 secs
lola: 344610 markings, 1247490 edges, 4892 markings/sec, 65 secs
lola: 369239 markings, 1335342 edges, 4926 markings/sec, 70 secs
lola: 393039 markings, 1429084 edges, 4760 markings/sec, 75 secs
lola: 417834 markings, 1520488 edges, 4959 markings/sec, 80 secs
lola: 442552 markings, 1611912 edges, 4944 markings/sec, 85 secs
lola: 466908 markings, 1697460 edges, 4871 markings/sec, 90 secs
lola: 490556 markings, 1780530 edges, 4730 markings/sec, 95 secs
lola: 515016 markings, 1866928 edges, 4892 markings/sec, 100 secs
lola: 539609 markings, 1957996 edges, 4919 markings/sec, 105 secs
lola: 564456 markings, 2048198 edges, 4969 markings/sec, 110 secs
lola: 589577 markings, 2133561 edges, 5024 markings/sec, 115 secs
lola: 614434 markings, 2219538 edges, 4971 markings/sec, 120 secs
lola: 638863 markings, 2302689 edges, 4886 markings/sec, 125 secs
lola: 663544 markings, 2388152 edges, 4936 markings/sec, 130 secs
lola: 688488 markings, 2474242 edges, 4989 markings/sec, 135 secs
lola: 713032 markings, 2562697 edges, 4909 markings/sec, 140 secs
lola: 737880 markings, 2654228 edges, 4970 markings/sec, 145 secs
lola: 762859 markings, 2741343 edges, 4996 markings/sec, 150 secs
lola: 787313 markings, 2830891 edges, 4891 markings/sec, 155 secs
lola: 812319 markings, 2918890 edges, 5001 markings/sec, 160 secs
lola: 837079 markings, 3003858 edges, 4952 markings/sec, 165 secs
lola: 861840 markings, 3097657 edges, 4952 markings/sec, 170 secs
lola: 886779 markings, 3185942 edges, 4988 markings/sec, 175 secs
lola: 911642 markings, 3274724 edges, 4973 markings/sec, 180 secs
lola: 936674 markings, 3359697 edges, 5006 markings/sec, 185 secs
lola: 961490 markings, 3445386 edges, 4963 markings/sec, 190 secs
lola: 986308 markings, 3527753 edges, 4964 markings/sec, 195 secs
lola: 1011004 markings, 3613153 edges, 4939 markings/sec, 200 secs
lola: 1035455 markings, 3699683 edges, 4890 markings/sec, 205 secs
lola: 1059553 markings, 3785508 edges, 4820 markings/sec, 210 secs
lola: 1083736 markings, 3878150 edges, 4837 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: 313736 KB
lola: time consumption: 224 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__6_15_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__6_15_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D20N010-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: 22762 markings, 78571 edges, 4552 markings/sec, 0 secs
lola: 47255 markings, 164175 edges, 4899 markings/sec, 5 secs
lola: 72545 markings, 245860 edges, 5058 markings/sec, 10 secs
lola: 97753 markings, 330905 edges, 5042 markings/sec, 15 secs
lola: 123089 markings, 416251 edges, 5067 markings/sec, 20 secs
lola: 148544 markings, 497897 edges, 5091 markings/sec, 25 secs
lola: 173804 markings, 581721 edges, 5052 markings/sec, 30 secs
lola: 198222 markings, 663991 edges, 4884 markings/sec, 35 secs
lola: 222544 markings, 745647 edges, 4864 markings/sec, 40 secs
lola: 247458 markings, 827439 edges, 4983 markings/sec, 45 secs
lola: 272103 markings, 908870 edges, 4929 markings/sec, 50 secs
lola: 297221 markings, 991581 edges, 5024 markings/sec, 55 secs
lola: 321983 markings, 1072014 edges, 4952 markings/sec, 60 secs
lola: 347247 markings, 1154019 edges, 5053 markings/sec, 65 secs
lola: 372131 markings, 1236555 edges, 4977 markings/sec, 70 secs
lola: 396612 markings, 1319396 edges, 4896 markings/sec, 75 secs
lola: 421759 markings, 1403069 edges, 5029 markings/sec, 80 secs
lola: 446851 markings, 1489578 edges, 5018 markings/sec, 85 secs
lola: 471968 markings, 1574826 edges, 5023 markings/sec, 90 secs
lola: 497313 markings, 1657662 edges, 5069 markings/sec, 95 secs
lola: 522537 markings, 1739648 edges, 5045 markings/sec, 100 secs
lola: 547598 markings, 1825696 edges, 5012 markings/sec, 105 secs
lola: 572635 markings, 1912150 edges, 5007 markings/sec, 110 secs
lola: 597750 markings, 1996581 edges, 5023 markings/sec, 115 secs
lola: 622910 markings, 2080400 edges, 5032 markings/sec, 120 secs
lola: 647237 markings, 2164418 edges, 4865 markings/sec, 125 secs
lola: 672297 markings, 2246481 edges, 5012 markings/sec, 130 secs
lola: 697361 markings, 2331744 edges, 5013 markings/sec, 135 secs
lola: 722450 markings, 2417637 edges, 5018 markings/sec, 140 secs
lola: 747456 markings, 2500020 edges, 5001 markings/sec, 145 secs
lola: 772550 markings, 2580908 edges, 5019 markings/sec, 150 secs
lola: 797740 markings, 2664182 edges, 5038 markings/sec, 155 secs
lola: 823106 markings, 2747128 edges, 5073 markings/sec, 160 secs
lola: 848223 markings, 2828180 edges, 5023 markings/sec, 165 secs
lola: 872760 markings, 2911423 edges, 4907 markings/sec, 170 secs
lola: 897875 markings, 2996004 edges, 5023 markings/sec, 175 secs
lola: 922809 markings, 3076546 edges, 4987 markings/sec, 180 secs
lola: 948089 markings, 3158975 edges, 5056 markings/sec, 185 secs
lola: 973368 markings, 3243887 edges, 5056 markings/sec, 190 secs
lola: 997996 markings, 3323753 edges, 4926 markings/sec, 195 secs
lola: 1023346 markings, 3405776 edges, 5070 markings/sec, 200 secs
lola: 1048631 markings, 3490898 edges, 5057 markings/sec, 205 secs
lola: 1073425 markings, 3571857 edges, 4959 markings/sec, 210 secs
lola: 1098353 markings, 3653749 edges, 4986 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: 310120 KB
lola: time consumption: 447 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__6_16_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__6_16_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D20N010-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: 24100 markings, 81634 edges, 4820 markings/sec, 0 secs
lola: 49298 markings, 165295 edges, 5040 markings/sec, 5 secs
lola: 74370 markings, 252482 edges, 5014 markings/sec, 10 secs
lola: 99401 markings, 335597 edges, 5006 markings/sec, 15 secs
lola: 124485 markings, 423925 edges, 5017 markings/sec, 20 secs
lola: 149548 markings, 506776 edges, 5013 markings/sec, 25 secs
lola: 174613 markings, 588283 edges, 5013 markings/sec, 30 secs
lola: 199759 markings, 674993 edges, 5029 markings/sec, 35 secs
lola: 224965 markings, 757102 edges, 5041 markings/sec, 40 secs
lola: 250251 markings, 840313 edges, 5057 markings/sec, 45 secs
lola: 275402 markings, 925612 edges, 5030 markings/sec, 50 secs
lola: 300670 markings, 1009584 edges, 5054 markings/sec, 55 secs
lola: 325780 markings, 1093957 edges, 5022 markings/sec, 60 secs
lola: 350551 markings, 1178082 edges, 4954 markings/sec, 65 secs
lola: 375334 markings, 1262359 edges, 4957 markings/sec, 70 secs
lola: 399933 markings, 1346485 edges, 4920 markings/sec, 75 secs
lola: 425149 markings, 1429173 edges, 5043 markings/sec, 80 secs
lola: 450076 markings, 1511326 edges, 4985 markings/sec, 85 secs
lola: 474875 markings, 1595429 edges, 4960 markings/sec, 90 secs
lola: 499669 markings, 1680743 edges, 4959 markings/sec, 95 secs
lola: 524892 markings, 1766022 edges, 5045 markings/sec, 100 secs
lola: 549488 markings, 1850135 edges, 4919 markings/sec, 105 secs
lola: 574126 markings, 1936507 edges, 4928 markings/sec, 110 secs
lola: 597976 markings, 2021866 edges, 4770 markings/sec, 115 secs
lola: 622921 markings, 2113484 edges, 4989 markings/sec, 120 secs
lola: 648098 markings, 2197429 edges, 5035 markings/sec, 125 secs
lola: 673055 markings, 2284841 edges, 4991 markings/sec, 130 secs
lola: 698158 markings, 2366703 edges, 5021 markings/sec, 135 secs
lola: 723298 markings, 2453968 edges, 5028 markings/sec, 140 secs
lola: 748008 markings, 2534382 edges, 4942 markings/sec, 145 secs
lola: 772629 markings, 2618315 edges, 4924 markings/sec, 150 secs
lola: 797432 markings, 2701607 edges, 4961 markings/sec, 155 secs
lola: 822528 markings, 2788105 edges, 5019 markings/sec, 160 secs
lola: 846839 markings, 2868332 edges, 4862 markings/sec, 165 secs
lola: 871730 markings, 2954005 edges, 4978 markings/sec, 170 secs
lola: 896617 markings, 3042072 edges, 4977 markings/sec, 175 secs
lola: 921793 markings, 3126966 edges, 5035 markings/sec, 180 secs
lola: 946893 markings, 3209441 edges, 5020 markings/sec, 185 secs
lola: 972085 markings, 3293208 edges, 5038 markings/sec, 190 secs
lola: 997206 markings, 3378863 edges, 5024 markings/sec, 195 secs
lola: 1022400 markings, 3462468 edges, 5039 markings/sec, 200 secs
lola: 1047555 markings, 3546374 edges, 5031 markings/sec, 205 secs
lola: 1072686 markings, 3629158 edges, 5026 markings/sec, 210 secs
lola: 1096581 markings, 3711400 edges, 4779 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: 312424 KB
lola: time consumption: 670 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__11_14_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__11_14_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D20N010-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: 24051 markings, 79633 edges, 4810 markings/sec, 0 secs
lola: 49533 markings, 161261 edges, 5096 markings/sec, 5 secs
lola: 74965 markings, 246392 edges, 5086 markings/sec, 10 secs
lola: 100344 markings, 331907 edges, 5076 markings/sec, 15 secs
lola: 125516 markings, 414979 edges, 5034 markings/sec, 20 secs
lola: 150809 markings, 499457 edges, 5059 markings/sec, 25 secs
lola: 176153 markings, 582973 edges, 5069 markings/sec, 30 secs
lola: 201632 markings, 665412 edges, 5096 markings/sec, 35 secs
lola: 227067 markings, 747606 edges, 5087 markings/sec, 40 secs
lola: 252117 markings, 831523 edges, 5010 markings/sec, 45 secs
lola: 277109 markings, 914870 edges, 4998 markings/sec, 50 secs
lola: 302487 markings, 997703 edges, 5076 markings/sec, 55 secs
lola: 327854 markings, 1080949 edges, 5073 markings/sec, 60 secs
lola: 352613 markings, 1162418 edges, 4952 markings/sec, 65 secs
lola: 377793 markings, 1245393 edges, 5036 markings/sec, 70 secs
lola: 402886 markings, 1330064 edges, 5019 markings/sec, 75 secs
lola: 427925 markings, 1411089 edges, 5008 markings/sec, 80 secs
lola: 452423 markings, 1492728 edges, 4900 markings/sec, 85 secs
lola: 477581 markings, 1578188 edges, 5032 markings/sec, 90 secs
lola: 502510 markings, 1659494 edges, 4986 markings/sec, 95 secs
lola: 527424 markings, 1738581 edges, 4983 markings/sec, 100 secs
lola: 552461 markings, 1823483 edges, 5007 markings/sec, 105 secs
lola: 577380 markings, 1906653 edges, 4984 markings/sec, 110 secs
lola: 602671 markings, 1987883 edges, 5058 markings/sec, 115 secs
lola: 627748 markings, 2073371 edges, 5015 markings/sec, 120 secs
lola: 652690 markings, 2155368 edges, 4988 markings/sec, 125 secs
lola: 677000 markings, 2236989 edges, 4862 markings/sec, 130 secs
lola: 701187 markings, 2313960 edges, 4837 markings/sec, 135 secs
lola: 726384 markings, 2396777 edges, 5039 markings/sec, 140 secs
lola: 750909 markings, 2478726 edges, 4905 markings/sec, 145 secs
lola: 775721 markings, 2561927 edges, 4962 markings/sec, 150 secs
lola: 800476 markings, 2642909 edges, 4951 markings/sec, 155 secs
lola: 825159 markings, 2724271 edges, 4937 markings/sec, 160 secs
lola: 850000 markings, 2805783 edges, 4968 markings/sec, 165 secs
lola: 874957 markings, 2886842 edges, 4991 markings/sec, 170 secs
lola: 900085 markings, 2971903 edges, 5026 markings/sec, 175 secs
lola: 925406 markings, 3055752 edges, 5064 markings/sec, 180 secs
lola: 950497 markings, 3137352 edges, 5018 markings/sec, 185 secs
lola: 975422 markings, 3218820 edges, 4985 markings/sec, 190 secs
lola: 1000312 markings, 3299829 edges, 4978 markings/sec, 195 secs
lola: 1025657 markings, 3381087 edges, 5069 markings/sec, 200 secs
lola: 1051028 markings, 3461522 edges, 5074 markings/sec, 205 secs
lola: 1076356 markings, 3543028 edges, 5066 markings/sec, 210 secs
lola: 1101591 markings, 3628460 edges, 5047 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: 340128 KB
lola: time consumption: 893 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__13_13_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__13_13_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D20N010-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: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 21 markings, 20 edges
lola: ========================================

FORMULA Diffusion2D-PT-D20N010-UpperBounds-4 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 243 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__20_1_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__20_1_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D20N010-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: 24484 markings, 78303 edges, 4897 markings/sec, 0 secs
lola: 50254 markings, 158522 edges, 5154 markings/sec, 5 secs
lola: 75127 markings, 236313 edges, 4975 markings/sec, 10 secs
lola: 100494 markings, 319205 edges, 5073 markings/sec, 15 secs
lola: 125194 markings, 396743 edges, 4940 markings/sec, 20 secs
lola: 150894 markings, 474394 edges, 5140 markings/sec, 25 secs
lola: 176554 markings, 551992 edges, 5132 markings/sec, 30 secs
lola: 202381 markings, 627818 edges, 5165 markings/sec, 35 secs
lola: 228051 markings, 702511 edges, 5134 markings/sec, 40 secs
lola: 253445 markings, 779099 edges, 5079 markings/sec, 45 secs
lola: 278997 markings, 856156 edges, 5110 markings/sec, 50 secs
lola: 304421 markings, 933298 edges, 5085 markings/sec, 55 secs
lola: 329717 markings, 1013221 edges, 5059 markings/sec, 60 secs
lola: 354549 markings, 1088380 edges, 4966 markings/sec, 65 secs
lola: 380378 markings, 1162318 edges, 5166 markings/sec, 70 secs
lola: 406213 markings, 1236491 edges, 5167 markings/sec, 75 secs
lola: 431708 markings, 1308637 edges, 5099 markings/sec, 80 secs
lola: 457141 markings, 1381724 edges, 5087 markings/sec, 85 secs
lola: 483000 markings, 1452817 edges, 5172 markings/sec, 90 secs
lola: 508466 markings, 1528097 edges, 5093 markings/sec, 95 secs
lola: 533905 markings, 1603003 edges, 5088 markings/sec, 100 secs
lola: 559143 markings, 1675751 edges, 5048 markings/sec, 105 secs
lola: 584871 markings, 1750850 edges, 5146 markings/sec, 110 secs
lola: 610531 markings, 1825486 edges, 5132 markings/sec, 115 secs
lola: 636430 markings, 1897940 edges, 5180 markings/sec, 120 secs
lola: 661983 markings, 1967975 edges, 5111 markings/sec, 125 secs
lola: 687595 markings, 2043772 edges, 5122 markings/sec, 130 secs
lola: 713659 markings, 2116481 edges, 5213 markings/sec, 135 secs
lola: 739123 markings, 2191371 edges, 5093 markings/sec, 140 secs
lola: 765344 markings, 2264418 edges, 5244 markings/sec, 145 secs
lola: 790421 markings, 2335964 edges, 5015 markings/sec, 150 secs
lola: 816096 markings, 2409503 edges, 5135 markings/sec, 155 secs
lola: 839772 markings, 2477378 edges, 4735 markings/sec, 160 secs
lola: 864604 markings, 2549772 edges, 4966 markings/sec, 165 secs
lola: 890518 markings, 2624887 edges, 5183 markings/sec, 170 secs
lola: 916301 markings, 2697587 edges, 5157 markings/sec, 175 secs
lola: 942167 markings, 2773035 edges, 5173 markings/sec, 180 secs
lola: 967842 markings, 2843494 edges, 5135 markings/sec, 185 secs
lola: 992570 markings, 2917709 edges, 4946 markings/sec, 190 secs
lola: 1018443 markings, 2993970 edges, 5175 markings/sec, 195 secs
lola: 1044129 markings, 3067918 edges, 5137 markings/sec, 200 secs
lola: 1069349 markings, 3141404 edges, 5044 markings/sec, 205 secs
lola: 1094872 markings, 3213539 edges, 5105 markings/sec, 210 secs
lola: 1120266 markings, 3286728 edges, 5079 markings/sec, 215 secs
lola: 1145696 markings, 3357535 edges, 5086 markings/sec, 220 secs
lola: 1171676 markings, 3430879 edges, 5196 markings/sec, 225 secs
lola: 1197906 markings, 3503317 edges, 5246 markings/sec, 230 secs
lola: 1223482 markings, 3578654 edges, 5115 markings/sec, 235 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown 10 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 338232 KB
lola: time consumption: 1137 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 243 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__11_8_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__11_8_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D20N010-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: 23677 markings, 78166 edges, 4735 markings/sec, 0 secs
lola: 48719 markings, 166138 edges, 5008 markings/sec, 5 secs
lola: 73039 markings, 253234 edges, 4864 markings/sec, 10 secs
lola: 98154 markings, 336129 edges, 5023 markings/sec, 15 secs
lola: 122842 markings, 427927 edges, 4938 markings/sec, 20 secs
lola: 147716 markings, 515229 edges, 4975 markings/sec, 25 secs
lola: 171879 markings, 605070 edges, 4833 markings/sec, 30 secs
lola: 196353 markings, 698937 edges, 4895 markings/sec, 35 secs
lola: 221203 markings, 786604 edges, 4970 markings/sec, 40 secs
lola: 245686 markings, 873629 edges, 4897 markings/sec, 45 secs
lola: 270548 markings, 961371 edges, 4972 markings/sec, 50 secs
lola: 294670 markings, 1050253 edges, 4824 markings/sec, 55 secs
lola: 318955 markings, 1141198 edges, 4857 markings/sec, 60 secs
lola: 343799 markings, 1228455 edges, 4969 markings/sec, 65 secs
lola: 368708 markings, 1315473 edges, 4982 markings/sec, 70 secs
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 384164 markings, 1376313 edges
lola: ========================================

FORMULA Diffusion2D-PT-D20N010-UpperBounds-6 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 261 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__18_12_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__18_12_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D20N010-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: 24753 markings, 89781 edges, 4951 markings/sec, 0 secs
lola: 49856 markings, 178677 edges, 5021 markings/sec, 5 secs
lola: 75022 markings, 269845 edges, 5033 markings/sec, 10 secs
lola: 100061 markings, 360299 edges, 5008 markings/sec, 15 secs
lola: 124927 markings, 451700 edges, 4973 markings/sec, 20 secs
lola: 150432 markings, 549760 edges, 5101 markings/sec, 25 secs
lola: 176211 markings, 636273 edges, 5156 markings/sec, 30 secs
lola: 201678 markings, 723487 edges, 5093 markings/sec, 35 secs
lola: 227409 markings, 811306 edges, 5146 markings/sec, 40 secs
lola: 253005 markings, 896117 edges, 5119 markings/sec, 45 secs
lola: 278006 markings, 986043 edges, 5000 markings/sec, 50 secs
lola: 303235 markings, 1075109 edges, 5046 markings/sec, 55 secs
lola: 328114 markings, 1166138 edges, 4976 markings/sec, 60 secs
lola: 353464 markings, 1254605 edges, 5070 markings/sec, 65 secs
lola: 379078 markings, 1343436 edges, 5123 markings/sec, 70 secs
lola: 404307 markings, 1432860 edges, 5046 markings/sec, 75 secs
lola: 429823 markings, 1520957 edges, 5103 markings/sec, 80 secs
lola: 455327 markings, 1613764 edges, 5101 markings/sec, 85 secs
lola: 480917 markings, 1705443 edges, 5118 markings/sec, 90 secs
lola: 506299 markings, 1800877 edges, 5076 markings/sec, 95 secs
lola: 531911 markings, 1891412 edges, 5122 markings/sec, 100 secs
lola: 557331 markings, 1985497 edges, 5084 markings/sec, 105 secs
lola: 581837 markings, 2072105 edges, 4901 markings/sec, 110 secs
lola: 606996 markings, 2169659 edges, 5032 markings/sec, 115 secs
lola: 632453 markings, 2263001 edges, 5091 markings/sec, 120 secs
lola: 658142 markings, 2355432 edges, 5138 markings/sec, 125 secs
lola: 682851 markings, 2448453 edges, 4942 markings/sec, 130 secs
lola: 708316 markings, 2534556 edges, 5093 markings/sec, 135 secs
lola: 733189 markings, 2619655 edges, 4975 markings/sec, 140 secs
lola: 758158 markings, 2707730 edges, 4994 markings/sec, 145 secs
lola: 783207 markings, 2805067 edges, 5010 markings/sec, 150 secs
lola: 808689 markings, 2894980 edges, 5096 markings/sec, 155 secs
lola: 834240 markings, 2982474 edges, 5110 markings/sec, 160 secs
lola: 859869 markings, 3069131 edges, 5126 markings/sec, 165 secs
lola: 885637 markings, 3153289 edges, 5154 markings/sec, 170 secs
lola: 911171 markings, 3241113 edges, 5107 markings/sec, 175 secs
lola: 936978 markings, 3324370 edges, 5161 markings/sec, 180 secs
lola: 962549 markings, 3410935 edges, 5114 markings/sec, 185 secs
lola: 988088 markings, 3498904 edges, 5108 markings/sec, 190 secs
lola: 1013230 markings, 3593755 edges, 5028 markings/sec, 195 secs
lola: 1037794 markings, 3683258 edges, 4913 markings/sec, 200 secs
lola: 1062694 markings, 3772689 edges, 4980 markings/sec, 205 secs
lola: 1088412 markings, 3857833 edges, 5144 markings/sec, 210 secs
lola: 1113575 markings, 3941587 edges, 5033 markings/sec, 215 secs
lola: 1138923 markings, 4024814 edges, 5070 markings/sec, 220 secs
lola: 1162901 markings, 4109442 edges, 4796 markings/sec, 225 secs
lola: 1187028 markings, 4193834 edges, 4825 markings/sec, 230 secs
lola: 1212498 markings, 4287527 edges, 5094 markings/sec, 235 secs
lola: 1238292 markings, 4372067 edges, 5159 markings/sec, 240 secs
lola: 1263485 markings, 4459332 edges, 5039 markings/sec, 245 secs
lola: 1288520 markings, 4543562 edges, 5007 markings/sec, 250 secs
lola: 1313889 markings, 4630985 edges, 5074 markings/sec, 255 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown 10 unknown 10 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 397336 KB
lola: time consumption: 1476 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 261 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__4_15_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__4_15_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D20N010-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: 24476 markings, 85154 edges, 4895 markings/sec, 0 secs
lola: 49559 markings, 171447 edges, 5017 markings/sec, 5 secs
lola: 74608 markings, 259112 edges, 5010 markings/sec, 10 secs
lola: 99833 markings, 349860 edges, 5045 markings/sec, 15 secs
lola: 124959 markings, 441598 edges, 5025 markings/sec, 20 secs
lola: 150258 markings, 532389 edges, 5060 markings/sec, 25 secs
lola: 175296 markings, 624717 edges, 5008 markings/sec, 30 secs
lola: 200327 markings, 712293 edges, 5006 markings/sec, 35 secs
lola: 225677 markings, 801751 edges, 5070 markings/sec, 40 secs
lola: 250888 markings, 892206 edges, 5042 markings/sec, 45 secs
lola: 276013 markings, 985019 edges, 5025 markings/sec, 50 secs
lola: 301345 markings, 1074935 edges, 5066 markings/sec, 55 secs
lola: 326483 markings, 1165921 edges, 5028 markings/sec, 60 secs
lola: 351654 markings, 1253941 edges, 5034 markings/sec, 65 secs
lola: 376475 markings, 1344929 edges, 4964 markings/sec, 70 secs
lola: 401654 markings, 1433952 edges, 5036 markings/sec, 75 secs
lola: 426719 markings, 1522164 edges, 5013 markings/sec, 80 secs
lola: 451575 markings, 1612689 edges, 4971 markings/sec, 85 secs
lola: 476305 markings, 1702607 edges, 4946 markings/sec, 90 secs
lola: 501340 markings, 1793148 edges, 5007 markings/sec, 95 secs
lola: 525927 markings, 1885434 edges, 4917 markings/sec, 100 secs
lola: 550928 markings, 1977988 edges, 5000 markings/sec, 105 secs
lola: 575809 markings, 2068386 edges, 4976 markings/sec, 110 secs
lola: 600728 markings, 2159001 edges, 4984 markings/sec, 115 secs
lola: 625999 markings, 2247941 edges, 5054 markings/sec, 120 secs
lola: 651056 markings, 2340711 edges, 5011 markings/sec, 125 secs
lola: 676270 markings, 2433091 edges, 5043 markings/sec, 130 secs
lola: 701328 markings, 2520936 edges, 5012 markings/sec, 135 secs
lola: 725992 markings, 2611563 edges, 4933 markings/sec, 140 secs
lola: 751146 markings, 2700962 edges, 5031 markings/sec, 145 secs
lola: 776365 markings, 2790710 edges, 5044 markings/sec, 150 secs
lola: 801483 markings, 2880517 edges, 5024 markings/sec, 155 secs
lola: 826759 markings, 2971369 edges, 5055 markings/sec, 160 secs
lola: 851701 markings, 3064676 edges, 4988 markings/sec, 165 secs
lola: 876734 markings, 3155112 edges, 5007 markings/sec, 170 secs
lola: 901729 markings, 3248759 edges, 4999 markings/sec, 175 secs
lola: 926755 markings, 3342248 edges, 5005 markings/sec, 180 secs
lola: 951711 markings, 3430281 edges, 4991 markings/sec, 185 secs
lola: 976692 markings, 3520255 edges, 4996 markings/sec, 190 secs
lola: 1001617 markings, 3609385 edges, 4985 markings/sec, 195 secs
lola: 1026909 markings, 3698916 edges, 5058 markings/sec, 200 secs
lola: 1052197 markings, 3788503 edges, 5058 markings/sec, 205 secs
lola: 1077501 markings, 3878491 edges, 5061 markings/sec, 210 secs
lola: 1102652 markings, 3971050 edges, 5030 markings/sec, 215 secs
lola: 1127652 markings, 4062140 edges, 5000 markings/sec, 220 secs
lola: 1152718 markings, 4151639 edges, 5013 markings/sec, 225 secs
lola: 1177658 markings, 4240843 edges, 4988 markings/sec, 230 secs
lola: 1202589 markings, 4330400 edges, 4986 markings/sec, 235 secs
lola: 1227452 markings, 4421436 edges, 4973 markings/sec, 240 secs
lola: 1252078 markings, 4514612 edges, 4925 markings/sec, 245 secs
lola: 1276498 markings, 4607415 edges, 4884 markings/sec, 250 secs
lola: 1301333 markings, 4700567 edges, 4967 markings/sec, 255 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown 10 unknown 10 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 352740 KB
lola: time consumption: 1737 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 261 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__15_7_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__15_7_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D20N010-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: 24775 markings, 72062 edges, 4955 markings/sec, 0 secs
lola: 50241 markings, 147778 edges, 5093 markings/sec, 5 secs
lola: 75731 markings, 223856 edges, 5098 markings/sec, 10 secs
lola: 101277 markings, 297972 edges, 5109 markings/sec, 15 secs
lola: 126785 markings, 373368 edges, 5102 markings/sec, 20 secs
lola: 152255 markings, 450483 edges, 5094 markings/sec, 25 secs
lola: 177667 markings, 531678 edges, 5082 markings/sec, 30 secs
lola: 203224 markings, 606628 edges, 5111 markings/sec, 35 secs
lola: 228482 markings, 681621 edges, 5052 markings/sec, 40 secs
lola: 253787 markings, 758746 edges, 5061 markings/sec, 45 secs
lola: 279185 markings, 835002 edges, 5080 markings/sec, 50 secs
lola: 304315 markings, 910340 edges, 5026 markings/sec, 55 secs
lola: 329803 markings, 985191 edges, 5098 markings/sec, 60 secs
lola: 355243 markings, 1062137 edges, 5088 markings/sec, 65 secs
lola: 380647 markings, 1137209 edges, 5081 markings/sec, 70 secs
lola: 405711 markings, 1210369 edges, 5013 markings/sec, 75 secs
lola: 430734 markings, 1287977 edges, 5005 markings/sec, 80 secs
lola: 456086 markings, 1368134 edges, 5070 markings/sec, 85 secs
lola: 481557 markings, 1446127 edges, 5094 markings/sec, 90 secs
lola: 506199 markings, 1524997 edges, 4928 markings/sec, 95 secs
lola: 530439 markings, 1597605 edges, 4848 markings/sec, 100 secs
lola: 555646 markings, 1670811 edges, 5041 markings/sec, 105 secs
lola: 580947 markings, 1751719 edges, 5060 markings/sec, 110 secs
lola: 605842 markings, 1824732 edges, 4979 markings/sec, 115 secs
lola: 630949 markings, 1905153 edges, 5021 markings/sec, 120 secs
lola: 656307 markings, 1983246 edges, 5072 markings/sec, 125 secs
lola: 681534 markings, 2058113 edges, 5045 markings/sec, 130 secs
lola: 707049 markings, 2132266 edges, 5103 markings/sec, 135 secs
lola: 732296 markings, 2205705 edges, 5049 markings/sec, 140 secs
lola: 757495 markings, 2280679 edges, 5040 markings/sec, 145 secs
lola: 782770 markings, 2357555 edges, 5055 markings/sec, 150 secs
lola: 808308 markings, 2430799 edges, 5108 markings/sec, 155 secs
lola: 833158 markings, 2505402 edges, 4970 markings/sec, 160 secs
lola: 857920 markings, 2579698 edges, 4952 markings/sec, 165 secs
lola: 882894 markings, 2653522 edges, 4995 markings/sec, 170 secs
lola: 908077 markings, 2730589 edges, 5037 markings/sec, 175 secs
lola: 932905 markings, 2802834 edges, 4966 markings/sec, 180 secs
lola: 958355 markings, 2876959 edges, 5090 markings/sec, 185 secs
lola: 983850 markings, 2950788 edges, 5099 markings/sec, 190 secs
lola: 1009198 markings, 3028739 edges, 5070 markings/sec, 195 secs
lola: 1034526 markings, 3107697 edges, 5066 markings/sec, 200 secs
lola: 1059917 markings, 3186210 edges, 5078 markings/sec, 205 secs
lola: 1085128 markings, 3265299 edges, 5042 markings/sec, 210 secs
lola: 1110285 markings, 3342519 edges, 5031 markings/sec, 215 secs
lola: 1135660 markings, 3416930 edges, 5075 markings/sec, 220 secs
lola: 1160992 markings, 3491520 edges, 5066 markings/sec, 225 secs
lola: 1186431 markings, 3568362 edges, 5088 markings/sec, 230 secs
lola: 1211912 markings, 3646867 edges, 5096 markings/sec, 235 secs
lola: 1237148 markings, 3727522 edges, 5047 markings/sec, 240 secs
lola: 1261941 markings, 3802836 edges, 4959 markings/sec, 245 secs
lola: 1286972 markings, 3877672 edges, 5006 markings/sec, 250 secs
lola: 1311486 markings, 3948875 edges, 4903 markings/sec, 255 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown 10 unknown 10 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 452848 KB
lola: time consumption: 1998 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 261 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__18_11_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__18_11_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D20N010-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: 24288 markings, 84688 edges, 4858 markings/sec, 0 secs
lola: 49489 markings, 171879 edges, 5040 markings/sec, 5 secs
lola: 74806 markings, 261695 edges, 5063 markings/sec, 10 secs
lola: 99792 markings, 361946 edges, 4997 markings/sec, 15 secs
lola: 125318 markings, 455416 edges, 5105 markings/sec, 20 secs
lola: 150193 markings, 548048 edges, 4975 markings/sec, 25 secs
lola: 175900 markings, 637619 edges, 5141 markings/sec, 30 secs
lola: 201343 markings, 735041 edges, 5089 markings/sec, 35 secs
lola: 226870 markings, 827023 edges, 5105 markings/sec, 40 secs
lola: 252407 markings, 909789 edges, 5107 markings/sec, 45 secs
lola: 278221 markings, 994638 edges, 5163 markings/sec, 50 secs
lola: 303963 markings, 1077887 edges, 5148 markings/sec, 55 secs
lola: 329653 markings, 1164776 edges, 5138 markings/sec, 60 secs
lola: 355102 markings, 1254992 edges, 5090 markings/sec, 65 secs
lola: 380682 markings, 1341603 edges, 5116 markings/sec, 70 secs
lola: 406561 markings, 1424984 edges, 5176 markings/sec, 75 secs
lola: 432484 markings, 1508004 edges, 5185 markings/sec, 80 secs
lola: 458422 markings, 1590858 edges, 5188 markings/sec, 85 secs
lola: 484121 markings, 1672660 edges, 5140 markings/sec, 90 secs
lola: 509619 markings, 1759393 edges, 5100 markings/sec, 95 secs
lola: 534625 markings, 1846507 edges, 5001 markings/sec, 100 secs
lola: 559970 markings, 1931468 edges, 5069 markings/sec, 105 secs
lola: 585810 markings, 2011802 edges, 5168 markings/sec, 110 secs
lola: 611548 markings, 2097569 edges, 5148 markings/sec, 115 secs
lola: 637329 markings, 2182855 edges, 5156 markings/sec, 120 secs
lola: 662283 markings, 2269561 edges, 4991 markings/sec, 125 secs
lola: 687615 markings, 2355309 edges, 5066 markings/sec, 130 secs
lola: 713271 markings, 2442038 edges, 5131 markings/sec, 135 secs
lola: 738834 markings, 2529898 edges, 5113 markings/sec, 140 secs
lola: 764586 markings, 2614966 edges, 5150 markings/sec, 145 secs
lola: 790269 markings, 2700234 edges, 5137 markings/sec, 150 secs
lola: 815702 markings, 2784430 edges, 5087 markings/sec, 155 secs
lola: 841300 markings, 2868612 edges, 5120 markings/sec, 160 secs
lola: 866717 markings, 2953299 edges, 5083 markings/sec, 165 secs
lola: 891811 markings, 3041844 edges, 5019 markings/sec, 170 secs
lola: 917429 markings, 3126613 edges, 5124 markings/sec, 175 secs
lola: 943215 markings, 3208917 edges, 5157 markings/sec, 180 secs
lola: 968983 markings, 3295205 edges, 5154 markings/sec, 185 secs
lola: 994724 markings, 3380741 edges, 5148 markings/sec, 190 secs
lola: 1020255 markings, 3462555 edges, 5106 markings/sec, 195 secs
lola: 1045782 markings, 3544304 edges, 5105 markings/sec, 200 secs
lola: 1071216 markings, 3627273 edges, 5087 markings/sec, 205 secs
lola: 1096979 markings, 3711105 edges, 5153 markings/sec, 210 secs
lola: 1122768 markings, 3793595 edges, 5158 markings/sec, 215 secs
lola: 1148315 markings, 3881795 edges, 5109 markings/sec, 220 secs
lola: 1173816 markings, 3970074 edges, 5100 markings/sec, 225 secs
lola: 1199389 markings, 4055886 edges, 5115 markings/sec, 230 secs
lola: 1224349 markings, 4138986 edges, 4992 markings/sec, 235 secs
lola: 1250115 markings, 4223056 edges, 5153 markings/sec, 240 secs
lola: 1276089 markings, 4306842 edges, 5195 markings/sec, 245 secs
lola: 1301941 markings, 4392083 edges, 5170 markings/sec, 250 secs
lola: 1327421 markings, 4480857 edges, 5096 markings/sec, 255 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown 10 unknown 10 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 393492 KB
lola: time consumption: 2259 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 262 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__18_16_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__18_16_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D20N010-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: 24694 markings, 92862 edges, 4939 markings/sec, 0 secs
lola: 50112 markings, 182261 edges, 5084 markings/sec, 5 secs
lola: 75651 markings, 276979 edges, 5108 markings/sec, 10 secs
lola: 101094 markings, 368678 edges, 5089 markings/sec, 15 secs
lola: 126478 markings, 464628 edges, 5077 markings/sec, 20 secs
lola: 152011 markings, 556935 edges, 5107 markings/sec, 25 secs
lola: 177738 markings, 643363 edges, 5145 markings/sec, 30 secs
lola: 203377 markings, 732490 edges, 5128 markings/sec, 35 secs
lola: 229047 markings, 823985 edges, 5134 markings/sec, 40 secs
lola: 254405 markings, 914354 edges, 5072 markings/sec, 45 secs
lola: 279713 markings, 1014906 edges, 5062 markings/sec, 50 secs
lola: 305323 markings, 1107788 edges, 5122 markings/sec, 55 secs
lola: 330603 markings, 1200606 edges, 5056 markings/sec, 60 secs
lola: 356045 markings, 1295042 edges, 5088 markings/sec, 65 secs
lola: 381576 markings, 1389992 edges, 5106 markings/sec, 70 secs
lola: 407094 markings, 1486275 edges, 5104 markings/sec, 75 secs
lola: 431912 markings, 1582615 edges, 4964 markings/sec, 80 secs
lola: 457212 markings, 1675183 edges, 5060 markings/sec, 85 secs
lola: 482526 markings, 1773516 edges, 5063 markings/sec, 90 secs
lola: 508116 markings, 1868753 edges, 5118 markings/sec, 95 secs
lola: 533561 markings, 1966728 edges, 5089 markings/sec, 100 secs
lola: 559145 markings, 2061424 edges, 5117 markings/sec, 105 secs
lola: 584679 markings, 2154764 edges, 5107 markings/sec, 110 secs
lola: 609844 markings, 2252601 edges, 5033 markings/sec, 115 secs
lola: 635123 markings, 2346101 edges, 5056 markings/sec, 120 secs
lola: 660562 markings, 2442449 edges, 5088 markings/sec, 125 secs
lola: 685351 markings, 2535703 edges, 4958 markings/sec, 130 secs
lola: 709998 markings, 2630834 edges, 4929 markings/sec, 135 secs
lola: 735409 markings, 2722706 edges, 5082 markings/sec, 140 secs
lola: 761067 markings, 2809388 edges, 5132 markings/sec, 145 secs
lola: 786374 markings, 2899874 edges, 5061 markings/sec, 150 secs
lola: 811890 markings, 2990911 edges, 5103 markings/sec, 155 secs
lola: 837100 markings, 3079042 edges, 5042 markings/sec, 160 secs
lola: 862066 markings, 3175934 edges, 4993 markings/sec, 165 secs
lola: 887471 markings, 3264295 edges, 5081 markings/sec, 170 secs
lola: 912297 markings, 3351848 edges, 4965 markings/sec, 175 secs
lola: 937667 markings, 3442085 edges, 5074 markings/sec, 180 secs
lola: 963029 markings, 3531508 edges, 5072 markings/sec, 185 secs
lola: 988356 markings, 3620548 edges, 5065 markings/sec, 190 secs
lola: 1013430 markings, 3712085 edges, 5015 markings/sec, 195 secs
lola: 1038639 markings, 3803557 edges, 5042 markings/sec, 200 secs
lola: 1063890 markings, 3890198 edges, 5050 markings/sec, 205 secs
lola: 1088885 markings, 3976760 edges, 4999 markings/sec, 210 secs
lola: 1113616 markings, 4065265 edges, 4946 markings/sec, 215 secs
lola: 1138700 markings, 4157614 edges, 5017 markings/sec, 220 secs
lola: 1163269 markings, 4246482 edges, 4914 markings/sec, 225 secs
lola: 1187691 markings, 4336953 edges, 4884 markings/sec, 230 secs
lola: 1212801 markings, 4426223 edges, 5022 markings/sec, 235 secs
lola: 1237750 markings, 4523684 edges, 4990 markings/sec, 240 secs
lola: 1262839 markings, 4610746 edges, 5018 markings/sec, 245 secs
lola: 1287266 markings, 4694070 edges, 4885 markings/sec, 250 secs
lola: 1312150 markings, 4778395 edges, 4977 markings/sec, 255 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown 10 unknown 10 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 389444 KB
lola: time consumption: 2521 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 261 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__10_17_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__10_17_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D20N010-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: 23424 markings, 81572 edges, 4685 markings/sec, 0 secs
lola: 47309 markings, 167419 edges, 4777 markings/sec, 5 secs
lola: 71834 markings, 256932 edges, 4905 markings/sec, 10 secs
lola: 96763 markings, 334164 edges, 4986 markings/sec, 15 secs
lola: 121394 markings, 418078 edges, 4926 markings/sec, 20 secs
lola: 145906 markings, 499784 edges, 4902 markings/sec, 25 secs
lola: 170322 markings, 584847 edges, 4883 markings/sec, 30 secs
lola: 194762 markings, 670381 edges, 4888 markings/sec, 35 secs
lola: 219043 markings, 755634 edges, 4856 markings/sec, 40 secs
lola: 243409 markings, 841311 edges, 4873 markings/sec, 45 secs
lola: 267477 markings, 925456 edges, 4814 markings/sec, 50 secs
lola: 291768 markings, 1014212 edges, 4858 markings/sec, 55 secs
lola: 316056 markings, 1094293 edges, 4858 markings/sec, 60 secs
lola: 340476 markings, 1172498 edges, 4884 markings/sec, 65 secs
lola: 365381 markings, 1256164 edges, 4981 markings/sec, 70 secs
lola: 390164 markings, 1338746 edges, 4957 markings/sec, 75 secs
lola: 414277 markings, 1421254 edges, 4823 markings/sec, 80 secs
lola: 438779 markings, 1504864 edges, 4900 markings/sec, 85 secs
lola: 463310 markings, 1590407 edges, 4906 markings/sec, 90 secs
lola: 488143 markings, 1667222 edges, 4967 markings/sec, 95 secs
lola: 512814 markings, 1746758 edges, 4934 markings/sec, 100 secs
lola: 537096 markings, 1826268 edges, 4856 markings/sec, 105 secs
lola: 561727 markings, 1914480 edges, 4926 markings/sec, 110 secs
lola: 586473 markings, 1999107 edges, 4949 markings/sec, 115 secs
lola: 611217 markings, 2085299 edges, 4949 markings/sec, 120 secs
lola: 635801 markings, 2177448 edges, 4917 markings/sec, 125 secs
lola: 660519 markings, 2254578 edges, 4944 markings/sec, 130 secs
lola: 685205 markings, 2328173 edges, 4937 markings/sec, 135 secs
lola: 710299 markings, 2403586 edges, 5019 markings/sec, 140 secs
lola: 735107 markings, 2478671 edges, 4962 markings/sec, 145 secs
lola: 759281 markings, 2554800 edges, 4835 markings/sec, 150 secs
lola: 784101 markings, 2631797 edges, 4964 markings/sec, 155 secs
lola: 809222 markings, 2707285 edges, 5024 markings/sec, 160 secs
lola: 834116 markings, 2789818 edges, 4979 markings/sec, 165 secs
lola: 858411 markings, 2872574 edges, 4859 markings/sec, 170 secs
lola: 883424 markings, 2955299 edges, 5003 markings/sec, 175 secs
lola: 908462 markings, 3039678 edges, 5008 markings/sec, 180 secs
lola: 933578 markings, 3118518 edges, 5023 markings/sec, 185 secs
lola: 958616 markings, 3199787 edges, 5008 markings/sec, 190 secs
lola: 983325 markings, 3280232 edges, 4942 markings/sec, 195 secs
lola: 1008209 markings, 3360269 edges, 4977 markings/sec, 200 secs
lola: 1032758 markings, 3439956 edges, 4910 markings/sec, 205 secs
lola: 1057250 markings, 3524104 edges, 4898 markings/sec, 210 secs
lola: 1081265 markings, 3601832 edges, 4803 markings/sec, 215 secs
lola: 1106345 markings, 3676927 edges, 5016 markings/sec, 220 secs
lola: 1130886 markings, 3758375 edges, 4908 markings/sec, 225 secs
lola: 1155813 markings, 3838572 edges, 4985 markings/sec, 230 secs
lola: 1180586 markings, 3921820 edges, 4955 markings/sec, 235 secs
lola: 1205753 markings, 4001084 edges, 5033 markings/sec, 240 secs
lola: 1231014 markings, 4082497 edges, 5052 markings/sec, 245 secs
lola: 1256036 markings, 4167701 edges, 5004 markings/sec, 250 secs
lola: 1281039 markings, 4245994 edges, 5001 markings/sec, 255 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown 10 unknown 10 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 346504 KB
lola: time consumption: 2783 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 262 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__1_20_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__1_20_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D20N010-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: 24746 markings, 76824 edges, 4949 markings/sec, 0 secs
lola: 50400 markings, 157548 edges, 5131 markings/sec, 5 secs
lola: 75553 markings, 237467 edges, 5031 markings/sec, 10 secs
lola: 100960 markings, 316518 edges, 5081 markings/sec, 15 secs
lola: 126264 markings, 396840 edges, 5061 markings/sec, 20 secs
lola: 151606 markings, 476047 edges, 5068 markings/sec, 25 secs
lola: 176984 markings, 557691 edges, 5076 markings/sec, 30 secs
lola: 202642 markings, 638691 edges, 5132 markings/sec, 35 secs
lola: 228444 markings, 719857 edges, 5160 markings/sec, 40 secs
lola: 253649 markings, 798574 edges, 5041 markings/sec, 45 secs
lola: 278778 markings, 876070 edges, 5026 markings/sec, 50 secs
lola: 304176 markings, 954285 edges, 5080 markings/sec, 55 secs
lola: 329549 markings, 1032874 edges, 5075 markings/sec, 60 secs
lola: 355305 markings, 1110763 edges, 5151 markings/sec, 65 secs
lola: 381125 markings, 1190857 edges, 5164 markings/sec, 70 secs
lola: 406164 markings, 1268449 edges, 5008 markings/sec, 75 secs
lola: 431026 markings, 1344420 edges, 4972 markings/sec, 80 secs
lola: 456100 markings, 1424735 edges, 5015 markings/sec, 85 secs
lola: 480999 markings, 1501030 edges, 4980 markings/sec, 90 secs
lola: 506632 markings, 1582365 edges, 5127 markings/sec, 95 secs
lola: 531642 markings, 1660659 edges, 5002 markings/sec, 100 secs
lola: 557166 markings, 1743262 edges, 5105 markings/sec, 105 secs
lola: 582456 markings, 1820708 edges, 5058 markings/sec, 110 secs
lola: 607611 markings, 1900483 edges, 5031 markings/sec, 115 secs
lola: 633222 markings, 1979301 edges, 5122 markings/sec, 120 secs
lola: 658837 markings, 2062617 edges, 5123 markings/sec, 125 secs
lola: 684435 markings, 2142848 edges, 5120 markings/sec, 130 secs
lola: 708675 markings, 2221325 edges, 4848 markings/sec, 135 secs
lola: 734256 markings, 2299070 edges, 5116 markings/sec, 140 secs
lola: 760317 markings, 2379367 edges, 5212 markings/sec, 145 secs
lola: 786102 markings, 2460346 edges, 5157 markings/sec, 150 secs
lola: 811936 markings, 2541478 edges, 5167 markings/sec, 155 secs
lola: 837793 markings, 2620596 edges, 5171 markings/sec, 160 secs
lola: 863650 markings, 2700604 edges, 5171 markings/sec, 165 secs
lola: 889601 markings, 2779784 edges, 5190 markings/sec, 170 secs
lola: 915388 markings, 2862006 edges, 5157 markings/sec, 175 secs
lola: 941154 markings, 2943908 edges, 5153 markings/sec, 180 secs
lola: 966691 markings, 3023598 edges, 5107 markings/sec, 185 secs
lola: 992156 markings, 3102323 edges, 5093 markings/sec, 190 secs
lola: 1017656 markings, 3183142 edges, 5100 markings/sec, 195 secs
lola: 1042483 markings, 3267861 edges, 4965 markings/sec, 200 secs
lola: 1067785 markings, 3348196 edges, 5060 markings/sec, 205 secs
lola: 1093384 markings, 3428060 edges, 5120 markings/sec, 210 secs
lola: 1119109 markings, 3507397 edges, 5145 markings/sec, 215 secs
lola: 1144632 markings, 3588437 edges, 5105 markings/sec, 220 secs
lola: 1170235 markings, 3667523 edges, 5121 markings/sec, 225 secs
lola: 1195039 markings, 3745033 edges, 4961 markings/sec, 230 secs
lola: 1220053 markings, 3823315 edges, 5003 markings/sec, 235 secs
lola: 1245775 markings, 3903430 edges, 5144 markings/sec, 240 secs
lola: 1271499 markings, 3983582 edges, 5145 markings/sec, 245 secs
lola: 1296889 markings, 4063272 edges, 5078 markings/sec, 250 secs
lola: 1322513 markings, 4144851 edges, 5125 markings/sec, 255 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown 10 unknown 10 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 358384 KB
lola: time consumption: 3045 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 262 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__16_15_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__16_15_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D20N010-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: 24473 markings, 89661 edges, 4895 markings/sec, 0 secs
lola: 49834 markings, 181354 edges, 5072 markings/sec, 5 secs
lola: 74973 markings, 268824 edges, 5028 markings/sec, 10 secs
lola: 100270 markings, 358142 edges, 5059 markings/sec, 15 secs
lola: 125693 markings, 447760 edges, 5085 markings/sec, 20 secs
lola: 151073 markings, 536721 edges, 5076 markings/sec, 25 secs
lola: 176506 markings, 626591 edges, 5087 markings/sec, 30 secs
lola: 202100 markings, 712209 edges, 5119 markings/sec, 35 secs
lola: 227474 markings, 801792 edges, 5075 markings/sec, 40 secs
lola: 251896 markings, 888857 edges, 4884 markings/sec, 45 secs
lola: 276628 markings, 979938 edges, 4946 markings/sec, 50 secs
lola: 301352 markings, 1063331 edges, 4945 markings/sec, 55 secs
lola: 326480 markings, 1148214 edges, 5026 markings/sec, 60 secs
lola: 352070 markings, 1234100 edges, 5118 markings/sec, 65 secs
lola: 377398 markings, 1317578 edges, 5066 markings/sec, 70 secs
lola: 403051 markings, 1400799 edges, 5131 markings/sec, 75 secs
lola: 428616 markings, 1486584 edges, 5113 markings/sec, 80 secs
lola: 453381 markings, 1572311 edges, 4953 markings/sec, 85 secs
lola: 478709 markings, 1656065 edges, 5066 markings/sec, 90 secs
lola: 504033 markings, 1743541 edges, 5065 markings/sec, 95 secs
lola: 528784 markings, 1829142 edges, 4950 markings/sec, 100 secs
lola: 554047 markings, 1912178 edges, 5053 markings/sec, 105 secs
lola: 579705 markings, 1997474 edges, 5132 markings/sec, 110 secs
lola: 605205 markings, 2082526 edges, 5100 markings/sec, 115 secs
lola: 630711 markings, 2166481 edges, 5101 markings/sec, 120 secs
lola: 656007 markings, 2253562 edges, 5059 markings/sec, 125 secs
lola: 681485 markings, 2337344 edges, 5096 markings/sec, 130 secs
lola: 707200 markings, 2419855 edges, 5143 markings/sec, 135 secs
lola: 732659 markings, 2505576 edges, 5092 markings/sec, 140 secs
lola: 758289 markings, 2590095 edges, 5126 markings/sec, 145 secs
lola: 783957 markings, 2675368 edges, 5134 markings/sec, 150 secs
lola: 809477 markings, 2761233 edges, 5104 markings/sec, 155 secs
lola: 834859 markings, 2844121 edges, 5076 markings/sec, 160 secs
lola: 860101 markings, 2929806 edges, 5048 markings/sec, 165 secs
lola: 885272 markings, 3015037 edges, 5034 markings/sec, 170 secs
lola: 910387 markings, 3099213 edges, 5023 markings/sec, 175 secs
lola: 935418 markings, 3180452 edges, 5006 markings/sec, 180 secs
lola: 960693 markings, 3266037 edges, 5055 markings/sec, 185 secs
lola: 985752 markings, 3350627 edges, 5012 markings/sec, 190 secs
lola: 1011016 markings, 3434405 edges, 5053 markings/sec, 195 secs
lola: 1036428 markings, 3518819 edges, 5082 markings/sec, 200 secs
lola: 1061864 markings, 3601603 edges, 5087 markings/sec, 205 secs
lola: 1087181 markings, 3685950 edges, 5063 markings/sec, 210 secs
lola: 1112415 markings, 3769441 edges, 5047 markings/sec, 215 secs
lola: 1137823 markings, 3855088 edges, 5082 markings/sec, 220 secs
lola: 1162746 markings, 3941355 edges, 4985 markings/sec, 225 secs
lola: 1187845 markings, 4026045 edges, 5020 markings/sec, 230 secs
lola: 1213355 markings, 4110451 edges, 5102 markings/sec, 235 secs
lola: 1238588 markings, 4194306 edges, 5047 markings/sec, 240 secs
lola: 1263557 markings, 4280827 edges, 4994 markings/sec, 245 secs
lola: 1288472 markings, 4362758 edges, 4983 markings/sec, 250 secs
lola: 1313642 markings, 4446961 edges, 5034 markings/sec, 255 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown 10 unknown 10 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 385428 KB
lola: time consumption: 3307 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 262 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__9_14_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__9_14_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D20N010-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: 24031 markings, 87849 edges, 4806 markings/sec, 0 secs
lola: 48723 markings, 181932 edges, 4938 markings/sec, 5 secs
lola: 73290 markings, 277880 edges, 4913 markings/sec, 10 secs
lola: 97738 markings, 370511 edges, 4890 markings/sec, 15 secs
lola: 121910 markings, 461588 edges, 4834 markings/sec, 20 secs
lola: 146106 markings, 553072 edges, 4839 markings/sec, 25 secs
lola: 170485 markings, 646482 edges, 4876 markings/sec, 30 secs
lola: 195098 markings, 739201 edges, 4923 markings/sec, 35 secs
lola: 219807 markings, 834248 edges, 4942 markings/sec, 40 secs
lola: 244338 markings, 931004 edges, 4906 markings/sec, 45 secs
lola: 268894 markings, 1024201 edges, 4911 markings/sec, 50 secs
lola: 293035 markings, 1119382 edges, 4828 markings/sec, 55 secs
lola: 317687 markings, 1212472 edges, 4930 markings/sec, 60 secs
lola: 341995 markings, 1316607 edges, 4862 markings/sec, 65 secs
lola: 366527 markings, 1414057 edges, 4906 markings/sec, 70 secs
lola: 390918 markings, 1506957 edges, 4878 markings/sec, 75 secs
lola: 415215 markings, 1597149 edges, 4859 markings/sec, 80 secs
lola: 439958 markings, 1688351 edges, 4949 markings/sec, 85 secs
lola: 464803 markings, 1781930 edges, 4969 markings/sec, 90 secs
lola: 488386 markings, 1870678 edges, 4717 markings/sec, 95 secs
lola: 512739 markings, 1971060 edges, 4871 markings/sec, 100 secs
lola: 537267 markings, 2064599 edges, 4906 markings/sec, 105 secs
lola: 561337 markings, 2160667 edges, 4814 markings/sec, 110 secs
lola: 585804 markings, 2252452 edges, 4893 markings/sec, 115 secs
lola: 610695 markings, 2349698 edges, 4978 markings/sec, 120 secs
lola: 635499 markings, 2447724 edges, 4961 markings/sec, 125 secs
lola: 660320 markings, 2547282 edges, 4964 markings/sec, 130 secs
lola: 685021 markings, 2649768 edges, 4940 markings/sec, 135 secs
lola: 709722 markings, 2753085 edges, 4940 markings/sec, 140 secs
lola: 734531 markings, 2853501 edges, 4962 markings/sec, 145 secs
lola: 759346 markings, 2950172 edges, 4963 markings/sec, 150 secs
lola: 784209 markings, 3045829 edges, 4973 markings/sec, 155 secs
lola: 808741 markings, 3142695 edges, 4906 markings/sec, 160 secs
lola: 833655 markings, 3241218 edges, 4983 markings/sec, 165 secs
lola: 858363 markings, 3345588 edges, 4942 markings/sec, 170 secs
lola: 882694 markings, 3444498 edges, 4866 markings/sec, 175 secs
lola: 907160 markings, 3543843 edges, 4893 markings/sec, 180 secs
lola: 931579 markings, 3637607 edges, 4884 markings/sec, 185 secs
lola: 955981 markings, 3731476 edges, 4880 markings/sec, 190 secs
lola: 980702 markings, 3826288 edges, 4944 markings/sec, 195 secs
lola: 1005397 markings, 3921754 edges, 4939 markings/sec, 200 secs
lola: 1029793 markings, 4016541 edges, 4879 markings/sec, 205 secs
lola: 1053977 markings, 4111441 edges, 4837 markings/sec, 210 secs
lola: 1078482 markings, 4205780 edges, 4901 markings/sec, 215 secs
lola: 1102895 markings, 4300267 edges, 4883 markings/sec, 220 secs
lola: 1127571 markings, 4394266 edges, 4935 markings/sec, 225 secs
lola: 1151926 markings, 4488688 edges, 4871 markings/sec, 230 secs
lola: 1176742 markings, 4581609 edges, 4963 markings/sec, 235 secs
lola: 1201533 markings, 4676295 edges, 4958 markings/sec, 240 secs
lola: 1226177 markings, 4775401 edges, 4929 markings/sec, 245 secs
lola: 1250895 markings, 4873524 edges, 4944 markings/sec, 250 secs
lola: 1275462 markings, 4969826 edges, 4913 markings/sec, 255 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown 10 unknown 10 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola:
preliminary result: unknown unknown unknown unknown 10 unknown 10 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 10 unknown 10 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 407760 KB
lola: time consumption: 3569 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown 10 unknown 10 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 407760 KB
lola: time consumption: 3569 seconds

BK_STOP 1552917579219

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

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