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

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

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

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 223
},
"exit":
{
"localtimelimitreached": false,
"memory": 335720,
"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__8_28_)",
"processed_size": 16,
"rewrites": 0
},
"result":
{
"preliminary_value": "unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown "
},
"task":
{
"compoundnumber": 15,
"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__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 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: 50
lola: 1909 markings, 6916 edges, 382 markings/sec, 5 secs
lola: 4803 markings, 17426 edges, 579 markings/sec, 10 secs
lola: 7715 markings, 27983 edges, 582 markings/sec, 15 secs
lola: 10627 markings, 38568 edges, 582 markings/sec, 20 secs
lola: 13529 markings, 49206 edges, 580 markings/sec, 25 secs
lola: 16434 markings, 59745 edges, 581 markings/sec, 30 secs
lola: 19327 markings, 70970 edges, 579 markings/sec, 35 secs
lola: 22226 markings, 81957 edges, 580 markings/sec, 40 secs
lola: 25127 markings, 92794 edges, 580 markings/sec, 45 secs
lola: 27978 markings, 103519 edges, 570 markings/sec, 50 secs
lola: 30812 markings, 112866 edges, 567 markings/sec, 55 secs
lola: 33653 markings, 123100 edges, 568 markings/sec, 60 secs
lola: 36522 markings, 133870 edges, 574 markings/sec, 65 secs
lola: 39388 markings, 144396 edges, 573 markings/sec, 70 secs
lola: 42280 markings, 155345 edges, 578 markings/sec, 75 secs
lola: 45125 markings, 165636 edges, 569 markings/sec, 80 secs
lola: 48008 markings, 176105 edges, 577 markings/sec, 85 secs
lola: 50913 markings, 186086 edges, 581 markings/sec, 90 secs
lola: 53803 markings, 196441 edges, 578 markings/sec, 95 secs
lola: 56699 markings, 206620 edges, 579 markings/sec, 100 secs
lola: 59607 markings, 216707 edges, 582 markings/sec, 105 secs
lola: 62487 markings, 227058 edges, 576 markings/sec, 110 secs
lola: 65360 markings, 238370 edges, 575 markings/sec, 115 secs
lola: 68260 markings, 248938 edges, 580 markings/sec, 120 secs
lola: 71166 markings, 258861 edges, 581 markings/sec, 125 secs
lola: 74034 markings, 269580 edges, 574 markings/sec, 130 secs
lola: 76935 markings, 280043 edges, 580 markings/sec, 135 secs
lola: 79851 markings, 289916 edges, 583 markings/sec, 140 secs
lola: 82756 markings, 300402 edges, 581 markings/sec, 145 secs
lola: 85683 markings, 310032 edges, 585 markings/sec, 150 secs
lola: 88586 markings, 319681 edges, 581 markings/sec, 155 secs
lola: 91498 markings, 329682 edges, 582 markings/sec, 160 secs
lola: 94402 markings, 340064 edges, 581 markings/sec, 165 secs
lola: 97305 markings, 350635 edges, 581 markings/sec, 170 secs
lola: 100214 markings, 360952 edges, 582 markings/sec, 175 secs
lola: 103135 markings, 370958 edges, 584 markings/sec, 180 secs
lola: 106025 markings, 381667 edges, 578 markings/sec, 185 secs
lola: 108930 markings, 392148 edges, 581 markings/sec, 190 secs
lola: 111838 markings, 402249 edges, 582 markings/sec, 195 secs
lola: 114743 markings, 412480 edges, 581 markings/sec, 200 secs
lola: 117633 markings, 423895 edges, 578 markings/sec, 205 secs
lola: 120540 markings, 434680 edges, 581 markings/sec, 210 secs
lola: 123449 markings, 444872 edges, 582 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: 328596 KB
lola: time consumption: 229 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__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 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: 50
lola: 2039 markings, 7307 edges, 408 markings/sec, 5 secs
lola: 4914 markings, 17684 edges, 575 markings/sec, 10 secs
lola: 7791 markings, 28189 edges, 575 markings/sec, 15 secs
lola: 10657 markings, 39185 edges, 573 markings/sec, 20 secs
lola: 13534 markings, 49495 edges, 575 markings/sec, 25 secs
lola: 16420 markings, 59418 edges, 577 markings/sec, 30 secs
lola: 19299 markings, 69719 edges, 576 markings/sec, 35 secs
lola: 22190 markings, 78940 edges, 578 markings/sec, 40 secs
lola: 25081 markings, 88218 edges, 578 markings/sec, 45 secs
lola: 27940 markings, 98969 edges, 572 markings/sec, 50 secs
lola: 30808 markings, 109346 edges, 574 markings/sec, 55 secs
lola: 33672 markings, 120071 edges, 573 markings/sec, 60 secs
lola: 36539 markings, 130685 edges, 573 markings/sec, 65 secs
lola: 39392 markings, 141676 edges, 571 markings/sec, 70 secs
lola: 42307 markings, 150777 edges, 583 markings/sec, 75 secs
lola: 45200 markings, 161168 edges, 579 markings/sec, 80 secs
lola: 48081 markings, 172021 edges, 576 markings/sec, 85 secs
lola: 50969 markings, 182317 edges, 578 markings/sec, 90 secs
lola: 53843 markings, 193408 edges, 575 markings/sec, 95 secs
lola: 56725 markings, 204097 edges, 576 markings/sec, 100 secs
lola: 59590 markings, 215453 edges, 573 markings/sec, 105 secs
lola: 62444 markings, 227065 edges, 571 markings/sec, 110 secs
lola: 65322 markings, 237455 edges, 576 markings/sec, 115 secs
lola: 68162 markings, 249822 edges, 568 markings/sec, 120 secs
lola: 71036 markings, 260449 edges, 575 markings/sec, 125 secs
lola: 73897 markings, 271201 edges, 572 markings/sec, 130 secs
lola: 76763 markings, 281954 edges, 573 markings/sec, 135 secs
lola: 79615 markings, 293168 edges, 570 markings/sec, 140 secs
lola: 82475 markings, 304022 edges, 572 markings/sec, 145 secs
lola: 85368 markings, 313083 edges, 579 markings/sec, 150 secs
lola: 88237 markings, 323511 edges, 574 markings/sec, 155 secs
lola: 91140 markings, 332436 edges, 581 markings/sec, 160 secs
lola: 94023 markings, 342796 edges, 577 markings/sec, 165 secs
lola: 96939 markings, 351860 edges, 583 markings/sec, 170 secs
lola: 99838 markings, 361880 edges, 580 markings/sec, 175 secs
lola: 102728 markings, 372089 edges, 578 markings/sec, 180 secs
lola: 105609 markings, 382672 edges, 576 markings/sec, 185 secs
lola: 108492 markings, 393110 edges, 577 markings/sec, 190 secs
lola: 111365 markings, 403328 edges, 575 markings/sec, 195 secs
lola: 114255 markings, 412575 edges, 578 markings/sec, 200 secs
lola: 117140 markings, 421990 edges, 577 markings/sec, 205 secs
lola: 120017 markings, 432250 edges, 575 markings/sec, 210 secs
lola: 122890 markings, 442641 edges, 575 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: 330348 KB
lola: time consumption: 452 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__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 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: 50
lola: 2013 markings, 7089 edges, 403 markings/sec, 5 secs
lola: 4925 markings, 17273 edges, 582 markings/sec, 10 secs
lola: 7759 markings, 27422 edges, 567 markings/sec, 15 secs
lola: 10648 markings, 37487 edges, 578 markings/sec, 20 secs
lola: 13519 markings, 48367 edges, 574 markings/sec, 25 secs
lola: 16442 markings, 58835 edges, 585 markings/sec, 30 secs
lola: 19319 markings, 68769 edges, 575 markings/sec, 35 secs
lola: 22230 markings, 78558 edges, 582 markings/sec, 40 secs
lola: 25148 markings, 87964 edges, 584 markings/sec, 45 secs
lola: 28107 markings, 97662 edges, 592 markings/sec, 50 secs
lola: 31042 markings, 107077 edges, 587 markings/sec, 55 secs
lola: 33999 markings, 117186 edges, 591 markings/sec, 60 secs
lola: 36954 markings, 127187 edges, 591 markings/sec, 65 secs
lola: 39888 markings, 137779 edges, 587 markings/sec, 70 secs
lola: 42768 markings, 148579 edges, 576 markings/sec, 75 secs
lola: 45709 markings, 159242 edges, 588 markings/sec, 80 secs
lola: 48632 markings, 169562 edges, 585 markings/sec, 85 secs
lola: 51576 markings, 178824 edges, 589 markings/sec, 90 secs
lola: 54519 markings, 188279 edges, 589 markings/sec, 95 secs
lola: 57457 markings, 198287 edges, 588 markings/sec, 100 secs
lola: 60392 markings, 208558 edges, 587 markings/sec, 105 secs
lola: 63322 markings, 218725 edges, 586 markings/sec, 110 secs
lola: 66254 markings, 229104 edges, 586 markings/sec, 115 secs
lola: 69140 markings, 239368 edges, 577 markings/sec, 120 secs
lola: 72043 markings, 248530 edges, 581 markings/sec, 125 secs
lola: 74957 markings, 257907 edges, 583 markings/sec, 130 secs
lola: 77879 markings, 267396 edges, 584 markings/sec, 135 secs
lola: 80754 markings, 276962 edges, 575 markings/sec, 140 secs
lola: 83663 markings, 286948 edges, 582 markings/sec, 145 secs
lola: 86576 markings, 296210 edges, 583 markings/sec, 150 secs
lola: 89431 markings, 305984 edges, 571 markings/sec, 155 secs
lola: 92340 markings, 315940 edges, 582 markings/sec, 160 secs
lola: 95244 markings, 325980 edges, 581 markings/sec, 165 secs
lola: 98165 markings, 335003 edges, 584 markings/sec, 170 secs
lola: 101082 markings, 344501 edges, 583 markings/sec, 175 secs
lola: 103993 markings, 354705 edges, 582 markings/sec, 180 secs
lola: 106912 markings, 363791 edges, 584 markings/sec, 185 secs
lola: 109796 markings, 373558 edges, 577 markings/sec, 190 secs
lola: 112658 markings, 383844 edges, 572 markings/sec, 195 secs
lola: 115572 markings, 393954 edges, 583 markings/sec, 200 secs
lola: 118457 markings, 403364 edges, 577 markings/sec, 205 secs
lola: 121385 markings, 412867 edges, 586 markings/sec, 210 secs
lola: 124281 markings, 422512 edges, 579 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: 329480 KB
lola: time consumption: 674 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__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 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: 50
lola: 1822 markings, 6594 edges, 364 markings/sec, 5 secs
lola: 4538 markings, 16446 edges, 543 markings/sec, 10 secs
lola: 7278 markings, 25807 edges, 548 markings/sec, 15 secs
lola: 9988 markings, 34864 edges, 542 markings/sec, 20 secs
lola: 12749 markings, 44136 edges, 552 markings/sec, 25 secs
lola: 15541 markings, 53649 edges, 558 markings/sec, 30 secs
lola: 18358 markings, 63082 edges, 563 markings/sec, 35 secs
lola: 21203 markings, 72676 edges, 569 markings/sec, 40 secs
lola: 23964 markings, 81703 edges, 552 markings/sec, 45 secs
lola: 26697 markings, 90974 edges, 547 markings/sec, 50 secs
lola: 29511 markings, 100754 edges, 563 markings/sec, 55 secs
lola: 32318 markings, 110581 edges, 561 markings/sec, 60 secs
lola: 35158 markings, 120305 edges, 568 markings/sec, 65 secs
lola: 37988 markings, 130291 edges, 566 markings/sec, 70 secs
lola: 40825 markings, 140179 edges, 567 markings/sec, 75 secs
lola: 43627 markings, 149697 edges, 560 markings/sec, 80 secs
lola: 46462 markings, 159360 edges, 567 markings/sec, 85 secs
lola: 49295 markings, 168968 edges, 567 markings/sec, 90 secs
lola: 52120 markings, 179106 edges, 565 markings/sec, 95 secs
lola: 54960 markings, 188712 edges, 568 markings/sec, 100 secs
lola: 57805 markings, 198374 edges, 569 markings/sec, 105 secs
lola: 60639 markings, 208135 edges, 567 markings/sec, 110 secs
lola: 63470 markings, 217762 edges, 566 markings/sec, 115 secs
lola: 66310 markings, 227725 edges, 568 markings/sec, 120 secs
lola: 69152 markings, 237659 edges, 568 markings/sec, 125 secs
lola: 72002 markings, 247515 edges, 570 markings/sec, 130 secs
lola: 74848 markings, 257289 edges, 569 markings/sec, 135 secs
lola: 77702 markings, 266572 edges, 571 markings/sec, 140 secs
lola: 80548 markings, 276366 edges, 569 markings/sec, 145 secs
lola: 83383 markings, 286393 edges, 567 markings/sec, 150 secs
lola: 86227 markings, 296383 edges, 569 markings/sec, 155 secs
lola: 89087 markings, 305480 edges, 572 markings/sec, 160 secs
lola: 91925 markings, 315218 edges, 568 markings/sec, 165 secs
lola: 94743 markings, 325427 edges, 564 markings/sec, 170 secs
lola: 97583 markings, 334585 edges, 568 markings/sec, 175 secs
lola: 100440 markings, 344118 edges, 571 markings/sec, 180 secs
lola: 103282 markings, 354515 edges, 568 markings/sec, 185 secs
lola: 106136 markings, 363741 edges, 571 markings/sec, 190 secs
lola: 108989 markings, 372917 edges, 571 markings/sec, 195 secs
lola: 111834 markings, 382548 edges, 569 markings/sec, 200 secs
lola: 114648 markings, 392878 edges, 563 markings/sec, 205 secs
lola: 117492 markings, 401917 edges, 569 markings/sec, 210 secs
lola: 120325 markings, 411406 edges, 567 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: 324324 KB
lola: time consumption: 896 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__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 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: 50
lola: 2012 markings, 7147 edges, 402 markings/sec, 5 secs
lola: 4947 markings, 17771 edges, 587 markings/sec, 10 secs
lola: 7864 markings, 28855 edges, 583 markings/sec, 15 secs
lola: 10799 markings, 38979 edges, 587 markings/sec, 20 secs
lola: 13728 markings, 49014 edges, 586 markings/sec, 25 secs
lola: 16615 markings, 59172 edges, 577 markings/sec, 30 secs
lola: 19534 markings, 69613 edges, 584 markings/sec, 35 secs
lola: 22447 markings, 80481 edges, 583 markings/sec, 40 secs
lola: 25337 markings, 92538 edges, 578 markings/sec, 45 secs
lola: 28203 markings, 103720 edges, 573 markings/sec, 50 secs
lola: 31091 markings, 115584 edges, 578 markings/sec, 55 secs
lola: 33972 markings, 126434 edges, 576 markings/sec, 60 secs
lola: 36874 markings, 137635 edges, 580 markings/sec, 65 secs
lola: 39746 markings, 149807 edges, 574 markings/sec, 70 secs
lola: 42639 markings, 161358 edges, 579 markings/sec, 75 secs
lola: 45548 markings, 172113 edges, 582 markings/sec, 80 secs
lola: 48439 markings, 183621 edges, 578 markings/sec, 85 secs
lola: 51356 markings, 194272 edges, 583 markings/sec, 90 secs
lola: 54227 markings, 206506 edges, 574 markings/sec, 95 secs
lola: 57140 markings, 217004 edges, 583 markings/sec, 100 secs
lola: 60038 markings, 227814 edges, 580 markings/sec, 105 secs
lola: 62952 markings, 238538 edges, 583 markings/sec, 110 secs
lola: 65891 markings, 248632 edges, 588 markings/sec, 115 secs
lola: 68820 markings, 258846 edges, 586 markings/sec, 120 secs
lola: 71739 markings, 268751 edges, 584 markings/sec, 125 secs
lola: 74677 markings, 278609 edges, 588 markings/sec, 130 secs
lola: 77599 markings, 289332 edges, 584 markings/sec, 135 secs
lola: 80514 markings, 300459 edges, 583 markings/sec, 140 secs
lola: 83375 markings, 311777 edges, 572 markings/sec, 145 secs
lola: 86210 markings, 322591 edges, 567 markings/sec, 150 secs
lola: 89091 markings, 331924 edges, 576 markings/sec, 155 secs
lola: 91961 markings, 342253 edges, 574 markings/sec, 160 secs
lola: 94854 markings, 353636 edges, 579 markings/sec, 165 secs
lola: 97786 markings, 363318 edges, 586 markings/sec, 170 secs
lola: 100707 markings, 373541 edges, 584 markings/sec, 175 secs
lola: 103603 markings, 384841 edges, 579 markings/sec, 180 secs
lola: 106505 markings, 395951 edges, 580 markings/sec, 185 secs
lola: 109394 markings, 407573 edges, 578 markings/sec, 190 secs
lola: 112312 markings, 417453 edges, 584 markings/sec, 195 secs
lola: 115237 markings, 427408 edges, 585 markings/sec, 200 secs
lola: 118180 markings, 436481 edges, 589 markings/sec, 205 secs
lola: 121106 markings, 445946 edges, 585 markings/sec, 210 secs
lola: 124042 markings, 454960 edges, 587 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: 330600 KB
lola: time consumption: 1118 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__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 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: 50
lola: 2033 markings, 7644 edges, 407 markings/sec, 5 secs
lola: 4971 markings, 18685 edges, 588 markings/sec, 10 secs
lola: 7868 markings, 28971 edges, 579 markings/sec, 15 secs
lola: 10794 markings, 39616 edges, 585 markings/sec, 20 secs
lola: 13753 markings, 50295 edges, 592 markings/sec, 25 secs
lola: 16649 markings, 60927 edges, 579 markings/sec, 30 secs
lola: 19607 markings, 71506 edges, 592 markings/sec, 35 secs
lola: 22581 markings, 82275 edges, 595 markings/sec, 40 secs
lola: 25455 markings, 92694 edges, 575 markings/sec, 45 secs
lola: 28416 markings, 103353 edges, 592 markings/sec, 50 secs
lola: 31361 markings, 114052 edges, 589 markings/sec, 55 secs
lola: 34319 markings, 124611 edges, 592 markings/sec, 60 secs
lola: 37280 markings, 134479 edges, 592 markings/sec, 65 secs
lola: 40207 markings, 145232 edges, 585 markings/sec, 70 secs
lola: 43130 markings, 155554 edges, 585 markings/sec, 75 secs
lola: 46087 markings, 166221 edges, 591 markings/sec, 80 secs
lola: 49047 markings, 177087 edges, 592 markings/sec, 85 secs
lola: 52003 markings, 187807 edges, 591 markings/sec, 90 secs
lola: 54994 markings, 197904 edges, 598 markings/sec, 95 secs
lola: 57978 markings, 208668 edges, 597 markings/sec, 100 secs
lola: 60938 markings, 219028 edges, 592 markings/sec, 105 secs
lola: 63859 markings, 229319 edges, 584 markings/sec, 110 secs
lola: 66696 markings, 239328 edges, 567 markings/sec, 115 secs
lola: 69637 markings, 249650 edges, 588 markings/sec, 120 secs
lola: 72589 markings, 259773 edges, 590 markings/sec, 125 secs
lola: 75459 markings, 269745 edges, 574 markings/sec, 130 secs
lola: 78401 markings, 280258 edges, 588 markings/sec, 135 secs
lola: 81324 markings, 290909 edges, 585 markings/sec, 140 secs
lola: 84268 markings, 301396 edges, 589 markings/sec, 145 secs
lola: 87214 markings, 311590 edges, 589 markings/sec, 150 secs
lola: 90153 markings, 322461 edges, 588 markings/sec, 155 secs
lola: 93116 markings, 332452 edges, 593 markings/sec, 160 secs
lola: 95959 markings, 342656 edges, 569 markings/sec, 165 secs
lola: 98891 markings, 353120 edges, 586 markings/sec, 170 secs
lola: 101752 markings, 362754 edges, 572 markings/sec, 175 secs
lola: 104694 markings, 372794 edges, 588 markings/sec, 180 secs
lola: 107620 markings, 383474 edges, 585 markings/sec, 185 secs
lola: 110567 markings, 394124 edges, 589 markings/sec, 190 secs
lola: 113508 markings, 404806 edges, 588 markings/sec, 195 secs
lola: 116441 markings, 415097 edges, 587 markings/sec, 200 secs
lola: 119291 markings, 425210 edges, 570 markings/sec, 205 secs
lola: 122208 markings, 435342 edges, 583 markings/sec, 210 secs
lola: 125130 markings, 445534 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: 334544 KB
lola: time consumption: 1340 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 223 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 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: 50
lola: 1839 markings, 5097 edges, 368 markings/sec, 5 secs
lola: 4782 markings, 13972 edges, 589 markings/sec, 10 secs
lola: 7694 markings, 22599 edges, 582 markings/sec, 15 secs
lola: 10620 markings, 32053 edges, 585 markings/sec, 20 secs
lola: 13551 markings, 40792 edges, 586 markings/sec, 25 secs
lola: 16457 markings, 49403 edges, 581 markings/sec, 30 secs
lola: 19378 markings, 58913 edges, 584 markings/sec, 35 secs
lola: 22289 markings, 67638 edges, 582 markings/sec, 40 secs
lola: 25229 markings, 76302 edges, 588 markings/sec, 45 secs
lola: 28155 markings, 85589 edges, 585 markings/sec, 50 secs
lola: 31089 markings, 94531 edges, 587 markings/sec, 55 secs
lola: 34033 markings, 103295 edges, 589 markings/sec, 60 secs
lola: 36948 markings, 112461 edges, 583 markings/sec, 65 secs
lola: 39872 markings, 121462 edges, 585 markings/sec, 70 secs
lola: 42744 markings, 129964 edges, 574 markings/sec, 75 secs
lola: 45643 markings, 138985 edges, 580 markings/sec, 80 secs
lola: 48511 markings, 148002 edges, 574 markings/sec, 85 secs
lola: 51439 markings, 156541 edges, 586 markings/sec, 90 secs
lola: 54382 markings, 165620 edges, 589 markings/sec, 95 secs
lola: 57317 markings, 174769 edges, 587 markings/sec, 100 secs
lola: 60213 markings, 183232 edges, 579 markings/sec, 105 secs
lola: 63139 markings, 192234 edges, 585 markings/sec, 110 secs
lola: 66070 markings, 201479 edges, 586 markings/sec, 115 secs
lola: 69024 markings, 210145 edges, 591 markings/sec, 120 secs
lola: 71971 markings, 219175 edges, 589 markings/sec, 125 secs
lola: 74905 markings, 228601 edges, 587 markings/sec, 130 secs
lola: 77850 markings, 237192 edges, 589 markings/sec, 135 secs
lola: 80800 markings, 245995 edges, 590 markings/sec, 140 secs
lola: 83733 markings, 255506 edges, 587 markings/sec, 145 secs
lola: 86680 markings, 264212 edges, 589 markings/sec, 150 secs
lola: 89596 markings, 272873 edges, 583 markings/sec, 155 secs
lola: 92521 markings, 282334 edges, 585 markings/sec, 160 secs
lola: 95408 markings, 290940 edges, 577 markings/sec, 165 secs
lola: 98353 markings, 299646 edges, 589 markings/sec, 170 secs
lola: 101266 markings, 309180 edges, 583 markings/sec, 175 secs
lola: 104214 markings, 317963 edges, 590 markings/sec, 180 secs
lola: 107170 markings, 326688 edges, 591 markings/sec, 185 secs
lola: 110091 markings, 335949 edges, 584 markings/sec, 190 secs
lola: 113019 markings, 344864 edges, 586 markings/sec, 195 secs
lola: 115950 markings, 353588 edges, 586 markings/sec, 200 secs
lola: 118806 markings, 362597 edges, 571 markings/sec, 205 secs
lola: 121730 markings, 371607 edges, 585 markings/sec, 210 secs
lola: 124666 markings, 380293 edges, 587 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: 341612 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__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 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: 50
lola: 2032 markings, 7648 edges, 406 markings/sec, 5 secs
lola: 5045 markings, 17868 edges, 603 markings/sec, 10 secs
lola: 8050 markings, 29104 edges, 601 markings/sec, 15 secs
lola: 11062 markings, 39444 edges, 602 markings/sec, 20 secs
lola: 14004 markings, 49714 edges, 588 markings/sec, 25 secs
lola: 16895 markings, 59923 edges, 578 markings/sec, 30 secs
lola: 19855 markings, 70728 edges, 592 markings/sec, 35 secs
lola: 22695 markings, 80523 edges, 568 markings/sec, 40 secs
lola: 25573 markings, 90552 edges, 576 markings/sec, 45 secs
lola: 28450 markings, 100727 edges, 575 markings/sec, 50 secs
lola: 31269 markings, 110109 edges, 564 markings/sec, 55 secs
lola: 34161 markings, 118839 edges, 578 markings/sec, 60 secs
lola: 36966 markings, 128502 edges, 561 markings/sec, 65 secs
lola: 39832 markings, 139418 edges, 573 markings/sec, 70 secs
lola: 42704 markings, 148359 edges, 574 markings/sec, 75 secs
lola: 45653 markings, 158168 edges, 590 markings/sec, 80 secs
lola: 48644 markings, 168010 edges, 598 markings/sec, 85 secs
lola: 51623 markings, 176867 edges, 596 markings/sec, 90 secs
lola: 54574 markings, 186985 edges, 590 markings/sec, 95 secs
lola: 57508 markings, 196851 edges, 587 markings/sec, 100 secs
lola: 60514 markings, 207830 edges, 601 markings/sec, 105 secs
lola: 63533 markings, 217968 edges, 604 markings/sec, 110 secs
lola: 66530 markings, 228963 edges, 599 markings/sec, 115 secs
lola: 69525 markings, 240078 edges, 599 markings/sec, 120 secs
lola: 72533 markings, 250511 edges, 602 markings/sec, 125 secs
lola: 75556 markings, 260777 edges, 605 markings/sec, 130 secs
lola: 78580 markings, 271038 edges, 605 markings/sec, 135 secs
lola: 81584 markings, 281793 edges, 601 markings/sec, 140 secs
lola: 84588 markings, 292505 edges, 601 markings/sec, 145 secs
lola: 87534 markings, 303214 edges, 589 markings/sec, 150 secs
lola: 90532 markings, 313270 edges, 600 markings/sec, 155 secs
lola: 93543 markings, 323571 edges, 602 markings/sec, 160 secs
lola: 96567 markings, 333637 edges, 605 markings/sec, 165 secs
lola: 99572 markings, 344086 edges, 601 markings/sec, 170 secs
lola: 102589 markings, 353528 edges, 603 markings/sec, 175 secs
lola: 105607 markings, 363284 edges, 604 markings/sec, 180 secs
lola: 108647 markings, 372664 edges, 608 markings/sec, 185 secs
lola: 111676 markings, 382624 edges, 606 markings/sec, 190 secs
lola: 114712 markings, 392240 edges, 607 markings/sec, 195 secs
lola: 117715 markings, 403494 edges, 601 markings/sec, 200 secs
lola: 120735 markings, 413905 edges, 604 markings/sec, 205 secs
lola: 123736 markings, 424860 edges, 600 markings/sec, 210 secs
lola: 126755 markings, 434892 edges, 604 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: 330420 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__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 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: 50
lola: 2095 markings, 8174 edges, 419 markings/sec, 5 secs
lola: 5126 markings, 18337 edges, 606 markings/sec, 10 secs
lola: 8173 markings, 28311 edges, 609 markings/sec, 15 secs
lola: 11218 markings, 38133 edges, 609 markings/sec, 20 secs
lola: 14265 markings, 48091 edges, 609 markings/sec, 25 secs
lola: 17317 markings, 57889 edges, 610 markings/sec, 30 secs
lola: 20360 markings, 67862 edges, 609 markings/sec, 35 secs
lola: 23398 markings, 78352 edges, 608 markings/sec, 40 secs
lola: 26441 markings, 88264 edges, 609 markings/sec, 45 secs
lola: 29481 markings, 98145 edges, 608 markings/sec, 50 secs
lola: 32503 markings, 109132 edges, 604 markings/sec, 55 secs
lola: 35537 markings, 119097 edges, 607 markings/sec, 60 secs
lola: 38583 markings, 129119 edges, 609 markings/sec, 65 secs
lola: 41594 markings, 139173 edges, 602 markings/sec, 70 secs
lola: 44509 markings, 149307 edges, 583 markings/sec, 75 secs
lola: 47514 markings, 158774 edges, 601 markings/sec, 80 secs
lola: 50531 markings, 168672 edges, 603 markings/sec, 85 secs
lola: 53566 markings, 179615 edges, 607 markings/sec, 90 secs
lola: 56618 markings, 189618 edges, 610 markings/sec, 95 secs
lola: 59626 markings, 199667 edges, 602 markings/sec, 100 secs
lola: 62665 markings, 209842 edges, 608 markings/sec, 105 secs
lola: 65667 markings, 220202 edges, 600 markings/sec, 110 secs
lola: 68676 markings, 229688 edges, 602 markings/sec, 115 secs
lola: 71720 markings, 239660 edges, 609 markings/sec, 120 secs
lola: 74750 markings, 250530 edges, 606 markings/sec, 125 secs
lola: 77796 markings, 260391 edges, 609 markings/sec, 130 secs
lola: 80831 markings, 270742 edges, 607 markings/sec, 135 secs
lola: 83863 markings, 281078 edges, 606 markings/sec, 140 secs
lola: 86900 markings, 291227 edges, 607 markings/sec, 145 secs
lola: 89942 markings, 301135 edges, 608 markings/sec, 150 secs
lola: 92978 markings, 311006 edges, 607 markings/sec, 155 secs
lola: 96009 markings, 321831 edges, 606 markings/sec, 160 secs
lola: 99063 markings, 331590 edges, 611 markings/sec, 165 secs
lola: 102094 markings, 341851 edges, 606 markings/sec, 170 secs
lola: 105134 markings, 352178 edges, 608 markings/sec, 175 secs
lola: 108174 markings, 362342 edges, 608 markings/sec, 180 secs
lola: 111225 markings, 372253 edges, 610 markings/sec, 185 secs
lola: 114264 markings, 382176 edges, 608 markings/sec, 190 secs
lola: 117314 markings, 392268 edges, 610 markings/sec, 195 secs
lola: 120368 markings, 402147 edges, 611 markings/sec, 200 secs
lola: 123399 markings, 412584 edges, 606 markings/sec, 205 secs
lola: 126448 markings, 423058 edges, 610 markings/sec, 210 secs
lola: 129472 markings, 433923 edges, 605 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: 353124 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 223 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 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: 50
lola: 2002 markings, 6873 edges, 400 markings/sec, 5 secs
lola: 4915 markings, 16873 edges, 583 markings/sec, 10 secs
lola: 7795 markings, 27325 edges, 576 markings/sec, 15 secs
lola: 10668 markings, 37932 edges, 575 markings/sec, 20 secs
lola: 13556 markings, 47792 edges, 578 markings/sec, 25 secs
lola: 16451 markings, 56944 edges, 579 markings/sec, 30 secs
lola: 19346 markings, 66492 edges, 579 markings/sec, 35 secs
lola: 22221 markings, 76718 edges, 575 markings/sec, 40 secs
lola: 25075 markings, 87667 edges, 571 markings/sec, 45 secs
lola: 27925 markings, 98727 edges, 570 markings/sec, 50 secs
lola: 30801 markings, 108566 edges, 575 markings/sec, 55 secs
lola: 33692 markings, 117738 edges, 578 markings/sec, 60 secs
lola: 36569 markings, 127548 edges, 575 markings/sec, 65 secs
lola: 39430 markings, 138068 edges, 572 markings/sec, 70 secs
lola: 42283 markings, 149189 edges, 571 markings/sec, 75 secs
lola: 45134 markings, 160095 edges, 570 markings/sec, 80 secs
lola: 47996 markings, 170778 edges, 572 markings/sec, 85 secs
lola: 50862 markings, 181672 edges, 573 markings/sec, 90 secs
lola: 53705 markings, 192879 edges, 569 markings/sec, 95 secs
lola: 56570 markings, 203410 edges, 573 markings/sec, 100 secs
lola: 59444 markings, 213952 edges, 575 markings/sec, 105 secs
lola: 62323 markings, 224163 edges, 576 markings/sec, 110 secs
lola: 65212 markings, 233815 edges, 578 markings/sec, 115 secs
lola: 68098 markings, 243468 edges, 577 markings/sec, 120 secs
lola: 70966 markings, 253958 edges, 574 markings/sec, 125 secs
lola: 73824 markings, 264963 edges, 572 markings/sec, 130 secs
lola: 76729 markings, 275221 edges, 581 markings/sec, 135 secs
lola: 79620 markings, 285575 edges, 578 markings/sec, 140 secs
lola: 82516 markings, 295767 edges, 579 markings/sec, 145 secs
lola: 85419 markings, 305185 edges, 581 markings/sec, 150 secs
lola: 88318 markings, 314786 edges, 580 markings/sec, 155 secs
lola: 91211 markings, 324629 edges, 579 markings/sec, 160 secs
lola: 94095 markings, 335106 edges, 577 markings/sec, 165 secs
lola: 96964 markings, 346528 edges, 574 markings/sec, 170 secs
lola: 99866 markings, 356206 edges, 580 markings/sec, 175 secs
lola: 102769 markings, 365802 edges, 581 markings/sec, 180 secs
lola: 105677 markings, 374900 edges, 582 markings/sec, 185 secs
lola: 108555 markings, 384796 edges, 576 markings/sec, 190 secs
lola: 111451 markings, 393684 edges, 579 markings/sec, 195 secs
lola: 114320 markings, 403182 edges, 574 markings/sec, 200 secs
lola: 117206 markings, 412264 edges, 577 markings/sec, 205 secs
lola: 120090 markings, 421444 edges, 577 markings/sec, 210 secs
lola: 122977 markings, 430083 edges, 577 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: 329804 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__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 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: 50
lola: 1944 markings, 7015 edges, 389 markings/sec, 5 secs
lola: 4805 markings, 16861 edges, 572 markings/sec, 10 secs
lola: 7668 markings, 26834 edges, 573 markings/sec, 15 secs
lola: 10514 markings, 37549 edges, 569 markings/sec, 20 secs
lola: 13358 markings, 48135 edges, 569 markings/sec, 25 secs
lola: 16201 markings, 58867 edges, 569 markings/sec, 30 secs
lola: 19042 markings, 69044 edges, 568 markings/sec, 35 secs
lola: 21879 markings, 79526 edges, 567 markings/sec, 40 secs
lola: 24730 markings, 90005 edges, 570 markings/sec, 45 secs
lola: 27573 markings, 100319 edges, 569 markings/sec, 50 secs
lola: 30400 markings, 111085 edges, 565 markings/sec, 55 secs
lola: 33252 markings, 121354 edges, 570 markings/sec, 60 secs
lola: 36091 markings, 131786 edges, 568 markings/sec, 65 secs
lola: 38959 markings, 140988 edges, 574 markings/sec, 70 secs
lola: 41834 markings, 150382 edges, 575 markings/sec, 75 secs
lola: 44718 markings, 159628 edges, 577 markings/sec, 80 secs
lola: 47580 markings, 169597 edges, 572 markings/sec, 85 secs
lola: 50448 markings, 179803 edges, 574 markings/sec, 90 secs
lola: 53328 markings, 190435 edges, 576 markings/sec, 95 secs
lola: 56205 markings, 201387 edges, 575 markings/sec, 100 secs
lola: 59084 markings, 211898 edges, 576 markings/sec, 105 secs
lola: 61957 markings, 222387 edges, 575 markings/sec, 110 secs
lola: 64835 markings, 232519 edges, 576 markings/sec, 115 secs
lola: 67718 markings, 242599 edges, 577 markings/sec, 120 secs
lola: 70629 markings, 251933 edges, 582 markings/sec, 125 secs
lola: 73535 markings, 261388 edges, 581 markings/sec, 130 secs
lola: 76428 markings, 271413 edges, 579 markings/sec, 135 secs
lola: 79308 markings, 282000 edges, 576 markings/sec, 140 secs
lola: 82177 markings, 293224 edges, 574 markings/sec, 145 secs
lola: 85050 markings, 304100 edges, 575 markings/sec, 150 secs
lola: 87926 markings, 314551 edges, 575 markings/sec, 155 secs
lola: 90814 markings, 324518 edges, 578 markings/sec, 160 secs
lola: 93673 markings, 336184 edges, 572 markings/sec, 165 secs
lola: 96562 markings, 346459 edges, 578 markings/sec, 170 secs
lola: 99438 markings, 356950 edges, 575 markings/sec, 175 secs
lola: 102346 markings, 366217 edges, 582 markings/sec, 180 secs
lola: 105240 markings, 375990 edges, 579 markings/sec, 185 secs
lola: 108136 markings, 385633 edges, 579 markings/sec, 190 secs
lola: 111040 markings, 394966 edges, 581 markings/sec, 195 secs
lola: 113933 markings, 404428 edges, 579 markings/sec, 200 secs
lola: 116819 markings, 414570 edges, 577 markings/sec, 205 secs
lola: 119702 markings, 424761 edges, 577 markings/sec, 210 secs
lola: 122563 markings, 435279 edges, 572 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: 333784 KB
lola: time consumption: 2456 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 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 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: 50
lola: 1951 markings, 6287 edges, 390 markings/sec, 5 secs
lola: 4799 markings, 16049 edges, 570 markings/sec, 10 secs
lola: 7643 markings, 25990 edges, 569 markings/sec, 15 secs
lola: 10486 markings, 35652 edges, 569 markings/sec, 20 secs
lola: 13326 markings, 45427 edges, 568 markings/sec, 25 secs
lola: 16138 markings, 55399 edges, 562 markings/sec, 30 secs
lola: 18941 markings, 65256 edges, 561 markings/sec, 35 secs
lola: 21757 markings, 74648 edges, 563 markings/sec, 40 secs
lola: 24576 markings, 83694 edges, 564 markings/sec, 45 secs
lola: 27383 markings, 93491 edges, 561 markings/sec, 50 secs
lola: 30187 markings, 103348 edges, 561 markings/sec, 55 secs
lola: 33004 markings, 112890 edges, 563 markings/sec, 60 secs
lola: 35805 markings, 122256 edges, 560 markings/sec, 65 secs
lola: 38519 markings, 131669 edges, 543 markings/sec, 70 secs
lola: 41354 markings, 141998 edges, 567 markings/sec, 75 secs
lola: 44201 markings, 151549 edges, 569 markings/sec, 80 secs
lola: 47036 markings, 161164 edges, 567 markings/sec, 85 secs
lola: 49875 markings, 170745 edges, 568 markings/sec, 90 secs
lola: 52706 markings, 180717 edges, 566 markings/sec, 95 secs
lola: 55520 markings, 191020 edges, 563 markings/sec, 100 secs
lola: 58360 markings, 200554 edges, 568 markings/sec, 105 secs
lola: 61065 markings, 210673 edges, 541 markings/sec, 110 secs
lola: 63856 markings, 220246 edges, 558 markings/sec, 115 secs
lola: 66670 markings, 230884 edges, 563 markings/sec, 120 secs
lola: 69497 markings, 240517 edges, 565 markings/sec, 125 secs
lola: 72304 markings, 249702 edges, 561 markings/sec, 130 secs
lola: 75160 markings, 259286 edges, 571 markings/sec, 135 secs
lola: 78003 markings, 269054 edges, 569 markings/sec, 140 secs
lola: 80843 markings, 278228 edges, 568 markings/sec, 145 secs
lola: 83712 markings, 287817 edges, 574 markings/sec, 150 secs
lola: 86545 markings, 297608 edges, 567 markings/sec, 155 secs
lola: 89389 markings, 307742 edges, 569 markings/sec, 160 secs
lola: 92225 markings, 317259 edges, 567 markings/sec, 165 secs
lola: 95096 markings, 327241 edges, 574 markings/sec, 170 secs
lola: 97945 markings, 338240 edges, 570 markings/sec, 175 secs
lola: 100815 markings, 348263 edges, 574 markings/sec, 180 secs
lola: 103685 markings, 358066 edges, 574 markings/sec, 185 secs
lola: 106574 markings, 367748 edges, 578 markings/sec, 190 secs
lola: 109438 markings, 377186 edges, 573 markings/sec, 195 secs
lola: 112253 markings, 386949 edges, 563 markings/sec, 200 secs
lola: 115103 markings, 397107 edges, 570 markings/sec, 205 secs
lola: 117963 markings, 406665 edges, 572 markings/sec, 210 secs
lola: 120817 markings, 416487 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: 328028 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__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 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: 50
lola: 1926 markings, 6783 edges, 385 markings/sec, 5 secs
lola: 4673 markings, 16312 edges, 549 markings/sec, 10 secs
lola: 7510 markings, 25557 edges, 567 markings/sec, 15 secs
lola: 10348 markings, 34969 edges, 568 markings/sec, 20 secs
lola: 13200 markings, 44586 edges, 570 markings/sec, 25 secs
lola: 16037 markings, 54788 edges, 567 markings/sec, 30 secs
lola: 18885 markings, 64687 edges, 570 markings/sec, 35 secs
lola: 21726 markings, 74872 edges, 568 markings/sec, 40 secs
lola: 24573 markings, 84885 edges, 569 markings/sec, 45 secs
lola: 27417 markings, 94875 edges, 569 markings/sec, 50 secs
lola: 30257 markings, 104940 edges, 568 markings/sec, 55 secs
lola: 33099 markings, 114899 edges, 568 markings/sec, 60 secs
lola: 35933 markings, 125072 edges, 567 markings/sec, 65 secs
lola: 38768 markings, 135078 edges, 567 markings/sec, 70 secs
lola: 41606 markings, 145027 edges, 568 markings/sec, 75 secs
lola: 44443 markings, 155118 edges, 567 markings/sec, 80 secs
lola: 47279 markings, 165013 edges, 567 markings/sec, 85 secs
lola: 50109 markings, 175170 edges, 566 markings/sec, 90 secs
lola: 52949 markings, 185226 edges, 568 markings/sec, 95 secs
lola: 55782 markings, 195155 edges, 567 markings/sec, 100 secs
lola: 58621 markings, 205240 edges, 568 markings/sec, 105 secs
lola: 61467 markings, 214843 edges, 569 markings/sec, 110 secs
lola: 64296 markings, 225072 edges, 566 markings/sec, 115 secs
lola: 67111 markings, 235801 edges, 563 markings/sec, 120 secs
lola: 69940 markings, 245577 edges, 566 markings/sec, 125 secs
lola: 72774 markings, 255580 edges, 567 markings/sec, 130 secs
lola: 75598 markings, 265711 edges, 565 markings/sec, 135 secs
lola: 78436 markings, 275471 edges, 568 markings/sec, 140 secs
lola: 81251 markings, 286307 edges, 563 markings/sec, 145 secs
lola: 84052 markings, 297969 edges, 560 markings/sec, 150 secs
lola: 86879 markings, 308153 edges, 565 markings/sec, 155 secs
lola: 89703 markings, 318062 edges, 565 markings/sec, 160 secs
lola: 92512 markings, 328239 edges, 562 markings/sec, 165 secs
lola: 95334 markings, 338181 edges, 564 markings/sec, 170 secs
lola: 98146 markings, 348675 edges, 562 markings/sec, 175 secs
lola: 100960 markings, 360072 edges, 563 markings/sec, 180 secs
lola: 103788 markings, 370234 edges, 566 markings/sec, 185 secs
lola: 106625 markings, 380180 edges, 567 markings/sec, 190 secs
lola: 109472 markings, 389832 edges, 569 markings/sec, 195 secs
lola: 112306 markings, 400185 edges, 567 markings/sec, 200 secs
lola: 115146 markings, 410210 edges, 568 markings/sec, 205 secs
lola: 117989 markings, 419962 edges, 569 markings/sec, 210 secs
lola: 120822 markings, 430184 edges, 567 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: 331468 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_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 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: 50
lola: 2073 markings, 7387 edges, 415 markings/sec, 5 secs
lola: 5005 markings, 18007 edges, 586 markings/sec, 10 secs
lola: 7945 markings, 28661 edges, 588 markings/sec, 15 secs
lola: 10874 markings, 39536 edges, 586 markings/sec, 20 secs
lola: 13800 markings, 50460 edges, 585 markings/sec, 25 secs
lola: 16725 markings, 60993 edges, 585 markings/sec, 30 secs
lola: 19655 markings, 71334 edges, 586 markings/sec, 35 secs
lola: 22603 markings, 80985 edges, 590 markings/sec, 40 secs
lola: 25539 markings, 91297 edges, 587 markings/sec, 45 secs
lola: 28459 markings, 102062 edges, 584 markings/sec, 50 secs
lola: 31376 markings, 112474 edges, 583 markings/sec, 55 secs
lola: 34271 markings, 123671 edges, 579 markings/sec, 60 secs
lola: 37174 markings, 134556 edges, 581 markings/sec, 65 secs
lola: 40085 markings, 145293 edges, 582 markings/sec, 70 secs
lola: 42983 markings, 156511 edges, 580 markings/sec, 75 secs
lola: 45879 markings, 167814 edges, 579 markings/sec, 80 secs
lola: 48786 markings, 179601 edges, 581 markings/sec, 85 secs
lola: 51717 markings, 189911 edges, 586 markings/sec, 90 secs
lola: 54627 markings, 201031 edges, 582 markings/sec, 95 secs
lola: 57585 markings, 210900 edges, 592 markings/sec, 100 secs
lola: 60533 markings, 221239 edges, 590 markings/sec, 105 secs
lola: 63460 markings, 231651 edges, 585 markings/sec, 110 secs
lola: 66386 markings, 242277 edges, 585 markings/sec, 115 secs
lola: 69304 markings, 253074 edges, 584 markings/sec, 120 secs
lola: 72214 markings, 264225 edges, 582 markings/sec, 125 secs
lola: 75120 markings, 275875 edges, 581 markings/sec, 130 secs
lola: 78059 markings, 286309 edges, 588 markings/sec, 135 secs
lola: 80970 markings, 297975 edges, 582 markings/sec, 140 secs
lola: 83915 markings, 307641 edges, 589 markings/sec, 145 secs
lola: 86846 markings, 317757 edges, 586 markings/sec, 150 secs
lola: 89761 markings, 328491 edges, 583 markings/sec, 155 secs
lola: 92683 markings, 338942 edges, 584 markings/sec, 160 secs
lola: 95602 markings, 349380 edges, 584 markings/sec, 165 secs
lola: 98509 markings, 360698 edges, 581 markings/sec, 170 secs
lola: 101401 markings, 371082 edges, 578 markings/sec, 175 secs
lola: 104320 markings, 381513 edges, 584 markings/sec, 180 secs
lola: 107226 markings, 393104 edges, 581 markings/sec, 185 secs
lola: 110130 markings, 404782 edges, 581 markings/sec, 190 secs
lola: 113068 markings, 414603 edges, 588 markings/sec, 195 secs
lola: 115994 markings, 424807 edges, 585 markings/sec, 200 secs
lola: 118922 markings, 434969 edges, 586 markings/sec, 205 secs
lola: 121840 markings, 445976 edges, 584 markings/sec, 210 secs
lola: 124759 markings, 457241 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: 334324 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__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 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: 50
lola: 1964 markings, 7238 edges, 393 markings/sec, 5 secs
lola: 4752 markings, 17240 edges, 558 markings/sec, 10 secs
lola: 7569 markings, 26844 edges, 563 markings/sec, 15 secs
lola: 10391 markings, 36658 edges, 564 markings/sec, 20 secs
lola: 13219 markings, 46302 edges, 566 markings/sec, 25 secs
lola: 16045 markings, 56164 edges, 565 markings/sec, 30 secs
lola: 18869 markings, 66036 edges, 565 markings/sec, 35 secs
lola: 21693 markings, 75717 edges, 565 markings/sec, 40 secs
lola: 24525 markings, 84853 edges, 566 markings/sec, 45 secs
lola: 27354 markings, 94214 edges, 566 markings/sec, 50 secs
lola: 30190 markings, 103771 edges, 567 markings/sec, 55 secs
lola: 33007 markings, 114220 edges, 563 markings/sec, 60 secs
lola: 35832 markings, 124127 edges, 565 markings/sec, 65 secs
lola: 38646 markings, 134519 edges, 563 markings/sec, 70 secs
lola: 41473 markings, 144398 edges, 565 markings/sec, 75 secs
lola: 44304 markings, 154035 edges, 566 markings/sec, 80 secs
lola: 47122 markings, 164334 edges, 564 markings/sec, 85 secs
lola: 49961 markings, 173266 edges, 568 markings/sec, 90 secs
lola: 52788 markings, 182775 edges, 565 markings/sec, 95 secs
lola: 55600 markings, 193073 edges, 562 markings/sec, 100 secs
lola: 58442 markings, 202046 edges, 568 markings/sec, 105 secs
lola: 61266 markings, 211949 edges, 565 markings/sec, 110 secs
lola: 64088 markings, 221782 edges, 564 markings/sec, 115 secs
lola: 66914 markings, 231268 edges, 565 markings/sec, 120 secs
lola: 69685 markings, 241569 edges, 554 markings/sec, 125 secs
lola: 72446 markings, 250723 edges, 552 markings/sec, 130 secs
lola: 75146 markings, 259498 edges, 540 markings/sec, 135 secs
lola: 77927 markings, 268876 edges, 556 markings/sec, 140 secs
lola: 80725 markings, 279073 edges, 560 markings/sec, 145 secs
lola: 83555 markings, 288433 edges, 566 markings/sec, 150 secs
lola: 86363 markings, 298479 edges, 562 markings/sec, 155 secs
lola: 89175 markings, 308188 edges, 562 markings/sec, 160 secs
lola: 91987 markings, 317383 edges, 562 markings/sec, 165 secs
lola: 94808 markings, 326849 edges, 564 markings/sec, 170 secs
lola: 97576 markings, 337066 edges, 554 markings/sec, 175 secs
lola: 100417 markings, 346221 edges, 568 markings/sec, 180 secs
lola: 103221 markings, 356267 edges, 561 markings/sec, 185 secs
lola: 106023 markings, 366065 edges, 560 markings/sec, 190 secs
lola: 108813 markings, 375271 edges, 558 markings/sec, 195 secs
lola: 111633 markings, 384553 edges, 564 markings/sec, 200 secs
lola: 114435 markings, 394988 edges, 560 markings/sec, 205 secs
lola: 117264 markings, 404098 edges, 566 markings/sec, 210 secs
lola: 120054 markings, 414084 edges, 558 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: 324200 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__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 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: 50
lola: 1902 markings, 6698 edges, 380 markings/sec, 5 secs
lola: 4716 markings, 16232 edges, 563 markings/sec, 10 secs
lola: 7604 markings, 26776 edges, 578 markings/sec, 15 secs
lola: 10512 markings, 37313 edges, 582 markings/sec, 20 secs
lola: 13409 markings, 47841 edges, 579 markings/sec, 25 secs
lola: 16269 markings, 58173 edges, 572 markings/sec, 30 secs
lola: 19098 markings, 68397 edges, 566 markings/sec, 35 secs
lola: 21940 markings, 78751 edges, 568 markings/sec, 40 secs
lola: 24804 markings, 89082 edges, 573 markings/sec, 45 secs
lola: 27669 markings, 99432 edges, 573 markings/sec, 50 secs
lola: 30550 markings, 109808 edges, 576 markings/sec, 55 secs
lola: 33420 markings, 119742 edges, 574 markings/sec, 60 secs
lola: 36299 markings, 129907 edges, 576 markings/sec, 65 secs
lola: 39151 markings, 140379 edges, 570 markings/sec, 70 secs
lola: 42014 markings, 150845 edges, 573 markings/sec, 75 secs
lola: 44870 markings, 161616 edges, 571 markings/sec, 80 secs
lola: 47768 markings, 171818 edges, 580 markings/sec, 85 secs
lola: 50609 markings, 181759 edges, 568 markings/sec, 90 secs
lola: 53466 markings, 191890 edges, 571 markings/sec, 95 secs
lola: 56286 markings, 202487 edges, 564 markings/sec, 100 secs
lola: 59094 markings, 213212 edges, 562 markings/sec, 105 secs
lola: 61867 markings, 223659 edges, 555 markings/sec, 110 secs
lola: 64745 markings, 233765 edges, 576 markings/sec, 115 secs
lola: 67663 markings, 244024 edges, 584 markings/sec, 120 secs
lola: 70567 markings, 254127 edges, 581 markings/sec, 125 secs
lola: 73456 markings, 264907 edges, 578 markings/sec, 130 secs
lola: 76325 markings, 276098 edges, 574 markings/sec, 135 secs
lola: 79214 markings, 286299 edges, 578 markings/sec, 140 secs
lola: 82085 markings, 296203 edges, 574 markings/sec, 145 secs
lola: 84938 markings, 306394 edges, 571 markings/sec, 150 secs
lola: 87811 markings, 317421 edges, 575 markings/sec, 155 secs
lola: 90701 markings, 328042 edges, 578 markings/sec, 160 secs
lola: 93584 markings, 338751 edges, 577 markings/sec, 165 secs
lola: 96472 markings, 349200 edges, 578 markings/sec, 170 secs
lola: 99366 markings, 359631 edges, 579 markings/sec, 175 secs
lola: 102272 markings, 369781 edges, 581 markings/sec, 180 secs
lola: 105178 markings, 380042 edges, 581 markings/sec, 185 secs
lola: 108066 markings, 391088 edges, 578 markings/sec, 190 secs
lola: 110956 markings, 401801 edges, 578 markings/sec, 195 secs
lola: 113849 markings, 412411 edges, 579 markings/sec, 200 secs
lola: 116740 markings, 422908 edges, 578 markings/sec, 205 secs
lola: 119630 markings, 433477 edges, 578 markings/sec, 210 secs
lola: 122529 markings, 443555 edges, 580 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: 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: 335720 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: 335720 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 1552598692187

--------------------
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-D50N050"
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-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 r060-ebro-155234654800236"
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 ;