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-155234666500076.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-D50N010, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r066-ebro-155234666500076
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 7.5M
-rw-r--r-- 1 mcc users 3.5K Feb 10 21:36 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K Feb 10 21:36 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.3K Feb 6 17:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 20K Feb 6 17:58 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.6K Feb 4 23:32 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K Feb 4 23:32 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 4 22:34 LTLFireability.txt
-rw-r--r-- 1 mcc users 11K Feb 4 22:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.1K Feb 3 07:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Feb 3 07:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Jan 30 23:46 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Jan 30 23:46 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 4 22:19 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K 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 7.3M 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-D50N010-UpperBounds-00
FORMULA_NAME Diffusion2D-PT-D50N010-UpperBounds-01
FORMULA_NAME Diffusion2D-PT-D50N010-UpperBounds-02
FORMULA_NAME Diffusion2D-PT-D50N010-UpperBounds-03
FORMULA_NAME Diffusion2D-PT-D50N010-UpperBounds-04
FORMULA_NAME Diffusion2D-PT-D50N010-UpperBounds-05
FORMULA_NAME Diffusion2D-PT-D50N010-UpperBounds-06
FORMULA_NAME Diffusion2D-PT-D50N010-UpperBounds-07
FORMULA_NAME Diffusion2D-PT-D50N010-UpperBounds-08
FORMULA_NAME Diffusion2D-PT-D50N010-UpperBounds-09
FORMULA_NAME Diffusion2D-PT-D50N010-UpperBounds-10
FORMULA_NAME Diffusion2D-PT-D50N010-UpperBounds-11
FORMULA_NAME Diffusion2D-PT-D50N010-UpperBounds-12
FORMULA_NAME Diffusion2D-PT-D50N010-UpperBounds-13
FORMULA_NAME Diffusion2D-PT-D50N010-UpperBounds-14
FORMULA_NAME Diffusion2D-PT-D50N010-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1552924494350

info: Time: 3600 - MCC
===========================================================================================
prep: translating Diffusion2D-PT-D50N010 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating Diffusion2D-PT-D50N010 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ Diffusion2D-PT-D50N010 @ 3569 seconds
lola: LoLA will run for 3569 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 21904/65536 symbol table entries, 8280 collisions
lola: preprocessing...
lola: Size of bit vector: 80000
lola: finding significant places
lola: 2500 places, 19404 transitions, 2499 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2500 transition conflict sets
lola: TASK
lola: reading formula from Diffusion2D-PT-D50N010-UpperBounds.task
lola: MAX(cAMP__2_5_) : MAX(cAMP__15_32_) : MAX(cAMP__21_11_) : MAX(cAMP__41_25_) : MAX(cAMP__8_26_) : MAX(cAMP__37_11_) : MAX(cAMP__33_4_) : MAX(cAMP__5_18_) : MAX(cAMP__7_7_) : MAX(cAMP__22_28_) : MAX(cAMP__20_44_) : MAX(cAMP__34_40_) : MAX(cAMP__32_41_) : MAX(cAMP__24_44_) : MAX(cAMP__4_47_) : MAX(cAMP__14_9_)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__2_5_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__2_5_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D50N010-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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: Structural Bound: 10
lola: 1762 markings, 6770 edges, 352 markings/sec, 5 secs
lola: 4189 markings, 15914 edges, 485 markings/sec, 10 secs
lola: 6605 markings, 24448 edges, 483 markings/sec, 15 secs
lola: 9037 markings, 33186 edges, 486 markings/sec, 20 secs
lola: 11467 markings, 41787 edges, 486 markings/sec, 25 secs
lola: 13900 markings, 50284 edges, 487 markings/sec, 30 secs
lola: 16327 markings, 58816 edges, 485 markings/sec, 35 secs
lola: 18742 markings, 67196 edges, 483 markings/sec, 40 secs
lola: 21170 markings, 75579 edges, 486 markings/sec, 45 secs
lola: 23561 markings, 83514 edges, 478 markings/sec, 50 secs
lola: 26010 markings, 91796 edges, 490 markings/sec, 55 secs
lola: 28456 markings, 100239 edges, 489 markings/sec, 60 secs
lola: 30901 markings, 108750 edges, 489 markings/sec, 65 secs
lola: 33323 markings, 117437 edges, 484 markings/sec, 70 secs
lola: 35756 markings, 125856 edges, 487 markings/sec, 75 secs
lola: 38204 markings, 134236 edges, 490 markings/sec, 80 secs
lola: 40650 markings, 142656 edges, 489 markings/sec, 85 secs
lola: 43092 markings, 151318 edges, 488 markings/sec, 90 secs
lola: 45524 markings, 160210 edges, 486 markings/sec, 95 secs
lola: 47969 markings, 168282 edges, 489 markings/sec, 100 secs
lola: 50407 markings, 176597 edges, 488 markings/sec, 105 secs
lola: 52835 markings, 185050 edges, 486 markings/sec, 110 secs
lola: 55262 markings, 193610 edges, 485 markings/sec, 115 secs
lola: 57686 markings, 202413 edges, 485 markings/sec, 120 secs
lola: 60047 markings, 210328 edges, 472 markings/sec, 125 secs
lola: 62404 markings, 218220 edges, 471 markings/sec, 130 secs
lola: 64754 markings, 226495 edges, 470 markings/sec, 135 secs
lola: 67152 markings, 235288 edges, 480 markings/sec, 140 secs
lola: 69570 markings, 243693 edges, 484 markings/sec, 145 secs
lola: 71969 markings, 251770 edges, 480 markings/sec, 150 secs
lola: 74389 markings, 260256 edges, 484 markings/sec, 155 secs
lola: 76807 markings, 268676 edges, 484 markings/sec, 160 secs
lola: 79209 markings, 277262 edges, 480 markings/sec, 165 secs
lola: 81617 markings, 285513 edges, 482 markings/sec, 170 secs
lola: 84031 markings, 293793 edges, 483 markings/sec, 175 secs
lola: 86443 markings, 302099 edges, 482 markings/sec, 180 secs
lola: 88813 markings, 310540 edges, 474 markings/sec, 185 secs
lola: 91225 markings, 319359 edges, 482 markings/sec, 190 secs
lola: 93598 markings, 327231 edges, 475 markings/sec, 195 secs
lola: 95969 markings, 335241 edges, 474 markings/sec, 200 secs
lola: 98377 markings, 343709 edges, 482 markings/sec, 205 secs
lola: 100787 markings, 352147 edges, 482 markings/sec, 210 secs
lola: 103196 markings, 360941 edges, 482 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: 85856 KB
lola: time consumption: 238 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__15_32_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__15_32_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D50N010-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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: Structural Bound: 10
lola: 1737 markings, 5961 edges, 347 markings/sec, 5 secs
lola: 4122 markings, 14581 edges, 477 markings/sec, 10 secs
lola: 6503 markings, 23201 edges, 476 markings/sec, 15 secs
lola: 8882 markings, 31890 edges, 476 markings/sec, 20 secs
lola: 11233 markings, 40387 edges, 470 markings/sec, 25 secs
lola: 13639 markings, 48406 edges, 481 markings/sec, 30 secs
lola: 15994 markings, 56910 edges, 471 markings/sec, 35 secs
lola: 18408 markings, 65822 edges, 483 markings/sec, 40 secs
lola: 20766 markings, 74572 edges, 472 markings/sec, 45 secs
lola: 23111 markings, 83555 edges, 469 markings/sec, 50 secs
lola: 25519 markings, 92635 edges, 482 markings/sec, 55 secs
lola: 27901 markings, 101217 edges, 476 markings/sec, 60 secs
lola: 30247 markings, 110251 edges, 469 markings/sec, 65 secs
lola: 32642 markings, 119141 edges, 479 markings/sec, 70 secs
lola: 34973 markings, 128629 edges, 466 markings/sec, 75 secs
lola: 37376 markings, 137936 edges, 481 markings/sec, 80 secs
lola: 39794 markings, 146582 edges, 484 markings/sec, 85 secs
lola: 42200 markings, 155563 edges, 481 markings/sec, 90 secs
lola: 44617 markings, 164212 edges, 483 markings/sec, 95 secs
lola: 47004 markings, 173130 edges, 477 markings/sec, 100 secs
lola: 49413 markings, 182160 edges, 482 markings/sec, 105 secs
lola: 51808 markings, 190684 edges, 479 markings/sec, 110 secs
lola: 54197 markings, 199116 edges, 478 markings/sec, 115 secs
lola: 56549 markings, 207767 edges, 470 markings/sec, 120 secs
lola: 58972 markings, 216456 edges, 485 markings/sec, 125 secs
lola: 61407 markings, 224915 edges, 487 markings/sec, 130 secs
lola: 63822 markings, 234362 edges, 483 markings/sec, 135 secs
lola: 66247 markings, 243255 edges, 485 markings/sec, 140 secs
lola: 68665 markings, 252843 edges, 484 markings/sec, 145 secs
lola: 71087 markings, 262314 edges, 484 markings/sec, 150 secs
lola: 73510 markings, 271397 edges, 485 markings/sec, 155 secs
lola: 75887 markings, 280548 edges, 475 markings/sec, 160 secs
lola: 78291 markings, 290233 edges, 481 markings/sec, 165 secs
lola: 80719 markings, 298870 edges, 486 markings/sec, 170 secs
lola: 83144 markings, 308105 edges, 485 markings/sec, 175 secs
lola: 85472 markings, 316504 edges, 466 markings/sec, 180 secs
lola: 87834 markings, 325535 edges, 472 markings/sec, 185 secs
lola: 90199 markings, 334503 edges, 473 markings/sec, 190 secs
lola: 92598 markings, 342930 edges, 480 markings/sec, 195 secs
lola: 94965 markings, 351735 edges, 473 markings/sec, 200 secs
lola: 97343 markings, 361306 edges, 476 markings/sec, 205 secs
lola: 99742 markings, 369608 edges, 480 markings/sec, 210 secs
lola: 102137 markings, 377756 edges, 479 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: 90740 KB
lola: time consumption: 460 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__21_11_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__21_11_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D50N010-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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: Structural Bound: 10
lola: 1724 markings, 6366 edges, 345 markings/sec, 5 secs
lola: 4019 markings, 14411 edges, 459 markings/sec, 10 secs
lola: 6318 markings, 23018 edges, 460 markings/sec, 15 secs
lola: 8639 markings, 31836 edges, 464 markings/sec, 20 secs
lola: 10899 markings, 40087 edges, 452 markings/sec, 25 secs
lola: 13172 markings, 48949 edges, 455 markings/sec, 30 secs
lola: 15493 markings, 57198 edges, 464 markings/sec, 35 secs
lola: 17789 markings, 66196 edges, 459 markings/sec, 40 secs
lola: 20177 markings, 74793 edges, 478 markings/sec, 45 secs
lola: 22483 markings, 83708 edges, 461 markings/sec, 50 secs
lola: 24828 markings, 92249 edges, 469 markings/sec, 55 secs
lola: 27171 markings, 101135 edges, 469 markings/sec, 60 secs
lola: 29490 markings, 109792 edges, 464 markings/sec, 65 secs
lola: 31853 markings, 117659 edges, 473 markings/sec, 70 secs
lola: 34213 markings, 125898 edges, 472 markings/sec, 75 secs
lola: 36559 markings, 134255 edges, 469 markings/sec, 80 secs
lola: 38860 markings, 143041 edges, 460 markings/sec, 85 secs
lola: 41243 markings, 151782 edges, 477 markings/sec, 90 secs
lola: 43623 markings, 161132 edges, 476 markings/sec, 95 secs
lola: 45994 markings, 170365 edges, 474 markings/sec, 100 secs
lola: 48388 markings, 178865 edges, 479 markings/sec, 105 secs
lola: 50756 markings, 187521 edges, 474 markings/sec, 110 secs
lola: 53128 markings, 196210 edges, 474 markings/sec, 115 secs
lola: 55491 markings, 204977 edges, 473 markings/sec, 120 secs
lola: 57873 markings, 213216 edges, 476 markings/sec, 125 secs
lola: 60265 markings, 221527 edges, 478 markings/sec, 130 secs
lola: 62645 markings, 230224 edges, 476 markings/sec, 135 secs
lola: 65022 markings, 239367 edges, 475 markings/sec, 140 secs
lola: 67419 markings, 247496 edges, 479 markings/sec, 145 secs
lola: 69803 markings, 255620 edges, 477 markings/sec, 150 secs
lola: 72169 markings, 264416 edges, 473 markings/sec, 155 secs
lola: 74547 markings, 273221 edges, 476 markings/sec, 160 secs
lola: 76925 markings, 282197 edges, 476 markings/sec, 165 secs
lola: 79301 markings, 290798 edges, 475 markings/sec, 170 secs
lola: 81680 markings, 299529 edges, 476 markings/sec, 175 secs
lola: 84072 markings, 307626 edges, 478 markings/sec, 180 secs
lola: 86455 markings, 315969 edges, 477 markings/sec, 185 secs
lola: 88809 markings, 324192 edges, 471 markings/sec, 190 secs
lola: 91167 markings, 332451 edges, 472 markings/sec, 195 secs
lola: 93562 markings, 341058 edges, 479 markings/sec, 200 secs
lola: 95950 markings, 349810 edges, 478 markings/sec, 205 secs
lola: 98346 markings, 358209 edges, 479 markings/sec, 210 secs
lola: 100694 markings, 366887 edges, 470 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: 89068 KB
lola: time consumption: 682 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__41_25_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__41_25_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D50N010-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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: Structural Bound: 10
lola: 1833 markings, 6583 edges, 367 markings/sec, 5 secs
lola: 4261 markings, 14633 edges, 486 markings/sec, 10 secs
lola: 6679 markings, 23075 edges, 484 markings/sec, 15 secs
lola: 9096 markings, 31570 edges, 483 markings/sec, 20 secs
lola: 11504 markings, 40686 edges, 482 markings/sec, 25 secs
lola: 13905 markings, 49678 edges, 480 markings/sec, 30 secs
lola: 16303 markings, 58689 edges, 480 markings/sec, 35 secs
lola: 18713 markings, 67396 edges, 482 markings/sec, 40 secs
lola: 21123 markings, 75100 edges, 482 markings/sec, 45 secs
lola: 23539 markings, 82714 edges, 483 markings/sec, 50 secs
lola: 25935 markings, 91382 edges, 479 markings/sec, 55 secs
lola: 28334 markings, 100136 edges, 480 markings/sec, 60 secs
lola: 30754 markings, 108741 edges, 484 markings/sec, 65 secs
lola: 33166 markings, 116762 edges, 482 markings/sec, 70 secs
lola: 35575 markings, 125141 edges, 482 markings/sec, 75 secs
lola: 37973 markings, 134160 edges, 480 markings/sec, 80 secs
lola: 40376 markings, 143324 edges, 481 markings/sec, 85 secs
lola: 42780 markings, 152169 edges, 481 markings/sec, 90 secs
lola: 45169 markings, 160829 edges, 478 markings/sec, 95 secs
lola: 47542 markings, 168495 edges, 475 markings/sec, 100 secs
lola: 49950 markings, 176796 edges, 482 markings/sec, 105 secs
lola: 52380 markings, 185090 edges, 486 markings/sec, 110 secs
lola: 54783 markings, 193905 edges, 481 markings/sec, 115 secs
lola: 57197 markings, 203464 edges, 483 markings/sec, 120 secs
lola: 59607 markings, 212292 edges, 482 markings/sec, 125 secs
lola: 62005 markings, 220476 edges, 480 markings/sec, 130 secs
lola: 64396 markings, 229219 edges, 478 markings/sec, 135 secs
lola: 66793 markings, 238099 edges, 479 markings/sec, 140 secs
lola: 69194 markings, 246820 edges, 480 markings/sec, 145 secs
lola: 71593 markings, 255832 edges, 480 markings/sec, 150 secs
lola: 73996 markings, 263532 edges, 481 markings/sec, 155 secs
lola: 76369 markings, 271920 edges, 475 markings/sec, 160 secs
lola: 78758 markings, 279684 edges, 478 markings/sec, 165 secs
lola: 81132 markings, 288552 edges, 475 markings/sec, 170 secs
lola: 83512 markings, 297073 edges, 476 markings/sec, 175 secs
lola: 85902 markings, 305404 edges, 478 markings/sec, 180 secs
lola: 88300 markings, 312922 edges, 480 markings/sec, 185 secs
lola: 90632 markings, 320842 edges, 466 markings/sec, 190 secs
lola: 92952 markings, 329244 edges, 464 markings/sec, 195 secs
lola: 95280 markings, 337937 edges, 466 markings/sec, 200 secs
lola: 97615 markings, 346492 edges, 467 markings/sec, 205 secs
lola: 99988 markings, 354790 edges, 475 markings/sec, 210 secs
lola: 102372 markings, 363059 edges, 477 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: 90592 KB
lola: time consumption: 904 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__8_26_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__8_26_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D50N010-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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: Structural Bound: 10
lola: 1712 markings, 6159 edges, 342 markings/sec, 5 secs
lola: 4073 markings, 14199 edges, 472 markings/sec, 10 secs
lola: 6458 markings, 22746 edges, 477 markings/sec, 15 secs
lola: 8819 markings, 31189 edges, 472 markings/sec, 20 secs
lola: 11081 markings, 39262 edges, 452 markings/sec, 25 secs
lola: 13461 markings, 47819 edges, 476 markings/sec, 30 secs
lola: 15861 markings, 56338 edges, 480 markings/sec, 35 secs
lola: 18257 markings, 64968 edges, 479 markings/sec, 40 secs
lola: 20666 markings, 73516 edges, 482 markings/sec, 45 secs
lola: 23053 markings, 82131 edges, 477 markings/sec, 50 secs
lola: 25445 markings, 90086 edges, 478 markings/sec, 55 secs
lola: 27852 markings, 97952 edges, 481 markings/sec, 60 secs
lola: 30268 markings, 106775 edges, 483 markings/sec, 65 secs
lola: 32682 markings, 115386 edges, 483 markings/sec, 70 secs
lola: 35105 markings, 124196 edges, 485 markings/sec, 75 secs
lola: 37518 markings, 132945 edges, 483 markings/sec, 80 secs
lola: 39930 markings, 141835 edges, 482 markings/sec, 85 secs
lola: 42327 markings, 150394 edges, 479 markings/sec, 90 secs
lola: 44700 markings, 159189 edges, 475 markings/sec, 95 secs
lola: 47085 markings, 167676 edges, 477 markings/sec, 100 secs
lola: 49444 markings, 175421 edges, 472 markings/sec, 105 secs
lola: 51842 markings, 183690 edges, 480 markings/sec, 110 secs
lola: 54251 markings, 192354 edges, 482 markings/sec, 115 secs
lola: 56663 markings, 201575 edges, 482 markings/sec, 120 secs
lola: 59068 markings, 210380 edges, 481 markings/sec, 125 secs
lola: 61434 markings, 219387 edges, 473 markings/sec, 130 secs
lola: 63844 markings, 227765 edges, 482 markings/sec, 135 secs
lola: 66223 markings, 236239 edges, 476 markings/sec, 140 secs
lola: 68623 markings, 244881 edges, 480 markings/sec, 145 secs
lola: 71041 markings, 252966 edges, 484 markings/sec, 150 secs
lola: 73462 markings, 260854 edges, 484 markings/sec, 155 secs
lola: 75875 markings, 269494 edges, 483 markings/sec, 160 secs
lola: 78289 markings, 277778 edges, 483 markings/sec, 165 secs
lola: 80679 markings, 287145 edges, 478 markings/sec, 170 secs
lola: 83072 markings, 294965 edges, 479 markings/sec, 175 secs
lola: 85454 markings, 303514 edges, 476 markings/sec, 180 secs
lola: 87829 markings, 311842 edges, 475 markings/sec, 185 secs
lola: 90207 markings, 320235 edges, 476 markings/sec, 190 secs
lola: 92578 markings, 329109 edges, 474 markings/sec, 195 secs
lola: 94947 markings, 337883 edges, 474 markings/sec, 200 secs
lola: 97340 markings, 346106 edges, 479 markings/sec, 205 secs
lola: 99719 markings, 354191 edges, 476 markings/sec, 210 secs
lola: 102090 markings, 362626 edges, 474 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: 90512 KB
lola: time consumption: 1126 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__37_11_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__37_11_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D50N010-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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: Structural Bound: 10
lola: 1746 markings, 6292 edges, 349 markings/sec, 5 secs
lola: 4144 markings, 14611 edges, 480 markings/sec, 10 secs
lola: 6536 markings, 23455 edges, 478 markings/sec, 15 secs
lola: 8923 markings, 31925 edges, 477 markings/sec, 20 secs
lola: 11292 markings, 40570 edges, 474 markings/sec, 25 secs
lola: 13663 markings, 49341 edges, 474 markings/sec, 30 secs
lola: 16042 markings, 57812 edges, 476 markings/sec, 35 secs
lola: 18431 markings, 66359 edges, 478 markings/sec, 40 secs
lola: 20814 markings, 75244 edges, 477 markings/sec, 45 secs
lola: 23186 markings, 83964 edges, 474 markings/sec, 50 secs
lola: 25533 markings, 92784 edges, 469 markings/sec, 55 secs
lola: 27909 markings, 101381 edges, 475 markings/sec, 60 secs
lola: 30248 markings, 110034 edges, 468 markings/sec, 65 secs
lola: 32625 markings, 119050 edges, 475 markings/sec, 70 secs
lola: 34996 markings, 127953 edges, 474 markings/sec, 75 secs
lola: 37387 markings, 136700 edges, 478 markings/sec, 80 secs
lola: 39779 markings, 145543 edges, 478 markings/sec, 85 secs
lola: 42183 markings, 154597 edges, 481 markings/sec, 90 secs
lola: 44574 markings, 163717 edges, 478 markings/sec, 95 secs
lola: 46958 markings, 173287 edges, 477 markings/sec, 100 secs
lola: 49361 markings, 182153 edges, 481 markings/sec, 105 secs
lola: 51766 markings, 191223 edges, 481 markings/sec, 110 secs
lola: 54170 markings, 200082 edges, 481 markings/sec, 115 secs
lola: 56495 markings, 208772 edges, 465 markings/sec, 120 secs
lola: 58853 markings, 217339 edges, 472 markings/sec, 125 secs
lola: 61191 markings, 225862 edges, 468 markings/sec, 130 secs
lola: 63576 markings, 234883 edges, 477 markings/sec, 135 secs
lola: 65956 markings, 243818 edges, 476 markings/sec, 140 secs
lola: 68339 markings, 252322 edges, 477 markings/sec, 145 secs
lola: 70722 markings, 261705 edges, 477 markings/sec, 150 secs
lola: 73091 markings, 270724 edges, 474 markings/sec, 155 secs
lola: 75492 markings, 279500 edges, 480 markings/sec, 160 secs
lola: 77877 markings, 288791 edges, 477 markings/sec, 165 secs
lola: 80284 markings, 297453 edges, 481 markings/sec, 170 secs
lola: 82667 markings, 306863 edges, 477 markings/sec, 175 secs
lola: 85073 markings, 315827 edges, 481 markings/sec, 180 secs
lola: 87480 markings, 324747 edges, 481 markings/sec, 185 secs
lola: 89888 markings, 333345 edges, 482 markings/sec, 190 secs
lola: 92292 markings, 342264 edges, 481 markings/sec, 195 secs
lola: 94685 markings, 350852 edges, 479 markings/sec, 200 secs
lola: 97078 markings, 359624 edges, 479 markings/sec, 205 secs
lola: 99465 markings, 368391 edges, 477 markings/sec, 210 secs
lola: 101854 markings, 377153 edges, 478 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: 89756 KB
lola: time consumption: 1348 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__33_4_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__33_4_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D50N010-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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: Structural Bound: 10
lola: 1787 markings, 6705 edges, 357 markings/sec, 5 secs
lola: 4132 markings, 15099 edges, 469 markings/sec, 10 secs
lola: 6497 markings, 23358 edges, 473 markings/sec, 15 secs
lola: 8881 markings, 31532 edges, 477 markings/sec, 20 secs
lola: 11276 markings, 39625 edges, 479 markings/sec, 25 secs
lola: 13672 markings, 47908 edges, 479 markings/sec, 30 secs
lola: 16046 markings, 56419 edges, 475 markings/sec, 35 secs
lola: 18390 markings, 63859 edges, 469 markings/sec, 40 secs
lola: 20763 markings, 70940 edges, 475 markings/sec, 45 secs
lola: 23163 markings, 78485 edges, 480 markings/sec, 50 secs
lola: 25573 markings, 86101 edges, 482 markings/sec, 55 secs
lola: 27969 markings, 94367 edges, 479 markings/sec, 60 secs
lola: 30266 markings, 102524 edges, 459 markings/sec, 65 secs
lola: 32659 markings, 111193 edges, 479 markings/sec, 70 secs
lola: 35065 markings, 118409 edges, 481 markings/sec, 75 secs
lola: 37383 markings, 126342 edges, 464 markings/sec, 80 secs
lola: 39742 markings, 134772 edges, 472 markings/sec, 85 secs
lola: 42130 markings, 142012 edges, 478 markings/sec, 90 secs
lola: 44471 markings, 149881 edges, 468 markings/sec, 95 secs
lola: 46855 markings, 158364 edges, 477 markings/sec, 100 secs
lola: 49228 markings, 167559 edges, 475 markings/sec, 105 secs
lola: 51620 markings, 175828 edges, 478 markings/sec, 110 secs
lola: 53987 markings, 184128 edges, 473 markings/sec, 115 secs
lola: 56349 markings, 191665 edges, 472 markings/sec, 120 secs
lola: 58740 markings, 199784 edges, 478 markings/sec, 125 secs
lola: 61115 markings, 208775 edges, 475 markings/sec, 130 secs
lola: 63502 markings, 217121 edges, 477 markings/sec, 135 secs
lola: 65875 markings, 225981 edges, 475 markings/sec, 140 secs
lola: 68259 markings, 233894 edges, 477 markings/sec, 145 secs
lola: 70634 markings, 241557 edges, 475 markings/sec, 150 secs
lola: 73055 markings, 248763 edges, 484 markings/sec, 155 secs
lola: 75452 markings, 256921 edges, 479 markings/sec, 160 secs
lola: 77854 markings, 264814 edges, 480 markings/sec, 165 secs
lola: 80252 markings, 272824 edges, 480 markings/sec, 170 secs
lola: 82585 markings, 281247 edges, 467 markings/sec, 175 secs
lola: 84961 markings, 288832 edges, 475 markings/sec, 180 secs
lola: 87298 markings, 296168 edges, 467 markings/sec, 185 secs
lola: 89663 markings, 304615 edges, 473 markings/sec, 190 secs
lola: 92082 markings, 312374 edges, 484 markings/sec, 195 secs
lola: 94494 markings, 320535 edges, 482 markings/sec, 200 secs
lola: 96914 markings, 328346 edges, 484 markings/sec, 205 secs
lola: 99333 markings, 336303 edges, 484 markings/sec, 210 secs
lola: 101710 markings, 344195 edges, 475 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: 81040 KB
lola: time consumption: 1570 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__5_18_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__5_18_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D50N010-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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: Structural Bound: 10
lola: 1878 markings, 6650 edges, 376 markings/sec, 5 secs
lola: 4324 markings, 14878 edges, 489 markings/sec, 10 secs
lola: 6759 markings, 24076 edges, 487 markings/sec, 15 secs
lola: 9195 markings, 32706 edges, 487 markings/sec, 20 secs
lola: 11647 markings, 40987 edges, 490 markings/sec, 25 secs
lola: 14096 markings, 49464 edges, 490 markings/sec, 30 secs
lola: 16449 markings, 58120 edges, 471 markings/sec, 35 secs
lola: 18854 markings, 66302 edges, 481 markings/sec, 40 secs
lola: 21208 markings, 74756 edges, 471 markings/sec, 45 secs
lola: 23587 markings, 82901 edges, 476 markings/sec, 50 secs
lola: 26023 markings, 91709 edges, 487 markings/sec, 55 secs
lola: 28447 markings, 100336 edges, 485 markings/sec, 60 secs
lola: 30881 markings, 108855 edges, 487 markings/sec, 65 secs
lola: 33326 markings, 117386 edges, 489 markings/sec, 70 secs
lola: 35766 markings, 125696 edges, 488 markings/sec, 75 secs
lola: 38208 markings, 133702 edges, 488 markings/sec, 80 secs
lola: 40628 markings, 142657 edges, 484 markings/sec, 85 secs
lola: 43045 markings, 151182 edges, 483 markings/sec, 90 secs
lola: 45485 markings, 158755 edges, 488 markings/sec, 95 secs
lola: 47898 markings, 166648 edges, 483 markings/sec, 100 secs
lola: 50318 markings, 175381 edges, 484 markings/sec, 105 secs
lola: 52751 markings, 183549 edges, 487 markings/sec, 110 secs
lola: 55184 markings, 191876 edges, 487 markings/sec, 115 secs
lola: 57616 markings, 200020 edges, 486 markings/sec, 120 secs
lola: 60041 markings, 208783 edges, 485 markings/sec, 125 secs
lola: 62482 markings, 216715 edges, 488 markings/sec, 130 secs
lola: 64914 markings, 224914 edges, 486 markings/sec, 135 secs
lola: 67364 markings, 232757 edges, 490 markings/sec, 140 secs
lola: 69794 markings, 240874 edges, 486 markings/sec, 145 secs
lola: 72168 markings, 248768 edges, 475 markings/sec, 150 secs
lola: 74541 markings, 256982 edges, 475 markings/sec, 155 secs
lola: 76929 markings, 264884 edges, 478 markings/sec, 160 secs
lola: 79340 markings, 273387 edges, 482 markings/sec, 165 secs
lola: 81760 markings, 282018 edges, 484 markings/sec, 170 secs
lola: 84181 markings, 290488 edges, 484 markings/sec, 175 secs
lola: 86608 markings, 298958 edges, 485 markings/sec, 180 secs
lola: 89030 markings, 307586 edges, 484 markings/sec, 185 secs
lola: 91444 markings, 316793 edges, 483 markings/sec, 190 secs
lola: 93869 markings, 325460 edges, 485 markings/sec, 195 secs
lola: 96298 markings, 334384 edges, 486 markings/sec, 200 secs
lola: 98730 markings, 342995 edges, 486 markings/sec, 205 secs
lola: 101147 markings, 351626 edges, 483 markings/sec, 210 secs
lola: 103599 markings, 359137 edges, 490 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: 84968 KB
lola: time consumption: 1792 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__7_7_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__7_7_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D50N010-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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: Structural Bound: 10
lola: 1825 markings, 6830 edges, 365 markings/sec, 5 secs
lola: 4229 markings, 15871 edges, 481 markings/sec, 10 secs
lola: 6643 markings, 24230 edges, 483 markings/sec, 15 secs
lola: 9058 markings, 32662 edges, 483 markings/sec, 20 secs
lola: 11461 markings, 41483 edges, 481 markings/sec, 25 secs
lola: 13888 markings, 49635 edges, 485 markings/sec, 30 secs
lola: 16305 markings, 58450 edges, 483 markings/sec, 35 secs
lola: 18732 markings, 66790 edges, 485 markings/sec, 40 secs
lola: 21142 markings, 75288 edges, 482 markings/sec, 45 secs
lola: 23551 markings, 83835 edges, 482 markings/sec, 50 secs
lola: 25939 markings, 91626 edges, 478 markings/sec, 55 secs
lola: 28325 markings, 99883 edges, 477 markings/sec, 60 secs
lola: 30733 markings, 108059 edges, 482 markings/sec, 65 secs
lola: 33122 markings, 116831 edges, 478 markings/sec, 70 secs
lola: 35521 markings, 125251 edges, 480 markings/sec, 75 secs
lola: 37929 markings, 133612 edges, 482 markings/sec, 80 secs
lola: 40336 markings, 141869 edges, 481 markings/sec, 85 secs
lola: 42744 markings, 150505 edges, 482 markings/sec, 90 secs
lola: 45152 markings, 158976 edges, 482 markings/sec, 95 secs
lola: 47560 markings, 167679 edges, 482 markings/sec, 100 secs
lola: 49949 markings, 177105 edges, 478 markings/sec, 105 secs
lola: 52324 markings, 186059 edges, 475 markings/sec, 110 secs
lola: 54735 markings, 194694 edges, 482 markings/sec, 115 secs
lola: 57145 markings, 203535 edges, 482 markings/sec, 120 secs
lola: 59565 markings, 211932 edges, 484 markings/sec, 125 secs
lola: 61977 markings, 220734 edges, 482 markings/sec, 130 secs
lola: 64415 markings, 229087 edges, 488 markings/sec, 135 secs
lola: 66839 markings, 237967 edges, 485 markings/sec, 140 secs
lola: 69268 markings, 246928 edges, 486 markings/sec, 145 secs
lola: 71699 markings, 255628 edges, 486 markings/sec, 150 secs
lola: 74136 markings, 264009 edges, 487 markings/sec, 155 secs
lola: 76561 markings, 272324 edges, 485 markings/sec, 160 secs
lola: 78952 markings, 280454 edges, 478 markings/sec, 165 secs
lola: 81339 markings, 288727 edges, 477 markings/sec, 170 secs
lola: 83740 markings, 296895 edges, 480 markings/sec, 175 secs
lola: 86110 markings, 304900 edges, 474 markings/sec, 180 secs
lola: 88481 markings, 313169 edges, 474 markings/sec, 185 secs
lola: 90861 markings, 322389 edges, 476 markings/sec, 190 secs
lola: 93247 markings, 331462 edges, 477 markings/sec, 195 secs
lola: 95625 markings, 340747 edges, 476 markings/sec, 200 secs
lola: 97980 markings, 350057 edges, 471 markings/sec, 205 secs
lola: 100373 markings, 358794 edges, 479 markings/sec, 210 secs
lola: 102782 markings, 367129 edges, 482 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: 86196 KB
lola: time consumption: 2014 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__22_28_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__22_28_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D50N010-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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: Structural Bound: 10
lola: 1818 markings, 5588 edges, 364 markings/sec, 5 secs
lola: 4231 markings, 13674 edges, 483 markings/sec, 10 secs
lola: 6659 markings, 20795 edges, 486 markings/sec, 15 secs
lola: 9058 markings, 27612 edges, 480 markings/sec, 20 secs
lola: 11483 markings, 35495 edges, 485 markings/sec, 25 secs
lola: 13851 markings, 42879 edges, 474 markings/sec, 30 secs
lola: 16238 markings, 50506 edges, 477 markings/sec, 35 secs
lola: 18646 markings, 58119 edges, 482 markings/sec, 40 secs
lola: 21061 markings, 65707 edges, 483 markings/sec, 45 secs
lola: 23459 markings, 74194 edges, 480 markings/sec, 50 secs
lola: 25832 markings, 82249 edges, 475 markings/sec, 55 secs
lola: 28268 markings, 90063 edges, 487 markings/sec, 60 secs
lola: 30685 markings, 98147 edges, 483 markings/sec, 65 secs
lola: 33118 markings, 105251 edges, 487 markings/sec, 70 secs
lola: 35502 markings, 112269 edges, 477 markings/sec, 75 secs
lola: 37906 markings, 119929 edges, 481 markings/sec, 80 secs
lola: 40304 markings, 128344 edges, 480 markings/sec, 85 secs
lola: 42698 markings, 135799 edges, 479 markings/sec, 90 secs
lola: 45070 markings, 143548 edges, 474 markings/sec, 95 secs
lola: 47446 markings, 151561 edges, 475 markings/sec, 100 secs
lola: 49866 markings, 159154 edges, 484 markings/sec, 105 secs
lola: 52284 markings, 166690 edges, 484 markings/sec, 110 secs
lola: 54699 markings, 174615 edges, 483 markings/sec, 115 secs
lola: 57105 markings, 182484 edges, 481 markings/sec, 120 secs
lola: 59508 markings, 190673 edges, 481 markings/sec, 125 secs
lola: 61921 markings, 198091 edges, 483 markings/sec, 130 secs
lola: 64322 markings, 205578 edges, 480 markings/sec, 135 secs
lola: 66711 markings, 212468 edges, 478 markings/sec, 140 secs
lola: 69099 markings, 220023 edges, 478 markings/sec, 145 secs
lola: 71519 markings, 227530 edges, 484 markings/sec, 150 secs
lola: 73922 markings, 235354 edges, 481 markings/sec, 155 secs
lola: 76320 markings, 242653 edges, 480 markings/sec, 160 secs
lola: 78726 markings, 250412 edges, 481 markings/sec, 165 secs
lola: 81156 markings, 257895 edges, 486 markings/sec, 170 secs
lola: 83604 markings, 264981 edges, 490 markings/sec, 175 secs
lola: 86035 markings, 272939 edges, 486 markings/sec, 180 secs
lola: 88469 markings, 280641 edges, 487 markings/sec, 185 secs
lola: 90891 markings, 288625 edges, 484 markings/sec, 190 secs
lola: 93315 markings, 296405 edges, 485 markings/sec, 195 secs
lola: 95734 markings, 304550 edges, 484 markings/sec, 200 secs
lola: 98150 markings, 313014 edges, 483 markings/sec, 205 secs
lola: 100550 markings, 321880 edges, 480 markings/sec, 210 secs
lola: 102970 markings, 329310 edges, 484 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: 91928 KB
lola: time consumption: 2236 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__20_44_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__20_44_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D50N010-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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: Structural Bound: 10
lola: 1831 markings, 6807 edges, 366 markings/sec, 5 secs
lola: 4256 markings, 15390 edges, 485 markings/sec, 10 secs
lola: 6670 markings, 24252 edges, 483 markings/sec, 15 secs
lola: 9088 markings, 33109 edges, 484 markings/sec, 20 secs
lola: 11513 markings, 42046 edges, 485 markings/sec, 25 secs
lola: 13934 markings, 50871 edges, 484 markings/sec, 30 secs
lola: 16356 markings, 59754 edges, 484 markings/sec, 35 secs
lola: 18774 markings, 68282 edges, 484 markings/sec, 40 secs
lola: 21177 markings, 76632 edges, 481 markings/sec, 45 secs
lola: 23586 markings, 85144 edges, 482 markings/sec, 50 secs
lola: 25995 markings, 93827 edges, 482 markings/sec, 55 secs
lola: 28404 markings, 102121 edges, 482 markings/sec, 60 secs
lola: 30800 markings, 111031 edges, 479 markings/sec, 65 secs
lola: 33162 markings, 120197 edges, 472 markings/sec, 70 secs
lola: 35553 markings, 129164 edges, 478 markings/sec, 75 secs
lola: 37949 markings, 138222 edges, 479 markings/sec, 80 secs
lola: 40342 markings, 147409 edges, 479 markings/sec, 85 secs
lola: 42735 markings, 156475 edges, 479 markings/sec, 90 secs
lola: 45134 markings, 165655 edges, 480 markings/sec, 95 secs
lola: 47541 markings, 174678 edges, 481 markings/sec, 100 secs
lola: 49920 markings, 184761 edges, 476 markings/sec, 105 secs
lola: 52307 markings, 194628 edges, 477 markings/sec, 110 secs
lola: 54691 markings, 204552 edges, 477 markings/sec, 115 secs
lola: 57097 markings, 213595 edges, 481 markings/sec, 120 secs
lola: 59490 markings, 222940 edges, 479 markings/sec, 125 secs
lola: 61881 markings, 232419 edges, 478 markings/sec, 130 secs
lola: 64287 markings, 241215 edges, 481 markings/sec, 135 secs
lola: 66679 markings, 249578 edges, 478 markings/sec, 140 secs
lola: 69059 markings, 258602 edges, 476 markings/sec, 145 secs
lola: 71447 markings, 268099 edges, 478 markings/sec, 150 secs
lola: 73837 markings, 277433 edges, 478 markings/sec, 155 secs
lola: 76232 markings, 286525 edges, 479 markings/sec, 160 secs
lola: 78612 markings, 296144 edges, 476 markings/sec, 165 secs
lola: 80955 markings, 305238 edges, 469 markings/sec, 170 secs
lola: 83361 markings, 313643 edges, 481 markings/sec, 175 secs
lola: 85764 markings, 322203 edges, 481 markings/sec, 180 secs
lola: 88169 markings, 330815 edges, 481 markings/sec, 185 secs
lola: 90575 markings, 339428 edges, 481 markings/sec, 190 secs
lola: 92937 markings, 349013 edges, 472 markings/sec, 195 secs
lola: 95322 markings, 357775 edges, 477 markings/sec, 200 secs
lola: 97739 markings, 366361 edges, 483 markings/sec, 205 secs
lola: 100154 markings, 375374 edges, 483 markings/sec, 210 secs
lola: 102562 markings, 384728 edges, 482 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: 88392 KB
lola: time consumption: 2458 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__34_40_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__34_40_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D50N010-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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: Structural Bound: 10
lola: 1845 markings, 6792 edges, 369 markings/sec, 5 secs
lola: 4294 markings, 15200 edges, 490 markings/sec, 10 secs
lola: 6739 markings, 23711 edges, 489 markings/sec, 15 secs
lola: 9167 markings, 32408 edges, 486 markings/sec, 20 secs
lola: 11556 markings, 41536 edges, 478 markings/sec, 25 secs
lola: 13971 markings, 50317 edges, 483 markings/sec, 30 secs
lola: 16349 markings, 58989 edges, 476 markings/sec, 35 secs
lola: 18780 markings, 67776 edges, 486 markings/sec, 40 secs
lola: 21206 markings, 76165 edges, 485 markings/sec, 45 secs
lola: 23639 markings, 83754 edges, 487 markings/sec, 50 secs
lola: 26070 markings, 91523 edges, 486 markings/sec, 55 secs
lola: 28501 markings, 99684 edges, 486 markings/sec, 60 secs
lola: 30930 markings, 107628 edges, 486 markings/sec, 65 secs
lola: 33373 markings, 115424 edges, 489 markings/sec, 70 secs
lola: 35767 markings, 123379 edges, 479 markings/sec, 75 secs
lola: 38185 markings, 131932 edges, 484 markings/sec, 80 secs
lola: 40602 markings, 140306 edges, 483 markings/sec, 85 secs
lola: 43010 markings, 148549 edges, 482 markings/sec, 90 secs
lola: 45422 markings, 157787 edges, 482 markings/sec, 95 secs
lola: 47839 markings, 166789 edges, 483 markings/sec, 100 secs
lola: 50267 markings, 175291 edges, 486 markings/sec, 105 secs
lola: 52672 markings, 184778 edges, 481 markings/sec, 110 secs
lola: 55093 markings, 193646 edges, 484 markings/sec, 115 secs
lola: 57518 markings, 202451 edges, 485 markings/sec, 120 secs
lola: 59948 markings, 210604 edges, 486 markings/sec, 125 secs
lola: 62356 markings, 219937 edges, 482 markings/sec, 130 secs
lola: 64782 markings, 227752 edges, 485 markings/sec, 135 secs
lola: 67204 markings, 235875 edges, 484 markings/sec, 140 secs
lola: 69633 markings, 243677 edges, 486 markings/sec, 145 secs
lola: 72055 markings, 251421 edges, 484 markings/sec, 150 secs
lola: 74473 markings, 259441 edges, 484 markings/sec, 155 secs
lola: 76896 markings, 268082 edges, 485 markings/sec, 160 secs
lola: 79293 markings, 276580 edges, 479 markings/sec, 165 secs
lola: 81724 markings, 284790 edges, 486 markings/sec, 170 secs
lola: 84160 markings, 292393 edges, 487 markings/sec, 175 secs
lola: 86585 markings, 300379 edges, 485 markings/sec, 180 secs
lola: 89008 markings, 309002 edges, 485 markings/sec, 185 secs
lola: 91441 markings, 317007 edges, 487 markings/sec, 190 secs
lola: 93876 markings, 325079 edges, 487 markings/sec, 195 secs
lola: 96325 markings, 332636 edges, 490 markings/sec, 200 secs
lola: 98751 markings, 340666 edges, 485 markings/sec, 205 secs
lola: 101114 markings, 348675 edges, 473 markings/sec, 210 secs
lola: 103549 markings, 356963 edges, 487 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: 86420 KB
lola: time consumption: 2680 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__32_41_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__32_41_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D50N010-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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: Structural Bound: 10
lola: 1838 markings, 6528 edges, 368 markings/sec, 5 secs
lola: 4252 markings, 14844 edges, 483 markings/sec, 10 secs
lola: 6658 markings, 23226 edges, 481 markings/sec, 15 secs
lola: 9090 markings, 31038 edges, 486 markings/sec, 20 secs
lola: 11515 markings, 39576 edges, 485 markings/sec, 25 secs
lola: 13940 markings, 47728 edges, 485 markings/sec, 30 secs
lola: 16356 markings, 56081 edges, 483 markings/sec, 35 secs
lola: 18785 markings, 63182 edges, 486 markings/sec, 40 secs
lola: 21199 markings, 70933 edges, 483 markings/sec, 45 secs
lola: 23617 markings, 78743 edges, 484 markings/sec, 50 secs
lola: 26021 markings, 87187 edges, 481 markings/sec, 55 secs
lola: 28435 markings, 95334 edges, 483 markings/sec, 60 secs
lola: 30857 markings, 103518 edges, 484 markings/sec, 65 secs
lola: 33295 markings, 111114 edges, 488 markings/sec, 70 secs
lola: 35736 markings, 118471 edges, 488 markings/sec, 75 secs
lola: 38168 markings, 126006 edges, 486 markings/sec, 80 secs
lola: 40600 markings, 134136 edges, 486 markings/sec, 85 secs
lola: 43027 markings, 142348 edges, 485 markings/sec, 90 secs
lola: 45472 markings, 149565 edges, 489 markings/sec, 95 secs
lola: 47910 markings, 156970 edges, 488 markings/sec, 100 secs
lola: 50351 markings, 164059 edges, 488 markings/sec, 105 secs
lola: 52766 markings, 171639 edges, 483 markings/sec, 110 secs
lola: 55172 markings, 179880 edges, 481 markings/sec, 115 secs
lola: 57575 markings, 187984 edges, 481 markings/sec, 120 secs
lola: 59957 markings, 195231 edges, 476 markings/sec, 125 secs
lola: 62385 markings, 202588 edges, 486 markings/sec, 130 secs
lola: 64805 markings, 210328 edges, 484 markings/sec, 135 secs
lola: 67214 markings, 218415 edges, 482 markings/sec, 140 secs
lola: 69620 markings, 226927 edges, 481 markings/sec, 145 secs
lola: 72019 markings, 236129 edges, 480 markings/sec, 150 secs
lola: 74426 markings, 244714 edges, 481 markings/sec, 155 secs
lola: 76832 markings, 253438 edges, 481 markings/sec, 160 secs
lola: 79242 markings, 262172 edges, 482 markings/sec, 165 secs
lola: 81647 markings, 270972 edges, 481 markings/sec, 170 secs
lola: 84043 markings, 279137 edges, 479 markings/sec, 175 secs
lola: 86431 markings, 286455 edges, 478 markings/sec, 180 secs
lola: 88876 markings, 293753 edges, 489 markings/sec, 185 secs
lola: 91311 markings, 301776 edges, 487 markings/sec, 190 secs
lola: 93710 markings, 310082 edges, 480 markings/sec, 195 secs
lola: 96122 markings, 318675 edges, 482 markings/sec, 200 secs
lola: 98546 markings, 326884 edges, 485 markings/sec, 205 secs
lola: 100939 markings, 336162 edges, 479 markings/sec, 210 secs
lola: 103347 markings, 344797 edges, 482 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: 86052 KB
lola: time consumption: 2902 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__24_44_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__24_44_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D50N010-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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: Structural Bound: 10
lola: 1832 markings, 6065 edges, 366 markings/sec, 5 secs
lola: 4240 markings, 14594 edges, 482 markings/sec, 10 secs
lola: 6641 markings, 23120 edges, 480 markings/sec, 15 secs
lola: 9034 markings, 31801 edges, 479 markings/sec, 20 secs
lola: 11429 markings, 40585 edges, 479 markings/sec, 25 secs
lola: 13830 markings, 49136 edges, 480 markings/sec, 30 secs
lola: 16226 markings, 57908 edges, 479 markings/sec, 35 secs
lola: 18621 markings, 66452 edges, 479 markings/sec, 40 secs
lola: 20986 markings, 74856 edges, 473 markings/sec, 45 secs
lola: 23395 markings, 83693 edges, 482 markings/sec, 50 secs
lola: 25811 markings, 92380 edges, 483 markings/sec, 55 secs
lola: 28226 markings, 101010 edges, 483 markings/sec, 60 secs
lola: 30642 markings, 109814 edges, 483 markings/sec, 65 secs
lola: 33051 markings, 118399 edges, 482 markings/sec, 70 secs
lola: 35454 markings, 127090 edges, 481 markings/sec, 75 secs
lola: 37866 markings, 135470 edges, 482 markings/sec, 80 secs
lola: 40274 markings, 143394 edges, 482 markings/sec, 85 secs
lola: 42680 markings, 152001 edges, 481 markings/sec, 90 secs
lola: 45086 markings, 160412 edges, 481 markings/sec, 95 secs
lola: 47513 markings, 169050 edges, 485 markings/sec, 100 secs
lola: 49951 markings, 177840 edges, 488 markings/sec, 105 secs
lola: 52381 markings, 186565 edges, 486 markings/sec, 110 secs
lola: 54819 markings, 195064 edges, 488 markings/sec, 115 secs
lola: 57207 markings, 203392 edges, 478 markings/sec, 120 secs
lola: 59589 markings, 212209 edges, 476 markings/sec, 125 secs
lola: 62003 markings, 220909 edges, 483 markings/sec, 130 secs
lola: 64416 markings, 229721 edges, 483 markings/sec, 135 secs
lola: 66760 markings, 238623 edges, 469 markings/sec, 140 secs
lola: 69152 markings, 246333 edges, 478 markings/sec, 145 secs
lola: 71532 markings, 254749 edges, 476 markings/sec, 150 secs
lola: 73949 markings, 263440 edges, 483 markings/sec, 155 secs
lola: 76346 markings, 271976 edges, 479 markings/sec, 160 secs
lola: 78770 markings, 280209 edges, 485 markings/sec, 165 secs
lola: 81196 markings, 288679 edges, 485 markings/sec, 170 secs
lola: 83609 markings, 297700 edges, 483 markings/sec, 175 secs
lola: 86011 markings, 307527 edges, 480 markings/sec, 180 secs
lola: 88417 markings, 316190 edges, 481 markings/sec, 185 secs
lola: 90819 markings, 324773 edges, 480 markings/sec, 190 secs
lola: 93240 markings, 332923 edges, 484 markings/sec, 195 secs
lola: 95646 markings, 341486 edges, 481 markings/sec, 200 secs
lola: 98035 markings, 351223 edges, 478 markings/sec, 205 secs
lola: 100449 markings, 360552 edges, 483 markings/sec, 210 secs
lola: 102824 markings, 368850 edges, 475 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: 86592 KB
lola: time consumption: 3124 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__4_47_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__4_47_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D50N010-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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: Structural Bound: 10
lola: 1810 markings, 6214 edges, 362 markings/sec, 5 secs
lola: 4233 markings, 14394 edges, 485 markings/sec, 10 secs
lola: 6672 markings, 23292 edges, 488 markings/sec, 15 secs
lola: 9122 markings, 32057 edges, 490 markings/sec, 20 secs
lola: 11595 markings, 40686 edges, 495 markings/sec, 25 secs
lola: 14053 markings, 49594 edges, 492 markings/sec, 30 secs
lola: 16453 markings, 57964 edges, 480 markings/sec, 35 secs
lola: 18889 markings, 66267 edges, 487 markings/sec, 40 secs
lola: 21302 markings, 75378 edges, 483 markings/sec, 45 secs
lola: 23748 markings, 83659 edges, 489 markings/sec, 50 secs
lola: 26182 markings, 92069 edges, 487 markings/sec, 55 secs
lola: 28591 markings, 100732 edges, 482 markings/sec, 60 secs
lola: 31071 markings, 108643 edges, 496 markings/sec, 65 secs
lola: 33552 markings, 116520 edges, 496 markings/sec, 70 secs
lola: 35987 markings, 124394 edges, 487 markings/sec, 75 secs
lola: 38317 markings, 132278 edges, 466 markings/sec, 80 secs
lola: 40723 markings, 139879 edges, 481 markings/sec, 85 secs
lola: 43157 markings, 147648 edges, 487 markings/sec, 90 secs
lola: 45579 markings, 155768 edges, 484 markings/sec, 95 secs
lola: 47987 markings, 163950 edges, 482 markings/sec, 100 secs
lola: 50395 markings, 172749 edges, 482 markings/sec, 105 secs
lola: 52810 markings, 181081 edges, 483 markings/sec, 110 secs
lola: 55221 markings, 189837 edges, 482 markings/sec, 115 secs
lola: 57623 markings, 199235 edges, 480 markings/sec, 120 secs
lola: 59988 markings, 208822 edges, 473 markings/sec, 125 secs
lola: 62380 markings, 216583 edges, 478 markings/sec, 130 secs
lola: 64756 markings, 223998 edges, 475 markings/sec, 135 secs
lola: 67190 markings, 232019 edges, 487 markings/sec, 140 secs
lola: 69578 markings, 240162 edges, 478 markings/sec, 145 secs
lola: 72004 markings, 247898 edges, 485 markings/sec, 150 secs
lola: 74421 markings, 255953 edges, 483 markings/sec, 155 secs
lola: 76838 markings, 264232 edges, 483 markings/sec, 160 secs
lola: 79238 markings, 273261 edges, 480 markings/sec, 165 secs
lola: 81654 markings, 281481 edges, 483 markings/sec, 170 secs
lola: 84081 markings, 288974 edges, 485 markings/sec, 175 secs
lola: 86477 markings, 296538 edges, 479 markings/sec, 180 secs
lola: 88862 markings, 305492 edges, 477 markings/sec, 185 secs
lola: 91292 markings, 313910 edges, 486 markings/sec, 190 secs
lola: 93709 markings, 322285 edges, 483 markings/sec, 195 secs
lola: 96162 markings, 329941 edges, 491 markings/sec, 200 secs
lola: 98538 markings, 338132 edges, 475 markings/sec, 205 secs
lola: 100946 markings, 345698 edges, 482 markings/sec, 210 secs
lola: 103393 markings, 353754 edges, 489 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: 89576 KB
lola: time consumption: 3346 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__14_9_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__14_9_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D50N010-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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: Structural Bound: 10
lola: 1812 markings, 6649 edges, 362 markings/sec, 5 secs
lola: 4229 markings, 14621 edges, 483 markings/sec, 10 secs
lola: 6635 markings, 23215 edges, 481 markings/sec, 15 secs
lola: 9037 markings, 31895 edges, 480 markings/sec, 20 secs
lola: 11444 markings, 40292 edges, 481 markings/sec, 25 secs
lola: 13824 markings, 48667 edges, 476 markings/sec, 30 secs
lola: 16210 markings, 56923 edges, 477 markings/sec, 35 secs
lola: 18596 markings, 65519 edges, 477 markings/sec, 40 secs
lola: 20966 markings, 73938 edges, 474 markings/sec, 45 secs
lola: 23381 markings, 81754 edges, 483 markings/sec, 50 secs
lola: 25796 markings, 89601 edges, 483 markings/sec, 55 secs
lola: 28209 markings, 97789 edges, 483 markings/sec, 60 secs
lola: 30615 markings, 106148 edges, 481 markings/sec, 65 secs
lola: 33035 markings, 114216 edges, 484 markings/sec, 70 secs
lola: 35442 markings, 122732 edges, 481 markings/sec, 75 secs
lola: 37853 markings, 130526 edges, 482 markings/sec, 80 secs
lola: 40260 markings, 138656 edges, 481 markings/sec, 85 secs
lola: 42669 markings, 146990 edges, 482 markings/sec, 90 secs
lola: 45079 markings, 155215 edges, 482 markings/sec, 95 secs
lola: 47481 markings, 164181 edges, 480 markings/sec, 100 secs
lola: 49890 markings, 172631 edges, 482 markings/sec, 105 secs
lola: 52304 markings, 180550 edges, 483 markings/sec, 110 secs
lola: 54720 markings, 188925 edges, 483 markings/sec, 115 secs
lola: 57079 markings, 197515 edges, 472 markings/sec, 120 secs
lola: 59471 markings, 205710 edges, 478 markings/sec, 125 secs
lola: 61888 markings, 213625 edges, 483 markings/sec, 130 secs
lola: 64308 markings, 221642 edges, 484 markings/sec, 135 secs
lola: 66730 markings, 229985 edges, 484 markings/sec, 140 secs
lola: 69123 markings, 238545 edges, 479 markings/sec, 145 secs
lola: 71541 markings, 247097 edges, 484 markings/sec, 150 secs
lola: 73951 markings, 254723 edges, 482 markings/sec, 155 secs
lola: 76364 markings, 262902 edges, 483 markings/sec, 160 secs
lola: 78777 markings, 270902 edges, 483 markings/sec, 165 secs
lola: 81188 markings, 278767 edges, 482 markings/sec, 170 secs
lola: 83590 markings, 287586 edges, 480 markings/sec, 175 secs
lola: 86027 markings, 295716 edges, 487 markings/sec, 180 secs
lola: 88454 markings, 304656 edges, 485 markings/sec, 185 secs
lola: 90876 markings, 312654 edges, 484 markings/sec, 190 secs
lola: 93283 markings, 320892 edges, 481 markings/sec, 195 secs
lola: 95701 markings, 328771 edges, 484 markings/sec, 200 secs
lola: 98095 markings, 337450 edges, 479 markings/sec, 205 secs
lola: 100499 markings, 345979 edges, 481 markings/sec, 210 secs
lola: 102896 markings, 354674 edges, 479 markings/sec, 215 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 86128 KB
lola: time consumption: 3569 seconds
lola: memory consumption: 86128 KB
lola: time consumption: 3569 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown

BK_STOP 1552928064182

--------------------
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-D50N010"
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-D50N010, 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-155234666500076"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/Diffusion2D-PT-D50N010.tgz
mv Diffusion2D-PT-D50N010 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 ;