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 1.3M
-rw-r--r-- 1 mcc users 3.9K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K 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 17K 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.8K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 13K 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.8K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K 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.3K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K 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.8K 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 1.2M May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is Diffusion2D-PT-D20N050, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r076-blw3-152649936900212
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1526673051071

info: Time: 3600 - MCC
===========================================================================================
prep: translating Diffusion2D-PT-D20N050 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating Diffusion2D-PT-D20N050 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ Diffusion2D-PT-D20N050 @ 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: 3364/65536 symbol table entries, 222 collisions
lola: preprocessing...
lola: Size of bit vector: 12800
lola: finding significant places
lola: 400 places, 2964 transitions, 399 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 400 transition conflict sets
lola: TASK
lola: reading formula from Diffusion2D-PT-D20N050-UpperBounds.task
lola: MAX(cAMP__1_6_) : MAX(cAMP__14_19_) : MAX(cAMP__3_13_) : MAX(cAMP__12_5_) : MAX(cAMP__19_17_) : MAX(cAMP__7_4_) : MAX(cAMP__3_4_) : MAX(cAMP__11_14_) : MAX(cAMP__12_5_) : MAX(cAMP__6_11_) : MAX(cAMP__15_7_) : MAX(cAMP__3_16_) : MAX(cAMP__15_15_) : MAX(cAMP__17_2_) : MAX(cAMP__9_17_) : MAX(cAMP__9_5_)
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__1_6_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__1_6_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D20N050-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: 46878 markings, 161773 edges, 9376 markings/sec, 0 secs
lola: 96391 markings, 323078 edges, 9903 markings/sec, 5 secs
lola: 146179 markings, 487976 edges, 9958 markings/sec, 10 secs
lola: 195774 markings, 656132 edges, 9919 markings/sec, 15 secs
lola: 245579 markings, 815089 edges, 9961 markings/sec, 20 secs
lola: 295257 markings, 973331 edges, 9936 markings/sec, 25 secs
lola: 344869 markings, 1135367 edges, 9922 markings/sec, 30 secs
lola: 394649 markings, 1291797 edges, 9956 markings/sec, 35 secs
lola: 444466 markings, 1456694 edges, 9963 markings/sec, 40 secs
lola: 494169 markings, 1611543 edges, 9941 markings/sec, 45 secs
lola: 544075 markings, 1767706 edges, 9981 markings/sec, 50 secs
lola: 593912 markings, 1924297 edges, 9967 markings/sec, 55 secs
lola: 643146 markings, 2081673 edges, 9847 markings/sec, 60 secs
lola: 692767 markings, 2247603 edges, 9924 markings/sec, 65 secs
lola: 742877 markings, 2401580 edges, 10022 markings/sec, 70 secs
lola: 793067 markings, 2555606 edges, 10038 markings/sec, 75 secs
lola: 843071 markings, 2709985 edges, 10001 markings/sec, 80 secs
lola: 892817 markings, 2868248 edges, 9949 markings/sec, 85 secs
lola: 942290 markings, 3023015 edges, 9895 markings/sec, 90 secs
lola: 992168 markings, 3182876 edges, 9976 markings/sec, 95 secs
lola: 1042259 markings, 3336843 edges, 10018 markings/sec, 100 secs
lola: 1091953 markings, 3490154 edges, 9939 markings/sec, 105 secs
lola: 1141995 markings, 3648344 edges, 10008 markings/sec, 110 secs
lola: 1192341 markings, 3807686 edges, 10069 markings/sec, 115 secs
lola: 1242359 markings, 3961985 edges, 10004 markings/sec, 120 secs
lola: 1292407 markings, 4114511 edges, 10010 markings/sec, 125 secs
lola: 1342351 markings, 4268313 edges, 9989 markings/sec, 130 secs
lola: 1392196 markings, 4426912 edges, 9969 markings/sec, 135 secs
lola: 1441898 markings, 4591617 edges, 9940 markings/sec, 140 secs
lola: 1491947 markings, 4749904 edges, 10010 markings/sec, 145 secs
lola: 1541674 markings, 4911361 edges, 9945 markings/sec, 150 secs
lola: 1590880 markings, 5067237 edges, 9841 markings/sec, 155 secs
lola: 1640634 markings, 5226566 edges, 9951 markings/sec, 160 secs
lola: 1690788 markings, 5383845 edges, 10031 markings/sec, 165 secs
lola: 1740394 markings, 5540475 edges, 9921 markings/sec, 170 secs
lola: 1789810 markings, 5696551 edges, 9883 markings/sec, 175 secs
lola: 1839222 markings, 5853564 edges, 9882 markings/sec, 180 secs
lola: 1889382 markings, 6006932 edges, 10032 markings/sec, 185 secs
lola: 1939560 markings, 6163992 edges, 10036 markings/sec, 190 secs
lola: 1989675 markings, 6318619 edges, 10023 markings/sec, 195 secs
lola: 2039612 markings, 6477778 edges, 9987 markings/sec, 200 secs
lola: 2089441 markings, 6639833 edges, 9966 markings/sec, 205 secs
lola: 2139604 markings, 6798055 edges, 10033 markings/sec, 210 secs
lola: 2189802 markings, 6949804 edges, 10040 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: 661828 KB
lola: time consumption: 223 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__14_19_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__14_19_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D20N050-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: 48296 markings, 158087 edges, 9659 markings/sec, 0 secs
lola: 97266 markings, 315903 edges, 9794 markings/sec, 5 secs
lola: 146331 markings, 479041 edges, 9813 markings/sec, 10 secs
lola: 195091 markings, 645546 edges, 9752 markings/sec, 15 secs
lola: 244367 markings, 809611 edges, 9855 markings/sec, 20 secs
lola: 293525 markings, 974463 edges, 9832 markings/sec, 25 secs
lola: 342919 markings, 1139134 edges, 9879 markings/sec, 30 secs
lola: 392337 markings, 1300572 edges, 9884 markings/sec, 35 secs
lola: 440637 markings, 1459515 edges, 9660 markings/sec, 40 secs
lola: 489104 markings, 1618399 edges, 9693 markings/sec, 45 secs
lola: 538152 markings, 1780049 edges, 9810 markings/sec, 50 secs
lola: 586929 markings, 1941227 edges, 9755 markings/sec, 55 secs
lola: 635661 markings, 2100085 edges, 9746 markings/sec, 60 secs
lola: 684087 markings, 2258024 edges, 9685 markings/sec, 65 secs
lola: 732824 markings, 2418265 edges, 9747 markings/sec, 70 secs
lola: 781888 markings, 2577821 edges, 9813 markings/sec, 75 secs
lola: 830823 markings, 2741958 edges, 9787 markings/sec, 80 secs
lola: 879673 markings, 2900411 edges, 9770 markings/sec, 85 secs
lola: 928439 markings, 3063364 edges, 9753 markings/sec, 90 secs
lola: 977145 markings, 3223142 edges, 9741 markings/sec, 95 secs
lola: 1025875 markings, 3380724 edges, 9746 markings/sec, 100 secs
lola: 1074475 markings, 3544883 edges, 9720 markings/sec, 105 secs
lola: 1122581 markings, 3711470 edges, 9621 markings/sec, 110 secs
lola: 1171081 markings, 3877065 edges, 9700 markings/sec, 115 secs
lola: 1219073 markings, 4041316 edges, 9598 markings/sec, 120 secs
lola: 1267731 markings, 4203275 edges, 9732 markings/sec, 125 secs
lola: 1316182 markings, 4361188 edges, 9690 markings/sec, 130 secs
lola: 1364869 markings, 4519069 edges, 9737 markings/sec, 135 secs
lola: 1413623 markings, 4677895 edges, 9751 markings/sec, 140 secs
lola: 1462791 markings, 4836510 edges, 9834 markings/sec, 145 secs
lola: 1511509 markings, 4995827 edges, 9744 markings/sec, 150 secs
lola: 1560076 markings, 5154559 edges, 9713 markings/sec, 155 secs
lola: 1605840 markings, 5306679 edges, 9153 markings/sec, 160 secs
lola: 1651032 markings, 5461287 edges, 9038 markings/sec, 165 secs
lola: 1698015 markings, 5615256 edges, 9397 markings/sec, 170 secs
lola: 1744899 markings, 5769521 edges, 9377 markings/sec, 175 secs
lola: 1791821 markings, 5924076 edges, 9384 markings/sec, 180 secs
lola: 1839667 markings, 6082540 edges, 9569 markings/sec, 185 secs
lola: 1887608 markings, 6239566 edges, 9588 markings/sec, 190 secs
lola: 1935387 markings, 6397227 edges, 9556 markings/sec, 195 secs
lola: 1982895 markings, 6556020 edges, 9502 markings/sec, 200 secs
lola: 2030344 markings, 6712445 edges, 9490 markings/sec, 205 secs
lola: 2077588 markings, 6868736 edges, 9449 markings/sec, 210 secs
lola: 2124680 markings, 7021008 edges, 9418 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: 600584 KB
lola: time consumption: 446 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__3_13_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__3_13_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D20N050-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: 49744 markings, 166236 edges, 9949 markings/sec, 0 secs
lola: 99737 markings, 336665 edges, 9999 markings/sec, 5 secs
lola: 149966 markings, 504469 edges, 10046 markings/sec, 10 secs
lola: 200298 markings, 671237 edges, 10066 markings/sec, 15 secs
lola: 250579 markings, 838994 edges, 10056 markings/sec, 20 secs
lola: 300411 markings, 1005862 edges, 9966 markings/sec, 25 secs
lola: 348947 markings, 1162577 edges, 9707 markings/sec, 30 secs
lola: 397043 markings, 1325367 edges, 9619 markings/sec, 35 secs
lola: 444632 markings, 1494041 edges, 9518 markings/sec, 40 secs
lola: 492822 markings, 1659434 edges, 9638 markings/sec, 45 secs
lola: 541106 markings, 1823078 edges, 9657 markings/sec, 50 secs
lola: 589298 markings, 1990028 edges, 9638 markings/sec, 55 secs
lola: 637519 markings, 2152714 edges, 9644 markings/sec, 60 secs
lola: 685415 markings, 2317916 edges, 9579 markings/sec, 65 secs
lola: 733847 markings, 2480248 edges, 9686 markings/sec, 70 secs
lola: 782380 markings, 2641363 edges, 9707 markings/sec, 75 secs
lola: 830402 markings, 2809861 edges, 9604 markings/sec, 80 secs
lola: 878423 markings, 2971588 edges, 9604 markings/sec, 85 secs
lola: 926736 markings, 3132816 edges, 9663 markings/sec, 90 secs
lola: 975999 markings, 3298834 edges, 9853 markings/sec, 95 secs
lola: 1024394 markings, 3458894 edges, 9679 markings/sec, 100 secs
lola: 1072356 markings, 3625422 edges, 9592 markings/sec, 105 secs
lola: 1120368 markings, 3789840 edges, 9602 markings/sec, 110 secs
lola: 1168407 markings, 3954165 edges, 9608 markings/sec, 115 secs
lola: 1216225 markings, 4118936 edges, 9564 markings/sec, 120 secs
lola: 1263910 markings, 4284408 edges, 9537 markings/sec, 125 secs
lola: 1311730 markings, 4450108 edges, 9564 markings/sec, 130 secs
lola: 1359730 markings, 4611171 edges, 9600 markings/sec, 135 secs
lola: 1407425 markings, 4777034 edges, 9539 markings/sec, 140 secs
lola: 1454827 markings, 4945145 edges, 9480 markings/sec, 145 secs
lola: 1502525 markings, 5105182 edges, 9540 markings/sec, 150 secs
lola: 1549825 markings, 5274940 edges, 9460 markings/sec, 155 secs
lola: 1597403 markings, 5433568 edges, 9516 markings/sec, 160 secs
lola: 1644732 markings, 5591208 edges, 9466 markings/sec, 165 secs
lola: 1693027 markings, 5752202 edges, 9659 markings/sec, 170 secs
lola: 1741058 markings, 5913237 edges, 9606 markings/sec, 175 secs
lola: 1788904 markings, 6080674 edges, 9569 markings/sec, 180 secs
lola: 1836730 markings, 6247699 edges, 9565 markings/sec, 185 secs
lola: 1885142 markings, 6405619 edges, 9682 markings/sec, 190 secs
lola: 1933355 markings, 6567417 edges, 9643 markings/sec, 195 secs
lola: 1980042 markings, 6730267 edges, 9337 markings/sec, 200 secs
lola: 2027835 markings, 6892256 edges, 9559 markings/sec, 205 secs
lola: 2075046 markings, 7064995 edges, 9442 markings/sec, 210 secs
lola: 2122126 markings, 7239215 edges, 9416 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: 609672 KB
lola: time consumption: 669 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__12_5_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__12_5_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D20N050-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: 47574 markings, 145748 edges, 9515 markings/sec, 0 secs
lola: 95726 markings, 300747 edges, 9630 markings/sec, 5 secs
lola: 144008 markings, 450313 edges, 9656 markings/sec, 10 secs
lola: 192273 markings, 596670 edges, 9653 markings/sec, 15 secs
lola: 240417 markings, 744226 edges, 9629 markings/sec, 20 secs
lola: 288192 markings, 893007 edges, 9555 markings/sec, 25 secs
lola: 336343 markings, 1042459 edges, 9630 markings/sec, 30 secs
lola: 384554 markings, 1190890 edges, 9642 markings/sec, 35 secs
lola: 432787 markings, 1339517 edges, 9647 markings/sec, 40 secs
lola: 481248 markings, 1484629 edges, 9692 markings/sec, 45 secs
lola: 529272 markings, 1633455 edges, 9605 markings/sec, 50 secs
lola: 577622 markings, 1778987 edges, 9670 markings/sec, 55 secs
lola: 625705 markings, 1927855 edges, 9617 markings/sec, 60 secs
lola: 673651 markings, 2078526 edges, 9589 markings/sec, 65 secs
lola: 721512 markings, 2232390 edges, 9572 markings/sec, 70 secs
lola: 769818 markings, 2377358 edges, 9661 markings/sec, 75 secs
lola: 817899 markings, 2524817 edges, 9616 markings/sec, 80 secs
lola: 865915 markings, 2670241 edges, 9603 markings/sec, 85 secs
lola: 913851 markings, 2817509 edges, 9587 markings/sec, 90 secs
lola: 962046 markings, 2966222 edges, 9639 markings/sec, 95 secs
lola: 1009926 markings, 3118523 edges, 9576 markings/sec, 100 secs
lola: 1058108 markings, 3267701 edges, 9636 markings/sec, 105 secs
lola: 1106272 markings, 3420411 edges, 9633 markings/sec, 110 secs
lola: 1153822 markings, 3573546 edges, 9510 markings/sec, 115 secs
lola: 1201971 markings, 3718897 edges, 9630 markings/sec, 120 secs
lola: 1249797 markings, 3867449 edges, 9565 markings/sec, 125 secs
lola: 1297924 markings, 4011500 edges, 9625 markings/sec, 130 secs
lola: 1347104 markings, 4165949 edges, 9836 markings/sec, 135 secs
lola: 1396972 markings, 4316125 edges, 9974 markings/sec, 140 secs
lola: 1446656 markings, 4469504 edges, 9937 markings/sec, 145 secs
lola: 1496462 markings, 4618935 edges, 9961 markings/sec, 150 secs
lola: 1543368 markings, 4765258 edges, 9381 markings/sec, 155 secs
lola: 1590465 markings, 4908927 edges, 9419 markings/sec, 160 secs
lola: 1637817 markings, 5058468 edges, 9470 markings/sec, 165 secs
lola: 1684964 markings, 5203728 edges, 9429 markings/sec, 170 secs
lola: 1732532 markings, 5352413 edges, 9514 markings/sec, 175 secs
lola: 1780420 markings, 5496057 edges, 9578 markings/sec, 180 secs
lola: 1828461 markings, 5639838 edges, 9608 markings/sec, 185 secs
lola: 1875976 markings, 5788198 edges, 9503 markings/sec, 190 secs
lola: 1923530 markings, 5938124 edges, 9511 markings/sec, 195 secs
lola: 1971407 markings, 6083269 edges, 9575 markings/sec, 200 secs
lola: 2019513 markings, 6229061 edges, 9621 markings/sec, 205 secs
lola: 2066928 markings, 6377640 edges, 9483 markings/sec, 210 secs
lola: 2114992 markings, 6526625 edges, 9613 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: 618496 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__19_17_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__19_17_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D20N050-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: 47493 markings, 164727 edges, 9499 markings/sec, 0 secs
lola: 95719 markings, 330295 edges, 9645 markings/sec, 5 secs
lola: 143781 markings, 500746 edges, 9612 markings/sec, 10 secs
lola: 192024 markings, 668630 edges, 9649 markings/sec, 15 secs
lola: 240291 markings, 835915 edges, 9653 markings/sec, 20 secs
lola: 288526 markings, 1007756 edges, 9647 markings/sec, 25 secs
lola: 338002 markings, 1178810 edges, 9895 markings/sec, 30 secs
lola: 387293 markings, 1355081 edges, 9858 markings/sec, 35 secs
lola: 436071 markings, 1522785 edges, 9756 markings/sec, 40 secs
lola: 484295 markings, 1689778 edges, 9645 markings/sec, 45 secs
lola: 532582 markings, 1855975 edges, 9657 markings/sec, 50 secs
lola: 580295 markings, 2031617 edges, 9543 markings/sec, 55 secs
lola: 628426 markings, 2203478 edges, 9626 markings/sec, 60 secs
lola: 676239 markings, 2373782 edges, 9563 markings/sec, 65 secs
lola: 724113 markings, 2545942 edges, 9575 markings/sec, 70 secs
lola: 772529 markings, 2716162 edges, 9683 markings/sec, 75 secs
lola: 820783 markings, 2887049 edges, 9651 markings/sec, 80 secs
lola: 868941 markings, 3056659 edges, 9632 markings/sec, 85 secs
lola: 916991 markings, 3227537 edges, 9610 markings/sec, 90 secs
lola: 965186 markings, 3397489 edges, 9639 markings/sec, 95 secs
lola: 1013524 markings, 3565247 edges, 9668 markings/sec, 100 secs
lola: 1061484 markings, 3737646 edges, 9592 markings/sec, 105 secs
lola: 1109554 markings, 3907098 edges, 9614 markings/sec, 110 secs
lola: 1157599 markings, 4073815 edges, 9609 markings/sec, 115 secs
lola: 1205487 markings, 4243469 edges, 9578 markings/sec, 120 secs
lola: 1253699 markings, 4409423 edges, 9642 markings/sec, 125 secs
lola: 1301718 markings, 4577231 edges, 9604 markings/sec, 130 secs
lola: 1349825 markings, 4748599 edges, 9621 markings/sec, 135 secs
lola: 1398263 markings, 4916947 edges, 9688 markings/sec, 140 secs
lola: 1446555 markings, 5088563 edges, 9658 markings/sec, 145 secs
lola: 1494493 markings, 5254446 edges, 9588 markings/sec, 150 secs
lola: 1542164 markings, 5425804 edges, 9534 markings/sec, 155 secs
lola: 1589820 markings, 5602123 edges, 9531 markings/sec, 160 secs
lola: 1637863 markings, 5768523 edges, 9609 markings/sec, 165 secs
lola: 1686278 markings, 5932017 edges, 9683 markings/sec, 170 secs
lola: 1734452 markings, 6102714 edges, 9635 markings/sec, 175 secs
lola: 1782690 markings, 6266226 edges, 9648 markings/sec, 180 secs
lola: 1830244 markings, 6436293 edges, 9511 markings/sec, 185 secs
lola: 1878174 markings, 6603736 edges, 9586 markings/sec, 190 secs
lola: 1926148 markings, 6770280 edges, 9595 markings/sec, 195 secs
lola: 1973973 markings, 6939300 edges, 9565 markings/sec, 200 secs
lola: 2022035 markings, 7103903 edges, 9612 markings/sec, 205 secs
lola: 2069730 markings, 7271800 edges, 9539 markings/sec, 210 secs
lola: 2117488 markings, 7441316 edges, 9552 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: 643732 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_4_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__7_4_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D20N050-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: 48347 markings, 155691 edges, 9669 markings/sec, 0 secs
lola: 96197 markings, 311339 edges, 9570 markings/sec, 5 secs
lola: 143894 markings, 468398 edges, 9539 markings/sec, 10 secs
lola: 191669 markings, 623362 edges, 9555 markings/sec, 15 secs
lola: 239479 markings, 776039 edges, 9562 markings/sec, 20 secs
lola: 287260 markings, 930425 edges, 9556 markings/sec, 25 secs
lola: 334776 markings, 1088566 edges, 9503 markings/sec, 30 secs
lola: 382379 markings, 1246752 edges, 9521 markings/sec, 35 secs
lola: 429837 markings, 1400309 edges, 9492 markings/sec, 40 secs
lola: 477632 markings, 1553436 edges, 9559 markings/sec, 45 secs
lola: 525117 markings, 1709372 edges, 9497 markings/sec, 50 secs
lola: 572445 markings, 1864168 edges, 9466 markings/sec, 55 secs
lola: 619875 markings, 2025467 edges, 9486 markings/sec, 60 secs
lola: 667376 markings, 2183317 edges, 9500 markings/sec, 65 secs
lola: 714667 markings, 2343602 edges, 9458 markings/sec, 70 secs
lola: 762090 markings, 2502527 edges, 9485 markings/sec, 75 secs
lola: 809007 markings, 2663015 edges, 9383 markings/sec, 80 secs
lola: 856552 markings, 2817551 edges, 9509 markings/sec, 85 secs
lola: 904067 markings, 2973751 edges, 9503 markings/sec, 90 secs
lola: 951645 markings, 3128256 edges, 9516 markings/sec, 95 secs
lola: 999328 markings, 3282347 edges, 9537 markings/sec, 100 secs
lola: 1046567 markings, 3441907 edges, 9448 markings/sec, 105 secs
lola: 1094037 markings, 3598291 edges, 9494 markings/sec, 110 secs
lola: 1142014 markings, 3753086 edges, 9595 markings/sec, 115 secs
lola: 1189535 markings, 3913164 edges, 9504 markings/sec, 120 secs
lola: 1236693 markings, 4073347 edges, 9432 markings/sec, 125 secs
lola: 1284163 markings, 4232068 edges, 9494 markings/sec, 130 secs
lola: 1331913 markings, 4388427 edges, 9550 markings/sec, 135 secs
lola: 1379399 markings, 4540796 edges, 9497 markings/sec, 140 secs
lola: 1426905 markings, 4695133 edges, 9501 markings/sec, 145 secs
lola: 1474119 markings, 4850988 edges, 9443 markings/sec, 150 secs
lola: 1521388 markings, 5005160 edges, 9454 markings/sec, 155 secs
lola: 1568708 markings, 5161719 edges, 9464 markings/sec, 160 secs
lola: 1616787 markings, 5327143 edges, 9616 markings/sec, 165 secs
lola: 1665490 markings, 5493547 edges, 9741 markings/sec, 170 secs
lola: 1714456 markings, 5652292 edges, 9793 markings/sec, 175 secs
lola: 1762306 markings, 5811602 edges, 9570 markings/sec, 180 secs
lola: 1809287 markings, 5965787 edges, 9396 markings/sec, 185 secs
lola: 1855798 markings, 6124329 edges, 9302 markings/sec, 190 secs
lola: 1903291 markings, 6286344 edges, 9499 markings/sec, 195 secs
lola: 1950570 markings, 6448916 edges, 9456 markings/sec, 200 secs
lola: 1998043 markings, 6605502 edges, 9495 markings/sec, 205 secs
lola: 2045171 markings, 6764115 edges, 9426 markings/sec, 210 secs
lola: 2092511 markings, 6921839 edges, 9468 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: 582772 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_4_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__3_4_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D20N050-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: 47603 markings, 154251 edges, 9521 markings/sec, 0 secs
lola: 95629 markings, 312929 edges, 9605 markings/sec, 5 secs
lola: 143410 markings, 477237 edges, 9556 markings/sec, 10 secs
lola: 191766 markings, 638357 edges, 9671 markings/sec, 15 secs
lola: 240524 markings, 799464 edges, 9752 markings/sec, 20 secs
lola: 288884 markings, 959447 edges, 9672 markings/sec, 25 secs
lola: 336950 markings, 1122999 edges, 9613 markings/sec, 30 secs
lola: 385033 markings, 1283973 edges, 9617 markings/sec, 35 secs
lola: 433374 markings, 1454717 edges, 9668 markings/sec, 40 secs
lola: 481053 markings, 1616421 edges, 9536 markings/sec, 45 secs
lola: 528777 markings, 1781785 edges, 9545 markings/sec, 50 secs
lola: 576440 markings, 1945498 edges, 9533 markings/sec, 55 secs
lola: 624477 markings, 2110651 edges, 9607 markings/sec, 60 secs
lola: 672758 markings, 2281713 edges, 9656 markings/sec, 65 secs
lola: 721053 markings, 2445188 edges, 9659 markings/sec, 70 secs
lola: 769133 markings, 2613334 edges, 9616 markings/sec, 75 secs
lola: 818233 markings, 2775531 edges, 9820 markings/sec, 80 secs
lola: 866068 markings, 2941170 edges, 9567 markings/sec, 85 secs
lola: 913533 markings, 3111140 edges, 9493 markings/sec, 90 secs
lola: 961878 markings, 3274886 edges, 9669 markings/sec, 95 secs
lola: 1009597 markings, 3439819 edges, 9544 markings/sec, 100 secs
lola: 1057416 markings, 3603613 edges, 9564 markings/sec, 105 secs
lola: 1105217 markings, 3763770 edges, 9560 markings/sec, 110 secs
lola: 1152588 markings, 3935173 edges, 9474 markings/sec, 115 secs
lola: 1200259 markings, 4095987 edges, 9534 markings/sec, 120 secs
lola: 1248112 markings, 4253356 edges, 9571 markings/sec, 125 secs
lola: 1295812 markings, 4413550 edges, 9540 markings/sec, 130 secs
lola: 1343331 markings, 4579715 edges, 9504 markings/sec, 135 secs
lola: 1390286 markings, 4757253 edges, 9391 markings/sec, 140 secs
lola: 1437098 markings, 4936871 edges, 9362 markings/sec, 145 secs
lola: 1484461 markings, 5101381 edges, 9473 markings/sec, 150 secs
lola: 1531766 markings, 5268816 edges, 9461 markings/sec, 155 secs
lola: 1579439 markings, 5432818 edges, 9535 markings/sec, 160 secs
lola: 1627571 markings, 5590080 edges, 9626 markings/sec, 165 secs
lola: 1675447 markings, 5751896 edges, 9575 markings/sec, 170 secs
lola: 1723774 markings, 5914666 edges, 9665 markings/sec, 175 secs
lola: 1772014 markings, 6077527 edges, 9648 markings/sec, 180 secs
lola: 1819539 markings, 6244000 edges, 9505 markings/sec, 185 secs
lola: 1866397 markings, 6414416 edges, 9372 markings/sec, 190 secs
lola: 1914584 markings, 6575965 edges, 9637 markings/sec, 195 secs
lola: 1962814 markings, 6740225 edges, 9646 markings/sec, 200 secs
lola: 2011163 markings, 6903842 edges, 9670 markings/sec, 205 secs
lola: 2059055 markings, 7071815 edges, 9578 markings/sec, 210 secs
lola: 2106377 markings, 7249066 edges, 9464 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: 698168 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__11_14_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__11_14_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D20N050-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: 50002 markings, 162550 edges, 10000 markings/sec, 0 secs
lola: 99988 markings, 330655 edges, 9997 markings/sec, 5 secs
lola: 148689 markings, 492666 edges, 9740 markings/sec, 10 secs
lola: 197448 markings, 651471 edges, 9752 markings/sec, 15 secs
lola: 246004 markings, 810958 edges, 9711 markings/sec, 20 secs
lola: 294676 markings, 972237 edges, 9734 markings/sec, 25 secs
lola: 343209 markings, 1131650 edges, 9707 markings/sec, 30 secs
lola: 392201 markings, 1292911 edges, 9798 markings/sec, 35 secs
lola: 442659 markings, 1460733 edges, 10092 markings/sec, 40 secs
lola: 493200 markings, 1627494 edges, 10108 markings/sec, 45 secs
lola: 543689 markings, 1794115 edges, 10098 markings/sec, 50 secs
lola: 594139 markings, 1961941 edges, 10090 markings/sec, 55 secs
lola: 644307 markings, 2126463 edges, 10034 markings/sec, 60 secs
lola: 693289 markings, 2289451 edges, 9796 markings/sec, 65 secs
lola: 744074 markings, 2455538 edges, 10157 markings/sec, 70 secs
lola: 794793 markings, 2622846 edges, 10144 markings/sec, 75 secs
lola: 845442 markings, 2790943 edges, 10130 markings/sec, 80 secs
lola: 895898 markings, 2957346 edges, 10091 markings/sec, 85 secs
lola: 946644 markings, 3124600 edges, 10149 markings/sec, 90 secs
lola: 997337 markings, 3294264 edges, 10139 markings/sec, 95 secs
lola: 1048147 markings, 3460279 edges, 10162 markings/sec, 100 secs
lola: 1098829 markings, 3628056 edges, 10136 markings/sec, 105 secs
lola: 1149594 markings, 3796368 edges, 10153 markings/sec, 110 secs
lola: 1200377 markings, 3962970 edges, 10157 markings/sec, 115 secs
lola: 1251086 markings, 4130860 edges, 10142 markings/sec, 120 secs
lola: 1301907 markings, 4297753 edges, 10164 markings/sec, 125 secs
lola: 1352678 markings, 4464998 edges, 10154 markings/sec, 130 secs
lola: 1403333 markings, 4634197 edges, 10131 markings/sec, 135 secs
lola: 1454070 markings, 4801285 edges, 10147 markings/sec, 140 secs
lola: 1504794 markings, 4968492 edges, 10145 markings/sec, 145 secs
lola: 1555475 markings, 5136916 edges, 10136 markings/sec, 150 secs
lola: 1606269 markings, 5303630 edges, 10159 markings/sec, 155 secs
lola: 1656963 markings, 5471983 edges, 10139 markings/sec, 160 secs
lola: 1707650 markings, 5638108 edges, 10137 markings/sec, 165 secs
lola: 1758183 markings, 5804953 edges, 10107 markings/sec, 170 secs
lola: 1808827 markings, 5973079 edges, 10129 markings/sec, 175 secs
lola: 1859508 markings, 6139747 edges, 10136 markings/sec, 180 secs
lola: 1910050 markings, 6307283 edges, 10108 markings/sec, 185 secs
lola: 1960644 markings, 6473217 edges, 10119 markings/sec, 190 secs
lola: 2010787 markings, 6640478 edges, 10029 markings/sec, 195 secs
lola: 2061350 markings, 6806562 edges, 10113 markings/sec, 200 secs
lola: 2111736 markings, 6973364 edges, 10077 markings/sec, 205 secs
lola: 2162126 markings, 7143571 edges, 10078 markings/sec, 210 secs
lola: 2212658 markings, 7308637 edges, 10106 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: 645036 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__12_5_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__12_5_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D20N050-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: 47752 markings, 146227 edges, 9550 markings/sec, 0 secs
lola: 95768 markings, 300919 edges, 9603 markings/sec, 5 secs
lola: 143935 markings, 450114 edges, 9633 markings/sec, 10 secs
lola: 192145 markings, 596297 edges, 9642 markings/sec, 15 secs
lola: 240255 markings, 743731 edges, 9622 markings/sec, 20 secs
lola: 288221 markings, 893082 edges, 9593 markings/sec, 25 secs
lola: 332458 markings, 1030548 edges, 8847 markings/sec, 30 secs
lola: 377048 markings, 1167040 edges, 8918 markings/sec, 35 secs
lola: 421370 markings, 1305825 edges, 8864 markings/sec, 40 secs
lola: 466069 markings, 1439164 edges, 8940 markings/sec, 45 secs
lola: 510453 markings, 1574853 edges, 8877 markings/sec, 50 secs
lola: 554746 markings, 1708834 edges, 8859 markings/sec, 55 secs
lola: 598958 markings, 1846700 edges, 8842 markings/sec, 60 secs
lola: 646939 markings, 1993776 edges, 9596 markings/sec, 65 secs
lola: 694906 markings, 2146337 edges, 9593 markings/sec, 70 secs
lola: 742887 markings, 2296898 edges, 9596 markings/sec, 75 secs
lola: 791126 markings, 2440887 edges, 9648 markings/sec, 80 secs
lola: 838891 markings, 2588858 edges, 9553 markings/sec, 85 secs
lola: 887076 markings, 2734749 edges, 9637 markings/sec, 90 secs
lola: 934992 markings, 2883376 edges, 9583 markings/sec, 95 secs
lola: 983035 markings, 3034027 edges, 9609 markings/sec, 100 secs
lola: 1031073 markings, 3184950 edges, 9608 markings/sec, 105 secs
lola: 1079139 markings, 3335019 edges, 9613 markings/sec, 110 secs
lola: 1127025 markings, 3490292 edges, 9577 markings/sec, 115 secs
lola: 1174956 markings, 3637450 edges, 9586 markings/sec, 120 secs
lola: 1222947 markings, 3784870 edges, 9598 markings/sec, 125 secs
lola: 1270771 markings, 3929741 edges, 9565 markings/sec, 130 secs
lola: 1318880 markings, 4077101 edges, 9622 markings/sec, 135 secs
lola: 1367910 markings, 4227148 edges, 9806 markings/sec, 140 secs
lola: 1415811 markings, 4375790 edges, 9580 markings/sec, 145 secs
lola: 1464035 markings, 4522237 edges, 9645 markings/sec, 150 secs
lola: 1511846 markings, 4665964 edges, 9562 markings/sec, 155 secs
lola: 1558197 markings, 4811800 edges, 9270 markings/sec, 160 secs
lola: 1606038 markings, 4956326 edges, 9568 markings/sec, 165 secs
lola: 1653586 markings, 5107805 edges, 9510 markings/sec, 170 secs
lola: 1701148 markings, 5253484 edges, 9512 markings/sec, 175 secs
lola: 1749237 markings, 5401752 edges, 9618 markings/sec, 180 secs
lola: 1797583 markings, 5546723 edges, 9669 markings/sec, 185 secs
lola: 1845600 markings, 5695481 edges, 9603 markings/sec, 190 secs
lola: 1893367 markings, 5843741 edges, 9553 markings/sec, 195 secs
lola: 1941025 markings, 5993406 edges, 9532 markings/sec, 200 secs
lola: 1989457 markings, 6137864 edges, 9686 markings/sec, 205 secs
lola: 2037576 markings, 6287389 edges, 9624 markings/sec, 210 secs
lola: 2085521 markings, 6436987 edges, 9589 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: 610052 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__6_11_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__6_11_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D20N050-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: 46975 markings, 172298 edges, 9395 markings/sec, 0 secs
lola: 94703 markings, 348265 edges, 9546 markings/sec, 5 secs
lola: 142513 markings, 520514 edges, 9562 markings/sec, 10 secs
lola: 190162 markings, 686612 edges, 9530 markings/sec, 15 secs
lola: 237826 markings, 854474 edges, 9533 markings/sec, 20 secs
lola: 285848 markings, 1021291 edges, 9604 markings/sec, 25 secs
lola: 333739 markings, 1192770 edges, 9578 markings/sec, 30 secs
lola: 381591 markings, 1359612 edges, 9570 markings/sec, 35 secs
lola: 429520 markings, 1527280 edges, 9586 markings/sec, 40 secs
lola: 477187 markings, 1690612 edges, 9533 markings/sec, 45 secs
lola: 524883 markings, 1857790 edges, 9539 markings/sec, 50 secs
lola: 572456 markings, 2022499 edges, 9515 markings/sec, 55 secs
lola: 620120 markings, 2193319 edges, 9533 markings/sec, 60 secs
lola: 667481 markings, 2363881 edges, 9472 markings/sec, 65 secs
lola: 714986 markings, 2529379 edges, 9501 markings/sec, 70 secs
lola: 762958 markings, 2696800 edges, 9594 markings/sec, 75 secs
lola: 810986 markings, 2862940 edges, 9606 markings/sec, 80 secs
lola: 858799 markings, 3030282 edges, 9563 markings/sec, 85 secs
lola: 906744 markings, 3194546 edges, 9589 markings/sec, 90 secs
lola: 954888 markings, 3358848 edges, 9629 markings/sec, 95 secs
lola: 1002957 markings, 3522603 edges, 9614 markings/sec, 100 secs
lola: 1050895 markings, 3691765 edges, 9588 markings/sec, 105 secs
lola: 1098841 markings, 3859936 edges, 9589 markings/sec, 110 secs
lola: 1146631 markings, 4024481 edges, 9558 markings/sec, 115 secs
lola: 1194622 markings, 4189084 edges, 9598 markings/sec, 120 secs
lola: 1242421 markings, 4356223 edges, 9560 markings/sec, 125 secs
lola: 1292011 markings, 4525663 edges, 9918 markings/sec, 130 secs
lola: 1340792 markings, 4698121 edges, 9756 markings/sec, 135 secs
lola: 1388498 markings, 4870077 edges, 9541 markings/sec, 140 secs
lola: 1436216 markings, 5036231 edges, 9544 markings/sec, 145 secs
lola: 1484003 markings, 5203921 edges, 9557 markings/sec, 150 secs
lola: 1532278 markings, 5371378 edges, 9655 markings/sec, 155 secs
lola: 1580322 markings, 5544720 edges, 9609 markings/sec, 160 secs
lola: 1628168 markings, 5713059 edges, 9569 markings/sec, 165 secs
lola: 1676369 markings, 5880876 edges, 9640 markings/sec, 170 secs
lola: 1724427 markings, 6052852 edges, 9612 markings/sec, 175 secs
lola: 1772412 markings, 6224685 edges, 9597 markings/sec, 180 secs
lola: 1820275 markings, 6394681 edges, 9573 markings/sec, 185 secs
lola: 1868410 markings, 6563010 edges, 9627 markings/sec, 190 secs
lola: 1916969 markings, 6729725 edges, 9712 markings/sec, 195 secs
lola: 1965216 markings, 6897350 edges, 9649 markings/sec, 200 secs
lola: 2013453 markings, 7066336 edges, 9647 markings/sec, 205 secs
lola: 2061629 markings, 7232750 edges, 9635 markings/sec, 210 secs
lola: 2109651 markings, 7400103 edges, 9604 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: 651116 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__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-D20N050-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: 49097 markings, 143955 edges, 9819 markings/sec, 0 secs
lola: 98096 markings, 285089 edges, 9800 markings/sec, 5 secs
lola: 147152 markings, 420470 edges, 9811 markings/sec, 10 secs
lola: 196184 markings, 558707 edges, 9806 markings/sec, 15 secs
lola: 245236 markings, 698901 edges, 9810 markings/sec, 20 secs
lola: 294235 markings, 838922 edges, 9800 markings/sec, 25 secs
lola: 342688 markings, 976953 edges, 9691 markings/sec, 30 secs
lola: 391238 markings, 1120329 edges, 9710 markings/sec, 35 secs
lola: 439930 markings, 1263516 edges, 9738 markings/sec, 40 secs
lola: 488572 markings, 1407082 edges, 9728 markings/sec, 45 secs
lola: 537310 markings, 1548931 edges, 9748 markings/sec, 50 secs
lola: 586146 markings, 1695843 edges, 9767 markings/sec, 55 secs
lola: 634694 markings, 1849334 edges, 9710 markings/sec, 60 secs
lola: 682871 markings, 2004965 edges, 9635 markings/sec, 65 secs
lola: 731057 markings, 2156388 edges, 9637 markings/sec, 70 secs
lola: 780171 markings, 2301522 edges, 9823 markings/sec, 75 secs
lola: 829165 markings, 2443939 edges, 9799 markings/sec, 80 secs
lola: 877572 markings, 2587238 edges, 9681 markings/sec, 85 secs
lola: 926183 markings, 2729367 edges, 9722 markings/sec, 90 secs
lola: 974785 markings, 2873629 edges, 9720 markings/sec, 95 secs
lola: 1023068 markings, 3018188 edges, 9657 markings/sec, 100 secs
lola: 1071521 markings, 3162097 edges, 9691 markings/sec, 105 secs
lola: 1120033 markings, 3312167 edges, 9702 markings/sec, 110 secs
lola: 1168234 markings, 3458871 edges, 9640 markings/sec, 115 secs
lola: 1216573 markings, 3610176 edges, 9668 markings/sec, 120 secs
lola: 1264694 markings, 3753835 edges, 9624 markings/sec, 125 secs
lola: 1312847 markings, 3897697 edges, 9631 markings/sec, 130 secs
lola: 1360937 markings, 4040900 edges, 9618 markings/sec, 135 secs
lola: 1409137 markings, 4184984 edges, 9640 markings/sec, 140 secs
lola: 1457250 markings, 4329080 edges, 9623 markings/sec, 145 secs
lola: 1505379 markings, 4472885 edges, 9626 markings/sec, 150 secs
lola: 1553578 markings, 4616489 edges, 9640 markings/sec, 155 secs
lola: 1601769 markings, 4760138 edges, 9638 markings/sec, 160 secs
lola: 1651909 markings, 4909854 edges, 10028 markings/sec, 165 secs
lola: 1700234 markings, 5054199 edges, 9665 markings/sec, 170 secs
lola: 1750037 markings, 5202800 edges, 9961 markings/sec, 175 secs
lola: 1798270 markings, 5342581 edges, 9647 markings/sec, 180 secs
lola: 1846485 markings, 5480397 edges, 9643 markings/sec, 185 secs
lola: 1894560 markings, 5617422 edges, 9615 markings/sec, 190 secs
lola: 1943041 markings, 5758160 edges, 9696 markings/sec, 195 secs
lola: 1991943 markings, 5901627 edges, 9780 markings/sec, 200 secs
lola: 2041032 markings, 6046227 edges, 9818 markings/sec, 205 secs
lola: 2090266 markings, 6193312 edges, 9847 markings/sec, 210 secs
lola: 2138060 markings, 6337131 edges, 9559 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: 783800 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__3_16_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__3_16_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D20N050-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: 47822 markings, 157399 edges, 9564 markings/sec, 0 secs
lola: 96017 markings, 316579 edges, 9639 markings/sec, 5 secs
lola: 143974 markings, 476355 edges, 9591 markings/sec, 10 secs
lola: 192316 markings, 635260 edges, 9668 markings/sec, 15 secs
lola: 240216 markings, 795469 edges, 9580 markings/sec, 20 secs
lola: 288759 markings, 955561 edges, 9709 markings/sec, 25 secs
lola: 337046 markings, 1117285 edges, 9657 markings/sec, 30 secs
lola: 384606 markings, 1273774 edges, 9512 markings/sec, 35 secs
lola: 432812 markings, 1433339 edges, 9641 markings/sec, 40 secs
lola: 480383 markings, 1590031 edges, 9514 markings/sec, 45 secs
lola: 528187 markings, 1750038 edges, 9561 markings/sec, 50 secs
lola: 576189 markings, 1907713 edges, 9600 markings/sec, 55 secs
lola: 623769 markings, 2064333 edges, 9516 markings/sec, 60 secs
lola: 671209 markings, 2220649 edges, 9488 markings/sec, 65 secs
lola: 719528 markings, 2379022 edges, 9664 markings/sec, 70 secs
lola: 767270 markings, 2540227 edges, 9548 markings/sec, 75 secs
lola: 815115 markings, 2698283 edges, 9569 markings/sec, 80 secs
lola: 862974 markings, 2857080 edges, 9572 markings/sec, 85 secs
lola: 910557 markings, 3016462 edges, 9517 markings/sec, 90 secs
lola: 958106 markings, 3178277 edges, 9510 markings/sec, 95 secs
lola: 1006053 markings, 3339907 edges, 9589 markings/sec, 100 secs
lola: 1053441 markings, 3498466 edges, 9478 markings/sec, 105 secs
lola: 1101269 markings, 3656962 edges, 9566 markings/sec, 110 secs
lola: 1148841 markings, 3818892 edges, 9514 markings/sec, 115 secs
lola: 1195557 markings, 3974238 edges, 9343 markings/sec, 120 secs
lola: 1243827 markings, 4132318 edges, 9654 markings/sec, 125 secs
lola: 1292400 markings, 4290872 edges, 9715 markings/sec, 130 secs
lola: 1340745 markings, 4453257 edges, 9669 markings/sec, 135 secs
lola: 1388976 markings, 4616517 edges, 9646 markings/sec, 140 secs
lola: 1436751 markings, 4786510 edges, 9555 markings/sec, 145 secs
lola: 1484740 markings, 4950701 edges, 9598 markings/sec, 150 secs
lola: 1532487 markings, 5109769 edges, 9549 markings/sec, 155 secs
lola: 1580048 markings, 5268230 edges, 9512 markings/sec, 160 secs
lola: 1627544 markings, 5426118 edges, 9499 markings/sec, 165 secs
lola: 1675775 markings, 5582839 edges, 9646 markings/sec, 170 secs
lola: 1724506 markings, 5743969 edges, 9746 markings/sec, 175 secs
lola: 1772222 markings, 5905181 edges, 9543 markings/sec, 180 secs
lola: 1819872 markings, 6060124 edges, 9530 markings/sec, 185 secs
lola: 1868059 markings, 6222443 edges, 9637 markings/sec, 190 secs
lola: 1916512 markings, 6381676 edges, 9691 markings/sec, 195 secs
lola: 1964845 markings, 6541385 edges, 9667 markings/sec, 200 secs
lola: 2013246 markings, 6702798 edges, 9680 markings/sec, 205 secs
lola: 2060521 markings, 6857311 edges, 9455 markings/sec, 210 secs
lola: 2108141 markings, 7014362 edges, 9524 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: 593936 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__15_15_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__15_15_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D20N050-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: 50590 markings, 141694 edges, 10118 markings/sec, 0 secs
lola: 101536 markings, 279865 edges, 10189 markings/sec, 5 secs
lola: 151035 markings, 418098 edges, 9900 markings/sec, 10 secs
lola: 200667 markings, 556231 edges, 9926 markings/sec, 15 secs
lola: 250287 markings, 696272 edges, 9924 markings/sec, 20 secs
lola: 301147 markings, 833913 edges, 10172 markings/sec, 25 secs
lola: 352493 markings, 978756 edges, 10269 markings/sec, 30 secs
lola: 403351 markings, 1119735 edges, 10172 markings/sec, 35 secs
lola: 452925 markings, 1258082 edges, 9915 markings/sec, 40 secs
lola: 503762 markings, 1397157 edges, 10167 markings/sec, 45 secs
lola: 555084 markings, 1541645 edges, 10264 markings/sec, 50 secs
lola: 606552 markings, 1684463 edges, 10294 markings/sec, 55 secs
lola: 657903 markings, 1826043 edges, 10270 markings/sec, 60 secs
lola: 707868 markings, 1964040 edges, 9993 markings/sec, 65 secs
lola: 759235 markings, 2108120 edges, 10273 markings/sec, 70 secs
lola: 810687 markings, 2251640 edges, 10290 markings/sec, 75 secs
lola: 860676 markings, 2388464 edges, 9998 markings/sec, 80 secs
lola: 906334 markings, 2516904 edges, 9132 markings/sec, 85 secs
lola: 952176 markings, 2644308 edges, 9168 markings/sec, 90 secs
lola: 998135 markings, 2769854 edges, 9192 markings/sec, 95 secs
lola: 1043832 markings, 2898626 edges, 9139 markings/sec, 100 secs
lola: 1089703 markings, 3026115 edges, 9174 markings/sec, 105 secs
lola: 1135578 markings, 3151305 edges, 9175 markings/sec, 110 secs
lola: 1181235 markings, 3280217 edges, 9131 markings/sec, 115 secs
lola: 1227074 markings, 3408052 edges, 9168 markings/sec, 120 secs
lola: 1275044 markings, 3538664 edges, 9594 markings/sec, 125 secs
lola: 1324443 markings, 3678164 edges, 9880 markings/sec, 130 secs
lola: 1373729 markings, 3814767 edges, 9857 markings/sec, 135 secs
lola: 1423319 markings, 3952789 edges, 9918 markings/sec, 140 secs
lola: 1472684 markings, 4088527 edges, 9873 markings/sec, 145 secs
lola: 1522153 markings, 4226915 edges, 9894 markings/sec, 150 secs
lola: 1571730 markings, 4365666 edges, 9915 markings/sec, 155 secs
lola: 1621475 markings, 4500834 edges, 9949 markings/sec, 160 secs
lola: 1670584 markings, 4639530 edges, 9822 markings/sec, 165 secs
lola: 1719916 markings, 4776272 edges, 9866 markings/sec, 170 secs
lola: 1769554 markings, 4914357 edges, 9928 markings/sec, 175 secs
lola: 1819149 markings, 5050749 edges, 9919 markings/sec, 180 secs
lola: 1868752 markings, 5189453 edges, 9921 markings/sec, 185 secs
lola: 1918376 markings, 5328481 edges, 9925 markings/sec, 190 secs
lola: 1968115 markings, 5463564 edges, 9948 markings/sec, 195 secs
lola: 2017638 markings, 5603418 edges, 9905 markings/sec, 200 secs
lola: 2067321 markings, 5741072 edges, 9937 markings/sec, 205 secs
lola: 2116990 markings, 5879261 edges, 9934 markings/sec, 210 secs
lola: 2166480 markings, 6015436 edges, 9898 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: 626456 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__17_2_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__17_2_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D20N050-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: 47749 markings, 159689 edges, 9550 markings/sec, 0 secs
lola: 95518 markings, 322547 edges, 9554 markings/sec, 5 secs
lola: 143226 markings, 482879 edges, 9542 markings/sec, 10 secs
lola: 191639 markings, 634114 edges, 9683 markings/sec, 15 secs
lola: 239612 markings, 787578 edges, 9595 markings/sec, 20 secs
lola: 287264 markings, 942185 edges, 9530 markings/sec, 25 secs
lola: 335045 markings, 1099086 edges, 9556 markings/sec, 30 secs
lola: 383222 markings, 1252730 edges, 9635 markings/sec, 35 secs
lola: 431499 markings, 1405858 edges, 9655 markings/sec, 40 secs
lola: 479587 markings, 1557894 edges, 9618 markings/sec, 45 secs
lola: 527563 markings, 1705925 edges, 9595 markings/sec, 50 secs
lola: 575064 markings, 1862327 edges, 9500 markings/sec, 55 secs
lola: 622587 markings, 2013568 edges, 9505 markings/sec, 60 secs
lola: 670859 markings, 2167807 edges, 9654 markings/sec, 65 secs
lola: 719095 markings, 2323974 edges, 9647 markings/sec, 70 secs
lola: 767369 markings, 2475274 edges, 9655 markings/sec, 75 secs
lola: 815089 markings, 2628557 edges, 9544 markings/sec, 80 secs
lola: 861974 markings, 2772236 edges, 9377 markings/sec, 85 secs
lola: 911516 markings, 2929295 edges, 9908 markings/sec, 90 secs
lola: 960299 markings, 3090589 edges, 9757 markings/sec, 95 secs
lola: 1010007 markings, 3251865 edges, 9942 markings/sec, 100 secs
lola: 1059542 markings, 3414750 edges, 9907 markings/sec, 105 secs
lola: 1107110 markings, 3569996 edges, 9514 markings/sec, 110 secs
lola: 1152511 markings, 3710304 edges, 9080 markings/sec, 115 secs
lola: 1200244 markings, 3863326 edges, 9547 markings/sec, 120 secs
lola: 1248827 markings, 4021767 edges, 9717 markings/sec, 125 secs
lola: 1297838 markings, 4174747 edges, 9802 markings/sec, 130 secs
lola: 1346859 markings, 4333496 edges, 9804 markings/sec, 135 secs
lola: 1395953 markings, 4493279 edges, 9819 markings/sec, 140 secs
lola: 1444729 markings, 4654041 edges, 9755 markings/sec, 145 secs
lola: 1493598 markings, 4812603 edges, 9774 markings/sec, 150 secs
lola: 1543301 markings, 4970968 edges, 9941 markings/sec, 155 secs
lola: 1592599 markings, 5129135 edges, 9860 markings/sec, 160 secs
lola: 1642401 markings, 5282664 edges, 9960 markings/sec, 165 secs
lola: 1691752 markings, 5437396 edges, 9870 markings/sec, 170 secs
lola: 1741243 markings, 5595603 edges, 9898 markings/sec, 175 secs
lola: 1790487 markings, 5754491 edges, 9849 markings/sec, 180 secs
lola: 1839684 markings, 5909200 edges, 9839 markings/sec, 185 secs
lola: 1888752 markings, 6070472 edges, 9814 markings/sec, 190 secs
lola: 1938168 markings, 6226512 edges, 9883 markings/sec, 195 secs
lola: 1987479 markings, 6383270 edges, 9862 markings/sec, 200 secs
lola: 2036576 markings, 6542928 edges, 9819 markings/sec, 205 secs
lola: 2085712 markings, 6705366 edges, 9827 markings/sec, 210 secs
lola: 2134621 markings, 6864406 edges, 9782 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: 606072 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__9_17_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__9_17_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D20N050-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: 47889 markings, 176178 edges, 9578 markings/sec, 0 secs
lola: 96207 markings, 353893 edges, 9664 markings/sec, 5 secs
lola: 144225 markings, 532112 edges, 9604 markings/sec, 10 secs
lola: 192744 markings, 710001 edges, 9704 markings/sec, 15 secs
lola: 240858 markings, 885931 edges, 9623 markings/sec, 20 secs
lola: 288818 markings, 1064204 edges, 9592 markings/sec, 25 secs
lola: 336997 markings, 1243677 edges, 9636 markings/sec, 30 secs
lola: 384802 markings, 1424767 edges, 9561 markings/sec, 35 secs
lola: 432301 markings, 1608261 edges, 9500 markings/sec, 40 secs
lola: 479538 markings, 1791716 edges, 9447 markings/sec, 45 secs
lola: 527630 markings, 1972710 edges, 9618 markings/sec, 50 secs
lola: 576166 markings, 2152674 edges, 9707 markings/sec, 55 secs
lola: 625076 markings, 2330983 edges, 9782 markings/sec, 60 secs
lola: 673726 markings, 2511485 edges, 9730 markings/sec, 65 secs
lola: 722445 markings, 2686811 edges, 9744 markings/sec, 70 secs
lola: 770049 markings, 2862462 edges, 9521 markings/sec, 75 secs
lola: 816229 markings, 3032595 edges, 9236 markings/sec, 80 secs
lola: 860213 markings, 3196203 edges, 8797 markings/sec, 85 secs
lola: 904444 markings, 3360588 edges, 8846 markings/sec, 90 secs
lola: 949926 markings, 3526316 edges, 9096 markings/sec, 95 secs
lola: 996531 markings, 3711319 edges, 9321 markings/sec, 100 secs
lola: 1042608 markings, 3888173 edges, 9215 markings/sec, 105 secs
lola: 1089948 markings, 4070369 edges, 9468 markings/sec, 110 secs
lola: 1137366 markings, 4251320 edges, 9484 markings/sec, 115 secs
lola: 1184926 markings, 4427582 edges, 9512 markings/sec, 120 secs
lola: 1231966 markings, 4603813 edges, 9408 markings/sec, 125 secs
lola: 1279312 markings, 4782919 edges, 9469 markings/sec, 130 secs
lola: 1326454 markings, 4956679 edges, 9428 markings/sec, 135 secs
lola: 1372080 markings, 5127887 edges, 9125 markings/sec, 140 secs
lola: 1417105 markings, 5293301 edges, 9005 markings/sec, 145 secs
lola: 1463063 markings, 5466372 edges, 9192 markings/sec, 150 secs
lola: 1509705 markings, 5642468 edges, 9328 markings/sec, 155 secs
lola: 1556871 markings, 5823878 edges, 9433 markings/sec, 160 secs
lola: 1603986 markings, 6003454 edges, 9423 markings/sec, 165 secs
lola: 1651007 markings, 6180350 edges, 9404 markings/sec, 170 secs
lola: 1698461 markings, 6366951 edges, 9491 markings/sec, 175 secs
lola: 1746405 markings, 6547929 edges, 9589 markings/sec, 180 secs
lola: 1794383 markings, 6727954 edges, 9596 markings/sec, 185 secs
lola: 1842471 markings, 6911270 edges, 9618 markings/sec, 190 secs
lola: 1890976 markings, 7087688 edges, 9701 markings/sec, 195 secs
lola: 1938730 markings, 7263728 edges, 9551 markings/sec, 200 secs
lola: 1987017 markings, 7440733 edges, 9657 markings/sec, 205 secs
lola: 2035263 markings, 7622751 edges, 9649 markings/sec, 210 secs
lola: 2083379 markings, 7802166 edges, 9623 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: 577412 KB
lola: time consumption: 3346 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 224 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__9_5_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__9_5_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D20N050-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: 47495 markings, 160754 edges, 9499 markings/sec, 0 secs
lola: 95437 markings, 325604 edges, 9588 markings/sec, 5 secs
lola: 144222 markings, 492480 edges, 9757 markings/sec, 10 secs
lola: 193244 markings, 649845 edges, 9804 markings/sec, 15 secs
lola: 242003 markings, 815219 edges, 9752 markings/sec, 20 secs
lola: 291162 markings, 980163 edges, 9832 markings/sec, 25 secs
lola: 340136 markings, 1142112 edges, 9795 markings/sec, 30 secs
lola: 387301 markings, 1303533 edges, 9433 markings/sec, 35 secs
lola: 436611 markings, 1469580 edges, 9862 markings/sec, 40 secs
lola: 485205 markings, 1629847 edges, 9719 markings/sec, 45 secs
lola: 534124 markings, 1793408 edges, 9784 markings/sec, 50 secs
lola: 581918 markings, 1955196 edges, 9559 markings/sec, 55 secs
lola: 628195 markings, 2110016 edges, 9255 markings/sec, 60 secs
lola: 672615 markings, 2257238 edges, 8884 markings/sec, 65 secs
lola: 717178 markings, 2404103 edges, 8913 markings/sec, 70 secs
lola: 765974 markings, 2567527 edges, 9759 markings/sec, 75 secs
lola: 809430 markings, 2714394 edges, 8691 markings/sec, 80 secs
lola: 852656 markings, 2861998 edges, 8645 markings/sec, 85 secs
lola: 896236 markings, 3007123 edges, 8716 markings/sec, 90 secs
lola: 940664 markings, 3156382 edges, 8886 markings/sec, 95 secs
lola: 988490 markings, 3314267 edges, 9565 markings/sec, 100 secs
lola: 1037388 markings, 3478913 edges, 9780 markings/sec, 105 secs
lola: 1086365 markings, 3644089 edges, 9795 markings/sec, 110 secs
lola: 1135396 markings, 3812593 edges, 9806 markings/sec, 115 secs
lola: 1183944 markings, 3978656 edges, 9710 markings/sec, 120 secs
lola: 1232795 markings, 4146631 edges, 9770 markings/sec, 125 secs
lola: 1281518 markings, 4309113 edges, 9745 markings/sec, 130 secs
lola: 1330057 markings, 4476744 edges, 9708 markings/sec, 135 secs
lola: 1378582 markings, 4635158 edges, 9705 markings/sec, 140 secs
lola: 1427043 markings, 4798461 edges, 9692 markings/sec, 145 secs
lola: 1475399 markings, 4961608 edges, 9671 markings/sec, 150 secs
lola: 1524048 markings, 5124820 edges, 9730 markings/sec, 155 secs
lola: 1574015 markings, 5289804 edges, 9993 markings/sec, 160 secs
lola: 1623735 markings, 5455745 edges, 9944 markings/sec, 165 secs
lola: 1672924 markings, 5617624 edges, 9838 markings/sec, 170 secs
lola: 1721611 markings, 5779290 edges, 9737 markings/sec, 175 secs
lola: 1770372 markings, 5942350 edges, 9752 markings/sec, 180 secs
lola: 1818917 markings, 6107594 edges, 9709 markings/sec, 185 secs
lola: 1867292 markings, 6272234 edges, 9675 markings/sec, 190 secs
lola: 1916094 markings, 6438675 edges, 9760 markings/sec, 195 secs
lola: 1965352 markings, 6602167 edges, 9852 markings/sec, 200 secs
lola: 2015113 markings, 6766809 edges, 9952 markings/sec, 205 secs
lola: 2064479 markings, 6930630 edges, 9873 markings/sec, 210 secs
lola: 2112712 markings, 7093712 edges, 9647 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: 602168 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: 602168 KB
lola: time consumption: 3570 seconds

BK_STOP 1526676621298

--------------------
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-D20N050"
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-D20N050.tgz
mv Diffusion2D-PT-D20N050 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-D20N050, 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-152649936900212"
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 ;