About the Execution of LoLA for Diffusion2D-PT-D50N150
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 4507.680 | 3570211.00 | 3661101.00 | 495.10 | [undef] | Cannot compute |
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-155234654900254.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-D50N150, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r060-ebro-155234654900254
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 7.5M
-rw-r--r-- 1 mcc users 3.8K Feb 10 21:37 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Feb 10 21:37 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Feb 6 17:59 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 6 17:59 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.7K Feb 4 23:33 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K Feb 4 23:33 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 4 22:34 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.0K Feb 4 22:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Feb 3 07:23 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Feb 3 07:23 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.5K Jan 30 23:47 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K Jan 30 23:47 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-D50N150-UpperBounds-00
FORMULA_NAME Diffusion2D-PT-D50N150-UpperBounds-01
FORMULA_NAME Diffusion2D-PT-D50N150-UpperBounds-02
FORMULA_NAME Diffusion2D-PT-D50N150-UpperBounds-03
FORMULA_NAME Diffusion2D-PT-D50N150-UpperBounds-04
FORMULA_NAME Diffusion2D-PT-D50N150-UpperBounds-05
FORMULA_NAME Diffusion2D-PT-D50N150-UpperBounds-06
FORMULA_NAME Diffusion2D-PT-D50N150-UpperBounds-07
FORMULA_NAME Diffusion2D-PT-D50N150-UpperBounds-08
FORMULA_NAME Diffusion2D-PT-D50N150-UpperBounds-09
FORMULA_NAME Diffusion2D-PT-D50N150-UpperBounds-10
FORMULA_NAME Diffusion2D-PT-D50N150-UpperBounds-11
FORMULA_NAME Diffusion2D-PT-D50N150-UpperBounds-12
FORMULA_NAME Diffusion2D-PT-D50N150-UpperBounds-13
FORMULA_NAME Diffusion2D-PT-D50N150-UpperBounds-14
FORMULA_NAME Diffusion2D-PT-D50N150-UpperBounds-15
=== Now, execution of the tool begins
BK_START 1552600247537
info: Time: 3600 - MCC
vrfy: Checking UpperBounds @ Diffusion2D-PT-D50N150 @ 3570 seconds
vrfy: finished
info: timeLeft: 0
rslt: Output for UpperBounds @ Diffusion2D-PT-D50N150
{
"build":
{
"architecture": 64,
"assertions": false,
"build_hostname": "mcc2019",
"build_system": "x86_64-unknown-linux-gnu",
"optimizations": true,
"package_version": "2.0",
"svn_version": "3189M"
},
"call":
{
"exec_host": "mcc2019",
"markinglimit": null,
"parameters":
[
"--pnmlnet",
"model.pnml",
"--xmlformula",
"--formula=UpperBounds.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--check=modelchecking",
"--stubborn=tarjan",
"--timelimit=3570",
"--localtimelimit=0",
"--json=UpperBounds.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Thu Mar 14 21:50:47 2019
",
"timelimit": 3570
},
"child": null,
"exit":
{
"error": null,
"memory": 264148,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "UpperBounds.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*)"
},
"net":
{
"arcs": 38808,
"conflict_clusters": 2500,
"places": 2500,
"places_significant": 2499,
"singleton_clusters": 0,
"transitions": 19404
},
"result":
{
"interim_value": "unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown ",
"preliminary_value": "unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown "
},
"task":
{
"type": "compound"
}
}
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__34_3_) : MAX(cAMP__11_10_) : MAX(cAMP__47_43_) : MAX(cAMP__34_48_) : MAX(cAMP__1_40_) : MAX(cAMP__41_30_) : MAX(cAMP__4_42_) : MAX(cAMP__6_43_) : MAX(cAMP__10_10_) : MAX(cAMP__14_39_) : MAX(cAMP__19_23_) : MAX(cAMP__17_11_) : MAX(cAMP__48_3_) : MAX(cAMP__26_14_) : MAX(cAMP__26_9_) : MAX(cAMP__22_17_)
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__34_3_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__34_3_)
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: 150
lola: 2060 markings, 6642 edges, 412 markings/sec, 5 secs
lola: 5037 markings, 16330 edges, 595 markings/sec, 10 secs
lola: 8000 markings, 26084 edges, 593 markings/sec, 15 secs
lola: 10946 markings, 35548 edges, 589 markings/sec, 20 secs
lola: 13930 markings, 45029 edges, 597 markings/sec, 25 secs
lola: 16923 markings, 54078 edges, 599 markings/sec, 30 secs
lola: 19915 markings, 63103 edges, 598 markings/sec, 35 secs
lola: 22907 markings, 72225 edges, 598 markings/sec, 40 secs
lola: 25902 markings, 81199 edges, 599 markings/sec, 45 secs
lola: 28887 markings, 90608 edges, 597 markings/sec, 50 secs
lola: 31854 markings, 100430 edges, 593 markings/sec, 55 secs
lola: 34827 markings, 110240 edges, 595 markings/sec, 60 secs
lola: 37810 markings, 119347 edges, 597 markings/sec, 65 secs
lola: 40778 markings, 128971 edges, 594 markings/sec, 70 secs
lola: 43766 markings, 138106 edges, 598 markings/sec, 75 secs
lola: 46742 markings, 147435 edges, 595 markings/sec, 80 secs
lola: 49728 markings, 156670 edges, 597 markings/sec, 85 secs
lola: 52703 markings, 166216 edges, 595 markings/sec, 90 secs
lola: 55677 markings, 175727 edges, 595 markings/sec, 95 secs
lola: 58656 markings, 184639 edges, 596 markings/sec, 100 secs
lola: 61634 markings, 193679 edges, 596 markings/sec, 105 secs
lola: 64610 markings, 202933 edges, 595 markings/sec, 110 secs
lola: 67590 markings, 212073 edges, 596 markings/sec, 115 secs
lola: 70555 markings, 221500 edges, 593 markings/sec, 120 secs
lola: 73516 markings, 231404 edges, 592 markings/sec, 125 secs
lola: 76498 markings, 240662 edges, 596 markings/sec, 130 secs
lola: 79478 markings, 250108 edges, 596 markings/sec, 135 secs
lola: 82460 markings, 259362 edges, 596 markings/sec, 140 secs
lola: 85438 markings, 268747 edges, 596 markings/sec, 145 secs
lola: 88409 markings, 278370 edges, 594 markings/sec, 150 secs
lola: 91381 markings, 287520 edges, 594 markings/sec, 155 secs
lola: 94344 markings, 297010 edges, 593 markings/sec, 160 secs
lola: 97319 markings, 306346 edges, 595 markings/sec, 165 secs
lola: 100300 markings, 315061 edges, 596 markings/sec, 170 secs
lola: 103273 markings, 323894 edges, 595 markings/sec, 175 secs
lola: 106247 markings, 332929 edges, 595 markings/sec, 180 secs
lola: 109161 markings, 341745 edges, 583 markings/sec, 185 secs
lola: 112135 markings, 350488 edges, 595 markings/sec, 190 secs
lola: 115064 markings, 359941 edges, 586 markings/sec, 195 secs
lola: 118010 markings, 369132 edges, 589 markings/sec, 200 secs
lola: 120948 markings, 378437 edges, 588 markings/sec, 205 secs
lola: 123887 markings, 388306 edges, 588 markings/sec, 210 secs
lola: 126834 markings, 397138 edges, 589 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: 333448 KB
lola: time consumption: 230 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__11_10_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__11_10_)
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: 150
lola: 2075 markings, 7675 edges, 415 markings/sec, 5 secs
lola: 5031 markings, 18197 edges, 591 markings/sec, 10 secs
lola: 7997 markings, 28814 edges, 593 markings/sec, 15 secs
lola: 10954 markings, 39555 edges, 591 markings/sec, 20 secs
lola: 13898 markings, 50743 edges, 589 markings/sec, 25 secs
lola: 16819 markings, 62506 edges, 584 markings/sec, 30 secs
lola: 19767 markings, 73171 edges, 590 markings/sec, 35 secs
lola: 22713 markings, 83988 edges, 589 markings/sec, 40 secs
lola: 25636 markings, 95433 edges, 585 markings/sec, 45 secs
lola: 28574 markings, 106114 edges, 588 markings/sec, 50 secs
lola: 31532 markings, 116471 edges, 592 markings/sec, 55 secs
lola: 34482 markings, 127143 edges, 590 markings/sec, 60 secs
lola: 37449 markings, 137643 edges, 593 markings/sec, 65 secs
lola: 40421 markings, 148153 edges, 594 markings/sec, 70 secs
lola: 43381 markings, 158955 edges, 592 markings/sec, 75 secs
lola: 46332 markings, 170116 edges, 590 markings/sec, 80 secs
lola: 49253 markings, 180682 edges, 584 markings/sec, 85 secs
lola: 52189 markings, 191569 edges, 587 markings/sec, 90 secs
lola: 55141 markings, 201681 edges, 590 markings/sec, 95 secs
lola: 58084 markings, 212120 edges, 589 markings/sec, 100 secs
lola: 61031 markings, 222571 edges, 589 markings/sec, 105 secs
lola: 63986 markings, 233033 edges, 591 markings/sec, 110 secs
lola: 66938 markings, 243833 edges, 590 markings/sec, 115 secs
lola: 69889 markings, 254515 edges, 590 markings/sec, 120 secs
lola: 72865 markings, 264768 edges, 595 markings/sec, 125 secs
lola: 75829 markings, 274712 edges, 593 markings/sec, 130 secs
lola: 78791 markings, 284858 edges, 592 markings/sec, 135 secs
lola: 81742 markings, 295322 edges, 590 markings/sec, 140 secs
lola: 84679 markings, 306075 edges, 587 markings/sec, 145 secs
lola: 87629 markings, 316547 edges, 590 markings/sec, 150 secs
lola: 90573 markings, 327068 edges, 589 markings/sec, 155 secs
lola: 93506 markings, 338162 edges, 587 markings/sec, 160 secs
lola: 96462 markings, 348558 edges, 591 markings/sec, 165 secs
lola: 99426 markings, 358658 edges, 593 markings/sec, 170 secs
lola: 102372 markings, 369535 edges, 589 markings/sec, 175 secs
lola: 105304 markings, 381286 edges, 586 markings/sec, 180 secs
lola: 108253 markings, 392412 edges, 590 markings/sec, 185 secs
lola: 111212 markings, 402852 edges, 592 markings/sec, 190 secs
lola: 114162 markings, 413455 edges, 590 markings/sec, 195 secs
lola: 117086 markings, 425461 edges, 585 markings/sec, 200 secs
lola: 120042 markings, 435804 edges, 591 markings/sec, 205 secs
lola: 122991 markings, 446428 edges, 590 markings/sec, 210 secs
lola: 125925 markings, 457430 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: 342036 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__47_43_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__47_43_)
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: 150
lola: 1989 markings, 7292 edges, 398 markings/sec, 5 secs
lola: 4841 markings, 17604 edges, 570 markings/sec, 10 secs
lola: 7701 markings, 28038 edges, 572 markings/sec, 15 secs
lola: 10572 markings, 38544 edges, 574 markings/sec, 20 secs
lola: 13443 markings, 49092 edges, 574 markings/sec, 25 secs
lola: 16312 markings, 59670 edges, 574 markings/sec, 30 secs
lola: 19179 markings, 70099 edges, 573 markings/sec, 35 secs
lola: 22052 markings, 80400 edges, 575 markings/sec, 40 secs
lola: 24918 markings, 90218 edges, 573 markings/sec, 45 secs
lola: 27795 markings, 99173 edges, 575 markings/sec, 50 secs
lola: 30640 markings, 108254 edges, 569 markings/sec, 55 secs
lola: 33477 markings, 118049 edges, 567 markings/sec, 60 secs
lola: 36298 markings, 129530 edges, 564 markings/sec, 65 secs
lola: 39131 markings, 139978 edges, 567 markings/sec, 70 secs
lola: 41967 markings, 148951 edges, 567 markings/sec, 75 secs
lola: 44851 markings, 158141 edges, 577 markings/sec, 80 secs
lola: 47735 markings, 167164 edges, 577 markings/sec, 85 secs
lola: 50592 markings, 177453 edges, 571 markings/sec, 90 secs
lola: 53457 markings, 187300 edges, 573 markings/sec, 95 secs
lola: 56335 markings, 196385 edges, 576 markings/sec, 100 secs
lola: 59199 markings, 205849 edges, 573 markings/sec, 105 secs
lola: 62008 markings, 216296 edges, 562 markings/sec, 110 secs
lola: 64897 markings, 225160 edges, 578 markings/sec, 115 secs
lola: 67761 markings, 234906 edges, 573 markings/sec, 120 secs
lola: 70578 markings, 245054 edges, 563 markings/sec, 125 secs
lola: 73442 markings, 254799 edges, 573 markings/sec, 130 secs
lola: 76292 markings, 263637 edges, 570 markings/sec, 135 secs
lola: 79075 markings, 273363 edges, 557 markings/sec, 140 secs
lola: 81883 markings, 283848 edges, 562 markings/sec, 145 secs
lola: 84703 markings, 294501 edges, 564 markings/sec, 150 secs
lola: 87555 markings, 305499 edges, 570 markings/sec, 155 secs
lola: 90442 markings, 314730 edges, 577 markings/sec, 160 secs
lola: 93293 markings, 323490 edges, 570 markings/sec, 165 secs
lola: 96133 markings, 333332 edges, 568 markings/sec, 170 secs
lola: 98988 markings, 342283 edges, 571 markings/sec, 175 secs
lola: 101855 markings, 351258 edges, 573 markings/sec, 180 secs
lola: 104715 markings, 360519 edges, 572 markings/sec, 185 secs
lola: 107567 markings, 370848 edges, 570 markings/sec, 190 secs
lola: 110432 markings, 380745 edges, 573 markings/sec, 195 secs
lola: 113309 markings, 389684 edges, 575 markings/sec, 200 secs
lola: 116172 markings, 399270 edges, 573 markings/sec, 205 secs
lola: 119024 markings, 409455 edges, 570 markings/sec, 210 secs
lola: 121890 markings, 418518 edges, 573 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: 329852 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__34_48_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__34_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: 150
lola: 1829 markings, 6574 edges, 366 markings/sec, 5 secs
lola: 4560 markings, 16093 edges, 546 markings/sec, 10 secs
lola: 7301 markings, 25554 edges, 548 markings/sec, 15 secs
lola: 10079 markings, 35028 edges, 556 markings/sec, 20 secs
lola: 12852 markings, 44414 edges, 555 markings/sec, 25 secs
lola: 15629 markings, 53812 edges, 555 markings/sec, 30 secs
lola: 18390 markings, 63297 edges, 552 markings/sec, 35 secs
lola: 21184 markings, 72711 edges, 559 markings/sec, 40 secs
lola: 23932 markings, 81650 edges, 550 markings/sec, 45 secs
lola: 26686 markings, 91053 edges, 551 markings/sec, 50 secs
lola: 29441 markings, 100830 edges, 551 markings/sec, 55 secs
lola: 32193 markings, 110594 edges, 550 markings/sec, 60 secs
lola: 34870 markings, 120533 edges, 535 markings/sec, 65 secs
lola: 37647 markings, 129861 edges, 555 markings/sec, 70 secs
lola: 40359 markings, 139824 edges, 542 markings/sec, 75 secs
lola: 43131 markings, 149104 edges, 554 markings/sec, 80 secs
lola: 45903 markings, 158268 edges, 554 markings/sec, 85 secs
lola: 48632 markings, 168316 edges, 546 markings/sec, 90 secs
lola: 51398 markings, 178546 edges, 553 markings/sec, 95 secs
lola: 54174 markings, 187949 edges, 555 markings/sec, 100 secs
lola: 56957 markings, 197272 edges, 557 markings/sec, 105 secs
lola: 59744 markings, 207031 edges, 557 markings/sec, 110 secs
lola: 62538 markings, 216726 edges, 559 markings/sec, 115 secs
lola: 65346 markings, 225967 edges, 562 markings/sec, 120 secs
lola: 68135 markings, 236102 edges, 558 markings/sec, 125 secs
lola: 70888 markings, 246368 edges, 551 markings/sec, 130 secs
lola: 73671 markings, 256901 edges, 557 markings/sec, 135 secs
lola: 76455 markings, 267471 edges, 557 markings/sec, 140 secs
lola: 79193 markings, 276981 edges, 548 markings/sec, 145 secs
lola: 81961 markings, 287368 edges, 554 markings/sec, 150 secs
lola: 84742 markings, 296777 edges, 556 markings/sec, 155 secs
lola: 87488 markings, 306475 edges, 549 markings/sec, 160 secs
lola: 90280 markings, 316905 edges, 558 markings/sec, 165 secs
lola: 93076 markings, 326473 edges, 559 markings/sec, 170 secs
lola: 95874 markings, 336058 edges, 560 markings/sec, 175 secs
lola: 98659 markings, 346201 edges, 557 markings/sec, 180 secs
lola: 101441 markings, 356580 edges, 556 markings/sec, 185 secs
lola: 104229 markings, 366743 edges, 558 markings/sec, 190 secs
lola: 107006 markings, 377625 edges, 555 markings/sec, 195 secs
lola: 109809 markings, 387138 edges, 561 markings/sec, 200 secs
lola: 112594 markings, 397386 edges, 557 markings/sec, 205 secs
lola: 115353 markings, 407261 edges, 552 markings/sec, 210 secs
lola: 118136 markings, 417208 edges, 557 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: 319080 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__1_40_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__1_40_)
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: 150
lola: 2022 markings, 6795 edges, 404 markings/sec, 5 secs
lola: 4939 markings, 16156 edges, 583 markings/sec, 10 secs
lola: 7864 markings, 25551 edges, 585 markings/sec, 15 secs
lola: 10782 markings, 35003 edges, 584 markings/sec, 20 secs
lola: 13689 markings, 44846 edges, 581 markings/sec, 25 secs
lola: 16601 markings, 54557 edges, 582 markings/sec, 30 secs
lola: 19504 markings, 64148 edges, 581 markings/sec, 35 secs
lola: 22415 markings, 73905 edges, 582 markings/sec, 40 secs
lola: 25254 markings, 83156 edges, 568 markings/sec, 45 secs
lola: 28190 markings, 91619 edges, 587 markings/sec, 50 secs
lola: 31127 markings, 100435 edges, 587 markings/sec, 55 secs
lola: 34043 markings, 110283 edges, 583 markings/sec, 60 secs
lola: 36984 markings, 118961 edges, 588 markings/sec, 65 secs
lola: 39945 markings, 127462 edges, 592 markings/sec, 70 secs
lola: 42898 markings, 136157 edges, 591 markings/sec, 75 secs
lola: 45848 markings, 144929 edges, 590 markings/sec, 80 secs
lola: 48799 markings, 153724 edges, 590 markings/sec, 85 secs
lola: 51741 markings, 162548 edges, 588 markings/sec, 90 secs
lola: 54684 markings, 171518 edges, 589 markings/sec, 95 secs
lola: 57638 markings, 180096 edges, 591 markings/sec, 100 secs
lola: 60581 markings, 189399 edges, 589 markings/sec, 105 secs
lola: 63529 markings, 198229 edges, 590 markings/sec, 110 secs
lola: 66478 markings, 207007 edges, 590 markings/sec, 115 secs
lola: 69431 markings, 215669 edges, 591 markings/sec, 120 secs
lola: 72387 markings, 224119 edges, 591 markings/sec, 125 secs
lola: 75334 markings, 233087 edges, 589 markings/sec, 130 secs
lola: 78282 markings, 241680 edges, 590 markings/sec, 135 secs
lola: 81191 markings, 250352 edges, 582 markings/sec, 140 secs
lola: 84090 markings, 258800 edges, 580 markings/sec, 145 secs
lola: 87011 markings, 267878 edges, 584 markings/sec, 150 secs
lola: 89945 markings, 276426 edges, 587 markings/sec, 155 secs
lola: 92867 markings, 285295 edges, 584 markings/sec, 160 secs
lola: 95796 markings, 294543 edges, 586 markings/sec, 165 secs
lola: 98747 markings, 303006 edges, 590 markings/sec, 170 secs
lola: 101683 markings, 312066 edges, 587 markings/sec, 175 secs
lola: 104621 markings, 320448 edges, 588 markings/sec, 180 secs
lola: 107557 markings, 328844 edges, 587 markings/sec, 185 secs
lola: 110421 markings, 337296 edges, 573 markings/sec, 190 secs
lola: 113350 markings, 346060 edges, 586 markings/sec, 195 secs
lola: 116217 markings, 354706 edges, 573 markings/sec, 200 secs
lola: 119144 markings, 363194 edges, 585 markings/sec, 205 secs
lola: 122062 markings, 372329 edges, 584 markings/sec, 210 secs
lola: 124984 markings, 380760 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: 325348 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__41_30_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__41_30_)
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: 150
lola: 1902 markings, 6896 edges, 380 markings/sec, 5 secs
lola: 4784 markings, 16430 edges, 576 markings/sec, 10 secs
lola: 7644 markings, 26970 edges, 572 markings/sec, 15 secs
lola: 10516 markings, 36527 edges, 574 markings/sec, 20 secs
lola: 13372 markings, 46980 edges, 571 markings/sec, 25 secs
lola: 16172 markings, 56482 edges, 560 markings/sec, 30 secs
lola: 18988 markings, 66356 edges, 563 markings/sec, 35 secs
lola: 21863 markings, 75405 edges, 575 markings/sec, 40 secs
lola: 24587 markings, 84920 edges, 545 markings/sec, 45 secs
lola: 27325 markings, 94850 edges, 548 markings/sec, 50 secs
lola: 30134 markings, 104286 edges, 562 markings/sec, 55 secs
lola: 32964 markings, 114422 edges, 566 markings/sec, 60 secs
lola: 35796 markings, 124652 edges, 566 markings/sec, 65 secs
lola: 38612 markings, 134235 edges, 563 markings/sec, 70 secs
lola: 41482 markings, 144016 edges, 574 markings/sec, 75 secs
lola: 44363 markings, 153658 edges, 576 markings/sec, 80 secs
lola: 47246 markings, 163094 edges, 577 markings/sec, 85 secs
lola: 50124 markings, 172650 edges, 576 markings/sec, 90 secs
lola: 52981 markings, 181806 edges, 571 markings/sec, 95 secs
lola: 55836 markings, 191573 edges, 571 markings/sec, 100 secs
lola: 58666 markings, 201480 edges, 566 markings/sec, 105 secs
lola: 61533 markings, 210916 edges, 573 markings/sec, 110 secs
lola: 64393 markings, 220478 edges, 572 markings/sec, 115 secs
lola: 67246 markings, 230197 edges, 571 markings/sec, 120 secs
lola: 70112 markings, 240083 edges, 573 markings/sec, 125 secs
lola: 72968 markings, 250971 edges, 571 markings/sec, 130 secs
lola: 75842 markings, 261110 edges, 575 markings/sec, 135 secs
lola: 78713 markings, 271031 edges, 574 markings/sec, 140 secs
lola: 81579 markings, 280460 edges, 573 markings/sec, 145 secs
lola: 84436 markings, 291163 edges, 571 markings/sec, 150 secs
lola: 87308 markings, 301411 edges, 574 markings/sec, 155 secs
lola: 90173 markings, 311194 edges, 573 markings/sec, 160 secs
lola: 93038 markings, 321162 edges, 573 markings/sec, 165 secs
lola: 95896 markings, 330649 edges, 572 markings/sec, 170 secs
lola: 98747 markings, 340383 edges, 570 markings/sec, 175 secs
lola: 101596 markings, 349624 edges, 570 markings/sec, 180 secs
lola: 104460 markings, 359620 edges, 573 markings/sec, 185 secs
lola: 107339 markings, 369505 edges, 576 markings/sec, 190 secs
lola: 110148 markings, 379396 edges, 562 markings/sec, 195 secs
lola: 113019 markings, 389492 edges, 574 markings/sec, 200 secs
lola: 115929 markings, 398646 edges, 582 markings/sec, 205 secs
lola: 118812 markings, 408874 edges, 577 markings/sec, 210 secs
lola: 121656 markings, 418718 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: 332104 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__4_42_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__4_42_)
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: 150
lola: 1965 markings, 6800 edges, 393 markings/sec, 5 secs
lola: 4832 markings, 16712 edges, 573 markings/sec, 10 secs
lola: 7711 markings, 27044 edges, 576 markings/sec, 15 secs
lola: 10602 markings, 37251 edges, 578 markings/sec, 20 secs
lola: 13496 markings, 47281 edges, 579 markings/sec, 25 secs
lola: 16371 markings, 57561 edges, 575 markings/sec, 30 secs
lola: 19247 markings, 67670 edges, 575 markings/sec, 35 secs
lola: 22131 markings, 77792 edges, 577 markings/sec, 40 secs
lola: 25011 markings, 87895 edges, 576 markings/sec, 45 secs
lola: 27897 markings, 98003 edges, 577 markings/sec, 50 secs
lola: 30763 markings, 108343 edges, 573 markings/sec, 55 secs
lola: 33638 markings, 118156 edges, 575 markings/sec, 60 secs
lola: 36490 markings, 128323 edges, 570 markings/sec, 65 secs
lola: 39373 markings, 137636 edges, 577 markings/sec, 70 secs
lola: 42225 markings, 148017 edges, 570 markings/sec, 75 secs
lola: 45106 markings, 158141 edges, 576 markings/sec, 80 secs
lola: 47971 markings, 168694 edges, 573 markings/sec, 85 secs
lola: 50846 markings, 178730 edges, 575 markings/sec, 90 secs
lola: 53725 markings, 188555 edges, 576 markings/sec, 95 secs
lola: 56605 markings, 198520 edges, 576 markings/sec, 100 secs
lola: 59471 markings, 208895 edges, 573 markings/sec, 105 secs
lola: 62339 markings, 219568 edges, 574 markings/sec, 110 secs
lola: 65225 markings, 229796 edges, 577 markings/sec, 115 secs
lola: 68114 markings, 240243 edges, 578 markings/sec, 120 secs
lola: 70994 markings, 250380 edges, 576 markings/sec, 125 secs
lola: 73866 markings, 260717 edges, 574 markings/sec, 130 secs
lola: 76752 markings, 270462 edges, 577 markings/sec, 135 secs
lola: 79565 markings, 280885 edges, 563 markings/sec, 140 secs
lola: 82400 markings, 291336 edges, 567 markings/sec, 145 secs
lola: 85189 markings, 300741 edges, 558 markings/sec, 150 secs
lola: 88004 markings, 310715 edges, 563 markings/sec, 155 secs
lola: 90838 markings, 320380 edges, 567 markings/sec, 160 secs
lola: 93622 markings, 329873 edges, 557 markings/sec, 165 secs
lola: 96436 markings, 339907 edges, 563 markings/sec, 170 secs
lola: 99190 markings, 350288 edges, 551 markings/sec, 175 secs
lola: 102008 markings, 359667 edges, 564 markings/sec, 180 secs
lola: 104785 markings, 369588 edges, 555 markings/sec, 185 secs
lola: 107629 markings, 379011 edges, 569 markings/sec, 190 secs
lola: 110459 markings, 389305 edges, 566 markings/sec, 195 secs
lola: 113291 markings, 399495 edges, 566 markings/sec, 200 secs
lola: 116158 markings, 409807 edges, 573 markings/sec, 205 secs
lola: 119043 markings, 419832 edges, 577 markings/sec, 210 secs
lola: 121929 markings, 429281 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: 326720 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__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: 150
lola: 1934 markings, 6926 edges, 387 markings/sec, 5 secs
lola: 4787 markings, 17281 edges, 571 markings/sec, 10 secs
lola: 7655 markings, 27724 edges, 574 markings/sec, 15 secs
lola: 10512 markings, 38544 edges, 571 markings/sec, 20 secs
lola: 13384 markings, 48899 edges, 574 markings/sec, 25 secs
lola: 16262 markings, 58812 edges, 576 markings/sec, 30 secs
lola: 19128 markings, 69138 edges, 573 markings/sec, 35 secs
lola: 22008 markings, 78423 edges, 576 markings/sec, 40 secs
lola: 24888 markings, 87640 edges, 576 markings/sec, 45 secs
lola: 27742 markings, 98170 edges, 571 markings/sec, 50 secs
lola: 30605 markings, 108548 edges, 573 markings/sec, 55 secs
lola: 33460 markings, 119417 edges, 571 markings/sec, 60 secs
lola: 36313 markings, 129813 edges, 571 markings/sec, 65 secs
lola: 39142 markings, 140950 edges, 566 markings/sec, 70 secs
lola: 42033 markings, 149953 edges, 578 markings/sec, 75 secs
lola: 44882 markings, 160052 edges, 570 markings/sec, 80 secs
lola: 47722 markings, 170648 edges, 568 markings/sec, 85 secs
lola: 50564 markings, 180736 edges, 568 markings/sec, 90 secs
lola: 53389 markings, 191771 edges, 565 markings/sec, 95 secs
lola: 56225 markings, 202163 edges, 567 markings/sec, 100 secs
lola: 59027 markings, 213184 edges, 560 markings/sec, 105 secs
lola: 61834 markings, 224708 edges, 561 markings/sec, 110 secs
lola: 64658 markings, 235150 edges, 565 markings/sec, 115 secs
lola: 67437 markings, 246961 edges, 556 markings/sec, 120 secs
lola: 70268 markings, 257586 edges, 566 markings/sec, 125 secs
lola: 73092 markings, 268499 edges, 565 markings/sec, 130 secs
lola: 75854 markings, 278760 edges, 552 markings/sec, 135 secs
lola: 78652 markings, 289461 edges, 560 markings/sec, 140 secs
lola: 81492 markings, 300502 edges, 568 markings/sec, 145 secs
lola: 84363 markings, 309761 edges, 574 markings/sec, 150 secs
lola: 87191 markings, 319723 edges, 566 markings/sec, 155 secs
lola: 90068 markings, 328912 edges, 575 markings/sec, 160 secs
lola: 92933 markings, 338815 edges, 573 markings/sec, 165 secs
lola: 95812 markings, 348421 edges, 576 markings/sec, 170 secs
lola: 98695 markings, 357721 edges, 577 markings/sec, 175 secs
lola: 101542 markings, 368004 edges, 569 markings/sec, 180 secs
lola: 104378 markings, 378007 edges, 567 markings/sec, 185 secs
lola: 107167 markings, 388278 edges, 558 markings/sec, 190 secs
lola: 109969 markings, 399157 edges, 560 markings/sec, 195 secs
lola: 112802 markings, 408008 edges, 567 markings/sec, 200 secs
lola: 115637 markings, 416876 edges, 567 markings/sec, 205 secs
lola: 118455 markings, 426869 edges, 564 markings/sec, 210 secs
lola: 121277 markings, 436814 edges, 564 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: 330168 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__10_10_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__10_10_)
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: 150
lola: 1996 markings, 7420 edges, 399 markings/sec, 5 secs
lola: 4913 markings, 17959 edges, 583 markings/sec, 10 secs
lola: 7841 markings, 28935 edges, 586 markings/sec, 15 secs
lola: 10763 markings, 40038 edges, 584 markings/sec, 20 secs
lola: 13686 markings, 51106 edges, 585 markings/sec, 25 secs
lola: 16614 markings, 62012 edges, 586 markings/sec, 30 secs
lola: 19527 markings, 73208 edges, 583 markings/sec, 35 secs
lola: 22428 markings, 84408 edges, 580 markings/sec, 40 secs
lola: 25331 markings, 95435 edges, 581 markings/sec, 45 secs
lola: 28225 markings, 106989 edges, 579 markings/sec, 50 secs
lola: 31152 markings, 117818 edges, 585 markings/sec, 55 secs
lola: 34064 markings, 129019 edges, 582 markings/sec, 60 secs
lola: 36974 markings, 140011 edges, 582 markings/sec, 65 secs
lola: 39880 markings, 151021 edges, 581 markings/sec, 70 secs
lola: 42809 markings, 161726 edges, 586 markings/sec, 75 secs
lola: 45755 markings, 171754 edges, 589 markings/sec, 80 secs
lola: 48694 markings, 182782 edges, 588 markings/sec, 85 secs
lola: 51649 markings, 193211 edges, 591 markings/sec, 90 secs
lola: 54581 markings, 204149 edges, 586 markings/sec, 95 secs
lola: 57522 markings, 215241 edges, 588 markings/sec, 100 secs
lola: 60446 markings, 226242 edges, 585 markings/sec, 105 secs
lola: 63377 markings, 236965 edges, 586 markings/sec, 110 secs
lola: 66312 markings, 247901 edges, 587 markings/sec, 115 secs
lola: 69285 markings, 258357 edges, 595 markings/sec, 120 secs
lola: 72255 markings, 268965 edges, 594 markings/sec, 125 secs
lola: 75225 markings, 279392 edges, 594 markings/sec, 130 secs
lola: 78180 markings, 290532 edges, 591 markings/sec, 135 secs
lola: 81104 markings, 301405 edges, 585 markings/sec, 140 secs
lola: 83912 markings, 311510 edges, 562 markings/sec, 145 secs
lola: 86823 markings, 322108 edges, 582 markings/sec, 150 secs
lola: 89718 markings, 332039 edges, 579 markings/sec, 155 secs
lola: 92676 markings, 342291 edges, 592 markings/sec, 160 secs
lola: 95639 markings, 352783 edges, 593 markings/sec, 165 secs
lola: 98602 markings, 363307 edges, 593 markings/sec, 170 secs
lola: 101548 markings, 373686 edges, 589 markings/sec, 175 secs
lola: 104493 markings, 384199 edges, 589 markings/sec, 180 secs
lola: 107411 markings, 395702 edges, 584 markings/sec, 185 secs
lola: 110296 markings, 406042 edges, 577 markings/sec, 190 secs
lola: 113268 markings, 416305 edges, 594 markings/sec, 195 secs
lola: 116232 markings, 426799 edges, 593 markings/sec, 200 secs
lola: 119197 markings, 437313 edges, 593 markings/sec, 205 secs
lola: 122166 markings, 447567 edges, 594 markings/sec, 210 secs
lola: 125120 markings, 458686 edges, 591 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: 343236 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__14_39_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__14_39_)
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: 150
lola: 1933 markings, 7012 edges, 387 markings/sec, 5 secs
lola: 4774 markings, 16847 edges, 568 markings/sec, 10 secs
lola: 7593 markings, 27805 edges, 564 markings/sec, 15 secs
lola: 10451 markings, 38105 edges, 572 markings/sec, 20 secs
lola: 13312 markings, 47582 edges, 572 markings/sec, 25 secs
lola: 16176 markings, 57459 edges, 573 markings/sec, 30 secs
lola: 19024 markings, 68152 edges, 570 markings/sec, 35 secs
lola: 21880 markings, 78533 edges, 571 markings/sec, 40 secs
lola: 24741 markings, 86854 edges, 572 markings/sec, 45 secs
lola: 27613 markings, 95786 edges, 574 markings/sec, 50 secs
lola: 30468 markings, 105462 edges, 571 markings/sec, 55 secs
lola: 33316 markings, 115408 edges, 570 markings/sec, 60 secs
lola: 36187 markings, 124793 edges, 574 markings/sec, 65 secs
lola: 39031 markings, 134947 edges, 569 markings/sec, 70 secs
lola: 41877 markings, 145409 edges, 569 markings/sec, 75 secs
lola: 44732 markings, 155382 edges, 571 markings/sec, 80 secs
lola: 47623 markings, 164252 edges, 578 markings/sec, 85 secs
lola: 50523 markings, 172578 edges, 580 markings/sec, 90 secs
lola: 53385 markings, 182458 edges, 572 markings/sec, 95 secs
lola: 56263 markings, 192107 edges, 576 markings/sec, 100 secs
lola: 59116 markings, 202717 edges, 571 markings/sec, 105 secs
lola: 62010 markings, 211000 edges, 579 markings/sec, 110 secs
lola: 64894 markings, 219947 edges, 577 markings/sec, 115 secs
lola: 67753 markings, 229877 edges, 572 markings/sec, 120 secs
lola: 70611 markings, 239882 edges, 572 markings/sec, 125 secs
lola: 73494 markings, 249336 edges, 577 markings/sec, 130 secs
lola: 76365 markings, 259454 edges, 574 markings/sec, 135 secs
lola: 79265 markings, 268003 edges, 580 markings/sec, 140 secs
lola: 82146 markings, 276981 edges, 576 markings/sec, 145 secs
lola: 85017 markings, 286532 edges, 574 markings/sec, 150 secs
lola: 87894 markings, 295697 edges, 575 markings/sec, 155 secs
lola: 90744 markings, 306067 edges, 570 markings/sec, 160 secs
lola: 93576 markings, 316321 edges, 566 markings/sec, 165 secs
lola: 96404 markings, 326291 edges, 566 markings/sec, 170 secs
lola: 99232 markings, 336934 edges, 566 markings/sec, 175 secs
lola: 102034 markings, 347561 edges, 560 markings/sec, 180 secs
lola: 104821 markings, 357843 edges, 557 markings/sec, 185 secs
lola: 107676 markings, 367828 edges, 571 markings/sec, 190 secs
lola: 110495 markings, 378426 edges, 564 markings/sec, 195 secs
lola: 113298 markings, 388463 edges, 561 markings/sec, 200 secs
lola: 116197 markings, 396679 edges, 580 markings/sec, 205 secs
lola: 119072 markings, 405913 edges, 575 markings/sec, 210 secs
lola: 121895 markings, 415339 edges, 565 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: 326248 KB
lola: time consumption: 2233 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 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__19_23_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__19_23_)
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: 150
lola: 1814 markings, 6362 edges, 363 markings/sec, 5 secs
lola: 4622 markings, 16036 edges, 562 markings/sec, 10 secs
lola: 7509 markings, 25086 edges, 577 markings/sec, 15 secs
lola: 10406 markings, 34244 edges, 579 markings/sec, 20 secs
lola: 13289 markings, 43620 edges, 577 markings/sec, 25 secs
lola: 16162 markings, 53504 edges, 575 markings/sec, 30 secs
lola: 19014 markings, 64043 edges, 570 markings/sec, 35 secs
lola: 21871 markings, 74471 edges, 571 markings/sec, 40 secs
lola: 24742 markings, 84309 edges, 574 markings/sec, 45 secs
lola: 27596 markings, 94784 edges, 571 markings/sec, 50 secs
lola: 30459 markings, 104783 edges, 573 markings/sec, 55 secs
lola: 33344 markings, 114429 edges, 577 markings/sec, 60 secs
lola: 36221 markings, 124526 edges, 575 markings/sec, 65 secs
lola: 39092 markings, 135055 edges, 574 markings/sec, 70 secs
lola: 41957 markings, 145530 edges, 573 markings/sec, 75 secs
lola: 44786 markings, 157275 edges, 566 markings/sec, 80 secs
lola: 47654 markings, 167304 edges, 574 markings/sec, 85 secs
lola: 50498 markings, 177877 edges, 569 markings/sec, 90 secs
lola: 53341 markings, 188499 edges, 569 markings/sec, 95 secs
lola: 56182 markings, 199513 edges, 568 markings/sec, 100 secs
lola: 59038 markings, 209240 edges, 571 markings/sec, 105 secs
lola: 61902 markings, 218770 edges, 573 markings/sec, 110 secs
lola: 64769 markings, 228272 edges, 573 markings/sec, 115 secs
lola: 67616 markings, 238091 edges, 569 markings/sec, 120 secs
lola: 70455 markings, 246685 edges, 568 markings/sec, 125 secs
lola: 73294 markings, 255088 edges, 568 markings/sec, 130 secs
lola: 76205 markings, 263772 edges, 582 markings/sec, 135 secs
lola: 79105 markings, 273172 edges, 580 markings/sec, 140 secs
lola: 81999 markings, 282584 edges, 579 markings/sec, 145 secs
lola: 84899 markings, 291969 edges, 580 markings/sec, 150 secs
lola: 87799 markings, 300970 edges, 580 markings/sec, 155 secs
lola: 90697 markings, 310369 edges, 580 markings/sec, 160 secs
lola: 93614 markings, 319511 edges, 583 markings/sec, 165 secs
lola: 96503 markings, 330163 edges, 578 markings/sec, 170 secs
lola: 99405 markings, 339606 edges, 580 markings/sec, 175 secs
lola: 102268 markings, 348762 edges, 573 markings/sec, 180 secs
lola: 105177 markings, 357626 edges, 582 markings/sec, 185 secs
lola: 108062 markings, 367245 edges, 577 markings/sec, 190 secs
lola: 110889 markings, 376676 edges, 565 markings/sec, 195 secs
lola: 113749 markings, 385868 edges, 572 markings/sec, 200 secs
lola: 116592 markings, 395622 edges, 569 markings/sec, 205 secs
lola: 119473 markings, 404870 edges, 576 markings/sec, 210 secs
lola: 122369 markings, 413479 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: 331824 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__17_11_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__17_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: 150
lola: 2000 markings, 7264 edges, 400 markings/sec, 5 secs
lola: 4937 markings, 17584 edges, 587 markings/sec, 10 secs
lola: 7869 markings, 28644 edges, 586 markings/sec, 15 secs
lola: 10759 markings, 39411 edges, 578 markings/sec, 20 secs
lola: 13654 markings, 50392 edges, 579 markings/sec, 25 secs
lola: 16559 markings, 61836 edges, 581 markings/sec, 30 secs
lola: 19495 markings, 72242 edges, 587 markings/sec, 35 secs
lola: 22429 markings, 83168 edges, 587 markings/sec, 40 secs
lola: 25354 markings, 93665 edges, 585 markings/sec, 45 secs
lola: 28273 markings, 104048 edges, 584 markings/sec, 50 secs
lola: 31192 markings, 114655 edges, 584 markings/sec, 55 secs
lola: 34113 markings, 125083 edges, 584 markings/sec, 60 secs
lola: 37016 markings, 135134 edges, 581 markings/sec, 65 secs
lola: 39913 markings, 145042 edges, 579 markings/sec, 70 secs
lola: 42848 markings, 155673 edges, 587 markings/sec, 75 secs
lola: 45787 markings, 166468 edges, 588 markings/sec, 80 secs
lola: 48718 markings, 177522 edges, 586 markings/sec, 85 secs
lola: 51640 markings, 188426 edges, 584 markings/sec, 90 secs
lola: 54582 markings, 198813 edges, 588 markings/sec, 95 secs
lola: 57520 markings, 209575 edges, 588 markings/sec, 100 secs
lola: 60450 markings, 220927 edges, 586 markings/sec, 105 secs
lola: 63388 markings, 231664 edges, 588 markings/sec, 110 secs
lola: 66318 markings, 242525 edges, 586 markings/sec, 115 secs
lola: 69246 markings, 253185 edges, 586 markings/sec, 120 secs
lola: 72194 markings, 263485 edges, 590 markings/sec, 125 secs
lola: 75135 markings, 274297 edges, 588 markings/sec, 130 secs
lola: 78061 markings, 285437 edges, 585 markings/sec, 135 secs
lola: 80992 markings, 296484 edges, 586 markings/sec, 140 secs
lola: 83916 markings, 307611 edges, 585 markings/sec, 145 secs
lola: 86835 markings, 318790 edges, 584 markings/sec, 150 secs
lola: 89767 markings, 329329 edges, 586 markings/sec, 155 secs
lola: 92628 markings, 340164 edges, 572 markings/sec, 160 secs
lola: 95565 markings, 350854 edges, 587 markings/sec, 165 secs
lola: 98485 markings, 362203 edges, 584 markings/sec, 170 secs
lola: 101383 markings, 373333 edges, 580 markings/sec, 175 secs
lola: 104273 markings, 384015 edges, 578 markings/sec, 180 secs
lola: 107158 markings, 394391 edges, 577 markings/sec, 185 secs
lola: 110065 markings, 405013 edges, 581 markings/sec, 190 secs
lola: 112751 markings, 414793 edges, 537 markings/sec, 195 secs
lola: 115610 markings, 425367 edges, 572 markings/sec, 200 secs
lola: 118480 markings, 436254 edges, 574 markings/sec, 205 secs
lola: 121383 markings, 446774 edges, 581 markings/sec, 210 secs
lola: 124276 markings, 457645 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: 332688 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__48_3_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__48_3_)
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: 150
lola: 2013 markings, 6250 edges, 403 markings/sec, 5 secs
lola: 4982 markings, 15970 edges, 594 markings/sec, 10 secs
lola: 7984 markings, 25877 edges, 600 markings/sec, 15 secs
lola: 10935 markings, 35581 edges, 590 markings/sec, 20 secs
lola: 13918 markings, 45520 edges, 597 markings/sec, 25 secs
lola: 16861 markings, 55277 edges, 589 markings/sec, 30 secs
lola: 19833 markings, 65113 edges, 594 markings/sec, 35 secs
lola: 22824 markings, 74150 edges, 598 markings/sec, 40 secs
lola: 25801 markings, 83454 edges, 595 markings/sec, 45 secs
lola: 28713 markings, 91959 edges, 582 markings/sec, 50 secs
lola: 31690 markings, 101084 edges, 595 markings/sec, 55 secs
lola: 34613 markings, 110090 edges, 585 markings/sec, 60 secs
lola: 37577 markings, 119149 edges, 593 markings/sec, 65 secs
lola: 40535 markings, 128878 edges, 592 markings/sec, 70 secs
lola: 43535 markings, 137958 edges, 600 markings/sec, 75 secs
lola: 46532 markings, 147428 edges, 599 markings/sec, 80 secs
lola: 49533 markings, 156791 edges, 600 markings/sec, 85 secs
lola: 52529 markings, 165754 edges, 599 markings/sec, 90 secs
lola: 55523 markings, 175047 edges, 599 markings/sec, 95 secs
lola: 58509 markings, 184953 edges, 597 markings/sec, 100 secs
lola: 61509 markings, 194060 edges, 600 markings/sec, 105 secs
lola: 64502 markings, 203323 edges, 599 markings/sec, 110 secs
lola: 67477 markings, 213243 edges, 595 markings/sec, 115 secs
lola: 70477 markings, 222141 edges, 600 markings/sec, 120 secs
lola: 73433 markings, 231405 edges, 591 markings/sec, 125 secs
lola: 76425 markings, 240635 edges, 598 markings/sec, 130 secs
lola: 79443 markings, 249521 edges, 604 markings/sec, 135 secs
lola: 82444 markings, 258930 edges, 600 markings/sec, 140 secs
lola: 85440 markings, 268134 edges, 599 markings/sec, 145 secs
lola: 88429 markings, 277454 edges, 598 markings/sec, 150 secs
lola: 91414 markings, 286950 edges, 597 markings/sec, 155 secs
lola: 94398 markings, 296412 edges, 597 markings/sec, 160 secs
lola: 97411 markings, 305795 edges, 603 markings/sec, 165 secs
lola: 100425 markings, 314838 edges, 603 markings/sec, 170 secs
lola: 103432 markings, 323958 edges, 601 markings/sec, 175 secs
lola: 106417 markings, 333925 edges, 597 markings/sec, 180 secs
lola: 109408 markings, 343111 edges, 598 markings/sec, 185 secs
lola: 112402 markings, 352284 edges, 599 markings/sec, 190 secs
lola: 115390 markings, 361916 edges, 598 markings/sec, 195 secs
lola: 118386 markings, 371157 edges, 599 markings/sec, 200 secs
lola: 121377 markings, 380434 edges, 598 markings/sec, 205 secs
lola: 124358 markings, 389630 edges, 596 markings/sec, 210 secs
lola: 127352 markings, 398590 edges, 599 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: 335620 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__26_14_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__26_14_)
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: 150
lola: 2051 markings, 7177 edges, 410 markings/sec, 5 secs
lola: 4952 markings, 18429 edges, 580 markings/sec, 10 secs
lola: 7869 markings, 29216 edges, 583 markings/sec, 15 secs
lola: 10766 markings, 39963 edges, 579 markings/sec, 20 secs
lola: 13693 markings, 50593 edges, 585 markings/sec, 25 secs
lola: 16615 markings, 61215 edges, 584 markings/sec, 30 secs
lola: 19534 markings, 71802 edges, 584 markings/sec, 35 secs
lola: 22452 markings, 82189 edges, 584 markings/sec, 40 secs
lola: 25386 markings, 91449 edges, 587 markings/sec, 45 secs
lola: 28301 markings, 101547 edges, 583 markings/sec, 50 secs
lola: 31218 markings, 111697 edges, 583 markings/sec, 55 secs
lola: 34165 markings, 121294 edges, 589 markings/sec, 60 secs
lola: 37083 markings, 131763 edges, 584 markings/sec, 65 secs
lola: 40017 markings, 142092 edges, 587 markings/sec, 70 secs
lola: 42950 markings, 151975 edges, 587 markings/sec, 75 secs
lola: 45883 markings, 161760 edges, 587 markings/sec, 80 secs
lola: 48811 markings, 171870 edges, 586 markings/sec, 85 secs
lola: 51742 markings, 182409 edges, 586 markings/sec, 90 secs
lola: 54587 markings, 193041 edges, 569 markings/sec, 95 secs
lola: 57428 markings, 202333 edges, 568 markings/sec, 100 secs
lola: 60284 markings, 211944 edges, 571 markings/sec, 105 secs
lola: 63148 markings, 221628 edges, 573 markings/sec, 110 secs
lola: 66050 markings, 231266 edges, 580 markings/sec, 115 secs
lola: 68925 markings, 241071 edges, 575 markings/sec, 120 secs
lola: 71812 markings, 251562 edges, 577 markings/sec, 125 secs
lola: 74732 markings, 261998 edges, 584 markings/sec, 130 secs
lola: 77660 markings, 272171 edges, 586 markings/sec, 135 secs
lola: 80577 markings, 281883 edges, 583 markings/sec, 140 secs
lola: 83483 markings, 292351 edges, 581 markings/sec, 145 secs
lola: 86394 markings, 302966 edges, 582 markings/sec, 150 secs
lola: 89328 markings, 313061 edges, 587 markings/sec, 155 secs
lola: 92228 markings, 324061 edges, 580 markings/sec, 160 secs
lola: 95135 markings, 334202 edges, 581 markings/sec, 165 secs
lola: 98005 markings, 344542 edges, 574 markings/sec, 170 secs
lola: 100895 markings, 354836 edges, 578 markings/sec, 175 secs
lola: 103805 markings, 365762 edges, 582 markings/sec, 180 secs
lola: 106743 markings, 375798 edges, 588 markings/sec, 185 secs
lola: 109646 markings, 385576 edges, 581 markings/sec, 190 secs
lola: 112464 markings, 395348 edges, 564 markings/sec, 195 secs
lola: 115392 markings, 406090 edges, 586 markings/sec, 200 secs
lola: 118320 markings, 416674 edges, 586 markings/sec, 205 secs
lola: 121234 markings, 427151 edges, 583 markings/sec, 210 secs
lola: 124123 markings, 437403 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: 326308 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__26_9_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__26_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: 150
lola: 2042 markings, 7373 edges, 408 markings/sec, 5 secs
lola: 4984 markings, 17465 edges, 588 markings/sec, 10 secs
lola: 7913 markings, 27949 edges, 586 markings/sec, 15 secs
lola: 10853 markings, 38075 edges, 588 markings/sec, 20 secs
lola: 13779 markings, 48535 edges, 585 markings/sec, 25 secs
lola: 16698 markings, 58993 edges, 584 markings/sec, 30 secs
lola: 19619 markings, 69800 edges, 584 markings/sec, 35 secs
lola: 22556 markings, 80201 edges, 587 markings/sec, 40 secs
lola: 25492 markings, 91082 edges, 587 markings/sec, 45 secs
lola: 28430 markings, 101748 edges, 588 markings/sec, 50 secs
lola: 31366 markings, 112117 edges, 587 markings/sec, 55 secs
lola: 34306 markings, 122007 edges, 588 markings/sec, 60 secs
lola: 37251 markings, 131843 edges, 589 markings/sec, 65 secs
lola: 40179 markings, 142216 edges, 586 markings/sec, 70 secs
lola: 43117 markings, 152225 edges, 588 markings/sec, 75 secs
lola: 46055 markings, 162753 edges, 588 markings/sec, 80 secs
lola: 49006 markings, 173089 edges, 590 markings/sec, 85 secs
lola: 51962 markings, 183027 edges, 591 markings/sec, 90 secs
lola: 54899 markings, 193550 edges, 587 markings/sec, 95 secs
lola: 57819 markings, 204153 edges, 584 markings/sec, 100 secs
lola: 60757 markings, 214492 edges, 588 markings/sec, 105 secs
lola: 63690 markings, 224735 edges, 587 markings/sec, 110 secs
lola: 66612 markings, 235190 edges, 584 markings/sec, 115 secs
lola: 69520 markings, 245972 edges, 582 markings/sec, 120 secs
lola: 72442 markings, 256220 edges, 584 markings/sec, 125 secs
lola: 75371 markings, 266150 edges, 586 markings/sec, 130 secs
lola: 78278 markings, 276678 edges, 581 markings/sec, 135 secs
lola: 81161 markings, 287663 edges, 577 markings/sec, 140 secs
lola: 84070 markings, 298655 edges, 582 markings/sec, 145 secs
lola: 86969 markings, 309845 edges, 580 markings/sec, 150 secs
lola: 89884 markings, 320369 edges, 583 markings/sec, 155 secs
lola: 92801 markings, 331096 edges, 583 markings/sec, 160 secs
lola: 95720 markings, 341362 edges, 584 markings/sec, 165 secs
lola: 98655 markings, 350913 edges, 587 markings/sec, 170 secs
lola: 101582 markings, 361299 edges, 585 markings/sec, 175 secs
lola: 104517 markings, 371386 edges, 587 markings/sec, 180 secs
lola: 107463 markings, 381465 edges, 589 markings/sec, 185 secs
lola: 110397 markings, 391887 edges, 587 markings/sec, 190 secs
lola: 113292 markings, 402555 edges, 579 markings/sec, 195 secs
lola: 116186 markings, 412207 edges, 579 markings/sec, 200 secs
lola: 119088 markings, 422463 edges, 580 markings/sec, 205 secs
lola: 122000 markings, 432519 edges, 582 markings/sec, 210 secs
lola: 124810 markings, 442444 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: 331508 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__22_17_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__22_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: 150
lola: 1988 markings, 6788 edges, 398 markings/sec, 5 secs
lola: 4884 markings, 16977 edges, 579 markings/sec, 10 secs
lola: 7729 markings, 27149 edges, 569 markings/sec, 15 secs
lola: 10629 markings, 36536 edges, 580 markings/sec, 20 secs
lola: 13569 markings, 46407 edges, 588 markings/sec, 25 secs
lola: 16498 markings, 56481 edges, 586 markings/sec, 30 secs
lola: 19410 markings, 66423 edges, 582 markings/sec, 35 secs
lola: 22279 markings, 76859 edges, 574 markings/sec, 40 secs
lola: 25193 markings, 87229 edges, 583 markings/sec, 45 secs
lola: 28039 markings, 97793 edges, 569 markings/sec, 50 secs
lola: 30957 markings, 108017 edges, 584 markings/sec, 55 secs
lola: 33870 markings, 118521 edges, 583 markings/sec, 60 secs
lola: 36757 markings, 129454 edges, 577 markings/sec, 65 secs
lola: 39655 markings, 140210 edges, 580 markings/sec, 70 secs
lola: 42585 markings, 149862 edges, 586 markings/sec, 75 secs
lola: 45523 markings, 159336 edges, 588 markings/sec, 80 secs
lola: 48449 markings, 169482 edges, 585 markings/sec, 85 secs
lola: 51379 markings, 179001 edges, 586 markings/sec, 90 secs
lola: 54303 markings, 188926 edges, 585 markings/sec, 95 secs
lola: 57226 markings, 198672 edges, 585 markings/sec, 100 secs
lola: 60125 markings, 208891 edges, 580 markings/sec, 105 secs
lola: 63039 markings, 218989 edges, 583 markings/sec, 110 secs
lola: 65956 markings, 229321 edges, 583 markings/sec, 115 secs
lola: 68867 markings, 239325 edges, 582 markings/sec, 120 secs
lola: 71688 markings, 249097 edges, 564 markings/sec, 125 secs
lola: 74603 markings, 259310 edges, 583 markings/sec, 130 secs
lola: 77523 markings, 269304 edges, 584 markings/sec, 135 secs
lola: 80342 markings, 279683 edges, 564 markings/sec, 140 secs
lola: 83238 markings, 290140 edges, 579 markings/sec, 145 secs
lola: 86109 markings, 300991 edges, 574 markings/sec, 150 secs
lola: 89010 markings, 310509 edges, 580 markings/sec, 155 secs
lola: 91800 markings, 319988 edges, 558 markings/sec, 160 secs
lola: 94671 markings, 330061 edges, 574 markings/sec, 165 secs
lola: 97600 markings, 340356 edges, 586 markings/sec, 170 secs
lola: 100344 markings, 349847 edges, 549 markings/sec, 175 secs
lola: 103209 markings, 359950 edges, 573 markings/sec, 180 secs
lola: 106123 markings, 370398 edges, 583 markings/sec, 185 secs
lola: 109038 markings, 380991 edges, 583 markings/sec, 190 secs
lola: 111932 markings, 392161 edges, 579 markings/sec, 195 secs
lola: 114864 markings, 402019 edges, 586 markings/sec, 200 secs
lola: 117800 markings, 411563 edges, 587 markings/sec, 205 secs
lola: 120709 markings, 421745 edges, 582 markings/sec, 210 secs
lola: 123624 markings, 431959 edges, 583 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: 333108 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: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: memory consumption: 264148 KB
lola: time consumption: 3570 seconds
lola: lola: ========================================print data as JSON (--json)
lola: ...considering subproblem: MAX(cAMP__34_3_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__34_3_)
lola: processed formula length: 16
lola: lola: writing JSON to UpperBounds.json
0 rewrites
lola: closed JSON file UpperBounds.json
rslt: finished
BK_STOP 1552603817748
--------------------
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-D50N150"
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-D50N150, 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-155234654900254"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Diffusion2D-PT-D50N150.tgz
mv Diffusion2D-PT-D50N150 execution
cd execution
if [ "UpperBounds" = "GlobalProperties" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
if [ "UpperBounds" = "UpperBounds" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;