fond
Model Checking Contest 2019
9th edition, Prague, Czech Republic, April 7, 2019 (TOOLympics)
Execution of r066-ebro-155234666400037
Last Updated
Apr 15, 2019

About the Execution of 2018-Gold for Diffusion2D-PT-D10N200

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
2448.140 3570375.00 3667501.00 837.60 ? 200 200 ? ? ? ? ? ? 200 ? ? ? ? ? ? normal

Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2019-input.r066-ebro-155234666400037.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2019-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
....................
=====================================================================
Generated by BenchKit 2-3954
Executing tool win2018
Input is Diffusion2D-PT-D10N200, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r066-ebro-155234666400037
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 412K
-rw-r--r-- 1 mcc users 3.4K Feb 10 21:32 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Feb 10 21:32 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Feb 6 17:53 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 6 17:53 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 109 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 347 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.8K Feb 4 23:31 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K Feb 4 23:31 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 4 22:34 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.2K Feb 4 22:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Feb 3 07:21 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Feb 3 07:21 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Jan 30 23:45 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Jan 30 23:45 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 4 22:19 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 4 22:19 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_col

-rw-r--r-- 1 mcc users 8 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 255K Mar 10 17:31 model.pnml

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

=== Now, execution of the tool begins

BK_START 1552913715597

info: Time: 3600 - MCC
===========================================================================================
prep: translating Diffusion2D-PT-D10N200 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating Diffusion2D-PT-D10N200 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ Diffusion2D-PT-D10N200 @ 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: 784/65536 symbol table entries, 37 collisions
lola: preprocessing...
lola: Size of bit vector: 3200
lola: finding significant places
lola: 100 places, 684 transitions, 99 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 100 transition conflict sets
lola: TASK
lola: reading formula from Diffusion2D-PT-D10N200-UpperBounds.task
lola: MAX(cAMP__7_1_) : MAX(cAMP__6_8_) : MAX(cAMP__9_5_) : MAX(cAMP__10_8_) : MAX(cAMP__7_3_) : MAX(cAMP__10_3_) : MAX(cAMP__2_6_) : MAX(cAMP__10_1_) : MAX(cAMP__4_1_) : MAX(cAMP__5_6_) : MAX(cAMP__10_3_) : MAX(cAMP__1_3_) : MAX(cAMP__2_1_) : MAX(cAMP__9_7_) : MAX(cAMP__4_1_) : MAX(cAMP__7_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__7_1_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__7_1_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D10N200-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: 200
lola: 122147 markings, 408147 edges, 24429 markings/sec, 0 secs
lola: 243678 markings, 807767 edges, 24306 markings/sec, 5 secs
lola: 366395 markings, 1210092 edges, 24543 markings/sec, 10 secs
lola: 485957 markings, 1602753 edges, 23912 markings/sec, 15 secs
lola: 607763 markings, 2002664 edges, 24361 markings/sec, 20 secs
lola: 729975 markings, 2400231 edges, 24442 markings/sec, 25 secs
lola: 852112 markings, 2800043 edges, 24427 markings/sec, 30 secs
lola: 973581 markings, 3195343 edges, 24294 markings/sec, 35 secs
lola: 1097506 markings, 3589491 edges, 24785 markings/sec, 40 secs
lola: 1221299 markings, 3986086 edges, 24759 markings/sec, 45 secs
lola: 1345322 markings, 4386300 edges, 24805 markings/sec, 50 secs
lola: 1468595 markings, 4784445 edges, 24655 markings/sec, 55 secs
lola: 1592094 markings, 5181926 edges, 24700 markings/sec, 60 secs
lola: 1715543 markings, 5578640 edges, 24690 markings/sec, 65 secs
lola: 1838072 markings, 5975643 edges, 24506 markings/sec, 70 secs
lola: 1960097 markings, 6368601 edges, 24405 markings/sec, 75 secs
lola: 2082830 markings, 6762713 edges, 24547 markings/sec, 80 secs
lola: 2205796 markings, 7158348 edges, 24593 markings/sec, 85 secs
lola: 2328554 markings, 7556390 edges, 24552 markings/sec, 90 secs
lola: 2451165 markings, 7951688 edges, 24522 markings/sec, 95 secs
lola: 2574093 markings, 8344394 edges, 24586 markings/sec, 100 secs
lola: 2697344 markings, 8743860 edges, 24650 markings/sec, 105 secs
lola: 2820260 markings, 9140037 edges, 24583 markings/sec, 110 secs
lola: 2943106 markings, 9535331 edges, 24569 markings/sec, 115 secs
lola: 3066186 markings, 9930428 edges, 24616 markings/sec, 120 secs
lola: 3187827 markings, 10326386 edges, 24328 markings/sec, 125 secs
lola: 3309043 markings, 10716065 edges, 24243 markings/sec, 130 secs
lola: 3431029 markings, 11106614 edges, 24397 markings/sec, 135 secs
lola: 3552328 markings, 11498110 edges, 24260 markings/sec, 140 secs
lola: 3673500 markings, 11889624 edges, 24234 markings/sec, 145 secs
lola: 3794910 markings, 12280530 edges, 24282 markings/sec, 150 secs
lola: 3915726 markings, 12668039 edges, 24163 markings/sec, 155 secs
lola: 4037727 markings, 13065281 edges, 24400 markings/sec, 160 secs
lola: 4159538 markings, 13456534 edges, 24362 markings/sec, 165 secs
lola: 4281351 markings, 13846834 edges, 24363 markings/sec, 170 secs
lola: 4402821 markings, 14239057 edges, 24294 markings/sec, 175 secs
lola: 4523644 markings, 14629269 edges, 24165 markings/sec, 180 secs
lola: 4644906 markings, 15019827 edges, 24252 markings/sec, 185 secs
lola: 4766752 markings, 15410302 edges, 24369 markings/sec, 190 secs
lola: 4887968 markings, 15804910 edges, 24243 markings/sec, 195 secs
lola: 5009168 markings, 16194458 edges, 24240 markings/sec, 200 secs
lola: 5130429 markings, 16582922 edges, 24252 markings/sec, 205 secs
lola: 5251024 markings, 16972161 edges, 24119 markings/sec, 210 secs
lola: 5372079 markings, 17363329 edges, 24211 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: 1411992 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__6_8_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__6_8_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D10N200-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: 200
lola: SUBRESULT
lola: result: 200
lola: produced by: state space
lola: The maximum value of the given expression is 200
lola: 401 markings, 599 edges
lola: ========================================

FORMULA Diffusion2D-PT-D10N200-UpperBounds-1 200 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 239 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__9_5_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__9_5_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D10N200-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: 200
lola: SUBRESULT
lola: result: 200
lola: produced by: state space
lola: The maximum value of the given expression is 200
lola: 2799 markings, 5398 edges
lola: ========================================

FORMULA Diffusion2D-PT-D10N200-UpperBounds-2 200 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 257 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__10_8_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__10_8_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D10N200-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: 200
lola: 127510 markings, 326551 edges, 25502 markings/sec, 0 secs
lola: 254082 markings, 647078 edges, 25314 markings/sec, 5 secs
lola: 379650 markings, 973541 edges, 25114 markings/sec, 10 secs
lola: 504102 markings, 1289069 edges, 24890 markings/sec, 15 secs
lola: 629081 markings, 1613641 edges, 24996 markings/sec, 20 secs
lola: 757593 markings, 1942484 edges, 25702 markings/sec, 25 secs
lola: 886029 markings, 2273578 edges, 25687 markings/sec, 30 secs
lola: 1015395 markings, 2597243 edges, 25873 markings/sec, 35 secs
lola: 1144628 markings, 2914091 edges, 25847 markings/sec, 40 secs
lola: 1274083 markings, 3235730 edges, 25891 markings/sec, 45 secs
lola: 1402463 markings, 3563788 edges, 25676 markings/sec, 50 secs
lola: 1532666 markings, 3875051 edges, 26041 markings/sec, 55 secs
lola: 1662656 markings, 4181988 edges, 25998 markings/sec, 60 secs
lola: 1786164 markings, 4507723 edges, 24702 markings/sec, 65 secs
lola: 1912419 markings, 4809028 edges, 25251 markings/sec, 70 secs
lola: 2042855 markings, 5110399 edges, 26087 markings/sec, 75 secs
lola: 2172584 markings, 5424357 edges, 25946 markings/sec, 80 secs
lola: 2304072 markings, 5728140 edges, 26298 markings/sec, 85 secs
lola: 2435837 markings, 6030396 edges, 26353 markings/sec, 90 secs
lola: 2567783 markings, 6333258 edges, 26389 markings/sec, 95 secs
lola: 2699350 markings, 6645063 edges, 26313 markings/sec, 100 secs
lola: 2829488 markings, 6952301 edges, 26028 markings/sec, 105 secs
lola: 2961025 markings, 7257638 edges, 26307 markings/sec, 110 secs
lola: 3092498 markings, 7562075 edges, 26295 markings/sec, 115 secs
lola: 3224146 markings, 7865702 edges, 26330 markings/sec, 120 secs
lola: 3354591 markings, 8168516 edges, 26089 markings/sec, 125 secs
lola: 3484825 markings, 8473687 edges, 26047 markings/sec, 130 secs
lola: 3609751 markings, 8789334 edges, 24985 markings/sec, 135 secs
lola: 3738712 markings, 9089957 edges, 25792 markings/sec, 140 secs
lola: 3869110 markings, 9391763 edges, 26080 markings/sec, 145 secs
lola: 3995463 markings, 9703049 edges, 25271 markings/sec, 150 secs
lola: 4125258 markings, 10006818 edges, 25959 markings/sec, 155 secs
lola: 4254527 markings, 10301574 edges, 25854 markings/sec, 160 secs
lola: 4384458 markings, 10598969 edges, 25986 markings/sec, 165 secs
lola: 4512995 markings, 10890862 edges, 25707 markings/sec, 170 secs
lola: 4643547 markings, 11189784 edges, 26110 markings/sec, 175 secs
lola: 4774871 markings, 11487880 edges, 26265 markings/sec, 180 secs
lola: 4905419 markings, 11788558 edges, 26110 markings/sec, 185 secs
lola: 5031924 markings, 12083936 edges, 25301 markings/sec, 190 secs
lola: 5161403 markings, 12378183 edges, 25896 markings/sec, 195 secs
lola: 5290558 markings, 12682815 edges, 25831 markings/sec, 200 secs
lola: 5420255 markings, 12977041 edges, 25939 markings/sec, 205 secs
lola: 5547939 markings, 13279514 edges, 25537 markings/sec, 210 secs
lola: 5676858 markings, 13572469 edges, 25784 markings/sec, 215 secs
lola: 5806338 markings, 13866094 edges, 25896 markings/sec, 220 secs
lola: 5933460 markings, 14165984 edges, 25424 markings/sec, 225 secs
lola: 6063540 markings, 14461024 edges, 26016 markings/sec, 230 secs
lola: 6193622 markings, 14761318 edges, 26016 markings/sec, 235 secs
lola: 6325827 markings, 15061754 edges, 26441 markings/sec, 240 secs
lola: 6453953 markings, 15352345 edges, 25625 markings/sec, 245 secs
lola: 6579181 markings, 15640294 edges, 25046 markings/sec, 250 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 200 200 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 2335236 KB
lola: time consumption: 481 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 257 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__7_3_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__7_3_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D10N200-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: 200
lola: 124539 markings, 376180 edges, 24908 markings/sec, 0 secs
lola: 246851 markings, 746107 edges, 24462 markings/sec, 5 secs
lola: 371340 markings, 1105576 edges, 24898 markings/sec, 10 secs
lola: 492572 markings, 1451512 edges, 24246 markings/sec, 15 secs
lola: 614706 markings, 1799817 edges, 24427 markings/sec, 20 secs
lola: 737988 markings, 2152851 edges, 24656 markings/sec, 25 secs
lola: 860428 markings, 2503929 edges, 24488 markings/sec, 30 secs
lola: 984010 markings, 2857934 edges, 24716 markings/sec, 35 secs
lola: 1107443 markings, 3208985 edges, 24687 markings/sec, 40 secs
lola: 1230851 markings, 3561242 edges, 24682 markings/sec, 45 secs
lola: 1355629 markings, 3917009 edges, 24956 markings/sec, 50 secs
lola: 1480294 markings, 4272786 edges, 24933 markings/sec, 55 secs
lola: 1604637 markings, 4627971 edges, 24869 markings/sec, 60 secs
lola: 1728587 markings, 4981107 edges, 24790 markings/sec, 65 secs
lola: 1852821 markings, 5336600 edges, 24847 markings/sec, 70 secs
lola: 1976607 markings, 5691726 edges, 24757 markings/sec, 75 secs
lola: 2100704 markings, 6047124 edges, 24819 markings/sec, 80 secs
lola: 2224313 markings, 6398720 edges, 24722 markings/sec, 85 secs
lola: 2349308 markings, 6755239 edges, 24999 markings/sec, 90 secs
lola: 2473661 markings, 7110304 edges, 24871 markings/sec, 95 secs
lola: 2597894 markings, 7464845 edges, 24847 markings/sec, 100 secs
lola: 2721395 markings, 7817307 edges, 24700 markings/sec, 105 secs
lola: 2845632 markings, 8171703 edges, 24847 markings/sec, 110 secs
lola: 2969506 markings, 8525880 edges, 24775 markings/sec, 115 secs
lola: 3093204 markings, 8881009 edges, 24740 markings/sec, 120 secs
lola: 3217277 markings, 9235878 edges, 24815 markings/sec, 125 secs
lola: 3341510 markings, 9589020 edges, 24847 markings/sec, 130 secs
lola: 3465434 markings, 9942959 edges, 24785 markings/sec, 135 secs
lola: 3588972 markings, 10295723 edges, 24708 markings/sec, 140 secs
lola: 3712869 markings, 10649035 edges, 24779 markings/sec, 145 secs
lola: 3836543 markings, 11002342 edges, 24735 markings/sec, 150 secs
lola: 3960140 markings, 11354501 edges, 24719 markings/sec, 155 secs
lola: 4083367 markings, 11706286 edges, 24645 markings/sec, 160 secs
lola: 4208219 markings, 12065081 edges, 24970 markings/sec, 165 secs
lola: 4332983 markings, 12422572 edges, 24953 markings/sec, 170 secs
lola: 4457848 markings, 12777220 edges, 24973 markings/sec, 175 secs
lola: 4582314 markings, 13132741 edges, 24893 markings/sec, 180 secs
lola: 4707133 markings, 13489349 edges, 24964 markings/sec, 185 secs
lola: 4831377 markings, 13843642 edges, 24849 markings/sec, 190 secs
lola: 4955493 markings, 14197658 edges, 24823 markings/sec, 195 secs
lola: 5079735 markings, 14551903 edges, 24848 markings/sec, 200 secs
lola: 5204101 markings, 14908513 edges, 24873 markings/sec, 205 secs
lola: 5328183 markings, 15264450 edges, 24816 markings/sec, 210 secs
lola: 5452300 markings, 15618276 edges, 24823 markings/sec, 215 secs
lola: 5575969 markings, 15970833 edges, 24734 markings/sec, 220 secs
lola: 5699756 markings, 16324053 edges, 24757 markings/sec, 225 secs
lola: 5823783 markings, 16678626 edges, 24805 markings/sec, 230 secs
lola: 5947775 markings, 17032122 edges, 24798 markings/sec, 235 secs
lola: 6072340 markings, 17387409 edges, 24913 markings/sec, 240 secs
lola: 6197102 markings, 17742796 edges, 24952 markings/sec, 245 secs
lola: 6321578 markings, 18100325 edges, 24895 markings/sec, 250 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 200 200 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1648716 KB
lola: time consumption: 739 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 257 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__10_3_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__10_3_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D10N200-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: 200
lola: 125776 markings, 371820 edges, 25155 markings/sec, 0 secs
lola: 253079 markings, 751242 edges, 25461 markings/sec, 5 secs
lola: 378552 markings, 1124415 edges, 25095 markings/sec, 10 secs
lola: 502324 markings, 1492408 edges, 24754 markings/sec, 15 secs
lola: 626623 markings, 1865155 edges, 24860 markings/sec, 20 secs
lola: 753680 markings, 2243678 edges, 25411 markings/sec, 25 secs
lola: 880750 markings, 2619872 edges, 25414 markings/sec, 30 secs
lola: 1007662 markings, 3001308 edges, 25382 markings/sec, 35 secs
lola: 1134328 markings, 3378816 edges, 25333 markings/sec, 40 secs
lola: 1261042 markings, 3756872 edges, 25343 markings/sec, 45 secs
lola: 1387033 markings, 4129956 edges, 25198 markings/sec, 50 secs
lola: 1512175 markings, 4504390 edges, 25028 markings/sec, 55 secs
lola: 1638600 markings, 4882831 edges, 25285 markings/sec, 60 secs
lola: 1764510 markings, 5255066 edges, 25182 markings/sec, 65 secs
lola: 1890227 markings, 5632791 edges, 25143 markings/sec, 70 secs
lola: 2014685 markings, 6004330 edges, 24892 markings/sec, 75 secs
lola: 2140689 markings, 6380057 edges, 25201 markings/sec, 80 secs
lola: 2266602 markings, 6752655 edges, 25183 markings/sec, 85 secs
lola: 2392338 markings, 7128837 edges, 25147 markings/sec, 90 secs
lola: 2516945 markings, 7501785 edges, 24921 markings/sec, 95 secs
lola: 2642704 markings, 7873649 edges, 25152 markings/sec, 100 secs
lola: 2766222 markings, 8245079 edges, 24704 markings/sec, 105 secs
lola: 2892211 markings, 8620544 edges, 25198 markings/sec, 110 secs
lola: 3017618 markings, 8993769 edges, 25081 markings/sec, 115 secs
lola: 3141774 markings, 9362659 edges, 24831 markings/sec, 120 secs
lola: 3265176 markings, 9732955 edges, 24680 markings/sec, 125 secs
lola: 3389763 markings, 10104435 edges, 24917 markings/sec, 130 secs
lola: 3514399 markings, 10473127 edges, 24927 markings/sec, 135 secs
lola: 3639716 markings, 10849263 edges, 25063 markings/sec, 140 secs
lola: 3763181 markings, 11217534 edges, 24693 markings/sec, 145 secs
lola: 3886277 markings, 11583046 edges, 24619 markings/sec, 150 secs
lola: 4011449 markings, 11956853 edges, 25034 markings/sec, 155 secs
lola: 4134936 markings, 12326553 edges, 24697 markings/sec, 160 secs
lola: 4260317 markings, 12700950 edges, 25076 markings/sec, 165 secs
lola: 4385514 markings, 13071761 edges, 25039 markings/sec, 170 secs
lola: 4510681 markings, 13446091 edges, 25033 markings/sec, 175 secs
lola: 4635367 markings, 13818870 edges, 24937 markings/sec, 180 secs
lola: 4760483 markings, 14189847 edges, 25023 markings/sec, 185 secs
lola: 4885760 markings, 14564416 edges, 25055 markings/sec, 190 secs
lola: 5010514 markings, 14937163 edges, 24951 markings/sec, 195 secs
lola: 5135614 markings, 15311618 edges, 25020 markings/sec, 200 secs
lola: 5261064 markings, 15682025 edges, 25090 markings/sec, 205 secs
lola: 5385671 markings, 16054918 edges, 24921 markings/sec, 210 secs
lola: 5511064 markings, 16429994 edges, 25079 markings/sec, 215 secs
lola: 5636867 markings, 16802788 edges, 25161 markings/sec, 220 secs
lola: 5761991 markings, 17177764 edges, 25025 markings/sec, 225 secs
lola: 5887468 markings, 17552529 edges, 25095 markings/sec, 230 secs
lola: 6012235 markings, 17924945 edges, 24953 markings/sec, 235 secs
lola: 6136508 markings, 18292320 edges, 24855 markings/sec, 240 secs
lola: 6261377 markings, 18665813 edges, 24974 markings/sec, 245 secs
lola: 6386077 markings, 19038945 edges, 24940 markings/sec, 250 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 200 200 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1651060 KB
lola: time consumption: 996 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 257 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__2_6_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__2_6_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D10N200-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: 200
lola: 121263 markings, 446227 edges, 24253 markings/sec, 0 secs
lola: 241708 markings, 892944 edges, 24089 markings/sec, 5 secs
lola: 361626 markings, 1363091 edges, 23984 markings/sec, 10 secs
lola: 480766 markings, 1823928 edges, 23828 markings/sec, 15 secs
lola: 598456 markings, 2285160 edges, 23538 markings/sec, 20 secs
lola: 717487 markings, 2754526 edges, 23806 markings/sec, 25 secs
lola: 830898 markings, 3211101 edges, 22682 markings/sec, 30 secs
lola: 949546 markings, 3679460 edges, 23730 markings/sec, 35 secs
lola: 1069019 markings, 4145721 edges, 23895 markings/sec, 40 secs
lola: 1186403 markings, 4617931 edges, 23477 markings/sec, 45 secs
lola: 1302397 markings, 5106178 edges, 23199 markings/sec, 50 secs
lola: 1415193 markings, 5578718 edges, 22559 markings/sec, 55 secs
lola: 1530141 markings, 6034402 edges, 22990 markings/sec, 60 secs
lola: 1649661 markings, 6509626 edges, 23904 markings/sec, 65 secs
lola: 1769585 markings, 6986693 edges, 23985 markings/sec, 70 secs
lola: 1889837 markings, 7460439 edges, 24050 markings/sec, 75 secs
lola: 2008771 markings, 7944857 edges, 23787 markings/sec, 80 secs
lola: 2129738 markings, 8407126 edges, 24193 markings/sec, 85 secs
lola: 2247447 markings, 8878847 edges, 23542 markings/sec, 90 secs
lola: 2364439 markings, 9334643 edges, 23398 markings/sec, 95 secs
lola: 2478490 markings, 9798632 edges, 22810 markings/sec, 100 secs
lola: 2596826 markings, 10264264 edges, 23667 markings/sec, 105 secs
lola: 2716134 markings, 10731217 edges, 23862 markings/sec, 110 secs
lola: 2834870 markings, 11207479 edges, 23747 markings/sec, 115 secs
lola: 2950461 markings, 11657066 edges, 23118 markings/sec, 120 secs
lola: 3068985 markings, 12138383 edges, 23705 markings/sec, 125 secs
lola: 3186503 markings, 12611990 edges, 23504 markings/sec, 130 secs
lola: 3306932 markings, 13091980 edges, 24086 markings/sec, 135 secs
lola: 3424710 markings, 13575829 edges, 23556 markings/sec, 140 secs
lola: 3540774 markings, 14050606 edges, 23213 markings/sec, 145 secs
lola: 3655453 markings, 14512357 edges, 22936 markings/sec, 150 secs
lola: 3770249 markings, 14972625 edges, 22959 markings/sec, 155 secs
lola: 3886746 markings, 15447193 edges, 23299 markings/sec, 160 secs
lola: 4007477 markings, 15910934 edges, 24146 markings/sec, 165 secs
lola: 4125544 markings, 16398380 edges, 23613 markings/sec, 170 secs
lola: 4240616 markings, 16871692 edges, 23014 markings/sec, 175 secs
lola: 4356163 markings, 17353394 edges, 23109 markings/sec, 180 secs
lola: 4474206 markings, 17822620 edges, 23609 markings/sec, 185 secs
lola: 4590403 markings, 18294645 edges, 23239 markings/sec, 190 secs
lola: 4709430 markings, 18772777 edges, 23805 markings/sec, 195 secs
lola: 4824181 markings, 19239232 edges, 22950 markings/sec, 200 secs
lola: 4943505 markings, 19711239 edges, 23865 markings/sec, 205 secs
lola: 5060549 markings, 20199326 edges, 23409 markings/sec, 210 secs
lola: 5175407 markings, 20685585 edges, 22972 markings/sec, 215 secs
lola: 5291152 markings, 21173806 edges, 23149 markings/sec, 220 secs
lola: 5407576 markings, 21626362 edges, 23285 markings/sec, 225 secs
lola: 5525863 markings, 22086801 edges, 23657 markings/sec, 230 secs
lola: 5643048 markings, 22559506 edges, 23437 markings/sec, 235 secs
lola: 5760291 markings, 23016197 edges, 23449 markings/sec, 240 secs
lola: 5876022 markings, 23484905 edges, 23146 markings/sec, 245 secs
lola: 5993046 markings, 23948295 edges, 23405 markings/sec, 250 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 200 200 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1768372 KB
lola: time consumption: 1253 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 257 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__10_1_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__10_1_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D10N200-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: 200
lola: 124739 markings, 406835 edges, 24948 markings/sec, 0 secs
lola: 250209 markings, 816687 edges, 25094 markings/sec, 5 secs
lola: 374248 markings, 1222134 edges, 24808 markings/sec, 10 secs
lola: 497738 markings, 1625542 edges, 24698 markings/sec, 15 secs
lola: 621579 markings, 2030258 edges, 24768 markings/sec, 20 secs
lola: 745824 markings, 2436337 edges, 24849 markings/sec, 25 secs
lola: 870339 markings, 2843439 edges, 24903 markings/sec, 30 secs
lola: 993280 markings, 3245004 edges, 24588 markings/sec, 35 secs
lola: 1117717 markings, 3651742 edges, 24887 markings/sec, 40 secs
lola: 1241744 markings, 4057117 edges, 24805 markings/sec, 45 secs
lola: 1367155 markings, 4466852 edges, 25082 markings/sec, 50 secs
lola: 1492262 markings, 4875456 edges, 25021 markings/sec, 55 secs
lola: 1617257 markings, 5284132 edges, 24999 markings/sec, 60 secs
lola: 1742039 markings, 5692035 edges, 24956 markings/sec, 65 secs
lola: 1866883 markings, 6099923 edges, 24969 markings/sec, 70 secs
lola: 1991653 markings, 6507653 edges, 24954 markings/sec, 75 secs
lola: 2115944 markings, 6913795 edges, 24858 markings/sec, 80 secs
lola: 2240396 markings, 7320241 edges, 24890 markings/sec, 85 secs
lola: 2363701 markings, 7723270 edges, 24661 markings/sec, 90 secs
lola: 2487979 markings, 8129269 edges, 24856 markings/sec, 95 secs
lola: 2611402 markings, 8532671 edges, 24685 markings/sec, 100 secs
lola: 2735404 markings, 8937792 edges, 24800 markings/sec, 105 secs
lola: 2858635 markings, 9340667 edges, 24646 markings/sec, 110 secs
lola: 2982813 markings, 9746318 edges, 24836 markings/sec, 115 secs
lola: 3107852 markings, 10154656 edges, 25008 markings/sec, 120 secs
lola: 3232801 markings, 10562849 edges, 24990 markings/sec, 125 secs
lola: 3355987 markings, 10965445 edges, 24637 markings/sec, 130 secs
lola: 3477760 markings, 11363864 edges, 24355 markings/sec, 135 secs
lola: 3603403 markings, 11777136 edges, 25129 markings/sec, 140 secs
lola: 3728092 markings, 12176907 edges, 24938 markings/sec, 145 secs
lola: 3852116 markings, 12583708 edges, 24805 markings/sec, 150 secs
lola: 3978184 markings, 12991199 edges, 25214 markings/sec, 155 secs
lola: 4103365 markings, 13391544 edges, 25036 markings/sec, 160 secs
lola: 4225188 markings, 13780599 edges, 24365 markings/sec, 165 secs
lola: 4351227 markings, 14181288 edges, 25208 markings/sec, 170 secs
lola: 4473818 markings, 14579653 edges, 24518 markings/sec, 175 secs
lola: 4596763 markings, 14973053 edges, 24589 markings/sec, 180 secs
lola: 4720772 markings, 15374000 edges, 24802 markings/sec, 185 secs
lola: 4846629 markings, 15769279 edges, 25171 markings/sec, 190 secs
lola: 4973036 markings, 16164459 edges, 25281 markings/sec, 195 secs
lola: 5099667 markings, 16567165 edges, 25326 markings/sec, 200 secs
lola: 5224720 markings, 16964378 edges, 25011 markings/sec, 205 secs
lola: 5348842 markings, 17359884 edges, 24824 markings/sec, 210 secs
lola: 5472576 markings, 17764608 edges, 24747 markings/sec, 215 secs
lola: 5596801 markings, 18168473 edges, 24845 markings/sec, 220 secs
lola: 5722429 markings, 18572347 edges, 25126 markings/sec, 225 secs
lola: 5846800 markings, 18965322 edges, 24874 markings/sec, 230 secs
lola: 5971168 markings, 19364930 edges, 24874 markings/sec, 235 secs
lola: 6094313 markings, 19763688 edges, 24629 markings/sec, 240 secs
lola: 6215355 markings, 20150993 edges, 24208 markings/sec, 245 secs
lola: 6337481 markings, 20543363 edges, 24425 markings/sec, 250 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 200 200 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1489788 KB
lola: time consumption: 1511 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 257 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__4_1_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__4_1_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D10N200-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: 200
lola: 121951 markings, 402766 edges, 24390 markings/sec, 0 secs
lola: 244982 markings, 820805 edges, 24606 markings/sec, 5 secs
lola: 368990 markings, 1225721 edges, 24802 markings/sec, 10 secs
lola: 492177 markings, 1629292 edges, 24637 markings/sec, 15 secs
lola: 613590 markings, 2023564 edges, 24283 markings/sec, 20 secs
lola: 728843 markings, 2403305 edges, 23051 markings/sec, 25 secs
lola: 848058 markings, 2803034 edges, 23843 markings/sec, 30 secs
lola: 968287 markings, 3192190 edges, 24046 markings/sec, 35 secs
lola: 1091018 markings, 3594749 edges, 24546 markings/sec, 40 secs
lola: 1211402 markings, 3996651 edges, 24077 markings/sec, 45 secs
lola: 1334238 markings, 4397633 edges, 24567 markings/sec, 50 secs
lola: 1454028 markings, 4788127 edges, 23958 markings/sec, 55 secs
lola: 1575005 markings, 5186878 edges, 24195 markings/sec, 60 secs
lola: 1695634 markings, 5580421 edges, 24126 markings/sec, 65 secs
lola: 1812454 markings, 5957216 edges, 23364 markings/sec, 70 secs
lola: 1934551 markings, 6358763 edges, 24419 markings/sec, 75 secs
lola: 2055472 markings, 6763893 edges, 24184 markings/sec, 80 secs
lola: 2177092 markings, 7155900 edges, 24324 markings/sec, 85 secs
lola: 2298475 markings, 7549635 edges, 24277 markings/sec, 90 secs
lola: 2420303 markings, 7952498 edges, 24366 markings/sec, 95 secs
lola: 2542305 markings, 8349685 edges, 24400 markings/sec, 100 secs
lola: 2664977 markings, 8747602 edges, 24534 markings/sec, 105 secs
lola: 2785489 markings, 9145495 edges, 24102 markings/sec, 110 secs
lola: 2904971 markings, 9538749 edges, 23896 markings/sec, 115 secs
lola: 3025471 markings, 9930766 edges, 24100 markings/sec, 120 secs
lola: 3147483 markings, 10331961 edges, 24402 markings/sec, 125 secs
lola: 3268917 markings, 10729698 edges, 24287 markings/sec, 130 secs
lola: 3391781 markings, 11128447 edges, 24573 markings/sec, 135 secs
lola: 3514678 markings, 11530356 edges, 24579 markings/sec, 140 secs
lola: 3635676 markings, 11935222 edges, 24200 markings/sec, 145 secs
lola: 3757307 markings, 12329236 edges, 24326 markings/sec, 150 secs
lola: 3878614 markings, 12721733 edges, 24261 markings/sec, 155 secs
lola: 3998115 markings, 13118552 edges, 23900 markings/sec, 160 secs
lola: 4120714 markings, 13518213 edges, 24520 markings/sec, 165 secs
lola: 4243445 markings, 13915161 edges, 24546 markings/sec, 170 secs
lola: 4365756 markings, 14317415 edges, 24462 markings/sec, 175 secs
lola: 4486992 markings, 14718562 edges, 24247 markings/sec, 180 secs
lola: 4605908 markings, 15103590 edges, 23783 markings/sec, 185 secs
lola: 4726359 markings, 15496207 edges, 24090 markings/sec, 190 secs
lola: 4847677 markings, 15897800 edges, 24264 markings/sec, 195 secs
lola: 4970521 markings, 16297188 edges, 24569 markings/sec, 200 secs
lola: 5092825 markings, 16693540 edges, 24461 markings/sec, 205 secs
lola: 5213567 markings, 17096326 edges, 24148 markings/sec, 210 secs
lola: 5333290 markings, 17488230 edges, 23945 markings/sec, 215 secs
lola: 5453217 markings, 17878825 edges, 23985 markings/sec, 220 secs
lola: 5574574 markings, 18278592 edges, 24271 markings/sec, 225 secs
lola: 5696384 markings, 18676652 edges, 24362 markings/sec, 230 secs
lola: 5818544 markings, 19070574 edges, 24432 markings/sec, 235 secs
lola: 5940194 markings, 19469744 edges, 24330 markings/sec, 240 secs
lola: 6060284 markings, 19873092 edges, 24018 markings/sec, 245 secs
lola: 6181796 markings, 20264372 edges, 24302 markings/sec, 250 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 200 200 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1569888 KB
lola: time consumption: 1768 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 257 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__5_6_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__5_6_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D10N200-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: 200
lola: SUBRESULT
lola: result: 200
lola: produced by: state space
lola: The maximum value of the given expression is 200
lola: 201 markings, 200 edges

FORMULA Diffusion2D-PT-D10N200-UpperBounds-9 200 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 10 will run for 300 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__10_3_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__10_3_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D10N200-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: 200
lola: 127914 markings, 378036 edges, 25583 markings/sec, 0 secs
lola: 255878 markings, 760048 edges, 25593 markings/sec, 5 secs
lola: 383651 markings, 1141290 edges, 25555 markings/sec, 10 secs
lola: 511171 markings, 1518082 edges, 25504 markings/sec, 15 secs
lola: 638646 markings, 1900076 edges, 25495 markings/sec, 20 secs
lola: 765718 markings, 2280247 edges, 25414 markings/sec, 25 secs
lola: 892765 markings, 2656684 edges, 25409 markings/sec, 30 secs
lola: 1019984 markings, 3036832 edges, 25444 markings/sec, 35 secs
lola: 1146852 markings, 3416448 edges, 25374 markings/sec, 40 secs
lola: 1273797 markings, 3795762 edges, 25389 markings/sec, 45 secs
lola: 1400685 markings, 4170211 edges, 25378 markings/sec, 50 secs
lola: 1527271 markings, 4550494 edges, 25317 markings/sec, 55 secs
lola: 1654050 markings, 4928112 edges, 25356 markings/sec, 60 secs
lola: 1777317 markings, 5294583 edges, 24653 markings/sec, 65 secs
lola: 1897425 markings, 5653361 edges, 24022 markings/sec, 70 secs
lola: 2023968 markings, 6032048 edges, 25309 markings/sec, 75 secs
lola: 2150299 markings, 6409225 edges, 25266 markings/sec, 80 secs
lola: 2276481 markings, 6782528 edges, 25236 markings/sec, 85 secs
lola: 2402386 markings, 7160046 edges, 25181 markings/sec, 90 secs
lola: 2528319 markings, 7535562 edges, 25187 markings/sec, 95 secs
lola: 2654647 markings, 7910372 edges, 25266 markings/sec, 100 secs
lola: 2779613 markings, 8283745 edges, 24993 markings/sec, 105 secs
lola: 2904924 markings, 8658659 edges, 25062 markings/sec, 110 secs
lola: 3030097 markings, 9032492 edges, 25035 markings/sec, 115 secs
lola: 3155597 markings, 9403897 edges, 25100 markings/sec, 120 secs
lola: 3280567 markings, 9778421 edges, 24994 markings/sec, 125 secs
lola: 3404536 markings, 10148610 edges, 24794 markings/sec, 130 secs
lola: 3529772 markings, 10519955 edges, 25047 markings/sec, 135 secs
lola: 3654469 markings, 10892854 edges, 24939 markings/sec, 140 secs
lola: 3779306 markings, 11265848 edges, 24967 markings/sec, 145 secs
lola: 3903976 markings, 11638872 edges, 24934 markings/sec, 150 secs
lola: 4027895 markings, 12004526 edges, 24784 markings/sec, 155 secs
lola: 4151910 markings, 12375631 edges, 24803 markings/sec, 160 secs
lola: 4274906 markings, 12743379 edges, 24599 markings/sec, 165 secs
lola: 4398759 markings, 13110114 edges, 24771 markings/sec, 170 secs
lola: 4521020 markings, 13476867 edges, 24452 markings/sec, 175 secs
lola: 4643525 markings, 13842439 edges, 24501 markings/sec, 180 secs
lola: 4766733 markings, 14208646 edges, 24642 markings/sec, 185 secs
lola: 4891647 markings, 14581458 edges, 24983 markings/sec, 190 secs
lola: 5016771 markings, 14956028 edges, 25025 markings/sec, 195 secs
lola: 5138595 markings, 15320086 edges, 24365 markings/sec, 200 secs
lola: 5259312 markings, 15676455 edges, 24143 markings/sec, 205 secs
lola: 5380937 markings, 16040558 edges, 24325 markings/sec, 210 secs
lola: 5503415 markings, 16406543 edges, 24496 markings/sec, 215 secs
lola: 5629007 markings, 16778458 edges, 25118 markings/sec, 220 secs
lola: 5753207 markings, 17151458 edges, 24840 markings/sec, 225 secs
lola: 5873535 markings, 17510305 edges, 24066 markings/sec, 230 secs
lola: 5995246 markings, 17871739 edges, 24342 markings/sec, 235 secs
lola: 6119103 markings, 18241796 edges, 24771 markings/sec, 240 secs
lola: 6244325 markings, 18616734 edges, 25044 markings/sec, 245 secs
lola: 6368605 markings, 18987956 edges, 24856 markings/sec, 250 secs
lola: 6493333 markings, 19356702 edges, 24946 markings/sec, 255 secs
lola: 6618380 markings, 19730807 edges, 25009 markings/sec, 260 secs
lola: 6743133 markings, 20103804 edges, 24951 markings/sec, 265 secs
lola: 6868150 markings, 20474409 edges, 25003 markings/sec, 270 secs
lola: 6992913 markings, 20848280 edges, 24953 markings/sec, 275 secs
lola: 7117474 markings, 21220119 edges, 24912 markings/sec, 280 secs
lola: 7242184 markings, 21592410 edges, 24942 markings/sec, 285 secs
lola: 7366829 markings, 21960854 edges, 24929 markings/sec, 290 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 200 200 unknown unknown unknown unknown unknown unknown 200 unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown 200 200 unknown unknown unknown unknown unknown unknown 200 unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1919528 KB
lola: time consumption: 2068 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 300 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__1_3_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__1_3_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D10N200-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: 200
lola: 124707 markings, 430399 edges, 24941 markings/sec, 0 secs
lola: 247382 markings, 845188 edges, 24535 markings/sec, 5 secs
lola: 370031 markings, 1250052 edges, 24530 markings/sec, 10 secs
lola: 491571 markings, 1650172 edges, 24308 markings/sec, 15 secs
lola: 614189 markings, 2058263 edges, 24524 markings/sec, 20 secs
lola: 736094 markings, 2467219 edges, 24381 markings/sec, 25 secs
lola: 858481 markings, 2878143 edges, 24477 markings/sec, 30 secs
lola: 980567 markings, 3287417 edges, 24417 markings/sec, 35 secs
lola: 1103778 markings, 3699149 edges, 24642 markings/sec, 40 secs
lola: 1225145 markings, 4113642 edges, 24273 markings/sec, 45 secs
lola: 1347061 markings, 4512866 edges, 24383 markings/sec, 50 secs
lola: 1470964 markings, 4908067 edges, 24781 markings/sec, 55 secs
lola: 1592990 markings, 5315532 edges, 24405 markings/sec, 60 secs
lola: 1713533 markings, 5707912 edges, 24109 markings/sec, 65 secs
lola: 1834373 markings, 6110216 edges, 24168 markings/sec, 70 secs
lola: 1953304 markings, 6502613 edges, 23786 markings/sec, 75 secs
lola: 2074030 markings, 6890938 edges, 24145 markings/sec, 80 secs
lola: 2197363 markings, 7282855 edges, 24667 markings/sec, 85 secs
lola: 2319442 markings, 7689174 edges, 24416 markings/sec, 90 secs
lola: 2439199 markings, 8082819 edges, 23951 markings/sec, 95 secs
lola: 2559634 markings, 8476486 edges, 24087 markings/sec, 100 secs
lola: 2679576 markings, 8869759 edges, 23988 markings/sec, 105 secs
lola: 2800693 markings, 9267206 edges, 24223 markings/sec, 110 secs
lola: 2923761 markings, 9652054 edges, 24614 markings/sec, 115 secs
lola: 3046161 markings, 10047545 edges, 24480 markings/sec, 120 secs
lola: 3168453 markings, 10447047 edges, 24458 markings/sec, 125 secs
lola: 3289293 markings, 10848880 edges, 24168 markings/sec, 130 secs
lola: 3410845 markings, 11251112 edges, 24310 markings/sec, 135 secs
lola: 3534277 markings, 11645423 edges, 24686 markings/sec, 140 secs
lola: 3657214 markings, 12036922 edges, 24587 markings/sec, 145 secs
lola: 3780223 markings, 12433424 edges, 24602 markings/sec, 150 secs
lola: 3901798 markings, 12835232 edges, 24315 markings/sec, 155 secs
lola: 4024365 markings, 13230627 edges, 24513 markings/sec, 160 secs
lola: 4147071 markings, 13622999 edges, 24541 markings/sec, 165 secs
lola: 4268690 markings, 14019877 edges, 24324 markings/sec, 170 secs
lola: 4390921 markings, 14417037 edges, 24446 markings/sec, 175 secs
lola: 4513948 markings, 14804184 edges, 24605 markings/sec, 180 secs
lola: 4636158 markings, 15209816 edges, 24442 markings/sec, 185 secs
lola: 4758156 markings, 15597180 edges, 24400 markings/sec, 190 secs
lola: 4876275 markings, 15986457 edges, 23624 markings/sec, 195 secs
lola: 4997261 markings, 16367858 edges, 24197 markings/sec, 200 secs
lola: 5117353 markings, 16758755 edges, 24018 markings/sec, 205 secs
lola: 5236491 markings, 17148661 edges, 23828 markings/sec, 210 secs
lola: 5355128 markings, 17531817 edges, 23727 markings/sec, 215 secs
lola: 5473156 markings, 17919647 edges, 23606 markings/sec, 220 secs
lola: 5594897 markings, 18303339 edges, 24348 markings/sec, 225 secs
lola: 5717145 markings, 18698660 edges, 24450 markings/sec, 230 secs
lola: 5838062 markings, 19093444 edges, 24183 markings/sec, 235 secs
lola: 5961262 markings, 19467752 edges, 24640 markings/sec, 240 secs
lola: 6082086 markings, 19866590 edges, 24165 markings/sec, 245 secs
lola: 6204423 markings, 20268450 edges, 24467 markings/sec, 250 secs
lola: 6325389 markings, 20628531 edges, 24193 markings/sec, 255 secs
lola: 6447279 markings, 21017281 edges, 24378 markings/sec, 260 secs
lola: 6574383 markings, 21410862 edges, 25421 markings/sec, 265 secs
lola: 6698606 markings, 21777710 edges, 24845 markings/sec, 270 secs
lola: 6821636 markings, 22142245 edges, 24606 markings/sec, 275 secs
lola: 6943080 markings, 22527217 edges, 24289 markings/sec, 280 secs
lola: 7063762 markings, 22923528 edges, 24136 markings/sec, 285 secs
lola: 7185587 markings, 23313668 edges, 24365 markings/sec, 290 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 200 200 unknown unknown unknown unknown unknown unknown 200 unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown 200 200 unknown unknown unknown unknown unknown unknown 200 unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1749448 KB
lola: time consumption: 2369 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 300 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__2_1_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__2_1_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D10N200-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: 200
lola: 124882 markings, 494637 edges, 24976 markings/sec, 0 secs
lola: 249222 markings, 1022492 edges, 24868 markings/sec, 5 secs
lola: 373825 markings, 1539220 edges, 24921 markings/sec, 10 secs
lola: 497635 markings, 2070265 edges, 24762 markings/sec, 15 secs
lola: 620712 markings, 2589513 edges, 24615 markings/sec, 20 secs
lola: 746698 markings, 3122850 edges, 25197 markings/sec, 25 secs
lola: 872428 markings, 3667220 edges, 25146 markings/sec, 30 secs
lola: 994710 markings, 4192083 edges, 24456 markings/sec, 35 secs
lola: 1117316 markings, 4734064 edges, 24521 markings/sec, 40 secs
lola: 1237870 markings, 5273329 edges, 24111 markings/sec, 45 secs
lola: 1362022 markings, 5816696 edges, 24830 markings/sec, 50 secs
lola: 1484338 markings, 6357474 edges, 24463 markings/sec, 55 secs
lola: 1607310 markings, 6880836 edges, 24594 markings/sec, 60 secs
lola: 1732965 markings, 7409692 edges, 25131 markings/sec, 65 secs
lola: 1858775 markings, 7959061 edges, 25162 markings/sec, 70 secs
lola: 1981729 markings, 8502891 edges, 24591 markings/sec, 75 secs
lola: 2106462 markings, 9046041 edges, 24947 markings/sec, 80 secs
lola: 2227204 markings, 9624047 edges, 24148 markings/sec, 85 secs
lola: 2350730 markings, 10183484 edges, 24705 markings/sec, 90 secs
lola: 2473838 markings, 10748016 edges, 24622 markings/sec, 95 secs
lola: 2597371 markings, 11266720 edges, 24707 markings/sec, 100 secs
lola: 2720571 markings, 11790705 edges, 24640 markings/sec, 105 secs
lola: 2844809 markings, 12317198 edges, 24848 markings/sec, 110 secs
lola: 2968022 markings, 12854732 edges, 24643 markings/sec, 115 secs
lola: 3089399 markings, 13398723 edges, 24275 markings/sec, 120 secs
lola: 3215436 markings, 13933974 edges, 25207 markings/sec, 125 secs
lola: 3335020 markings, 14464077 edges, 23917 markings/sec, 130 secs
lola: 3457283 markings, 14990947 edges, 24453 markings/sec, 135 secs
lola: 3580361 markings, 15516405 edges, 24616 markings/sec, 140 secs
lola: 3700374 markings, 16057489 edges, 24003 markings/sec, 145 secs
lola: 3824459 markings, 16605922 edges, 24817 markings/sec, 150 secs
lola: 3946094 markings, 17161455 edges, 24327 markings/sec, 155 secs
lola: 4065231 markings, 17671783 edges, 23827 markings/sec, 160 secs
lola: 4186167 markings, 18194612 edges, 24187 markings/sec, 165 secs
lola: 4307357 markings, 18689604 edges, 24238 markings/sec, 170 secs
lola: 4429246 markings, 19209863 edges, 24378 markings/sec, 175 secs
lola: 4553670 markings, 19749677 edges, 24885 markings/sec, 180 secs
lola: 4672303 markings, 20290439 edges, 23727 markings/sec, 185 secs
lola: 4796449 markings, 20827141 edges, 24829 markings/sec, 190 secs
lola: 4917267 markings, 21391808 edges, 24164 markings/sec, 195 secs
lola: 5042533 markings, 21925233 edges, 25053 markings/sec, 200 secs
lola: 5167446 markings, 22481400 edges, 24983 markings/sec, 205 secs
lola: 5291884 markings, 23048187 edges, 24888 markings/sec, 210 secs
lola: 5411590 markings, 23636189 edges, 23941 markings/sec, 215 secs
lola: 5537384 markings, 24182564 edges, 25159 markings/sec, 220 secs
lola: 5660090 markings, 24733026 edges, 24541 markings/sec, 225 secs
lola: 5787512 markings, 25258980 edges, 25484 markings/sec, 230 secs
lola: 5911335 markings, 25794017 edges, 24765 markings/sec, 235 secs
lola: 6033843 markings, 26333178 edges, 24502 markings/sec, 240 secs
lola: 6154656 markings, 26879190 edges, 24163 markings/sec, 245 secs
lola: 6273611 markings, 27408127 edges, 23791 markings/sec, 250 secs
lola: 6395042 markings, 27926608 edges, 24286 markings/sec, 255 secs
lola: 6515744 markings, 28426721 edges, 24140 markings/sec, 260 secs
lola: 6635731 markings, 28929709 edges, 23997 markings/sec, 265 secs
lola: 6759489 markings, 29465480 edges, 24752 markings/sec, 270 secs
lola: 6879232 markings, 30003695 edges, 23949 markings/sec, 275 secs
lola: 7000504 markings, 30533568 edges, 24254 markings/sec, 280 secs
lola: 7119574 markings, 31093090 edges, 23814 markings/sec, 285 secs
lola: 7243286 markings, 31620258 edges, 24742 markings/sec, 290 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 200 200 unknown unknown unknown unknown unknown unknown 200 unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown 200 200 unknown unknown unknown unknown unknown unknown 200 unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1994176 KB
lola: time consumption: 2669 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 300 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__9_7_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__9_7_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D10N200-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: 200
lola: 120626 markings, 465044 edges, 24125 markings/sec, 0 secs
lola: 239332 markings, 950493 edges, 23741 markings/sec, 5 secs
lola: 360775 markings, 1424725 edges, 24289 markings/sec, 10 secs
lola: 482505 markings, 1890373 edges, 24346 markings/sec, 15 secs
lola: 603822 markings, 2354517 edges, 24263 markings/sec, 20 secs
lola: 724593 markings, 2816740 edges, 24154 markings/sec, 25 secs
lola: 845396 markings, 3278795 edges, 24161 markings/sec, 30 secs
lola: 966781 markings, 3720668 edges, 24277 markings/sec, 35 secs
lola: 1087614 markings, 4171644 edges, 24167 markings/sec, 40 secs
lola: 1206583 markings, 4621297 edges, 23794 markings/sec, 45 secs
lola: 1325316 markings, 5055006 edges, 23747 markings/sec, 50 secs
lola: 1444901 markings, 5475942 edges, 23917 markings/sec, 55 secs
lola: 1565197 markings, 5931556 edges, 24059 markings/sec, 60 secs
lola: 1684753 markings, 6389072 edges, 23911 markings/sec, 65 secs
lola: 1803667 markings, 6844344 edges, 23783 markings/sec, 70 secs
lola: 1922311 markings, 7298337 edges, 23729 markings/sec, 75 secs
lola: 2040599 markings, 7751001 edges, 23658 markings/sec, 80 secs
lola: 2158254 markings, 8205601 edges, 23531 markings/sec, 85 secs
lola: 2277145 markings, 8660476 edges, 23778 markings/sec, 90 secs
lola: 2394440 markings, 9109128 edges, 23459 markings/sec, 95 secs
lola: 2509911 markings, 9550925 edges, 23094 markings/sec, 100 secs
lola: 2627199 markings, 9999601 edges, 23458 markings/sec, 105 secs
lola: 2742844 markings, 10441998 edges, 23129 markings/sec, 110 secs
lola: 2859781 markings, 10871349 edges, 23387 markings/sec, 115 secs
lola: 2977795 markings, 11320422 edges, 23603 markings/sec, 120 secs
lola: 3094920 markings, 11787774 edges, 23425 markings/sec, 125 secs
lola: 3212486 markings, 12238831 edges, 23513 markings/sec, 130 secs
lola: 3328194 markings, 12661518 edges, 23142 markings/sec, 135 secs
lola: 3445798 markings, 13075078 edges, 23521 markings/sec, 140 secs
lola: 3565180 markings, 13527014 edges, 23876 markings/sec, 145 secs
lola: 3682674 markings, 13976405 edges, 23499 markings/sec, 150 secs
lola: 3798806 markings, 14420879 edges, 23226 markings/sec, 155 secs
lola: 3914825 markings, 14864701 edges, 23204 markings/sec, 160 secs
lola: 4030756 markings, 15308157 edges, 23186 markings/sec, 165 secs
lola: 4145156 markings, 15745933 edges, 22880 markings/sec, 170 secs
lola: 4261972 markings, 16154608 edges, 23363 markings/sec, 175 secs
lola: 4379482 markings, 16610951 edges, 23502 markings/sec, 180 secs
lola: 4496952 markings, 17066971 edges, 23494 markings/sec, 185 secs
lola: 4613924 markings, 17514523 edges, 23394 markings/sec, 190 secs
lola: 4730210 markings, 17959455 edges, 23257 markings/sec, 195 secs
lola: 4845415 markings, 18400350 edges, 23041 markings/sec, 200 secs
lola: 4960565 markings, 18840752 edges, 23030 markings/sec, 205 secs
lola: 5076540 markings, 19284493 edges, 23195 markings/sec, 210 secs
lola: 5194650 markings, 19697955 edges, 23622 markings/sec, 215 secs
lola: 5310878 markings, 20151707 edges, 23246 markings/sec, 220 secs
lola: 5426192 markings, 20613221 edges, 23063 markings/sec, 225 secs
lola: 5544200 markings, 21070702 edges, 23602 markings/sec, 230 secs
lola: 5662208 markings, 21528274 edges, 23602 markings/sec, 235 secs
lola: 5779903 markings, 21984482 edges, 23539 markings/sec, 240 secs
lola: 5896848 markings, 22437235 edges, 23389 markings/sec, 245 secs
lola: 6014381 markings, 22892922 edges, 23507 markings/sec, 250 secs
lola: 6131611 markings, 23347176 edges, 23446 markings/sec, 255 secs
lola: 6248381 markings, 23800043 edges, 23354 markings/sec, 260 secs
lola: 6366482 markings, 24257723 edges, 23620 markings/sec, 265 secs
lola: 6485077 markings, 24717425 edges, 23719 markings/sec, 270 secs
lola: 6603827 markings, 25173673 edges, 23750 markings/sec, 275 secs
lola: 6721809 markings, 25643876 edges, 23596 markings/sec, 280 secs
lola: 6839651 markings, 26108912 edges, 23568 markings/sec, 285 secs
lola: 6957463 markings, 26571731 edges, 23562 markings/sec, 290 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 200 200 unknown unknown unknown unknown unknown unknown 200 unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown 200 200 unknown unknown unknown unknown unknown unknown 200 unknown unknown unknown unknown unknown unknown
lola: memory consumption: 2100896 KB
lola: time consumption: 2969 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 300 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__4_1_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__4_1_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D10N200-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: 200
lola: 123363 markings, 407486 edges, 24673 markings/sec, 0 secs
lola: 244782 markings, 820197 edges, 24284 markings/sec, 5 secs
lola: 368766 markings, 1224960 edges, 24797 markings/sec, 10 secs
lola: 492142 markings, 1629155 edges, 24675 markings/sec, 15 secs
lola: 615456 markings, 2029301 edges, 24663 markings/sec, 20 secs
lola: 737986 markings, 2433301 edges, 24506 markings/sec, 25 secs
lola: 860365 markings, 2843121 edges, 24476 markings/sec, 30 secs
lola: 983060 markings, 3239558 edges, 24539 markings/sec, 35 secs
lola: 1105786 markings, 3645046 edges, 24545 markings/sec, 40 secs
lola: 1228182 markings, 4053059 edges, 24479 markings/sec, 45 secs
lola: 1351306 markings, 4453694 edges, 24625 markings/sec, 50 secs
lola: 1474763 markings, 4852722 edges, 24691 markings/sec, 55 secs
lola: 1597355 markings, 5259758 edges, 24518 markings/sec, 60 secs
lola: 1720672 markings, 5661749 edges, 24663 markings/sec, 65 secs
lola: 1844421 markings, 6062313 edges, 24750 markings/sec, 70 secs
lola: 1966534 markings, 6463987 edges, 24423 markings/sec, 75 secs
lola: 2088306 markings, 6866201 edges, 24354 markings/sec, 80 secs
lola: 2211023 markings, 7264230 edges, 24543 markings/sec, 85 secs
lola: 2332495 markings, 7660447 edges, 24294 markings/sec, 90 secs
lola: 2454206 markings, 8062969 edges, 24342 markings/sec, 95 secs
lola: 2577552 markings, 8464456 edges, 24669 markings/sec, 100 secs
lola: 2699767 markings, 8860361 edges, 24443 markings/sec, 105 secs
lola: 2821164 markings, 9266623 edges, 24279 markings/sec, 110 secs
lola: 2943696 markings, 9665031 edges, 24506 markings/sec, 115 secs
lola: 3065767 markings, 10060662 edges, 24414 markings/sec, 120 secs
lola: 3187280 markings, 10464875 edges, 24303 markings/sec, 125 secs
lola: 3307501 markings, 10856051 edges, 24044 markings/sec, 130 secs
lola: 3430426 markings, 11253478 edges, 24585 markings/sec, 135 secs
lola: 3551058 markings, 11648566 edges, 24126 markings/sec, 140 secs
lola: 3672435 markings, 12054433 edges, 24275 markings/sec, 145 secs
lola: 3794963 markings, 12449596 edges, 24506 markings/sec, 150 secs
lola: 3915625 markings, 12842724 edges, 24132 markings/sec, 155 secs
lola: 4035592 markings, 13238786 edges, 23993 markings/sec, 160 secs
lola: 4157981 markings, 13637312 edges, 24478 markings/sec, 165 secs
lola: 4280519 markings, 14033925 edges, 24508 markings/sec, 170 secs
lola: 4401809 markings, 14440133 edges, 24258 markings/sec, 175 secs
lola: 4523573 markings, 14838431 edges, 24353 markings/sec, 180 secs
lola: 4645219 markings, 15232879 edges, 24329 markings/sec, 185 secs
lola: 4766474 markings, 15634032 edges, 24251 markings/sec, 190 secs
lola: 4888019 markings, 16031902 edges, 24309 markings/sec, 195 secs
lola: 5011260 markings, 16428518 edges, 24648 markings/sec, 200 secs
lola: 5132408 markings, 16825820 edges, 24230 markings/sec, 205 secs
lola: 5253018 markings, 17230479 edges, 24122 markings/sec, 210 secs
lola: 5374298 markings, 17621801 edges, 24256 markings/sec, 215 secs
lola: 5496043 markings, 18018075 edges, 24349 markings/sec, 220 secs
lola: 5616924 markings, 18416304 edges, 24176 markings/sec, 225 secs
lola: 5739422 markings, 18815858 edges, 24500 markings/sec, 230 secs
lola: 5862128 markings, 19213503 edges, 24541 markings/sec, 235 secs
lola: 5983455 markings, 19613073 edges, 24265 markings/sec, 240 secs
lola: 6104664 markings, 20012497 edges, 24242 markings/sec, 245 secs
lola: 6224536 markings, 20403174 edges, 23974 markings/sec, 250 secs
lola: 6345328 markings, 20797229 edges, 24158 markings/sec, 255 secs
lola: 6465932 markings, 21194975 edges, 24121 markings/sec, 260 secs
lola: 6588067 markings, 21590876 edges, 24427 markings/sec, 265 secs
lola: 6708584 markings, 21983601 edges, 24103 markings/sec, 270 secs
lola: 6829166 markings, 22386296 edges, 24116 markings/sec, 275 secs
lola: 6951019 markings, 22782002 edges, 24371 markings/sec, 280 secs
lola: 7070825 markings, 23170983 edges, 23961 markings/sec, 285 secs
lola: 7191902 markings, 23573200 edges, 24215 markings/sec, 290 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 200 200 unknown unknown unknown unknown unknown unknown 200 unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown 200 200 unknown unknown unknown unknown unknown unknown 200 unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1842904 KB
lola: time consumption: 3270 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 300 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__7_3_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__7_3_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D10N200-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: 200
lola: 122750 markings, 370683 edges, 24550 markings/sec, 0 secs
lola: 247687 markings, 748392 edges, 24987 markings/sec, 5 secs
lola: 372068 markings, 1107612 edges, 24876 markings/sec, 10 secs
lola: 497668 markings, 1465547 edges, 25120 markings/sec, 15 secs
lola: 622937 markings, 1825026 edges, 25054 markings/sec, 20 secs
lola: 747862 markings, 2183520 edges, 24985 markings/sec, 25 secs
lola: 873260 markings, 2540083 edges, 25080 markings/sec, 30 secs
lola: 998465 markings, 2897279 edges, 25041 markings/sec, 35 secs
lola: 1123212 markings, 3253687 edges, 24949 markings/sec, 40 secs
lola: 1247648 markings, 3608525 edges, 24887 markings/sec, 45 secs
lola: 1372462 markings, 3964583 edges, 24963 markings/sec, 50 secs
lola: 1497216 markings, 4319930 edges, 24951 markings/sec, 55 secs
lola: 1621674 markings, 4677416 edges, 24892 markings/sec, 60 secs
lola: 1745775 markings, 5033289 edges, 24820 markings/sec, 65 secs
lola: 1870443 markings, 5388015 edges, 24934 markings/sec, 70 secs
lola: 1994642 markings, 5742700 edges, 24840 markings/sec, 75 secs
lola: 2118797 markings, 6096619 edges, 24831 markings/sec, 80 secs
lola: 2242884 markings, 6451111 edges, 24817 markings/sec, 85 secs
lola: 2367711 markings, 6807399 edges, 24965 markings/sec, 90 secs
lola: 2491955 markings, 7161257 edges, 24849 markings/sec, 95 secs
lola: 2615985 markings, 7515881 edges, 24806 markings/sec, 100 secs
lola: 2740366 markings, 7873017 edges, 24876 markings/sec, 105 secs
lola: 2862706 markings, 8223498 edges, 24468 markings/sec, 110 secs
lola: 2987343 markings, 8578019 edges, 24927 markings/sec, 115 secs
lola: 3111707 markings, 8932873 edges, 24873 markings/sec, 120 secs
lola: 3235036 markings, 9284596 edges, 24666 markings/sec, 125 secs
lola: 3359130 markings, 9639100 edges, 24819 markings/sec, 130 secs
lola: 3482992 markings, 9992616 edges, 24772 markings/sec, 135 secs
lola: 3605678 markings, 10342395 edges, 24537 markings/sec, 140 secs
lola: 3728713 markings, 10693384 edges, 24607 markings/sec, 145 secs
lola: 3850517 markings, 11042044 edges, 24361 markings/sec, 150 secs
lola: 3973252 markings, 11394026 edges, 24547 markings/sec, 155 secs
lola: 4095772 markings, 11744865 edges, 24504 markings/sec, 160 secs
lola: 4221294 markings, 12102126 edges, 25104 markings/sec, 165 secs
lola: 4345748 markings, 12457168 edges, 24891 markings/sec, 170 secs
lola: 4470397 markings, 12813034 edges, 24930 markings/sec, 175 secs
lola: 4594180 markings, 13166018 edges, 24757 markings/sec, 180 secs
lola: 4718999 markings, 13522480 edges, 24964 markings/sec, 185 secs
lola: 4843527 markings, 13877459 edges, 24906 markings/sec, 190 secs
lola: 4967849 markings, 14233303 edges, 24864 markings/sec, 195 secs
lola: 5092106 markings, 14590090 edges, 24851 markings/sec, 200 secs
lola: 5213793 markings, 14938128 edges, 24337 markings/sec, 205 secs
lola: 5338705 markings, 15293158 edges, 24982 markings/sec, 210 secs
lola: 5463312 markings, 15648873 edges, 24921 markings/sec, 215 secs
lola: 5587838 markings, 16004533 edges, 24905 markings/sec, 220 secs
lola: 5712127 markings, 16359060 edges, 24858 markings/sec, 225 secs
lola: 5836425 markings, 16713698 edges, 24860 markings/sec, 230 secs
lola: 5960523 markings, 17067637 edges, 24820 markings/sec, 235 secs
lola: 6083849 markings, 17420456 edges, 24665 markings/sec, 240 secs
lola: 6208484 markings, 17778458 edges, 24927 markings/sec, 245 secs
lola: 6333236 markings, 18134285 edges, 24950 markings/sec, 250 secs
lola: 6457321 markings, 18487968 edges, 24817 markings/sec, 255 secs
lola: 6580048 markings, 18838175 edges, 24545 markings/sec, 260 secs
lola: 6702536 markings, 19188058 edges, 24498 markings/sec, 265 secs
lola: 6825330 markings, 19538558 edges, 24559 markings/sec, 270 secs
lola: 6948794 markings, 19890934 edges, 24693 markings/sec, 275 secs
lola: 7072548 markings, 20243945 edges, 24751 markings/sec, 280 secs
lola: 7194833 markings, 20592622 edges, 24457 markings/sec, 285 secs
lola: 7317327 markings, 20943278 edges, 24499 markings/sec, 290 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 200 200 unknown unknown unknown unknown unknown unknown 200 unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown 200 200 unknown unknown unknown unknown unknown unknown 200 unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1923424 KB
lola: time consumption: 3570 seconds
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__7_1_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__7_1_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D10N200-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: 200
lola: time limit reached - aborting
lola:
preliminary result: unknown 200 200 unknown unknown unknown unknown unknown unknown 200 unknown unknown unknown unknown unknown unknown
lola:
preliminary result: unknown 200 200 unknown unknown unknown unknown unknown unknown 200 unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown 200 200 unknown unknown unknown unknown unknown unknown 200 unknown unknown unknown unknown unknown unknown
lola: memory consumption: 18856 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown 200 200 unknown unknown unknown unknown unknown unknown 200 unknown unknown unknown unknown unknown unknown
lola: memory consumption: 18384 KB
lola: time consumption: 3570 seconds

BK_STOP 1552917285972

--------------------
content from stderr:

grep: GenericPropertiesVerdict.xml: No such file or directory

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-D10N200"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="win2018"
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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3954"
echo " Executing tool win2018"
echo " Input is Diffusion2D-PT-D10N200, 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 r066-ebro-155234666400037"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/Diffusion2D-PT-D10N200.tgz
mv Diffusion2D-PT-D10N200 execution
cd execution
if [ "UpperBounds" = "GlobalProperties" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
if [ "UpperBounds" = "UpperBounds" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

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 ;