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.7K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K 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.6K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K 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.3K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K 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.1K 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-D30N150, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r076-blw3-152649937000254
=====================================================================

--------------------
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-D30N150-UpperBounds-00
FORMULA_NAME Diffusion2D-PT-D30N150-UpperBounds-01
FORMULA_NAME Diffusion2D-PT-D30N150-UpperBounds-02
FORMULA_NAME Diffusion2D-PT-D30N150-UpperBounds-03
FORMULA_NAME Diffusion2D-PT-D30N150-UpperBounds-04
FORMULA_NAME Diffusion2D-PT-D30N150-UpperBounds-05
FORMULA_NAME Diffusion2D-PT-D30N150-UpperBounds-06
FORMULA_NAME Diffusion2D-PT-D30N150-UpperBounds-07
FORMULA_NAME Diffusion2D-PT-D30N150-UpperBounds-08
FORMULA_NAME Diffusion2D-PT-D30N150-UpperBounds-09
FORMULA_NAME Diffusion2D-PT-D30N150-UpperBounds-10
FORMULA_NAME Diffusion2D-PT-D30N150-UpperBounds-11
FORMULA_NAME Diffusion2D-PT-D30N150-UpperBounds-12
FORMULA_NAME Diffusion2D-PT-D30N150-UpperBounds-13
FORMULA_NAME Diffusion2D-PT-D30N150-UpperBounds-14
FORMULA_NAME Diffusion2D-PT-D30N150-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1526691097417

info: Time: 3600 - MCC
===========================================================================================
prep: translating Diffusion2D-PT-D30N150 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating Diffusion2D-PT-D30N150 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ Diffusion2D-PT-D30N150 @ 3570 seconds
lola: LoLA will run for 3570 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-D30N150-UpperBounds.task
lola: MAX(cAMP__14_14_) : MAX(cAMP__22_16_) : MAX(cAMP__9_4_) : MAX(cAMP__4_19_) : MAX(cAMP__23_19_) : MAX(cAMP__2_9_) : MAX(cAMP__6_5_) : MAX(cAMP__29_19_) : MAX(cAMP__21_29_) : MAX(cAMP__18_28_) : MAX(cAMP__28_5_) : MAX(cAMP__25_12_) : MAX(cAMP__27_29_) : MAX(cAMP__10_19_) : MAX(cAMP__15_7_) : MAX(cAMP__11_10_)
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__14_14_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__14_14_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D30N150-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 150
lola: 15970 markings, 45017 edges, 3194 markings/sec, 0 secs
lola: 34490 markings, 88329 edges, 3704 markings/sec, 5 secs
lola: 54306 markings, 135330 edges, 3963 markings/sec, 10 secs
lola: 74074 markings, 181952 edges, 3954 markings/sec, 15 secs
lola: 94030 markings, 230428 edges, 3991 markings/sec, 20 secs
lola: 114378 markings, 279378 edges, 4070 markings/sec, 25 secs
lola: 134747 markings, 326995 edges, 4074 markings/sec, 30 secs
lola: 154912 markings, 376944 edges, 4033 markings/sec, 35 secs
lola: 175251 markings, 426557 edges, 4068 markings/sec, 40 secs
lola: 195599 markings, 475879 edges, 4070 markings/sec, 45 secs
lola: 215864 markings, 524006 edges, 4053 markings/sec, 50 secs
lola: 235948 markings, 571205 edges, 4017 markings/sec, 55 secs
lola: 255983 markings, 621863 edges, 4007 markings/sec, 60 secs
lola: 276390 markings, 669334 edges, 4081 markings/sec, 65 secs
lola: 296683 markings, 720847 edges, 4059 markings/sec, 70 secs
lola: 317082 markings, 767940 edges, 4080 markings/sec, 75 secs
lola: 337403 markings, 818861 edges, 4064 markings/sec, 80 secs
lola: 357725 markings, 869466 edges, 4064 markings/sec, 85 secs
lola: 378127 markings, 917475 edges, 4080 markings/sec, 90 secs
lola: 398450 markings, 965618 edges, 4065 markings/sec, 95 secs
lola: 418813 markings, 1015024 edges, 4073 markings/sec, 100 secs
lola: 438849 markings, 1064671 edges, 4007 markings/sec, 105 secs
lola: 456557 markings, 1107037 edges, 3542 markings/sec, 110 secs
lola: 474276 markings, 1149703 edges, 3544 markings/sec, 115 secs
lola: 492163 markings, 1194127 edges, 3577 markings/sec, 120 secs
lola: 510025 markings, 1238828 edges, 3572 markings/sec, 125 secs
lola: 528725 markings, 1285514 edges, 3740 markings/sec, 130 secs
lola: 547388 markings, 1332390 edges, 3733 markings/sec, 135 secs
lola: 566923 markings, 1379929 edges, 3907 markings/sec, 140 secs
lola: 586662 markings, 1426494 edges, 3948 markings/sec, 145 secs
lola: 606427 markings, 1472830 edges, 3953 markings/sec, 150 secs
lola: 626161 markings, 1520285 edges, 3947 markings/sec, 155 secs
lola: 645793 markings, 1570196 edges, 3926 markings/sec, 160 secs
lola: 665462 markings, 1620485 edges, 3934 markings/sec, 165 secs
lola: 685177 markings, 1668428 edges, 3943 markings/sec, 170 secs
lola: 704960 markings, 1713422 edges, 3957 markings/sec, 175 secs
lola: 724671 markings, 1761777 edges, 3942 markings/sec, 180 secs
lola: 744315 markings, 1812953 edges, 3929 markings/sec, 185 secs
lola: 764041 markings, 1861207 edges, 3945 markings/sec, 190 secs
lola: 783865 markings, 1905327 edges, 3965 markings/sec, 195 secs
lola: 803491 markings, 1955999 edges, 3925 markings/sec, 200 secs
lola: 823121 markings, 2007606 edges, 3926 markings/sec, 205 secs
lola: 842912 markings, 2050841 edges, 3958 markings/sec, 210 secs
lola: 862546 markings, 2100049 edges, 3927 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: 305376 KB
lola: time consumption: 225 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__22_16_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__22_16_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D30N150-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 150
lola: 17637 markings, 60608 edges, 3527 markings/sec, 0 secs
lola: 36870 markings, 126696 edges, 3847 markings/sec, 5 secs
lola: 55987 markings, 196074 edges, 3823 markings/sec, 10 secs
lola: 75286 markings, 261547 edges, 3860 markings/sec, 15 secs
lola: 94274 markings, 330002 edges, 3798 markings/sec, 20 secs
lola: 113453 markings, 397414 edges, 3836 markings/sec, 25 secs
lola: 132676 markings, 464196 edges, 3845 markings/sec, 30 secs
lola: 151942 markings, 530056 edges, 3853 markings/sec, 35 secs
lola: 171029 markings, 597084 edges, 3817 markings/sec, 40 secs
lola: 190202 markings, 663517 edges, 3835 markings/sec, 45 secs
lola: 209284 markings, 729481 edges, 3816 markings/sec, 50 secs
lola: 228354 markings, 795119 edges, 3814 markings/sec, 55 secs
lola: 247565 markings, 861661 edges, 3842 markings/sec, 60 secs
lola: 266773 markings, 928815 edges, 3842 markings/sec, 65 secs
lola: 285974 markings, 996649 edges, 3840 markings/sec, 70 secs
lola: 305186 markings, 1063318 edges, 3842 markings/sec, 75 secs
lola: 324462 markings, 1130245 edges, 3855 markings/sec, 80 secs
lola: 343659 markings, 1197205 edges, 3839 markings/sec, 85 secs
lola: 362810 markings, 1266144 edges, 3830 markings/sec, 90 secs
lola: 382040 markings, 1335060 edges, 3846 markings/sec, 95 secs
lola: 401381 markings, 1401756 edges, 3868 markings/sec, 100 secs
lola: 420439 markings, 1468181 edges, 3812 markings/sec, 105 secs
lola: 439736 markings, 1529771 edges, 3859 markings/sec, 110 secs
lola: 458841 markings, 1596566 edges, 3821 markings/sec, 115 secs
lola: 477899 markings, 1664173 edges, 3812 markings/sec, 120 secs
lola: 497007 markings, 1730906 edges, 3822 markings/sec, 125 secs
lola: 516155 markings, 1796505 edges, 3830 markings/sec, 130 secs
lola: 535594 markings, 1857979 edges, 3888 markings/sec, 135 secs
lola: 554872 markings, 1924161 edges, 3856 markings/sec, 140 secs
lola: 574057 markings, 1992854 edges, 3837 markings/sec, 145 secs
lola: 593197 markings, 2063488 edges, 3828 markings/sec, 150 secs
lola: 612374 markings, 2131810 edges, 3835 markings/sec, 155 secs
lola: 631212 markings, 2202870 edges, 3768 markings/sec, 160 secs
lola: 650190 markings, 2272232 edges, 3796 markings/sec, 165 secs
lola: 669265 markings, 2342635 edges, 3815 markings/sec, 170 secs
lola: 688432 markings, 2410093 edges, 3833 markings/sec, 175 secs
lola: 707594 markings, 2479481 edges, 3832 markings/sec, 180 secs
lola: 726474 markings, 2552927 edges, 3776 markings/sec, 185 secs
lola: 745620 markings, 2623173 edges, 3829 markings/sec, 190 secs
lola: 764768 markings, 2692258 edges, 3830 markings/sec, 195 secs
lola: 783823 markings, 2763869 edges, 3811 markings/sec, 200 secs
lola: 802962 markings, 2831675 edges, 3828 markings/sec, 205 secs
lola: 822123 markings, 2900889 edges, 3832 markings/sec, 210 secs
lola: 841491 markings, 2965646 edges, 3874 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: 266976 KB
lola: time consumption: 448 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__9_4_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__9_4_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D30N150-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 150
lola: 17679 markings, 57950 edges, 3536 markings/sec, 0 secs
lola: 36799 markings, 115284 edges, 3824 markings/sec, 5 secs
lola: 55856 markings, 173394 edges, 3811 markings/sec, 10 secs
lola: 75041 markings, 234859 edges, 3837 markings/sec, 15 secs
lola: 94161 markings, 298041 edges, 3824 markings/sec, 20 secs
lola: 113364 markings, 357951 edges, 3841 markings/sec, 25 secs
lola: 132608 markings, 415327 edges, 3849 markings/sec, 30 secs
lola: 151079 markings, 473492 edges, 3694 markings/sec, 35 secs
lola: 169504 markings, 529317 edges, 3685 markings/sec, 40 secs
lola: 188583 markings, 590126 edges, 3816 markings/sec, 45 secs
lola: 207683 markings, 647445 edges, 3820 markings/sec, 50 secs
lola: 226814 markings, 705689 edges, 3826 markings/sec, 55 secs
lola: 246156 markings, 764672 edges, 3868 markings/sec, 60 secs
lola: 265454 markings, 821006 edges, 3860 markings/sec, 65 secs
lola: 284594 markings, 878243 edges, 3828 markings/sec, 70 secs
lola: 303812 markings, 937362 edges, 3844 markings/sec, 75 secs
lola: 323072 markings, 996667 edges, 3852 markings/sec, 80 secs
lola: 342314 markings, 1053943 edges, 3848 markings/sec, 85 secs
lola: 361468 markings, 1113347 edges, 3831 markings/sec, 90 secs
lola: 380684 markings, 1170842 edges, 3843 markings/sec, 95 secs
lola: 399880 markings, 1229199 edges, 3839 markings/sec, 100 secs
lola: 419078 markings, 1286759 edges, 3840 markings/sec, 105 secs
lola: 438273 markings, 1345487 edges, 3839 markings/sec, 110 secs
lola: 457427 markings, 1404378 edges, 3831 markings/sec, 115 secs
lola: 476627 markings, 1462665 edges, 3840 markings/sec, 120 secs
lola: 495927 markings, 1521222 edges, 3860 markings/sec, 125 secs
lola: 515140 markings, 1579791 edges, 3843 markings/sec, 130 secs
lola: 534267 markings, 1640654 edges, 3825 markings/sec, 135 secs
lola: 553538 markings, 1699683 edges, 3854 markings/sec, 140 secs
lola: 572833 markings, 1758301 edges, 3859 markings/sec, 145 secs
lola: 592151 markings, 1815676 edges, 3864 markings/sec, 150 secs
lola: 611380 markings, 1875862 edges, 3846 markings/sec, 155 secs
lola: 630651 markings, 1933260 edges, 3854 markings/sec, 160 secs
lola: 649810 markings, 1995510 edges, 3832 markings/sec, 165 secs
lola: 669062 markings, 2055178 edges, 3850 markings/sec, 170 secs
lola: 688301 markings, 2114898 edges, 3848 markings/sec, 175 secs
lola: 707510 markings, 2174503 edges, 3842 markings/sec, 180 secs
lola: 726764 markings, 2232798 edges, 3851 markings/sec, 185 secs
lola: 745944 markings, 2292463 edges, 3836 markings/sec, 190 secs
lola: 765193 markings, 2349684 edges, 3850 markings/sec, 195 secs
lola: 784438 markings, 2408958 edges, 3849 markings/sec, 200 secs
lola: 803760 markings, 2466183 edges, 3864 markings/sec, 205 secs
lola: 822954 markings, 2523766 edges, 3839 markings/sec, 210 secs
lola: 842223 markings, 2580874 edges, 3854 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: 266812 KB
lola: time consumption: 671 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__4_19_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__4_19_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D30N150-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 150
lola: 17841 markings, 60453 edges, 3568 markings/sec, 0 secs
lola: 37402 markings, 128438 edges, 3912 markings/sec, 5 secs
lola: 56980 markings, 196471 edges, 3916 markings/sec, 10 secs
lola: 76487 markings, 264792 edges, 3901 markings/sec, 15 secs
lola: 96039 markings, 332493 edges, 3910 markings/sec, 20 secs
lola: 115484 markings, 399663 edges, 3889 markings/sec, 25 secs
lola: 135032 markings, 462846 edges, 3910 markings/sec, 30 secs
lola: 154732 markings, 523261 edges, 3940 markings/sec, 35 secs
lola: 174277 markings, 587519 edges, 3909 markings/sec, 40 secs
lola: 193732 markings, 653069 edges, 3891 markings/sec, 45 secs
lola: 213142 markings, 720398 edges, 3882 markings/sec, 50 secs
lola: 232892 markings, 782458 edges, 3950 markings/sec, 55 secs
lola: 252609 markings, 844771 edges, 3943 markings/sec, 60 secs
lola: 272141 markings, 910737 edges, 3906 markings/sec, 65 secs
lola: 291704 markings, 976882 edges, 3913 markings/sec, 70 secs
lola: 311467 markings, 1037910 edges, 3953 markings/sec, 75 secs
lola: 331179 markings, 1100653 edges, 3942 markings/sec, 80 secs
lola: 350763 markings, 1164610 edges, 3917 markings/sec, 85 secs
lola: 370282 markings, 1229464 edges, 3904 markings/sec, 90 secs
lola: 389846 markings, 1296136 edges, 3913 markings/sec, 95 secs
lola: 409590 markings, 1358298 edges, 3949 markings/sec, 100 secs
lola: 429268 markings, 1421304 edges, 3936 markings/sec, 105 secs
lola: 448859 markings, 1486232 edges, 3918 markings/sec, 110 secs
lola: 468398 markings, 1552982 edges, 3908 markings/sec, 115 secs
lola: 487924 markings, 1620793 edges, 3905 markings/sec, 120 secs
lola: 507577 markings, 1681792 edges, 3931 markings/sec, 125 secs
lola: 527219 markings, 1743070 edges, 3928 markings/sec, 130 secs
lola: 546780 markings, 1807702 edges, 3912 markings/sec, 135 secs
lola: 566197 markings, 1874682 edges, 3883 markings/sec, 140 secs
lola: 585632 markings, 1941889 edges, 3887 markings/sec, 145 secs
lola: 605067 markings, 2008370 edges, 3887 markings/sec, 150 secs
lola: 624644 markings, 2075109 edges, 3915 markings/sec, 155 secs
lola: 644432 markings, 2137201 edges, 3958 markings/sec, 160 secs
lola: 664149 markings, 2200610 edges, 3943 markings/sec, 165 secs
lola: 683664 markings, 2264402 edges, 3903 markings/sec, 170 secs
lola: 703367 markings, 2325963 edges, 3941 markings/sec, 175 secs
lola: 723013 markings, 2390055 edges, 3929 markings/sec, 180 secs
lola: 742599 markings, 2453647 edges, 3917 markings/sec, 185 secs
lola: 762195 markings, 2513369 edges, 3919 markings/sec, 190 secs
lola: 781673 markings, 2576530 edges, 3896 markings/sec, 195 secs
lola: 801108 markings, 2638623 edges, 3887 markings/sec, 200 secs
lola: 820668 markings, 2700252 edges, 3912 markings/sec, 205 secs
lola: 840227 markings, 2764209 edges, 3912 markings/sec, 210 secs
lola: 859761 markings, 2827013 edges, 3907 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: 265512 KB
lola: time consumption: 894 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__23_19_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__23_19_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D30N150-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 150
lola: 17792 markings, 61176 edges, 3558 markings/sec, 0 secs
lola: 37127 markings, 129296 edges, 3867 markings/sec, 5 secs
lola: 56456 markings, 198552 edges, 3866 markings/sec, 10 secs
lola: 75758 markings, 265203 edges, 3860 markings/sec, 15 secs
lola: 95145 markings, 329068 edges, 3877 markings/sec, 20 secs
lola: 114518 markings, 394279 edges, 3875 markings/sec, 25 secs
lola: 133987 markings, 458563 edges, 3894 markings/sec, 30 secs
lola: 153387 markings, 523411 edges, 3880 markings/sec, 35 secs
lola: 172721 markings, 588305 edges, 3867 markings/sec, 40 secs
lola: 192058 markings, 653126 edges, 3867 markings/sec, 45 secs
lola: 211407 markings, 717745 edges, 3870 markings/sec, 50 secs
lola: 230694 markings, 783613 edges, 3857 markings/sec, 55 secs
lola: 250066 markings, 847828 edges, 3874 markings/sec, 60 secs
lola: 269475 markings, 911722 edges, 3882 markings/sec, 65 secs
lola: 288811 markings, 974534 edges, 3867 markings/sec, 70 secs
lola: 308132 markings, 1037998 edges, 3864 markings/sec, 75 secs
lola: 327502 markings, 1101491 edges, 3874 markings/sec, 80 secs
lola: 346736 markings, 1166123 edges, 3847 markings/sec, 85 secs
lola: 365905 markings, 1234731 edges, 3834 markings/sec, 90 secs
lola: 385159 markings, 1300143 edges, 3851 markings/sec, 95 secs
lola: 404348 markings, 1367187 edges, 3838 markings/sec, 100 secs
lola: 423672 markings, 1432249 edges, 3865 markings/sec, 105 secs
lola: 443059 markings, 1497795 edges, 3877 markings/sec, 110 secs
lola: 462432 markings, 1564198 edges, 3875 markings/sec, 115 secs
lola: 481823 markings, 1629200 edges, 3878 markings/sec, 120 secs
lola: 501127 markings, 1697025 edges, 3861 markings/sec, 125 secs
lola: 520431 markings, 1760071 edges, 3861 markings/sec, 130 secs
lola: 539722 markings, 1825668 edges, 3858 markings/sec, 135 secs
lola: 559199 markings, 1889704 edges, 3895 markings/sec, 140 secs
lola: 578562 markings, 1956532 edges, 3873 markings/sec, 145 secs
lola: 597849 markings, 2023946 edges, 3857 markings/sec, 150 secs
lola: 617151 markings, 2087358 edges, 3860 markings/sec, 155 secs
lola: 636429 markings, 2154359 edges, 3856 markings/sec, 160 secs
lola: 655697 markings, 2219143 edges, 3854 markings/sec, 165 secs
lola: 674852 markings, 2283660 edges, 3831 markings/sec, 170 secs
lola: 694021 markings, 2350174 edges, 3834 markings/sec, 175 secs
lola: 713280 markings, 2415311 edges, 3852 markings/sec, 180 secs
lola: 732635 markings, 2478708 edges, 3871 markings/sec, 185 secs
lola: 752055 markings, 2542719 edges, 3884 markings/sec, 190 secs
lola: 771427 markings, 2608824 edges, 3874 markings/sec, 195 secs
lola: 790753 markings, 2675685 edges, 3865 markings/sec, 200 secs
lola: 810134 markings, 2739601 edges, 3876 markings/sec, 205 secs
lola: 829522 markings, 2804262 edges, 3878 markings/sec, 210 secs
lola: 848880 markings, 2868975 edges, 3872 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: 268028 KB
lola: time consumption: 1117 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__2_9_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__2_9_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D30N150-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 150
lola: 17954 markings, 60362 edges, 3591 markings/sec, 0 secs
lola: 37505 markings, 126102 edges, 3910 markings/sec, 5 secs
lola: 56961 markings, 192785 edges, 3891 markings/sec, 10 secs
lola: 76461 markings, 258821 edges, 3900 markings/sec, 15 secs
lola: 95994 markings, 325290 edges, 3907 markings/sec, 20 secs
lola: 115510 markings, 391277 edges, 3903 markings/sec, 25 secs
lola: 134940 markings, 458144 edges, 3886 markings/sec, 30 secs
lola: 154460 markings, 525399 edges, 3904 markings/sec, 35 secs
lola: 173998 markings, 591703 edges, 3908 markings/sec, 40 secs
lola: 193474 markings, 658248 edges, 3895 markings/sec, 45 secs
lola: 212967 markings, 725645 edges, 3899 markings/sec, 50 secs
lola: 232436 markings, 791528 edges, 3894 markings/sec, 55 secs
lola: 251740 markings, 859517 edges, 3861 markings/sec, 60 secs
lola: 271064 markings, 928546 edges, 3865 markings/sec, 65 secs
lola: 290452 markings, 995531 edges, 3878 markings/sec, 70 secs
lola: 309807 markings, 1064461 edges, 3871 markings/sec, 75 secs
lola: 329281 markings, 1131587 edges, 3895 markings/sec, 80 secs
lola: 348668 markings, 1200835 edges, 3877 markings/sec, 85 secs
lola: 368147 markings, 1268150 edges, 3896 markings/sec, 90 secs
lola: 387481 markings, 1337459 edges, 3867 markings/sec, 95 secs
lola: 406720 markings, 1403346 edges, 3848 markings/sec, 100 secs
lola: 425592 markings, 1471429 edges, 3774 markings/sec, 105 secs
lola: 444998 markings, 1537871 edges, 3881 markings/sec, 110 secs
lola: 464340 markings, 1606419 edges, 3868 markings/sec, 115 secs
lola: 483626 markings, 1676873 edges, 3857 markings/sec, 120 secs
lola: 503118 markings, 1743379 edges, 3898 markings/sec, 125 secs
lola: 522585 markings, 1810368 edges, 3893 markings/sec, 130 secs
lola: 541396 markings, 1873941 edges, 3762 markings/sec, 135 secs
lola: 560844 markings, 1941709 edges, 3890 markings/sec, 140 secs
lola: 580260 markings, 2010072 edges, 3883 markings/sec, 145 secs
lola: 599761 markings, 2076743 edges, 3900 markings/sec, 150 secs
lola: 619139 markings, 2145585 edges, 3876 markings/sec, 155 secs
lola: 638452 markings, 2214284 edges, 3863 markings/sec, 160 secs
lola: 657650 markings, 2285739 edges, 3840 markings/sec, 165 secs
lola: 677023 markings, 2353335 edges, 3875 markings/sec, 170 secs
lola: 696448 markings, 2421454 edges, 3885 markings/sec, 175 secs
lola: 715614 markings, 2487460 edges, 3833 markings/sec, 180 secs
lola: 735060 markings, 2554965 edges, 3889 markings/sec, 185 secs
lola: 754394 markings, 2623202 edges, 3867 markings/sec, 190 secs
lola: 773795 markings, 2692939 edges, 3880 markings/sec, 195 secs
lola: 793202 markings, 2760604 edges, 3881 markings/sec, 200 secs
lola: 812554 markings, 2830170 edges, 3870 markings/sec, 205 secs
lola: 831965 markings, 2897450 edges, 3882 markings/sec, 210 secs
lola: 851228 markings, 2967760 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: 291928 KB
lola: time consumption: 1340 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__6_5_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__6_5_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D30N150-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 150
lola: 17334 markings, 60688 edges, 3467 markings/sec, 0 secs
lola: 36155 markings, 128168 edges, 3764 markings/sec, 5 secs
lola: 55209 markings, 192370 edges, 3811 markings/sec, 10 secs
lola: 74340 markings, 262188 edges, 3826 markings/sec, 15 secs
lola: 93505 markings, 330181 edges, 3833 markings/sec, 20 secs
lola: 112723 markings, 396472 edges, 3844 markings/sec, 25 secs
lola: 131927 markings, 463352 edges, 3841 markings/sec, 30 secs
lola: 151188 markings, 525841 edges, 3852 markings/sec, 35 secs
lola: 170503 markings, 588472 edges, 3863 markings/sec, 40 secs
lola: 189748 markings, 653306 edges, 3849 markings/sec, 45 secs
lola: 208908 markings, 719344 edges, 3832 markings/sec, 50 secs
lola: 228082 markings, 785227 edges, 3835 markings/sec, 55 secs
lola: 247466 markings, 847158 edges, 3877 markings/sec, 60 secs
lola: 266756 markings, 911967 edges, 3858 markings/sec, 65 secs
lola: 285985 markings, 976301 edges, 3846 markings/sec, 70 secs
lola: 305284 markings, 1038679 edges, 3860 markings/sec, 75 secs
lola: 324626 markings, 1100856 edges, 3868 markings/sec, 80 secs
lola: 343937 markings, 1165073 edges, 3862 markings/sec, 85 secs
lola: 363156 markings, 1230335 edges, 3844 markings/sec, 90 secs
lola: 382487 markings, 1292079 edges, 3866 markings/sec, 95 secs
lola: 401663 markings, 1358401 edges, 3835 markings/sec, 100 secs
lola: 420956 markings, 1420883 edges, 3859 markings/sec, 105 secs
lola: 440180 markings, 1484591 edges, 3845 markings/sec, 110 secs
lola: 459366 markings, 1549959 edges, 3837 markings/sec, 115 secs
lola: 478580 markings, 1613755 edges, 3843 markings/sec, 120 secs
lola: 497825 markings, 1676395 edges, 3849 markings/sec, 125 secs
lola: 517066 markings, 1738058 edges, 3848 markings/sec, 130 secs
lola: 536399 markings, 1800579 edges, 3867 markings/sec, 135 secs
lola: 555717 markings, 1864297 edges, 3864 markings/sec, 140 secs
lola: 574937 markings, 1928151 edges, 3844 markings/sec, 145 secs
lola: 594154 markings, 1991216 edges, 3843 markings/sec, 150 secs
lola: 613421 markings, 2054081 edges, 3853 markings/sec, 155 secs
lola: 632630 markings, 2117783 edges, 3842 markings/sec, 160 secs
lola: 651803 markings, 2182873 edges, 3835 markings/sec, 165 secs
lola: 670953 markings, 2248402 edges, 3830 markings/sec, 170 secs
lola: 690258 markings, 2310849 edges, 3861 markings/sec, 175 secs
lola: 709456 markings, 2376179 edges, 3840 markings/sec, 180 secs
lola: 728711 markings, 2440096 edges, 3851 markings/sec, 185 secs
lola: 747945 markings, 2504315 edges, 3847 markings/sec, 190 secs
lola: 767283 markings, 2567207 edges, 3868 markings/sec, 195 secs
lola: 786376 markings, 2630771 edges, 3819 markings/sec, 200 secs
lola: 805510 markings, 2697608 edges, 3827 markings/sec, 205 secs
lola: 824853 markings, 2761205 edges, 3869 markings/sec, 210 secs
lola: 844189 markings, 2824031 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: 270928 KB
lola: time consumption: 1563 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__29_19_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__29_19_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D30N150-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 150
lola: 18098 markings, 61431 edges, 3620 markings/sec, 0 secs
lola: 37667 markings, 129140 edges, 3914 markings/sec, 5 secs
lola: 57241 markings, 196557 edges, 3915 markings/sec, 10 secs
lola: 76867 markings, 265052 edges, 3925 markings/sec, 15 secs
lola: 96457 markings, 335149 edges, 3918 markings/sec, 20 secs
lola: 116127 markings, 404016 edges, 3934 markings/sec, 25 secs
lola: 135759 markings, 472936 edges, 3926 markings/sec, 30 secs
lola: 155389 markings, 541129 edges, 3926 markings/sec, 35 secs
lola: 174950 markings, 609340 edges, 3912 markings/sec, 40 secs
lola: 194422 markings, 677725 edges, 3894 markings/sec, 45 secs
lola: 213735 markings, 749474 edges, 3863 markings/sec, 50 secs
lola: 233236 markings, 819685 edges, 3900 markings/sec, 55 secs
lola: 252866 markings, 887759 edges, 3926 markings/sec, 60 secs
lola: 272433 markings, 956713 edges, 3913 markings/sec, 65 secs
lola: 291974 markings, 1025611 edges, 3908 markings/sec, 70 secs
lola: 311662 markings, 1093721 edges, 3938 markings/sec, 75 secs
lola: 331291 markings, 1162539 edges, 3926 markings/sec, 80 secs
lola: 350826 markings, 1231587 edges, 3907 markings/sec, 85 secs
lola: 370438 markings, 1301073 edges, 3922 markings/sec, 90 secs
lola: 390022 markings, 1371640 edges, 3917 markings/sec, 95 secs
lola: 409652 markings, 1440462 edges, 3926 markings/sec, 100 secs
lola: 429278 markings, 1508443 edges, 3925 markings/sec, 105 secs
lola: 448826 markings, 1579094 edges, 3910 markings/sec, 110 secs
lola: 468415 markings, 1648224 edges, 3918 markings/sec, 115 secs
lola: 487990 markings, 1717381 edges, 3915 markings/sec, 120 secs
lola: 507576 markings, 1786892 edges, 3917 markings/sec, 125 secs
lola: 527126 markings, 1856645 edges, 3910 markings/sec, 130 secs
lola: 546731 markings, 1924208 edges, 3921 markings/sec, 135 secs
lola: 566196 markings, 1995495 edges, 3893 markings/sec, 140 secs
lola: 585763 markings, 2065924 edges, 3913 markings/sec, 145 secs
lola: 605431 markings, 2134492 edges, 3934 markings/sec, 150 secs
lola: 625004 markings, 2204833 edges, 3915 markings/sec, 155 secs
lola: 644655 markings, 2273468 edges, 3930 markings/sec, 160 secs
lola: 664221 markings, 2344710 edges, 3913 markings/sec, 165 secs
lola: 683753 markings, 2415744 edges, 3906 markings/sec, 170 secs
lola: 703377 markings, 2484502 edges, 3925 markings/sec, 175 secs
lola: 722985 markings, 2553372 edges, 3922 markings/sec, 180 secs
lola: 742560 markings, 2624065 edges, 3915 markings/sec, 185 secs
lola: 762139 markings, 2694411 edges, 3916 markings/sec, 190 secs
lola: 781725 markings, 2764731 edges, 3917 markings/sec, 195 secs
lola: 801245 markings, 2837124 edges, 3904 markings/sec, 200 secs
lola: 820743 markings, 2906791 edges, 3900 markings/sec, 205 secs
lola: 840224 markings, 2975670 edges, 3896 markings/sec, 210 secs
lola: 859735 markings, 3043791 edges, 3902 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: 266604 KB
lola: time consumption: 1786 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__21_29_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__21_29_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D30N150-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 150
lola: 17655 markings, 59239 edges, 3531 markings/sec, 0 secs
lola: 36768 markings, 124391 edges, 3823 markings/sec, 5 secs
lola: 55968 markings, 188669 edges, 3840 markings/sec, 10 secs
lola: 75143 markings, 251883 edges, 3835 markings/sec, 15 secs
lola: 94350 markings, 315492 edges, 3841 markings/sec, 20 secs
lola: 113459 markings, 377802 edges, 3822 markings/sec, 25 secs
lola: 132553 markings, 443224 edges, 3819 markings/sec, 30 secs
lola: 151593 markings, 504994 edges, 3808 markings/sec, 35 secs
lola: 170791 markings, 568531 edges, 3840 markings/sec, 40 secs
lola: 190012 markings, 633683 edges, 3844 markings/sec, 45 secs
lola: 209224 markings, 696870 edges, 3842 markings/sec, 50 secs
lola: 228369 markings, 760484 edges, 3829 markings/sec, 55 secs
lola: 247519 markings, 824048 edges, 3830 markings/sec, 60 secs
lola: 266694 markings, 888161 edges, 3835 markings/sec, 65 secs
lola: 285948 markings, 951333 edges, 3851 markings/sec, 70 secs
lola: 305057 markings, 1015467 edges, 3822 markings/sec, 75 secs
lola: 324272 markings, 1078797 edges, 3843 markings/sec, 80 secs
lola: 343422 markings, 1141964 edges, 3830 markings/sec, 85 secs
lola: 362600 markings, 1203472 edges, 3836 markings/sec, 90 secs
lola: 381762 markings, 1265816 edges, 3832 markings/sec, 95 secs
lola: 400910 markings, 1330868 edges, 3830 markings/sec, 100 secs
lola: 420220 markings, 1391686 edges, 3862 markings/sec, 105 secs
lola: 439533 markings, 1453751 edges, 3863 markings/sec, 110 secs
lola: 458732 markings, 1516608 edges, 3840 markings/sec, 115 secs
lola: 478043 markings, 1579836 edges, 3862 markings/sec, 120 secs
lola: 497322 markings, 1641225 edges, 3856 markings/sec, 125 secs
lola: 516613 markings, 1703215 edges, 3858 markings/sec, 130 secs
lola: 535903 markings, 1764748 edges, 3858 markings/sec, 135 secs
lola: 555177 markings, 1825766 edges, 3855 markings/sec, 140 secs
lola: 574428 markings, 1888874 edges, 3850 markings/sec, 145 secs
lola: 593594 markings, 1952691 edges, 3833 markings/sec, 150 secs
lola: 612696 markings, 2017460 edges, 3820 markings/sec, 155 secs
lola: 631932 markings, 2081696 edges, 3847 markings/sec, 160 secs
lola: 651083 markings, 2146515 edges, 3830 markings/sec, 165 secs
lola: 670176 markings, 2210938 edges, 3819 markings/sec, 170 secs
lola: 689258 markings, 2278250 edges, 3816 markings/sec, 175 secs
lola: 708460 markings, 2342741 edges, 3840 markings/sec, 180 secs
lola: 727763 markings, 2404311 edges, 3861 markings/sec, 185 secs
lola: 746940 markings, 2470826 edges, 3835 markings/sec, 190 secs
lola: 766215 markings, 2532536 edges, 3855 markings/sec, 195 secs
lola: 785388 markings, 2597316 edges, 3835 markings/sec, 200 secs
lola: 804334 markings, 2667768 edges, 3789 markings/sec, 205 secs
lola: 823500 markings, 2731596 edges, 3833 markings/sec, 210 secs
lola: 842754 markings, 2792033 edges, 3851 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: 273292 KB
lola: time consumption: 2009 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__18_28_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__18_28_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D30N150-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 150
lola: 17569 markings, 63047 edges, 3514 markings/sec, 0 secs
lola: 36640 markings, 133373 edges, 3814 markings/sec, 5 secs
lola: 55633 markings, 202816 edges, 3799 markings/sec, 10 secs
lola: 74715 markings, 269514 edges, 3816 markings/sec, 15 secs
lola: 93494 markings, 337540 edges, 3756 markings/sec, 20 secs
lola: 112566 markings, 406789 edges, 3814 markings/sec, 25 secs
lola: 131619 markings, 474030 edges, 3811 markings/sec, 30 secs
lola: 150688 markings, 541897 edges, 3814 markings/sec, 35 secs
lola: 169717 markings, 609791 edges, 3806 markings/sec, 40 secs
lola: 188599 markings, 678814 edges, 3776 markings/sec, 45 secs
lola: 207612 markings, 748002 edges, 3803 markings/sec, 50 secs
lola: 226521 markings, 814761 edges, 3782 markings/sec, 55 secs
lola: 245457 markings, 884606 edges, 3787 markings/sec, 60 secs
lola: 264292 markings, 953622 edges, 3767 markings/sec, 65 secs
lola: 283304 markings, 1020974 edges, 3802 markings/sec, 70 secs
lola: 302305 markings, 1087261 edges, 3800 markings/sec, 75 secs
lola: 321333 markings, 1156208 edges, 3806 markings/sec, 80 secs
lola: 340260 markings, 1227717 edges, 3785 markings/sec, 85 secs
lola: 359332 markings, 1296135 edges, 3814 markings/sec, 90 secs
lola: 378359 markings, 1365812 edges, 3805 markings/sec, 95 secs
lola: 397289 markings, 1434926 edges, 3786 markings/sec, 100 secs
lola: 416257 markings, 1506040 edges, 3794 markings/sec, 105 secs
lola: 435290 markings, 1574653 edges, 3807 markings/sec, 110 secs
lola: 454273 markings, 1643395 edges, 3797 markings/sec, 115 secs
lola: 473208 markings, 1712918 edges, 3787 markings/sec, 120 secs
lola: 492326 markings, 1779147 edges, 3824 markings/sec, 125 secs
lola: 511341 markings, 1846205 edges, 3803 markings/sec, 130 secs
lola: 530130 markings, 1920391 edges, 3758 markings/sec, 135 secs
lola: 549042 markings, 1990464 edges, 3782 markings/sec, 140 secs
lola: 568098 markings, 2059496 edges, 3811 markings/sec, 145 secs
lola: 586990 markings, 2130905 edges, 3778 markings/sec, 150 secs
lola: 606100 markings, 2200173 edges, 3822 markings/sec, 155 secs
lola: 625204 markings, 2268982 edges, 3821 markings/sec, 160 secs
lola: 644304 markings, 2336907 edges, 3820 markings/sec, 165 secs
lola: 663228 markings, 2408476 edges, 3785 markings/sec, 170 secs
lola: 682226 markings, 2476734 edges, 3800 markings/sec, 175 secs
lola: 701160 markings, 2545359 edges, 3787 markings/sec, 180 secs
lola: 720109 markings, 2612412 edges, 3790 markings/sec, 185 secs
lola: 739021 markings, 2679744 edges, 3782 markings/sec, 190 secs
lola: 757899 markings, 2748506 edges, 3776 markings/sec, 195 secs
lola: 776672 markings, 2823081 edges, 3755 markings/sec, 200 secs
lola: 795616 markings, 2895246 edges, 3789 markings/sec, 205 secs
lola: 814535 markings, 2963463 edges, 3784 markings/sec, 210 secs
lola: 833648 markings, 3032398 edges, 3823 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: 287040 KB
lola: time consumption: 2232 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__28_5_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__28_5_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D30N150-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 150
lola: 18070 markings, 58353 edges, 3614 markings/sec, 0 secs
lola: 37621 markings, 122871 edges, 3910 markings/sec, 5 secs
lola: 57202 markings, 185336 edges, 3916 markings/sec, 10 secs
lola: 76759 markings, 249016 edges, 3911 markings/sec, 15 secs
lola: 96382 markings, 308713 edges, 3925 markings/sec, 20 secs
lola: 116029 markings, 368500 edges, 3929 markings/sec, 25 secs
lola: 135555 markings, 428707 edges, 3905 markings/sec, 30 secs
lola: 155176 markings, 488366 edges, 3924 markings/sec, 35 secs
lola: 174723 markings, 548886 edges, 3909 markings/sec, 40 secs
lola: 194239 markings, 610389 edges, 3903 markings/sec, 45 secs
lola: 213718 markings, 672439 edges, 3896 markings/sec, 50 secs
lola: 233299 markings, 735144 edges, 3916 markings/sec, 55 secs
lola: 252908 markings, 797707 edges, 3922 markings/sec, 60 secs
lola: 272530 markings, 860833 edges, 3924 markings/sec, 65 secs
lola: 291857 markings, 927666 edges, 3865 markings/sec, 70 secs
lola: 311489 markings, 989902 edges, 3926 markings/sec, 75 secs
lola: 331240 markings, 1048096 edges, 3950 markings/sec, 80 secs
lola: 350775 markings, 1109520 edges, 3907 markings/sec, 85 secs
lola: 370393 markings, 1170900 edges, 3924 markings/sec, 90 secs
lola: 389999 markings, 1230196 edges, 3921 markings/sec, 95 secs
lola: 409545 markings, 1290267 edges, 3909 markings/sec, 100 secs
lola: 429103 markings, 1349662 edges, 3912 markings/sec, 105 secs
lola: 448653 markings, 1407440 edges, 3910 markings/sec, 110 secs
lola: 468149 markings, 1468519 edges, 3899 markings/sec, 115 secs
lola: 487777 markings, 1527348 edges, 3926 markings/sec, 120 secs
lola: 507258 markings, 1588557 edges, 3896 markings/sec, 125 secs
lola: 526905 markings, 1648528 edges, 3929 markings/sec, 130 secs
lola: 546482 markings, 1709065 edges, 3915 markings/sec, 135 secs
lola: 566094 markings, 1770951 edges, 3922 markings/sec, 140 secs
lola: 585660 markings, 1829327 edges, 3913 markings/sec, 145 secs
lola: 605172 markings, 1889027 edges, 3902 markings/sec, 150 secs
lola: 624710 markings, 1948776 edges, 3908 markings/sec, 155 secs
lola: 644281 markings, 2006993 edges, 3914 markings/sec, 160 secs
lola: 663817 markings, 2064912 edges, 3907 markings/sec, 165 secs
lola: 683426 markings, 2122287 edges, 3922 markings/sec, 170 secs
lola: 702989 markings, 2179977 edges, 3913 markings/sec, 175 secs
lola: 722511 markings, 2237904 edges, 3904 markings/sec, 180 secs
lola: 741940 markings, 2297373 edges, 3886 markings/sec, 185 secs
lola: 761575 markings, 2356755 edges, 3927 markings/sec, 190 secs
lola: 781239 markings, 2414585 edges, 3933 markings/sec, 195 secs
lola: 800774 markings, 2474480 edges, 3907 markings/sec, 200 secs
lola: 820354 markings, 2532761 edges, 3916 markings/sec, 205 secs
lola: 839857 markings, 2592500 edges, 3901 markings/sec, 210 secs
lola: 859390 markings, 2652257 edges, 3907 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: 277160 KB
lola: time consumption: 2455 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__25_12_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__25_12_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D30N150-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 150
lola: 17829 markings, 62539 edges, 3566 markings/sec, 0 secs
lola: 37056 markings, 131427 edges, 3845 markings/sec, 5 secs
lola: 56381 markings, 199382 edges, 3865 markings/sec, 10 secs
lola: 75637 markings, 269604 edges, 3851 markings/sec, 15 secs
lola: 94969 markings, 336500 edges, 3866 markings/sec, 20 secs
lola: 114191 markings, 406149 edges, 3844 markings/sec, 25 secs
lola: 133452 markings, 473705 edges, 3852 markings/sec, 30 secs
lola: 152667 markings, 542614 edges, 3843 markings/sec, 35 secs
lola: 171897 markings, 611822 edges, 3846 markings/sec, 40 secs
lola: 191195 markings, 680086 edges, 3860 markings/sec, 45 secs
lola: 210463 markings, 751807 edges, 3854 markings/sec, 50 secs
lola: 229825 markings, 819477 edges, 3872 markings/sec, 55 secs
lola: 249071 markings, 889009 edges, 3849 markings/sec, 60 secs
lola: 268479 markings, 956636 edges, 3882 markings/sec, 65 secs
lola: 287770 markings, 1026546 edges, 3858 markings/sec, 70 secs
lola: 307167 markings, 1093176 edges, 3879 markings/sec, 75 secs
lola: 326440 markings, 1163586 edges, 3855 markings/sec, 80 secs
lola: 345720 markings, 1231722 edges, 3856 markings/sec, 85 secs
lola: 364968 markings, 1299756 edges, 3850 markings/sec, 90 secs
lola: 384206 markings, 1370061 edges, 3848 markings/sec, 95 secs
lola: 403475 markings, 1438008 edges, 3854 markings/sec, 100 secs
lola: 422806 markings, 1506127 edges, 3866 markings/sec, 105 secs
lola: 441957 markings, 1575763 edges, 3830 markings/sec, 110 secs
lola: 461183 markings, 1643986 edges, 3845 markings/sec, 115 secs
lola: 480385 markings, 1712259 edges, 3840 markings/sec, 120 secs
lola: 499665 markings, 1780808 edges, 3856 markings/sec, 125 secs
lola: 518932 markings, 1848276 edges, 3853 markings/sec, 130 secs
lola: 538126 markings, 1917893 edges, 3839 markings/sec, 135 secs
lola: 557356 markings, 1986827 edges, 3846 markings/sec, 140 secs
lola: 576573 markings, 2054891 edges, 3843 markings/sec, 145 secs
lola: 595761 markings, 2124612 edges, 3838 markings/sec, 150 secs
lola: 615016 markings, 2193327 edges, 3851 markings/sec, 155 secs
lola: 634232 markings, 2260457 edges, 3843 markings/sec, 160 secs
lola: 653455 markings, 2328195 edges, 3845 markings/sec, 165 secs
lola: 672741 markings, 2397590 edges, 3857 markings/sec, 170 secs
lola: 692099 markings, 2463754 edges, 3872 markings/sec, 175 secs
lola: 711403 markings, 2529912 edges, 3861 markings/sec, 180 secs
lola: 730743 markings, 2594907 edges, 3868 markings/sec, 185 secs
lola: 750069 markings, 2665412 edges, 3865 markings/sec, 190 secs
lola: 769460 markings, 2731898 edges, 3878 markings/sec, 195 secs
lola: 788662 markings, 2801946 edges, 3840 markings/sec, 200 secs
lola: 807943 markings, 2868699 edges, 3856 markings/sec, 205 secs
lola: 827251 markings, 2936745 edges, 3862 markings/sec, 210 secs
lola: 846573 markings, 2999224 edges, 3864 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: 271920 KB
lola: time consumption: 2678 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__27_29_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__27_29_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D30N150-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 150
lola: 17832 markings, 60366 edges, 3566 markings/sec, 0 secs
lola: 37208 markings, 126432 edges, 3875 markings/sec, 5 secs
lola: 56542 markings, 192936 edges, 3867 markings/sec, 10 secs
lola: 75901 markings, 258275 edges, 3872 markings/sec, 15 secs
lola: 95333 markings, 321362 edges, 3886 markings/sec, 20 secs
lola: 114727 markings, 385855 edges, 3879 markings/sec, 25 secs
lola: 134125 markings, 449817 edges, 3880 markings/sec, 30 secs
lola: 153522 markings, 515010 edges, 3879 markings/sec, 35 secs
lola: 172916 markings, 579056 edges, 3879 markings/sec, 40 secs
lola: 192368 markings, 642858 edges, 3890 markings/sec, 45 secs
lola: 211734 markings, 708171 edges, 3873 markings/sec, 50 secs
lola: 231081 markings, 771774 edges, 3869 markings/sec, 55 secs
lola: 250431 markings, 836945 edges, 3870 markings/sec, 60 secs
lola: 269913 markings, 900652 edges, 3896 markings/sec, 65 secs
lola: 289285 markings, 965644 edges, 3874 markings/sec, 70 secs
lola: 308641 markings, 1030900 edges, 3871 markings/sec, 75 secs
lola: 327888 markings, 1095322 edges, 3849 markings/sec, 80 secs
lola: 346932 markings, 1157585 edges, 3809 markings/sec, 85 secs
lola: 366173 markings, 1221931 edges, 3848 markings/sec, 90 secs
lola: 385524 markings, 1285213 edges, 3870 markings/sec, 95 secs
lola: 404874 markings, 1348259 edges, 3870 markings/sec, 100 secs
lola: 424117 markings, 1411991 edges, 3849 markings/sec, 105 secs
lola: 443406 markings, 1475216 edges, 3858 markings/sec, 110 secs
lola: 462717 markings, 1541114 edges, 3862 markings/sec, 115 secs
lola: 482023 markings, 1605567 edges, 3861 markings/sec, 120 secs
lola: 501318 markings, 1669770 edges, 3859 markings/sec, 125 secs
lola: 520607 markings, 1734327 edges, 3858 markings/sec, 130 secs
lola: 539824 markings, 1800025 edges, 3843 markings/sec, 135 secs
lola: 559203 markings, 1862689 edges, 3876 markings/sec, 140 secs
lola: 578522 markings, 1927082 edges, 3864 markings/sec, 145 secs
lola: 597932 markings, 1989529 edges, 3882 markings/sec, 150 secs
lola: 617237 markings, 2054973 edges, 3861 markings/sec, 155 secs
lola: 636427 markings, 2120202 edges, 3838 markings/sec, 160 secs
lola: 655735 markings, 2185573 edges, 3862 markings/sec, 165 secs
lola: 675087 markings, 2249727 edges, 3870 markings/sec, 170 secs
lola: 694449 markings, 2313211 edges, 3872 markings/sec, 175 secs
lola: 713775 markings, 2376993 edges, 3865 markings/sec, 180 secs
lola: 733069 markings, 2442472 edges, 3859 markings/sec, 185 secs
lola: 752334 markings, 2506853 edges, 3853 markings/sec, 190 secs
lola: 771612 markings, 2570334 edges, 3856 markings/sec, 195 secs
lola: 790850 markings, 2634523 edges, 3848 markings/sec, 200 secs
lola: 810115 markings, 2697716 edges, 3853 markings/sec, 205 secs
lola: 829411 markings, 2760789 edges, 3859 markings/sec, 210 secs
lola: 848595 markings, 2824810 edges, 3837 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: 267204 KB
lola: time consumption: 2901 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__10_19_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__10_19_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D30N150-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 150
lola: 17465 markings, 60135 edges, 3493 markings/sec, 0 secs
lola: 36457 markings, 125626 edges, 3798 markings/sec, 5 secs
lola: 55653 markings, 191912 edges, 3839 markings/sec, 10 secs
lola: 74934 markings, 258394 edges, 3856 markings/sec, 15 secs
lola: 94210 markings, 324720 edges, 3855 markings/sec, 20 secs
lola: 113457 markings, 391175 edges, 3849 markings/sec, 25 secs
lola: 132739 markings, 457773 edges, 3856 markings/sec, 30 secs
lola: 152040 markings, 524190 edges, 3860 markings/sec, 35 secs
lola: 171190 markings, 592555 edges, 3830 markings/sec, 40 secs
lola: 190199 markings, 663630 edges, 3802 markings/sec, 45 secs
lola: 209267 markings, 731025 edges, 3814 markings/sec, 50 secs
lola: 228330 markings, 796956 edges, 3813 markings/sec, 55 secs
lola: 247340 markings, 863712 edges, 3802 markings/sec, 60 secs
lola: 266352 markings, 931899 edges, 3802 markings/sec, 65 secs
lola: 285284 markings, 1002646 edges, 3786 markings/sec, 70 secs
lola: 304093 markings, 1073591 edges, 3762 markings/sec, 75 secs
lola: 323036 markings, 1145784 edges, 3789 markings/sec, 80 secs
lola: 341928 markings, 1215982 edges, 3778 markings/sec, 85 secs
lola: 361047 markings, 1282990 edges, 3824 markings/sec, 90 secs
lola: 380205 markings, 1350029 edges, 3832 markings/sec, 95 secs
lola: 399396 markings, 1413685 edges, 3838 markings/sec, 100 secs
lola: 418425 markings, 1482640 edges, 3806 markings/sec, 105 secs
lola: 437535 markings, 1547798 edges, 3822 markings/sec, 110 secs
lola: 456818 markings, 1607489 edges, 3857 markings/sec, 115 secs
lola: 475907 markings, 1670863 edges, 3818 markings/sec, 120 secs
lola: 494839 markings, 1740456 edges, 3786 markings/sec, 125 secs
lola: 513831 markings, 1808979 edges, 3798 markings/sec, 130 secs
lola: 533055 markings, 1871953 edges, 3845 markings/sec, 135 secs
lola: 552131 markings, 1937097 edges, 3815 markings/sec, 140 secs
lola: 571228 markings, 2003367 edges, 3819 markings/sec, 145 secs
lola: 590355 markings, 2066273 edges, 3825 markings/sec, 150 secs
lola: 609361 markings, 2133970 edges, 3801 markings/sec, 155 secs
lola: 628326 markings, 2205249 edges, 3793 markings/sec, 160 secs
lola: 647412 markings, 2270756 edges, 3817 markings/sec, 165 secs
lola: 666545 markings, 2334377 edges, 3827 markings/sec, 170 secs
lola: 685720 markings, 2399630 edges, 3835 markings/sec, 175 secs
lola: 704426 markings, 2463294 edges, 3741 markings/sec, 180 secs
lola: 721892 markings, 2525453 edges, 3493 markings/sec, 185 secs
lola: 739319 markings, 2589257 edges, 3485 markings/sec, 190 secs
lola: 757160 markings, 2656339 edges, 3568 markings/sec, 195 secs
lola: 775428 markings, 2727561 edges, 3654 markings/sec, 200 secs
lola: 793818 markings, 2793753 edges, 3678 markings/sec, 205 secs
lola: 812607 markings, 2853497 edges, 3758 markings/sec, 210 secs
lola: 831342 markings, 2913595 edges, 3747 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: 264008 KB
lola: time consumption: 3124 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__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-D30N150-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 150
lola: 16619 markings, 52250 edges, 3324 markings/sec, 0 secs
lola: 34703 markings, 110329 edges, 3617 markings/sec, 5 secs
lola: 52832 markings, 166467 edges, 3626 markings/sec, 10 secs
lola: 70948 markings, 219247 edges, 3623 markings/sec, 15 secs
lola: 89109 markings, 274809 edges, 3632 markings/sec, 20 secs
lola: 107160 markings, 332686 edges, 3610 markings/sec, 25 secs
lola: 125796 markings, 390198 edges, 3727 markings/sec, 30 secs
lola: 143625 markings, 446170 edges, 3566 markings/sec, 35 secs
lola: 162038 markings, 507230 edges, 3683 markings/sec, 40 secs
lola: 180110 markings, 563689 edges, 3614 markings/sec, 45 secs
lola: 198121 markings, 619965 edges, 3602 markings/sec, 50 secs
lola: 216404 markings, 681341 edges, 3657 markings/sec, 55 secs
lola: 234389 markings, 738861 edges, 3597 markings/sec, 60 secs
lola: 252194 markings, 801474 edges, 3561 markings/sec, 65 secs
lola: 269849 markings, 859937 edges, 3531 markings/sec, 70 secs
lola: 288279 markings, 919919 edges, 3686 markings/sec, 75 secs
lola: 307126 markings, 976121 edges, 3769 markings/sec, 80 secs
lola: 326129 markings, 1033798 edges, 3801 markings/sec, 85 secs
lola: 345261 markings, 1092166 edges, 3826 markings/sec, 90 secs
lola: 364396 markings, 1151787 edges, 3827 markings/sec, 95 secs
lola: 383634 markings, 1210295 edges, 3848 markings/sec, 100 secs
lola: 402808 markings, 1270800 edges, 3835 markings/sec, 105 secs
lola: 421954 markings, 1330084 edges, 3829 markings/sec, 110 secs
lola: 441145 markings, 1390735 edges, 3838 markings/sec, 115 secs
lola: 459873 markings, 1454507 edges, 3746 markings/sec, 120 secs
lola: 478982 markings, 1516417 edges, 3822 markings/sec, 125 secs
lola: 498028 markings, 1577900 edges, 3809 markings/sec, 130 secs
lola: 516884 markings, 1641480 edges, 3771 markings/sec, 135 secs
lola: 535967 markings, 1704417 edges, 3817 markings/sec, 140 secs
lola: 555126 markings, 1761604 edges, 3832 markings/sec, 145 secs
lola: 574291 markings, 1819625 edges, 3833 markings/sec, 150 secs
lola: 593364 markings, 1880079 edges, 3815 markings/sec, 155 secs
lola: 612373 markings, 1942013 edges, 3802 markings/sec, 160 secs
lola: 631497 markings, 2001646 edges, 3825 markings/sec, 165 secs
lola: 650642 markings, 2058658 edges, 3829 markings/sec, 170 secs
lola: 669730 markings, 2116224 edges, 3818 markings/sec, 175 secs
lola: 688810 markings, 2173718 edges, 3816 markings/sec, 180 secs
lola: 707967 markings, 2231883 edges, 3831 markings/sec, 185 secs
lola: 727011 markings, 2289334 edges, 3809 markings/sec, 190 secs
lola: 746009 markings, 2348362 edges, 3800 markings/sec, 195 secs
lola: 765189 markings, 2404285 edges, 3836 markings/sec, 200 secs
lola: 784334 markings, 2460460 edges, 3829 markings/sec, 205 secs
lola: 803340 markings, 2516095 edges, 3801 markings/sec, 210 secs
lola: 822275 markings, 2574325 edges, 3787 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: 276448 KB
lola: time consumption: 3347 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__11_10_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__11_10_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D30N150-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 150
lola: 17269 markings, 60342 edges, 3454 markings/sec, 0 secs
lola: 36026 markings, 125864 edges, 3751 markings/sec, 5 secs
lola: 54875 markings, 191945 edges, 3770 markings/sec, 10 secs
lola: 73944 markings, 258935 edges, 3814 markings/sec, 15 secs
lola: 93057 markings, 323941 edges, 3823 markings/sec, 20 secs
lola: 112176 markings, 390594 edges, 3824 markings/sec, 25 secs
lola: 131251 markings, 459479 edges, 3815 markings/sec, 30 secs
lola: 150246 markings, 525823 edges, 3799 markings/sec, 35 secs
lola: 169185 markings, 593931 edges, 3788 markings/sec, 40 secs
lola: 188140 markings, 662569 edges, 3791 markings/sec, 45 secs
lola: 207221 markings, 729573 edges, 3816 markings/sec, 50 secs
lola: 226280 markings, 796104 edges, 3812 markings/sec, 55 secs
lola: 245378 markings, 861752 edges, 3820 markings/sec, 60 secs
lola: 264459 markings, 928132 edges, 3816 markings/sec, 65 secs
lola: 283333 markings, 996010 edges, 3775 markings/sec, 70 secs
lola: 302332 markings, 1063709 edges, 3800 markings/sec, 75 secs
lola: 321312 markings, 1129202 edges, 3796 markings/sec, 80 secs
lola: 340258 markings, 1196225 edges, 3789 markings/sec, 85 secs
lola: 359288 markings, 1262199 edges, 3806 markings/sec, 90 secs
lola: 378399 markings, 1329540 edges, 3822 markings/sec, 95 secs
lola: 397427 markings, 1396201 edges, 3806 markings/sec, 100 secs
lola: 416462 markings, 1463557 edges, 3807 markings/sec, 105 secs
lola: 435410 markings, 1530805 edges, 3790 markings/sec, 110 secs
lola: 454319 markings, 1598667 edges, 3782 markings/sec, 115 secs
lola: 473287 markings, 1665889 edges, 3794 markings/sec, 120 secs
lola: 492339 markings, 1731682 edges, 3810 markings/sec, 125 secs
lola: 511253 markings, 1800627 edges, 3783 markings/sec, 130 secs
lola: 530120 markings, 1870398 edges, 3773 markings/sec, 135 secs
lola: 548852 markings, 1938942 edges, 3746 markings/sec, 140 secs
lola: 567749 markings, 2007865 edges, 3779 markings/sec, 145 secs
lola: 586479 markings, 2079218 edges, 3746 markings/sec, 150 secs
lola: 605294 markings, 2149657 edges, 3763 markings/sec, 155 secs
lola: 624104 markings, 2218526 edges, 3762 markings/sec, 160 secs
lola: 642827 markings, 2289327 edges, 3745 markings/sec, 165 secs
lola: 661471 markings, 2356744 edges, 3729 markings/sec, 170 secs
lola: 680462 markings, 2425846 edges, 3798 markings/sec, 175 secs
lola: 699314 markings, 2497798 edges, 3770 markings/sec, 180 secs
lola: 718269 markings, 2567868 edges, 3791 markings/sec, 185 secs
lola: 737067 markings, 2641526 edges, 3760 markings/sec, 190 secs
lola: 756040 markings, 2710048 edges, 3795 markings/sec, 195 secs
lola: 775080 markings, 2778134 edges, 3808 markings/sec, 200 secs
lola: 793973 markings, 2846569 edges, 3779 markings/sec, 205 secs
lola: 812784 markings, 2916290 edges, 3762 markings/sec, 210 secs
lola: 831596 markings, 2988473 edges, 3762 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: 275412 KB
lola: time consumption: 3570 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: 275412 KB
lola: time consumption: 3570 seconds

BK_STOP 1526694667716

--------------------
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-D30N150"
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-D30N150.tgz
mv Diffusion2D-PT-D30N150 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-D30N150, 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-152649937000254"
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 '' 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 ;