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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 7.5M
-rw-r--r-- 1 mcc users 4.5K Feb 10 21:36 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 10 21:36 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.4K 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.5K Feb 4 23:33 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.4K Feb 4 23:32 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 4 22:34 LTLFireability.txt
-rw-r--r-- 1 mcc users 7.5K Feb 4 22:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Feb 3 07:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Feb 3 07:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.4K Jan 30 23:47 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K 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-D50N050-UpperBounds-00
FORMULA_NAME Diffusion2D-PT-D50N050-UpperBounds-01
FORMULA_NAME Diffusion2D-PT-D50N050-UpperBounds-02
FORMULA_NAME Diffusion2D-PT-D50N050-UpperBounds-03
FORMULA_NAME Diffusion2D-PT-D50N050-UpperBounds-04
FORMULA_NAME Diffusion2D-PT-D50N050-UpperBounds-05
FORMULA_NAME Diffusion2D-PT-D50N050-UpperBounds-06
FORMULA_NAME Diffusion2D-PT-D50N050-UpperBounds-07
FORMULA_NAME Diffusion2D-PT-D50N050-UpperBounds-08
FORMULA_NAME Diffusion2D-PT-D50N050-UpperBounds-09
FORMULA_NAME Diffusion2D-PT-D50N050-UpperBounds-10
FORMULA_NAME Diffusion2D-PT-D50N050-UpperBounds-11
FORMULA_NAME Diffusion2D-PT-D50N050-UpperBounds-12
FORMULA_NAME Diffusion2D-PT-D50N050-UpperBounds-13
FORMULA_NAME Diffusion2D-PT-D50N050-UpperBounds-14
FORMULA_NAME Diffusion2D-PT-D50N050-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1552925117203

info: Time: 3600 - MCC
===========================================================================================
prep: translating Diffusion2D-PT-D50N050 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating Diffusion2D-PT-D50N050 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ Diffusion2D-PT-D50N050 @ 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: 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-D50N050-UpperBounds.task
lola: MAX(cAMP__25_17_) : MAX(cAMP__6_43_) : MAX(cAMP__24_13_) : MAX(cAMP__16_49_) : MAX(cAMP__17_20_) : MAX(cAMP__50_20_) : MAX(cAMP__27_22_) : MAX(cAMP__14_7_) : MAX(cAMP__9_2_) : MAX(cAMP__26_18_) : MAX(cAMP__45_36_) : MAX(cAMP__5_47_) : MAX(cAMP__10_49_) : MAX(cAMP__24_11_) : MAX(cAMP__40_48_) : MAX(cAMP__8_28_)
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__25_17_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__25_17_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D50N050-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: 50
lola: 1776 markings, 5774 edges, 355 markings/sec, 5 secs
lola: 4176 markings, 13982 edges, 480 markings/sec, 10 secs
lola: 6576 markings, 22157 edges, 480 markings/sec, 15 secs
lola: 8990 markings, 29243 edges, 483 markings/sec, 20 secs
lola: 11397 markings, 36988 edges, 481 markings/sec, 25 secs
lola: 13813 markings, 44306 edges, 483 markings/sec, 30 secs
lola: 16213 markings, 52448 edges, 480 markings/sec, 35 secs
lola: 18635 markings, 60499 edges, 484 markings/sec, 40 secs
lola: 21052 markings, 68907 edges, 483 markings/sec, 45 secs
lola: 23464 markings, 77183 edges, 482 markings/sec, 50 secs
lola: 25873 markings, 85957 edges, 482 markings/sec, 55 secs
lola: 28286 markings, 94558 edges, 483 markings/sec, 60 secs
lola: 30708 markings, 102561 edges, 484 markings/sec, 65 secs
lola: 33122 markings, 110656 edges, 483 markings/sec, 70 secs
lola: 35531 markings, 118840 edges, 482 markings/sec, 75 secs
lola: 37953 markings, 126710 edges, 484 markings/sec, 80 secs
lola: 40354 markings, 135252 edges, 480 markings/sec, 85 secs
lola: 42774 markings, 142963 edges, 484 markings/sec, 90 secs
lola: 45175 markings, 151499 edges, 480 markings/sec, 95 secs
lola: 47572 markings, 160541 edges, 479 markings/sec, 100 secs
lola: 50011 markings, 167724 edges, 488 markings/sec, 105 secs
lola: 52437 markings, 175632 edges, 485 markings/sec, 110 secs
lola: 54865 markings, 182966 edges, 486 markings/sec, 115 secs
lola: 57277 markings, 191544 edges, 482 markings/sec, 120 secs
lola: 59698 markings, 199719 edges, 484 markings/sec, 125 secs
lola: 62120 markings, 207592 edges, 484 markings/sec, 130 secs
lola: 64545 markings, 214964 edges, 485 markings/sec, 135 secs
lola: 66947 markings, 222841 edges, 480 markings/sec, 140 secs
lola: 69345 markings, 230030 edges, 480 markings/sec, 145 secs
lola: 71749 markings, 238496 edges, 481 markings/sec, 150 secs
lola: 74164 markings, 246825 edges, 483 markings/sec, 155 secs
lola: 76587 markings, 254503 edges, 485 markings/sec, 160 secs
lola: 79017 markings, 261782 edges, 486 markings/sec, 165 secs
lola: 81425 markings, 269123 edges, 482 markings/sec, 170 secs
lola: 83845 markings, 277025 edges, 484 markings/sec, 175 secs
lola: 86276 markings, 284240 edges, 486 markings/sec, 180 secs
lola: 88709 markings, 291411 edges, 487 markings/sec, 185 secs
lola: 91138 markings, 298678 edges, 486 markings/sec, 190 secs
lola: 93558 markings, 306314 edges, 484 markings/sec, 195 secs
lola: 95979 markings, 313846 edges, 484 markings/sec, 200 secs
lola: 98401 markings, 321208 edges, 484 markings/sec, 205 secs
lola: 100818 markings, 328678 edges, 483 markings/sec, 210 secs
lola: 103206 markings, 336308 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: 84884 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__6_43_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__6_43_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D50N050-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: 50
lola: 1674 markings, 5693 edges, 335 markings/sec, 5 secs
lola: 4115 markings, 13992 edges, 488 markings/sec, 10 secs
lola: 6557 markings, 22208 edges, 488 markings/sec, 15 secs
lola: 8960 markings, 31321 edges, 481 markings/sec, 20 secs
lola: 11374 markings, 39938 edges, 483 markings/sec, 25 secs
lola: 13787 markings, 48550 edges, 483 markings/sec, 30 secs
lola: 16213 markings, 56984 edges, 485 markings/sec, 35 secs
lola: 18656 markings, 65227 edges, 489 markings/sec, 40 secs
lola: 21073 markings, 74040 edges, 483 markings/sec, 45 secs
lola: 23479 markings, 82616 edges, 481 markings/sec, 50 secs
lola: 25841 markings, 91082 edges, 472 markings/sec, 55 secs
lola: 28247 markings, 99516 edges, 481 markings/sec, 60 secs
lola: 30682 markings, 107531 edges, 487 markings/sec, 65 secs
lola: 33118 markings, 115613 edges, 487 markings/sec, 70 secs
lola: 35555 markings, 123378 edges, 487 markings/sec, 75 secs
lola: 37991 markings, 131428 edges, 487 markings/sec, 80 secs
lola: 40411 markings, 140177 edges, 484 markings/sec, 85 secs
lola: 42782 markings, 148292 edges, 474 markings/sec, 90 secs
lola: 45203 markings, 156432 edges, 484 markings/sec, 95 secs
lola: 47610 markings, 165484 edges, 481 markings/sec, 100 secs
lola: 50033 markings, 174666 edges, 485 markings/sec, 105 secs
lola: 52472 markings, 183575 edges, 488 markings/sec, 110 secs
lola: 54901 markings, 192976 edges, 486 markings/sec, 115 secs
lola: 57356 markings, 200920 edges, 491 markings/sec, 120 secs
lola: 59811 markings, 209173 edges, 491 markings/sec, 125 secs
lola: 62261 markings, 217432 edges, 490 markings/sec, 130 secs
lola: 64717 markings, 225880 edges, 491 markings/sec, 135 secs
lola: 67176 markings, 234759 edges, 492 markings/sec, 140 secs
lola: 69638 markings, 243170 edges, 492 markings/sec, 145 secs
lola: 72101 markings, 251790 edges, 493 markings/sec, 150 secs
lola: 74555 markings, 259667 edges, 491 markings/sec, 155 secs
lola: 77012 markings, 268018 edges, 491 markings/sec, 160 secs
lola: 79440 markings, 275797 edges, 486 markings/sec, 165 secs
lola: 81907 markings, 283528 edges, 493 markings/sec, 170 secs
lola: 84343 markings, 292030 edges, 487 markings/sec, 175 secs
lola: 86794 markings, 300433 edges, 490 markings/sec, 180 secs
lola: 89242 markings, 308594 edges, 490 markings/sec, 185 secs
lola: 91624 markings, 317564 edges, 476 markings/sec, 190 secs
lola: 94015 markings, 326073 edges, 478 markings/sec, 195 secs
lola: 96431 markings, 333750 edges, 483 markings/sec, 200 secs
lola: 98888 markings, 341929 edges, 491 markings/sec, 205 secs
lola: 101333 markings, 350416 edges, 489 markings/sec, 210 secs
lola: 103719 markings, 359083 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: 89640 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__24_13_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__24_13_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D50N050-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: 50
lola: 1731 markings, 6152 edges, 346 markings/sec, 5 secs
lola: 4102 markings, 14126 edges, 474 markings/sec, 10 secs
lola: 6456 markings, 22559 edges, 471 markings/sec, 15 secs
lola: 8824 markings, 31432 edges, 474 markings/sec, 20 secs
lola: 11202 markings, 39689 edges, 476 markings/sec, 25 secs
lola: 13584 markings, 47865 edges, 476 markings/sec, 30 secs
lola: 15949 markings, 56538 edges, 473 markings/sec, 35 secs
lola: 18297 markings, 64053 edges, 470 markings/sec, 40 secs
lola: 20681 markings, 72480 edges, 477 markings/sec, 45 secs
lola: 23068 markings, 80755 edges, 477 markings/sec, 50 secs
lola: 25382 markings, 88775 edges, 463 markings/sec, 55 secs
lola: 27759 markings, 97699 edges, 475 markings/sec, 60 secs
lola: 30128 markings, 106969 edges, 474 markings/sec, 65 secs
lola: 32512 markings, 115203 edges, 477 markings/sec, 70 secs
lola: 34903 markings, 123380 edges, 478 markings/sec, 75 secs
lola: 37295 markings, 131653 edges, 478 markings/sec, 80 secs
lola: 39687 markings, 140269 edges, 478 markings/sec, 85 secs
lola: 42095 markings, 148713 edges, 482 markings/sec, 90 secs
lola: 44489 markings, 157891 edges, 479 markings/sec, 95 secs
lola: 46889 markings, 166464 edges, 480 markings/sec, 100 secs
lola: 49285 markings, 175662 edges, 479 markings/sec, 105 secs
lola: 51691 markings, 184551 edges, 481 markings/sec, 110 secs
lola: 54080 markings, 193389 edges, 478 markings/sec, 115 secs
lola: 56484 markings, 201864 edges, 481 markings/sec, 120 secs
lola: 58876 markings, 210539 edges, 478 markings/sec, 125 secs
lola: 61293 markings, 218547 edges, 483 markings/sec, 130 secs
lola: 63700 markings, 227026 edges, 481 markings/sec, 135 secs
lola: 66120 markings, 235195 edges, 484 markings/sec, 140 secs
lola: 68534 markings, 243653 edges, 483 markings/sec, 145 secs
lola: 70954 markings, 251860 edges, 484 markings/sec, 150 secs
lola: 73372 markings, 260275 edges, 484 markings/sec, 155 secs
lola: 75791 markings, 268512 edges, 484 markings/sec, 160 secs
lola: 78197 markings, 277228 edges, 481 markings/sec, 165 secs
lola: 80605 markings, 285780 edges, 482 markings/sec, 170 secs
lola: 83006 markings, 294476 edges, 480 markings/sec, 175 secs
lola: 85403 markings, 303238 edges, 479 markings/sec, 180 secs
lola: 87803 markings, 311723 edges, 480 markings/sec, 185 secs
lola: 90211 markings, 320245 edges, 482 markings/sec, 190 secs
lola: 92566 markings, 328411 edges, 471 markings/sec, 195 secs
lola: 94970 markings, 336603 edges, 481 markings/sec, 200 secs
lola: 97406 markings, 345003 edges, 487 markings/sec, 205 secs
lola: 99795 markings, 353777 edges, 478 markings/sec, 210 secs
lola: 102211 markings, 362129 edges, 483 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: 87636 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__16_49_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__16_49_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D50N050-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: 50
lola: 1814 markings, 6565 edges, 363 markings/sec, 5 secs
lola: 4222 markings, 15139 edges, 482 markings/sec, 10 secs
lola: 6639 markings, 23360 edges, 483 markings/sec, 15 secs
lola: 9055 markings, 31149 edges, 483 markings/sec, 20 secs
lola: 11479 markings, 39256 edges, 485 markings/sec, 25 secs
lola: 13898 markings, 47428 edges, 484 markings/sec, 30 secs
lola: 16312 markings, 55511 edges, 483 markings/sec, 35 secs
lola: 18725 markings, 63551 edges, 483 markings/sec, 40 secs
lola: 21137 markings, 71616 edges, 482 markings/sec, 45 secs
lola: 23556 markings, 79679 edges, 484 markings/sec, 50 secs
lola: 25966 markings, 87732 edges, 482 markings/sec, 55 secs
lola: 28379 markings, 95496 edges, 483 markings/sec, 60 secs
lola: 30789 markings, 103244 edges, 482 markings/sec, 65 secs
lola: 33203 markings, 111037 edges, 483 markings/sec, 70 secs
lola: 35609 markings, 119108 edges, 481 markings/sec, 75 secs
lola: 37974 markings, 126700 edges, 473 markings/sec, 80 secs
lola: 40346 markings, 134911 edges, 474 markings/sec, 85 secs
lola: 42683 markings, 143187 edges, 467 markings/sec, 90 secs
lola: 45103 markings, 151120 edges, 484 markings/sec, 95 secs
lola: 47513 markings, 159046 edges, 482 markings/sec, 100 secs
lola: 49925 markings, 166869 edges, 482 markings/sec, 105 secs
lola: 52326 markings, 175219 edges, 480 markings/sec, 110 secs
lola: 54728 markings, 183567 edges, 480 markings/sec, 115 secs
lola: 57137 markings, 191877 edges, 482 markings/sec, 120 secs
lola: 59550 markings, 200412 edges, 483 markings/sec, 125 secs
lola: 61957 markings, 208809 edges, 481 markings/sec, 130 secs
lola: 64383 markings, 216658 edges, 485 markings/sec, 135 secs
lola: 66799 markings, 224494 edges, 483 markings/sec, 140 secs
lola: 69204 markings, 232892 edges, 481 markings/sec, 145 secs
lola: 71615 markings, 240829 edges, 482 markings/sec, 150 secs
lola: 74015 markings, 249469 edges, 480 markings/sec, 155 secs
lola: 76420 markings, 257929 edges, 481 markings/sec, 160 secs
lola: 78847 markings, 265649 edges, 485 markings/sec, 165 secs
lola: 81264 markings, 273960 edges, 483 markings/sec, 170 secs
lola: 83683 markings, 281996 edges, 484 markings/sec, 175 secs
lola: 86095 markings, 289811 edges, 482 markings/sec, 180 secs
lola: 88499 markings, 297596 edges, 481 markings/sec, 185 secs
lola: 90908 markings, 305401 edges, 482 markings/sec, 190 secs
lola: 93310 markings, 313891 edges, 480 markings/sec, 195 secs
lola: 95696 markings, 322254 edges, 477 markings/sec, 200 secs
lola: 98088 markings, 330454 edges, 478 markings/sec, 205 secs
lola: 100496 markings, 338246 edges, 482 markings/sec, 210 secs
lola: 102909 markings, 346049 edges, 483 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: 86220 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__17_20_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__17_20_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D50N050-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: 50
lola: 1810 markings, 5916 edges, 362 markings/sec, 5 secs
lola: 4155 markings, 14808 edges, 469 markings/sec, 10 secs
lola: 6569 markings, 23946 edges, 483 markings/sec, 15 secs
lola: 8999 markings, 32534 edges, 486 markings/sec, 20 secs
lola: 11422 markings, 41425 edges, 485 markings/sec, 25 secs
lola: 13838 markings, 50625 edges, 483 markings/sec, 30 secs
lola: 16259 markings, 59197 edges, 484 markings/sec, 35 secs
lola: 18680 markings, 67181 edges, 484 markings/sec, 40 secs
lola: 21108 markings, 74836 edges, 486 markings/sec, 45 secs
lola: 23526 markings, 83375 edges, 484 markings/sec, 50 secs
lola: 25949 markings, 91148 edges, 485 markings/sec, 55 secs
lola: 28366 markings, 99565 edges, 483 markings/sec, 60 secs
lola: 30772 markings, 107541 edges, 481 markings/sec, 65 secs
lola: 33178 markings, 116156 edges, 481 markings/sec, 70 secs
lola: 35578 markings, 124449 edges, 480 markings/sec, 75 secs
lola: 37989 markings, 133309 edges, 482 markings/sec, 80 secs
lola: 40403 markings, 142333 edges, 483 markings/sec, 85 secs
lola: 42821 markings, 151577 edges, 484 markings/sec, 90 secs
lola: 45248 markings, 160283 edges, 485 markings/sec, 95 secs
lola: 47652 markings, 169419 edges, 481 markings/sec, 100 secs
lola: 50055 markings, 178327 edges, 481 markings/sec, 105 secs
lola: 52457 markings, 187128 edges, 480 markings/sec, 110 secs
lola: 54859 markings, 196268 edges, 480 markings/sec, 115 secs
lola: 57286 markings, 204253 edges, 485 markings/sec, 120 secs
lola: 59711 markings, 212138 edges, 485 markings/sec, 125 secs
lola: 62130 markings, 220401 edges, 484 markings/sec, 130 secs
lola: 64529 markings, 229654 edges, 480 markings/sec, 135 secs
lola: 66935 markings, 238246 edges, 481 markings/sec, 140 secs
lola: 69343 markings, 246833 edges, 482 markings/sec, 145 secs
lola: 71760 markings, 254689 edges, 483 markings/sec, 150 secs
lola: 74159 markings, 263408 edges, 480 markings/sec, 155 secs
lola: 76576 markings, 271146 edges, 483 markings/sec, 160 secs
lola: 78978 markings, 279659 edges, 480 markings/sec, 165 secs
lola: 81375 markings, 288315 edges, 479 markings/sec, 170 secs
lola: 83776 markings, 297191 edges, 480 markings/sec, 175 secs
lola: 86172 markings, 306285 edges, 479 markings/sec, 180 secs
lola: 88516 markings, 313734 edges, 469 markings/sec, 185 secs
lola: 90949 markings, 321854 edges, 487 markings/sec, 190 secs
lola: 93324 markings, 330067 edges, 475 markings/sec, 195 secs
lola: 95737 markings, 338366 edges, 483 markings/sec, 200 secs
lola: 98156 markings, 346782 edges, 484 markings/sec, 205 secs
lola: 100569 markings, 355212 edges, 483 markings/sec, 210 secs
lola: 102990 markings, 363482 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: 91240 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__50_20_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__50_20_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D50N050-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: 50
lola: 1829 markings, 6818 edges, 366 markings/sec, 5 secs
lola: 4271 markings, 16045 edges, 488 markings/sec, 10 secs
lola: 6717 markings, 25102 edges, 489 markings/sec, 15 secs
lola: 9165 markings, 33658 edges, 490 markings/sec, 20 secs
lola: 11590 markings, 42215 edges, 485 markings/sec, 25 secs
lola: 14049 markings, 50792 edges, 492 markings/sec, 30 secs
lola: 16508 markings, 59438 edges, 492 markings/sec, 35 secs
lola: 18959 markings, 68104 edges, 490 markings/sec, 40 secs
lola: 21418 markings, 76696 edges, 492 markings/sec, 45 secs
lola: 23853 markings, 85195 edges, 487 markings/sec, 50 secs
lola: 26291 markings, 93900 edges, 488 markings/sec, 55 secs
lola: 28738 markings, 102460 edges, 489 markings/sec, 60 secs
lola: 31189 markings, 110845 edges, 490 markings/sec, 65 secs
lola: 33645 markings, 118898 edges, 491 markings/sec, 70 secs
lola: 36091 markings, 127485 edges, 489 markings/sec, 75 secs
lola: 38469 markings, 135907 edges, 476 markings/sec, 80 secs
lola: 40917 markings, 144170 edges, 490 markings/sec, 85 secs
lola: 43359 markings, 152790 edges, 488 markings/sec, 90 secs
lola: 45796 markings, 161683 edges, 487 markings/sec, 95 secs
lola: 48251 markings, 169728 edges, 491 markings/sec, 100 secs
lola: 50697 markings, 178875 edges, 489 markings/sec, 105 secs
lola: 53155 markings, 187431 edges, 492 markings/sec, 110 secs
lola: 55542 markings, 196137 edges, 477 markings/sec, 115 secs
lola: 57972 markings, 205432 edges, 486 markings/sec, 120 secs
lola: 60430 markings, 214142 edges, 492 markings/sec, 125 secs
lola: 62882 markings, 223123 edges, 490 markings/sec, 130 secs
lola: 65327 markings, 231632 edges, 489 markings/sec, 135 secs
lola: 67789 markings, 240350 edges, 492 markings/sec, 140 secs
lola: 70235 markings, 249545 edges, 489 markings/sec, 145 secs
lola: 72703 markings, 257648 edges, 494 markings/sec, 150 secs
lola: 75161 markings, 265758 edges, 492 markings/sec, 155 secs
lola: 77603 markings, 274252 edges, 488 markings/sec, 160 secs
lola: 80039 markings, 283270 edges, 487 markings/sec, 165 secs
lola: 82488 markings, 291236 edges, 490 markings/sec, 170 secs
lola: 84922 markings, 300406 edges, 487 markings/sec, 175 secs
lola: 87369 markings, 308857 edges, 489 markings/sec, 180 secs
lola: 89813 markings, 317756 edges, 489 markings/sec, 185 secs
lola: 92247 markings, 327044 edges, 487 markings/sec, 190 secs
lola: 94701 markings, 335786 edges, 491 markings/sec, 195 secs
lola: 97147 markings, 344583 edges, 489 markings/sec, 200 secs
lola: 99574 markings, 353191 edges, 485 markings/sec, 205 secs
lola: 102002 markings, 361784 edges, 486 markings/sec, 210 secs
lola: 104413 markings, 370740 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: 85348 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__27_22_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__27_22_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D50N050-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: 50
lola: 1767 markings, 4829 edges, 353 markings/sec, 5 secs
lola: 4228 markings, 12739 edges, 492 markings/sec, 10 secs
lola: 6696 markings, 20443 edges, 494 markings/sec, 15 secs
lola: 9151 markings, 28688 edges, 491 markings/sec, 20 secs
lola: 11589 markings, 37458 edges, 488 markings/sec, 25 secs
lola: 14026 markings, 46054 edges, 487 markings/sec, 30 secs
lola: 16466 markings, 54332 edges, 488 markings/sec, 35 secs
lola: 18904 markings, 63000 edges, 488 markings/sec, 40 secs
lola: 21348 markings, 71175 edges, 489 markings/sec, 45 secs
lola: 23797 markings, 78844 edges, 490 markings/sec, 50 secs
lola: 26239 markings, 86878 edges, 488 markings/sec, 55 secs
lola: 28689 markings, 94873 edges, 490 markings/sec, 60 secs
lola: 31120 markings, 103929 edges, 486 markings/sec, 65 secs
lola: 33576 markings, 112473 edges, 491 markings/sec, 70 secs
lola: 36030 markings, 120831 edges, 491 markings/sec, 75 secs
lola: 38485 markings, 128797 edges, 491 markings/sec, 80 secs
lola: 40943 markings, 137057 edges, 492 markings/sec, 85 secs
lola: 43387 markings, 145539 edges, 489 markings/sec, 90 secs
lola: 45845 markings, 153416 edges, 492 markings/sec, 95 secs
lola: 48264 markings, 160903 edges, 484 markings/sec, 100 secs
lola: 50736 markings, 168832 edges, 494 markings/sec, 105 secs
lola: 53148 markings, 176857 edges, 482 markings/sec, 110 secs
lola: 55573 markings, 185555 edges, 485 markings/sec, 115 secs
lola: 58004 markings, 194390 edges, 486 markings/sec, 120 secs
lola: 60434 markings, 203297 edges, 486 markings/sec, 125 secs
lola: 62859 markings, 212256 edges, 485 markings/sec, 130 secs
lola: 65287 markings, 221016 edges, 486 markings/sec, 135 secs
lola: 67730 markings, 228818 edges, 489 markings/sec, 140 secs
lola: 70178 markings, 237099 edges, 490 markings/sec, 145 secs
lola: 72627 markings, 245138 edges, 490 markings/sec, 150 secs
lola: 75059 markings, 254323 edges, 486 markings/sec, 155 secs
lola: 77504 markings, 262798 edges, 489 markings/sec, 160 secs
lola: 79936 markings, 271752 edges, 486 markings/sec, 165 secs
lola: 82384 markings, 279775 edges, 490 markings/sec, 170 secs
lola: 84829 markings, 288217 edges, 489 markings/sec, 175 secs
lola: 87271 markings, 296892 edges, 488 markings/sec, 180 secs
lola: 89701 markings, 306012 edges, 486 markings/sec, 185 secs
lola: 92122 markings, 315453 edges, 484 markings/sec, 190 secs
lola: 94536 markings, 325449 edges, 483 markings/sec, 195 secs
lola: 96975 markings, 333527 edges, 488 markings/sec, 200 secs
lola: 99402 markings, 342393 edges, 485 markings/sec, 205 secs
lola: 101829 markings, 350856 edges, 485 markings/sec, 210 secs
lola: 104246 markings, 360099 edges, 483 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: 86792 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__14_7_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__14_7_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D50N050-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: 50
lola: 1795 markings, 6434 edges, 359 markings/sec, 5 secs
lola: 4210 markings, 14702 edges, 483 markings/sec, 10 secs
lola: 6624 markings, 23054 edges, 483 markings/sec, 15 secs
lola: 9036 markings, 31622 edges, 482 markings/sec, 20 secs
lola: 11438 markings, 40300 edges, 480 markings/sec, 25 secs
lola: 13836 markings, 49177 edges, 480 markings/sec, 30 secs
lola: 16240 markings, 57526 edges, 481 markings/sec, 35 secs
lola: 18645 markings, 65829 edges, 481 markings/sec, 40 secs
lola: 21052 markings, 74432 edges, 481 markings/sec, 45 secs
lola: 23456 markings, 83078 edges, 481 markings/sec, 50 secs
lola: 25852 markings, 92029 edges, 479 markings/sec, 55 secs
lola: 28259 markings, 100295 edges, 481 markings/sec, 60 secs
lola: 30663 markings, 108631 edges, 481 markings/sec, 65 secs
lola: 33064 markings, 117242 edges, 480 markings/sec, 70 secs
lola: 35461 markings, 125842 edges, 479 markings/sec, 75 secs
lola: 37863 markings, 134429 edges, 480 markings/sec, 80 secs
lola: 40301 markings, 142271 edges, 488 markings/sec, 85 secs
lola: 42733 markings, 150367 edges, 486 markings/sec, 90 secs
lola: 45152 markings, 158756 edges, 484 markings/sec, 95 secs
lola: 47569 markings, 167368 edges, 483 markings/sec, 100 secs
lola: 49986 markings, 175888 edges, 483 markings/sec, 105 secs
lola: 52401 markings, 184700 edges, 483 markings/sec, 110 secs
lola: 54825 markings, 193412 edges, 485 markings/sec, 115 secs
lola: 57244 markings, 202504 edges, 484 markings/sec, 120 secs
lola: 59696 markings, 210249 edges, 490 markings/sec, 125 secs
lola: 62131 markings, 218466 edges, 487 markings/sec, 130 secs
lola: 64476 markings, 226642 edges, 469 markings/sec, 135 secs
lola: 66910 markings, 234949 edges, 487 markings/sec, 140 secs
lola: 69354 markings, 243386 edges, 489 markings/sec, 145 secs
lola: 71808 markings, 251387 edges, 491 markings/sec, 150 secs
lola: 74266 markings, 259434 edges, 492 markings/sec, 155 secs
lola: 76714 markings, 268055 edges, 490 markings/sec, 160 secs
lola: 79160 markings, 276823 edges, 489 markings/sec, 165 secs
lola: 81575 markings, 285314 edges, 483 markings/sec, 170 secs
lola: 84017 markings, 293857 edges, 488 markings/sec, 175 secs
lola: 86459 markings, 302565 edges, 488 markings/sec, 180 secs
lola: 88884 markings, 312099 edges, 485 markings/sec, 185 secs
lola: 91333 markings, 319993 edges, 490 markings/sec, 190 secs
lola: 93783 markings, 328091 edges, 490 markings/sec, 195 secs
lola: 96157 markings, 336714 edges, 475 markings/sec, 200 secs
lola: 98575 markings, 345390 edges, 484 markings/sec, 205 secs
lola: 100990 markings, 354169 edges, 483 markings/sec, 210 secs
lola: 103401 markings, 362627 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: 86676 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__9_2_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__9_2_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D50N050-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: 50
lola: 1818 markings, 6841 edges, 364 markings/sec, 5 secs
lola: 4227 markings, 15676 edges, 482 markings/sec, 10 secs
lola: 6632 markings, 24074 edges, 481 markings/sec, 15 secs
lola: 9035 markings, 32639 edges, 481 markings/sec, 20 secs
lola: 11443 markings, 40950 edges, 482 markings/sec, 25 secs
lola: 13858 markings, 49608 edges, 483 markings/sec, 30 secs
lola: 16270 markings, 57988 edges, 482 markings/sec, 35 secs
lola: 18682 markings, 66626 edges, 482 markings/sec, 40 secs
lola: 21084 markings, 74942 edges, 480 markings/sec, 45 secs
lola: 23484 markings, 83885 edges, 480 markings/sec, 50 secs
lola: 25889 markings, 92381 edges, 481 markings/sec, 55 secs
lola: 28296 markings, 100953 edges, 481 markings/sec, 60 secs
lola: 30698 markings, 109595 edges, 480 markings/sec, 65 secs
lola: 33103 markings, 118079 edges, 481 markings/sec, 70 secs
lola: 35507 markings, 127116 edges, 481 markings/sec, 75 secs
lola: 37903 markings, 136034 edges, 479 markings/sec, 80 secs
lola: 40304 markings, 144843 edges, 480 markings/sec, 85 secs
lola: 42704 markings, 153576 edges, 480 markings/sec, 90 secs
lola: 45106 markings, 162067 edges, 480 markings/sec, 95 secs
lola: 47504 markings, 170986 edges, 480 markings/sec, 100 secs
lola: 49902 markings, 179966 edges, 480 markings/sec, 105 secs
lola: 52301 markings, 188627 edges, 480 markings/sec, 110 secs
lola: 54704 markings, 197178 edges, 481 markings/sec, 115 secs
lola: 57107 markings, 205615 edges, 481 markings/sec, 120 secs
lola: 59503 markings, 214615 edges, 479 markings/sec, 125 secs
lola: 61911 markings, 223049 edges, 482 markings/sec, 130 secs
lola: 64301 markings, 231600 edges, 478 markings/sec, 135 secs
lola: 66684 markings, 240209 edges, 477 markings/sec, 140 secs
lola: 69078 markings, 248768 edges, 479 markings/sec, 145 secs
lola: 71470 markings, 257266 edges, 478 markings/sec, 150 secs
lola: 73869 markings, 265739 edges, 480 markings/sec, 155 secs
lola: 76260 markings, 274666 edges, 478 markings/sec, 160 secs
lola: 78655 markings, 283613 edges, 479 markings/sec, 165 secs
lola: 81051 markings, 292296 edges, 479 markings/sec, 170 secs
lola: 83439 markings, 300793 edges, 478 markings/sec, 175 secs
lola: 85833 markings, 309070 edges, 479 markings/sec, 180 secs
lola: 88213 markings, 318104 edges, 476 markings/sec, 185 secs
lola: 90611 markings, 326583 edges, 480 markings/sec, 190 secs
lola: 93010 markings, 335088 edges, 480 markings/sec, 195 secs
lola: 95405 markings, 343739 edges, 479 markings/sec, 200 secs
lola: 97773 markings, 352159 edges, 474 markings/sec, 205 secs
lola: 100139 markings, 360596 edges, 473 markings/sec, 210 secs
lola: 102563 markings, 369144 edges, 485 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: 83768 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__26_18_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__26_18_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D50N050-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: 50
lola: 1821 markings, 5912 edges, 364 markings/sec, 5 secs
lola: 4261 markings, 13876 edges, 488 markings/sec, 10 secs
lola: 6691 markings, 22192 edges, 486 markings/sec, 15 secs
lola: 9113 markings, 30711 edges, 484 markings/sec, 20 secs
lola: 11498 markings, 38921 edges, 477 markings/sec, 25 secs
lola: 13887 markings, 47564 edges, 478 markings/sec, 30 secs
lola: 16332 markings, 56254 edges, 489 markings/sec, 35 secs
lola: 18775 markings, 64811 edges, 489 markings/sec, 40 secs
lola: 21215 markings, 73299 edges, 488 markings/sec, 45 secs
lola: 23661 markings, 81357 edges, 489 markings/sec, 50 secs
lola: 26097 markings, 89867 edges, 487 markings/sec, 55 secs
lola: 28537 markings, 98337 edges, 488 markings/sec, 60 secs
lola: 30983 markings, 106461 edges, 489 markings/sec, 65 secs
lola: 33423 markings, 114995 edges, 488 markings/sec, 70 secs
lola: 35865 markings, 123161 edges, 488 markings/sec, 75 secs
lola: 38304 markings, 131158 edges, 488 markings/sec, 80 secs
lola: 40731 markings, 140054 edges, 485 markings/sec, 85 secs
lola: 43158 markings, 148790 edges, 485 markings/sec, 90 secs
lola: 45590 markings, 157722 edges, 486 markings/sec, 95 secs
lola: 48022 markings, 166093 edges, 486 markings/sec, 100 secs
lola: 50460 markings, 174329 edges, 488 markings/sec, 105 secs
lola: 52896 markings, 182675 edges, 487 markings/sec, 110 secs
lola: 55339 markings, 190940 edges, 489 markings/sec, 115 secs
lola: 57765 markings, 199774 edges, 485 markings/sec, 120 secs
lola: 60174 markings, 208580 edges, 482 markings/sec, 125 secs
lola: 62607 markings, 216575 edges, 487 markings/sec, 130 secs
lola: 65040 markings, 224697 edges, 487 markings/sec, 135 secs
lola: 67455 markings, 233517 edges, 483 markings/sec, 140 secs
lola: 69877 markings, 241911 edges, 484 markings/sec, 145 secs
lola: 72294 markings, 250528 edges, 483 markings/sec, 150 secs
lola: 74711 markings, 259052 edges, 483 markings/sec, 155 secs
lola: 77125 markings, 267099 edges, 483 markings/sec, 160 secs
lola: 79526 markings, 275006 edges, 480 markings/sec, 165 secs
lola: 81983 markings, 282572 edges, 491 markings/sec, 170 secs
lola: 84437 markings, 290584 edges, 491 markings/sec, 175 secs
lola: 86879 markings, 298736 edges, 488 markings/sec, 180 secs
lola: 89328 markings, 306848 edges, 490 markings/sec, 185 secs
lola: 91772 markings, 315241 edges, 489 markings/sec, 190 secs
lola: 94222 markings, 323485 edges, 490 markings/sec, 195 secs
lola: 96652 markings, 331759 edges, 486 markings/sec, 200 secs
lola: 99068 markings, 340163 edges, 483 markings/sec, 205 secs
lola: 101486 markings, 348450 edges, 484 markings/sec, 210 secs
lola: 103891 markings, 357485 edges, 481 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: 85580 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__45_36_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__45_36_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D50N050-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: 50
lola: 1853 markings, 6318 edges, 371 markings/sec, 5 secs
lola: 4294 markings, 14852 edges, 488 markings/sec, 10 secs
lola: 6738 markings, 23453 edges, 489 markings/sec, 15 secs
lola: 9194 markings, 32346 edges, 491 markings/sec, 20 secs
lola: 11683 markings, 40907 edges, 498 markings/sec, 25 secs
lola: 14172 markings, 49325 edges, 498 markings/sec, 30 secs
lola: 16660 markings, 57438 edges, 498 markings/sec, 35 secs
lola: 19133 markings, 66245 edges, 495 markings/sec, 40 secs
lola: 21603 markings, 75502 edges, 494 markings/sec, 45 secs
lola: 24070 markings, 84197 edges, 493 markings/sec, 50 secs
lola: 26541 markings, 92846 edges, 494 markings/sec, 55 secs
lola: 29007 markings, 101994 edges, 493 markings/sec, 60 secs
lola: 31469 markings, 111219 edges, 492 markings/sec, 65 secs
lola: 33936 markings, 120285 edges, 493 markings/sec, 70 secs
lola: 36416 markings, 128755 edges, 496 markings/sec, 75 secs
lola: 38882 markings, 138118 edges, 493 markings/sec, 80 secs
lola: 41354 markings, 146991 edges, 494 markings/sec, 85 secs
lola: 43830 markings, 155979 edges, 495 markings/sec, 90 secs
lola: 46318 markings, 164903 edges, 498 markings/sec, 95 secs
lola: 48814 markings, 173379 edges, 499 markings/sec, 100 secs
lola: 51300 markings, 182410 edges, 497 markings/sec, 105 secs
lola: 53781 markings, 191570 edges, 496 markings/sec, 110 secs
lola: 56252 markings, 200476 edges, 494 markings/sec, 115 secs
lola: 58720 markings, 209014 edges, 494 markings/sec, 120 secs
lola: 61167 markings, 217248 edges, 489 markings/sec, 125 secs
lola: 63623 markings, 226352 edges, 491 markings/sec, 130 secs
lola: 66079 markings, 235379 edges, 491 markings/sec, 135 secs
lola: 68533 markings, 244069 edges, 491 markings/sec, 140 secs
lola: 70992 markings, 252652 edges, 492 markings/sec, 145 secs
lola: 73451 markings, 261296 edges, 492 markings/sec, 150 secs
lola: 75911 markings, 270165 edges, 492 markings/sec, 155 secs
lola: 78363 markings, 278977 edges, 490 markings/sec, 160 secs
lola: 80804 markings, 288360 edges, 488 markings/sec, 165 secs
lola: 83258 markings, 297083 edges, 491 markings/sec, 170 secs
lola: 85708 markings, 305705 edges, 490 markings/sec, 175 secs
lola: 88159 markings, 314699 edges, 490 markings/sec, 180 secs
lola: 90611 markings, 323511 edges, 490 markings/sec, 185 secs
lola: 93066 markings, 332180 edges, 491 markings/sec, 190 secs
lola: 95531 markings, 340969 edges, 493 markings/sec, 195 secs
lola: 97993 markings, 350082 edges, 492 markings/sec, 200 secs
lola: 100454 markings, 358989 edges, 492 markings/sec, 205 secs
lola: 102919 markings, 367257 edges, 493 markings/sec, 210 secs
lola: 105379 markings, 376139 edges, 492 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: 83584 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__5_47_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__5_47_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D50N050-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: 50
lola: 1872 markings, 6590 edges, 374 markings/sec, 5 secs
lola: 4323 markings, 14791 edges, 490 markings/sec, 10 secs
lola: 6766 markings, 23294 edges, 489 markings/sec, 15 secs
lola: 9194 markings, 32543 edges, 486 markings/sec, 20 secs
lola: 11641 markings, 40945 edges, 489 markings/sec, 25 secs
lola: 14080 markings, 49850 edges, 488 markings/sec, 30 secs
lola: 16522 markings, 58617 edges, 488 markings/sec, 35 secs
lola: 18968 markings, 66977 edges, 489 markings/sec, 40 secs
lola: 21399 markings, 76294 edges, 486 markings/sec, 45 secs
lola: 23852 markings, 84810 edges, 491 markings/sec, 50 secs
lola: 26291 markings, 93275 edges, 488 markings/sec, 55 secs
lola: 28732 markings, 102501 edges, 488 markings/sec, 60 secs
lola: 31183 markings, 110902 edges, 490 markings/sec, 65 secs
lola: 33616 markings, 118627 edges, 487 markings/sec, 70 secs
lola: 36067 markings, 126834 edges, 490 markings/sec, 75 secs
lola: 38539 markings, 135543 edges, 494 markings/sec, 80 secs
lola: 40973 markings, 144111 edges, 487 markings/sec, 85 secs
lola: 43426 markings, 152203 edges, 491 markings/sec, 90 secs
lola: 45845 markings, 160880 edges, 484 markings/sec, 95 secs
lola: 48294 markings, 169601 edges, 490 markings/sec, 100 secs
lola: 50729 markings, 178827 edges, 487 markings/sec, 105 secs
lola: 53149 markings, 187631 edges, 484 markings/sec, 110 secs
lola: 55602 markings, 196736 edges, 491 markings/sec, 115 secs
lola: 58033 markings, 205740 edges, 486 markings/sec, 120 secs
lola: 60449 markings, 215003 edges, 483 markings/sec, 125 secs
lola: 62845 markings, 224674 edges, 479 markings/sec, 130 secs
lola: 65262 markings, 233161 edges, 483 markings/sec, 135 secs
lola: 67697 markings, 241494 edges, 487 markings/sec, 140 secs
lola: 70136 markings, 249916 edges, 488 markings/sec, 145 secs
lola: 72585 markings, 258266 edges, 490 markings/sec, 150 secs
lola: 75021 markings, 266969 edges, 487 markings/sec, 155 secs
lola: 77452 markings, 276012 edges, 486 markings/sec, 160 secs
lola: 79888 markings, 283750 edges, 487 markings/sec, 165 secs
lola: 82322 markings, 292111 edges, 487 markings/sec, 170 secs
lola: 84761 markings, 300720 edges, 488 markings/sec, 175 secs
lola: 87196 markings, 309095 edges, 487 markings/sec, 180 secs
lola: 89627 markings, 317892 edges, 486 markings/sec, 185 secs
lola: 92039 markings, 327133 edges, 482 markings/sec, 190 secs
lola: 94459 markings, 335925 edges, 484 markings/sec, 195 secs
lola: 96879 markings, 344528 edges, 484 markings/sec, 200 secs
lola: 99327 markings, 352169 edges, 490 markings/sec, 205 secs
lola: 101751 markings, 361122 edges, 485 markings/sec, 210 secs
lola: 104181 markings, 369691 edges, 486 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: 89040 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__10_49_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__10_49_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D50N050-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: 50
lola: 1749 markings, 6178 edges, 350 markings/sec, 5 secs
lola: 4173 markings, 14750 edges, 485 markings/sec, 10 secs
lola: 6606 markings, 22744 edges, 487 markings/sec, 15 secs
lola: 9030 markings, 31128 edges, 485 markings/sec, 20 secs
lola: 11467 markings, 38637 edges, 487 markings/sec, 25 secs
lola: 13916 markings, 46052 edges, 490 markings/sec, 30 secs
lola: 16372 markings, 53332 edges, 491 markings/sec, 35 secs
lola: 18807 markings, 61476 edges, 487 markings/sec, 40 secs
lola: 21246 markings, 69685 edges, 488 markings/sec, 45 secs
lola: 23681 markings, 78114 edges, 487 markings/sec, 50 secs
lola: 26129 markings, 85941 edges, 490 markings/sec, 55 secs
lola: 28569 markings, 94120 edges, 488 markings/sec, 60 secs
lola: 31007 markings, 101951 edges, 488 markings/sec, 65 secs
lola: 33439 markings, 110330 edges, 486 markings/sec, 70 secs
lola: 35864 markings, 118392 edges, 485 markings/sec, 75 secs
lola: 38284 markings, 126815 edges, 484 markings/sec, 80 secs
lola: 40711 markings, 134648 edges, 485 markings/sec, 85 secs
lola: 43143 markings, 142896 edges, 486 markings/sec, 90 secs
lola: 45568 markings, 151514 edges, 485 markings/sec, 95 secs
lola: 48002 markings, 159818 edges, 487 markings/sec, 100 secs
lola: 50447 markings, 167701 edges, 489 markings/sec, 105 secs
lola: 52885 markings, 175633 edges, 488 markings/sec, 110 secs
lola: 55316 markings, 183767 edges, 486 markings/sec, 115 secs
lola: 57766 markings, 191804 edges, 490 markings/sec, 120 secs
lola: 60215 markings, 199720 edges, 490 markings/sec, 125 secs
lola: 62637 markings, 208157 edges, 484 markings/sec, 130 secs
lola: 65080 markings, 216373 edges, 489 markings/sec, 135 secs
lola: 67514 markings, 223996 edges, 487 markings/sec, 140 secs
lola: 69979 markings, 231717 edges, 493 markings/sec, 145 secs
lola: 72442 markings, 240076 edges, 493 markings/sec, 150 secs
lola: 74911 markings, 248356 edges, 494 markings/sec, 155 secs
lola: 77377 markings, 256667 edges, 493 markings/sec, 160 secs
lola: 79811 markings, 264717 edges, 487 markings/sec, 165 secs
lola: 82261 markings, 272244 edges, 490 markings/sec, 170 secs
lola: 84722 markings, 280494 edges, 492 markings/sec, 175 secs
lola: 87192 markings, 288775 edges, 494 markings/sec, 180 secs
lola: 89637 markings, 297499 edges, 489 markings/sec, 185 secs
lola: 92079 markings, 305399 edges, 488 markings/sec, 190 secs
lola: 94529 markings, 313082 edges, 490 markings/sec, 195 secs
lola: 96974 markings, 321295 edges, 489 markings/sec, 200 secs
lola: 99434 markings, 329066 edges, 492 markings/sec, 205 secs
lola: 101881 markings, 337741 edges, 489 markings/sec, 210 secs
lola: 104341 markings, 345800 edges, 492 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: 88136 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_11_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__24_11_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D50N050-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: 50
lola: 1802 markings, 6455 edges, 360 markings/sec, 5 secs
lola: 4216 markings, 15000 edges, 483 markings/sec, 10 secs
lola: 6602 markings, 23752 edges, 477 markings/sec, 15 secs
lola: 8997 markings, 32458 edges, 479 markings/sec, 20 secs
lola: 11404 markings, 41072 edges, 481 markings/sec, 25 secs
lola: 13810 markings, 49527 edges, 481 markings/sec, 30 secs
lola: 16203 markings, 57872 edges, 479 markings/sec, 35 secs
lola: 18599 markings, 66055 edges, 479 markings/sec, 40 secs
lola: 21004 markings, 74034 edges, 481 markings/sec, 45 secs
lola: 23397 markings, 83032 edges, 479 markings/sec, 50 secs
lola: 25766 markings, 92273 edges, 474 markings/sec, 55 secs
lola: 28137 markings, 101173 edges, 474 markings/sec, 60 secs
lola: 30517 markings, 109886 edges, 476 markings/sec, 65 secs
lola: 32904 markings, 118070 edges, 477 markings/sec, 70 secs
lola: 35284 markings, 126842 edges, 476 markings/sec, 75 secs
lola: 37671 markings, 134656 edges, 477 markings/sec, 80 secs
lola: 40041 markings, 143582 edges, 474 markings/sec, 85 secs
lola: 42428 markings, 151726 edges, 477 markings/sec, 90 secs
lola: 44818 markings, 159986 edges, 478 markings/sec, 95 secs
lola: 47199 markings, 168657 edges, 476 markings/sec, 100 secs
lola: 49573 markings, 177659 edges, 475 markings/sec, 105 secs
lola: 51945 markings, 187052 edges, 474 markings/sec, 110 secs
lola: 54332 markings, 195525 edges, 477 markings/sec, 115 secs
lola: 56730 markings, 204071 edges, 480 markings/sec, 120 secs
lola: 59125 markings, 213055 edges, 479 markings/sec, 125 secs
lola: 61515 markings, 222027 edges, 478 markings/sec, 130 secs
lola: 63914 markings, 230087 edges, 480 markings/sec, 135 secs
lola: 66305 markings, 238943 edges, 478 markings/sec, 140 secs
lola: 68694 markings, 247510 edges, 478 markings/sec, 145 secs
lola: 71072 markings, 256903 edges, 476 markings/sec, 150 secs
lola: 73461 markings, 265854 edges, 478 markings/sec, 155 secs
lola: 75854 markings, 273873 edges, 479 markings/sec, 160 secs
lola: 78231 markings, 282960 edges, 475 markings/sec, 165 secs
lola: 80612 markings, 291782 edges, 476 markings/sec, 170 secs
lola: 83010 markings, 300294 edges, 480 markings/sec, 175 secs
lola: 85413 markings, 308548 edges, 481 markings/sec, 180 secs
lola: 87804 markings, 317284 edges, 478 markings/sec, 185 secs
lola: 90185 markings, 326615 edges, 476 markings/sec, 190 secs
lola: 92577 markings, 335799 edges, 478 markings/sec, 195 secs
lola: 94975 markings, 344155 edges, 480 markings/sec, 200 secs
lola: 97364 markings, 352893 edges, 478 markings/sec, 205 secs
lola: 99757 markings, 361708 edges, 479 markings/sec, 210 secs
lola: 102142 markings, 370698 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: 85276 KB
lola: time consumption: 3124 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__40_48_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__40_48_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D50N050-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: 50
lola: 1732 markings, 6342 edges, 346 markings/sec, 5 secs
lola: 4193 markings, 15286 edges, 492 markings/sec, 10 secs
lola: 6668 markings, 23822 edges, 495 markings/sec, 15 secs
lola: 9136 markings, 32630 edges, 494 markings/sec, 20 secs
lola: 11596 markings, 41292 edges, 492 markings/sec, 25 secs
lola: 14065 markings, 49567 edges, 494 markings/sec, 30 secs
lola: 16525 markings, 58199 edges, 492 markings/sec, 35 secs
lola: 18997 markings, 66546 edges, 494 markings/sec, 40 secs
lola: 21465 markings, 75155 edges, 494 markings/sec, 45 secs
lola: 23933 markings, 83643 edges, 494 markings/sec, 50 secs
lola: 26400 markings, 92045 edges, 493 markings/sec, 55 secs
lola: 28875 markings, 100057 edges, 495 markings/sec, 60 secs
lola: 31342 markings, 108699 edges, 493 markings/sec, 65 secs
lola: 33809 markings, 117285 edges, 493 markings/sec, 70 secs
lola: 36273 markings, 125770 edges, 493 markings/sec, 75 secs
lola: 38739 markings, 134084 edges, 493 markings/sec, 80 secs
lola: 41205 markings, 142707 edges, 493 markings/sec, 85 secs
lola: 43675 markings, 151045 edges, 494 markings/sec, 90 secs
lola: 46131 markings, 159862 edges, 491 markings/sec, 95 secs
lola: 48596 markings, 168503 edges, 493 markings/sec, 100 secs
lola: 51068 markings, 176700 edges, 494 markings/sec, 105 secs
lola: 53532 markings, 185390 edges, 493 markings/sec, 110 secs
lola: 55998 markings, 193672 edges, 493 markings/sec, 115 secs
lola: 58451 markings, 202441 edges, 491 markings/sec, 120 secs
lola: 60902 markings, 211624 edges, 490 markings/sec, 125 secs
lola: 63368 markings, 219846 edges, 493 markings/sec, 130 secs
lola: 65831 markings, 228379 edges, 493 markings/sec, 135 secs
lola: 68289 markings, 237181 edges, 492 markings/sec, 140 secs
lola: 70759 markings, 245436 edges, 494 markings/sec, 145 secs
lola: 73211 markings, 254576 edges, 490 markings/sec, 150 secs
lola: 75678 markings, 263428 edges, 493 markings/sec, 155 secs
lola: 78155 markings, 271868 edges, 495 markings/sec, 160 secs
lola: 80620 markings, 280393 edges, 493 markings/sec, 165 secs
lola: 83069 markings, 289572 edges, 490 markings/sec, 170 secs
lola: 85535 markings, 297825 edges, 493 markings/sec, 175 secs
lola: 88009 markings, 305937 edges, 495 markings/sec, 180 secs
lola: 90477 markings, 314711 edges, 494 markings/sec, 185 secs
lola: 92951 markings, 323463 edges, 495 markings/sec, 190 secs
lola: 95382 markings, 331739 edges, 486 markings/sec, 195 secs
lola: 97836 markings, 340178 edges, 491 markings/sec, 200 secs
lola: 100284 markings, 349007 edges, 490 markings/sec, 205 secs
lola: 102748 markings, 357487 edges, 493 markings/sec, 210 secs
lola: 105216 markings, 366120 edges, 494 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: 88072 KB
lola: time consumption: 3347 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__8_28_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__8_28_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D50N050-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: 50
lola: 1884 markings, 6732 edges, 377 markings/sec, 5 secs
lola: 4345 markings, 15276 edges, 492 markings/sec, 10 secs
lola: 6775 markings, 23764 edges, 486 markings/sec, 15 secs
lola: 9217 markings, 32294 edges, 488 markings/sec, 20 secs
lola: 11673 markings, 40792 edges, 491 markings/sec, 25 secs
lola: 14107 markings, 49226 edges, 487 markings/sec, 30 secs
lola: 16547 markings, 57472 edges, 488 markings/sec, 35 secs
lola: 18987 markings, 65757 edges, 488 markings/sec, 40 secs
lola: 21422 markings, 74454 edges, 487 markings/sec, 45 secs
lola: 23847 markings, 83392 edges, 485 markings/sec, 50 secs
lola: 26271 markings, 92580 edges, 485 markings/sec, 55 secs
lola: 28702 markings, 101111 edges, 486 markings/sec, 60 secs
lola: 31098 markings, 110122 edges, 479 markings/sec, 65 secs
lola: 33514 markings, 119453 edges, 483 markings/sec, 70 secs
lola: 35934 markings, 129117 edges, 484 markings/sec, 75 secs
lola: 38326 markings, 137950 edges, 478 markings/sec, 80 secs
lola: 40734 markings, 147030 edges, 482 markings/sec, 85 secs
lola: 43150 markings, 155710 edges, 483 markings/sec, 90 secs
lola: 45604 markings, 164227 edges, 491 markings/sec, 95 secs
lola: 48006 markings, 172834 edges, 480 markings/sec, 100 secs
lola: 50451 markings, 181242 edges, 489 markings/sec, 105 secs
lola: 52868 markings, 190769 edges, 483 markings/sec, 110 secs
lola: 55270 markings, 199234 edges, 480 markings/sec, 115 secs
lola: 57695 markings, 208616 edges, 485 markings/sec, 120 secs
lola: 60121 markings, 218659 edges, 485 markings/sec, 125 secs
lola: 62524 markings, 227773 edges, 481 markings/sec, 130 secs
lola: 64940 markings, 236320 edges, 483 markings/sec, 135 secs
lola: 67381 markings, 245133 edges, 488 markings/sec, 140 secs
lola: 69824 markings, 253775 edges, 489 markings/sec, 145 secs
lola: 72278 markings, 262302 edges, 491 markings/sec, 150 secs
lola: 74691 markings, 271477 edges, 483 markings/sec, 155 secs
lola: 77106 markings, 281890 edges, 483 markings/sec, 160 secs
lola: 79503 markings, 291930 edges, 479 markings/sec, 165 secs
lola: 81919 markings, 301334 edges, 483 markings/sec, 170 secs
lola: 84350 markings, 310584 edges, 486 markings/sec, 175 secs
lola: 86786 markings, 319590 edges, 487 markings/sec, 180 secs
lola: 89214 markings, 328775 edges, 486 markings/sec, 185 secs
lola: 91644 markings, 338123 edges, 486 markings/sec, 190 secs
lola: 94089 markings, 347089 edges, 489 markings/sec, 195 secs
lola: 96532 markings, 355203 edges, 489 markings/sec, 200 secs
lola: 98952 markings, 364182 edges, 484 markings/sec, 205 secs
lola: 101375 markings, 373157 edges, 485 markings/sec, 210 secs
lola: 103799 markings, 382251 edges, 485 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: 91692 KB
lola: time consumption: 3570 seconds
lola: memory consumption: 34820 KB
lola: time consumption: 3570 seconds

BK_STOP 1552928688082

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

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