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.8K 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.7K 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.1K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.1K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K 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 17K 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-D30N010, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r076-blw3-152649937000233
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1526683794653

info: Time: 3600 - MCC
===========================================================================================
prep: translating Diffusion2D-PT-D30N010 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating Diffusion2D-PT-D30N010 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ Diffusion2D-PT-D30N010 @ 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-D30N010-UpperBounds.task
lola: MAX(cAMP__29_26_) : MAX(cAMP__18_8_) : MAX(cAMP__9_28_) : MAX(cAMP__24_6_) : MAX(cAMP__16_6_) : MAX(cAMP__11_5_) : MAX(cAMP__20_19_) : MAX(cAMP__13_30_) : MAX(cAMP__10_11_) : MAX(cAMP__17_5_) : MAX(cAMP__21_16_) : MAX(cAMP__15_17_) : MAX(cAMP__19_18_) : MAX(cAMP__6_17_) : MAX(cAMP__21_7_) : MAX(cAMP__21_19_)
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__29_26_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__29_26_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D30N010-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: 17891 markings, 61037 edges, 3578 markings/sec, 0 secs
lola: 37679 markings, 128436 edges, 3958 markings/sec, 5 secs
lola: 57760 markings, 196794 edges, 4016 markings/sec, 10 secs
lola: 77828 markings, 265714 edges, 4014 markings/sec, 15 secs
lola: 97966 markings, 335038 edges, 4028 markings/sec, 20 secs
lola: 118040 markings, 404541 edges, 4015 markings/sec, 25 secs
lola: 138047 markings, 474940 edges, 4001 markings/sec, 30 secs
lola: 158042 markings, 544490 edges, 3999 markings/sec, 35 secs
lola: 177748 markings, 612491 edges, 3941 markings/sec, 40 secs
lola: 197591 markings, 682849 edges, 3969 markings/sec, 45 secs
lola: 217443 markings, 750716 edges, 3970 markings/sec, 50 secs
lola: 236309 markings, 815339 edges, 3773 markings/sec, 55 secs
lola: 255980 markings, 883389 edges, 3934 markings/sec, 60 secs
lola: 275337 markings, 950375 edges, 3871 markings/sec, 65 secs
lola: 294153 markings, 1014571 edges, 3763 markings/sec, 70 secs
lola: 312993 markings, 1080254 edges, 3768 markings/sec, 75 secs
lola: 331834 markings, 1146017 edges, 3768 markings/sec, 80 secs
lola: 351610 markings, 1214208 edges, 3955 markings/sec, 85 secs
lola: 371312 markings, 1281210 edges, 3940 markings/sec, 90 secs
lola: 390941 markings, 1349498 edges, 3926 markings/sec, 95 secs
lola: 410527 markings, 1416459 edges, 3917 markings/sec, 100 secs
lola: 430398 markings, 1485763 edges, 3974 markings/sec, 105 secs
lola: 449953 markings, 1553002 edges, 3911 markings/sec, 110 secs
lola: 469353 markings, 1620591 edges, 3880 markings/sec, 115 secs
lola: 488668 markings, 1688119 edges, 3863 markings/sec, 120 secs
lola: 508157 markings, 1755229 edges, 3898 markings/sec, 125 secs
lola: 527266 markings, 1821032 edges, 3822 markings/sec, 130 secs
lola: 546561 markings, 1888740 edges, 3859 markings/sec, 135 secs
lola: 565317 markings, 1954972 edges, 3751 markings/sec, 140 secs
lola: 585060 markings, 2023190 edges, 3949 markings/sec, 145 secs
lola: 605058 markings, 2094664 edges, 4000 markings/sec, 150 secs
lola: 625111 markings, 2164789 edges, 4011 markings/sec, 155 secs
lola: 645116 markings, 2235166 edges, 4001 markings/sec, 160 secs
lola: 665125 markings, 2304714 edges, 4002 markings/sec, 165 secs
lola: 685234 markings, 2374258 edges, 4022 markings/sec, 170 secs
lola: 705318 markings, 2443970 edges, 4017 markings/sec, 175 secs
lola: 725389 markings, 2513761 edges, 4014 markings/sec, 180 secs
lola: 745444 markings, 2582030 edges, 4011 markings/sec, 185 secs
lola: 765455 markings, 2651605 edges, 4002 markings/sec, 190 secs
lola: 785445 markings, 2722564 edges, 3998 markings/sec, 195 secs
lola: 805469 markings, 2792243 edges, 4005 markings/sec, 200 secs
lola: 825485 markings, 2863504 edges, 4003 markings/sec, 205 secs
lola: 845545 markings, 2932358 edges, 4012 markings/sec, 210 secs
lola: 865568 markings, 3001183 edges, 4005 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: 253880 KB
lola: time consumption: 224 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__18_8_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__18_8_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D30N010-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: 18256 markings, 58316 edges, 3651 markings/sec, 0 secs
lola: 37915 markings, 124471 edges, 3932 markings/sec, 5 secs
lola: 57724 markings, 186944 edges, 3962 markings/sec, 10 secs
lola: 77430 markings, 251135 edges, 3941 markings/sec, 15 secs
lola: 97285 markings, 311126 edges, 3971 markings/sec, 20 secs
lola: 117097 markings, 371638 edges, 3962 markings/sec, 25 secs
lola: 136946 markings, 431968 edges, 3970 markings/sec, 30 secs
lola: 156768 markings, 493554 edges, 3964 markings/sec, 35 secs
lola: 176524 markings, 556946 edges, 3951 markings/sec, 40 secs
lola: 196207 markings, 620601 edges, 3937 markings/sec, 45 secs
lola: 215929 markings, 682854 edges, 3944 markings/sec, 50 secs
lola: 235599 markings, 745459 edges, 3934 markings/sec, 55 secs
lola: 255380 markings, 807868 edges, 3956 markings/sec, 60 secs
lola: 275095 markings, 869065 edges, 3943 markings/sec, 65 secs
lola: 294663 markings, 931303 edges, 3914 markings/sec, 70 secs
lola: 314369 markings, 993189 edges, 3941 markings/sec, 75 secs
lola: 334093 markings, 1054777 edges, 3945 markings/sec, 80 secs
lola: 353627 markings, 1116974 edges, 3907 markings/sec, 85 secs
lola: 373190 markings, 1181534 edges, 3913 markings/sec, 90 secs
lola: 392683 markings, 1247403 edges, 3899 markings/sec, 95 secs
lola: 412234 markings, 1310357 edges, 3910 markings/sec, 100 secs
lola: 431840 markings, 1373608 edges, 3921 markings/sec, 105 secs
lola: 451684 markings, 1432963 edges, 3969 markings/sec, 110 secs
lola: 471575 markings, 1493547 edges, 3978 markings/sec, 115 secs
lola: 491448 markings, 1553135 edges, 3975 markings/sec, 120 secs
lola: 511231 markings, 1614942 edges, 3957 markings/sec, 125 secs
lola: 530947 markings, 1679739 edges, 3943 markings/sec, 130 secs
lola: 550699 markings, 1741749 edges, 3950 markings/sec, 135 secs
lola: 570543 markings, 1802549 edges, 3969 markings/sec, 140 secs
lola: 590331 markings, 1864769 edges, 3958 markings/sec, 145 secs
lola: 610159 markings, 1924387 edges, 3966 markings/sec, 150 secs
lola: 629861 markings, 1985610 edges, 3940 markings/sec, 155 secs
lola: 649526 markings, 2050381 edges, 3933 markings/sec, 160 secs
lola: 669238 markings, 2113836 edges, 3942 markings/sec, 165 secs
lola: 688913 markings, 2176916 edges, 3935 markings/sec, 170 secs
lola: 708604 markings, 2239842 edges, 3938 markings/sec, 175 secs
lola: 728188 markings, 2304153 edges, 3917 markings/sec, 180 secs
lola: 747867 markings, 2365184 edges, 3936 markings/sec, 185 secs
lola: 767590 markings, 2427101 edges, 3945 markings/sec, 190 secs
lola: 787404 markings, 2487595 edges, 3963 markings/sec, 195 secs
lola: 807206 markings, 2546999 edges, 3960 markings/sec, 200 secs
lola: 827140 markings, 2606167 edges, 3987 markings/sec, 205 secs
lola: 847151 markings, 2665805 edges, 4002 markings/sec, 210 secs
lola: 867109 markings, 2726646 edges, 3992 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: 276632 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_28_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__9_28_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D30N010-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: 18195 markings, 62725 edges, 3639 markings/sec, 0 secs
lola: 38094 markings, 131151 edges, 3980 markings/sec, 5 secs
lola: 57885 markings, 200111 edges, 3958 markings/sec, 10 secs
lola: 77218 markings, 266284 edges, 3867 markings/sec, 15 secs
lola: 95202 markings, 325885 edges, 3597 markings/sec, 20 secs
lola: 113568 markings, 386795 edges, 3673 markings/sec, 25 secs
lola: 132014 markings, 453028 edges, 3689 markings/sec, 30 secs
lola: 150764 markings, 518410 edges, 3750 markings/sec, 35 secs
lola: 169596 markings, 583677 edges, 3766 markings/sec, 40 secs
lola: 187714 markings, 647116 edges, 3624 markings/sec, 45 secs
lola: 206782 markings, 711593 edges, 3814 markings/sec, 50 secs
lola: 225803 markings, 777143 edges, 3804 markings/sec, 55 secs
lola: 244880 markings, 842590 edges, 3815 markings/sec, 60 secs
lola: 263831 markings, 912555 edges, 3790 markings/sec, 65 secs
lola: 282334 markings, 976332 edges, 3701 markings/sec, 70 secs
lola: 300984 markings, 1039326 edges, 3730 markings/sec, 75 secs
lola: 319444 markings, 1100639 edges, 3692 markings/sec, 80 secs
lola: 337779 markings, 1164559 edges, 3667 markings/sec, 85 secs
lola: 356588 markings, 1230939 edges, 3762 markings/sec, 90 secs
lola: 375624 markings, 1295812 edges, 3807 markings/sec, 95 secs
lola: 394621 markings, 1363489 edges, 3799 markings/sec, 100 secs
lola: 413257 markings, 1432675 edges, 3727 markings/sec, 105 secs
lola: 431920 markings, 1494276 edges, 3733 markings/sec, 110 secs
lola: 450658 markings, 1558194 edges, 3748 markings/sec, 115 secs
lola: 469370 markings, 1625418 edges, 3742 markings/sec, 120 secs
lola: 488579 markings, 1693074 edges, 3842 markings/sec, 125 secs
lola: 507039 markings, 1755078 edges, 3692 markings/sec, 130 secs
lola: 525648 markings, 1817526 edges, 3722 markings/sec, 135 secs
lola: 545109 markings, 1880925 edges, 3892 markings/sec, 140 secs
lola: 564771 markings, 1945093 edges, 3932 markings/sec, 145 secs
lola: 584445 markings, 2009876 edges, 3935 markings/sec, 150 secs
lola: 604142 markings, 2074538 edges, 3939 markings/sec, 155 secs
lola: 623872 markings, 2140922 edges, 3946 markings/sec, 160 secs
lola: 643374 markings, 2207079 edges, 3900 markings/sec, 165 secs
lola: 663002 markings, 2271903 edges, 3926 markings/sec, 170 secs
lola: 682552 markings, 2336823 edges, 3910 markings/sec, 175 secs
lola: 702064 markings, 2406301 edges, 3902 markings/sec, 180 secs
lola: 721514 markings, 2475797 edges, 3890 markings/sec, 185 secs
lola: 741153 markings, 2539526 edges, 3928 markings/sec, 190 secs
lola: 760798 markings, 2606100 edges, 3929 markings/sec, 195 secs
lola: 780424 markings, 2673846 edges, 3925 markings/sec, 200 secs
lola: 799944 markings, 2738044 edges, 3904 markings/sec, 205 secs
lola: 819429 markings, 2805550 edges, 3897 markings/sec, 210 secs
lola: 839021 markings, 2874258 edges, 3918 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: 270032 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__24_6_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__24_6_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D30N010-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: 18354 markings, 62018 edges, 3671 markings/sec, 0 secs
lola: 38209 markings, 129872 edges, 3971 markings/sec, 5 secs
lola: 58048 markings, 195519 edges, 3968 markings/sec, 10 secs
lola: 77789 markings, 261845 edges, 3948 markings/sec, 15 secs
lola: 97653 markings, 325850 edges, 3973 markings/sec, 20 secs
lola: 117504 markings, 391453 edges, 3970 markings/sec, 25 secs
lola: 137413 markings, 456959 edges, 3982 markings/sec, 30 secs
lola: 157277 markings, 523818 edges, 3973 markings/sec, 35 secs
lola: 177204 markings, 589961 edges, 3985 markings/sec, 40 secs
lola: 197083 markings, 656475 edges, 3976 markings/sec, 45 secs
lola: 216887 markings, 722553 edges, 3961 markings/sec, 50 secs
lola: 236864 markings, 786348 edges, 3995 markings/sec, 55 secs
lola: 256837 markings, 851536 edges, 3995 markings/sec, 60 secs
lola: 276768 markings, 915517 edges, 3986 markings/sec, 65 secs
lola: 296653 markings, 980548 edges, 3977 markings/sec, 70 secs
lola: 316518 markings, 1045200 edges, 3973 markings/sec, 75 secs
lola: 336283 markings, 1111854 edges, 3953 markings/sec, 80 secs
lola: 355984 markings, 1180691 edges, 3940 markings/sec, 85 secs
lola: 375720 markings, 1246898 edges, 3947 markings/sec, 90 secs
lola: 395409 markings, 1314456 edges, 3938 markings/sec, 95 secs
lola: 415071 markings, 1381637 edges, 3932 markings/sec, 100 secs
lola: 434797 markings, 1448328 edges, 3945 markings/sec, 105 secs
lola: 454627 markings, 1513049 edges, 3966 markings/sec, 110 secs
lola: 474434 markings, 1578828 edges, 3961 markings/sec, 115 secs
lola: 494217 markings, 1643856 edges, 3957 markings/sec, 120 secs
lola: 514042 markings, 1707824 edges, 3965 markings/sec, 125 secs
lola: 533783 markings, 1773033 edges, 3948 markings/sec, 130 secs
lola: 553374 markings, 1841053 edges, 3918 markings/sec, 135 secs
lola: 572623 markings, 1905751 edges, 3850 markings/sec, 140 secs
lola: 592306 markings, 1970715 edges, 3937 markings/sec, 145 secs
lola: 612077 markings, 2036126 edges, 3954 markings/sec, 150 secs
lola: 631750 markings, 2102775 edges, 3935 markings/sec, 155 secs
lola: 651488 markings, 2167131 edges, 3948 markings/sec, 160 secs
lola: 671200 markings, 2234616 edges, 3942 markings/sec, 165 secs
lola: 690986 markings, 2300198 edges, 3957 markings/sec, 170 secs
lola: 710738 markings, 2366541 edges, 3950 markings/sec, 175 secs
lola: 730530 markings, 2433415 edges, 3958 markings/sec, 180 secs
lola: 750442 markings, 2497773 edges, 3982 markings/sec, 185 secs
lola: 770206 markings, 2563243 edges, 3953 markings/sec, 190 secs
lola: 789696 markings, 2630172 edges, 3898 markings/sec, 195 secs
lola: 809424 markings, 2694655 edges, 3946 markings/sec, 200 secs
lola: 829171 markings, 2760764 edges, 3949 markings/sec, 205 secs
lola: 848900 markings, 2827503 edges, 3946 markings/sec, 210 secs
lola: 868776 markings, 2892964 edges, 3975 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: 297752 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__16_6_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__16_6_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D30N010-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: 18243 markings, 59660 edges, 3649 markings/sec, 0 secs
lola: 37913 markings, 125323 edges, 3934 markings/sec, 5 secs
lola: 57503 markings, 191814 edges, 3918 markings/sec, 10 secs
lola: 77050 markings, 257103 edges, 3909 markings/sec, 15 secs
lola: 96636 markings, 320802 edges, 3917 markings/sec, 20 secs
lola: 116312 markings, 382842 edges, 3935 markings/sec, 25 secs
lola: 135978 markings, 445672 edges, 3933 markings/sec, 30 secs
lola: 155573 markings, 510795 edges, 3919 markings/sec, 35 secs
lola: 174795 markings, 573991 edges, 3844 markings/sec, 40 secs
lola: 194083 markings, 637273 edges, 3858 markings/sec, 45 secs
lola: 213814 markings, 700871 edges, 3946 markings/sec, 50 secs
lola: 233527 markings, 764678 edges, 3943 markings/sec, 55 secs
lola: 253108 markings, 827198 edges, 3916 markings/sec, 60 secs
lola: 272726 markings, 890773 edges, 3924 markings/sec, 65 secs
lola: 292024 markings, 955325 edges, 3860 markings/sec, 70 secs
lola: 311361 markings, 1022138 edges, 3867 markings/sec, 75 secs
lola: 330933 markings, 1087931 edges, 3914 markings/sec, 80 secs
lola: 350414 markings, 1154521 edges, 3896 markings/sec, 85 secs
lola: 369873 markings, 1219006 edges, 3892 markings/sec, 90 secs
lola: 389339 markings, 1280998 edges, 3893 markings/sec, 95 secs
lola: 409030 markings, 1344141 edges, 3938 markings/sec, 100 secs
lola: 428703 markings, 1408508 edges, 3935 markings/sec, 105 secs
lola: 448108 markings, 1472257 edges, 3881 markings/sec, 110 secs
lola: 467552 markings, 1538155 edges, 3889 markings/sec, 115 secs
lola: 487130 markings, 1603021 edges, 3916 markings/sec, 120 secs
lola: 506626 markings, 1669872 edges, 3899 markings/sec, 125 secs
lola: 526046 markings, 1732709 edges, 3884 markings/sec, 130 secs
lola: 545501 markings, 1797897 edges, 3891 markings/sec, 135 secs
lola: 565154 markings, 1863827 edges, 3931 markings/sec, 140 secs
lola: 584645 markings, 1931839 edges, 3898 markings/sec, 145 secs
lola: 604360 markings, 1996739 edges, 3943 markings/sec, 150 secs
lola: 623888 markings, 2064242 edges, 3906 markings/sec, 155 secs
lola: 643435 markings, 2127544 edges, 3909 markings/sec, 160 secs
lola: 663029 markings, 2193174 edges, 3919 markings/sec, 165 secs
lola: 682753 markings, 2258389 edges, 3945 markings/sec, 170 secs
lola: 702469 markings, 2323145 edges, 3943 markings/sec, 175 secs
lola: 722171 markings, 2388951 edges, 3940 markings/sec, 180 secs
lola: 741805 markings, 2454994 edges, 3927 markings/sec, 185 secs
lola: 761160 markings, 2522945 edges, 3871 markings/sec, 190 secs
lola: 780511 markings, 2590694 edges, 3870 markings/sec, 195 secs
lola: 800100 markings, 2653301 edges, 3918 markings/sec, 200 secs
lola: 819560 markings, 2717313 edges, 3892 markings/sec, 205 secs
lola: 839155 markings, 2779780 edges, 3919 markings/sec, 210 secs
lola: 858658 markings, 2843463 edges, 3901 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: 284256 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__11_5_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__11_5_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D30N010-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: 18004 markings, 64245 edges, 3601 markings/sec, 0 secs
lola: 37570 markings, 131702 edges, 3913 markings/sec, 5 secs
lola: 57136 markings, 198725 edges, 3913 markings/sec, 10 secs
lola: 76688 markings, 265289 edges, 3910 markings/sec, 15 secs
lola: 96165 markings, 332767 edges, 3895 markings/sec, 20 secs
lola: 115676 markings, 398282 edges, 3902 markings/sec, 25 secs
lola: 135212 markings, 464337 edges, 3907 markings/sec, 30 secs
lola: 154762 markings, 530140 edges, 3910 markings/sec, 35 secs
lola: 174402 markings, 595077 edges, 3928 markings/sec, 40 secs
lola: 194015 markings, 661382 edges, 3923 markings/sec, 45 secs
lola: 213640 markings, 726648 edges, 3925 markings/sec, 50 secs
lola: 233217 markings, 793254 edges, 3915 markings/sec, 55 secs
lola: 252652 markings, 860952 edges, 3887 markings/sec, 60 secs
lola: 272203 markings, 926590 edges, 3910 markings/sec, 65 secs
lola: 291883 markings, 991394 edges, 3936 markings/sec, 70 secs
lola: 311420 markings, 1056789 edges, 3907 markings/sec, 75 secs
lola: 330967 markings, 1121312 edges, 3909 markings/sec, 80 secs
lola: 350493 markings, 1188259 edges, 3905 markings/sec, 85 secs
lola: 369902 markings, 1255931 edges, 3882 markings/sec, 90 secs
lola: 389364 markings, 1323475 edges, 3892 markings/sec, 95 secs
lola: 408921 markings, 1391411 edges, 3911 markings/sec, 100 secs
lola: 428449 markings, 1458425 edges, 3906 markings/sec, 105 secs
lola: 448083 markings, 1522983 edges, 3927 markings/sec, 110 secs
lola: 467622 markings, 1589263 edges, 3908 markings/sec, 115 secs
lola: 487081 markings, 1654733 edges, 3892 markings/sec, 120 secs
lola: 506522 markings, 1722013 edges, 3888 markings/sec, 125 secs
lola: 526021 markings, 1787383 edges, 3900 markings/sec, 130 secs
lola: 545451 markings, 1853116 edges, 3886 markings/sec, 135 secs
lola: 564973 markings, 1917930 edges, 3904 markings/sec, 140 secs
lola: 584452 markings, 1984745 edges, 3896 markings/sec, 145 secs
lola: 603957 markings, 2050831 edges, 3901 markings/sec, 150 secs
lola: 623282 markings, 2116459 edges, 3865 markings/sec, 155 secs
lola: 642812 markings, 2180668 edges, 3906 markings/sec, 160 secs
lola: 662151 markings, 2244757 edges, 3868 markings/sec, 165 secs
lola: 681694 markings, 2309573 edges, 3909 markings/sec, 170 secs
lola: 700936 markings, 2375844 edges, 3848 markings/sec, 175 secs
lola: 720251 markings, 2442198 edges, 3863 markings/sec, 180 secs
lola: 739709 markings, 2508798 edges, 3892 markings/sec, 185 secs
lola: 759258 markings, 2573335 edges, 3910 markings/sec, 190 secs
lola: 778764 markings, 2640820 edges, 3901 markings/sec, 195 secs
lola: 798113 markings, 2710599 edges, 3870 markings/sec, 200 secs
lola: 817759 markings, 2774268 edges, 3929 markings/sec, 205 secs
lola: 837299 markings, 2840481 edges, 3908 markings/sec, 210 secs
lola: 856910 markings, 2906522 edges, 3922 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: 268512 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__20_19_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__20_19_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D30N010-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: 18304 markings, 63800 edges, 3661 markings/sec, 0 secs
lola: 38161 markings, 132583 edges, 3971 markings/sec, 5 secs
lola: 57997 markings, 200317 edges, 3967 markings/sec, 10 secs
lola: 77758 markings, 268823 edges, 3952 markings/sec, 15 secs
lola: 97460 markings, 336526 edges, 3940 markings/sec, 20 secs
lola: 116980 markings, 403081 edges, 3904 markings/sec, 25 secs
lola: 136647 markings, 471489 edges, 3933 markings/sec, 30 secs
lola: 156131 markings, 542387 edges, 3897 markings/sec, 35 secs
lola: 175718 markings, 612757 edges, 3917 markings/sec, 40 secs
lola: 195198 markings, 680958 edges, 3896 markings/sec, 45 secs
lola: 214752 markings, 753163 edges, 3911 markings/sec, 50 secs
lola: 234358 markings, 820370 edges, 3921 markings/sec, 55 secs
lola: 254101 markings, 889885 edges, 3949 markings/sec, 60 secs
lola: 273777 markings, 961629 edges, 3935 markings/sec, 65 secs
lola: 293457 markings, 1032940 edges, 3936 markings/sec, 70 secs
lola: 313144 markings, 1104181 edges, 3937 markings/sec, 75 secs
lola: 332843 markings, 1172499 edges, 3940 markings/sec, 80 secs
lola: 352612 markings, 1240845 edges, 3954 markings/sec, 85 secs
lola: 372429 markings, 1309294 edges, 3963 markings/sec, 90 secs
lola: 392282 markings, 1378725 edges, 3971 markings/sec, 95 secs
lola: 411937 markings, 1447705 edges, 3931 markings/sec, 100 secs
lola: 431591 markings, 1516464 edges, 3931 markings/sec, 105 secs
lola: 451307 markings, 1584072 edges, 3943 markings/sec, 110 secs
lola: 470965 markings, 1651984 edges, 3932 markings/sec, 115 secs
lola: 490591 markings, 1719966 edges, 3925 markings/sec, 120 secs
lola: 510258 markings, 1787782 edges, 3933 markings/sec, 125 secs
lola: 529634 markings, 1859119 edges, 3875 markings/sec, 130 secs
lola: 549275 markings, 1930781 edges, 3928 markings/sec, 135 secs
lola: 568963 markings, 2002382 edges, 3938 markings/sec, 140 secs
lola: 588744 markings, 2072934 edges, 3956 markings/sec, 145 secs
lola: 608541 markings, 2141911 edges, 3959 markings/sec, 150 secs
lola: 628312 markings, 2208819 edges, 3954 markings/sec, 155 secs
lola: 648067 markings, 2277971 edges, 3951 markings/sec, 160 secs
lola: 667880 markings, 2345870 edges, 3963 markings/sec, 165 secs
lola: 687462 markings, 2415964 edges, 3916 markings/sec, 170 secs
lola: 707037 markings, 2486754 edges, 3915 markings/sec, 175 secs
lola: 726679 markings, 2558183 edges, 3928 markings/sec, 180 secs
lola: 746512 markings, 2627061 edges, 3967 markings/sec, 185 secs
lola: 766319 markings, 2695047 edges, 3961 markings/sec, 190 secs
lola: 786081 markings, 2764472 edges, 3952 markings/sec, 195 secs
lola: 805795 markings, 2831950 edges, 3943 markings/sec, 200 secs
lola: 825587 markings, 2900353 edges, 3958 markings/sec, 205 secs
lola: 845399 markings, 2968858 edges, 3962 markings/sec, 210 secs
lola: 865199 markings, 3038382 edges, 3960 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 289452 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__13_30_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__13_30_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D30N010-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: 18179 markings, 58354 edges, 3636 markings/sec, 0 secs
lola: 37963 markings, 118192 edges, 3957 markings/sec, 5 secs
lola: 57639 markings, 180207 edges, 3935 markings/sec, 10 secs
lola: 77264 markings, 243721 edges, 3925 markings/sec, 15 secs
lola: 96723 markings, 308502 edges, 3892 markings/sec, 20 secs
lola: 116522 markings, 367640 edges, 3960 markings/sec, 25 secs
lola: 136226 markings, 426792 edges, 3941 markings/sec, 30 secs
lola: 155875 markings, 484433 edges, 3930 markings/sec, 35 secs
lola: 175701 markings, 542623 edges, 3965 markings/sec, 40 secs
lola: 195573 markings, 600595 edges, 3974 markings/sec, 45 secs
lola: 215399 markings, 661197 edges, 3965 markings/sec, 50 secs
lola: 235219 markings, 721411 edges, 3964 markings/sec, 55 secs
lola: 255024 markings, 781045 edges, 3961 markings/sec, 60 secs
lola: 274824 markings, 839773 edges, 3960 markings/sec, 65 secs
lola: 294583 markings, 899813 edges, 3952 markings/sec, 70 secs
lola: 314375 markings, 959510 edges, 3958 markings/sec, 75 secs
lola: 334149 markings, 1017357 edges, 3955 markings/sec, 80 secs
lola: 353836 markings, 1077783 edges, 3937 markings/sec, 85 secs
lola: 373577 markings, 1137673 edges, 3948 markings/sec, 90 secs
lola: 393293 markings, 1199490 edges, 3943 markings/sec, 95 secs
lola: 412900 markings, 1261380 edges, 3921 markings/sec, 100 secs
lola: 432650 markings, 1319860 edges, 3950 markings/sec, 105 secs
lola: 452450 markings, 1377400 edges, 3960 markings/sec, 110 secs
lola: 472139 markings, 1437318 edges, 3938 markings/sec, 115 secs
lola: 491763 markings, 1498813 edges, 3925 markings/sec, 120 secs
lola: 511601 markings, 1556350 edges, 3968 markings/sec, 125 secs
lola: 531395 markings, 1615665 edges, 3959 markings/sec, 130 secs
lola: 551078 markings, 1670676 edges, 3937 markings/sec, 135 secs
lola: 570907 markings, 1726399 edges, 3966 markings/sec, 140 secs
lola: 590487 markings, 1783556 edges, 3916 markings/sec, 145 secs
lola: 609894 markings, 1839187 edges, 3881 markings/sec, 150 secs
lola: 629535 markings, 1895811 edges, 3928 markings/sec, 155 secs
lola: 649165 markings, 1952768 edges, 3926 markings/sec, 160 secs
lola: 668830 markings, 2012542 edges, 3933 markings/sec, 165 secs
lola: 688684 markings, 2069216 edges, 3971 markings/sec, 170 secs
lola: 708493 markings, 2128404 edges, 3962 markings/sec, 175 secs
lola: 728209 markings, 2187316 edges, 3943 markings/sec, 180 secs
lola: 748135 markings, 2243825 edges, 3985 markings/sec, 185 secs
lola: 768071 markings, 2300572 edges, 3987 markings/sec, 190 secs
lola: 787962 markings, 2356163 edges, 3978 markings/sec, 195 secs
lola: 807795 markings, 2413568 edges, 3967 markings/sec, 200 secs
lola: 827623 markings, 2472505 edges, 3966 markings/sec, 205 secs
lola: 847422 markings, 2530396 edges, 3960 markings/sec, 210 secs
lola: 867204 markings, 2588744 edges, 3956 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: 287684 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__10_11_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__10_11_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D30N010-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: 18256 markings, 64118 edges, 3651 markings/sec, 0 secs
lola: 37867 markings, 135078 edges, 3922 markings/sec, 5 secs
lola: 57502 markings, 205779 edges, 3927 markings/sec, 10 secs
lola: 77179 markings, 277733 edges, 3935 markings/sec, 15 secs
lola: 96814 markings, 349464 edges, 3927 markings/sec, 20 secs
lola: 116446 markings, 420110 edges, 3926 markings/sec, 25 secs
lola: 136037 markings, 492059 edges, 3918 markings/sec, 30 secs
lola: 155597 markings, 562691 edges, 3912 markings/sec, 35 secs
lola: 175229 markings, 634108 edges, 3926 markings/sec, 40 secs
lola: 194855 markings, 704510 edges, 3925 markings/sec, 45 secs
lola: 214425 markings, 776496 edges, 3914 markings/sec, 50 secs
lola: 233909 markings, 845607 edges, 3897 markings/sec, 55 secs
lola: 253512 markings, 917318 edges, 3921 markings/sec, 60 secs
lola: 273210 markings, 988249 edges, 3940 markings/sec, 65 secs
lola: 292801 markings, 1060375 edges, 3918 markings/sec, 70 secs
lola: 312237 markings, 1137278 edges, 3887 markings/sec, 75 secs
lola: 331732 markings, 1213107 edges, 3899 markings/sec, 80 secs
lola: 351215 markings, 1287803 edges, 3897 markings/sec, 85 secs
lola: 370888 markings, 1357749 edges, 3935 markings/sec, 90 secs
lola: 390470 markings, 1428430 edges, 3916 markings/sec, 95 secs
lola: 409969 markings, 1503103 edges, 3900 markings/sec, 100 secs
lola: 429473 markings, 1578042 edges, 3901 markings/sec, 105 secs
lola: 448989 markings, 1649535 edges, 3903 markings/sec, 110 secs
lola: 468308 markings, 1725714 edges, 3864 markings/sec, 115 secs
lola: 487848 markings, 1797548 edges, 3908 markings/sec, 120 secs
lola: 507500 markings, 1870058 edges, 3930 markings/sec, 125 secs
lola: 527259 markings, 1940314 edges, 3952 markings/sec, 130 secs
lola: 546877 markings, 2012134 edges, 3924 markings/sec, 135 secs
lola: 566476 markings, 2084503 edges, 3920 markings/sec, 140 secs
lola: 586036 markings, 2158267 edges, 3912 markings/sec, 145 secs
lola: 605704 markings, 2229980 edges, 3934 markings/sec, 150 secs
lola: 625129 markings, 2305219 edges, 3885 markings/sec, 155 secs
lola: 644513 markings, 2380523 edges, 3877 markings/sec, 160 secs
lola: 663963 markings, 2453431 edges, 3890 markings/sec, 165 secs
lola: 683661 markings, 2523532 edges, 3940 markings/sec, 170 secs
lola: 703111 markings, 2593875 edges, 3890 markings/sec, 175 secs
lola: 722574 markings, 2665475 edges, 3893 markings/sec, 180 secs
lola: 742151 markings, 2737878 edges, 3915 markings/sec, 185 secs
lola: 761821 markings, 2809472 edges, 3934 markings/sec, 190 secs
lola: 781448 markings, 2882147 edges, 3925 markings/sec, 195 secs
lola: 801198 markings, 2954006 edges, 3950 markings/sec, 200 secs
lola: 820919 markings, 3024585 edges, 3944 markings/sec, 205 secs
lola: 840601 markings, 3097255 edges, 3936 markings/sec, 210 secs
lola: 860139 markings, 3168970 edges, 3908 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: 281056 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__17_5_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__17_5_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D30N010-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: 18144 markings, 60871 edges, 3629 markings/sec, 0 secs
lola: 37815 markings, 126048 edges, 3934 markings/sec, 5 secs
lola: 57521 markings, 192603 edges, 3941 markings/sec, 10 secs
lola: 77266 markings, 257828 edges, 3949 markings/sec, 15 secs
lola: 96920 markings, 322294 edges, 3931 markings/sec, 20 secs
lola: 116623 markings, 385091 edges, 3941 markings/sec, 25 secs
lola: 136197 markings, 449854 edges, 3915 markings/sec, 30 secs
lola: 155841 markings, 515390 edges, 3929 markings/sec, 35 secs
lola: 175396 markings, 580315 edges, 3911 markings/sec, 40 secs
lola: 194862 markings, 645945 edges, 3893 markings/sec, 45 secs
lola: 214411 markings, 710324 edges, 3910 markings/sec, 50 secs
lola: 233829 markings, 778895 edges, 3884 markings/sec, 55 secs
lola: 253556 markings, 842122 edges, 3945 markings/sec, 60 secs
lola: 273164 markings, 905814 edges, 3922 markings/sec, 65 secs
lola: 292846 markings, 969020 edges, 3936 markings/sec, 70 secs
lola: 312368 markings, 1037294 edges, 3904 markings/sec, 75 secs
lola: 332027 markings, 1103099 edges, 3932 markings/sec, 80 secs
lola: 351834 markings, 1166621 edges, 3961 markings/sec, 85 secs
lola: 371517 markings, 1233452 edges, 3937 markings/sec, 90 secs
lola: 391163 markings, 1298077 edges, 3929 markings/sec, 95 secs
lola: 410709 markings, 1361941 edges, 3909 markings/sec, 100 secs
lola: 430342 markings, 1426483 edges, 3927 markings/sec, 105 secs
lola: 449920 markings, 1491175 edges, 3916 markings/sec, 110 secs
lola: 469589 markings, 1555696 edges, 3934 markings/sec, 115 secs
lola: 489270 markings, 1619311 edges, 3936 markings/sec, 120 secs
lola: 508928 markings, 1683259 edges, 3932 markings/sec, 125 secs
lola: 528531 markings, 1747409 edges, 3921 markings/sec, 130 secs
lola: 548215 markings, 1810958 edges, 3937 markings/sec, 135 secs
lola: 567935 markings, 1875033 edges, 3944 markings/sec, 140 secs
lola: 587557 markings, 1940926 edges, 3924 markings/sec, 145 secs
lola: 607121 markings, 2008980 edges, 3913 markings/sec, 150 secs
lola: 626929 markings, 2071763 edges, 3962 markings/sec, 155 secs
lola: 646499 markings, 2135386 edges, 3914 markings/sec, 160 secs
lola: 665983 markings, 2201079 edges, 3897 markings/sec, 165 secs
lola: 685508 markings, 2264684 edges, 3905 markings/sec, 170 secs
lola: 705154 markings, 2328135 edges, 3929 markings/sec, 175 secs
lola: 724752 markings, 2390914 edges, 3920 markings/sec, 180 secs
lola: 744312 markings, 2454087 edges, 3912 markings/sec, 185 secs
lola: 763850 markings, 2518808 edges, 3908 markings/sec, 190 secs
lola: 783394 markings, 2583509 edges, 3909 markings/sec, 195 secs
lola: 802987 markings, 2646394 edges, 3919 markings/sec, 200 secs
lola: 822564 markings, 2710372 edges, 3915 markings/sec, 205 secs
lola: 842136 markings, 2776134 edges, 3914 markings/sec, 210 secs
lola: 861656 markings, 2838828 edges, 3904 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: 257360 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__21_16_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__21_16_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D30N010-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: 18193 markings, 64669 edges, 3639 markings/sec, 0 secs
lola: 37853 markings, 137619 edges, 3932 markings/sec, 5 secs
lola: 57585 markings, 208234 edges, 3946 markings/sec, 10 secs
lola: 77245 markings, 276797 edges, 3932 markings/sec, 15 secs
lola: 96716 markings, 351205 edges, 3894 markings/sec, 20 secs
lola: 116248 markings, 424911 edges, 3906 markings/sec, 25 secs
lola: 135761 markings, 498056 edges, 3903 markings/sec, 30 secs
lola: 154902 markings, 572246 edges, 3828 markings/sec, 35 secs
lola: 174524 markings, 642664 edges, 3924 markings/sec, 40 secs
lola: 194081 markings, 715037 edges, 3911 markings/sec, 45 secs
lola: 213780 markings, 785253 edges, 3940 markings/sec, 50 secs
lola: 233296 markings, 860411 edges, 3903 markings/sec, 55 secs
lola: 252879 markings, 932842 edges, 3917 markings/sec, 60 secs
lola: 272457 markings, 1005320 edges, 3916 markings/sec, 65 secs
lola: 292149 markings, 1075449 edges, 3938 markings/sec, 70 secs
lola: 311753 markings, 1144779 edges, 3921 markings/sec, 75 secs
lola: 331483 markings, 1210165 edges, 3946 markings/sec, 80 secs
lola: 351153 markings, 1277790 edges, 3934 markings/sec, 85 secs
lola: 370731 markings, 1345562 edges, 3916 markings/sec, 90 secs
lola: 390251 markings, 1415887 edges, 3904 markings/sec, 95 secs
lola: 409870 markings, 1485118 edges, 3924 markings/sec, 100 secs
lola: 429454 markings, 1554046 edges, 3917 markings/sec, 105 secs
lola: 448947 markings, 1628300 edges, 3899 markings/sec, 110 secs
lola: 468583 markings, 1698345 edges, 3927 markings/sec, 115 secs
lola: 488030 markings, 1773443 edges, 3889 markings/sec, 120 secs
lola: 507571 markings, 1844656 edges, 3908 markings/sec, 125 secs
lola: 527176 markings, 1915893 edges, 3921 markings/sec, 130 secs
lola: 546494 markings, 1991715 edges, 3864 markings/sec, 135 secs
lola: 565922 markings, 2064041 edges, 3886 markings/sec, 140 secs
lola: 585139 markings, 2144995 edges, 3843 markings/sec, 145 secs
lola: 604735 markings, 2216277 edges, 3919 markings/sec, 150 secs
lola: 624299 markings, 2288724 edges, 3913 markings/sec, 155 secs
lola: 643771 markings, 2360569 edges, 3894 markings/sec, 160 secs
lola: 662971 markings, 2441498 edges, 3840 markings/sec, 165 secs
lola: 682205 markings, 2518972 edges, 3847 markings/sec, 170 secs
lola: 701421 markings, 2598528 edges, 3843 markings/sec, 175 secs
lola: 721052 markings, 2670110 edges, 3926 markings/sec, 180 secs
lola: 740641 markings, 2743727 edges, 3918 markings/sec, 185 secs
lola: 760053 markings, 2821144 edges, 3882 markings/sec, 190 secs
lola: 779297 markings, 2898917 edges, 3849 markings/sec, 195 secs
lola: 798468 markings, 2978559 edges, 3834 markings/sec, 200 secs
lola: 817777 markings, 3055890 edges, 3862 markings/sec, 205 secs
lola: 837466 markings, 3126383 edges, 3938 markings/sec, 210 secs
lola: 857150 markings, 3197243 edges, 3937 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: 265016 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__15_17_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__15_17_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D30N010-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 11 markings, 10 edges

FORMULA Diffusion2D-PT-D30N010-UpperBounds-11 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 12 will run for 278 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__19_18_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__19_18_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D30N010-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: 18283 markings, 60680 edges, 3657 markings/sec, 0 secs
lola: 38151 markings, 125277 edges, 3974 markings/sec, 5 secs
lola: 57967 markings, 189975 edges, 3963 markings/sec, 10 secs
lola: 77756 markings, 255419 edges, 3958 markings/sec, 15 secs
lola: 97535 markings, 322157 edges, 3956 markings/sec, 20 secs
lola: 117480 markings, 385060 edges, 3989 markings/sec, 25 secs
lola: 137288 markings, 452026 edges, 3962 markings/sec, 30 secs
lola: 157124 markings, 517360 edges, 3967 markings/sec, 35 secs
lola: 176883 markings, 584844 edges, 3952 markings/sec, 40 secs
lola: 196663 markings, 650990 edges, 3956 markings/sec, 45 secs
lola: 216124 markings, 717937 edges, 3892 markings/sec, 50 secs
lola: 235849 markings, 784440 edges, 3945 markings/sec, 55 secs
lola: 255648 markings, 850333 edges, 3960 markings/sec, 60 secs
lola: 275471 markings, 915844 edges, 3965 markings/sec, 65 secs
lola: 295383 markings, 979411 edges, 3982 markings/sec, 70 secs
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 313223 markings, 1038638 edges

FORMULA Diffusion2D-PT-D30N010-UpperBounds-12 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 345 seconds at most (--localtimelimit=0)lola: ========================================

lola: ========================================
lola: ...considering subproblem: MAX(cAMP__6_17_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__6_17_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D30N010-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: 18311 markings, 62292 edges, 3662 markings/sec, 0 secs
lola: 38192 markings, 129383 edges, 3976 markings/sec, 5 secs
lola: 58047 markings, 197847 edges, 3971 markings/sec, 10 secs
lola: 77899 markings, 265040 edges, 3970 markings/sec, 15 secs
lola: 97757 markings, 333229 edges, 3972 markings/sec, 20 secs
lola: 117557 markings, 403357 edges, 3960 markings/sec, 25 secs
lola: 137503 markings, 465507 edges, 3989 markings/sec, 30 secs
lola: 157383 markings, 528943 edges, 3976 markings/sec, 35 secs
lola: 177402 markings, 592431 edges, 4004 markings/sec, 40 secs
lola: 197344 markings, 659298 edges, 3988 markings/sec, 45 secs
lola: 217367 markings, 725135 edges, 4005 markings/sec, 50 secs
lola: 237260 markings, 793243 edges, 3979 markings/sec, 55 secs
lola: 257217 markings, 858995 edges, 3991 markings/sec, 60 secs
lola: 276874 markings, 925958 edges, 3931 markings/sec, 65 secs
lola: 296823 markings, 992844 edges, 3990 markings/sec, 70 secs
lola: 316683 markings, 1059124 edges, 3972 markings/sec, 75 secs
lola: 336608 markings, 1123853 edges, 3985 markings/sec, 80 secs
lola: 356454 markings, 1186406 edges, 3969 markings/sec, 85 secs
lola: 376301 markings, 1251856 edges, 3969 markings/sec, 90 secs
lola: 396062 markings, 1319418 edges, 3952 markings/sec, 95 secs
lola: 415768 markings, 1389161 edges, 3941 markings/sec, 100 secs
lola: 435526 markings, 1458696 edges, 3952 markings/sec, 105 secs
lola: 455303 markings, 1527252 edges, 3955 markings/sec, 110 secs
lola: 475157 markings, 1591996 edges, 3971 markings/sec, 115 secs
lola: 495018 markings, 1659205 edges, 3972 markings/sec, 120 secs
lola: 514815 markings, 1726250 edges, 3959 markings/sec, 125 secs
lola: 534884 markings, 1789696 edges, 4014 markings/sec, 130 secs
lola: 554853 markings, 1856057 edges, 3994 markings/sec, 135 secs
lola: 574778 markings, 1922376 edges, 3985 markings/sec, 140 secs
lola: 594651 markings, 1988486 edges, 3975 markings/sec, 145 secs
lola: 614438 markings, 2058192 edges, 3957 markings/sec, 150 secs
lola: 634271 markings, 2125147 edges, 3967 markings/sec, 155 secs
lola: 654325 markings, 2191304 edges, 4011 markings/sec, 160 secs
lola: 674209 markings, 2257789 edges, 3977 markings/sec, 165 secs
lola: 694152 markings, 2324919 edges, 3989 markings/sec, 170 secs
lola: 713953 markings, 2389416 edges, 3960 markings/sec, 175 secs
lola: 733803 markings, 2452399 edges, 3970 markings/sec, 180 secs
lola: 753572 markings, 2518293 edges, 3954 markings/sec, 185 secs
lola: 773368 markings, 2583549 edges, 3959 markings/sec, 190 secs
lola: 793254 markings, 2649157 edges, 3977 markings/sec, 195 secs
lola: 812929 markings, 2718509 edges, 3935 markings/sec, 200 secs
lola: 832890 markings, 2781795 edges, 3992 markings/sec, 205 secs
lola: 852745 markings, 2847859 edges, 3971 markings/sec, 210 secs
lola: 872617 markings, 2913080 edges, 3974 markings/sec, 215 secs
lola: 892486 markings, 2978235 edges, 3974 markings/sec, 220 secs
lola: 912276 markings, 3044855 edges, 3958 markings/sec, 225 secs
lola: 932123 markings, 3111912 edges, 3969 markings/sec, 230 secs
lola: 952166 markings, 3177150 edges, 4009 markings/sec, 235 secs
lola: 972067 markings, 3241980 edges, 3980 markings/sec, 240 secs
lola: 991817 markings, 3307606 edges, 3950 markings/sec, 245 secs
lola: 1011723 markings, 3369580 edges, 3981 markings/sec, 250 secs
lola: 1031622 markings, 3432214 edges, 3980 markings/sec, 255 secs
lola: 1051427 markings, 3495514 edges, 3961 markings/sec, 260 secs
lola: 1071227 markings, 3559068 edges, 3960 markings/sec, 265 secs
lola: 1091072 markings, 3624110 edges, 3969 markings/sec, 270 secs
lola: 1110820 markings, 3686311 edges, 3950 markings/sec, 275 secs
lola: 1130562 markings, 3751655 edges, 3948 markings/sec, 280 secs
lola: 1150301 markings, 3818581 edges, 3948 markings/sec, 285 secs
lola: 1170065 markings, 3883540 edges, 3953 markings/sec, 290 secs
lola: 1189874 markings, 3945923 edges, 3962 markings/sec, 295 secs
lola: 1209587 markings, 4011602 edges, 3943 markings/sec, 300 secs
lola: 1229407 markings, 4076980 edges, 3964 markings/sec, 305 secs
lola: 1249106 markings, 4144472 edges, 3940 markings/sec, 310 secs
lola: 1268819 markings, 4209667 edges, 3943 markings/sec, 315 secs
lola: 1288428 markings, 4277863 edges, 3922 markings/sec, 320 secs
lola: 1308131 markings, 4344396 edges, 3941 markings/sec, 325 secs
lola: 1328098 markings, 4407156 edges, 3993 markings/sec, 330 secs
lola: 1348074 markings, 4470818 edges, 3995 markings/sec, 335 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown 10 10 unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown 10 10 unknown unknown unknown
lola: memory consumption: 402532 KB
lola: time consumption: 2880 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 345 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__21_7_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__21_7_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D30N010-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: 18212 markings, 62709 edges, 3642 markings/sec, 0 secs
lola: 37846 markings, 131567 edges, 3927 markings/sec, 5 secs
lola: 57639 markings, 198253 edges, 3959 markings/sec, 10 secs
lola: 77375 markings, 265657 edges, 3947 markings/sec, 15 secs
lola: 96786 markings, 330515 edges, 3882 markings/sec, 20 secs
lola: 116456 markings, 396048 edges, 3934 markings/sec, 25 secs
lola: 136098 markings, 459976 edges, 3928 markings/sec, 30 secs
lola: 155784 markings, 524164 edges, 3937 markings/sec, 35 secs
lola: 175411 markings, 590561 edges, 3925 markings/sec, 40 secs
lola: 194941 markings, 657477 edges, 3906 markings/sec, 45 secs
lola: 214614 markings, 726098 edges, 3935 markings/sec, 50 secs
lola: 234148 markings, 795524 edges, 3907 markings/sec, 55 secs
lola: 253715 markings, 864663 edges, 3913 markings/sec, 60 secs
lola: 273437 markings, 930054 edges, 3944 markings/sec, 65 secs
lola: 293230 markings, 993429 edges, 3959 markings/sec, 70 secs
lola: 312977 markings, 1057089 edges, 3949 markings/sec, 75 secs
lola: 332547 markings, 1123624 edges, 3914 markings/sec, 80 secs
lola: 352124 markings, 1192042 edges, 3915 markings/sec, 85 secs
lola: 371610 markings, 1259666 edges, 3897 markings/sec, 90 secs
lola: 391077 markings, 1328204 edges, 3893 markings/sec, 95 secs
lola: 410560 markings, 1395682 edges, 3897 markings/sec, 100 secs
lola: 430336 markings, 1462373 edges, 3955 markings/sec, 105 secs
lola: 450181 markings, 1526471 edges, 3969 markings/sec, 110 secs
lola: 469908 markings, 1592393 edges, 3945 markings/sec, 115 secs
lola: 489620 markings, 1659088 edges, 3942 markings/sec, 120 secs
lola: 509190 markings, 1726671 edges, 3914 markings/sec, 125 secs
lola: 528857 markings, 1794411 edges, 3933 markings/sec, 130 secs
lola: 548581 markings, 1860661 edges, 3945 markings/sec, 135 secs
lola: 568140 markings, 1926316 edges, 3912 markings/sec, 140 secs
lola: 587826 markings, 1993624 edges, 3937 markings/sec, 145 secs
lola: 607485 markings, 2060342 edges, 3932 markings/sec, 150 secs
lola: 627138 markings, 2128810 edges, 3931 markings/sec, 155 secs
lola: 646673 markings, 2195629 edges, 3907 markings/sec, 160 secs
lola: 666209 markings, 2263148 edges, 3907 markings/sec, 165 secs
lola: 685939 markings, 2327665 edges, 3946 markings/sec, 170 secs
lola: 705605 markings, 2392224 edges, 3933 markings/sec, 175 secs
lola: 725340 markings, 2452907 edges, 3947 markings/sec, 180 secs
lola: 744941 markings, 2516108 edges, 3920 markings/sec, 185 secs
lola: 764625 markings, 2577837 edges, 3937 markings/sec, 190 secs
lola: 784399 markings, 2637187 edges, 3955 markings/sec, 195 secs
lola: 803841 markings, 2700292 edges, 3888 markings/sec, 200 secs
lola: 823466 markings, 2762436 edges, 3925 markings/sec, 205 secs
lola: 842962 markings, 2825883 edges, 3899 markings/sec, 210 secs
lola: 862447 markings, 2894138 edges, 3897 markings/sec, 215 secs
lola: 882141 markings, 2956868 edges, 3939 markings/sec, 220 secs
lola: 901618 markings, 3020131 edges, 3895 markings/sec, 225 secs
lola: 921215 markings, 3084075 edges, 3919 markings/sec, 230 secs
lola: 940893 markings, 3146102 edges, 3936 markings/sec, 235 secs
lola: 960321 markings, 3213925 edges, 3886 markings/sec, 240 secs
lola: 979898 markings, 3278307 edges, 3915 markings/sec, 245 secs
lola: 999655 markings, 3342748 edges, 3951 markings/sec, 250 secs
lola: 1019309 markings, 3406691 edges, 3931 markings/sec, 255 secs
lola: 1038816 markings, 3473065 edges, 3901 markings/sec, 260 secs
lola: 1057957 markings, 3536968 edges, 3828 markings/sec, 265 secs
lola: 1075679 markings, 3597865 edges, 3544 markings/sec, 270 secs
lola: 1092623 markings, 3658809 edges, 3389 markings/sec, 275 secs
lola: 1109579 markings, 3717059 edges, 3391 markings/sec, 280 secs
lola: 1126582 markings, 3771421 edges, 3401 markings/sec, 285 secs
lola: 1143852 markings, 3828569 edges, 3454 markings/sec, 290 secs
lola: 1161893 markings, 3889283 edges, 3608 markings/sec, 295 secs
lola: 1179793 markings, 3948059 edges, 3580 markings/sec, 300 secs
lola: 1198147 markings, 4006088 edges, 3671 markings/sec, 305 secs
lola: 1217323 markings, 4070057 edges, 3835 markings/sec, 310 secs
lola: 1236424 markings, 4134365 edges, 3820 markings/sec, 315 secs
lola: 1255357 markings, 4198195 edges, 3787 markings/sec, 320 secs
lola: 1274010 markings, 4263153 edges, 3731 markings/sec, 325 secs
lola: 1292731 markings, 4323185 edges, 3744 markings/sec, 330 secs
lola: 1311643 markings, 4387674 edges, 3782 markings/sec, 335 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown 10 10 unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown 10 10 unknown unknown unknown
lola: memory consumption: 428808 KB
lola: time consumption: 3225 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 345 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__21_19_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__21_19_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D30N010-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: 17841 markings, 58687 edges, 3568 markings/sec, 0 secs
lola: 37218 markings, 122216 edges, 3875 markings/sec, 5 secs
lola: 56598 markings, 185548 edges, 3876 markings/sec, 10 secs
lola: 75975 markings, 248460 edges, 3875 markings/sec, 15 secs
lola: 95322 markings, 312833 edges, 3869 markings/sec, 20 secs
lola: 114726 markings, 373873 edges, 3881 markings/sec, 25 secs
lola: 133976 markings, 435905 edges, 3850 markings/sec, 30 secs
lola: 153316 markings, 496844 edges, 3868 markings/sec, 35 secs
lola: 172550 markings, 559960 edges, 3847 markings/sec, 40 secs
lola: 191770 markings, 623124 edges, 3844 markings/sec, 45 secs
lola: 211098 markings, 685095 edges, 3866 markings/sec, 50 secs
lola: 230496 markings, 746987 edges, 3880 markings/sec, 55 secs
lola: 249838 markings, 810215 edges, 3868 markings/sec, 60 secs
lola: 269215 markings, 872829 edges, 3875 markings/sec, 65 secs
lola: 288520 markings, 937574 edges, 3861 markings/sec, 70 secs
lola: 307774 markings, 1002519 edges, 3851 markings/sec, 75 secs
lola: 326892 markings, 1068207 edges, 3824 markings/sec, 80 secs
lola: 346118 markings, 1130142 edges, 3845 markings/sec, 85 secs
lola: 365474 markings, 1193188 edges, 3871 markings/sec, 90 secs
lola: 384692 markings, 1256734 edges, 3844 markings/sec, 95 secs
lola: 403957 markings, 1319894 edges, 3853 markings/sec, 100 secs
lola: 423067 markings, 1385874 edges, 3822 markings/sec, 105 secs
lola: 442279 markings, 1448032 edges, 3842 markings/sec, 110 secs
lola: 461420 markings, 1512178 edges, 3828 markings/sec, 115 secs
lola: 480616 markings, 1575680 edges, 3839 markings/sec, 120 secs
lola: 499840 markings, 1638471 edges, 3845 markings/sec, 125 secs
lola: 519033 markings, 1703476 edges, 3839 markings/sec, 130 secs
lola: 538287 markings, 1765519 edges, 3851 markings/sec, 135 secs
lola: 557513 markings, 1828910 edges, 3845 markings/sec, 140 secs
lola: 576618 markings, 1893665 edges, 3821 markings/sec, 145 secs
lola: 595712 markings, 1959104 edges, 3819 markings/sec, 150 secs
lola: 614823 markings, 2020205 edges, 3822 markings/sec, 155 secs
lola: 634004 markings, 2083191 edges, 3836 markings/sec, 160 secs
lola: 653206 markings, 2145234 edges, 3840 markings/sec, 165 secs
lola: 672409 markings, 2208473 edges, 3841 markings/sec, 170 secs
lola: 691602 markings, 2272253 edges, 3839 markings/sec, 175 secs
lola: 710718 markings, 2335390 edges, 3823 markings/sec, 180 secs
lola: 730068 markings, 2396303 edges, 3870 markings/sec, 185 secs
lola: 749442 markings, 2460078 edges, 3875 markings/sec, 190 secs
lola: 768712 markings, 2523794 edges, 3854 markings/sec, 195 secs
lola: 787998 markings, 2587659 edges, 3857 markings/sec, 200 secs
lola: 807198 markings, 2650621 edges, 3840 markings/sec, 205 secs
lola: 826212 markings, 2719122 edges, 3803 markings/sec, 210 secs
lola: 845269 markings, 2783340 edges, 3811 markings/sec, 215 secs
lola: 864408 markings, 2848771 edges, 3828 markings/sec, 220 secs
lola: 883573 markings, 2913253 edges, 3833 markings/sec, 225 secs
lola: 902870 markings, 2976556 edges, 3859 markings/sec, 230 secs
lola: 922162 markings, 3041778 edges, 3858 markings/sec, 235 secs
lola: 941454 markings, 3107046 edges, 3858 markings/sec, 240 secs
lola: 960774 markings, 3168691 edges, 3864 markings/sec, 245 secs
lola: 980052 markings, 3228780 edges, 3856 markings/sec, 250 secs
lola: 999353 markings, 3290623 edges, 3860 markings/sec, 255 secs
lola: 1018592 markings, 3352625 edges, 3848 markings/sec, 260 secs
lola: 1037776 markings, 3415598 edges, 3837 markings/sec, 265 secs
lola: 1057015 markings, 3477795 edges, 3848 markings/sec, 270 secs
lola: 1076104 markings, 3540590 edges, 3818 markings/sec, 275 secs
lola: 1095336 markings, 3604316 edges, 3846 markings/sec, 280 secs
lola: 1114554 markings, 3667468 edges, 3844 markings/sec, 285 secs
lola: 1133705 markings, 3732524 edges, 3830 markings/sec, 290 secs
lola: 1152938 markings, 3794764 edges, 3847 markings/sec, 295 secs
lola: 1172207 markings, 3856987 edges, 3854 markings/sec, 300 secs
lola: 1191504 markings, 3918688 edges, 3859 markings/sec, 305 secs
lola: 1210708 markings, 3978351 edges, 3841 markings/sec, 310 secs
lola: 1229876 markings, 4039656 edges, 3834 markings/sec, 315 secs
lola: 1248954 markings, 4104029 edges, 3816 markings/sec, 320 secs
lola: 1268214 markings, 4164270 edges, 3852 markings/sec, 325 secs
lola: 1287536 markings, 4226005 edges, 3864 markings/sec, 330 secs
lola: 1306761 markings, 4289811 edges, 3845 markings/sec, 335 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown 10 10 unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown 10 10 unknown unknown unknown
lola: memory consumption: 409460 KB
lola: time consumption: 3570 seconds
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__29_26_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__29_26_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D30N010-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown 10 10 unknown unknown unknown
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown 10 10 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 10 10 unknown unknown unknown
lola: memory consumption: 28400 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 10 10 unknown unknown unknown
lola: memory consumption: 28400 KB
lola: time consumption: 3570 seconds

BK_STOP 1526687364873

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