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 17K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.5K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 20K 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 12K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 11K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.9K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 23K 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 2.6K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 11K 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-D30N100, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r076-blw3-152649937000247
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1526687635961

info: Time: 3600 - MCC
===========================================================================================
prep: translating Diffusion2D-PT-D30N100 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating Diffusion2D-PT-D30N100 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ Diffusion2D-PT-D30N100 @ 3569 seconds
lola: LoLA will run for 3569 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 7744/65536 symbol table entries, 1051 collisions
lola: preprocessing...
lola: Size of bit vector: 28800
lola: finding significant places
lola: 900 places, 6844 transitions, 899 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 900 transition conflict sets
lola: TASK
lola: reading formula from Diffusion2D-PT-D30N100-UpperBounds.task
lola: MAX(cAMP__2_28_) : MAX(cAMP__15_1_) : MAX(cAMP__6_28_) : MAX(cAMP__16_14_) : MAX(cAMP__7_12_) : MAX(cAMP__25_5_) : MAX(cAMP__22_6_) : MAX(cAMP__27_11_) : MAX(cAMP__23_13_) : MAX(cAMP__11_21_) : MAX(cAMP__16_24_) : MAX(cAMP__7_20_) : MAX(cAMP__27_5_) : MAX(cAMP__10_27_) : MAX(cAMP__30_29_) : MAX(cAMP__28_3_)
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__2_28_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__2_28_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D30N100-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: 100
lola: 16022 markings, 52837 edges, 3204 markings/sec, 0 secs
lola: 35443 markings, 119943 edges, 3884 markings/sec, 5 secs
lola: 54791 markings, 187924 edges, 3870 markings/sec, 10 secs
lola: 74378 markings, 255221 edges, 3917 markings/sec, 15 secs
lola: 93913 markings, 322889 edges, 3907 markings/sec, 20 secs
lola: 113206 markings, 395608 edges, 3859 markings/sec, 25 secs
lola: 132640 markings, 465247 edges, 3887 markings/sec, 30 secs
lola: 152110 markings, 534835 edges, 3894 markings/sec, 35 secs
lola: 171615 markings, 604367 edges, 3901 markings/sec, 40 secs
lola: 191120 markings, 673488 edges, 3901 markings/sec, 45 secs
lola: 210736 markings, 741922 edges, 3923 markings/sec, 50 secs
lola: 230342 markings, 810177 edges, 3921 markings/sec, 55 secs
lola: 249818 markings, 879588 edges, 3895 markings/sec, 60 secs
lola: 269470 markings, 948491 edges, 3930 markings/sec, 65 secs
lola: 289093 markings, 1017899 edges, 3925 markings/sec, 70 secs
lola: 308651 markings, 1088787 edges, 3912 markings/sec, 75 secs
lola: 328186 markings, 1159593 edges, 3907 markings/sec, 80 secs
lola: 347847 markings, 1230113 edges, 3932 markings/sec, 85 secs
lola: 366879 markings, 1299086 edges, 3806 markings/sec, 90 secs
lola: 386414 markings, 1367258 edges, 3907 markings/sec, 95 secs
lola: 406005 markings, 1436990 edges, 3918 markings/sec, 100 secs
lola: 425777 markings, 1508389 edges, 3954 markings/sec, 105 secs
lola: 445196 markings, 1578684 edges, 3884 markings/sec, 110 secs
lola: 464670 markings, 1647492 edges, 3895 markings/sec, 115 secs
lola: 484063 markings, 1718503 edges, 3879 markings/sec, 120 secs
lola: 503728 markings, 1787272 edges, 3933 markings/sec, 125 secs
lola: 523354 markings, 1857309 edges, 3925 markings/sec, 130 secs
lola: 542902 markings, 1928143 edges, 3910 markings/sec, 135 secs
lola: 562524 markings, 1999351 edges, 3924 markings/sec, 140 secs
lola: 582580 markings, 2069936 edges, 4011 markings/sec, 145 secs
lola: 602120 markings, 2140852 edges, 3908 markings/sec, 150 secs
lola: 621663 markings, 2210092 edges, 3909 markings/sec, 155 secs
lola: 641191 markings, 2279030 edges, 3906 markings/sec, 160 secs
lola: 660739 markings, 2348373 edges, 3910 markings/sec, 165 secs
lola: 680221 markings, 2417844 edges, 3896 markings/sec, 170 secs
lola: 699644 markings, 2487860 edges, 3885 markings/sec, 175 secs
lola: 718938 markings, 2561809 edges, 3859 markings/sec, 180 secs
lola: 738465 markings, 2631076 edges, 3905 markings/sec, 185 secs
lola: 757963 markings, 2701458 edges, 3900 markings/sec, 190 secs
lola: 777327 markings, 2771504 edges, 3873 markings/sec, 195 secs
lola: 796557 markings, 2841293 edges, 3846 markings/sec, 200 secs
lola: 815946 markings, 2909207 edges, 3878 markings/sec, 205 secs
lola: 835252 markings, 2979398 edges, 3861 markings/sec, 210 secs
lola: 854512 markings, 3051508 edges, 3852 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: 260420 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__15_1_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__15_1_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D30N100-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: 100
lola: 17576 markings, 61883 edges, 3515 markings/sec, 0 secs
lola: 36687 markings, 129257 edges, 3822 markings/sec, 5 secs
lola: 55738 markings, 198038 edges, 3810 markings/sec, 10 secs
lola: 74750 markings, 266570 edges, 3802 markings/sec, 15 secs
lola: 93712 markings, 334290 edges, 3792 markings/sec, 20 secs
lola: 112827 markings, 397249 edges, 3823 markings/sec, 25 secs
lola: 132005 markings, 463436 edges, 3836 markings/sec, 30 secs
lola: 151240 markings, 526828 edges, 3847 markings/sec, 35 secs
lola: 170446 markings, 591508 edges, 3841 markings/sec, 40 secs
lola: 189561 markings, 657456 edges, 3823 markings/sec, 45 secs
lola: 208684 markings, 722805 edges, 3825 markings/sec, 50 secs
lola: 227728 markings, 791898 edges, 3809 markings/sec, 55 secs
lola: 246506 markings, 860682 edges, 3756 markings/sec, 60 secs
lola: 265694 markings, 924138 edges, 3838 markings/sec, 65 secs
lola: 284848 markings, 989904 edges, 3831 markings/sec, 70 secs
lola: 304094 markings, 1052558 edges, 3849 markings/sec, 75 secs
lola: 322862 markings, 1116072 edges, 3754 markings/sec, 80 secs
lola: 341601 markings, 1183667 edges, 3748 markings/sec, 85 secs
lola: 358776 markings, 1241038 edges, 3435 markings/sec, 90 secs
lola: 375925 markings, 1297126 edges, 3430 markings/sec, 95 secs
lola: 392990 markings, 1357224 edges, 3413 markings/sec, 100 secs
lola: 409977 markings, 1418549 edges, 3397 markings/sec, 105 secs
lola: 428758 markings, 1485622 edges, 3756 markings/sec, 110 secs
lola: 446615 markings, 1546045 edges, 3571 markings/sec, 115 secs
lola: 464505 markings, 1605979 edges, 3578 markings/sec, 120 secs
lola: 483367 markings, 1670371 edges, 3772 markings/sec, 125 secs
lola: 502552 markings, 1733510 edges, 3837 markings/sec, 130 secs
lola: 521812 markings, 1793284 edges, 3852 markings/sec, 135 secs
lola: 541119 markings, 1856554 edges, 3861 markings/sec, 140 secs
lola: 560340 markings, 1920525 edges, 3844 markings/sec, 145 secs
lola: 579474 markings, 1985401 edges, 3827 markings/sec, 150 secs
lola: 598506 markings, 2050173 edges, 3806 markings/sec, 155 secs
lola: 617676 markings, 2114891 edges, 3834 markings/sec, 160 secs
lola: 636950 markings, 2176780 edges, 3855 markings/sec, 165 secs
lola: 656168 markings, 2241826 edges, 3844 markings/sec, 170 secs
lola: 675312 markings, 2308704 edges, 3829 markings/sec, 175 secs
lola: 694588 markings, 2372279 edges, 3855 markings/sec, 180 secs
lola: 713888 markings, 2435708 edges, 3860 markings/sec, 185 secs
lola: 733179 markings, 2498306 edges, 3858 markings/sec, 190 secs
lola: 752369 markings, 2562547 edges, 3838 markings/sec, 195 secs
lola: 771692 markings, 2625028 edges, 3865 markings/sec, 200 secs
lola: 790916 markings, 2690425 edges, 3845 markings/sec, 205 secs
lola: 810103 markings, 2754972 edges, 3837 markings/sec, 210 secs
lola: 829277 markings, 2819574 edges, 3835 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: 266228 KB
lola: time consumption: 447 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__6_28_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__6_28_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D30N100-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: 100
lola: 17750 markings, 61250 edges, 3550 markings/sec, 0 secs
lola: 37097 markings, 130941 edges, 3869 markings/sec, 5 secs
lola: 56495 markings, 199479 edges, 3880 markings/sec, 10 secs
lola: 75882 markings, 267408 edges, 3877 markings/sec, 15 secs
lola: 95210 markings, 336252 edges, 3866 markings/sec, 20 secs
lola: 114528 markings, 404264 edges, 3864 markings/sec, 25 secs
lola: 133696 markings, 477151 edges, 3834 markings/sec, 30 secs
lola: 153076 markings, 544466 edges, 3876 markings/sec, 35 secs
lola: 172008 markings, 617100 edges, 3786 markings/sec, 40 secs
lola: 191234 markings, 689062 edges, 3845 markings/sec, 45 secs
lola: 210589 markings, 755836 edges, 3871 markings/sec, 50 secs
lola: 229884 markings, 824676 edges, 3859 markings/sec, 55 secs
lola: 249125 markings, 896322 edges, 3848 markings/sec, 60 secs
lola: 268418 markings, 965522 edges, 3859 markings/sec, 65 secs
lola: 287812 markings, 1034376 edges, 3879 markings/sec, 70 secs
lola: 307248 markings, 1102961 edges, 3887 markings/sec, 75 secs
lola: 326570 markings, 1173216 edges, 3864 markings/sec, 80 secs
lola: 345833 markings, 1241785 edges, 3853 markings/sec, 85 secs
lola: 365164 markings, 1310855 edges, 3866 markings/sec, 90 secs
lola: 384450 markings, 1378194 edges, 3857 markings/sec, 95 secs
lola: 403713 markings, 1446695 edges, 3853 markings/sec, 100 secs
lola: 423070 markings, 1514105 edges, 3871 markings/sec, 105 secs
lola: 442292 markings, 1581780 edges, 3844 markings/sec, 110 secs
lola: 461517 markings, 1650734 edges, 3845 markings/sec, 115 secs
lola: 480724 markings, 1719870 edges, 3841 markings/sec, 120 secs
lola: 499656 markings, 1788175 edges, 3786 markings/sec, 125 secs
lola: 518911 markings, 1857305 edges, 3851 markings/sec, 130 secs
lola: 538327 markings, 1925726 edges, 3883 markings/sec, 135 secs
lola: 557704 markings, 1994275 edges, 3875 markings/sec, 140 secs
lola: 577010 markings, 2063101 edges, 3861 markings/sec, 145 secs
lola: 596340 markings, 2132513 edges, 3866 markings/sec, 150 secs
lola: 615669 markings, 2200349 edges, 3866 markings/sec, 155 secs
lola: 634912 markings, 2267171 edges, 3849 markings/sec, 160 secs
lola: 653936 markings, 2335948 edges, 3805 markings/sec, 165 secs
lola: 672990 markings, 2407597 edges, 3811 markings/sec, 170 secs
lola: 692279 markings, 2476939 edges, 3858 markings/sec, 175 secs
lola: 711746 markings, 2544540 edges, 3893 markings/sec, 180 secs
lola: 731016 markings, 2612636 edges, 3854 markings/sec, 185 secs
lola: 749936 markings, 2681706 edges, 3784 markings/sec, 190 secs
lola: 769087 markings, 2753019 edges, 3830 markings/sec, 195 secs
lola: 788426 markings, 2822475 edges, 3868 markings/sec, 200 secs
lola: 807828 markings, 2890412 edges, 3880 markings/sec, 205 secs
lola: 827133 markings, 2960342 edges, 3861 markings/sec, 210 secs
lola: 846405 markings, 3028397 edges, 3854 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 284852 KB
lola: time consumption: 670 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__16_14_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__16_14_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D30N100-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: 100
lola: SUBRESULT
lola: result: 100
lola: produced by: state space
lola: The maximum value of the given expression is 100
lola: 201 markings, 200 edges
lola: ========================================

FORMULA Diffusion2D-PT-D30N100-UpperBounds-3 100 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 241 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__7_12_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__7_12_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D30N100-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: 100
lola: 17343 markings, 61458 edges, 3469 markings/sec, 0 secs
lola: 36595 markings, 133164 edges, 3850 markings/sec, 5 secs
lola: 56050 markings, 202816 edges, 3891 markings/sec, 10 secs
lola: 75623 markings, 266586 edges, 3915 markings/sec, 15 secs
lola: 95001 markings, 334824 edges, 3876 markings/sec, 20 secs
lola: 114297 markings, 400516 edges, 3859 markings/sec, 25 secs
lola: 133866 markings, 466806 edges, 3914 markings/sec, 30 secs
lola: 153325 markings, 536557 edges, 3892 markings/sec, 35 secs
lola: 172860 markings, 604488 edges, 3907 markings/sec, 40 secs
lola: 192361 markings, 673614 edges, 3900 markings/sec, 45 secs
lola: 211874 markings, 742604 edges, 3903 markings/sec, 50 secs
lola: 231285 markings, 811828 edges, 3882 markings/sec, 55 secs
lola: 250813 markings, 878493 edges, 3906 markings/sec, 60 secs
lola: 270436 markings, 942806 edges, 3925 markings/sec, 65 secs
lola: 289990 markings, 1010109 edges, 3911 markings/sec, 70 secs
lola: 309662 markings, 1076144 edges, 3934 markings/sec, 75 secs
lola: 329212 markings, 1140065 edges, 3910 markings/sec, 80 secs
lola: 348679 markings, 1206479 edges, 3893 markings/sec, 85 secs
lola: 368138 markings, 1274228 edges, 3892 markings/sec, 90 secs
lola: 387709 markings, 1339334 edges, 3914 markings/sec, 95 secs
lola: 407144 markings, 1406844 edges, 3887 markings/sec, 100 secs
lola: 426582 markings, 1472578 edges, 3888 markings/sec, 105 secs
lola: 446051 markings, 1537787 edges, 3894 markings/sec, 110 secs
lola: 465493 markings, 1603711 edges, 3888 markings/sec, 115 secs
lola: 484933 markings, 1668759 edges, 3888 markings/sec, 120 secs
lola: 504332 markings, 1733237 edges, 3880 markings/sec, 125 secs
lola: 523851 markings, 1800439 edges, 3904 markings/sec, 130 secs
lola: 543331 markings, 1867380 edges, 3896 markings/sec, 135 secs
lola: 562827 markings, 1931976 edges, 3899 markings/sec, 140 secs
lola: 581949 markings, 1998680 edges, 3824 markings/sec, 145 secs
lola: 601374 markings, 2064669 edges, 3885 markings/sec, 150 secs
lola: 620681 markings, 2130284 edges, 3861 markings/sec, 155 secs
lola: 640067 markings, 2198097 edges, 3877 markings/sec, 160 secs
lola: 659683 markings, 2263904 edges, 3923 markings/sec, 165 secs
lola: 679338 markings, 2328470 edges, 3931 markings/sec, 170 secs
lola: 698880 markings, 2395343 edges, 3908 markings/sec, 175 secs
lola: 718541 markings, 2460179 edges, 3932 markings/sec, 180 secs
lola: 738177 markings, 2524479 edges, 3927 markings/sec, 185 secs
lola: 757800 markings, 2589291 edges, 3925 markings/sec, 190 secs
lola: 777419 markings, 2654438 edges, 3924 markings/sec, 195 secs
lola: 797058 markings, 2718305 edges, 3928 markings/sec, 200 secs
lola: 816623 markings, 2784370 edges, 3913 markings/sec, 205 secs
lola: 836184 markings, 2850885 edges, 3912 markings/sec, 210 secs
lola: 855752 markings, 2917034 edges, 3914 markings/sec, 215 secs
lola: 875308 markings, 2981654 edges, 3911 markings/sec, 220 secs
lola: 894854 markings, 3048422 edges, 3909 markings/sec, 225 secs
lola: 914521 markings, 3113133 edges, 3933 markings/sec, 230 secs
lola: 934035 markings, 3182279 edges, 3903 markings/sec, 235 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown 100 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 289688 KB
lola: time consumption: 912 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 241 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__25_5_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__25_5_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D30N100-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: 100
lola: 18134 markings, 58684 edges, 3627 markings/sec, 0 secs
lola: 37820 markings, 123702 edges, 3937 markings/sec, 5 secs
lola: 57498 markings, 187270 edges, 3936 markings/sec, 10 secs
lola: 77133 markings, 252359 edges, 3927 markings/sec, 15 secs
lola: 96737 markings, 315315 edges, 3921 markings/sec, 20 secs
lola: 116291 markings, 380294 edges, 3911 markings/sec, 25 secs
lola: 135897 markings, 444354 edges, 3921 markings/sec, 30 secs
lola: 155501 markings, 508655 edges, 3921 markings/sec, 35 secs
lola: 175039 markings, 573523 edges, 3908 markings/sec, 40 secs
lola: 194709 markings, 636486 edges, 3934 markings/sec, 45 secs
lola: 214283 markings, 701541 edges, 3915 markings/sec, 50 secs
lola: 233925 markings, 765386 edges, 3928 markings/sec, 55 secs
lola: 253665 markings, 828277 edges, 3948 markings/sec, 60 secs
lola: 273301 markings, 893709 edges, 3927 markings/sec, 65 secs
lola: 293016 markings, 957676 edges, 3943 markings/sec, 70 secs
lola: 312673 markings, 1021498 edges, 3931 markings/sec, 75 secs
lola: 332295 markings, 1085218 edges, 3924 markings/sec, 80 secs
lola: 351894 markings, 1149461 edges, 3920 markings/sec, 85 secs
lola: 371393 markings, 1213625 edges, 3900 markings/sec, 90 secs
lola: 390966 markings, 1276738 edges, 3915 markings/sec, 95 secs
lola: 410614 markings, 1339812 edges, 3930 markings/sec, 100 secs
lola: 430196 markings, 1403606 edges, 3916 markings/sec, 105 secs
lola: 449774 markings, 1467455 edges, 3916 markings/sec, 110 secs
lola: 469342 markings, 1531926 edges, 3914 markings/sec, 115 secs
lola: 488916 markings, 1595516 edges, 3915 markings/sec, 120 secs
lola: 508528 markings, 1658059 edges, 3922 markings/sec, 125 secs
lola: 528003 markings, 1723274 edges, 3895 markings/sec, 130 secs
lola: 547593 markings, 1786331 edges, 3918 markings/sec, 135 secs
lola: 567163 markings, 1850327 edges, 3914 markings/sec, 140 secs
lola: 586773 markings, 1913734 edges, 3922 markings/sec, 145 secs
lola: 606318 markings, 1978168 edges, 3909 markings/sec, 150 secs
lola: 625798 markings, 2045281 edges, 3896 markings/sec, 155 secs
lola: 645424 markings, 2108193 edges, 3925 markings/sec, 160 secs
lola: 665022 markings, 2171235 edges, 3920 markings/sec, 165 secs
lola: 684562 markings, 2234454 edges, 3908 markings/sec, 170 secs
lola: 704049 markings, 2299992 edges, 3897 markings/sec, 175 secs
lola: 723494 markings, 2366828 edges, 3889 markings/sec, 180 secs
lola: 742906 markings, 2434606 edges, 3882 markings/sec, 185 secs
lola: 762361 markings, 2500784 edges, 3891 markings/sec, 190 secs
lola: 781794 markings, 2568402 edges, 3887 markings/sec, 195 secs
lola: 801373 markings, 2632821 edges, 3916 markings/sec, 200 secs
lola: 820921 markings, 2697367 edges, 3910 markings/sec, 205 secs
lola: 840478 markings, 2761263 edges, 3911 markings/sec, 210 secs
lola: 859972 markings, 2824611 edges, 3899 markings/sec, 215 secs
lola: 879526 markings, 2887738 edges, 3911 markings/sec, 220 secs
lola: 899090 markings, 2951476 edges, 3913 markings/sec, 225 secs
lola: 918620 markings, 3015035 edges, 3906 markings/sec, 230 secs
lola: 938049 markings, 3078525 edges, 3886 markings/sec, 235 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown 100 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 309348 KB
lola: time consumption: 1153 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 241 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__22_6_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__22_6_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D30N100-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: 100
lola: 18009 markings, 59607 edges, 3602 markings/sec, 0 secs
lola: 37520 markings, 123114 edges, 3902 markings/sec, 5 secs
lola: 57076 markings, 185629 edges, 3911 markings/sec, 10 secs
lola: 76617 markings, 246675 edges, 3908 markings/sec, 15 secs
lola: 96088 markings, 309059 edges, 3894 markings/sec, 20 secs
lola: 115418 markings, 373193 edges, 3866 markings/sec, 25 secs
lola: 134771 markings, 435865 edges, 3871 markings/sec, 30 secs
lola: 154135 markings, 498156 edges, 3873 markings/sec, 35 secs
lola: 173476 markings, 560700 edges, 3868 markings/sec, 40 secs
lola: 192942 markings, 621922 edges, 3893 markings/sec, 45 secs
lola: 212504 markings, 682470 edges, 3912 markings/sec, 50 secs
lola: 232005 markings, 744534 edges, 3900 markings/sec, 55 secs
lola: 251510 markings, 807065 edges, 3901 markings/sec, 60 secs
lola: 271022 markings, 868616 edges, 3902 markings/sec, 65 secs
lola: 290353 markings, 930053 edges, 3866 markings/sec, 70 secs
lola: 309830 markings, 993258 edges, 3895 markings/sec, 75 secs
lola: 329285 markings, 1054884 edges, 3891 markings/sec, 80 secs
lola: 348685 markings, 1120870 edges, 3880 markings/sec, 85 secs
lola: 368062 markings, 1186363 edges, 3875 markings/sec, 90 secs
lola: 387461 markings, 1249809 edges, 3880 markings/sec, 95 secs
lola: 406648 markings, 1315384 edges, 3837 markings/sec, 100 secs
lola: 425982 markings, 1378909 edges, 3867 markings/sec, 105 secs
lola: 445363 markings, 1442057 edges, 3876 markings/sec, 110 secs
lola: 464828 markings, 1506076 edges, 3893 markings/sec, 115 secs
lola: 484113 markings, 1572842 edges, 3857 markings/sec, 120 secs
lola: 503426 markings, 1634814 edges, 3863 markings/sec, 125 secs
lola: 522543 markings, 1700399 edges, 3823 markings/sec, 130 secs
lola: 541966 markings, 1762904 edges, 3885 markings/sec, 135 secs
lola: 561474 markings, 1825541 edges, 3902 markings/sec, 140 secs
lola: 580914 markings, 1888631 edges, 3888 markings/sec, 145 secs
lola: 600345 markings, 1952069 edges, 3886 markings/sec, 150 secs
lola: 619798 markings, 2014591 edges, 3891 markings/sec, 155 secs
lola: 639275 markings, 2077673 edges, 3895 markings/sec, 160 secs
lola: 658774 markings, 2138632 edges, 3900 markings/sec, 165 secs
lola: 678241 markings, 2200420 edges, 3893 markings/sec, 170 secs
lola: 697677 markings, 2263656 edges, 3887 markings/sec, 175 secs
lola: 716988 markings, 2327102 edges, 3862 markings/sec, 180 secs
lola: 736431 markings, 2387833 edges, 3889 markings/sec, 185 secs
lola: 755845 markings, 2449415 edges, 3883 markings/sec, 190 secs
lola: 775312 markings, 2509426 edges, 3893 markings/sec, 195 secs
lola: 794875 markings, 2568503 edges, 3913 markings/sec, 200 secs
lola: 814326 markings, 2628726 edges, 3890 markings/sec, 205 secs
lola: 833898 markings, 2687112 edges, 3914 markings/sec, 210 secs
lola: 853444 markings, 2747596 edges, 3909 markings/sec, 215 secs
lola: 872809 markings, 2810146 edges, 3873 markings/sec, 220 secs
lola: 892310 markings, 2870497 edges, 3900 markings/sec, 225 secs
lola: 911816 markings, 2927906 edges, 3901 markings/sec, 230 secs
lola: 931365 markings, 2986388 edges, 3910 markings/sec, 235 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown 100 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 321656 KB
lola: time consumption: 1394 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 241 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__27_11_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__27_11_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D30N100-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: 100
lola: 17879 markings, 66328 edges, 3576 markings/sec, 0 secs
lola: 37197 markings, 138918 edges, 3864 markings/sec, 5 secs
lola: 56566 markings, 212146 edges, 3874 markings/sec, 10 secs
lola: 75871 markings, 285353 edges, 3861 markings/sec, 15 secs
lola: 95176 markings, 358704 edges, 3861 markings/sec, 20 secs
lola: 114451 markings, 431928 edges, 3855 markings/sec, 25 secs
lola: 133933 markings, 499687 edges, 3896 markings/sec, 30 secs
lola: 153252 markings, 571229 edges, 3864 markings/sec, 35 secs
lola: 172453 markings, 640518 edges, 3840 markings/sec, 40 secs
lola: 191799 markings, 711691 edges, 3869 markings/sec, 45 secs
lola: 211405 markings, 779329 edges, 3921 markings/sec, 50 secs
lola: 230967 markings, 846891 edges, 3912 markings/sec, 55 secs
lola: 250351 markings, 918258 edges, 3877 markings/sec, 60 secs
lola: 269694 markings, 985706 edges, 3869 markings/sec, 65 secs
lola: 289079 markings, 1056359 edges, 3877 markings/sec, 70 secs
lola: 308429 markings, 1125903 edges, 3870 markings/sec, 75 secs
lola: 327865 markings, 1195681 edges, 3887 markings/sec, 80 secs
lola: 347236 markings, 1267372 edges, 3874 markings/sec, 85 secs
lola: 366499 markings, 1340336 edges, 3853 markings/sec, 90 secs
lola: 386120 markings, 1407349 edges, 3924 markings/sec, 95 secs
lola: 405561 markings, 1476488 edges, 3888 markings/sec, 100 secs
lola: 424916 markings, 1548918 edges, 3871 markings/sec, 105 secs
lola: 444347 markings, 1618710 edges, 3886 markings/sec, 110 secs
lola: 463792 markings, 1686247 edges, 3889 markings/sec, 115 secs
lola: 483351 markings, 1751361 edges, 3912 markings/sec, 120 secs
lola: 502800 markings, 1818518 edges, 3890 markings/sec, 125 secs
lola: 522295 markings, 1884778 edges, 3899 markings/sec, 130 secs
lola: 541756 markings, 1951014 edges, 3892 markings/sec, 135 secs
lola: 561256 markings, 2017903 edges, 3900 markings/sec, 140 secs
lola: 580697 markings, 2083872 edges, 3888 markings/sec, 145 secs
lola: 600050 markings, 2150031 edges, 3871 markings/sec, 150 secs
lola: 619293 markings, 2218694 edges, 3849 markings/sec, 155 secs
lola: 638533 markings, 2289033 edges, 3848 markings/sec, 160 secs
lola: 658000 markings, 2357467 edges, 3893 markings/sec, 165 secs
lola: 677297 markings, 2426251 edges, 3859 markings/sec, 170 secs
lola: 696659 markings, 2494026 edges, 3872 markings/sec, 175 secs
lola: 716177 markings, 2561349 edges, 3904 markings/sec, 180 secs
lola: 735800 markings, 2626698 edges, 3925 markings/sec, 185 secs
lola: 755305 markings, 2693165 edges, 3901 markings/sec, 190 secs
lola: 774762 markings, 2760738 edges, 3891 markings/sec, 195 secs
lola: 794203 markings, 2827588 edges, 3888 markings/sec, 200 secs
lola: 813627 markings, 2896392 edges, 3885 markings/sec, 205 secs
lola: 832939 markings, 2965196 edges, 3862 markings/sec, 210 secs
lola: 852431 markings, 3032249 edges, 3898 markings/sec, 215 secs
lola: 871759 markings, 3100218 edges, 3866 markings/sec, 220 secs
lola: 891155 markings, 3169163 edges, 3879 markings/sec, 225 secs
lola: 910510 markings, 3237383 edges, 3871 markings/sec, 230 secs
lola: 929768 markings, 3309101 edges, 3852 markings/sec, 235 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown 100 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 307416 KB
lola: time consumption: 1635 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 241 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__23_13_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__23_13_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D30N100-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: 100
lola: 17818 markings, 57259 edges, 3564 markings/sec, 0 secs
lola: 37255 markings, 123754 edges, 3887 markings/sec, 5 secs
lola: 56827 markings, 185933 edges, 3914 markings/sec, 10 secs
lola: 76304 markings, 248441 edges, 3895 markings/sec, 15 secs
lola: 95848 markings, 311086 edges, 3909 markings/sec, 20 secs
lola: 115272 markings, 374170 edges, 3885 markings/sec, 25 secs
lola: 134691 markings, 438367 edges, 3884 markings/sec, 30 secs
lola: 154253 markings, 500401 edges, 3912 markings/sec, 35 secs
lola: 173880 markings, 561111 edges, 3925 markings/sec, 40 secs
lola: 193452 markings, 624519 edges, 3914 markings/sec, 45 secs
lola: 213043 markings, 686470 edges, 3918 markings/sec, 50 secs
lola: 232645 markings, 747970 edges, 3920 markings/sec, 55 secs
lola: 252145 markings, 812605 edges, 3900 markings/sec, 60 secs
lola: 271596 markings, 878897 edges, 3890 markings/sec, 65 secs
lola: 291263 markings, 940832 edges, 3933 markings/sec, 70 secs
lola: 310850 markings, 1004377 edges, 3917 markings/sec, 75 secs
lola: 330498 markings, 1065553 edges, 3930 markings/sec, 80 secs
lola: 350098 markings, 1127200 edges, 3920 markings/sec, 85 secs
lola: 369683 markings, 1190070 edges, 3917 markings/sec, 90 secs
lola: 389165 markings, 1255211 edges, 3896 markings/sec, 95 secs
lola: 408699 markings, 1318265 edges, 3907 markings/sec, 100 secs
lola: 428174 markings, 1381961 edges, 3895 markings/sec, 105 secs
lola: 447671 markings, 1445580 edges, 3899 markings/sec, 110 secs
lola: 467276 markings, 1507970 edges, 3921 markings/sec, 115 secs
lola: 486903 markings, 1568533 edges, 3925 markings/sec, 120 secs
lola: 506581 markings, 1630069 edges, 3936 markings/sec, 125 secs
lola: 526156 markings, 1691527 edges, 3915 markings/sec, 130 secs
lola: 545521 markings, 1757106 edges, 3873 markings/sec, 135 secs
lola: 565065 markings, 1819367 edges, 3909 markings/sec, 140 secs
lola: 584310 markings, 1880570 edges, 3849 markings/sec, 145 secs
lola: 603787 markings, 1942990 edges, 3895 markings/sec, 150 secs
lola: 623273 markings, 2004611 edges, 3897 markings/sec, 155 secs
lola: 642806 markings, 2067209 edges, 3907 markings/sec, 160 secs
lola: 662050 markings, 2132622 edges, 3849 markings/sec, 165 secs
lola: 681526 markings, 2195258 edges, 3895 markings/sec, 170 secs
lola: 701099 markings, 2257682 edges, 3915 markings/sec, 175 secs
lola: 720688 markings, 2318838 edges, 3918 markings/sec, 180 secs
lola: 740223 markings, 2381257 edges, 3907 markings/sec, 185 secs
lola: 759716 markings, 2446340 edges, 3899 markings/sec, 190 secs
lola: 779429 markings, 2508786 edges, 3943 markings/sec, 195 secs
lola: 798955 markings, 2570291 edges, 3905 markings/sec, 200 secs
lola: 818598 markings, 2631818 edges, 3929 markings/sec, 205 secs
lola: 838143 markings, 2696212 edges, 3909 markings/sec, 210 secs
lola: 857683 markings, 2760238 edges, 3908 markings/sec, 215 secs
lola: 877436 markings, 2821370 edges, 3951 markings/sec, 220 secs
lola: 897158 markings, 2883980 edges, 3944 markings/sec, 225 secs
lola: 916665 markings, 2945814 edges, 3901 markings/sec, 230 secs
lola: 935967 markings, 3011187 edges, 3860 markings/sec, 235 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown 100 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 291956 KB
lola: time consumption: 1876 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 241 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__11_21_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__11_21_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D30N100-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: 100
lola: 18080 markings, 62416 edges, 3616 markings/sec, 0 secs
lola: 37750 markings, 127228 edges, 3934 markings/sec, 5 secs
lola: 57397 markings, 193460 edges, 3929 markings/sec, 10 secs
lola: 77009 markings, 261049 edges, 3922 markings/sec, 15 secs
lola: 96559 markings, 329123 edges, 3910 markings/sec, 20 secs
lola: 115923 markings, 401714 edges, 3873 markings/sec, 25 secs
lola: 135534 markings, 468351 edges, 3922 markings/sec, 30 secs
lola: 155162 markings, 534773 edges, 3926 markings/sec, 35 secs
lola: 174781 markings, 600395 edges, 3924 markings/sec, 40 secs
lola: 194439 markings, 663569 edges, 3932 markings/sec, 45 secs
lola: 214063 markings, 727862 edges, 3925 markings/sec, 50 secs
lola: 233651 markings, 792666 edges, 3918 markings/sec, 55 secs
lola: 253209 markings, 858809 edges, 3912 markings/sec, 60 secs
lola: 272798 markings, 923839 edges, 3918 markings/sec, 65 secs
lola: 292441 markings, 987796 edges, 3929 markings/sec, 70 secs
lola: 312122 markings, 1051913 edges, 3936 markings/sec, 75 secs
lola: 331820 markings, 1115017 edges, 3940 markings/sec, 80 secs
lola: 351413 markings, 1181063 edges, 3919 markings/sec, 85 secs
lola: 370952 markings, 1247719 edges, 3908 markings/sec, 90 secs
lola: 390597 markings, 1312458 edges, 3929 markings/sec, 95 secs
lola: 410204 markings, 1378814 edges, 3921 markings/sec, 100 secs
lola: 429887 markings, 1444433 edges, 3937 markings/sec, 105 secs
lola: 449548 markings, 1509511 edges, 3932 markings/sec, 110 secs
lola: 469160 markings, 1576502 edges, 3922 markings/sec, 115 secs
lola: 488805 markings, 1640681 edges, 3929 markings/sec, 120 secs
lola: 508341 markings, 1704935 edges, 3907 markings/sec, 125 secs
lola: 527872 markings, 1770247 edges, 3906 markings/sec, 130 secs
lola: 547407 markings, 1836678 edges, 3907 markings/sec, 135 secs
lola: 567057 markings, 1902484 edges, 3930 markings/sec, 140 secs
lola: 586674 markings, 1967726 edges, 3923 markings/sec, 145 secs
lola: 606302 markings, 2033205 edges, 3926 markings/sec, 150 secs
lola: 625784 markings, 2102782 edges, 3896 markings/sec, 155 secs
lola: 645300 markings, 2172791 edges, 3903 markings/sec, 160 secs
lola: 664746 markings, 2241866 edges, 3889 markings/sec, 165 secs
lola: 684168 markings, 2314173 edges, 3884 markings/sec, 170 secs
lola: 703576 markings, 2382883 edges, 3882 markings/sec, 175 secs
lola: 722966 markings, 2452165 edges, 3878 markings/sec, 180 secs
lola: 742415 markings, 2520936 edges, 3890 markings/sec, 185 secs
lola: 762144 markings, 2586027 edges, 3946 markings/sec, 190 secs
lola: 781741 markings, 2651547 edges, 3919 markings/sec, 195 secs
lola: 801251 markings, 2720612 edges, 3902 markings/sec, 200 secs
lola: 820719 markings, 2791387 edges, 3894 markings/sec, 205 secs
lola: 840230 markings, 2859865 edges, 3902 markings/sec, 210 secs
lola: 859827 markings, 2926108 edges, 3919 markings/sec, 215 secs
lola: 879364 markings, 2993713 edges, 3907 markings/sec, 220 secs
lola: 898745 markings, 3063860 edges, 3876 markings/sec, 225 secs
lola: 918105 markings, 3135339 edges, 3872 markings/sec, 230 secs
lola: 937449 markings, 3206478 edges, 3869 markings/sec, 235 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown 100 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 300532 KB
lola: time consumption: 2117 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 242 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__16_24_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__16_24_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D30N100-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: 100
lola: 17881 markings, 60653 edges, 3576 markings/sec, 0 secs
lola: 37163 markings, 131599 edges, 3856 markings/sec, 5 secs
lola: 56455 markings, 202517 edges, 3858 markings/sec, 10 secs
lola: 75852 markings, 268656 edges, 3879 markings/sec, 15 secs
lola: 95312 markings, 333986 edges, 3892 markings/sec, 20 secs
lola: 114501 markings, 398853 edges, 3838 markings/sec, 25 secs
lola: 133489 markings, 463724 edges, 3798 markings/sec, 30 secs
lola: 152915 markings, 530117 edges, 3885 markings/sec, 35 secs
lola: 172414 markings, 594849 edges, 3900 markings/sec, 40 secs
lola: 191882 markings, 659573 edges, 3894 markings/sec, 45 secs
lola: 211348 markings, 725279 edges, 3893 markings/sec, 50 secs
lola: 230814 markings, 789780 edges, 3893 markings/sec, 55 secs
lola: 250146 markings, 856481 edges, 3866 markings/sec, 60 secs
lola: 269616 markings, 920902 edges, 3894 markings/sec, 65 secs
lola: 288862 markings, 991473 edges, 3849 markings/sec, 70 secs
lola: 308308 markings, 1056196 edges, 3889 markings/sec, 75 secs
lola: 327787 markings, 1120675 edges, 3896 markings/sec, 80 secs
lola: 347463 markings, 1187323 edges, 3935 markings/sec, 85 secs
lola: 366811 markings, 1253362 edges, 3870 markings/sec, 90 secs
lola: 386238 markings, 1316943 edges, 3885 markings/sec, 95 secs
lola: 405720 markings, 1381099 edges, 3896 markings/sec, 100 secs
lola: 425106 markings, 1447683 edges, 3877 markings/sec, 105 secs
lola: 444421 markings, 1514605 edges, 3863 markings/sec, 110 secs
lola: 463793 markings, 1580643 edges, 3874 markings/sec, 115 secs
lola: 483206 markings, 1645801 edges, 3883 markings/sec, 120 secs
lola: 502775 markings, 1712309 edges, 3914 markings/sec, 125 secs
lola: 522083 markings, 1780671 edges, 3862 markings/sec, 130 secs
lola: 541426 markings, 1845932 edges, 3869 markings/sec, 135 secs
lola: 560963 markings, 1908056 edges, 3907 markings/sec, 140 secs
lola: 580387 markings, 1972329 edges, 3885 markings/sec, 145 secs
lola: 599773 markings, 2037325 edges, 3877 markings/sec, 150 secs
lola: 619171 markings, 2102766 edges, 3880 markings/sec, 155 secs
lola: 638310 markings, 2174273 edges, 3828 markings/sec, 160 secs
lola: 657623 markings, 2242937 edges, 3863 markings/sec, 165 secs
lola: 676695 markings, 2316358 edges, 3814 markings/sec, 170 secs
lola: 696106 markings, 2382397 edges, 3882 markings/sec, 175 secs
lola: 715465 markings, 2447686 edges, 3872 markings/sec, 180 secs
lola: 734861 markings, 2511866 edges, 3879 markings/sec, 185 secs
lola: 754192 markings, 2577296 edges, 3866 markings/sec, 190 secs
lola: 773562 markings, 2641094 edges, 3874 markings/sec, 195 secs
lola: 792878 markings, 2705505 edges, 3863 markings/sec, 200 secs
lola: 812183 markings, 2770515 edges, 3861 markings/sec, 205 secs
lola: 831522 markings, 2834486 edges, 3868 markings/sec, 210 secs
lola: 850866 markings, 2898404 edges, 3869 markings/sec, 215 secs
lola: 870334 markings, 2963611 edges, 3894 markings/sec, 220 secs
lola: 889717 markings, 3027793 edges, 3877 markings/sec, 225 secs
lola: 909116 markings, 3092731 edges, 3880 markings/sec, 230 secs
lola: 928304 markings, 3157394 edges, 3838 markings/sec, 235 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown 100 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 330892 KB
lola: time consumption: 2359 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 242 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__7_20_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__7_20_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D30N100-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: 100
lola: 18006 markings, 62312 edges, 3601 markings/sec, 0 secs
lola: 37602 markings, 128765 edges, 3919 markings/sec, 5 secs
lola: 57020 markings, 198425 edges, 3884 markings/sec, 10 secs
lola: 76491 markings, 267636 edges, 3894 markings/sec, 15 secs
lola: 96008 markings, 331652 edges, 3903 markings/sec, 20 secs
lola: 115562 markings, 395248 edges, 3911 markings/sec, 25 secs
lola: 135033 markings, 459695 edges, 3894 markings/sec, 30 secs
lola: 154503 markings, 527875 edges, 3894 markings/sec, 35 secs
lola: 174146 markings, 590836 edges, 3929 markings/sec, 40 secs
lola: 193872 markings, 653583 edges, 3945 markings/sec, 45 secs
lola: 213409 markings, 719611 edges, 3907 markings/sec, 50 secs
lola: 232919 markings, 786921 edges, 3902 markings/sec, 55 secs
lola: 252484 markings, 851707 edges, 3913 markings/sec, 60 secs
lola: 272086 markings, 915170 edges, 3920 markings/sec, 65 secs
lola: 291535 markings, 981089 edges, 3890 markings/sec, 70 secs
lola: 311085 markings, 1047381 edges, 3910 markings/sec, 75 secs
lola: 330562 markings, 1116538 edges, 3895 markings/sec, 80 secs
lola: 349945 markings, 1185223 edges, 3877 markings/sec, 85 secs
lola: 369652 markings, 1249184 edges, 3941 markings/sec, 90 secs
lola: 389335 markings, 1313497 edges, 3937 markings/sec, 95 secs
lola: 408940 markings, 1380803 edges, 3921 markings/sec, 100 secs
lola: 428490 markings, 1445222 edges, 3910 markings/sec, 105 secs
lola: 447942 markings, 1510860 edges, 3890 markings/sec, 110 secs
lola: 467622 markings, 1573810 edges, 3936 markings/sec, 115 secs
lola: 487043 markings, 1640780 edges, 3884 markings/sec, 120 secs
lola: 506465 markings, 1708310 edges, 3884 markings/sec, 125 secs
lola: 525826 markings, 1776791 edges, 3872 markings/sec, 130 secs
lola: 545299 markings, 1842786 edges, 3895 markings/sec, 135 secs
lola: 564874 markings, 1905607 edges, 3915 markings/sec, 140 secs
lola: 584365 markings, 1969701 edges, 3898 markings/sec, 145 secs
lola: 603872 markings, 2034441 edges, 3901 markings/sec, 150 secs
lola: 623328 markings, 2098800 edges, 3891 markings/sec, 155 secs
lola: 642915 markings, 2162765 edges, 3917 markings/sec, 160 secs
lola: 662417 markings, 2226806 edges, 3900 markings/sec, 165 secs
lola: 681979 markings, 2291431 edges, 3912 markings/sec, 170 secs
lola: 701383 markings, 2356485 edges, 3881 markings/sec, 175 secs
lola: 720930 markings, 2419595 edges, 3909 markings/sec, 180 secs
lola: 740545 markings, 2481849 edges, 3923 markings/sec, 185 secs
lola: 760184 markings, 2545349 edges, 3928 markings/sec, 190 secs
lola: 779737 markings, 2609381 edges, 3911 markings/sec, 195 secs
lola: 799363 markings, 2673809 edges, 3925 markings/sec, 200 secs
lola: 818906 markings, 2735859 edges, 3909 markings/sec, 205 secs
lola: 838515 markings, 2800986 edges, 3922 markings/sec, 210 secs
lola: 858218 markings, 2862865 edges, 3941 markings/sec, 215 secs
lola: 877795 markings, 2927631 edges, 3915 markings/sec, 220 secs
lola: 897371 markings, 2991371 edges, 3915 markings/sec, 225 secs
lola: 916900 markings, 3057067 edges, 3906 markings/sec, 230 secs
lola: 936416 markings, 3122304 edges, 3903 markings/sec, 235 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown 100 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 301852 KB
lola: time consumption: 2601 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 242 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__27_5_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__27_5_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D30N100-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: 100
lola: 17947 markings, 59344 edges, 3589 markings/sec, 0 secs
lola: 37551 markings, 126106 edges, 3921 markings/sec, 5 secs
lola: 57093 markings, 193730 edges, 3908 markings/sec, 10 secs
lola: 76661 markings, 259473 edges, 3914 markings/sec, 15 secs
lola: 96307 markings, 323173 edges, 3929 markings/sec, 20 secs
lola: 115939 markings, 383920 edges, 3926 markings/sec, 25 secs
lola: 135511 markings, 448248 edges, 3914 markings/sec, 30 secs
lola: 155035 markings, 513645 edges, 3905 markings/sec, 35 secs
lola: 174639 markings, 576496 edges, 3921 markings/sec, 40 secs
lola: 194210 markings, 641810 edges, 3914 markings/sec, 45 secs
lola: 213800 markings, 708447 edges, 3918 markings/sec, 50 secs
lola: 233501 markings, 771330 edges, 3940 markings/sec, 55 secs
lola: 253218 markings, 834262 edges, 3943 markings/sec, 60 secs
lola: 272743 markings, 897525 edges, 3905 markings/sec, 65 secs
lola: 292396 markings, 959308 edges, 3931 markings/sec, 70 secs
lola: 311949 markings, 1023925 edges, 3911 markings/sec, 75 secs
lola: 331574 markings, 1087924 edges, 3925 markings/sec, 80 secs
lola: 351232 markings, 1148017 edges, 3932 markings/sec, 85 secs
lola: 370796 markings, 1212308 edges, 3913 markings/sec, 90 secs
lola: 390303 markings, 1278167 edges, 3901 markings/sec, 95 secs
lola: 409805 markings, 1343801 edges, 3900 markings/sec, 100 secs
lola: 429445 markings, 1404241 edges, 3928 markings/sec, 105 secs
lola: 449014 markings, 1468376 edges, 3914 markings/sec, 110 secs
lola: 468458 markings, 1534820 edges, 3889 markings/sec, 115 secs
lola: 488119 markings, 1597739 edges, 3932 markings/sec, 120 secs
lola: 507827 markings, 1659837 edges, 3942 markings/sec, 125 secs
lola: 527394 markings, 1725582 edges, 3913 markings/sec, 130 secs
lola: 546967 markings, 1790828 edges, 3915 markings/sec, 135 secs
lola: 566672 markings, 1851095 edges, 3941 markings/sec, 140 secs
lola: 586208 markings, 1915304 edges, 3907 markings/sec, 145 secs
lola: 605723 markings, 1981398 edges, 3903 markings/sec, 150 secs
lola: 625471 markings, 2040154 edges, 3950 markings/sec, 155 secs
lola: 645178 markings, 2099773 edges, 3941 markings/sec, 160 secs
lola: 664810 markings, 2160282 edges, 3926 markings/sec, 165 secs
lola: 684400 markings, 2222362 edges, 3918 markings/sec, 170 secs
lola: 703908 markings, 2287183 edges, 3902 markings/sec, 175 secs
lola: 723484 markings, 2349263 edges, 3915 markings/sec, 180 secs
lola: 743053 markings, 2410854 edges, 3914 markings/sec, 185 secs
lola: 762590 markings, 2471921 edges, 3907 markings/sec, 190 secs
lola: 782230 markings, 2532663 edges, 3928 markings/sec, 195 secs
lola: 801845 markings, 2595550 edges, 3923 markings/sec, 200 secs
lola: 821445 markings, 2657024 edges, 3920 markings/sec, 205 secs
lola: 840928 markings, 2720073 edges, 3897 markings/sec, 210 secs
lola: 860571 markings, 2780307 edges, 3929 markings/sec, 215 secs
lola: 880230 markings, 2843309 edges, 3932 markings/sec, 220 secs
lola: 899778 markings, 2908415 edges, 3910 markings/sec, 225 secs
lola: 919455 markings, 2970135 edges, 3935 markings/sec, 230 secs
lola: 939069 markings, 3034496 edges, 3923 markings/sec, 235 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown 100 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 309836 KB
lola: time consumption: 2843 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 242 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__10_27_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__10_27_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D30N100-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: 100
lola: 17800 markings, 62772 edges, 3560 markings/sec, 0 secs
lola: 37106 markings, 132711 edges, 3861 markings/sec, 5 secs
lola: 56401 markings, 203152 edges, 3859 markings/sec, 10 secs
lola: 75643 markings, 271874 edges, 3848 markings/sec, 15 secs
lola: 94964 markings, 338333 edges, 3864 markings/sec, 20 secs
lola: 114301 markings, 403155 edges, 3867 markings/sec, 25 secs
lola: 133498 markings, 472525 edges, 3839 markings/sec, 30 secs
lola: 152684 markings, 541587 edges, 3837 markings/sec, 35 secs
lola: 172036 markings, 608848 edges, 3870 markings/sec, 40 secs
lola: 191428 markings, 675355 edges, 3878 markings/sec, 45 secs
lola: 210679 markings, 745641 edges, 3850 markings/sec, 50 secs
lola: 230003 markings, 811809 edges, 3865 markings/sec, 55 secs
lola: 249366 markings, 877774 edges, 3873 markings/sec, 60 secs
lola: 268714 markings, 944589 edges, 3870 markings/sec, 65 secs
lola: 288124 markings, 1009784 edges, 3882 markings/sec, 70 secs
lola: 307383 markings, 1078469 edges, 3852 markings/sec, 75 secs
lola: 326672 markings, 1147092 edges, 3858 markings/sec, 80 secs
lola: 345965 markings, 1213149 edges, 3859 markings/sec, 85 secs
lola: 365191 markings, 1279697 edges, 3845 markings/sec, 90 secs
lola: 383345 markings, 1344122 edges, 3631 markings/sec, 95 secs
lola: 400388 markings, 1403011 edges, 3409 markings/sec, 100 secs
lola: 417495 markings, 1461789 edges, 3421 markings/sec, 105 secs
lola: 435646 markings, 1524893 edges, 3630 markings/sec, 110 secs
lola: 454247 markings, 1590468 edges, 3720 markings/sec, 115 secs
lola: 472830 markings, 1656417 edges, 3717 markings/sec, 120 secs
lola: 491582 markings, 1718750 edges, 3750 markings/sec, 125 secs
lola: 510142 markings, 1785632 edges, 3712 markings/sec, 130 secs
lola: 528691 markings, 1852898 edges, 3710 markings/sec, 135 secs
lola: 547065 markings, 1925220 edges, 3675 markings/sec, 140 secs
lola: 565617 markings, 1992731 edges, 3710 markings/sec, 145 secs
lola: 584124 markings, 2061007 edges, 3701 markings/sec, 150 secs
lola: 602672 markings, 2128776 edges, 3710 markings/sec, 155 secs
lola: 621214 markings, 2194897 edges, 3708 markings/sec, 160 secs
lola: 639839 markings, 2263256 edges, 3725 markings/sec, 165 secs
lola: 658324 markings, 2332351 edges, 3697 markings/sec, 170 secs
lola: 676814 markings, 2400240 edges, 3698 markings/sec, 175 secs
lola: 695350 markings, 2464870 edges, 3707 markings/sec, 180 secs
lola: 714018 markings, 2526882 edges, 3734 markings/sec, 185 secs
lola: 732713 markings, 2588768 edges, 3739 markings/sec, 190 secs
lola: 751404 markings, 2650728 edges, 3738 markings/sec, 195 secs
lola: 770100 markings, 2712654 edges, 3739 markings/sec, 200 secs
lola: 788796 markings, 2775806 edges, 3739 markings/sec, 205 secs
lola: 807339 markings, 2840751 edges, 3709 markings/sec, 210 secs
lola: 825991 markings, 2903655 edges, 3730 markings/sec, 215 secs
lola: 844515 markings, 2968273 edges, 3705 markings/sec, 220 secs
lola: 863167 markings, 3030702 edges, 3730 markings/sec, 225 secs
lola: 881699 markings, 3097048 edges, 3706 markings/sec, 230 secs
lola: 900461 markings, 3159345 edges, 3752 markings/sec, 235 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown 100 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 285604 KB
lola: time consumption: 3085 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 242 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__30_29_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__30_29_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D30N100-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: 100
lola: 17660 markings, 56842 edges, 3532 markings/sec, 0 secs
lola: 36941 markings, 119667 edges, 3856 markings/sec, 5 secs
lola: 56286 markings, 182474 edges, 3869 markings/sec, 10 secs
lola: 75518 markings, 244611 edges, 3846 markings/sec, 15 secs
lola: 94826 markings, 306996 edges, 3862 markings/sec, 20 secs
lola: 114201 markings, 367805 edges, 3875 markings/sec, 25 secs
lola: 133588 markings, 428357 edges, 3877 markings/sec, 30 secs
lola: 152920 markings, 491109 edges, 3866 markings/sec, 35 secs
lola: 172321 markings, 552103 edges, 3880 markings/sec, 40 secs
lola: 191657 markings, 613949 edges, 3867 markings/sec, 45 secs
lola: 210924 markings, 674831 edges, 3853 markings/sec, 50 secs
lola: 230233 markings, 736661 edges, 3862 markings/sec, 55 secs
lola: 249539 markings, 798664 edges, 3861 markings/sec, 60 secs
lola: 268862 markings, 860320 edges, 3865 markings/sec, 65 secs
lola: 288234 markings, 921711 edges, 3874 markings/sec, 70 secs
lola: 307606 markings, 982870 edges, 3874 markings/sec, 75 secs
lola: 326908 markings, 1045361 edges, 3860 markings/sec, 80 secs
lola: 346079 markings, 1107245 edges, 3834 markings/sec, 85 secs
lola: 365416 markings, 1169199 edges, 3867 markings/sec, 90 secs
lola: 384754 markings, 1230884 edges, 3868 markings/sec, 95 secs
lola: 404063 markings, 1292768 edges, 3862 markings/sec, 100 secs
lola: 423326 markings, 1354144 edges, 3853 markings/sec, 105 secs
lola: 442663 markings, 1414007 edges, 3867 markings/sec, 110 secs
lola: 461974 markings, 1475905 edges, 3862 markings/sec, 115 secs
lola: 481300 markings, 1537328 edges, 3865 markings/sec, 120 secs
lola: 500602 markings, 1600402 edges, 3860 markings/sec, 125 secs
lola: 519845 markings, 1664013 edges, 3849 markings/sec, 130 secs
lola: 539162 markings, 1725355 edges, 3863 markings/sec, 135 secs
lola: 558514 markings, 1786700 edges, 3870 markings/sec, 140 secs
lola: 577855 markings, 1848868 edges, 3868 markings/sec, 145 secs
lola: 597215 markings, 1909981 edges, 3872 markings/sec, 150 secs
lola: 616470 markings, 1972925 edges, 3851 markings/sec, 155 secs
lola: 635761 markings, 2035718 edges, 3858 markings/sec, 160 secs
lola: 655005 markings, 2099963 edges, 3849 markings/sec, 165 secs
lola: 674289 markings, 2161192 edges, 3857 markings/sec, 170 secs
lola: 693607 markings, 2222488 edges, 3864 markings/sec, 175 secs
lola: 712951 markings, 2283599 edges, 3869 markings/sec, 180 secs
lola: 732242 markings, 2345891 edges, 3858 markings/sec, 185 secs
lola: 751499 markings, 2409309 edges, 3851 markings/sec, 190 secs
lola: 770743 markings, 2472697 edges, 3849 markings/sec, 195 secs
lola: 789999 markings, 2535181 edges, 3851 markings/sec, 200 secs
lola: 809251 markings, 2597568 edges, 3850 markings/sec, 205 secs
lola: 828624 markings, 2659225 edges, 3875 markings/sec, 210 secs
lola: 847997 markings, 2719370 edges, 3875 markings/sec, 215 secs
lola: 867309 markings, 2781408 edges, 3862 markings/sec, 220 secs
lola: 886584 markings, 2844282 edges, 3855 markings/sec, 225 secs
lola: 905833 markings, 2908154 edges, 3850 markings/sec, 230 secs
lola: 925096 markings, 2970729 edges, 3853 markings/sec, 235 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown 100 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 263940 KB
lola: time consumption: 3327 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 242 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__28_3_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__28_3_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D30N100-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: 100
lola: 17431 markings, 61189 edges, 3486 markings/sec, 0 secs
lola: 36381 markings, 125944 edges, 3790 markings/sec, 5 secs
lola: 55346 markings, 189208 edges, 3793 markings/sec, 10 secs
lola: 74220 markings, 252551 edges, 3775 markings/sec, 15 secs
lola: 93136 markings, 318073 edges, 3783 markings/sec, 20 secs
lola: 112114 markings, 381170 edges, 3796 markings/sec, 25 secs
lola: 131075 markings, 444502 edges, 3792 markings/sec, 30 secs
lola: 148439 markings, 502178 edges, 3473 markings/sec, 35 secs
lola: 165763 markings, 559776 edges, 3465 markings/sec, 40 secs
lola: 183853 markings, 620580 edges, 3618 markings/sec, 45 secs
lola: 203106 markings, 684206 edges, 3851 markings/sec, 50 secs
lola: 222685 markings, 749491 edges, 3916 markings/sec, 55 secs
lola: 242161 markings, 814653 edges, 3895 markings/sec, 60 secs
lola: 261469 markings, 878425 edges, 3862 markings/sec, 65 secs
lola: 280433 markings, 942096 edges, 3793 markings/sec, 70 secs
lola: 299387 markings, 1003224 edges, 3791 markings/sec, 75 secs
lola: 318293 markings, 1063580 edges, 3781 markings/sec, 80 secs
lola: 337190 markings, 1124675 edges, 3779 markings/sec, 85 secs
lola: 356246 markings, 1183791 edges, 3811 markings/sec, 90 secs
lola: 373985 markings, 1241851 edges, 3548 markings/sec, 95 secs
lola: 391206 markings, 1301591 edges, 3444 markings/sec, 100 secs
lola: 408668 markings, 1358999 edges, 3492 markings/sec, 105 secs
lola: 426080 markings, 1418556 edges, 3482 markings/sec, 110 secs
lola: 443493 markings, 1476923 edges, 3483 markings/sec, 115 secs
lola: 460889 markings, 1533760 edges, 3479 markings/sec, 120 secs
lola: 478223 markings, 1590373 edges, 3467 markings/sec, 125 secs
lola: 495447 markings, 1650294 edges, 3445 markings/sec, 130 secs
lola: 512748 markings, 1707324 edges, 3460 markings/sec, 135 secs
lola: 530451 markings, 1767110 edges, 3541 markings/sec, 140 secs
lola: 549759 markings, 1830875 edges, 3862 markings/sec, 145 secs
lola: 569210 markings, 1897139 edges, 3890 markings/sec, 150 secs
lola: 588483 markings, 1966042 edges, 3855 markings/sec, 155 secs
lola: 607407 markings, 2028503 edges, 3785 markings/sec, 160 secs
lola: 626299 markings, 2092059 edges, 3778 markings/sec, 165 secs
lola: 645181 markings, 2158005 edges, 3776 markings/sec, 170 secs
lola: 664035 markings, 2221915 edges, 3771 markings/sec, 175 secs
lola: 682851 markings, 2287610 edges, 3763 markings/sec, 180 secs
lola: 701716 markings, 2353586 edges, 3773 markings/sec, 185 secs
lola: 720827 markings, 2419508 edges, 3822 markings/sec, 190 secs
lola: 740260 markings, 2483382 edges, 3887 markings/sec, 195 secs
lola: 759263 markings, 2546259 edges, 3801 markings/sec, 200 secs
lola: 778265 markings, 2610741 edges, 3800 markings/sec, 205 secs
lola: 797378 markings, 2670273 edges, 3823 markings/sec, 210 secs
lola: 816315 markings, 2732045 edges, 3787 markings/sec, 215 secs
lola: 835330 markings, 2791665 edges, 3803 markings/sec, 220 secs
lola: 854206 markings, 2853984 edges, 3775 markings/sec, 225 secs
lola: 872965 markings, 2917855 edges, 3752 markings/sec, 230 secs
lola: 891901 markings, 2979202 edges, 3787 markings/sec, 235 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown 100 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola:
preliminary result: unknown unknown unknown 100 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 100 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 291680 KB
lola: time consumption: 3569 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown 100 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 291680 KB
lola: time consumption: 3569 seconds

BK_STOP 1526691205200

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