About the Execution of 2018-Gold for Diffusion2D-PT-D05N250
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-155234666400016.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-D05N250, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r066-ebro-155234666400016
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 228K
-rw-r--r-- 1 mcc users 4.3K Feb 10 21:29 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 10 21:29 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Feb 6 17:48 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 6 17:48 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:30 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K Feb 4 23:30 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Feb 4 22:34 LTLFireability.txt
-rw-r--r-- 1 mcc users 7.0K Feb 4 22:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.4K Feb 3 07:20 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Feb 3 07:20 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.6K Jan 30 23:44 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 20K Jan 30 23:44 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 55K 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-D05N250-UpperBounds-00
FORMULA_NAME Diffusion2D-PT-D05N250-UpperBounds-01
FORMULA_NAME Diffusion2D-PT-D05N250-UpperBounds-02
FORMULA_NAME Diffusion2D-PT-D05N250-UpperBounds-03
FORMULA_NAME Diffusion2D-PT-D05N250-UpperBounds-04
FORMULA_NAME Diffusion2D-PT-D05N250-UpperBounds-05
FORMULA_NAME Diffusion2D-PT-D05N250-UpperBounds-06
FORMULA_NAME Diffusion2D-PT-D05N250-UpperBounds-07
FORMULA_NAME Diffusion2D-PT-D05N250-UpperBounds-08
FORMULA_NAME Diffusion2D-PT-D05N250-UpperBounds-09
FORMULA_NAME Diffusion2D-PT-D05N250-UpperBounds-10
FORMULA_NAME Diffusion2D-PT-D05N250-UpperBounds-11
FORMULA_NAME Diffusion2D-PT-D05N250-UpperBounds-12
FORMULA_NAME Diffusion2D-PT-D05N250-UpperBounds-13
FORMULA_NAME Diffusion2D-PT-D05N250-UpperBounds-14
FORMULA_NAME Diffusion2D-PT-D05N250-UpperBounds-15
=== Now, execution of the tool begins
BK_START 1552910262181
info: Time: 3600 - MCC
===========================================================================================
prep: translating Diffusion2D-PT-D05N250 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating Diffusion2D-PT-D05N250 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ Diffusion2D-PT-D05N250 @ 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: 169/65536 symbol table entries, 4 collisions
lola: preprocessing...
lola: Size of bit vector: 800
lola: finding significant places
lola: 25 places, 144 transitions, 24 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 25 transition conflict sets
lola: TASK
lola: reading formula from Diffusion2D-PT-D05N250-UpperBounds.task
lola: MAX(cAMP__2_3_) : MAX(cAMP__4_2_) : MAX(cAMP__1_5_) : MAX(cAMP__1_3_) : MAX(cAMP__1_4_) : MAX(cAMP__2_2_) : MAX(cAMP__5_1_) : MAX(cAMP__1_3_) : MAX(cAMP__1_4_) : MAX(cAMP__2_3_) : MAX(cAMP__5_4_) : MAX(cAMP__3_1_) : MAX(cAMP__5_1_) : MAX(cAMP__3_4_) : MAX(cAMP__1_4_) : MAX(cAMP__3_5_)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__2_3_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__2_3_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D05N250-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: 250
lola: SUBRESULT
lola: result: 250
lola: produced by: state space
lola: The maximum value of the given expression is 250
lola: 251 markings, 250 edges
lola: ========================================
FORMULA Diffusion2D-PT-D05N250-UpperBounds-0 250 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 238 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__4_2_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__4_2_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D05N250-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: 250
lola: SUBRESULT
lola: result: 250
lola: produced by: state space
lola: The maximum value of the given expression is 250
lola: 251 markings, 250 edges
lola: ========================================
FORMULA Diffusion2D-PT-D05N250-UpperBounds-1 250 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 255 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__1_5_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__1_5_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D05N250-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: 250
lola: 600064 markings, 1473560 edges, 120013 markings/sec, 0 secs
lola: 1207299 markings, 2960833 edges, 121447 markings/sec, 5 secs
lola: 1816710 markings, 4449946 edges, 121882 markings/sec, 10 secs
lola: 2413818 markings, 5915048 edges, 119422 markings/sec, 15 secs
lola: 3003510 markings, 7353530 edges, 117938 markings/sec, 20 secs
lola: 3597417 markings, 8800095 edges, 118781 markings/sec, 25 secs
lola: 4186478 markings, 10245382 edges, 117812 markings/sec, 30 secs
lola: 4767461 markings, 11667411 edges, 116197 markings/sec, 35 secs
lola: 5363347 markings, 13124187 edges, 119177 markings/sec, 40 secs
lola: 5956653 markings, 14574123 edges, 118661 markings/sec, 45 secs
lola: 6541013 markings, 15995629 edges, 116872 markings/sec, 50 secs
lola: 7115092 markings, 17396646 edges, 114816 markings/sec, 55 secs
lola: 7694434 markings, 18805094 edges, 115868 markings/sec, 60 secs
lola: 8272965 markings, 20223481 edges, 115706 markings/sec, 65 secs
lola: 8853719 markings, 21641470 edges, 116151 markings/sec, 70 secs
lola: 9432985 markings, 23049415 edges, 115853 markings/sec, 75 secs
lola: 10004474 markings, 24462263 edges, 114298 markings/sec, 80 secs
lola: 10576777 markings, 25856785 edges, 114461 markings/sec, 85 secs
lola: 11144624 markings, 27246688 edges, 113569 markings/sec, 90 secs
lola: 11727729 markings, 28663462 edges, 116621 markings/sec, 95 secs
lola: 12304981 markings, 30075705 edges, 115450 markings/sec, 100 secs
lola: 12894210 markings, 31508014 edges, 117846 markings/sec, 105 secs
lola: 13471059 markings, 32912395 edges, 115370 markings/sec, 110 secs
lola: 14041231 markings, 34303963 edges, 114034 markings/sec, 115 secs
lola: 14613542 markings, 35712793 edges, 114462 markings/sec, 120 secs
lola: 15178363 markings, 37095139 edges, 112964 markings/sec, 125 secs
lola: 15740317 markings, 38461267 edges, 112391 markings/sec, 130 secs
lola: 16305282 markings, 39851877 edges, 112993 markings/sec, 135 secs
lola: 16871291 markings, 41229073 edges, 113202 markings/sec, 140 secs
lola: 17434102 markings, 42599912 edges, 112562 markings/sec, 145 secs
lola: 17995344 markings, 43960217 edges, 112248 markings/sec, 150 secs
lola: 18567231 markings, 45348827 edges, 114377 markings/sec, 155 secs
lola: 19129946 markings, 46728738 edges, 112543 markings/sec, 160 secs
lola: 19691765 markings, 48103172 edges, 112364 markings/sec, 165 secs
lola: 20258336 markings, 49487829 edges, 113314 markings/sec, 170 secs
lola: 20858333 markings, 50946640 edges, 119999 markings/sec, 175 secs
lola: 21433341 markings, 52356684 edges, 115002 markings/sec, 180 secs
lola: 22015345 markings, 53783514 edges, 116401 markings/sec, 185 secs
lola: 22596074 markings, 55193993 edges, 116146 markings/sec, 190 secs
lola: 23174384 markings, 56613221 edges, 115662 markings/sec, 195 secs
lola: 23760425 markings, 58038747 edges, 117208 markings/sec, 200 secs
lola: 24344802 markings, 59459834 edges, 116875 markings/sec, 205 secs
lola: 24927193 markings, 60897742 edges, 116478 markings/sec, 210 secs
lola: 25535590 markings, 62378252 edges, 121679 markings/sec, 215 secs
lola: 26156319 markings, 63906979 edges, 124146 markings/sec, 220 secs
lola: 26758772 markings, 65379456 edges, 120491 markings/sec, 225 secs
lola: 27335597 markings, 66778359 edges, 115365 markings/sec, 230 secs
lola: 27905718 markings, 68167040 edges, 114024 markings/sec, 235 secs
lola: 28433242 markings, 69452959 edges, 105505 markings/sec, 240 secs
lola: 28988363 markings, 70810788 edges, 111024 markings/sec, 245 secs
lola: local time limit reached - aborting
lola:
preliminary result: 250 250 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: 250 250 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 6617620 KB
lola: time consumption: 256 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 254 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-D05N250-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: 250
lola: SUBRESULT
lola: result: 250
lola: produced by: state space
lola: The maximum value of the given expression is 250
lola: 501 markings, 500 edges
lola:
FORMULA Diffusion2D-PT-D05N250-UpperBounds-3 250 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 4 will run for 276 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__1_4_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__1_4_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D05N250-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: 250
lola: 583758 markings, 1662886 edges, 116752 markings/sec, 0 secs
lola: SUBRESULT
lola: result: 250
lola: produced by: state space
lola: The maximum value of the given expression is 250
lola: 1070080 markings, 3016037 edges
lola: ========================================
FORMULA Diffusion2D-PT-D05N250-UpperBounds-4 250 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 300 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__2_2_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__2_2_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D05N250-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: 250
lola: SUBRESULT
lola: result: 250
lola: produced by: state space
lola: The maximum value of the given expression is 250
lola: 251 markings, 250 edges
lola: ========================================
FORMULA Diffusion2D-PT-D05N250-UpperBounds-5 250 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 330 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__5_1_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__5_1_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D05N250-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: 250
lola: 625961 markings, 1677376 edges, 125192 markings/sec, 0 secs
lola: 1246609 markings, 3343383 edges, 124130 markings/sec, 5 secs
lola: 1879534 markings, 5044008 edges, 126585 markings/sec, 10 secs
lola: 2447390 markings, 6567060 edges, 113571 markings/sec, 15 secs
lola: 3018843 markings, 8099734 edges, 114291 markings/sec, 20 secs
lola: 3598883 markings, 9655872 edges, 116008 markings/sec, 25 secs
lola: 4154649 markings, 11147391 edges, 111153 markings/sec, 30 secs
lola: 4733444 markings, 12700070 edges, 115759 markings/sec, 35 secs
lola: 5311340 markings, 14250655 edges, 115579 markings/sec, 40 secs
lola: 5889019 markings, 15800834 edges, 115536 markings/sec, 45 secs
lola: 6450421 markings, 17307300 edges, 112280 markings/sec, 50 secs
lola: 7023107 markings, 18843846 edges, 114537 markings/sec, 55 secs
lola: 7600356 markings, 20392983 edges, 115450 markings/sec, 60 secs
lola: 8160626 markings, 21896638 edges, 112054 markings/sec, 65 secs
lola: 8726508 markings, 23415008 edges, 113176 markings/sec, 70 secs
lola: 9288967 markings, 24924170 edges, 112492 markings/sec, 75 secs
lola: 9855764 markings, 26445338 edges, 113359 markings/sec, 80 secs
lola: 10426245 markings, 27976207 edges, 114096 markings/sec, 85 secs
lola: 10978520 markings, 29458021 edges, 110455 markings/sec, 90 secs
lola: 11545043 markings, 30978519 edges, 113305 markings/sec, 95 secs
lola: 12112404 markings, 32501075 edges, 113472 markings/sec, 100 secs
lola: 12679912 markings, 34023884 edges, 113502 markings/sec, 105 secs
lola: 13245555 markings, 35541746 edges, 113129 markings/sec, 110 secs
lola: 13815421 markings, 37071265 edges, 113973 markings/sec, 115 secs
lola: 14385818 markings, 38601924 edges, 114079 markings/sec, 120 secs
lola: 14952151 markings, 40121706 edges, 113267 markings/sec, 125 secs
lola: 15522672 markings, 41652660 edges, 114104 markings/sec, 130 secs
lola: 16095975 markings, 43191211 edges, 114661 markings/sec, 135 secs
lola: 16666805 markings, 44722909 edges, 114166 markings/sec, 140 secs
lola: 17235365 markings, 46248925 edges, 113712 markings/sec, 145 secs
lola: 17806304 markings, 47781028 edges, 114188 markings/sec, 150 secs
lola: 18379089 markings, 49318449 edges, 114557 markings/sec, 155 secs
lola: 18951782 markings, 50855277 edges, 114539 markings/sec, 160 secs
lola: 19521371 markings, 52383966 edges, 113918 markings/sec, 165 secs
lola: 20095785 markings, 53925711 edges, 114883 markings/sec, 170 secs
lola: 20665133 markings, 55453221 edges, 113870 markings/sec, 175 secs
lola: 21220839 markings, 56944797 edges, 111141 markings/sec, 180 secs
lola: 21785422 markings, 58459979 edges, 112917 markings/sec, 185 secs
lola: 22357238 markings, 59994808 edges, 114363 markings/sec, 190 secs
lola: 22928139 markings, 61526831 edges, 114180 markings/sec, 195 secs
lola: 23495168 markings, 63048526 edges, 113406 markings/sec, 200 secs
lola: 24074039 markings, 64602161 edges, 115774 markings/sec, 205 secs
lola: 24651206 markings, 66151143 edges, 115433 markings/sec, 210 secs
lola: 25213015 markings, 67659009 edges, 112362 markings/sec, 215 secs
lola: 25768386 markings, 69149206 edges, 111074 markings/sec, 220 secs
lola: 26331482 markings, 70660584 edges, 112619 markings/sec, 225 secs
lola: 26898312 markings, 72182047 edges, 113366 markings/sec, 230 secs
lola: 27466888 markings, 73707712 edges, 113715 markings/sec, 235 secs
lola: 28033539 markings, 75228613 edges, 113330 markings/sec, 240 secs
lola: 28603107 markings, 76757455 edges, 113914 markings/sec, 245 secs
lola: 29174822 markings, 78291790 edges, 114343 markings/sec, 250 secs
lola: 29740861 markings, 79810765 edges, 113208 markings/sec, 255 secs
lola: 30310695 markings, 81340210 edges, 113967 markings/sec, 260 secs
lola: 30879699 markings, 82867532 edges, 113801 markings/sec, 265 secs
lola: 31443460 markings, 84380416 edges, 112752 markings/sec, 270 secs
lola: 32016062 markings, 85917397 edges, 114520 markings/sec, 275 secs
lola: 32588971 markings, 87455030 edges, 114582 markings/sec, 280 secs
lola: 33161366 markings, 88991191 edges, 114479 markings/sec, 285 secs
lola: 33738931 markings, 90541229 edges, 115513 markings/sec, 290 secs
lola: 34314466 markings, 92086037 edges, 115107 markings/sec, 295 secs
lola: 34890605 markings, 93632225 edges, 115228 markings/sec, 300 secs
lola: 35470170 markings, 95187944 edges, 115913 markings/sec, 305 secs
lola: 36044877 markings, 96730192 edges, 114941 markings/sec, 310 secs
lola: 36621636 markings, 98278231 edges, 115352 markings/sec, 315 secs
lola: 37198825 markings, 99827357 edges, 115438 markings/sec, 320 secs
lola: local time limit reached - aborting
lola:
preliminary result: 250 250 unknown 250 250 250 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: 250 250 unknown 250 250 250 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 7610288 KB
lola: time consumption: 596 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 330 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-D05N250-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: 250
lola: SUBRESULT
lola: result: 250
lola: produced by: state space
lola: The maximum value of the given expression is 250
lola: 501 markings, 500 edges
lola: ========================================
FORMULA Diffusion2D-PT-D05N250-UpperBounds-7 250 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 371 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__1_4_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__1_4_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D05N250-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: 250
lola: 581981 markings, 1657913 edges, 116396 markings/sec, 0 secs
lola: SUBRESULT
lola: result: 250
lola: produced by: state space
lola: The maximum value of the given expression is 250
lola: 1070080 markings, 3016037 edges
lola: ========================================
FORMULA Diffusion2D-PT-D05N250-UpperBounds-8 250 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 423 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__2_3_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__2_3_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D05N250-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: 250
lola: SUBRESULT
lola: result: 250
lola: produced by: state space
lola: The maximum value of the given expression is 250
lola: 251 markings, 250 edges
lola: ========================================
FORMULA Diffusion2D-PT-D05N250-UpperBounds-9 250 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 494 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__5_4_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__5_4_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D05N250-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: 250
lola: SUBRESULT
lola: result: 250
lola: produced by: state space
lola: The maximum value of the given expression is 250
lola: 8229 markings, 19195 edges
FORMULA Diffusion2D-PT-D05N250-UpperBounds-10 250 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 11 will run for 592 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__3_1_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__3_1_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D05N250-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: 250
lola: SUBRESULT
lola: result: 250
lola: produced by: state space
lola: The maximum value of the given expression is 250
lola: 501 markings, 500 edges
lola: ========================================
FORMULA Diffusion2D-PT-D05N250-UpperBounds-11 250 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 741 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__5_1_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__5_1_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D05N250-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: 250
lola: 614790 markings, 1647383 edges, 122958 markings/sec, 0 secs
lola: 1233329 markings, 3307924 edges, 123708 markings/sec, 5 secs
lola: 1870975 markings, 5021620 edges, 127529 markings/sec, 10 secs
lola: 2453759 markings, 6583809 edges, 116557 markings/sec, 15 secs
lola: 3031869 markings, 8134943 edges, 115622 markings/sec, 20 secs
lola: 3605721 markings, 9674521 edges, 114770 markings/sec, 25 secs
lola: 4181115 markings, 11218203 edges, 115079 markings/sec, 30 secs
lola: 4755754 markings, 12759756 edges, 114928 markings/sec, 35 secs
lola: 5326885 markings, 14292540 edges, 114226 markings/sec, 40 secs
lola: 5893862 markings, 15813932 edges, 113395 markings/sec, 45 secs
lola: 6462901 markings, 17340786 edges, 113808 markings/sec, 50 secs
lola: 7025952 markings, 18851625 edges, 112610 markings/sec, 55 secs
lola: 7596635 markings, 20383141 edges, 114137 markings/sec, 60 secs
lola: 8169691 markings, 21920885 edges, 114611 markings/sec, 65 secs
lola: 8739993 markings, 23451316 edges, 114060 markings/sec, 70 secs
lola: 9311155 markings, 24983628 edges, 114232 markings/sec, 75 secs
lola: 9879368 markings, 26508832 edges, 113643 markings/sec, 80 secs
lola: 10450861 markings, 28042459 edges, 114299 markings/sec, 85 secs
lola: 11008459 markings, 29538551 edges, 111520 markings/sec, 90 secs
lola: 11577454 markings, 31065488 edges, 113799 markings/sec, 95 secs
lola: 12149773 markings, 32601207 edges, 114464 markings/sec, 100 secs
lola: 12721843 markings, 34136201 edges, 114414 markings/sec, 105 secs
lola: 13294395 markings, 35672649 edges, 114510 markings/sec, 110 secs
lola: 13864684 markings, 37203534 edges, 114058 markings/sec, 115 secs
lola: 14436204 markings, 38737345 edges, 114304 markings/sec, 120 secs
lola: 14998785 markings, 40246666 edges, 112516 markings/sec, 125 secs
lola: 15572573 markings, 41786775 edges, 114758 markings/sec, 130 secs
lola: 16142981 markings, 43317217 edges, 114082 markings/sec, 135 secs
lola: 16711629 markings, 44843603 edges, 113730 markings/sec, 140 secs
lola: 17272726 markings, 46349225 edges, 112219 markings/sec, 145 secs
lola: 17844361 markings, 47883543 edges, 114327 markings/sec, 150 secs
lola: 18420249 markings, 49428717 edges, 115178 markings/sec, 155 secs
lola: 18995519 markings, 50972463 edges, 115054 markings/sec, 160 secs
lola: 19566252 markings, 52504408 edges, 114147 markings/sec, 165 secs
lola: 20140276 markings, 54044769 edges, 114805 markings/sec, 170 secs
lola: 20715273 markings, 55588007 edges, 114999 markings/sec, 175 secs
lola: 21282401 markings, 57110133 edges, 113426 markings/sec, 180 secs
lola: 21846284 markings, 58623499 edges, 112777 markings/sec, 185 secs
lola: 22419938 markings, 60162922 edges, 114731 markings/sec, 190 secs
lola: 22985722 markings, 61681366 edges, 113157 markings/sec, 195 secs
lola: 23556274 markings, 63212435 edges, 114110 markings/sec, 200 secs
lola: 24131008 markings, 64754954 edges, 114947 markings/sec, 205 secs
lola: 24705045 markings, 66295588 edges, 114807 markings/sec, 210 secs
lola: 25279273 markings, 67836704 edges, 114846 markings/sec, 215 secs
lola: 25855832 markings, 69384132 edges, 115312 markings/sec, 220 secs
lola: 26431642 markings, 70929331 edges, 115162 markings/sec, 225 secs
lola: 27004519 markings, 72466870 edges, 114575 markings/sec, 230 secs
lola: 27577794 markings, 74005511 edges, 114655 markings/sec, 235 secs
lola: 28143845 markings, 75524670 edges, 113210 markings/sec, 240 secs
lola: 28719078 markings, 77068475 edges, 115047 markings/sec, 245 secs
lola: 29297116 markings, 78619831 edges, 115608 markings/sec, 250 secs
lola: 29873193 markings, 80166203 edges, 115215 markings/sec, 255 secs
lola: 30437306 markings, 81680157 edges, 112823 markings/sec, 260 secs
lola: 31010773 markings, 83218942 edges, 114693 markings/sec, 265 secs
lola: 31577832 markings, 84741088 edges, 113412 markings/sec, 270 secs
lola: 32152650 markings, 86283867 edges, 114964 markings/sec, 275 secs
lola: 32715325 markings, 87793767 edges, 112535 markings/sec, 280 secs
lola: 33281680 markings, 89314157 edges, 113271 markings/sec, 285 secs
lola: 33848998 markings, 90836783 edges, 113464 markings/sec, 290 secs
lola: 34410357 markings, 92343195 edges, 112272 markings/sec, 295 secs
lola: 34979640 markings, 93871157 edges, 113857 markings/sec, 300 secs
lola: 35550053 markings, 95402262 edges, 114083 markings/sec, 305 secs
lola: 36115603 markings, 96919986 edges, 113110 markings/sec, 310 secs
lola: 36684422 markings, 98446837 edges, 113764 markings/sec, 315 secs
lola: 37260294 markings, 99992187 edges, 115174 markings/sec, 320 secs
lola: 37830051 markings, 101521643 edges, 113951 markings/sec, 325 secs
lola: 38403444 markings, 103060400 edges, 114679 markings/sec, 330 secs
lola: 38978350 markings, 104603489 edges, 114981 markings/sec, 335 secs
lola: 39551358 markings, 106141476 edges, 114602 markings/sec, 340 secs
lola: 40125369 markings, 107682064 edges, 114802 markings/sec, 345 secs
lola: 40683542 markings, 109180479 edges, 111635 markings/sec, 350 secs
lola: 41249901 markings, 110700364 edges, 113272 markings/sec, 355 secs
lola: 41815973 markings, 112220031 edges, 113214 markings/sec, 360 secs
lola: 42372760 markings, 113714225 edges, 111357 markings/sec, 365 secs
lola: 42917665 markings, 115176866 edges, 108981 markings/sec, 370 secs
lola: 43457413 markings, 116625544 edges, 107950 markings/sec, 375 secs
lola: 44017169 markings, 118127956 edges, 111951 markings/sec, 380 secs
lola: 44583930 markings, 119649472 edges, 113352 markings/sec, 385 secs
lola: 45151385 markings, 121172328 edges, 113491 markings/sec, 390 secs
lola: 45727026 markings, 122717508 edges, 115128 markings/sec, 395 secs
lola: 46299327 markings, 124254016 edges, 114460 markings/sec, 400 secs
lola: 46867396 markings, 125778255 edges, 113614 markings/sec, 405 secs
lola: 47440883 markings, 127317806 edges, 114697 markings/sec, 410 secs
lola: 48007340 markings, 128838187 edges, 113291 markings/sec, 415 secs
lola: 48580924 markings, 130377905 edges, 114717 markings/sec, 420 secs
lola: 49156551 markings, 131922896 edges, 115125 markings/sec, 425 secs
lola: 49724043 markings, 133446035 edges, 113498 markings/sec, 430 secs
lola: 50297069 markings, 134984436 edges, 114605 markings/sec, 435 secs
lola: 50872868 markings, 136530005 edges, 115160 markings/sec, 440 secs
lola: 51439226 markings, 138050079 edges, 113272 markings/sec, 445 secs
lola: 52013604 markings, 139591964 edges, 114876 markings/sec, 450 secs
lola: 52590453 markings, 141140576 edges, 115370 markings/sec, 455 secs
lola: 53155119 markings, 142656114 edges, 112933 markings/sec, 460 secs
lola: 53727329 markings, 144192177 edges, 114442 markings/sec, 465 secs
lola: 54299520 markings, 145728282 edges, 114438 markings/sec, 470 secs
lola: 54863851 markings, 147242898 edges, 112866 markings/sec, 475 secs
lola: 55437843 markings, 148783798 edges, 114798 markings/sec, 480 secs
lola: 55976958 markings, 150231128 edges, 107823 markings/sec, 485 secs
lola: 56543028 markings, 151750239 edges, 113214 markings/sec, 490 secs
lola: 57121436 markings, 153303197 edges, 115682 markings/sec, 495 secs
lola: 57699928 markings, 154856149 edges, 115698 markings/sec, 500 secs
lola: 58255153 markings, 156346415 edges, 111045 markings/sec, 505 secs
lola: 58832085 markings, 157903865 edges, 115386 markings/sec, 510 secs
lola: 59413772 markings, 159458907 edges, 116337 markings/sec, 515 secs
lola: 60001492 markings, 161081380 edges, 117544 markings/sec, 520 secs
lola: 60605973 markings, 162713857 edges, 120896 markings/sec, 525 secs
lola: 61203528 markings, 164321915 edges, 119511 markings/sec, 530 secs
lola: 61789111 markings, 165897081 edges, 117117 markings/sec, 535 secs
lola: 62371593 markings, 167463295 edges, 116496 markings/sec, 540 secs
lola: 62959345 markings, 169043728 edges, 117550 markings/sec, 545 secs
lola: 63541278 markings, 170608261 edges, 116387 markings/sec, 550 secs
lola: 64126386 markings, 172181341 edges, 117022 markings/sec, 555 secs
lola: 64709645 markings, 173749015 edges, 116652 markings/sec, 560 secs
lola: 65291891 markings, 175313932 edges, 116449 markings/sec, 565 secs
lola: 65871610 markings, 176872089 edges, 115944 markings/sec, 570 secs
lola: 66452877 markings, 178434513 edges, 116253 markings/sec, 575 secs
lola: 67034443 markings, 179997245 edges, 116313 markings/sec, 580 secs
lola: 67611892 markings, 181549390 edges, 115490 markings/sec, 585 secs
lola: 68190515 markings, 183104177 edges, 115725 markings/sec, 590 secs
lola: 68760399 markings, 184635508 edges, 113977 markings/sec, 595 secs
lola: 69330260 markings, 186166688 edges, 113972 markings/sec, 600 secs
lola: 69891375 markings, 187674523 edges, 112223 markings/sec, 605 secs
lola: 70466891 markings, 189221045 edges, 115103 markings/sec, 610 secs
lola: 71035834 markings, 190749723 edges, 113789 markings/sec, 615 secs
lola: 71581465 markings, 192215550 edges, 109126 markings/sec, 620 secs
lola: 72148847 markings, 193740015 edges, 113476 markings/sec, 625 secs
lola: 72713378 markings, 195256932 edges, 112906 markings/sec, 630 secs
lola: 73279525 markings, 196777844 edges, 113229 markings/sec, 635 secs
lola: 73851296 markings, 198314279 edges, 114354 markings/sec, 640 secs
lola: 74423214 markings, 199850520 edges, 114384 markings/sec, 645 secs
lola: 74992374 markings, 201379894 edges, 113832 markings/sec, 650 secs
lola: 75560538 markings, 202905960 edges, 113633 markings/sec, 655 secs
lola: 76133675 markings, 204446054 edges, 114627 markings/sec, 660 secs
lola: 76700449 markings, 205968509 edges, 113355 markings/sec, 665 secs
lola: 77262114 markings, 207477239 edges, 112333 markings/sec, 670 secs
lola: 77825309 markings, 208990727 edges, 112639 markings/sec, 675 secs
lola: 78382085 markings, 210486207 edges, 111355 markings/sec, 680 secs
lola: 78942896 markings, 211992498 edges, 112162 markings/sec, 685 secs
lola: 79506562 markings, 213506647 edges, 112733 markings/sec, 690 secs
lola: 79554228 markings, 213634718 edges, 9533 markings/sec, 695 secs
lola: 79564343 markings, 213661915 edges, 2023 markings/sec, 700 secs
lola: 79590312 markings, 213732207 edges, 5194 markings/sec, 705 secs
lola: 79596911 markings, 213749979 edges, 1320 markings/sec, 710 secs
lola: 79607727 markings, 213778928 edges, 2163 markings/sec, 715 secs
lola: 79614568 markings, 213797271 edges, 1368 markings/sec, 720 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 744 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__3_4_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__3_4_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D05N250-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: 250
lola: SUBRESULT
lola: result: 250
lola: produced by: state space
lola: The maximum value of the given expression is 250
lola: 251 markings, 250 edges
lola: ========================================
FORMULA Diffusion2D-PT-D05N250-UpperBounds-13 250 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1116 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__1_4_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__1_4_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D05N250-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: 250
lola: 571999 markings, 1629906 edges, 114400 markings/sec, 0 secs
lola: SUBRESULT
lola: result: 250
lola: produced by: state space
lola: The maximum value of the given expression is 250
lola: 1070080 markings, 3016037 edges
FORMULA Diffusion2D-PT-D05N250-UpperBounds-14 250 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 15 will run for 2223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__3_5_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__3_5_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D05N250-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: 250
lola: 598384 markings, 1500167 edges, 119677 markings/sec, 0 secs
lola: 1196326 markings, 3002637 edges, 119588 markings/sec, 5 secs
lola: 1796898 markings, 4537512 edges, 120114 markings/sec, 10 secs
lola: 2338641 markings, 6036839 edges, 108349 markings/sec, 15 secs
lola: 2885704 markings, 7561653 edges, 109413 markings/sec, 20 secs
lola: 3434372 markings, 9083591 edges, 109734 markings/sec, 25 secs
lola: 3977518 markings, 10590532 edges, 108629 markings/sec, 30 secs
lola: 4544311 markings, 12172045 edges, 113359 markings/sec, 35 secs
lola: 5103696 markings, 13710799 edges, 111877 markings/sec, 40 secs
lola: 5666059 markings, 15295480 edges, 112473 markings/sec, 45 secs
lola: 6221921 markings, 16825342 edges, 111172 markings/sec, 50 secs
lola: 6776031 markings, 18387974 edges, 110822 markings/sec, 55 secs
lola: 7332100 markings, 19915572 edges, 111214 markings/sec, 60 secs
lola: 7887717 markings, 21470680 edges, 111123 markings/sec, 65 secs
lola: 8452805 markings, 23037003 edges, 113018 markings/sec, 70 secs
lola: 9015152 markings, 24587100 edges, 112469 markings/sec, 75 secs
lola: 9570614 markings, 26152484 edges, 111092 markings/sec, 80 secs
lola: 10119617 markings, 27664863 edges, 109801 markings/sec, 85 secs
lola: 10674440 markings, 29224152 edges, 110965 markings/sec, 90 secs
lola: 11221442 markings, 30734970 edges, 109400 markings/sec, 95 secs
lola: 11769027 markings, 32246662 edges, 109517 markings/sec, 100 secs
lola: 12320157 markings, 33799200 edges, 110226 markings/sec, 105 secs
lola: 12867710 markings, 35309133 edges, 109511 markings/sec, 110 secs
lola: 13418312 markings, 36848894 edges, 110120 markings/sec, 115 secs
lola: 13970448 markings, 38384805 edges, 110427 markings/sec, 120 secs
lola: 14528314 markings, 39926500 edges, 111573 markings/sec, 125 secs
lola: 15089810 markings, 41503562 edges, 112299 markings/sec, 130 secs
lola: 15650018 markings, 43056146 edges, 112042 markings/sec, 135 secs
lola: 16203360 markings, 44586464 edges, 110668 markings/sec, 140 secs
lola: 16748739 markings, 46118525 edges, 109076 markings/sec, 145 secs
lola: 17295604 markings, 47634806 edges, 109373 markings/sec, 150 secs
lola: 17840068 markings, 49141355 edges, 108893 markings/sec, 155 secs
lola: 18381472 markings, 50657430 edges, 108281 markings/sec, 160 secs
lola: 18929534 markings, 52184083 edges, 109612 markings/sec, 165 secs
lola: 19475498 markings, 53695190 edges, 109193 markings/sec, 170 secs
lola: 20017606 markings, 55199031 edges, 108422 markings/sec, 175 secs
lola: 20564778 markings, 56742635 edges, 109434 markings/sec, 180 secs
lola: 21113976 markings, 58260909 edges, 109840 markings/sec, 185 secs
lola: 21665806 markings, 59791336 edges, 110366 markings/sec, 190 secs
lola: 22216669 markings, 61320236 edges, 110173 markings/sec, 195 secs
lola: 22765147 markings, 62866557 edges, 109696 markings/sec, 200 secs
lola: 23315719 markings, 64392775 edges, 110114 markings/sec, 205 secs
lola: 23863253 markings, 65912268 edges, 109507 markings/sec, 210 secs
lola: 24414794 markings, 67444424 edges, 110308 markings/sec, 215 secs
lola: 24964688 markings, 68972657 edges, 109979 markings/sec, 220 secs
lola: 25513390 markings, 70512328 edges, 109740 markings/sec, 225 secs
lola: 26066036 markings, 72058165 edges, 110529 markings/sec, 230 secs
lola: 26618352 markings, 73591169 edges, 110463 markings/sec, 235 secs
lola: 27175824 markings, 75141526 edges, 111494 markings/sec, 240 secs
lola: 27721183 markings, 76658490 edges, 109072 markings/sec, 245 secs
lola: 28259836 markings, 78157541 edges, 107731 markings/sec, 250 secs
lola: 28798019 markings, 79656014 edges, 107637 markings/sec, 255 secs
lola: 29334396 markings, 81148995 edges, 107275 markings/sec, 260 secs
lola: 29874690 markings, 82655044 edges, 108059 markings/sec, 265 secs
lola: 30413047 markings, 84154874 edges, 107671 markings/sec, 270 secs
lola: 30953036 markings, 85660737 edges, 107998 markings/sec, 275 secs
lola: 31494907 markings, 87172631 edges, 108374 markings/sec, 280 secs
lola: 32038503 markings, 88688895 edges, 108719 markings/sec, 285 secs
lola: 32577301 markings, 90192316 edges, 107760 markings/sec, 290 secs
lola: 33116897 markings, 91699144 edges, 107919 markings/sec, 295 secs
lola: 33656452 markings, 93207118 edges, 107911 markings/sec, 300 secs
lola: 34196242 markings, 94717275 edges, 107958 markings/sec, 305 secs
lola: 34741047 markings, 96230416 edges, 108961 markings/sec, 310 secs
lola: 35285352 markings, 97746683 edges, 108861 markings/sec, 315 secs
lola: 35830729 markings, 99272446 edges, 109075 markings/sec, 320 secs
lola: 36371236 markings, 100787596 edges, 108101 markings/sec, 325 secs
lola: 36916381 markings, 102299559 edges, 109029 markings/sec, 330 secs
lola: 37457318 markings, 103816406 edges, 108187 markings/sec, 335 secs
lola: 38004015 markings, 105337112 edges, 109339 markings/sec, 340 secs
lola: 38553383 markings, 106879710 edges, 109874 markings/sec, 345 secs
lola: 39098782 markings, 108398538 edges, 109080 markings/sec, 350 secs
lola: 39648013 markings, 109932312 edges, 109846 markings/sec, 355 secs
lola: 40195999 markings, 111472869 edges, 109597 markings/sec, 360 secs
lola: 40746586 markings, 113013020 edges, 110117 markings/sec, 365 secs
lola: 41298588 markings, 114559079 edges, 110400 markings/sec, 370 secs
lola: 41843547 markings, 116079077 edges, 108992 markings/sec, 375 secs
lola: 42390741 markings, 117610288 edges, 109439 markings/sec, 380 secs
lola: 42939549 markings, 119153860 edges, 109762 markings/sec, 385 secs
lola: 43483928 markings, 120677836 edges, 108876 markings/sec, 390 secs
lola: 44033553 markings, 122222375 edges, 109925 markings/sec, 395 secs
lola: 44584495 markings, 123767092 edges, 110188 markings/sec, 400 secs
lola: 45132358 markings, 125310009 edges, 109573 markings/sec, 405 secs
lola: 45685895 markings, 126869763 edges, 110707 markings/sec, 410 secs
lola: 46240205 markings, 128439414 edges, 110862 markings/sec, 415 secs
lola: 46797947 markings, 130017941 edges, 111548 markings/sec, 420 secs
lola: 47346264 markings, 131526152 edges, 109663 markings/sec, 425 secs
lola: 47895378 markings, 133061775 edges, 109823 markings/sec, 430 secs
lola: 48442230 markings, 134575571 edges, 109370 markings/sec, 435 secs
lola: 48989903 markings, 136095952 edges, 109535 markings/sec, 440 secs
lola: 49526345 markings, 137591239 edges, 107288 markings/sec, 445 secs
lola: 50067753 markings, 139084922 edges, 108282 markings/sec, 450 secs
lola: 50608666 markings, 140605494 edges, 108183 markings/sec, 455 secs
lola: 51154889 markings, 142110696 edges, 109245 markings/sec, 460 secs
lola: 51700225 markings, 143647217 edges, 109067 markings/sec, 465 secs
lola: 52228555 markings, 145098576 edges, 105666 markings/sec, 470 secs
lola: 52762577 markings, 146607161 edges, 106804 markings/sec, 475 secs
lola: 53291400 markings, 148056873 edges, 105765 markings/sec, 480 secs
lola: 53817818 markings, 149535778 edges, 105284 markings/sec, 485 secs
lola: 54343196 markings, 150983161 edges, 105076 markings/sec, 490 secs
lola: 54872802 markings, 152465206 edges, 105921 markings/sec, 495 secs
lola: 55402212 markings, 153932088 edges, 105882 markings/sec, 500 secs
lola: 55936447 markings, 155411498 edges, 106847 markings/sec, 505 secs
lola: 56447667 markings, 156842346 edges, 102244 markings/sec, 510 secs
lola: 56969737 markings, 158280548 edges, 104414 markings/sec, 515 secs
lola: 57472670 markings, 159696053 edges, 100587 markings/sec, 520 secs
lola: 57994034 markings, 161132192 edges, 104273 markings/sec, 525 secs
lola: 58499324 markings, 162556424 edges, 101058 markings/sec, 530 secs
lola: 59012657 markings, 163967478 edges, 102667 markings/sec, 535 secs
lola: 59529128 markings, 165417639 edges, 103294 markings/sec, 540 secs
lola: 60043369 markings, 166838256 edges, 102848 markings/sec, 545 secs
lola: 60561024 markings, 168271494 edges, 103531 markings/sec, 550 secs
lola: 61069364 markings, 169697398 edges, 101668 markings/sec, 555 secs
lola: 61588261 markings, 171128699 edges, 103779 markings/sec, 560 secs
lola: 62106327 markings, 172592959 edges, 103613 markings/sec, 565 secs
lola: 62628828 markings, 174029004 edges, 104500 markings/sec, 570 secs
lola: 63155266 markings, 175487813 edges, 105288 markings/sec, 575 secs
lola: 63659438 markings, 176903767 edges, 100834 markings/sec, 580 secs
lola: 64174150 markings, 178324446 edges, 102942 markings/sec, 585 secs
lola: 64688976 markings, 179769150 edges, 102965 markings/sec, 590 secs
lola: 65201724 markings, 181190530 edges, 102550 markings/sec, 595 secs
lola: 65721027 markings, 182626492 edges, 103861 markings/sec, 600 secs
lola: 66237830 markings, 184084755 edges, 103361 markings/sec, 605 secs
lola: 66750753 markings, 185500525 edges, 102585 markings/sec, 610 secs
lola: 67270539 markings, 186939044 edges, 103957 markings/sec, 615 secs
lola: 67784279 markings, 188387625 edges, 102748 markings/sec, 620 secs
lola: 68298899 markings, 189809769 edges, 102924 markings/sec, 625 secs
lola: 68821137 markings, 191256356 edges, 104448 markings/sec, 630 secs
lola: 69343445 markings, 192718114 edges, 104462 markings/sec, 635 secs
lola: 69857015 markings, 194151187 edges, 102714 markings/sec, 640 secs
lola: 70291407 markings, 195350166 edges, 86878 markings/sec, 645 secs
lola: 70294622 markings, 195359751 edges, 643 markings/sec, 650 secs
lola: 70298553 markings, 195370642 edges, 786 markings/sec, 655 secs
lola: 70323280 markings, 195439577 edges, 4945 markings/sec, 660 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__1_5_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__1_5_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D05N250-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: 250
lola: 611503 markings, 1501236 edges, 122301 markings/sec, 0 secs
lola: 1214678 markings, 2978938 edges, 120635 markings/sec, 5 secs
lola: 1818698 markings, 4454650 edges, 120804 markings/sec, 10 secs
lola: 2412439 markings, 5911595 edges, 118748 markings/sec, 15 secs
lola: 2991572 markings, 7324256 edges, 115827 markings/sec, 20 secs
lola: 3582034 markings, 8762092 edges, 118092 markings/sec, 25 secs
lola: 4170799 markings, 10207122 edges, 117753 markings/sec, 30 secs
lola: 4752291 markings, 11629867 edges, 116298 markings/sec, 35 secs
lola: 5346811 markings, 13081737 edges, 118904 markings/sec, 40 secs
lola: 5938326 markings, 14529056 edges, 118303 markings/sec, 45 secs
lola: 6521457 markings, 15948298 edges, 116626 markings/sec, 50 secs
lola: 7081660 markings, 17315283 edges, 112041 markings/sec, 55 secs
lola: 7657761 markings, 18716225 edges, 115220 markings/sec, 60 secs
lola: 8234653 markings, 20130643 edges, 115378 markings/sec, 65 secs
lola: 8813047 markings, 21541091 edges, 115679 markings/sec, 70 secs
lola: 9390838 markings, 22945665 edges, 115558 markings/sec, 75 secs
lola: 9960143 markings, 24350724 edges, 113861 markings/sec, 80 secs
lola: 10531134 markings, 25743133 edges, 114198 markings/sec, 85 secs
lola: 11091498 markings, 27118887 edges, 112073 markings/sec, 90 secs
lola: 11671018 markings, 28525467 edges, 115904 markings/sec, 95 secs
lola: 12249624 markings, 29942710 edges, 115721 markings/sec, 100 secs
lola: 12839131 markings, 31369834 edges, 117901 markings/sec, 105 secs
lola: 13409876 markings, 32765932 edges, 114149 markings/sec, 110 secs
lola: 13980525 markings, 34154069 edges, 114130 markings/sec, 115 secs
lola: 14547530 markings, 35549556 edges, 113401 markings/sec, 120 secs
lola: 15113995 markings, 36938872 edges, 113293 markings/sec, 125 secs
lola: 15675592 markings, 38303342 edges, 112319 markings/sec, 130 secs
lola: 16236783 markings, 39685498 edges, 112238 markings/sec, 135 secs
lola: 16801946 markings, 41062637 edges, 113033 markings/sec, 140 secs
lola: 17371136 markings, 42445565 edges, 113838 markings/sec, 145 secs
lola: 17924815 markings, 43789498 edges, 110736 markings/sec, 150 secs
lola: 18495281 markings, 45175636 edges, 114093 markings/sec, 155 secs
lola: 19065412 markings, 46569184 edges, 114026 markings/sec, 160 secs
lola: 19622548 markings, 47934357 edges, 111427 markings/sec, 165 secs
lola: 20211582 markings, 49369567 edges, 117807 markings/sec, 170 secs
lola: 20815704 markings, 50843775 edges, 120824 markings/sec, 175 secs
lola: 21393513 markings, 52258502 edges, 115562 markings/sec, 180 secs
lola: 21964247 markings, 53657052 edges, 114147 markings/sec, 185 secs
lola: 22529491 markings, 55031350 edges, 113049 markings/sec, 190 secs
lola: 23110375 markings, 56454280 edges, 116177 markings/sec, 195 secs
lola: 23694115 markings, 57879443 edges, 116748 markings/sec, 200 secs
lola: 24282469 markings, 59310319 edges, 117671 markings/sec, 205 secs
lola: 24856227 markings, 60722182 edges, 114752 markings/sec, 210 secs
lola: 25458214 markings, 62190687 edges, 120397 markings/sec, 215 secs
lola: 26072872 markings, 63698862 edges, 122932 markings/sec, 220 secs
lola: 26680733 markings, 65190202 edges, 121572 markings/sec, 225 secs
lola: 27256617 markings, 66589216 edges, 115177 markings/sec, 230 secs
lola: 27836612 markings, 68001596 edges, 115999 markings/sec, 235 secs
lola: 28400768 markings, 69370098 edges, 112831 markings/sec, 240 secs
lola: 28963645 markings, 70751014 edges, 112575 markings/sec, 245 secs
lola: 29517626 markings, 72099316 edges, 110796 markings/sec, 250 secs
lola: 30095075 markings, 73504236 edges, 115490 markings/sec, 255 secs
lola: 30694094 markings, 74959959 edges, 119804 markings/sec, 260 secs
lola: 31253664 markings, 76326388 edges, 111914 markings/sec, 265 secs
lola: 31807663 markings, 77687636 edges, 110800 markings/sec, 270 secs
lola: 32370741 markings, 79070877 edges, 112616 markings/sec, 275 secs
lola: 32935255 markings, 80454856 edges, 112903 markings/sec, 280 secs
lola: 33492697 markings, 81825393 edges, 111488 markings/sec, 285 secs
lola: 34048850 markings, 83189260 edges, 111231 markings/sec, 290 secs
lola: 34610862 markings, 84574205 edges, 112402 markings/sec, 295 secs
lola: 35170720 markings, 85944012 edges, 111972 markings/sec, 300 secs
lola: 35732791 markings, 87311401 edges, 112414 markings/sec, 305 secs
lola: 36279358 markings, 88646390 edges, 109313 markings/sec, 310 secs
lola: 36839456 markings, 90009779 edges, 112020 markings/sec, 315 secs
lola: 37394306 markings, 91385258 edges, 110970 markings/sec, 320 secs
lola: 37940742 markings, 92722093 edges, 109287 markings/sec, 325 secs
lola: 38494391 markings, 94068076 edges, 110730 markings/sec, 330 secs
lola: 39056039 markings, 95431481 edges, 112330 markings/sec, 335 secs
lola: 39632192 markings, 96849735 edges, 115231 markings/sec, 340 secs
lola: 40211947 markings, 98262344 edges, 115951 markings/sec, 345 secs
lola: 40788284 markings, 99676093 edges, 115267 markings/sec, 350 secs
lola: 41369364 markings, 101088363 edges, 116216 markings/sec, 355 secs
lola: 41945048 markings, 102483276 edges, 115137 markings/sec, 360 secs
lola: 42511798 markings, 103861954 edges, 113350 markings/sec, 365 secs
lola: 43075668 markings, 105235793 edges, 112774 markings/sec, 370 secs
lola: 43639023 markings, 106608317 edges, 112671 markings/sec, 375 secs
lola: 44193453 markings, 107978846 edges, 110886 markings/sec, 380 secs
lola: 44746902 markings, 109325945 edges, 110690 markings/sec, 385 secs
lola: 45302169 markings, 110680402 edges, 111053 markings/sec, 390 secs
lola: 45863185 markings, 112046213 edges, 112203 markings/sec, 395 secs
lola: 46420102 markings, 113415634 edges, 111383 markings/sec, 400 secs
lola: 46984440 markings, 114793034 edges, 112868 markings/sec, 405 secs
lola: 47528067 markings, 116124479 edges, 108725 markings/sec, 410 secs
lola: 48088224 markings, 117495002 edges, 112031 markings/sec, 415 secs
lola: 48640995 markings, 118853356 edges, 110554 markings/sec, 420 secs
lola: 49191953 markings, 120202090 edges, 110192 markings/sec, 425 secs
lola: 49758284 markings, 121571473 edges, 113266 markings/sec, 430 secs
lola: 50327848 markings, 122964069 edges, 113913 markings/sec, 435 secs
lola: 50922514 markings, 124411969 edges, 118933 markings/sec, 440 secs
lola: 51505458 markings, 125837650 edges, 116589 markings/sec, 445 secs
lola: 52082398 markings, 127247516 edges, 115388 markings/sec, 450 secs
lola: 52668507 markings, 128664558 edges, 117222 markings/sec, 455 secs
lola: 53259861 markings, 130104957 edges, 118271 markings/sec, 460 secs
lola: 53844147 markings, 131540159 edges, 116857 markings/sec, 465 secs
lola: 54424814 markings, 132957997 edges, 116133 markings/sec, 470 secs
lola: 55004156 markings, 134370078 edges, 115868 markings/sec, 475 secs
lola: 55557780 markings, 135718140 edges, 110725 markings/sec, 480 secs
lola: 56088885 markings, 137014177 edges, 106221 markings/sec, 485 secs
lola: 56621118 markings, 138305986 edges, 106447 markings/sec, 490 secs
lola: 57151764 markings, 139600122 edges, 106129 markings/sec, 495 secs
lola: 57684363 markings, 140896662 edges, 106520 markings/sec, 500 secs
lola: 58203970 markings, 142173225 edges, 103921 markings/sec, 505 secs
lola: 58724632 markings, 143452456 edges, 104132 markings/sec, 510 secs
lola: 59279140 markings, 144803063 edges, 110902 markings/sec, 515 secs
lola: 59793325 markings, 146064893 edges, 102837 markings/sec, 520 secs
lola: 60314553 markings, 147327101 edges, 104246 markings/sec, 525 secs
lola: 60855522 markings, 148650374 edges, 108194 markings/sec, 530 secs
lola: 61416433 markings, 150021496 edges, 112182 markings/sec, 535 secs
lola: 61984212 markings, 151412134 edges, 113556 markings/sec, 540 secs
lola: 62535927 markings, 152772302 edges, 110343 markings/sec, 545 secs
lola: 63067630 markings, 154076861 edges, 106341 markings/sec, 550 secs
lola: 63607184 markings, 155397913 edges, 107911 markings/sec, 555 secs
lola: 64145706 markings, 156720437 edges, 107704 markings/sec, 560 secs
lola: 64679769 markings, 158029391 edges, 106813 markings/sec, 565 secs
lola: 65211777 markings, 159348615 edges, 106402 markings/sec, 570 secs
lola: 65743618 markings, 160647362 edges, 106368 markings/sec, 575 secs
lola: 66273999 markings, 161945456 edges, 106076 markings/sec, 580 secs
lola: 66807337 markings, 163247832 edges, 106668 markings/sec, 585 secs
lola: 67372949 markings, 164617737 edges, 113122 markings/sec, 590 secs
lola: 67925299 markings, 165972889 edges, 110470 markings/sec, 595 secs
lola: 68497919 markings, 167370200 edges, 114524 markings/sec, 600 secs
lola: 69073822 markings, 168771092 edges, 115181 markings/sec, 605 secs
lola: 69655815 markings, 170191347 edges, 116399 markings/sec, 610 secs
lola: 70227310 markings, 171601983 edges, 114299 markings/sec, 615 secs
lola: 70801026 markings, 173013408 edges, 114743 markings/sec, 620 secs
lola: 71372864 markings, 174403871 edges, 114368 markings/sec, 625 secs
lola: 71842644 markings, 175554589 edges, 93956 markings/sec, 630 secs
lola: Child process aborted or communication problem between parent and child process
FORMULA Diffusion2D-PT-D05N250-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__5_1_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__5_1_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D05N250-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: 250
lola: 606833 markings, 1626243 edges, 121367 markings/sec, 0 secs
lola: 1222482 markings, 3278697 edges, 123130 markings/sec, 5 secs
lola: 1855982 markings, 4980410 edges, 126700 markings/sec, 10 secs
lola: 2434638 markings, 6532519 edges, 115731 markings/sec, 15 secs
lola: 3007789 markings, 8069846 edges, 114630 markings/sec, 20 secs
lola: 3578960 markings, 9602449 edges, 114234 markings/sec, 25 secs
lola: 4148972 markings, 11131997 edges, 114002 markings/sec, 30 secs
lola: 4721364 markings, 12667707 edges, 114478 markings/sec, 35 secs
lola: 5292452 markings, 14200229 edges, 114218 markings/sec, 40 secs
lola: 5863700 markings, 15732937 edges, 114250 markings/sec, 45 secs
lola: 6434543 markings, 17264514 edges, 114169 markings/sec, 50 secs
lola: 7004771 markings, 18794930 edges, 114046 markings/sec, 55 secs
lola: 7575875 markings, 20327536 edges, 114221 markings/sec, 60 secs
lola: 8147142 markings, 21860334 edges, 114253 markings/sec, 65 secs
lola: 8716991 markings, 23389539 edges, 113970 markings/sec, 70 secs
lola: 9288099 markings, 24921794 edges, 114222 markings/sec, 75 secs
lola: 9857412 markings, 26449841 edges, 113863 markings/sec, 80 secs
lola: 10428527 markings, 27982451 edges, 114223 markings/sec, 85 secs
lola: 10998016 markings, 29510479 edges, 113898 markings/sec, 90 secs
lola: 11567667 markings, 31039271 edges, 113930 markings/sec, 95 secs
lola: 12138792 markings, 32571695 edges, 114225 markings/sec, 100 secs
lola: 12710288 markings, 34105184 edges, 114299 markings/sec, 105 secs
lola: 13282193 markings, 35639954 edges, 114381 markings/sec, 110 secs
lola: 13852618 markings, 37171178 edges, 114085 markings/sec, 115 secs
lola: 14422330 markings, 38699884 edges, 113942 markings/sec, 120 secs
lola: 14992310 markings, 40229473 edges, 113996 markings/sec, 125 secs
lola: 15565051 markings, 41766348 edges, 114548 markings/sec, 130 secs
lola: 16136619 markings, 43300343 edges, 114314 markings/sec, 135 secs
lola: 16707993 markings, 44833651 edges, 114275 markings/sec, 140 secs
lola: 17275842 markings, 46357739 edges, 113570 markings/sec, 145 secs
lola: 17844050 markings, 47882687 edges, 113642 markings/sec, 150 secs
lola: 18417609 markings, 49421607 edges, 114712 markings/sec, 155 secs
lola: 18990463 markings, 50959186 edges, 114571 markings/sec, 160 secs
lola: 19558402 markings, 52483399 edges, 113588 markings/sec, 165 secs
lola: 20128479 markings, 54013049 edges, 114015 markings/sec, 170 secs
lola: 20698016 markings, 55541706 edges, 113907 markings/sec, 175 secs
lola: 21264074 markings, 57060987 edges, 113212 markings/sec, 180 secs
lola: 21835343 markings, 58594060 edges, 114254 markings/sec, 185 secs
lola: 22407440 markings, 60129291 edges, 114419 markings/sec, 190 secs
lola: 22975632 markings, 61654394 edges, 113638 markings/sec, 195 secs
lola: 23545026 markings, 63182559 edges, 113879 markings/sec, 200 secs
lola: 24118675 markings, 64722076 edges, 114730 markings/sec, 205 secs
lola: 24691256 markings, 66258477 edges, 114516 markings/sec, 210 secs
lola: 25258919 markings, 67782061 edges, 113533 markings/sec, 215 secs
lola: 25830770 markings, 69316631 edges, 114370 markings/sec, 220 secs
lola: 26398788 markings, 70841269 edges, 113604 markings/sec, 225 secs
lola: 26964853 markings, 72360493 edges, 113213 markings/sec, 230 secs
lola: 27535178 markings, 73891270 edges, 114065 markings/sec, 235 secs
lola: 28104028 markings, 75417799 edges, 113770 markings/sec, 240 secs
lola: 28670081 markings, 76937029 edges, 113211 markings/sec, 245 secs
lola: 29242991 markings, 78474420 edges, 114582 markings/sec, 250 secs
lola: 29812234 markings, 80002556 edges, 113849 markings/sec, 255 secs
lola: 30384277 markings, 81537765 edges, 114409 markings/sec, 260 secs
lola: 30958260 markings, 83077964 edges, 114797 markings/sec, 265 secs
lola: 31523663 markings, 84595763 edges, 113081 markings/sec, 270 secs
lola: 32095167 markings, 86129401 edges, 114301 markings/sec, 275 secs
lola: 32670595 markings, 87673679 edges, 115086 markings/sec, 280 secs
lola: 33239422 markings, 89200584 edges, 113765 markings/sec, 285 secs
lola: 33813622 markings, 90741493 edges, 114840 markings/sec, 290 secs
lola: 34386338 markings, 92278881 edges, 114543 markings/sec, 295 secs
lola: 34956365 markings, 93808630 edges, 114005 markings/sec, 300 secs
lola: 35531240 markings, 95351837 edges, 114975 markings/sec, 305 secs
lola: 36103226 markings, 96886959 edges, 114397 markings/sec, 310 secs
lola: 36676686 markings, 98426109 edges, 114692 markings/sec, 315 secs
lola: 37251579 markings, 99968883 edges, 114979 markings/sec, 320 secs
lola: 37810648 markings, 101469592 edges, 111814 markings/sec, 325 secs
lola: 38383180 markings, 103006264 edges, 114506 markings/sec, 330 secs
lola: 38947515 markings, 104520966 edges, 112867 markings/sec, 335 secs
lola: 39514509 markings, 106042608 edges, 113399 markings/sec, 340 secs
lola: 40082592 markings, 107567580 edges, 113617 markings/sec, 345 secs
lola: 40628985 markings, 109034044 edges, 109279 markings/sec, 350 secs
lola: 41200196 markings, 110567003 edges, 114242 markings/sec, 355 secs
lola: 41771765 markings, 112101291 edges, 114314 markings/sec, 360 secs
lola: 42324752 markings, 113585315 edges, 110597 markings/sec, 365 secs
lola: 42893183 markings, 115111352 edges, 113686 markings/sec, 370 secs
lola: 43457692 markings, 116626309 edges, 112902 markings/sec, 375 secs
lola: 44025202 markings, 118149486 edges, 113502 markings/sec, 380 secs
lola: 44594486 markings, 119677827 edges, 113857 markings/sec, 385 secs
lola: 45151597 markings, 121172907 edges, 111422 markings/sec, 390 secs
lola: 45725988 markings, 122714672 edges, 114878 markings/sec, 395 secs
lola: 46296365 markings, 124245912 edges, 114075 markings/sec, 400 secs
lola: 46865625 markings, 125773762 edges, 113852 markings/sec, 405 secs
lola: 47436969 markings, 127307106 edges, 114269 markings/sec, 410 secs
lola: 47998714 markings, 128815127 edges, 112349 markings/sec, 415 secs
lola: 48574029 markings, 130359388 edges, 115063 markings/sec, 420 secs
lola: 49150868 markings, 131907642 edges, 115368 markings/sec, 425 secs
lola: 49720774 markings, 133437340 edges, 113981 markings/sec, 430 secs
lola: 50298582 markings, 134988170 edges, 115562 markings/sec, 435 secs
lola: 50876971 markings, 136540801 edges, 115678 markings/sec, 440 secs
lola: 51446566 markings, 138069894 edges, 113919 markings/sec, 445 secs
lola: 52024024 markings, 139619764 edges, 115492 markings/sec, 450 secs
lola: 52602439 markings, 141172510 edges, 115683 markings/sec, 455 secs
lola: 53173414 markings, 142705040 edges, 114195 markings/sec, 460 secs
lola: 53751654 markings, 144257492 edges, 115648 markings/sec, 465 secs
lola: 54329700 markings, 145809279 edges, 115609 markings/sec, 470 secs
lola: 54899801 markings, 147339324 edges, 114020 markings/sec, 475 secs
lola: 55477899 markings, 148891042 edges, 115620 markings/sec, 480 secs
lola: 56056336 markings, 150444047 edges, 115687 markings/sec, 485 secs
lola: 56627150 markings, 151976233 edges, 114163 markings/sec, 490 secs
lola: 57205392 markings, 153528322 edges, 115648 markings/sec, 495 secs
lola: 57784831 markings, 155083913 edges, 115888 markings/sec, 500 secs
lola: 58356992 markings, 156619796 edges, 114432 markings/sec, 505 secs
lola: 58939221 markings, 158190998 edges, 116446 markings/sec, 510 secs
lola: 59527525 markings, 159763492 edges, 117661 markings/sec, 515 secs
lola: 60122978 markings, 161413010 edges, 119091 markings/sec, 520 secs
lola: 60732510 markings, 163054404 edges, 121906 markings/sec, 525 secs
lola: 61328488 markings, 164657915 edges, 119196 markings/sec, 530 secs
lola: 61920970 markings, 166251524 edges, 118496 markings/sec, 535 secs
lola: 62507531 markings, 167828868 edges, 117312 markings/sec, 540 secs
lola: 63092469 markings, 169401690 edges, 116988 markings/sec, 545 secs
lola: 63675767 markings, 170969859 edges, 116660 markings/sec, 550 secs
lola: 64256689 markings, 172531631 edges, 116184 markings/sec, 555 secs
lola: 64837248 markings, 174092040 edges, 116112 markings/sec, 560 secs
lola: 65415861 markings, 175647343 edges, 115723 markings/sec, 565 secs
lola: 65987881 markings, 177184817 edges, 114404 markings/sec, 570 secs
lola: 66561150 markings, 178725277 edges, 114654 markings/sec, 575 secs
lola: 67137042 markings, 180273218 edges, 115178 markings/sec, 580 secs
lola: 67708541 markings, 181808911 edges, 114300 markings/sec, 585 secs
lola: 68277295 markings, 183337138 edges, 113751 markings/sec, 590 secs
lola: 68830762 markings, 184824462 edges, 110693 markings/sec, 595 secs
lola: 69403372 markings, 186363122 edges, 114522 markings/sec, 600 secs
lola: 69962649 markings, 187865918 edges, 111855 markings/sec, 605 secs
lola: 70508712 markings, 189333282 edges, 109213 markings/sec, 610 secs
lola: 71078374 markings, 190863949 edges, 113932 markings/sec, 615 secs
lola: 71644117 markings, 192384245 edges, 113149 markings/sec, 620 secs
lola: 72208576 markings, 193900461 edges, 112892 markings/sec, 625 secs
lola: 72775293 markings, 195423330 edges, 113343 markings/sec, 630 secs
lola: 73344889 markings, 196953676 edges, 113919 markings/sec, 635 secs
lola: 73914195 markings, 198483108 edges, 113861 markings/sec, 640 secs
lola: 74484738 markings, 200016205 edges, 114109 markings/sec, 645 secs
lola: 75049832 markings, 201534072 edges, 113019 markings/sec, 650 secs
lola: 75617723 markings, 203059650 edges, 113578 markings/sec, 655 secs
lola: 76188984 markings, 204594508 edges, 114252 markings/sec, 660 secs
lola: 76754694 markings, 206114089 edges, 113142 markings/sec, 665 secs
lola: 77321020 markings, 207635628 edges, 113265 markings/sec, 670 secs
lola: 77889537 markings, 209163144 edges, 113703 markings/sec, 675 secs
lola: 78446152 markings, 210658218 edges, 111323 markings/sec, 680 secs
lola: 79004482 markings, 212157890 edges, 111666 markings/sec, 685 secs
lola: 79559648 markings, 213649650 edges, 111033 markings/sec, 690 secs
lola: 79571123 markings, 213680181 edges, 2295 markings/sec, 695 secs
lola: 79573216 markings, 213685811 edges, 419 markings/sec, 700 secs
lola: 79578211 markings, 213699402 edges, 999 markings/sec, 705 secs
lola: 79583330 markings, 213713602 edges, 1024 markings/sec, 710 secs
lola: 79607848 markings, 213779257 edges, 4904 markings/sec, 715 secs
lola: 79610733 markings, 213787150 edges, 577 markings/sec, 720 secs
lola: 79622476 markings, 213818537 edges, 2349 markings/sec, 725 secs
lola: 79626447 markings, 213829079 edges, 794 markings/sec, 730 secs
lola: 79635565 markings, 213853617 edges, 1824 markings/sec, 735 secs
lola: Child process aborted or communication problem between parent and child process
FORMULA Diffusion2D-PT-D05N250-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__5_1_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__5_1_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D05N250-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: 250
lola: 621898 markings, 1666819 edges, 124380 markings/sec, 0 secs
lola: 1233087 markings, 3307264 edges, 122238 markings/sec, 5 secs
lola: 1866563 markings, 5009556 edges, 126695 markings/sec, 10 secs
lola: 2445366 markings, 6561580 edges, 115761 markings/sec, 15 secs
lola: 3016846 markings, 8094617 edges, 114296 markings/sec, 20 secs
lola: 3589469 markings, 9630846 edges, 114525 markings/sec, 25 secs
lola: 4152042 markings, 11140389 edges, 112515 markings/sec, 30 secs
lola: 4724146 markings, 12675318 edges, 114421 markings/sec, 35 secs
lola: 5284291 markings, 14178404 edges, 112029 markings/sec, 40 secs
lola: 5845886 markings, 15684899 edges, 112319 markings/sec, 45 secs
lola: 6418164 markings, 17220598 edges, 114456 markings/sec, 50 secs
lola: 6986854 markings, 18746553 edges, 113738 markings/sec, 55 secs
lola: 7554328 markings, 20269377 edges, 113495 markings/sec, 60 secs
lola: 8123011 markings, 21795495 edges, 113737 markings/sec, 65 secs
lola: 8688355 markings, 23312504 edges, 113069 markings/sec, 70 secs
lola: 9254448 markings, 24831671 edges, 113219 markings/sec, 75 secs
lola: 9816426 markings, 26339937 edges, 112396 markings/sec, 80 secs
lola: 10368275 markings, 27820406 edges, 110370 markings/sec, 85 secs
lola: 10937606 markings, 29348354 edges, 113866 markings/sec, 90 secs
lola: 11507524 markings, 30877611 edges, 113984 markings/sec, 95 secs
lola: 12072503 markings, 32393707 edges, 112996 markings/sec, 100 secs
lola: 12638422 markings, 33912610 edges, 113184 markings/sec, 105 secs
lola: 13207911 markings, 35440944 edges, 113898 markings/sec, 110 secs
lola: 13774773 markings, 36962146 edges, 113372 markings/sec, 115 secs
lola: 14341579 markings, 38483393 edges, 113361 markings/sec, 120 secs
lola: 14910024 markings, 40008604 edges, 113689 markings/sec, 125 secs
lola: 15479020 markings, 41535538 edges, 113799 markings/sec, 130 secs
lola: 16046973 markings, 43059968 edges, 113591 markings/sec, 135 secs
lola: 16614321 markings, 44582621 edges, 113470 markings/sec, 140 secs
lola: 17183015 markings, 46108659 edges, 113739 markings/sec, 145 secs
lola: 17754676 markings, 47642521 edges, 114332 markings/sec, 150 secs
lola: 18325686 markings, 49175049 edges, 114202 markings/sec, 155 secs
lola: 18896852 markings, 50708047 edges, 114233 markings/sec, 160 secs
lola: time limit reached - aborting
lola:
preliminary result: 250 250 unknown 250 250 250 unknown 250 250 250 250 250 unknown 250 250 unknown
lola:
preliminary result: 250 250 unknown 250 250 250 unknown 250 250 250 250 250 unknown 250 250 unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 250 250 unknown 250 250 250 unknown 250 250 250 250 250 unknown 250 250 unknown
lola: memory consumption: 3819416 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 250 250 unknown 250 250 250 unknown 250 250 250 250 250 unknown 250 250 unknown
lola: memory consumption: 3819416 KB
lola: time consumption: 3570 seconds
BK_STOP 1552913833167
--------------------
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-D05N250"
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-D05N250, 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-155234666400016"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Diffusion2D-PT-D05N250.tgz
mv Diffusion2D-PT-D05N250 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 '
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 ;