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.r060-ebro-155234654800227.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 lola
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 r060-ebro-155234654800227
=====================================================================

--------------------
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 1552593561806

info: Time: 3600 - MCC
vrfy: Checking UpperBounds @ Diffusion2D-PT-D50N010 @ 3570 seconds
vrfy: finished
info: timeLeft: 0
rslt: Output for UpperBounds @ Diffusion2D-PT-D50N010

{
"exit":
{
"memory": 281928,
"runtime": 3570.000000,
"signal": "User defined signal 1"
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "MAX(cAMP__2_5_)",
"processed_size": 15,
"rewrites": 0
},
"result":
{
"preliminary_value": "unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown "
},
"task":
{
"compoundnumber": 16,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 21904/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 80000
lola: finding significant places
lola: 2500 places, 19404 transitions, 2499 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from UpperBounds.xml
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 UpperBounds.xml
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: 2128 markings, 8338 edges, 426 markings/sec, 5 secs
lola: 5226 markings, 19977 edges, 620 markings/sec, 10 secs
lola: 8263 markings, 29679 edges, 607 markings/sec, 15 secs
lola: 11392 markings, 39941 edges, 626 markings/sec, 20 secs
lola: 14493 markings, 49996 edges, 620 markings/sec, 25 secs
lola: 17636 markings, 60148 edges, 629 markings/sec, 30 secs
lola: 20751 markings, 70125 edges, 623 markings/sec, 35 secs
lola: 23882 markings, 80092 edges, 626 markings/sec, 40 secs
lola: 27035 markings, 90502 edges, 631 markings/sec, 45 secs
lola: 30175 markings, 101270 edges, 628 markings/sec, 50 secs
lola: 33328 markings, 111100 edges, 631 markings/sec, 55 secs
lola: 36474 markings, 120946 edges, 629 markings/sec, 60 secs
lola: 39617 markings, 130935 edges, 629 markings/sec, 65 secs
lola: 42761 markings, 141144 edges, 629 markings/sec, 70 secs
lola: 45894 markings, 151208 edges, 627 markings/sec, 75 secs
lola: 49018 markings, 161349 edges, 625 markings/sec, 80 secs
lola: 52160 markings, 170940 edges, 628 markings/sec, 85 secs
lola: 55303 markings, 181052 edges, 629 markings/sec, 90 secs
lola: 58444 markings, 191431 edges, 628 markings/sec, 95 secs
lola: 61602 markings, 201489 edges, 632 markings/sec, 100 secs
lola: 64751 markings, 211556 edges, 630 markings/sec, 105 secs
lola: 67872 markings, 221118 edges, 624 markings/sec, 110 secs
lola: 70944 markings, 231221 edges, 614 markings/sec, 115 secs
lola: 74046 markings, 241238 edges, 620 markings/sec, 120 secs
lola: 77114 markings, 251029 edges, 614 markings/sec, 125 secs
lola: 80251 markings, 260807 edges, 627 markings/sec, 130 secs
lola: 83345 markings, 270797 edges, 619 markings/sec, 135 secs
lola: 86473 markings, 280989 edges, 626 markings/sec, 140 secs
lola: 89579 markings, 291198 edges, 621 markings/sec, 145 secs
lola: 92708 markings, 301335 edges, 626 markings/sec, 150 secs
lola: 95852 markings, 311902 edges, 629 markings/sec, 155 secs
lola: 98998 markings, 322138 edges, 629 markings/sec, 160 secs
lola: 102155 markings, 332443 edges, 631 markings/sec, 165 secs
lola: 105291 markings, 342997 edges, 627 markings/sec, 170 secs
lola: 108441 markings, 353065 edges, 630 markings/sec, 175 secs
lola: 111576 markings, 364330 edges, 627 markings/sec, 180 secs
lola: 114730 markings, 374595 edges, 631 markings/sec, 185 secs
lola: 117886 markings, 385071 edges, 631 markings/sec, 190 secs
lola: 121030 markings, 395608 edges, 629 markings/sec, 195 secs
lola: 124181 markings, 405815 edges, 630 markings/sec, 200 secs
lola: 127334 markings, 415974 edges, 631 markings/sec, 205 secs
lola: 130483 markings, 426452 edges, 630 markings/sec, 210 secs
lola: 133637 markings, 436471 edges, 631 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: 325460 KB
lola: time consumption: 231 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
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 UpperBounds.xml
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: 2036 markings, 7038 edges, 407 markings/sec, 5 secs
lola: 4930 markings, 18028 edges, 579 markings/sec, 10 secs
lola: 7854 markings, 28255 edges, 585 markings/sec, 15 secs
lola: 10766 markings, 38862 edges, 582 markings/sec, 20 secs
lola: 13665 markings, 49795 edges, 580 markings/sec, 25 secs
lola: 16575 markings, 59720 edges, 582 markings/sec, 30 secs
lola: 19501 markings, 68986 edges, 585 markings/sec, 35 secs
lola: 22409 markings, 78997 edges, 582 markings/sec, 40 secs
lola: 25313 markings, 88994 edges, 581 markings/sec, 45 secs
lola: 28191 markings, 99322 edges, 576 markings/sec, 50 secs
lola: 31042 markings, 109771 edges, 570 markings/sec, 55 secs
lola: 33873 markings, 120856 edges, 566 markings/sec, 60 secs
lola: 36718 markings, 131535 edges, 569 markings/sec, 65 secs
lola: 39518 markings, 142353 edges, 560 markings/sec, 70 secs
lola: 42252 markings, 152396 edges, 547 markings/sec, 75 secs
lola: 45111 markings, 162272 edges, 572 markings/sec, 80 secs
lola: 48002 markings, 172053 edges, 578 markings/sec, 85 secs
lola: 50896 markings, 181522 edges, 579 markings/sec, 90 secs
lola: 53767 markings, 192285 edges, 574 markings/sec, 95 secs
lola: 56632 markings, 202684 edges, 573 markings/sec, 100 secs
lola: 59499 markings, 213013 edges, 573 markings/sec, 105 secs
lola: 62368 markings, 223372 edges, 574 markings/sec, 110 secs
lola: 65258 markings, 232675 edges, 578 markings/sec, 115 secs
lola: 68138 markings, 242278 edges, 576 markings/sec, 120 secs
lola: 71005 markings, 252358 edges, 573 markings/sec, 125 secs
lola: 73877 markings, 262310 edges, 574 markings/sec, 130 secs
lola: 76721 markings, 272527 edges, 569 markings/sec, 135 secs
lola: 79612 markings, 282049 edges, 578 markings/sec, 140 secs
lola: 82450 markings, 291503 edges, 568 markings/sec, 145 secs
lola: 85343 markings, 301095 edges, 579 markings/sec, 150 secs
lola: 88199 markings, 311391 edges, 571 markings/sec, 155 secs
lola: 91061 markings, 320822 edges, 572 markings/sec, 160 secs
lola: 93945 markings, 330111 edges, 577 markings/sec, 165 secs
lola: 96830 markings, 339800 edges, 577 markings/sec, 170 secs
lola: 99711 markings, 349252 edges, 576 markings/sec, 175 secs
lola: 102558 markings, 358796 edges, 569 markings/sec, 180 secs
lola: 105379 markings, 368336 edges, 564 markings/sec, 185 secs
lola: 108246 markings, 377976 edges, 573 markings/sec, 190 secs
lola: 111163 markings, 387773 edges, 583 markings/sec, 195 secs
lola: 114065 markings, 397967 edges, 580 markings/sec, 200 secs
lola: 116988 markings, 407711 edges, 585 markings/sec, 205 secs
lola: 119898 markings, 416454 edges, 582 markings/sec, 210 secs
lola: 122786 markings, 425745 edges, 578 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: 326464 KB
lola: time consumption: 453 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
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 UpperBounds.xml
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: 1993 markings, 7347 edges, 399 markings/sec, 5 secs
lola: 4912 markings, 17827 edges, 584 markings/sec, 10 secs
lola: 7802 markings, 29132 edges, 578 markings/sec, 15 secs
lola: 10716 markings, 39874 edges, 583 markings/sec, 20 secs
lola: 13621 markings, 50729 edges, 581 markings/sec, 25 secs
lola: 16518 markings, 61973 edges, 579 markings/sec, 30 secs
lola: 19447 markings, 72503 edges, 586 markings/sec, 35 secs
lola: 22375 markings, 82817 edges, 586 markings/sec, 40 secs
lola: 25295 markings, 93224 edges, 584 markings/sec, 45 secs
lola: 28218 markings, 103150 edges, 585 markings/sec, 50 secs
lola: 31126 markings, 114125 edges, 582 markings/sec, 55 secs
lola: 34032 markings, 125237 edges, 581 markings/sec, 60 secs
lola: 36939 markings, 135535 edges, 581 markings/sec, 65 secs
lola: 39838 markings, 146810 edges, 580 markings/sec, 70 secs
lola: 42728 markings, 157961 edges, 578 markings/sec, 75 secs
lola: 45641 markings, 169047 edges, 583 markings/sec, 80 secs
lola: 48542 markings, 180275 edges, 580 markings/sec, 85 secs
lola: 51436 markings, 191020 edges, 579 markings/sec, 90 secs
lola: 54335 markings, 201852 edges, 580 markings/sec, 95 secs
lola: 57221 markings, 212830 edges, 577 markings/sec, 100 secs
lola: 60112 markings, 223976 edges, 578 markings/sec, 105 secs
lola: 63006 markings, 235293 edges, 579 markings/sec, 110 secs
lola: 65909 markings, 246279 edges, 581 markings/sec, 115 secs
lola: 68820 markings, 256930 edges, 582 markings/sec, 120 secs
lola: 71743 markings, 267519 edges, 585 markings/sec, 125 secs
lola: 74686 markings, 278035 edges, 589 markings/sec, 130 secs
lola: 77637 markings, 288455 edges, 590 markings/sec, 135 secs
lola: 80585 markings, 299840 edges, 590 markings/sec, 140 secs
lola: 83527 markings, 310771 edges, 588 markings/sec, 145 secs
lola: 86468 markings, 321831 edges, 588 markings/sec, 150 secs
lola: 89409 markings, 332935 edges, 588 markings/sec, 155 secs
lola: 92352 markings, 343725 edges, 589 markings/sec, 160 secs
lola: 95284 markings, 354723 edges, 586 markings/sec, 165 secs
lola: 98205 markings, 366108 edges, 584 markings/sec, 170 secs
lola: 101128 markings, 377309 edges, 585 markings/sec, 175 secs
lola: 104066 markings, 388326 edges, 588 markings/sec, 180 secs
lola: 106918 markings, 398419 edges, 570 markings/sec, 185 secs
lola: 109806 markings, 408686 edges, 578 markings/sec, 190 secs
lola: 112773 markings, 418834 edges, 593 markings/sec, 195 secs
lola: 115725 markings, 429824 edges, 590 markings/sec, 200 secs
lola: 118679 markings, 440540 edges, 591 markings/sec, 205 secs
lola: 121620 markings, 451455 edges, 588 markings/sec, 210 secs
lola: 124562 markings, 462434 edges, 588 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: 337104 KB
lola: time consumption: 675 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
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 UpperBounds.xml
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: 1965 markings, 6874 edges, 393 markings/sec, 5 secs
lola: 4903 markings, 17167 edges, 588 markings/sec, 10 secs
lola: 7803 markings, 27398 edges, 580 markings/sec, 15 secs
lola: 10726 markings, 37911 edges, 585 markings/sec, 20 secs
lola: 13594 markings, 48333 edges, 574 markings/sec, 25 secs
lola: 16493 markings, 58323 edges, 580 markings/sec, 30 secs
lola: 19385 markings, 68701 edges, 578 markings/sec, 35 secs
lola: 22308 markings, 79080 edges, 585 markings/sec, 40 secs
lola: 25227 markings, 88990 edges, 584 markings/sec, 45 secs
lola: 28159 markings, 98623 edges, 586 markings/sec, 50 secs
lola: 31065 markings, 108055 edges, 581 markings/sec, 55 secs
lola: 33921 markings, 118432 edges, 571 markings/sec, 60 secs
lola: 36817 markings, 128256 edges, 579 markings/sec, 65 secs
lola: 39750 markings, 138818 edges, 587 markings/sec, 70 secs
lola: 42632 markings, 149162 edges, 576 markings/sec, 75 secs
lola: 45533 markings, 159573 edges, 580 markings/sec, 80 secs
lola: 48447 markings, 169593 edges, 583 markings/sec, 85 secs
lola: 51391 markings, 179495 edges, 589 markings/sec, 90 secs
lola: 54330 markings, 189733 edges, 588 markings/sec, 95 secs
lola: 57268 markings, 199748 edges, 588 markings/sec, 100 secs
lola: 60140 markings, 211355 edges, 574 markings/sec, 105 secs
lola: 63010 markings, 222059 edges, 574 markings/sec, 110 secs
lola: 65893 markings, 232312 edges, 577 markings/sec, 115 secs
lola: 68729 markings, 242639 edges, 567 markings/sec, 120 secs
lola: 71651 markings, 251950 edges, 584 markings/sec, 125 secs
lola: 74584 markings, 261881 edges, 587 markings/sec, 130 secs
lola: 77465 markings, 271952 edges, 576 markings/sec, 135 secs
lola: 80335 markings, 281895 edges, 574 markings/sec, 140 secs
lola: 83235 markings, 292392 edges, 580 markings/sec, 145 secs
lola: 86142 markings, 302786 edges, 581 markings/sec, 150 secs
lola: 88990 markings, 312186 edges, 570 markings/sec, 155 secs
lola: 91896 markings, 321875 edges, 581 markings/sec, 160 secs
lola: 94782 markings, 331375 edges, 577 markings/sec, 165 secs
lola: 97655 markings, 340971 edges, 575 markings/sec, 170 secs
lola: 100588 markings, 350532 edges, 587 markings/sec, 175 secs
lola: 103439 markings, 360335 edges, 570 markings/sec, 180 secs
lola: 106382 markings, 369669 edges, 589 markings/sec, 185 secs
lola: 109301 markings, 379610 edges, 584 markings/sec, 190 secs
lola: 112218 markings, 389927 edges, 583 markings/sec, 195 secs
lola: 115094 markings, 399953 edges, 575 markings/sec, 200 secs
lola: 117987 markings, 409981 edges, 579 markings/sec, 205 secs
lola: 120874 markings, 420822 edges, 577 markings/sec, 210 secs
lola: 123685 markings, 430925 edges, 562 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: 335276 KB
lola: time consumption: 897 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
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 UpperBounds.xml
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: 2032 markings, 7281 edges, 406 markings/sec, 5 secs
lola: 4951 markings, 17461 edges, 584 markings/sec, 10 secs
lola: 7875 markings, 28030 edges, 585 markings/sec, 15 secs
lola: 10772 markings, 38131 edges, 579 markings/sec, 20 secs
lola: 13718 markings, 48207 edges, 589 markings/sec, 25 secs
lola: 16655 markings, 58220 edges, 587 markings/sec, 30 secs
lola: 19503 markings, 68549 edges, 570 markings/sec, 35 secs
lola: 22399 markings, 79079 edges, 579 markings/sec, 40 secs
lola: 25337 markings, 89120 edges, 588 markings/sec, 45 secs
lola: 28262 markings, 98605 edges, 585 markings/sec, 50 secs
lola: 31189 markings, 108481 edges, 585 markings/sec, 55 secs
lola: 34094 markings, 119474 edges, 581 markings/sec, 60 secs
lola: 36959 markings, 129917 edges, 573 markings/sec, 65 secs
lola: 39881 markings, 140601 edges, 584 markings/sec, 70 secs
lola: 42777 markings, 151260 edges, 579 markings/sec, 75 secs
lola: 45695 markings, 161620 edges, 584 markings/sec, 80 secs
lola: 48600 markings, 172254 edges, 581 markings/sec, 85 secs
lola: 51501 markings, 182856 edges, 580 markings/sec, 90 secs
lola: 54430 markings, 193142 edges, 586 markings/sec, 95 secs
lola: 57381 markings, 203009 edges, 590 markings/sec, 100 secs
lola: 60292 markings, 213599 edges, 582 markings/sec, 105 secs
lola: 63179 markings, 224268 edges, 577 markings/sec, 110 secs
lola: 66110 markings, 234755 edges, 586 markings/sec, 115 secs
lola: 69039 markings, 245407 edges, 586 markings/sec, 120 secs
lola: 71966 markings, 255797 edges, 585 markings/sec, 125 secs
lola: 74909 markings, 265813 edges, 589 markings/sec, 130 secs
lola: 77827 markings, 276851 edges, 584 markings/sec, 135 secs
lola: 80782 markings, 286783 edges, 591 markings/sec, 140 secs
lola: 83709 markings, 297768 edges, 585 markings/sec, 145 secs
lola: 86651 markings, 307862 edges, 588 markings/sec, 150 secs
lola: 89581 markings, 317879 edges, 586 markings/sec, 155 secs
lola: 92493 markings, 328167 edges, 582 markings/sec, 160 secs
lola: 95460 markings, 338189 edges, 593 markings/sec, 165 secs
lola: 98421 markings, 348174 edges, 592 markings/sec, 170 secs
lola: 101319 markings, 358834 edges, 580 markings/sec, 175 secs
lola: 104270 markings, 368735 edges, 590 markings/sec, 180 secs
lola: 107215 markings, 379155 edges, 589 markings/sec, 185 secs
lola: 110128 markings, 390299 edges, 583 markings/sec, 190 secs
lola: 113058 markings, 400569 edges, 586 markings/sec, 195 secs
lola: 116004 markings, 410356 edges, 589 markings/sec, 200 secs
lola: 118926 markings, 421161 edges, 584 markings/sec, 205 secs
lola: 121848 markings, 431323 edges, 584 markings/sec, 210 secs
lola: 124746 markings, 441534 edges, 580 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: 337780 KB
lola: time consumption: 1119 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
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 UpperBounds.xml
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: 2091 markings, 7744 edges, 418 markings/sec, 5 secs
lola: 5033 markings, 18550 edges, 588 markings/sec, 10 secs
lola: 7962 markings, 29533 edges, 586 markings/sec, 15 secs
lola: 10943 markings, 40470 edges, 596 markings/sec, 20 secs
lola: 13875 markings, 51386 edges, 586 markings/sec, 25 secs
lola: 16838 markings, 62430 edges, 593 markings/sec, 30 secs
lola: 19792 markings, 74017 edges, 591 markings/sec, 35 secs
lola: 22760 markings, 85008 edges, 594 markings/sec, 40 secs
lola: 25717 markings, 96746 edges, 591 markings/sec, 45 secs
lola: 28604 markings, 107323 edges, 577 markings/sec, 50 secs
lola: 31537 markings, 118393 edges, 587 markings/sec, 55 secs
lola: 34516 markings, 129004 edges, 596 markings/sec, 60 secs
lola: 37495 markings, 138926 edges, 596 markings/sec, 65 secs
lola: 40475 markings, 149759 edges, 596 markings/sec, 70 secs
lola: 43459 markings, 160124 edges, 597 markings/sec, 75 secs
lola: 46412 markings, 170376 edges, 591 markings/sec, 80 secs
lola: 49385 markings, 181047 edges, 595 markings/sec, 85 secs
lola: 52322 markings, 191230 edges, 587 markings/sec, 90 secs
lola: 55233 markings, 201121 edges, 582 markings/sec, 95 secs
lola: 58185 markings, 211987 edges, 590 markings/sec, 100 secs
lola: 61117 markings, 223891 edges, 586 markings/sec, 105 secs
lola: 64051 markings, 235165 edges, 587 markings/sec, 110 secs
lola: 67015 markings, 245684 edges, 593 markings/sec, 115 secs
lola: 69876 markings, 256850 edges, 572 markings/sec, 120 secs
lola: 72813 markings, 269155 edges, 587 markings/sec, 125 secs
lola: 75762 markings, 280207 edges, 590 markings/sec, 130 secs
lola: 78734 markings, 290818 edges, 594 markings/sec, 135 secs
lola: 81671 markings, 302616 edges, 587 markings/sec, 140 secs
lola: 84625 markings, 313845 edges, 591 markings/sec, 145 secs
lola: 87590 markings, 325128 edges, 593 markings/sec, 150 secs
lola: 90592 markings, 335755 edges, 600 markings/sec, 155 secs
lola: 93588 markings, 346436 edges, 599 markings/sec, 160 secs
lola: 96589 markings, 356576 edges, 600 markings/sec, 165 secs
lola: 99579 markings, 367009 edges, 598 markings/sec, 170 secs
lola: 102560 markings, 377737 edges, 596 markings/sec, 175 secs
lola: 105550 markings, 388024 edges, 598 markings/sec, 180 secs
lola: 108532 markings, 398516 edges, 596 markings/sec, 185 secs
lola: 111495 markings, 410186 edges, 593 markings/sec, 190 secs
lola: 114487 markings, 420684 edges, 598 markings/sec, 195 secs
lola: 117479 markings, 430672 edges, 598 markings/sec, 200 secs
lola: 120465 markings, 441300 edges, 597 markings/sec, 205 secs
lola: 123441 markings, 452522 edges, 595 markings/sec, 210 secs
lola: 126427 markings, 463105 edges, 597 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: 334416 KB
lola: time consumption: 1341 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
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 UpperBounds.xml
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: 2085 markings, 6913 edges, 417 markings/sec, 5 secs
lola: 5066 markings, 17291 edges, 596 markings/sec, 10 secs
lola: 8043 markings, 27751 edges, 595 markings/sec, 15 secs
lola: 10972 markings, 37952 edges, 586 markings/sec, 20 secs
lola: 13904 markings, 48280 edges, 586 markings/sec, 25 secs
lola: 16891 markings, 57722 edges, 597 markings/sec, 30 secs
lola: 19870 markings, 67926 edges, 596 markings/sec, 35 secs
lola: 22870 markings, 77418 edges, 600 markings/sec, 40 secs
lola: 25852 markings, 87724 edges, 596 markings/sec, 45 secs
lola: 28847 markings, 97253 edges, 599 markings/sec, 50 secs
lola: 31774 markings, 107390 edges, 585 markings/sec, 55 secs
lola: 34781 markings, 117270 edges, 601 markings/sec, 60 secs
lola: 37775 markings, 127551 edges, 599 markings/sec, 65 secs
lola: 40750 markings, 138662 edges, 595 markings/sec, 70 secs
lola: 43731 markings, 149484 edges, 596 markings/sec, 75 secs
lola: 46729 markings, 159506 edges, 600 markings/sec, 80 secs
lola: 49704 markings, 169856 edges, 595 markings/sec, 85 secs
lola: 52681 markings, 180793 edges, 595 markings/sec, 90 secs
lola: 55686 markings, 190430 edges, 601 markings/sec, 95 secs
lola: 58679 markings, 201103 edges, 599 markings/sec, 100 secs
lola: 61671 markings, 211261 edges, 598 markings/sec, 105 secs
lola: 64664 markings, 221341 edges, 599 markings/sec, 110 secs
lola: 67662 markings, 231390 edges, 600 markings/sec, 115 secs
lola: 70662 markings, 241385 edges, 600 markings/sec, 120 secs
lola: 73651 markings, 252112 edges, 598 markings/sec, 125 secs
lola: 76638 markings, 261813 edges, 597 markings/sec, 130 secs
lola: 79615 markings, 271890 edges, 595 markings/sec, 135 secs
lola: 82586 markings, 282343 edges, 594 markings/sec, 140 secs
lola: 85560 markings, 292700 edges, 595 markings/sec, 145 secs
lola: 88560 markings, 302362 edges, 600 markings/sec, 150 secs
lola: 91558 markings, 312146 edges, 600 markings/sec, 155 secs
lola: 94545 markings, 322493 edges, 597 markings/sec, 160 secs
lola: 97543 markings, 332153 edges, 600 markings/sec, 165 secs
lola: 100529 markings, 342563 edges, 597 markings/sec, 170 secs
lola: 103500 markings, 353637 edges, 594 markings/sec, 175 secs
lola: 106462 markings, 364305 edges, 592 markings/sec, 180 secs
lola: 109424 markings, 373663 edges, 592 markings/sec, 185 secs
lola: 112353 markings, 383421 edges, 586 markings/sec, 190 secs
lola: 115244 markings, 393211 edges, 578 markings/sec, 195 secs
lola: 118169 markings, 403386 edges, 585 markings/sec, 200 secs
lola: 121136 markings, 412607 edges, 593 markings/sec, 205 secs
lola: 124043 markings, 422776 edges, 581 markings/sec, 210 secs
lola: 126961 markings, 433691 edges, 584 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: 327504 KB
lola: time consumption: 1563 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 223 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 UpperBounds.xml
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: 1955 markings, 7373 edges, 391 markings/sec, 5 secs
lola: 4853 markings, 17996 edges, 580 markings/sec, 10 secs
lola: 7798 markings, 27739 edges, 589 markings/sec, 15 secs
lola: 10791 markings, 38206 edges, 599 markings/sec, 20 secs
lola: 13781 markings, 48684 edges, 598 markings/sec, 25 secs
lola: 16765 markings, 59001 edges, 597 markings/sec, 30 secs
lola: 19631 markings, 68828 edges, 573 markings/sec, 35 secs
lola: 22615 markings, 79065 edges, 597 markings/sec, 40 secs
lola: 25592 markings, 88010 edges, 595 markings/sec, 45 secs
lola: 28508 markings, 97988 edges, 583 markings/sec, 50 secs
lola: 31533 markings, 107212 edges, 605 markings/sec, 55 secs
lola: 34509 markings, 116554 edges, 595 markings/sec, 60 secs
lola: 37420 markings, 126129 edges, 582 markings/sec, 65 secs
lola: 40399 markings, 135425 edges, 596 markings/sec, 70 secs
lola: 43381 markings, 144655 edges, 596 markings/sec, 75 secs
lola: 46387 markings, 154989 edges, 601 markings/sec, 80 secs
lola: 49379 markings, 165778 edges, 598 markings/sec, 85 secs
lola: 52363 markings, 176795 edges, 597 markings/sec, 90 secs
lola: 55347 markings, 187948 edges, 597 markings/sec, 95 secs
lola: 58352 markings, 198160 edges, 601 markings/sec, 100 secs
lola: 61370 markings, 207925 edges, 604 markings/sec, 105 secs
lola: 64386 markings, 217346 edges, 603 markings/sec, 110 secs
lola: 67384 markings, 227736 edges, 600 markings/sec, 115 secs
lola: 70363 markings, 238702 edges, 596 markings/sec, 120 secs
lola: 73245 markings, 249044 edges, 576 markings/sec, 125 secs
lola: 76157 markings, 259516 edges, 582 markings/sec, 130 secs
lola: 79102 markings, 269112 edges, 589 markings/sec, 135 secs
lola: 82057 markings, 278397 edges, 591 markings/sec, 140 secs
lola: 84993 markings, 288469 edges, 587 markings/sec, 145 secs
lola: 87915 markings, 300318 edges, 584 markings/sec, 150 secs
lola: 90872 markings, 310362 edges, 591 markings/sec, 155 secs
lola: 93870 markings, 319853 edges, 600 markings/sec, 160 secs
lola: 96873 markings, 329036 edges, 601 markings/sec, 165 secs
lola: 99846 markings, 338810 edges, 595 markings/sec, 170 secs
lola: 102822 markings, 348473 edges, 595 markings/sec, 175 secs
lola: 105780 markings, 358789 edges, 592 markings/sec, 180 secs
lola: 108742 markings, 369550 edges, 592 markings/sec, 185 secs
lola: 111724 markings, 379997 edges, 596 markings/sec, 190 secs
lola: 114695 markings, 391186 edges, 594 markings/sec, 195 secs
lola: 117657 markings, 401282 edges, 592 markings/sec, 200 secs
lola: 120613 markings, 412193 edges, 591 markings/sec, 205 secs
lola: 123587 markings, 423272 edges, 595 markings/sec, 210 secs
lola: 126563 markings, 433040 edges, 595 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: 336716 KB
lola: time consumption: 1786 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 223 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 UpperBounds.xml
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: 2128 markings, 7425 edges, 426 markings/sec, 5 secs
lola: 5214 markings, 18357 edges, 617 markings/sec, 10 secs
lola: 8272 markings, 29357 edges, 612 markings/sec, 15 secs
lola: 11352 markings, 40241 edges, 616 markings/sec, 20 secs
lola: 14428 markings, 51166 edges, 615 markings/sec, 25 secs
lola: 17499 markings, 62157 edges, 614 markings/sec, 30 secs
lola: 20573 markings, 73013 edges, 615 markings/sec, 35 secs
lola: 23624 markings, 83916 edges, 610 markings/sec, 40 secs
lola: 26669 markings, 94834 edges, 609 markings/sec, 45 secs
lola: 29680 markings, 105510 edges, 602 markings/sec, 50 secs
lola: 32724 markings, 116076 edges, 609 markings/sec, 55 secs
lola: 35746 markings, 126427 edges, 604 markings/sec, 60 secs
lola: 38809 markings, 136254 edges, 613 markings/sec, 65 secs
lola: 41874 markings, 146678 edges, 613 markings/sec, 70 secs
lola: 44926 markings, 157370 edges, 610 markings/sec, 75 secs
lola: 47936 markings, 167791 edges, 602 markings/sec, 80 secs
lola: 50929 markings, 178952 edges, 599 markings/sec, 85 secs
lola: 53956 markings, 189932 edges, 605 markings/sec, 90 secs
lola: 57051 markings, 200316 edges, 619 markings/sec, 95 secs
lola: 60139 markings, 211083 edges, 618 markings/sec, 100 secs
lola: 63227 markings, 221692 edges, 618 markings/sec, 105 secs
lola: 66309 markings, 232278 edges, 616 markings/sec, 110 secs
lola: 69394 markings, 242982 edges, 617 markings/sec, 115 secs
lola: 72471 markings, 253694 edges, 615 markings/sec, 120 secs
lola: 75518 markings, 266540 edges, 609 markings/sec, 125 secs
lola: 78579 markings, 277824 edges, 612 markings/sec, 130 secs
lola: 81640 markings, 288989 edges, 612 markings/sec, 135 secs
lola: 84725 markings, 299600 edges, 617 markings/sec, 140 secs
lola: 87814 markings, 309498 edges, 618 markings/sec, 145 secs
lola: 90872 markings, 319827 edges, 612 markings/sec, 150 secs
lola: 93824 markings, 330527 edges, 590 markings/sec, 155 secs
lola: 96887 markings, 341743 edges, 613 markings/sec, 160 secs
lola: 99919 markings, 353754 edges, 606 markings/sec, 165 secs
lola: 102976 markings, 364584 edges, 611 markings/sec, 170 secs
lola: 106025 markings, 375235 edges, 610 markings/sec, 175 secs
lola: 109068 markings, 387445 edges, 609 markings/sec, 180 secs
lola: 112123 markings, 397923 edges, 611 markings/sec, 185 secs
lola: 115118 markings, 408947 edges, 599 markings/sec, 190 secs
lola: 118032 markings, 419835 edges, 583 markings/sec, 195 secs
lola: 120999 markings, 430289 edges, 593 markings/sec, 200 secs
lola: 124012 markings, 441453 edges, 603 markings/sec, 205 secs
lola: 127070 markings, 451887 edges, 612 markings/sec, 210 secs
lola: 130086 markings, 462346 edges, 603 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: 341036 KB
lola: time consumption: 2009 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
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 UpperBounds.xml
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: 1950 markings, 6339 edges, 390 markings/sec, 5 secs
lola: 4842 markings, 16114 edges, 578 markings/sec, 10 secs
lola: 7727 markings, 25448 edges, 577 markings/sec, 15 secs
lola: 10595 markings, 36016 edges, 574 markings/sec, 20 secs
lola: 13480 markings, 46278 edges, 577 markings/sec, 25 secs
lola: 16362 markings, 56449 edges, 576 markings/sec, 30 secs
lola: 19249 markings, 66320 edges, 577 markings/sec, 35 secs
lola: 22140 markings, 76078 edges, 578 markings/sec, 40 secs
lola: 25001 markings, 85728 edges, 572 markings/sec, 45 secs
lola: 27905 markings, 95707 edges, 581 markings/sec, 50 secs
lola: 30809 markings, 105594 edges, 581 markings/sec, 55 secs
lola: 33652 markings, 115070 edges, 569 markings/sec, 60 secs
lola: 36544 markings, 124948 edges, 578 markings/sec, 65 secs
lola: 39437 markings, 134833 edges, 579 markings/sec, 70 secs
lola: 42325 markings, 145139 edges, 578 markings/sec, 75 secs
lola: 45208 markings, 155568 edges, 577 markings/sec, 80 secs
lola: 48095 markings, 166104 edges, 577 markings/sec, 85 secs
lola: 50976 markings, 176772 edges, 576 markings/sec, 90 secs
lola: 53873 markings, 187054 edges, 579 markings/sec, 95 secs
lola: 56762 markings, 197852 edges, 578 markings/sec, 100 secs
lola: 59665 markings, 207569 edges, 581 markings/sec, 105 secs
lola: 62520 markings, 217421 edges, 571 markings/sec, 110 secs
lola: 65416 markings, 227281 edges, 579 markings/sec, 115 secs
lola: 68293 markings, 237653 edges, 575 markings/sec, 120 secs
lola: 71184 markings, 247594 edges, 578 markings/sec, 125 secs
lola: 74038 markings, 257760 edges, 571 markings/sec, 130 secs
lola: 76905 markings, 267199 edges, 573 markings/sec, 135 secs
lola: 79765 markings, 276755 edges, 572 markings/sec, 140 secs
lola: 82620 markings, 286334 edges, 571 markings/sec, 145 secs
lola: 85479 markings, 295797 edges, 572 markings/sec, 150 secs
lola: 88321 markings, 306304 edges, 568 markings/sec, 155 secs
lola: 91170 markings, 316176 edges, 570 markings/sec, 160 secs
lola: 93983 markings, 326482 edges, 563 markings/sec, 165 secs
lola: 96691 markings, 335642 edges, 542 markings/sec, 170 secs
lola: 99378 markings, 344857 edges, 537 markings/sec, 175 secs
lola: 102082 markings, 354744 edges, 541 markings/sec, 180 secs
lola: 104889 markings, 364681 edges, 561 markings/sec, 185 secs
lola: 107747 markings, 375006 edges, 572 markings/sec, 190 secs
lola: 110598 markings, 385274 edges, 570 markings/sec, 195 secs
lola: 113445 markings, 395648 edges, 569 markings/sec, 200 secs
lola: 116290 markings, 406227 edges, 569 markings/sec, 205 secs
lola: 119120 markings, 417658 edges, 566 markings/sec, 210 secs
lola: 121975 markings, 428236 edges, 571 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: 334532 KB
lola: time consumption: 2232 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 223 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 UpperBounds.xml
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: 1949 markings, 6886 edges, 390 markings/sec, 5 secs
lola: 4755 markings, 16345 edges, 561 markings/sec, 10 secs
lola: 7564 markings, 26248 edges, 562 markings/sec, 15 secs
lola: 10363 markings, 36251 edges, 560 markings/sec, 20 secs
lola: 13188 markings, 45818 edges, 565 markings/sec, 25 secs
lola: 16022 markings, 55674 edges, 567 markings/sec, 30 secs
lola: 18866 markings, 65185 edges, 569 markings/sec, 35 secs
lola: 21700 markings, 75093 edges, 567 markings/sec, 40 secs
lola: 24530 markings, 85332 edges, 566 markings/sec, 45 secs
lola: 27369 markings, 95376 edges, 568 markings/sec, 50 secs
lola: 30199 markings, 105306 edges, 566 markings/sec, 55 secs
lola: 33039 markings, 114865 edges, 568 markings/sec, 60 secs
lola: 35879 markings, 123646 edges, 568 markings/sec, 65 secs
lola: 38719 markings, 132661 edges, 568 markings/sec, 70 secs
lola: 41550 markings, 142171 edges, 566 markings/sec, 75 secs
lola: 44381 markings, 151735 edges, 566 markings/sec, 80 secs
lola: 47212 markings, 161106 edges, 566 markings/sec, 85 secs
lola: 50031 markings, 171203 edges, 564 markings/sec, 90 secs
lola: 52841 markings, 181570 edges, 562 markings/sec, 95 secs
lola: 55656 markings, 191707 edges, 563 markings/sec, 100 secs
lola: 58521 markings, 200616 edges, 573 markings/sec, 105 secs
lola: 61375 markings, 209798 edges, 571 markings/sec, 110 secs
lola: 64227 markings, 218736 edges, 570 markings/sec, 115 secs
lola: 67072 markings, 228019 edges, 569 markings/sec, 120 secs
lola: 69908 markings, 238087 edges, 567 markings/sec, 125 secs
lola: 72740 markings, 248109 edges, 566 markings/sec, 130 secs
lola: 75584 markings, 257615 edges, 569 markings/sec, 135 secs
lola: 78415 markings, 267297 edges, 566 markings/sec, 140 secs
lola: 81263 markings, 276526 edges, 570 markings/sec, 145 secs
lola: 84105 markings, 285842 edges, 568 markings/sec, 150 secs
lola: 86941 markings, 295675 edges, 567 markings/sec, 155 secs
lola: 89796 markings, 304683 edges, 571 markings/sec, 160 secs
lola: 92638 markings, 314004 edges, 568 markings/sec, 165 secs
lola: 95487 markings, 322686 edges, 570 markings/sec, 170 secs
lola: 98327 markings, 331686 edges, 568 markings/sec, 175 secs
lola: 101169 markings, 340819 edges, 568 markings/sec, 180 secs
lola: 104014 markings, 349779 edges, 569 markings/sec, 185 secs
lola: 106858 markings, 359068 edges, 569 markings/sec, 190 secs
lola: 109678 markings, 369320 edges, 564 markings/sec, 195 secs
lola: 112525 markings, 378247 edges, 569 markings/sec, 200 secs
lola: 115364 markings, 387466 edges, 568 markings/sec, 205 secs
lola: 118205 markings, 396540 edges, 568 markings/sec, 210 secs
lola: 121051 markings, 405424 edges, 569 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: 329860 KB
lola: time consumption: 2455 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 223 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 UpperBounds.xml
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: 1868 markings, 6523 edges, 374 markings/sec, 5 secs
lola: 4700 markings, 16091 edges, 566 markings/sec, 10 secs
lola: 7490 markings, 25503 edges, 558 markings/sec, 15 secs
lola: 10309 markings, 35081 edges, 564 markings/sec, 20 secs
lola: 13131 markings, 44835 edges, 564 markings/sec, 25 secs
lola: 16003 markings, 54586 edges, 574 markings/sec, 30 secs
lola: 18874 markings, 64314 edges, 574 markings/sec, 35 secs
lola: 21773 markings, 72717 edges, 580 markings/sec, 40 secs
lola: 24655 markings, 81819 edges, 576 markings/sec, 45 secs
lola: 27533 markings, 91245 edges, 576 markings/sec, 50 secs
lola: 30414 markings, 100448 edges, 576 markings/sec, 55 secs
lola: 33302 markings, 109358 edges, 578 markings/sec, 60 secs
lola: 36204 markings, 118134 edges, 580 markings/sec, 65 secs
lola: 39103 markings, 126933 edges, 580 markings/sec, 70 secs
lola: 41971 markings, 137004 edges, 574 markings/sec, 75 secs
lola: 44856 markings, 146495 edges, 577 markings/sec, 80 secs
lola: 47745 markings, 156198 edges, 578 markings/sec, 85 secs
lola: 50664 markings, 164629 edges, 584 markings/sec, 90 secs
lola: 53564 markings, 173838 edges, 580 markings/sec, 95 secs
lola: 56451 markings, 183423 edges, 577 markings/sec, 100 secs
lola: 59330 markings, 193494 edges, 576 markings/sec, 105 secs
lola: 62214 markings, 202936 edges, 577 markings/sec, 110 secs
lola: 65052 markings, 213370 edges, 568 markings/sec, 115 secs
lola: 67923 markings, 222962 edges, 574 markings/sec, 120 secs
lola: 70798 markings, 233206 edges, 575 markings/sec, 125 secs
lola: 73651 markings, 244429 edges, 571 markings/sec, 130 secs
lola: 76557 markings, 252927 edges, 581 markings/sec, 135 secs
lola: 79438 markings, 262366 edges, 576 markings/sec, 140 secs
lola: 82307 markings, 272029 edges, 574 markings/sec, 145 secs
lola: 85193 markings, 281578 edges, 577 markings/sec, 150 secs
lola: 88055 markings, 292020 edges, 572 markings/sec, 155 secs
lola: 90927 markings, 301704 edges, 574 markings/sec, 160 secs
lola: 93799 markings, 311607 edges, 574 markings/sec, 165 secs
lola: 96669 markings, 321259 edges, 574 markings/sec, 170 secs
lola: 99547 markings, 330724 edges, 576 markings/sec, 175 secs
lola: 102435 markings, 339356 edges, 578 markings/sec, 180 secs
lola: 105315 markings, 348389 edges, 576 markings/sec, 185 secs
lola: 108190 markings, 357483 edges, 575 markings/sec, 190 secs
lola: 111035 markings, 366510 edges, 569 markings/sec, 195 secs
lola: 113912 markings, 375702 edges, 575 markings/sec, 200 secs
lola: 116692 markings, 385407 edges, 556 markings/sec, 205 secs
lola: 119508 markings, 394339 edges, 563 markings/sec, 210 secs
lola: 122339 markings, 404114 edges, 566 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: 323136 KB
lola: time consumption: 2678 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 223 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 UpperBounds.xml
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: 1983 markings, 7249 edges, 397 markings/sec, 5 secs
lola: 4813 markings, 16946 edges, 566 markings/sec, 10 secs
lola: 7703 markings, 26807 edges, 578 markings/sec, 15 secs
lola: 10583 markings, 36676 edges, 576 markings/sec, 20 secs
lola: 13456 markings, 46584 edges, 575 markings/sec, 25 secs
lola: 16330 markings, 56345 edges, 575 markings/sec, 30 secs
lola: 19212 markings, 65542 edges, 576 markings/sec, 35 secs
lola: 22093 markings, 75269 edges, 576 markings/sec, 40 secs
lola: 24976 markings, 85328 edges, 577 markings/sec, 45 secs
lola: 27861 markings, 95275 edges, 577 markings/sec, 50 secs
lola: 30746 markings, 105151 edges, 577 markings/sec, 55 secs
lola: 33631 markings, 114870 edges, 577 markings/sec, 60 secs
lola: 36504 markings, 125209 edges, 575 markings/sec, 65 secs
lola: 39369 markings, 135758 edges, 573 markings/sec, 70 secs
lola: 42240 markings, 145899 edges, 574 markings/sec, 75 secs
lola: 45117 markings, 155886 edges, 575 markings/sec, 80 secs
lola: 47989 markings, 166369 edges, 574 markings/sec, 85 secs
lola: 50863 markings, 176362 edges, 575 markings/sec, 90 secs
lola: 53735 markings, 186147 edges, 574 markings/sec, 95 secs
lola: 56618 markings, 195570 edges, 577 markings/sec, 100 secs
lola: 59479 markings, 205310 edges, 572 markings/sec, 105 secs
lola: 62331 markings, 215211 edges, 570 markings/sec, 110 secs
lola: 65181 markings, 225024 edges, 570 markings/sec, 115 secs
lola: 68008 markings, 235145 edges, 565 markings/sec, 120 secs
lola: 70842 markings, 244879 edges, 567 markings/sec, 125 secs
lola: 73674 markings, 254927 edges, 566 markings/sec, 130 secs
lola: 76505 markings, 265235 edges, 566 markings/sec, 135 secs
lola: 79334 markings, 275388 edges, 566 markings/sec, 140 secs
lola: 82188 markings, 285252 edges, 571 markings/sec, 145 secs
lola: 85020 markings, 295718 edges, 566 markings/sec, 150 secs
lola: 87871 markings, 305121 edges, 570 markings/sec, 155 secs
lola: 90659 markings, 315927 edges, 558 markings/sec, 160 secs
lola: 93499 markings, 325095 edges, 568 markings/sec, 165 secs
lola: 96335 markings, 334652 edges, 567 markings/sec, 170 secs
lola: 99169 markings, 344535 edges, 567 markings/sec, 175 secs
lola: 102000 markings, 354386 edges, 566 markings/sec, 180 secs
lola: 104823 markings, 364715 edges, 565 markings/sec, 185 secs
lola: 107645 markings, 374730 edges, 564 markings/sec, 190 secs
lola: 110470 markings, 384432 edges, 565 markings/sec, 195 secs
lola: 113298 markings, 393700 edges, 566 markings/sec, 200 secs
lola: 116094 markings, 403310 edges, 559 markings/sec, 205 secs
lola: 118918 markings, 413205 edges, 565 markings/sec, 210 secs
lola: 121758 markings, 422615 edges, 568 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: 322712 KB
lola: time consumption: 2901 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 223 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 UpperBounds.xml
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: 1870 markings, 6673 edges, 374 markings/sec, 5 secs
lola: 4600 markings, 16104 edges, 546 markings/sec, 10 secs
lola: 7270 markings, 25692 edges, 534 markings/sec, 15 secs
lola: 10030 markings, 35508 edges, 552 markings/sec, 20 secs
lola: 12828 markings, 45285 edges, 560 markings/sec, 25 secs
lola: 15606 markings, 55486 edges, 556 markings/sec, 30 secs
lola: 18348 markings, 65447 edges, 548 markings/sec, 35 secs
lola: 21096 markings, 75199 edges, 550 markings/sec, 40 secs
lola: 23847 markings, 86081 edges, 550 markings/sec, 45 secs
lola: 26589 markings, 95835 edges, 548 markings/sec, 50 secs
lola: 29295 markings, 105140 edges, 541 markings/sec, 55 secs
lola: 32094 markings, 114962 edges, 560 markings/sec, 60 secs
lola: 34894 markings, 124751 edges, 560 markings/sec, 65 secs
lola: 37647 markings, 133557 edges, 551 markings/sec, 70 secs
lola: 40447 markings, 142457 edges, 560 markings/sec, 75 secs
lola: 43247 markings, 152004 edges, 560 markings/sec, 80 secs
lola: 46051 markings, 161804 edges, 561 markings/sec, 85 secs
lola: 48841 markings, 171943 edges, 558 markings/sec, 90 secs
lola: 51643 markings, 180953 edges, 560 markings/sec, 95 secs
lola: 54499 markings, 189914 edges, 571 markings/sec, 100 secs
lola: 57340 markings, 199566 edges, 568 markings/sec, 105 secs
lola: 60156 markings, 208709 edges, 563 markings/sec, 110 secs
lola: 62978 markings, 218754 edges, 564 markings/sec, 115 secs
lola: 65789 markings, 228792 edges, 562 markings/sec, 120 secs
lola: 68606 markings, 238824 edges, 563 markings/sec, 125 secs
lola: 71442 markings, 247975 edges, 567 markings/sec, 130 secs
lola: 74276 markings, 256999 edges, 567 markings/sec, 135 secs
lola: 77095 markings, 266828 edges, 564 markings/sec, 140 secs
lola: 79919 markings, 276422 edges, 565 markings/sec, 145 secs
lola: 82715 markings, 287470 edges, 559 markings/sec, 150 secs
lola: 85553 markings, 296376 edges, 568 markings/sec, 155 secs
lola: 88393 markings, 305438 edges, 568 markings/sec, 160 secs
lola: 91215 markings, 315446 edges, 564 markings/sec, 165 secs
lola: 94035 markings, 324768 edges, 564 markings/sec, 170 secs
lola: 96855 markings, 334660 edges, 564 markings/sec, 175 secs
lola: 99670 markings, 344851 edges, 563 markings/sec, 180 secs
lola: 102489 markings, 354813 edges, 564 markings/sec, 185 secs
lola: 105269 markings, 364618 edges, 556 markings/sec, 190 secs
lola: 107889 markings, 373864 edges, 524 markings/sec, 195 secs
lola: 110571 markings, 382063 edges, 536 markings/sec, 200 secs
lola: 113320 markings, 391111 edges, 550 markings/sec, 205 secs
lola: 116004 markings, 400226 edges, 537 markings/sec, 210 secs
lola: 118812 markings, 409952 edges, 562 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: 331108 KB
lola: time consumption: 3124 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
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__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 UpperBounds.xml
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: 2012 markings, 6553 edges, 402 markings/sec, 5 secs
lola: 4918 markings, 16781 edges, 581 markings/sec, 10 secs
lola: 7774 markings, 26724 edges, 571 markings/sec, 15 secs
lola: 10628 markings, 36650 edges, 571 markings/sec, 20 secs
lola: 13516 markings, 46652 edges, 578 markings/sec, 25 secs
lola: 16393 markings, 56768 edges, 575 markings/sec, 30 secs
lola: 19272 markings, 66871 edges, 576 markings/sec, 35 secs
lola: 22156 markings, 76782 edges, 577 markings/sec, 40 secs
lola: 25041 markings, 86748 edges, 577 markings/sec, 45 secs
lola: 27897 markings, 96661 edges, 571 markings/sec, 50 secs
lola: 30711 markings, 105601 edges, 563 markings/sec, 55 secs
lola: 33605 markings, 114429 edges, 579 markings/sec, 60 secs
lola: 36455 markings, 123096 edges, 570 markings/sec, 65 secs
lola: 39375 markings, 132412 edges, 584 markings/sec, 70 secs
lola: 42294 markings, 142083 edges, 584 markings/sec, 75 secs
lola: 45196 markings, 152024 edges, 580 markings/sec, 80 secs
lola: 48040 markings, 160609 edges, 569 markings/sec, 85 secs
lola: 50900 markings, 170515 edges, 572 markings/sec, 90 secs
lola: 53809 markings, 180166 edges, 582 markings/sec, 95 secs
lola: 56639 markings, 189741 edges, 566 markings/sec, 100 secs
lola: 59493 markings, 198985 edges, 571 markings/sec, 105 secs
lola: 62331 markings, 208882 edges, 568 markings/sec, 110 secs
lola: 65206 markings, 219386 edges, 575 markings/sec, 115 secs
lola: 68061 markings, 230506 edges, 571 markings/sec, 120 secs
lola: 70910 markings, 240408 edges, 570 markings/sec, 125 secs
lola: 73714 markings, 250426 edges, 561 markings/sec, 130 secs
lola: 76543 markings, 260855 edges, 566 markings/sec, 135 secs
lola: 79383 markings, 271460 edges, 568 markings/sec, 140 secs
lola: 82241 markings, 283134 edges, 572 markings/sec, 145 secs
lola: 85134 markings, 292105 edges, 579 markings/sec, 150 secs
lola: 88052 markings, 301673 edges, 584 markings/sec, 155 secs
lola: 90974 markings, 311193 edges, 584 markings/sec, 160 secs
lola: 93901 markings, 320474 edges, 585 markings/sec, 165 secs
lola: 96759 markings, 330122 edges, 572 markings/sec, 170 secs
lola: 99680 markings, 339776 edges, 584 markings/sec, 175 secs
lola: 102593 markings, 349511 edges, 583 markings/sec, 180 secs
lola: 105500 markings, 359534 edges, 581 markings/sec, 185 secs
lola: 108395 markings, 370336 edges, 579 markings/sec, 190 secs
lola: 111294 markings, 380624 edges, 580 markings/sec, 195 secs
lola: 114186 markings, 391122 edges, 578 markings/sec, 200 secs
lola: 117113 markings, 400201 edges, 585 markings/sec, 205 secs
lola: 120012 markings, 410526 edges, 580 markings/sec, 210 secs
lola: 122912 markings, 420524 edges, 580 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: 326344 KB
lola: time consumption: 3347 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
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 UpperBounds.xml
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: 2110 markings, 6766 edges, 422 markings/sec, 5 secs
lola: 5085 markings, 17409 edges, 595 markings/sec, 10 secs
lola: 8031 markings, 28552 edges, 589 markings/sec, 15 secs
lola: 10996 markings, 38882 edges, 593 markings/sec, 20 secs
lola: 13961 markings, 49217 edges, 593 markings/sec, 25 secs
lola: 16912 markings, 60193 edges, 590 markings/sec, 30 secs
lola: 19870 markings, 70887 edges, 592 markings/sec, 35 secs
lola: 22824 markings, 81210 edges, 591 markings/sec, 40 secs
lola: 25798 markings, 91232 edges, 595 markings/sec, 45 secs
lola: 28774 markings, 100497 edges, 595 markings/sec, 50 secs
lola: 31723 markings, 110838 edges, 590 markings/sec, 55 secs
lola: 34681 markings, 120885 edges, 592 markings/sec, 60 secs
lola: 37614 markings, 131117 edges, 587 markings/sec, 65 secs
lola: 40560 markings, 140514 edges, 589 markings/sec, 70 secs
lola: 43539 markings, 150195 edges, 596 markings/sec, 75 secs
lola: 46520 markings, 159942 edges, 596 markings/sec, 80 secs
lola: 49513 markings, 169417 edges, 599 markings/sec, 85 secs
lola: 52496 markings, 179495 edges, 597 markings/sec, 90 secs
lola: 55462 markings, 189767 edges, 593 markings/sec, 95 secs
lola: 58448 markings, 199552 edges, 597 markings/sec, 100 secs
lola: 61387 markings, 208709 edges, 588 markings/sec, 105 secs
lola: 64324 markings, 219341 edges, 587 markings/sec, 110 secs
lola: 67289 markings, 229200 edges, 593 markings/sec, 115 secs
lola: 70253 markings, 239325 edges, 593 markings/sec, 120 secs
lola: 73256 markings, 248303 edges, 601 markings/sec, 125 secs
lola: 76239 markings, 258101 edges, 597 markings/sec, 130 secs
lola: 79207 markings, 268483 edges, 594 markings/sec, 135 secs
lola: 82185 markings, 278068 edges, 596 markings/sec, 140 secs
lola: 85153 markings, 288259 edges, 594 markings/sec, 145 secs
lola: 88103 markings, 298821 edges, 590 markings/sec, 150 secs
lola: 91070 markings, 308964 edges, 593 markings/sec, 155 secs
lola: 94023 markings, 319978 edges, 591 markings/sec, 160 secs
lola: 96994 markings, 329935 edges, 594 markings/sec, 165 secs
lola: 99951 markings, 340405 edges, 591 markings/sec, 170 secs
lola: 102900 markings, 351361 edges, 590 markings/sec, 175 secs
lola: 105803 markings, 360398 edges, 581 markings/sec, 180 secs
lola: 108720 markings, 370361 edges, 583 markings/sec, 185 secs
lola: 111676 markings, 380817 edges, 591 markings/sec, 190 secs
lola: 114631 markings, 391264 edges, 591 markings/sec, 195 secs
lola: 117582 markings, 401641 edges, 590 markings/sec, 200 secs
lola: 120508 markings, 412794 edges, 585 markings/sec, 205 secs
lola: 123416 markings, 422809 edges, 582 markings/sec, 210 secs
lola: 126402 markings, 432336 edges, 597 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: 332976 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
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 UpperBounds.xml
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: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: lola: caught signal User defined signal 1 - 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: memory consumption: 281804 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
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: 281928 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
rslt: finished

BK_STOP 1552597132025

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

grep: GenericPropertiesVerdict.xml: No such file or directory
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="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3954"
echo " Executing tool lola"
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 r060-ebro-155234654800227"
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 ;