About the Execution of LoLA for Diffusion2D-PT-D30N050
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
521.810 | 3569239.00 | 3618257.00 | 1268.50 | [undef] | Cannot compute |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
................
/home/mcc/execution
total 3.2M
-rw-r--r-- 1 mcc users 3.6K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.8K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.7K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.9K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.3K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 113 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 351 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 3.2K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 8 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 3.0M May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is Diffusion2D-PT-D30N050, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r076-blw3-152649937000240
=====================================================================
--------------------
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-D30N050-UpperBounds-00
FORMULA_NAME Diffusion2D-PT-D30N050-UpperBounds-01
FORMULA_NAME Diffusion2D-PT-D30N050-UpperBounds-02
FORMULA_NAME Diffusion2D-PT-D30N050-UpperBounds-03
FORMULA_NAME Diffusion2D-PT-D30N050-UpperBounds-04
FORMULA_NAME Diffusion2D-PT-D30N050-UpperBounds-05
FORMULA_NAME Diffusion2D-PT-D30N050-UpperBounds-06
FORMULA_NAME Diffusion2D-PT-D30N050-UpperBounds-07
FORMULA_NAME Diffusion2D-PT-D30N050-UpperBounds-08
FORMULA_NAME Diffusion2D-PT-D30N050-UpperBounds-09
FORMULA_NAME Diffusion2D-PT-D30N050-UpperBounds-10
FORMULA_NAME Diffusion2D-PT-D30N050-UpperBounds-11
FORMULA_NAME Diffusion2D-PT-D30N050-UpperBounds-12
FORMULA_NAME Diffusion2D-PT-D30N050-UpperBounds-13
FORMULA_NAME Diffusion2D-PT-D30N050-UpperBounds-14
FORMULA_NAME Diffusion2D-PT-D30N050-UpperBounds-15
=== Now, execution of the tool begins
BK_START 1526684374862
info: Time: 3600 - MCC
===========================================================================================
prep: translating Diffusion2D-PT-D30N050 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating Diffusion2D-PT-D30N050 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ Diffusion2D-PT-D30N050 @ 3569 seconds
lola: LoLA will run for 3569 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 7744/65536 symbol table entries, 1051 collisions
lola: preprocessing...
lola: Size of bit vector: 28800
lola: finding significant places
lola: 900 places, 6844 transitions, 899 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 900 transition conflict sets
lola: TASK
lola: reading formula from Diffusion2D-PT-D30N050-UpperBounds.task
lola: MAX(cAMP__18_15_) : MAX(cAMP__9_9_) : MAX(cAMP__29_28_) : MAX(cAMP__8_20_) : MAX(cAMP__24_16_) : MAX(cAMP__7_20_) : MAX(cAMP__3_22_) : MAX(cAMP__20_28_) : MAX(cAMP__28_30_) : MAX(cAMP__14_7_) : MAX(cAMP__20_9_) : MAX(cAMP__16_21_) : MAX(cAMP__17_8_) : MAX(cAMP__24_5_) : MAX(cAMP__3_25_) : MAX(cAMP__17_20_)
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__18_15_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__18_15_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D30N050-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: 50
lola: 17156 markings, 57574 edges, 3431 markings/sec, 0 secs
lola: 36415 markings, 125551 edges, 3852 markings/sec, 5 secs
lola: 55806 markings, 195293 edges, 3878 markings/sec, 10 secs
lola: 75123 markings, 266917 edges, 3863 markings/sec, 15 secs
lola: 94420 markings, 339139 edges, 3859 markings/sec, 20 secs
lola: 113850 markings, 407712 edges, 3886 markings/sec, 25 secs
lola: 133108 markings, 479669 edges, 3852 markings/sec, 30 secs
lola: 152357 markings, 550851 edges, 3850 markings/sec, 35 secs
lola: 171229 markings, 621797 edges, 3774 markings/sec, 40 secs
lola: 190505 markings, 694434 edges, 3855 markings/sec, 45 secs
lola: 209932 markings, 763118 edges, 3885 markings/sec, 50 secs
lola: 229356 markings, 832837 edges, 3885 markings/sec, 55 secs
lola: 248743 markings, 902246 edges, 3877 markings/sec, 60 secs
lola: 268163 markings, 970961 edges, 3884 markings/sec, 65 secs
lola: 287623 markings, 1038506 edges, 3892 markings/sec, 70 secs
lola: 306879 markings, 1112352 edges, 3851 markings/sec, 75 secs
lola: 326082 markings, 1186899 edges, 3841 markings/sec, 80 secs
lola: 345348 markings, 1259730 edges, 3853 markings/sec, 85 secs
lola: 364580 markings, 1332738 edges, 3846 markings/sec, 90 secs
lola: 383742 markings, 1408184 edges, 3832 markings/sec, 95 secs
lola: 403039 markings, 1479850 edges, 3859 markings/sec, 100 secs
lola: 422224 markings, 1553950 edges, 3837 markings/sec, 105 secs
lola: 441370 markings, 1629143 edges, 3829 markings/sec, 110 secs
lola: 460494 markings, 1704914 edges, 3825 markings/sec, 115 secs
lola: 479874 markings, 1774652 edges, 3876 markings/sec, 120 secs
lola: 499386 markings, 1841139 edges, 3902 markings/sec, 125 secs
lola: 518858 markings, 1908757 edges, 3894 markings/sec, 130 secs
lola: 538204 markings, 1979121 edges, 3869 markings/sec, 135 secs
lola: 557483 markings, 2051067 edges, 3856 markings/sec, 140 secs
lola: 576634 markings, 2127093 edges, 3830 markings/sec, 145 secs
lola: 596042 markings, 2195511 edges, 3882 markings/sec, 150 secs
lola: 615556 markings, 2261965 edges, 3903 markings/sec, 155 secs
lola: 634970 markings, 2330002 edges, 3883 markings/sec, 160 secs
lola: 654228 markings, 2403283 edges, 3852 markings/sec, 165 secs
lola: 673459 markings, 2477042 edges, 3846 markings/sec, 170 secs
lola: 692684 markings, 2550557 edges, 3845 markings/sec, 175 secs
lola: 712014 markings, 2620451 edges, 3866 markings/sec, 180 secs
lola: 731266 markings, 2693064 edges, 3850 markings/sec, 185 secs
lola: 750426 markings, 2767752 edges, 3832 markings/sec, 190 secs
lola: 769672 markings, 2840012 edges, 3849 markings/sec, 195 secs
lola: 788859 markings, 2914429 edges, 3837 markings/sec, 200 secs
lola: 808074 markings, 2988077 edges, 3843 markings/sec, 205 secs
lola: 827266 markings, 3061250 edges, 3838 markings/sec, 210 secs
lola: 846444 markings, 3135748 edges, 3836 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: 374056 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__9_9_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__9_9_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D30N050-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: 50
lola: 17993 markings, 60053 edges, 3599 markings/sec, 0 secs
lola: 37190 markings, 125702 edges, 3839 markings/sec, 5 secs
lola: 56697 markings, 187032 edges, 3901 markings/sec, 10 secs
lola: 76273 markings, 243639 edges, 3915 markings/sec, 15 secs
lola: 95710 markings, 306135 edges, 3887 markings/sec, 20 secs
lola: 115302 markings, 366343 edges, 3918 markings/sec, 25 secs
lola: 134986 markings, 424422 edges, 3937 markings/sec, 30 secs
lola: 154518 markings, 485152 edges, 3906 markings/sec, 35 secs
lola: 174081 markings, 546370 edges, 3913 markings/sec, 40 secs
lola: 193662 markings, 607710 edges, 3916 markings/sec, 45 secs
lola: 213190 markings, 670439 edges, 3906 markings/sec, 50 secs
lola: 232644 markings, 726856 edges, 3891 markings/sec, 55 secs
lola: 252191 markings, 783816 edges, 3909 markings/sec, 60 secs
lola: 271719 markings, 843095 edges, 3906 markings/sec, 65 secs
lola: 291341 markings, 901258 edges, 3924 markings/sec, 70 secs
lola: 311031 markings, 959830 edges, 3938 markings/sec, 75 secs
lola: 330610 markings, 1020191 edges, 3916 markings/sec, 80 secs
lola: 350141 markings, 1080036 edges, 3906 markings/sec, 85 secs
lola: 369735 markings, 1138401 edges, 3919 markings/sec, 90 secs
lola: 389230 markings, 1198362 edges, 3899 markings/sec, 95 secs
lola: 408683 markings, 1257687 edges, 3891 markings/sec, 100 secs
lola: 428103 markings, 1317528 edges, 3884 markings/sec, 105 secs
lola: 447523 markings, 1377515 edges, 3884 markings/sec, 110 secs
lola: 467006 markings, 1436908 edges, 3897 markings/sec, 115 secs
lola: 486557 markings, 1497957 edges, 3910 markings/sec, 120 secs
lola: 505967 markings, 1556271 edges, 3882 markings/sec, 125 secs
lola: 525237 markings, 1615385 edges, 3854 markings/sec, 130 secs
lola: 544602 markings, 1678356 edges, 3873 markings/sec, 135 secs
lola: 564319 markings, 1737983 edges, 3943 markings/sec, 140 secs
lola: 583858 markings, 1800354 edges, 3908 markings/sec, 145 secs
lola: 603142 markings, 1864704 edges, 3857 markings/sec, 150 secs
lola: 622607 markings, 1924931 edges, 3893 markings/sec, 155 secs
lola: 641902 markings, 1985809 edges, 3859 markings/sec, 160 secs
lola: 661325 markings, 2048639 edges, 3885 markings/sec, 165 secs
lola: 680909 markings, 2107174 edges, 3917 markings/sec, 170 secs
lola: 700352 markings, 2166685 edges, 3889 markings/sec, 175 secs
lola: 719843 markings, 2225671 edges, 3898 markings/sec, 180 secs
lola: 739329 markings, 2286771 edges, 3897 markings/sec, 185 secs
lola: 758873 markings, 2349654 edges, 3909 markings/sec, 190 secs
lola: 778226 markings, 2409296 edges, 3871 markings/sec, 195 secs
lola: 797987 markings, 2468641 edges, 3952 markings/sec, 200 secs
lola: 817661 markings, 2528781 edges, 3935 markings/sec, 205 secs
lola: 837002 markings, 2591560 edges, 3868 markings/sec, 210 secs
lola: 856461 markings, 2654819 edges, 3892 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: 276044 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__29_28_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__29_28_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D30N050-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: 50
lola: 18173 markings, 62161 edges, 3635 markings/sec, 0 secs
lola: 37943 markings, 131311 edges, 3954 markings/sec, 5 secs
lola: 57767 markings, 203619 edges, 3965 markings/sec, 10 secs
lola: 77643 markings, 274835 edges, 3975 markings/sec, 15 secs
lola: 97508 markings, 345680 edges, 3973 markings/sec, 20 secs
lola: 117353 markings, 416872 edges, 3969 markings/sec, 25 secs
lola: 137185 markings, 488354 edges, 3966 markings/sec, 30 secs
lola: 157061 markings, 559610 edges, 3975 markings/sec, 35 secs
lola: 176922 markings, 628405 edges, 3972 markings/sec, 40 secs
lola: 196716 markings, 699859 edges, 3959 markings/sec, 45 secs
lola: 216526 markings, 769861 edges, 3962 markings/sec, 50 secs
lola: 236245 markings, 842565 edges, 3944 markings/sec, 55 secs
lola: 256050 markings, 914245 edges, 3961 markings/sec, 60 secs
lola: 275834 markings, 985853 edges, 3957 markings/sec, 65 secs
lola: 295704 markings, 1056688 edges, 3974 markings/sec, 70 secs
lola: 315431 markings, 1130605 edges, 3945 markings/sec, 75 secs
lola: 335253 markings, 1203344 edges, 3964 markings/sec, 80 secs
lola: 355078 markings, 1276622 edges, 3965 markings/sec, 85 secs
lola: 374921 markings, 1349441 edges, 3969 markings/sec, 90 secs
lola: 394673 markings, 1425137 edges, 3950 markings/sec, 95 secs
lola: 414533 markings, 1497829 edges, 3972 markings/sec, 100 secs
lola: 434364 markings, 1570446 edges, 3966 markings/sec, 105 secs
lola: 454221 markings, 1643054 edges, 3971 markings/sec, 110 secs
lola: 474103 markings, 1713494 edges, 3976 markings/sec, 115 secs
lola: 493955 markings, 1784302 edges, 3970 markings/sec, 120 secs
lola: 513814 markings, 1855672 edges, 3972 markings/sec, 125 secs
lola: 533574 markings, 1929562 edges, 3952 markings/sec, 130 secs
lola: 553392 markings, 2001924 edges, 3964 markings/sec, 135 secs
lola: 573161 markings, 2075735 edges, 3954 markings/sec, 140 secs
lola: 592917 markings, 2150430 edges, 3951 markings/sec, 145 secs
lola: 612644 markings, 2225926 edges, 3945 markings/sec, 150 secs
lola: 632456 markings, 2297990 edges, 3962 markings/sec, 155 secs
lola: 652313 markings, 2369283 edges, 3971 markings/sec, 160 secs
lola: 672106 markings, 2442067 edges, 3959 markings/sec, 165 secs
lola: 691878 markings, 2513633 edges, 3954 markings/sec, 170 secs
lola: 711720 markings, 2586119 edges, 3968 markings/sec, 175 secs
lola: 731501 markings, 2658285 edges, 3956 markings/sec, 180 secs
lola: 751350 markings, 2728163 edges, 3970 markings/sec, 185 secs
lola: 771215 markings, 2799139 edges, 3973 markings/sec, 190 secs
lola: 791057 markings, 2868828 edges, 3968 markings/sec, 195 secs
lola: 810802 markings, 2939481 edges, 3949 markings/sec, 200 secs
lola: 830599 markings, 3009352 edges, 3959 markings/sec, 205 secs
lola: 850429 markings, 3079243 edges, 3966 markings/sec, 210 secs
lola: 870185 markings, 3149396 edges, 3951 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: 255588 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__8_20_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__8_20_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D30N050-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: 50
lola: 18015 markings, 64447 edges, 3603 markings/sec, 0 secs
lola: 37316 markings, 140564 edges, 3860 markings/sec, 5 secs
lola: 56758 markings, 213178 edges, 3888 markings/sec, 10 secs
lola: 76242 markings, 284160 edges, 3897 markings/sec, 15 secs
lola: 95672 markings, 351251 edges, 3886 markings/sec, 20 secs
lola: 115276 markings, 419196 edges, 3921 markings/sec, 25 secs
lola: 134582 markings, 489014 edges, 3861 markings/sec, 30 secs
lola: 153940 markings, 559496 edges, 3872 markings/sec, 35 secs
lola: 173149 markings, 630585 edges, 3842 markings/sec, 40 secs
lola: 192446 markings, 701422 edges, 3859 markings/sec, 45 secs
lola: 211894 markings, 769632 edges, 3890 markings/sec, 50 secs
lola: 231196 markings, 842681 edges, 3860 markings/sec, 55 secs
lola: 250548 markings, 912474 edges, 3870 markings/sec, 60 secs
lola: 270104 markings, 980411 edges, 3911 markings/sec, 65 secs
lola: 289659 markings, 1050844 edges, 3911 markings/sec, 70 secs
lola: 309087 markings, 1120857 edges, 3886 markings/sec, 75 secs
lola: 328458 markings, 1189572 edges, 3874 markings/sec, 80 secs
lola: 348031 markings, 1255018 edges, 3915 markings/sec, 85 secs
lola: 367522 markings, 1322977 edges, 3898 markings/sec, 90 secs
lola: 386915 markings, 1391554 edges, 3879 markings/sec, 95 secs
lola: 406310 markings, 1461399 edges, 3879 markings/sec, 100 secs
lola: 425747 markings, 1528766 edges, 3887 markings/sec, 105 secs
lola: 444689 markings, 1599811 edges, 3788 markings/sec, 110 secs
lola: 463934 markings, 1672064 edges, 3849 markings/sec, 115 secs
lola: 483293 markings, 1739922 edges, 3872 markings/sec, 120 secs
lola: 502677 markings, 1808485 edges, 3877 markings/sec, 125 secs
lola: 521804 markings, 1876378 edges, 3825 markings/sec, 130 secs
lola: 540980 markings, 1949169 edges, 3835 markings/sec, 135 secs
lola: 560147 markings, 2017344 edges, 3833 markings/sec, 140 secs
lola: 579302 markings, 2085520 edges, 3831 markings/sec, 145 secs
lola: 598531 markings, 2159009 edges, 3846 markings/sec, 150 secs
lola: 617715 markings, 2228436 edges, 3837 markings/sec, 155 secs
lola: 637178 markings, 2298505 edges, 3893 markings/sec, 160 secs
lola: 656614 markings, 2368962 edges, 3887 markings/sec, 165 secs
lola: 676024 markings, 2439670 edges, 3882 markings/sec, 170 secs
lola: 695441 markings, 2506539 edges, 3883 markings/sec, 175 secs
lola: 714758 markings, 2577954 edges, 3863 markings/sec, 180 secs
lola: 734400 markings, 2646461 edges, 3928 markings/sec, 185 secs
lola: 753659 markings, 2720061 edges, 3852 markings/sec, 190 secs
lola: 772842 markings, 2793550 edges, 3837 markings/sec, 195 secs
lola: 792167 markings, 2862707 edges, 3865 markings/sec, 200 secs
lola: 811378 markings, 2931509 edges, 3842 markings/sec, 205 secs
lola: 830698 markings, 2999942 edges, 3864 markings/sec, 210 secs
lola: 850146 markings, 3068162 edges, 3890 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: 280248 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__24_16_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__24_16_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D30N050-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: 50
lola: 18067 markings, 63851 edges, 3613 markings/sec, 0 secs
lola: 37571 markings, 135212 edges, 3901 markings/sec, 5 secs
lola: 57165 markings, 205610 edges, 3919 markings/sec, 10 secs
lola: 76773 markings, 276060 edges, 3922 markings/sec, 15 secs
lola: 96268 markings, 347843 edges, 3899 markings/sec, 20 secs
lola: 115896 markings, 417821 edges, 3926 markings/sec, 25 secs
lola: 135503 markings, 486311 edges, 3921 markings/sec, 30 secs
lola: 155106 markings, 551189 edges, 3921 markings/sec, 35 secs
lola: 174807 markings, 618666 edges, 3940 markings/sec, 40 secs
lola: 194398 markings, 689086 edges, 3918 markings/sec, 45 secs
lola: 214062 markings, 760013 edges, 3933 markings/sec, 50 secs
lola: 233694 markings, 829651 edges, 3926 markings/sec, 55 secs
lola: 253294 markings, 898845 edges, 3920 markings/sec, 60 secs
lola: 272808 markings, 970827 edges, 3903 markings/sec, 65 secs
lola: 292586 markings, 1038231 edges, 3956 markings/sec, 70 secs
lola: 312290 markings, 1108282 edges, 3941 markings/sec, 75 secs
lola: 332025 markings, 1176653 edges, 3947 markings/sec, 80 secs
lola: 351855 markings, 1243752 edges, 3966 markings/sec, 85 secs
lola: 371609 markings, 1312020 edges, 3951 markings/sec, 90 secs
lola: 391379 markings, 1380303 edges, 3954 markings/sec, 95 secs
lola: 411112 markings, 1448916 edges, 3947 markings/sec, 100 secs
lola: 430772 markings, 1519308 edges, 3932 markings/sec, 105 secs
lola: 450427 markings, 1589326 edges, 3931 markings/sec, 110 secs
lola: 470143 markings, 1659122 edges, 3943 markings/sec, 115 secs
lola: 489778 markings, 1729586 edges, 3927 markings/sec, 120 secs
lola: 509448 markings, 1799354 edges, 3934 markings/sec, 125 secs
lola: 529182 markings, 1865729 edges, 3947 markings/sec, 130 secs
lola: 548908 markings, 1933751 edges, 3945 markings/sec, 135 secs
lola: 568529 markings, 2003085 edges, 3924 markings/sec, 140 secs
lola: 588178 markings, 2072481 edges, 3930 markings/sec, 145 secs
lola: 607998 markings, 2136426 edges, 3964 markings/sec, 150 secs
lola: 627744 markings, 2201584 edges, 3949 markings/sec, 155 secs
lola: 647457 markings, 2268879 edges, 3943 markings/sec, 160 secs
lola: 667219 markings, 2334910 edges, 3952 markings/sec, 165 secs
lola: 686905 markings, 2403569 edges, 3937 markings/sec, 170 secs
lola: 706690 markings, 2469604 edges, 3957 markings/sec, 175 secs
lola: 726318 markings, 2539356 edges, 3926 markings/sec, 180 secs
lola: 746092 markings, 2605210 edges, 3955 markings/sec, 185 secs
lola: 765902 markings, 2671477 edges, 3962 markings/sec, 190 secs
lola: 785550 markings, 2741621 edges, 3930 markings/sec, 195 secs
lola: 805292 markings, 2807128 edges, 3948 markings/sec, 200 secs
lola: 825058 markings, 2874649 edges, 3953 markings/sec, 205 secs
lola: 844797 markings, 2941566 edges, 3948 markings/sec, 210 secs
lola: 864428 markings, 3011672 edges, 3926 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: 271352 KB
lola: time consumption: 1116 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__7_20_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__7_20_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D30N050-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: 50
lola: 17976 markings, 62173 edges, 3595 markings/sec, 0 secs
lola: 37609 markings, 128800 edges, 3927 markings/sec, 5 secs
lola: 57006 markings, 198391 edges, 3879 markings/sec, 10 secs
lola: 76371 markings, 267128 edges, 3873 markings/sec, 15 secs
lola: 95863 markings, 331212 edges, 3898 markings/sec, 20 secs
lola: 115408 markings, 394700 edges, 3909 markings/sec, 25 secs
lola: 135013 markings, 459605 edges, 3921 markings/sec, 30 secs
lola: 154620 markings, 528219 edges, 3921 markings/sec, 35 secs
lola: 174380 markings, 591782 edges, 3952 markings/sec, 40 secs
lola: 194208 markings, 654716 edges, 3966 markings/sec, 45 secs
lola: 213886 markings, 721140 edges, 3936 markings/sec, 50 secs
lola: 233516 markings, 788825 edges, 3926 markings/sec, 55 secs
lola: 253263 markings, 854197 edges, 3949 markings/sec, 60 secs
lola: 272984 markings, 918116 edges, 3944 markings/sec, 65 secs
lola: 292638 markings, 985122 edges, 3931 markings/sec, 70 secs
lola: 312317 markings, 1051297 edges, 3936 markings/sec, 75 secs
lola: 331884 markings, 1121317 edges, 3913 markings/sec, 80 secs
lola: 351401 markings, 1190332 edges, 3903 markings/sec, 85 secs
lola: 371248 markings, 1254483 edges, 3969 markings/sec, 90 secs
lola: 391060 markings, 1318782 edges, 3962 markings/sec, 95 secs
lola: 410742 markings, 1387528 edges, 3936 markings/sec, 100 secs
lola: 430401 markings, 1451603 edges, 3932 markings/sec, 105 secs
lola: 449982 markings, 1517244 edges, 3916 markings/sec, 110 secs
lola: 469673 markings, 1581108 edges, 3938 markings/sec, 115 secs
lola: 489209 markings, 1648360 edges, 3907 markings/sec, 120 secs
lola: 508740 markings, 1716727 edges, 3906 markings/sec, 125 secs
lola: 528278 markings, 1785034 edges, 3908 markings/sec, 130 secs
lola: 547894 markings, 1851470 edges, 3923 markings/sec, 135 secs
lola: 567562 markings, 1914648 edges, 3934 markings/sec, 140 secs
lola: 587172 markings, 1979548 edges, 3922 markings/sec, 145 secs
lola: 606812 markings, 2043680 edges, 3928 markings/sec, 150 secs
lola: 626355 markings, 2108518 edges, 3909 markings/sec, 155 secs
lola: 646043 markings, 2173604 edges, 3938 markings/sec, 160 secs
lola: 665730 markings, 2237548 edges, 3937 markings/sec, 165 secs
lola: 685399 markings, 2302595 edges, 3934 markings/sec, 170 secs
lola: 704943 markings, 2368059 edges, 3909 markings/sec, 175 secs
lola: 724586 markings, 2431014 edges, 3929 markings/sec, 180 secs
lola: 744374 markings, 2494375 edges, 3958 markings/sec, 185 secs
lola: 764124 markings, 2557807 edges, 3950 markings/sec, 190 secs
lola: 783810 markings, 2622138 edges, 3937 markings/sec, 195 secs
lola: 803526 markings, 2686805 edges, 3943 markings/sec, 200 secs
lola: 823126 markings, 2750124 edges, 3920 markings/sec, 205 secs
lola: 842893 markings, 2814653 edges, 3953 markings/sec, 210 secs
lola: 862708 markings, 2877046 edges, 3963 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: 279104 KB
lola: time consumption: 1339 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__3_22_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__3_22_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D30N050-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: 50
lola: 18244 markings, 64716 edges, 3649 markings/sec, 0 secs
lola: 37828 markings, 138422 edges, 3917 markings/sec, 5 secs
lola: 57485 markings, 212621 edges, 3931 markings/sec, 10 secs
lola: 77213 markings, 284998 edges, 3946 markings/sec, 15 secs
lola: 96822 markings, 358070 edges, 3922 markings/sec, 20 secs
lola: 116518 markings, 430298 edges, 3939 markings/sec, 25 secs
lola: 136113 markings, 504095 edges, 3919 markings/sec, 30 secs
lola: 155696 markings, 577603 edges, 3917 markings/sec, 35 secs
lola: 175383 markings, 647337 edges, 3937 markings/sec, 40 secs
lola: 194953 markings, 718712 edges, 3914 markings/sec, 45 secs
lola: 214704 markings, 790320 edges, 3950 markings/sec, 50 secs
lola: 234365 markings, 863693 edges, 3932 markings/sec, 55 secs
lola: 254108 markings, 934462 edges, 3949 markings/sec, 60 secs
lola: 273911 markings, 1004881 edges, 3961 markings/sec, 65 secs
lola: 293599 markings, 1079050 edges, 3938 markings/sec, 70 secs
lola: 313273 markings, 1152765 edges, 3935 markings/sec, 75 secs
lola: 332854 markings, 1227587 edges, 3916 markings/sec, 80 secs
lola: 352479 markings, 1299387 edges, 3925 markings/sec, 85 secs
lola: 372093 markings, 1371611 edges, 3923 markings/sec, 90 secs
lola: 391682 markings, 1445901 edges, 3918 markings/sec, 95 secs
lola: 411497 markings, 1515230 edges, 3963 markings/sec, 100 secs
lola: 431357 markings, 1585131 edges, 3972 markings/sec, 105 secs
lola: 450949 markings, 1661055 edges, 3918 markings/sec, 110 secs
lola: 470491 markings, 1734803 edges, 3908 markings/sec, 115 secs
lola: 490091 markings, 1807541 edges, 3920 markings/sec, 120 secs
lola: 509749 markings, 1878187 edges, 3932 markings/sec, 125 secs
lola: 529255 markings, 1953691 edges, 3901 markings/sec, 130 secs
lola: 548859 markings, 2027630 edges, 3921 markings/sec, 135 secs
lola: 568072 markings, 2095202 edges, 3843 markings/sec, 140 secs
lola: 587857 markings, 2168658 edges, 3957 markings/sec, 145 secs
lola: 607472 markings, 2236745 edges, 3923 markings/sec, 150 secs
lola: 627051 markings, 2308516 edges, 3916 markings/sec, 155 secs
lola: 646681 markings, 2378631 edges, 3926 markings/sec, 160 secs
lola: 666311 markings, 2448890 edges, 3926 markings/sec, 165 secs
lola: 686028 markings, 2516782 edges, 3943 markings/sec, 170 secs
lola: 705775 markings, 2586463 edges, 3949 markings/sec, 175 secs
lola: 725402 markings, 2657738 edges, 3925 markings/sec, 180 secs
lola: 745074 markings, 2729471 edges, 3934 markings/sec, 185 secs
lola: 764671 markings, 2801178 edges, 3919 markings/sec, 190 secs
lola: 784303 markings, 2873405 edges, 3926 markings/sec, 195 secs
lola: 803891 markings, 2945354 edges, 3918 markings/sec, 200 secs
lola: 823658 markings, 3016309 edges, 3953 markings/sec, 205 secs
lola: 843444 markings, 3086360 edges, 3957 markings/sec, 210 secs
lola: 863188 markings, 3156380 edges, 3949 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: 266732 KB
lola: time consumption: 1562 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__20_28_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__20_28_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D30N050-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: 50
lola: 17987 markings, 63580 edges, 3597 markings/sec, 0 secs
lola: 37450 markings, 135439 edges, 3893 markings/sec, 5 secs
lola: 56878 markings, 207439 edges, 3886 markings/sec, 10 secs
lola: 76270 markings, 278510 edges, 3878 markings/sec, 15 secs
lola: 95448 markings, 356345 edges, 3836 markings/sec, 20 secs
lola: 114830 markings, 429791 edges, 3876 markings/sec, 25 secs
lola: 134245 markings, 503085 edges, 3883 markings/sec, 30 secs
lola: 153582 markings, 577245 edges, 3867 markings/sec, 35 secs
lola: 172964 markings, 649156 edges, 3876 markings/sec, 40 secs
lola: 192338 markings, 720750 edges, 3875 markings/sec, 45 secs
lola: 211715 markings, 792452 edges, 3875 markings/sec, 50 secs
lola: 231107 markings, 864589 edges, 3878 markings/sec, 55 secs
lola: 250518 markings, 937510 edges, 3882 markings/sec, 60 secs
lola: 269776 markings, 1014790 edges, 3852 markings/sec, 65 secs
lola: 289189 markings, 1087572 edges, 3883 markings/sec, 70 secs
lola: 308612 markings, 1161357 edges, 3885 markings/sec, 75 secs
lola: 327908 markings, 1235722 edges, 3859 markings/sec, 80 secs
lola: 347216 markings, 1310996 edges, 3862 markings/sec, 85 secs
lola: 366682 markings, 1382935 edges, 3893 markings/sec, 90 secs
lola: 385906 markings, 1460950 edges, 3845 markings/sec, 95 secs
lola: 405315 markings, 1533101 edges, 3882 markings/sec, 100 secs
lola: 424549 markings, 1610054 edges, 3847 markings/sec, 105 secs
lola: 443920 markings, 1683940 edges, 3874 markings/sec, 110 secs
lola: 463355 markings, 1755051 edges, 3887 markings/sec, 115 secs
lola: 482736 markings, 1827913 edges, 3876 markings/sec, 120 secs
lola: 502173 markings, 1898321 edges, 3887 markings/sec, 125 secs
lola: 521392 markings, 1974095 edges, 3844 markings/sec, 130 secs
lola: 540629 markings, 2050540 edges, 3847 markings/sec, 135 secs
lola: 559967 markings, 2124059 edges, 3868 markings/sec, 140 secs
lola: 579395 markings, 2195654 edges, 3886 markings/sec, 145 secs
lola: 598645 markings, 2268041 edges, 3850 markings/sec, 150 secs
lola: 617855 markings, 2342759 edges, 3842 markings/sec, 155 secs
lola: 637201 markings, 2416382 edges, 3869 markings/sec, 160 secs
lola: 656536 markings, 2490800 edges, 3867 markings/sec, 165 secs
lola: 675852 markings, 2566664 edges, 3863 markings/sec, 170 secs
lola: 695076 markings, 2644311 edges, 3845 markings/sec, 175 secs
lola: 714492 markings, 2716546 edges, 3883 markings/sec, 180 secs
lola: 733960 markings, 2786654 edges, 3894 markings/sec, 185 secs
lola: 753196 markings, 2863684 edges, 3847 markings/sec, 190 secs
lola: 772497 markings, 2939089 edges, 3860 markings/sec, 195 secs
lola: 791858 markings, 3013112 edges, 3872 markings/sec, 200 secs
lola: 811205 markings, 3085794 edges, 3869 markings/sec, 205 secs
lola: 830550 markings, 3156524 edges, 3869 markings/sec, 210 secs
lola: 849814 markings, 3228777 edges, 3853 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: 267632 KB
lola: time consumption: 1785 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__28_30_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__28_30_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D30N050-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: 50
lola: 18296 markings, 60523 edges, 3659 markings/sec, 0 secs
lola: 38199 markings, 124109 edges, 3981 markings/sec, 5 secs
lola: 58128 markings, 187843 edges, 3986 markings/sec, 10 secs
lola: 78084 markings, 250807 edges, 3991 markings/sec, 15 secs
lola: 97937 markings, 315661 edges, 3971 markings/sec, 20 secs
lola: 117847 markings, 378001 edges, 3982 markings/sec, 25 secs
lola: 137738 markings, 439232 edges, 3978 markings/sec, 30 secs
lola: 157599 markings, 502165 edges, 3972 markings/sec, 35 secs
lola: 177472 markings, 564645 edges, 3975 markings/sec, 40 secs
lola: 197438 markings, 627328 edges, 3993 markings/sec, 45 secs
lola: 217379 markings, 690368 edges, 3988 markings/sec, 50 secs
lola: 237194 markings, 752627 edges, 3963 markings/sec, 55 secs
lola: 257102 markings, 817308 edges, 3982 markings/sec, 60 secs
lola: 276974 markings, 882370 edges, 3974 markings/sec, 65 secs
lola: 296894 markings, 945135 edges, 3984 markings/sec, 70 secs
lola: 316829 markings, 1006769 edges, 3987 markings/sec, 75 secs
lola: 336746 markings, 1069422 edges, 3983 markings/sec, 80 secs
lola: 356689 markings, 1131519 edges, 3989 markings/sec, 85 secs
lola: 376609 markings, 1194855 edges, 3984 markings/sec, 90 secs
lola: 396518 markings, 1256970 edges, 3982 markings/sec, 95 secs
lola: 416460 markings, 1318653 edges, 3988 markings/sec, 100 secs
lola: 436389 markings, 1381544 edges, 3986 markings/sec, 105 secs
lola: 456330 markings, 1443986 edges, 3988 markings/sec, 110 secs
lola: 476271 markings, 1506598 edges, 3988 markings/sec, 115 secs
lola: 496199 markings, 1569889 edges, 3986 markings/sec, 120 secs
lola: 516146 markings, 1632759 edges, 3989 markings/sec, 125 secs
lola: 536033 markings, 1694836 edges, 3977 markings/sec, 130 secs
lola: 555654 markings, 1756322 edges, 3924 markings/sec, 135 secs
lola: 575296 markings, 1818158 edges, 3928 markings/sec, 140 secs
lola: 595146 markings, 1883447 edges, 3970 markings/sec, 145 secs
lola: 614981 markings, 1947724 edges, 3967 markings/sec, 150 secs
lola: 634768 markings, 2012331 edges, 3957 markings/sec, 155 secs
lola: 654519 markings, 2078542 edges, 3950 markings/sec, 160 secs
lola: 674308 markings, 2142220 edges, 3958 markings/sec, 165 secs
lola: 694194 markings, 2204786 edges, 3977 markings/sec, 170 secs
lola: 714111 markings, 2269109 edges, 3983 markings/sec, 175 secs
lola: 734064 markings, 2330307 edges, 3991 markings/sec, 180 secs
lola: 753949 markings, 2392054 edges, 3977 markings/sec, 185 secs
lola: 773886 markings, 2453062 edges, 3987 markings/sec, 190 secs
lola: 793784 markings, 2513763 edges, 3980 markings/sec, 195 secs
lola: 813722 markings, 2573209 edges, 3988 markings/sec, 200 secs
lola: 833564 markings, 2634301 edges, 3968 markings/sec, 205 secs
lola: 853348 markings, 2696869 edges, 3957 markings/sec, 210 secs
lola: 873150 markings, 2760631 edges, 3960 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: 261840 KB
lola: time consumption: 2008 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__14_7_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__14_7_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D30N050-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: 50
lola: 17892 markings, 61702 edges, 3578 markings/sec, 0 secs
lola: 37174 markings, 130222 edges, 3856 markings/sec, 5 secs
lola: 56373 markings, 201253 edges, 3840 markings/sec, 10 secs
lola: 75776 markings, 267525 edges, 3881 markings/sec, 15 secs
lola: 95081 markings, 335603 edges, 3861 markings/sec, 20 secs
lola: 114483 markings, 401250 edges, 3880 markings/sec, 25 secs
lola: 133853 markings, 466823 edges, 3874 markings/sec, 30 secs
lola: 153363 markings, 528101 edges, 3902 markings/sec, 35 secs
lola: 172778 markings, 592675 edges, 3883 markings/sec, 40 secs
lola: 192174 markings, 657273 edges, 3879 markings/sec, 45 secs
lola: 211614 markings, 721569 edges, 3888 markings/sec, 50 secs
lola: 231012 markings, 788363 edges, 3880 markings/sec, 55 secs
lola: 250319 markings, 852552 edges, 3861 markings/sec, 60 secs
lola: 269566 markings, 921335 edges, 3849 markings/sec, 65 secs
lola: 288715 markings, 989892 edges, 3830 markings/sec, 70 secs
lola: 308052 markings, 1057523 edges, 3867 markings/sec, 75 secs
lola: 327223 markings, 1128225 edges, 3834 markings/sec, 80 secs
lola: 346500 markings, 1194362 edges, 3855 markings/sec, 85 secs
lola: 365647 markings, 1261831 edges, 3829 markings/sec, 90 secs
lola: 384746 markings, 1331813 edges, 3820 markings/sec, 95 secs
lola: 403751 markings, 1402275 edges, 3801 markings/sec, 100 secs
lola: 423195 markings, 1467804 edges, 3889 markings/sec, 105 secs
lola: 442421 markings, 1535528 edges, 3845 markings/sec, 110 secs
lola: 461713 markings, 1603453 edges, 3858 markings/sec, 115 secs
lola: 480787 markings, 1670466 edges, 3815 markings/sec, 120 secs
lola: 500231 markings, 1733763 edges, 3889 markings/sec, 125 secs
lola: 519706 markings, 1797102 edges, 3895 markings/sec, 130 secs
lola: 539161 markings, 1861636 edges, 3891 markings/sec, 135 secs
lola: 558672 markings, 1923693 edges, 3902 markings/sec, 140 secs
lola: 578173 markings, 1986288 edges, 3900 markings/sec, 145 secs
lola: 597501 markings, 2053657 edges, 3866 markings/sec, 150 secs
lola: 616827 markings, 2122018 edges, 3865 markings/sec, 155 secs
lola: 636128 markings, 2187146 edges, 3860 markings/sec, 160 secs
lola: 655463 markings, 2252115 edges, 3867 markings/sec, 165 secs
lola: 674671 markings, 2319937 edges, 3842 markings/sec, 170 secs
lola: 694020 markings, 2387684 edges, 3870 markings/sec, 175 secs
lola: 713372 markings, 2455813 edges, 3870 markings/sec, 180 secs
lola: 732676 markings, 2521631 edges, 3861 markings/sec, 185 secs
lola: 752031 markings, 2586828 edges, 3871 markings/sec, 190 secs
lola: 771403 markings, 2650301 edges, 3874 markings/sec, 195 secs
lola: 790769 markings, 2714738 edges, 3873 markings/sec, 200 secs
lola: 810084 markings, 2780228 edges, 3863 markings/sec, 205 secs
lola: 829409 markings, 2845844 edges, 3865 markings/sec, 210 secs
lola: 848660 markings, 2911980 edges, 3850 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: 266668 KB
lola: time consumption: 2231 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__20_9_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__20_9_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D30N050-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: 50
lola: 18007 markings, 61958 edges, 3601 markings/sec, 0 secs
lola: 37502 markings, 130599 edges, 3899 markings/sec, 5 secs
lola: 57014 markings, 197606 edges, 3902 markings/sec, 10 secs
lola: 76518 markings, 262836 edges, 3901 markings/sec, 15 secs
lola: 95860 markings, 331091 edges, 3868 markings/sec, 20 secs
lola: 115270 markings, 396774 edges, 3882 markings/sec, 25 secs
lola: 134732 markings, 463044 edges, 3892 markings/sec, 30 secs
lola: 154107 markings, 531907 edges, 3875 markings/sec, 35 secs
lola: 173524 markings, 600791 edges, 3883 markings/sec, 40 secs
lola: 192831 markings, 671427 edges, 3861 markings/sec, 45 secs
lola: 212179 markings, 741553 edges, 3870 markings/sec, 50 secs
lola: 231683 markings, 808305 edges, 3901 markings/sec, 55 secs
lola: 251105 markings, 876408 edges, 3884 markings/sec, 60 secs
lola: 270584 markings, 944037 edges, 3896 markings/sec, 65 secs
lola: 290055 markings, 1009520 edges, 3894 markings/sec, 70 secs
lola: 309498 markings, 1076622 edges, 3889 markings/sec, 75 secs
lola: 328805 markings, 1145511 edges, 3861 markings/sec, 80 secs
lola: 348321 markings, 1211495 edges, 3903 markings/sec, 85 secs
lola: 367748 markings, 1280370 edges, 3885 markings/sec, 90 secs
lola: 387150 markings, 1348152 edges, 3880 markings/sec, 95 secs
lola: 406653 markings, 1414869 edges, 3901 markings/sec, 100 secs
lola: 426085 markings, 1482153 edges, 3886 markings/sec, 105 secs
lola: 445598 markings, 1548024 edges, 3903 markings/sec, 110 secs
lola: 465013 markings, 1616971 edges, 3883 markings/sec, 115 secs
lola: 484460 markings, 1685997 edges, 3889 markings/sec, 120 secs
lola: 503722 markings, 1752910 edges, 3852 markings/sec, 125 secs
lola: 523002 markings, 1822655 edges, 3856 markings/sec, 130 secs
lola: 542311 markings, 1891997 edges, 3862 markings/sec, 135 secs
lola: 561586 markings, 1962534 edges, 3855 markings/sec, 140 secs
lola: 580890 markings, 2029959 edges, 3861 markings/sec, 145 secs
lola: 600340 markings, 2097999 edges, 3890 markings/sec, 150 secs
lola: 619845 markings, 2164072 edges, 3901 markings/sec, 155 secs
lola: 639275 markings, 2229981 edges, 3886 markings/sec, 160 secs
lola: 658641 markings, 2298774 edges, 3873 markings/sec, 165 secs
lola: 678137 markings, 2363401 edges, 3899 markings/sec, 170 secs
lola: 697644 markings, 2427621 edges, 3901 markings/sec, 175 secs
lola: 717104 markings, 2491643 edges, 3892 markings/sec, 180 secs
lola: 736563 markings, 2557059 edges, 3892 markings/sec, 185 secs
lola: 755946 markings, 2623386 edges, 3877 markings/sec, 190 secs
lola: 775273 markings, 2691190 edges, 3865 markings/sec, 195 secs
lola: 794607 markings, 2758395 edges, 3867 markings/sec, 200 secs
lola: 813966 markings, 2823687 edges, 3872 markings/sec, 205 secs
lola: 833318 markings, 2890355 edges, 3870 markings/sec, 210 secs
lola: 852666 markings, 2955802 edges, 3870 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: 283500 KB
lola: time consumption: 2454 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__16_21_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__16_21_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D30N050-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: 50
lola: 17969 markings, 63345 edges, 3594 markings/sec, 0 secs
lola: 37477 markings, 129975 edges, 3902 markings/sec, 5 secs
lola: 56896 markings, 197551 edges, 3884 markings/sec, 10 secs
lola: 76231 markings, 268552 edges, 3867 markings/sec, 15 secs
lola: 95628 markings, 337626 edges, 3879 markings/sec, 20 secs
lola: 115029 markings, 408505 edges, 3880 markings/sec, 25 secs
lola: 134479 markings, 476487 edges, 3890 markings/sec, 30 secs
lola: 154082 markings, 539491 edges, 3921 markings/sec, 35 secs
lola: 173601 markings, 604401 edges, 3904 markings/sec, 40 secs
lola: 193094 markings, 668779 edges, 3899 markings/sec, 45 secs
lola: 212503 markings, 735408 edges, 3882 markings/sec, 50 secs
lola: 231815 markings, 803487 edges, 3862 markings/sec, 55 secs
lola: 251225 markings, 870114 edges, 3882 markings/sec, 60 secs
lola: 270553 markings, 936786 edges, 3866 markings/sec, 65 secs
lola: 289789 markings, 1006379 edges, 3847 markings/sec, 70 secs
lola: 309032 markings, 1077170 edges, 3849 markings/sec, 75 secs
lola: 328597 markings, 1141780 edges, 3913 markings/sec, 80 secs
lola: 348097 markings, 1207442 edges, 3900 markings/sec, 85 secs
lola: 367605 markings, 1272031 edges, 3902 markings/sec, 90 secs
lola: 387102 markings, 1338088 edges, 3899 markings/sec, 95 secs
lola: 406534 markings, 1403689 edges, 3886 markings/sec, 100 secs
lola: 425958 markings, 1469957 edges, 3885 markings/sec, 105 secs
lola: 445236 markings, 1539917 edges, 3856 markings/sec, 110 secs
lola: 464590 markings, 1607150 edges, 3871 markings/sec, 115 secs
lola: 484020 markings, 1672860 edges, 3886 markings/sec, 120 secs
lola: 503398 markings, 1739644 edges, 3876 markings/sec, 125 secs
lola: 522733 markings, 1807354 edges, 3867 markings/sec, 130 secs
lola: 541903 markings, 1869985 edges, 3834 markings/sec, 135 secs
lola: 560364 markings, 1931115 edges, 3692 markings/sec, 140 secs
lola: 578040 markings, 1991043 edges, 3535 markings/sec, 145 secs
lola: 595832 markings, 2052545 edges, 3558 markings/sec, 150 secs
lola: 614628 markings, 2113350 edges, 3759 markings/sec, 155 secs
lola: 634161 markings, 2175964 edges, 3907 markings/sec, 160 secs
lola: 653608 markings, 2240424 edges, 3889 markings/sec, 165 secs
lola: 673013 markings, 2306115 edges, 3881 markings/sec, 170 secs
lola: 692381 markings, 2370429 edges, 3874 markings/sec, 175 secs
lola: 711829 markings, 2435185 edges, 3890 markings/sec, 180 secs
lola: 731282 markings, 2498952 edges, 3891 markings/sec, 185 secs
lola: 750592 markings, 2562836 edges, 3862 markings/sec, 190 secs
lola: 769949 markings, 2626438 edges, 3871 markings/sec, 195 secs
lola: 789405 markings, 2691895 edges, 3891 markings/sec, 200 secs
lola: 808960 markings, 2755459 edges, 3911 markings/sec, 205 secs
lola: 828427 markings, 2820726 edges, 3893 markings/sec, 210 secs
lola: 847870 markings, 2886347 edges, 3889 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: 306284 KB
lola: time consumption: 2677 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__17_8_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__17_8_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D30N050-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: 50
lola: 17876 markings, 59293 edges, 3575 markings/sec, 0 secs
lola: 37193 markings, 123516 edges, 3863 markings/sec, 5 secs
lola: 56522 markings, 188984 edges, 3866 markings/sec, 10 secs
lola: 75890 markings, 248873 edges, 3874 markings/sec, 15 secs
lola: 95236 markings, 309578 edges, 3869 markings/sec, 20 secs
lola: 114629 markings, 370649 edges, 3879 markings/sec, 25 secs
lola: 134149 markings, 430504 edges, 3904 markings/sec, 30 secs
lola: 153577 markings, 491944 edges, 3886 markings/sec, 35 secs
lola: 172858 markings, 554255 edges, 3856 markings/sec, 40 secs
lola: 192210 markings, 614946 edges, 3870 markings/sec, 45 secs
lola: 211627 markings, 674187 edges, 3883 markings/sec, 50 secs
lola: 230957 markings, 738910 edges, 3866 markings/sec, 55 secs
lola: 250298 markings, 801812 edges, 3868 markings/sec, 60 secs
lola: 269711 markings, 863925 edges, 3883 markings/sec, 65 secs
lola: 289035 markings, 927724 edges, 3865 markings/sec, 70 secs
lola: 308255 markings, 994460 edges, 3844 markings/sec, 75 secs
lola: 327502 markings, 1058451 edges, 3849 markings/sec, 80 secs
lola: 346645 markings, 1123523 edges, 3829 markings/sec, 85 secs
lola: 365712 markings, 1187814 edges, 3813 markings/sec, 90 secs
lola: 384817 markings, 1250429 edges, 3821 markings/sec, 95 secs
lola: 404257 markings, 1313873 edges, 3888 markings/sec, 100 secs
lola: 423389 markings, 1378168 edges, 3826 markings/sec, 105 secs
lola: 442504 markings, 1443535 edges, 3823 markings/sec, 110 secs
lola: 461725 markings, 1506295 edges, 3844 markings/sec, 115 secs
lola: 480901 markings, 1571873 edges, 3835 markings/sec, 120 secs
lola: 500025 markings, 1634461 edges, 3825 markings/sec, 125 secs
lola: 519212 markings, 1701010 edges, 3837 markings/sec, 130 secs
lola: 538337 markings, 1766945 edges, 3825 markings/sec, 135 secs
lola: 557539 markings, 1829356 edges, 3840 markings/sec, 140 secs
lola: 576628 markings, 1895170 edges, 3818 markings/sec, 145 secs
lola: 596095 markings, 1955334 edges, 3893 markings/sec, 150 secs
lola: 615482 markings, 2017597 edges, 3877 markings/sec, 155 secs
lola: 634868 markings, 2079577 edges, 3877 markings/sec, 160 secs
lola: 654226 markings, 2141800 edges, 3872 markings/sec, 165 secs
lola: 673529 markings, 2205800 edges, 3861 markings/sec, 170 secs
lola: 692759 markings, 2271182 edges, 3846 markings/sec, 175 secs
lola: 712071 markings, 2332862 edges, 3862 markings/sec, 180 secs
lola: 731293 markings, 2394771 edges, 3844 markings/sec, 185 secs
lola: 750563 markings, 2456385 edges, 3854 markings/sec, 190 secs
lola: 769762 markings, 2518172 edges, 3840 markings/sec, 195 secs
lola: 788994 markings, 2581183 edges, 3846 markings/sec, 200 secs
lola: 808274 markings, 2638463 edges, 3856 markings/sec, 205 secs
lola: 827500 markings, 2697283 edges, 3845 markings/sec, 210 secs
lola: 846833 markings, 2755298 edges, 3867 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: 278940 KB
lola: time consumption: 2900 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__24_5_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__24_5_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D30N050-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: 50
lola: 17735 markings, 60019 edges, 3547 markings/sec, 0 secs
lola: 37355 markings, 126342 edges, 3924 markings/sec, 5 secs
lola: 56997 markings, 192315 edges, 3928 markings/sec, 10 secs
lola: 76574 markings, 257417 edges, 3915 markings/sec, 15 secs
lola: 96409 markings, 316432 edges, 3967 markings/sec, 20 secs
lola: 116041 markings, 377768 edges, 3926 markings/sec, 25 secs
lola: 135713 markings, 438810 edges, 3934 markings/sec, 30 secs
lola: 155461 markings, 500458 edges, 3950 markings/sec, 35 secs
lola: 175150 markings, 563280 edges, 3938 markings/sec, 40 secs
lola: 194966 markings, 624245 edges, 3963 markings/sec, 45 secs
lola: 214824 markings, 684060 edges, 3972 markings/sec, 50 secs
lola: 234555 markings, 746503 edges, 3946 markings/sec, 55 secs
lola: 254364 markings, 805811 edges, 3962 markings/sec, 60 secs
lola: 274065 markings, 867353 edges, 3940 markings/sec, 65 secs
lola: 293772 markings, 928797 edges, 3941 markings/sec, 70 secs
lola: 313501 markings, 988008 edges, 3946 markings/sec, 75 secs
lola: 333112 markings, 1051421 edges, 3922 markings/sec, 80 secs
lola: 352772 markings, 1114021 edges, 3932 markings/sec, 85 secs
lola: 372331 markings, 1178797 edges, 3912 markings/sec, 90 secs
lola: 391867 markings, 1244174 edges, 3907 markings/sec, 95 secs
lola: 411580 markings, 1303153 edges, 3943 markings/sec, 100 secs
lola: 431293 markings, 1363874 edges, 3943 markings/sec, 105 secs
lola: 451127 markings, 1424126 edges, 3967 markings/sec, 110 secs
lola: 469406 markings, 1483186 edges, 3656 markings/sec, 115 secs
lola: 486889 markings, 1538743 edges, 3497 markings/sec, 120 secs
lola: 504485 markings, 1590943 edges, 3519 markings/sec, 125 secs
lola: 523584 markings, 1651732 edges, 3820 markings/sec, 130 secs
lola: 543266 markings, 1711144 edges, 3936 markings/sec, 135 secs
lola: 563002 markings, 1769778 edges, 3947 markings/sec, 140 secs
lola: 582611 markings, 1831186 edges, 3922 markings/sec, 145 secs
lola: 602044 markings, 1895156 edges, 3887 markings/sec, 150 secs
lola: 621731 markings, 1953969 edges, 3937 markings/sec, 155 secs
lola: 641474 markings, 2011821 edges, 3949 markings/sec, 160 secs
lola: 660911 markings, 2071865 edges, 3887 markings/sec, 165 secs
lola: 679990 markings, 2131092 edges, 3816 markings/sec, 170 secs
lola: 699174 markings, 2188994 edges, 3837 markings/sec, 175 secs
lola: 718279 markings, 2248285 edges, 3821 markings/sec, 180 secs
lola: 737350 markings, 2307061 edges, 3814 markings/sec, 185 secs
lola: 756555 markings, 2365956 edges, 3841 markings/sec, 190 secs
lola: 775896 markings, 2422910 edges, 3868 markings/sec, 195 secs
lola: 795219 markings, 2479233 edges, 3865 markings/sec, 200 secs
lola: 814495 markings, 2537170 edges, 3855 markings/sec, 205 secs
lola: 833727 markings, 2594783 edges, 3846 markings/sec, 210 secs
lola: 852201 markings, 2651578 edges, 3695 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: 294176 KB
lola: time consumption: 3123 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__3_25_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__3_25_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D30N050-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: 50
lola: 17915 markings, 62189 edges, 3583 markings/sec, 0 secs
lola: 37162 markings, 128314 edges, 3849 markings/sec, 5 secs
lola: 55641 markings, 191838 edges, 3696 markings/sec, 10 secs
lola: 75427 markings, 258754 edges, 3957 markings/sec, 15 secs
lola: 95147 markings, 327703 edges, 3944 markings/sec, 20 secs
lola: 114714 markings, 400150 edges, 3913 markings/sec, 25 secs
lola: 134517 markings, 468225 edges, 3961 markings/sec, 30 secs
lola: 154250 markings, 537229 edges, 3947 markings/sec, 35 secs
lola: 171940 markings, 600026 edges, 3538 markings/sec, 40 secs
lola: 189337 markings, 664345 edges, 3479 markings/sec, 45 secs
lola: 207718 markings, 729491 edges, 3676 markings/sec, 50 secs
lola: 227375 markings, 795998 edges, 3931 markings/sec, 55 secs
lola: 247099 markings, 865719 edges, 3945 markings/sec, 60 secs
lola: 267278 markings, 938726 edges, 4036 markings/sec, 65 secs
lola: 287519 markings, 1011084 edges, 4048 markings/sec, 70 secs
lola: 307666 markings, 1083303 edges, 4029 markings/sec, 75 secs
lola: 327422 markings, 1152158 edges, 3951 markings/sec, 80 secs
lola: 346954 markings, 1223437 edges, 3906 markings/sec, 85 secs
lola: 366489 markings, 1288738 edges, 3907 markings/sec, 90 secs
lola: 385818 markings, 1356241 edges, 3866 markings/sec, 95 secs
lola: 404510 markings, 1421808 edges, 3738 markings/sec, 100 secs
lola: 423214 markings, 1484679 edges, 3741 markings/sec, 105 secs
lola: 441655 markings, 1547335 edges, 3688 markings/sec, 110 secs
lola: 461042 markings, 1615554 edges, 3877 markings/sec, 115 secs
lola: 479400 markings, 1681074 edges, 3672 markings/sec, 120 secs
lola: 497404 markings, 1741051 edges, 3601 markings/sec, 125 secs
lola: 515931 markings, 1803810 edges, 3705 markings/sec, 130 secs
lola: 533603 markings, 1862578 edges, 3534 markings/sec, 135 secs
lola: 551509 markings, 1926012 edges, 3581 markings/sec, 140 secs
lola: 571051 markings, 1993301 edges, 3908 markings/sec, 145 secs
lola: 590653 markings, 2059892 edges, 3920 markings/sec, 150 secs
lola: 610400 markings, 2128263 edges, 3949 markings/sec, 155 secs
lola: 630099 markings, 2195824 edges, 3940 markings/sec, 160 secs
lola: 649790 markings, 2263836 edges, 3938 markings/sec, 165 secs
lola: 669444 markings, 2332097 edges, 3931 markings/sec, 170 secs
lola: 689123 markings, 2401882 edges, 3936 markings/sec, 175 secs
lola: 708769 markings, 2471831 edges, 3929 markings/sec, 180 secs
lola: 728417 markings, 2539033 edges, 3930 markings/sec, 185 secs
lola: 748097 markings, 2605372 edges, 3936 markings/sec, 190 secs
lola: 767695 markings, 2673072 edges, 3920 markings/sec, 195 secs
lola: 787258 markings, 2740764 edges, 3913 markings/sec, 200 secs
lola: 806900 markings, 2806476 edges, 3928 markings/sec, 205 secs
lola: 826468 markings, 2875080 edges, 3914 markings/sec, 210 secs
lola: 846229 markings, 2941731 edges, 3952 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: 263820 KB
lola: time consumption: 3346 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__17_20_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__17_20_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D30N050-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: 50
lola: 17396 markings, 54709 edges, 3479 markings/sec, 0 secs
lola: 36575 markings, 116640 edges, 3836 markings/sec, 5 secs
lola: 56136 markings, 181750 edges, 3912 markings/sec, 10 secs
lola: 75654 markings, 247636 edges, 3904 markings/sec, 15 secs
lola: 94468 markings, 311418 edges, 3763 markings/sec, 20 secs
lola: 113943 markings, 375699 edges, 3895 markings/sec, 25 secs
lola: 133421 markings, 442785 edges, 3896 markings/sec, 30 secs
lola: 152965 markings, 507141 edges, 3909 markings/sec, 35 secs
lola: 172542 markings, 571925 edges, 3915 markings/sec, 40 secs
lola: 192052 markings, 636280 edges, 3902 markings/sec, 45 secs
lola: 211544 markings, 701623 edges, 3898 markings/sec, 50 secs
lola: 231096 markings, 765184 edges, 3910 markings/sec, 55 secs
lola: 249967 markings, 827166 edges, 3774 markings/sec, 60 secs
lola: 269279 markings, 892542 edges, 3862 markings/sec, 65 secs
lola: 288706 markings, 957690 edges, 3885 markings/sec, 70 secs
lola: 308285 markings, 1022928 edges, 3916 markings/sec, 75 secs
lola: 327788 markings, 1086988 edges, 3901 markings/sec, 80 secs
lola: 347300 markings, 1152792 edges, 3902 markings/sec, 85 secs
lola: 366860 markings, 1217041 edges, 3912 markings/sec, 90 secs
lola: 386293 markings, 1283322 edges, 3887 markings/sec, 95 secs
lola: 405684 markings, 1350252 edges, 3878 markings/sec, 100 secs
lola: 425279 markings, 1414619 edges, 3919 markings/sec, 105 secs
lola: 444700 markings, 1479911 edges, 3884 markings/sec, 110 secs
lola: 464028 markings, 1548241 edges, 3866 markings/sec, 115 secs
lola: 483378 markings, 1616808 edges, 3870 markings/sec, 120 secs
lola: 502788 markings, 1682230 edges, 3882 markings/sec, 125 secs
lola: 522068 markings, 1753470 edges, 3856 markings/sec, 130 secs
lola: 541293 markings, 1822915 edges, 3845 markings/sec, 135 secs
lola: 560701 markings, 1891480 edges, 3882 markings/sec, 140 secs
lola: 580099 markings, 1958022 edges, 3880 markings/sec, 145 secs
lola: 599570 markings, 2023522 edges, 3894 markings/sec, 150 secs
lola: 618969 markings, 2089477 edges, 3880 markings/sec, 155 secs
lola: 638278 markings, 2153887 edges, 3862 markings/sec, 160 secs
lola: 657710 markings, 2220785 edges, 3886 markings/sec, 165 secs
lola: 677208 markings, 2285631 edges, 3900 markings/sec, 170 secs
lola: 696676 markings, 2351465 edges, 3894 markings/sec, 175 secs
lola: 716123 markings, 2418560 edges, 3889 markings/sec, 180 secs
lola: 735432 markings, 2484108 edges, 3862 markings/sec, 185 secs
lola: 754855 markings, 2551199 edges, 3885 markings/sec, 190 secs
lola: 774272 markings, 2617348 edges, 3883 markings/sec, 195 secs
lola: 793402 markings, 2684345 edges, 3826 markings/sec, 200 secs
lola: 812883 markings, 2748424 edges, 3896 markings/sec, 205 secs
lola: 832467 markings, 2811388 edges, 3917 markings/sec, 210 secs
lola: 851978 markings, 2878684 edges, 3902 markings/sec, 215 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 303236 KB
lola: time consumption: 3569 seconds
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: 303236 KB
lola: time consumption: 3569 seconds
BK_STOP 1526687944101
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="Diffusion2D-PT-D30N050"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/Diffusion2D-PT-D30N050.tgz
mv Diffusion2D-PT-D30N050 execution
cd execution
pwd
ls -lh
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool lola"
echo " Input is Diffusion2D-PT-D30N050, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r076-blw3-152649937000240"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
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 ;