About the Execution of LoLA for Diffusion2D-PT-D20N150
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 4282.490 | 3570327.00 | 3668918.00 | 782.50 | [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-155234654700146.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-D20N150, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r060-ebro-155234654700146
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.3M
-rw-r--r-- 1 mcc users 4.3K Feb 10 21:33 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 10 21:33 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Feb 6 17:55 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K Feb 6 17:55 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:31 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K Feb 4 23:31 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Feb 4 22:34 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.1K Feb 4 22:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Feb 3 07:21 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Feb 3 07:21 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Jan 30 23:45 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Jan 30 23:45 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 1.2M 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-D20N150-UpperBounds-00
FORMULA_NAME Diffusion2D-PT-D20N150-UpperBounds-01
FORMULA_NAME Diffusion2D-PT-D20N150-UpperBounds-02
FORMULA_NAME Diffusion2D-PT-D20N150-UpperBounds-03
FORMULA_NAME Diffusion2D-PT-D20N150-UpperBounds-04
FORMULA_NAME Diffusion2D-PT-D20N150-UpperBounds-05
FORMULA_NAME Diffusion2D-PT-D20N150-UpperBounds-06
FORMULA_NAME Diffusion2D-PT-D20N150-UpperBounds-07
FORMULA_NAME Diffusion2D-PT-D20N150-UpperBounds-08
FORMULA_NAME Diffusion2D-PT-D20N150-UpperBounds-09
FORMULA_NAME Diffusion2D-PT-D20N150-UpperBounds-10
FORMULA_NAME Diffusion2D-PT-D20N150-UpperBounds-11
FORMULA_NAME Diffusion2D-PT-D20N150-UpperBounds-12
FORMULA_NAME Diffusion2D-PT-D20N150-UpperBounds-13
FORMULA_NAME Diffusion2D-PT-D20N150-UpperBounds-14
FORMULA_NAME Diffusion2D-PT-D20N150-UpperBounds-15
=== Now, execution of the tool begins
BK_START 1552571433001
info: Time: 3600 - MCC
vrfy: Checking UpperBounds @ Diffusion2D-PT-D20N150 @ 3570 seconds
vrfy: finished
info: timeLeft: 0
rslt: Output for UpperBounds @ Diffusion2D-PT-D20N150
{
"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 13:50:33 2019
",
"timelimit": 3570
},
"child": null,
"exit":
{
"error": null,
"memory": 329272,
"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": 5928,
"conflict_clusters": 400,
"places": 400,
"places_significant": 399,
"singleton_clusters": 0,
"transitions": 2964
},
"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: 3364/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 12800
lola: finding significant places
lola: 400 places, 2964 transitions, 399 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__16_9_) : MAX(cAMP__11_3_) : MAX(cAMP__9_3_) : MAX(cAMP__17_19_) : MAX(cAMP__12_19_) : MAX(cAMP__17_16_) : MAX(cAMP__2_17_) : MAX(cAMP__19_16_) : MAX(cAMP__13_14_) : MAX(cAMP__3_20_) : MAX(cAMP__1_9_) : MAX(cAMP__14_16_) : MAX(cAMP__8_19_) : MAX(cAMP__5_7_) : MAX(cAMP__2_16_) : MAX(cAMP__2_15_)
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__16_9_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__16_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: Structural Bound: 150
lola: 24381 markings, 79820 edges, 4876 markings/sec, 0 secs
lola: 50095 markings, 164541 edges, 5143 markings/sec, 5 secs
lola: 75756 markings, 250390 edges, 5132 markings/sec, 10 secs
lola: 99932 markings, 333421 edges, 4835 markings/sec, 15 secs
lola: 125306 markings, 420486 edges, 5075 markings/sec, 20 secs
lola: 150900 markings, 511208 edges, 5119 markings/sec, 25 secs
lola: 176727 markings, 593508 edges, 5165 markings/sec, 30 secs
lola: 202491 markings, 678899 edges, 5153 markings/sec, 35 secs
lola: 228425 markings, 759935 edges, 5187 markings/sec, 40 secs
lola: 253682 markings, 838558 edges, 5051 markings/sec, 45 secs
lola: 279173 markings, 920890 edges, 5098 markings/sec, 50 secs
lola: 304937 markings, 1008571 edges, 5153 markings/sec, 55 secs
lola: 330221 markings, 1096087 edges, 5057 markings/sec, 60 secs
lola: 355498 markings, 1176600 edges, 5055 markings/sec, 65 secs
lola: 381412 markings, 1261186 edges, 5183 markings/sec, 70 secs
lola: 407287 markings, 1343308 edges, 5175 markings/sec, 75 secs
lola: 433246 markings, 1426369 edges, 5192 markings/sec, 80 secs
lola: 459221 markings, 1511491 edges, 5195 markings/sec, 85 secs
lola: 485407 markings, 1592185 edges, 5237 markings/sec, 90 secs
lola: 511521 markings, 1675984 edges, 5223 markings/sec, 95 secs
lola: 537768 markings, 1757524 edges, 5249 markings/sec, 100 secs
lola: 563896 markings, 1840391 edges, 5226 markings/sec, 105 secs
lola: 589778 markings, 1921812 edges, 5176 markings/sec, 110 secs
lola: 615930 markings, 2003746 edges, 5230 markings/sec, 115 secs
lola: 641255 markings, 2082528 edges, 5065 markings/sec, 120 secs
lola: 666475 markings, 2162728 edges, 5044 markings/sec, 125 secs
lola: 692481 markings, 2243205 edges, 5201 markings/sec, 130 secs
lola: 718122 markings, 2324431 edges, 5128 markings/sec, 135 secs
lola: 744242 markings, 2406553 edges, 5224 markings/sec, 140 secs
lola: 770461 markings, 2488917 edges, 5244 markings/sec, 145 secs
lola: 796396 markings, 2570143 edges, 5187 markings/sec, 150 secs
lola: 822136 markings, 2651746 edges, 5148 markings/sec, 155 secs
lola: 848284 markings, 2732725 edges, 5230 markings/sec, 160 secs
lola: 874094 markings, 2816004 edges, 5162 markings/sec, 165 secs
lola: 899418 markings, 2902493 edges, 5065 markings/sec, 170 secs
lola: 925120 markings, 2982929 edges, 5140 markings/sec, 175 secs
lola: 950884 markings, 3062905 edges, 5153 markings/sec, 180 secs
lola: 976911 markings, 3148241 edges, 5205 markings/sec, 185 secs
lola: 1002873 markings, 3231478 edges, 5192 markings/sec, 190 secs
lola: 1028696 markings, 3319798 edges, 5165 markings/sec, 195 secs
lola: 1054716 markings, 3406319 edges, 5204 markings/sec, 200 secs
lola: 1080841 markings, 3488511 edges, 5225 markings/sec, 205 secs
lola: 1106856 markings, 3572419 edges, 5203 markings/sec, 210 secs
lola: 1132545 markings, 3654367 edges, 5138 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: 332512 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_3_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__11_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: Structural Bound: 150
lola: 23781 markings, 83896 edges, 4756 markings/sec, 0 secs
lola: 49211 markings, 172659 edges, 5086 markings/sec, 5 secs
lola: 74676 markings, 262975 edges, 5093 markings/sec, 10 secs
lola: 100300 markings, 353556 edges, 5125 markings/sec, 15 secs
lola: 125254 markings, 440909 edges, 4991 markings/sec, 20 secs
lola: 150826 markings, 531081 edges, 5114 markings/sec, 25 secs
lola: 176301 markings, 618784 edges, 5095 markings/sec, 30 secs
lola: 202087 markings, 707972 edges, 5157 markings/sec, 35 secs
lola: 227778 markings, 799606 edges, 5138 markings/sec, 40 secs
lola: 253389 markings, 890507 edges, 5122 markings/sec, 45 secs
lola: 279067 markings, 982648 edges, 5136 markings/sec, 50 secs
lola: 304706 markings, 1075623 edges, 5128 markings/sec, 55 secs
lola: 330490 markings, 1166100 edges, 5157 markings/sec, 60 secs
lola: 355985 markings, 1257878 edges, 5099 markings/sec, 65 secs
lola: 381704 markings, 1349794 edges, 5144 markings/sec, 70 secs
lola: 407295 markings, 1443152 edges, 5118 markings/sec, 75 secs
lola: 432969 markings, 1537506 edges, 5135 markings/sec, 80 secs
lola: 458752 markings, 1628379 edges, 5157 markings/sec, 85 secs
lola: 484507 markings, 1717631 edges, 5151 markings/sec, 90 secs
lola: 510037 markings, 1808542 edges, 5106 markings/sec, 95 secs
lola: 535383 markings, 1900180 edges, 5069 markings/sec, 100 secs
lola: 560951 markings, 1994127 edges, 5114 markings/sec, 105 secs
lola: 586589 markings, 2086982 edges, 5128 markings/sec, 110 secs
lola: 612251 markings, 2177500 edges, 5132 markings/sec, 115 secs
lola: 637911 markings, 2267535 edges, 5132 markings/sec, 120 secs
lola: 663538 markings, 2358426 edges, 5125 markings/sec, 125 secs
lola: 689071 markings, 2448436 edges, 5107 markings/sec, 130 secs
lola: 714581 markings, 2539977 edges, 5102 markings/sec, 135 secs
lola: 740283 markings, 2627611 edges, 5140 markings/sec, 140 secs
lola: 765809 markings, 2720404 edges, 5105 markings/sec, 145 secs
lola: 791338 markings, 2812358 edges, 5106 markings/sec, 150 secs
lola: 816876 markings, 2905758 edges, 5108 markings/sec, 155 secs
lola: 842644 markings, 2994374 edges, 5154 markings/sec, 160 secs
lola: 868432 markings, 3083309 edges, 5158 markings/sec, 165 secs
lola: 893973 markings, 3177303 edges, 5108 markings/sec, 170 secs
lola: 919455 markings, 3268025 edges, 5096 markings/sec, 175 secs
lola: 944922 markings, 3360855 edges, 5093 markings/sec, 180 secs
lola: 970558 markings, 3452274 edges, 5127 markings/sec, 185 secs
lola: 995726 markings, 3540885 edges, 5034 markings/sec, 190 secs
lola: 1021002 markings, 3633691 edges, 5055 markings/sec, 195 secs
lola: 1046544 markings, 3722636 edges, 5108 markings/sec, 200 secs
lola: 1072063 markings, 3809335 edges, 5104 markings/sec, 205 secs
lola: 1097660 markings, 3902861 edges, 5119 markings/sec, 210 secs
lola: 1123175 markings, 3994418 edges, 5103 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: 391940 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__9_3_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__9_3_)
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: Structural Bound: 150
lola: 24992 markings, 73973 edges, 4998 markings/sec, 0 secs
lola: 50074 markings, 149642 edges, 5016 markings/sec, 5 secs
lola: 75768 markings, 227989 edges, 5139 markings/sec, 10 secs
lola: 101355 markings, 307678 edges, 5117 markings/sec, 15 secs
lola: 126942 markings, 388853 edges, 5117 markings/sec, 20 secs
lola: 152792 markings, 466122 edges, 5170 markings/sec, 25 secs
lola: 178381 markings, 546934 edges, 5118 markings/sec, 30 secs
lola: 204041 markings, 625007 edges, 5132 markings/sec, 35 secs
lola: 229621 markings, 704859 edges, 5116 markings/sec, 40 secs
lola: 255122 markings, 786551 edges, 5100 markings/sec, 45 secs
lola: 279849 markings, 866351 edges, 4945 markings/sec, 50 secs
lola: 304628 markings, 941090 edges, 4956 markings/sec, 55 secs
lola: 329542 markings, 1015357 edges, 4983 markings/sec, 60 secs
lola: 354744 markings, 1094239 edges, 5040 markings/sec, 65 secs
lola: 380429 markings, 1172092 edges, 5137 markings/sec, 70 secs
lola: 405679 markings, 1252191 edges, 5050 markings/sec, 75 secs
lola: 431130 markings, 1330882 edges, 5090 markings/sec, 80 secs
lola: 456810 markings, 1411899 edges, 5136 markings/sec, 85 secs
lola: 482003 markings, 1488921 edges, 5039 markings/sec, 90 secs
lola: 507244 markings, 1567529 edges, 5048 markings/sec, 95 secs
lola: 531824 markings, 1643834 edges, 4916 markings/sec, 100 secs
lola: 556635 markings, 1719178 edges, 4962 markings/sec, 105 secs
lola: 582319 markings, 1795846 edges, 5137 markings/sec, 110 secs
lola: 607726 markings, 1875826 edges, 5081 markings/sec, 115 secs
lola: 632397 markings, 1953197 edges, 4934 markings/sec, 120 secs
lola: 657251 markings, 2035305 edges, 4971 markings/sec, 125 secs
lola: 682265 markings, 2116566 edges, 5003 markings/sec, 130 secs
lola: 707836 markings, 2200689 edges, 5114 markings/sec, 135 secs
lola: 733269 markings, 2284093 edges, 5087 markings/sec, 140 secs
lola: 758245 markings, 2359545 edges, 4995 markings/sec, 145 secs
lola: 783198 markings, 2437689 edges, 4991 markings/sec, 150 secs
lola: 808827 markings, 2516087 edges, 5126 markings/sec, 155 secs
lola: 834310 markings, 2598906 edges, 5097 markings/sec, 160 secs
lola: 859686 markings, 2681487 edges, 5075 markings/sec, 165 secs
lola: 885182 markings, 2761268 edges, 5099 markings/sec, 170 secs
lola: 911027 markings, 2842231 edges, 5169 markings/sec, 175 secs
lola: 936509 markings, 2920721 edges, 5096 markings/sec, 180 secs
lola: 961722 markings, 2997192 edges, 5043 markings/sec, 185 secs
lola: 986999 markings, 3074091 edges, 5055 markings/sec, 190 secs
lola: 1012379 markings, 3153442 edges, 5076 markings/sec, 195 secs
lola: 1038058 markings, 3234995 edges, 5136 markings/sec, 200 secs
lola: 1063298 markings, 3312873 edges, 5048 markings/sec, 205 secs
lola: 1088702 markings, 3395768 edges, 5081 markings/sec, 210 secs
lola: 1114230 markings, 3482025 edges, 5106 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: 383368 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__17_19_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__17_19_)
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: Structural Bound: 150
lola: 23959 markings, 82520 edges, 4792 markings/sec, 0 secs
lola: 49846 markings, 172941 edges, 5177 markings/sec, 5 secs
lola: 75695 markings, 264872 edges, 5170 markings/sec, 10 secs
lola: 101403 markings, 355351 edges, 5142 markings/sec, 15 secs
lola: 126825 markings, 445043 edges, 5084 markings/sec, 20 secs
lola: 152614 markings, 537181 edges, 5158 markings/sec, 25 secs
lola: 177958 markings, 626911 edges, 5069 markings/sec, 30 secs
lola: 203604 markings, 719974 edges, 5129 markings/sec, 35 secs
lola: 229343 markings, 810916 edges, 5148 markings/sec, 40 secs
lola: 255000 markings, 903273 edges, 5131 markings/sec, 45 secs
lola: 280558 markings, 994382 edges, 5112 markings/sec, 50 secs
lola: 306167 markings, 1084188 edges, 5122 markings/sec, 55 secs
lola: 332024 markings, 1174381 edges, 5171 markings/sec, 60 secs
lola: 357593 markings, 1266962 edges, 5114 markings/sec, 65 secs
lola: 383467 markings, 1360472 edges, 5175 markings/sec, 70 secs
lola: 409254 markings, 1453087 edges, 5157 markings/sec, 75 secs
lola: 435056 markings, 1542171 edges, 5160 markings/sec, 80 secs
lola: 460868 markings, 1633423 edges, 5162 markings/sec, 85 secs
lola: 486597 markings, 1723592 edges, 5146 markings/sec, 90 secs
lola: 511750 markings, 1814455 edges, 5031 markings/sec, 95 secs
lola: 537231 markings, 1904412 edges, 5096 markings/sec, 100 secs
lola: 562573 markings, 1995676 edges, 5068 markings/sec, 105 secs
lola: 586739 markings, 2080848 edges, 4833 markings/sec, 110 secs
lola: 612106 markings, 2167339 edges, 5073 markings/sec, 115 secs
lola: 637803 markings, 2259399 edges, 5139 markings/sec, 120 secs
lola: 663540 markings, 2348193 edges, 5147 markings/sec, 125 secs
lola: 689103 markings, 2439017 edges, 5113 markings/sec, 130 secs
lola: 714682 markings, 2531727 edges, 5116 markings/sec, 135 secs
lola: 740398 markings, 2620100 edges, 5143 markings/sec, 140 secs
lola: 766181 markings, 2710515 edges, 5157 markings/sec, 145 secs
lola: 791851 markings, 2803294 edges, 5134 markings/sec, 150 secs
lola: 817342 markings, 2897566 edges, 5098 markings/sec, 155 secs
lola: 842998 markings, 2989346 edges, 5131 markings/sec, 160 secs
lola: 868586 markings, 3083810 edges, 5118 markings/sec, 165 secs
lola: 894302 markings, 3175660 edges, 5143 markings/sec, 170 secs
lola: 920021 markings, 3270874 edges, 5144 markings/sec, 175 secs
lola: 945768 markings, 3364286 edges, 5149 markings/sec, 180 secs
lola: 971599 markings, 3455726 edges, 5166 markings/sec, 185 secs
lola: 997346 markings, 3549794 edges, 5149 markings/sec, 190 secs
lola: 1023100 markings, 3643911 edges, 5151 markings/sec, 195 secs
lola: 1048966 markings, 3735500 edges, 5173 markings/sec, 200 secs
lola: 1074800 markings, 3827942 edges, 5167 markings/sec, 205 secs
lola: 1100759 markings, 3917087 edges, 5192 markings/sec, 210 secs
lola: 1126689 markings, 4008211 edges, 5186 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: 332632 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__12_19_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__12_19_)
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: Structural Bound: 150
lola: 24201 markings, 81080 edges, 4840 markings/sec, 0 secs
lola: 49356 markings, 163550 edges, 5031 markings/sec, 5 secs
lola: 74658 markings, 244802 edges, 5060 markings/sec, 10 secs
lola: 100203 markings, 330723 edges, 5109 markings/sec, 15 secs
lola: 125084 markings, 410675 edges, 4976 markings/sec, 20 secs
lola: 150414 markings, 493556 edges, 5066 markings/sec, 25 secs
lola: 175731 markings, 574461 edges, 5063 markings/sec, 30 secs
lola: 201279 markings, 654122 edges, 5110 markings/sec, 35 secs
lola: 226893 markings, 735899 edges, 5123 markings/sec, 40 secs
lola: 251778 markings, 818773 edges, 4977 markings/sec, 45 secs
lola: 276785 markings, 903974 edges, 5001 markings/sec, 50 secs
lola: 302434 markings, 985786 edges, 5130 markings/sec, 55 secs
lola: 328098 markings, 1071047 edges, 5133 markings/sec, 60 secs
lola: 353734 markings, 1156453 edges, 5127 markings/sec, 65 secs
lola: 379342 markings, 1241538 edges, 5122 markings/sec, 70 secs
lola: 404947 markings, 1323292 edges, 5121 markings/sec, 75 secs
lola: 430433 markings, 1409751 edges, 5097 markings/sec, 80 secs
lola: 455954 markings, 1493921 edges, 5104 markings/sec, 85 secs
lola: 481356 markings, 1581376 edges, 5080 markings/sec, 90 secs
lola: 506960 markings, 1666602 edges, 5121 markings/sec, 95 secs
lola: 532569 markings, 1752322 edges, 5122 markings/sec, 100 secs
lola: 558029 markings, 1833603 edges, 5092 markings/sec, 105 secs
lola: 583665 markings, 1914195 edges, 5127 markings/sec, 110 secs
lola: 609164 markings, 2001142 edges, 5100 markings/sec, 115 secs
lola: 634764 markings, 2085540 edges, 5120 markings/sec, 120 secs
lola: 660364 markings, 2167804 edges, 5120 markings/sec, 125 secs
lola: 685823 markings, 2253802 edges, 5092 markings/sec, 130 secs
lola: 711491 markings, 2335790 edges, 5134 markings/sec, 135 secs
lola: 737247 markings, 2417117 edges, 5151 markings/sec, 140 secs
lola: 762978 markings, 2500293 edges, 5146 markings/sec, 145 secs
lola: 788700 markings, 2582436 edges, 5144 markings/sec, 150 secs
lola: 814383 markings, 2664142 edges, 5137 markings/sec, 155 secs
lola: 839976 markings, 2748800 edges, 5119 markings/sec, 160 secs
lola: 865641 markings, 2831221 edges, 5133 markings/sec, 165 secs
lola: 891164 markings, 2917042 edges, 5105 markings/sec, 170 secs
lola: 916884 markings, 2999218 edges, 5144 markings/sec, 175 secs
lola: 942642 markings, 3079576 edges, 5152 markings/sec, 180 secs
lola: 968109 markings, 3166396 edges, 5093 markings/sec, 185 secs
lola: 993663 markings, 3249533 edges, 5111 markings/sec, 190 secs
lola: 1019236 markings, 3332553 edges, 5115 markings/sec, 195 secs
lola: 1044694 markings, 3417957 edges, 5092 markings/sec, 200 secs
lola: 1070084 markings, 3504647 edges, 5078 markings/sec, 205 secs
lola: 1095753 markings, 3584906 edges, 5134 markings/sec, 210 secs
lola: 1121425 markings, 3666445 edges, 5134 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: 326812 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__17_16_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__17_16_)
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: Structural Bound: 150
lola: 25140 markings, 91975 edges, 5028 markings/sec, 0 secs
lola: 51059 markings, 184981 edges, 5184 markings/sec, 5 secs
lola: 76916 markings, 280523 edges, 5171 markings/sec, 10 secs
lola: 102898 markings, 374547 edges, 5196 markings/sec, 15 secs
lola: 128799 markings, 469658 edges, 5180 markings/sec, 20 secs
lola: 154719 markings, 562137 edges, 5184 markings/sec, 25 secs
lola: 180658 markings, 654100 edges, 5188 markings/sec, 30 secs
lola: 206245 markings, 745668 edges, 5117 markings/sec, 35 secs
lola: 231886 markings, 839006 edges, 5128 markings/sec, 40 secs
lola: 257821 markings, 931997 edges, 5187 markings/sec, 45 secs
lola: 283760 markings, 1025318 edges, 5188 markings/sec, 50 secs
lola: 309297 markings, 1120230 edges, 5107 markings/sec, 55 secs
lola: 334618 markings, 1213301 edges, 5064 markings/sec, 60 secs
lola: 360073 markings, 1307428 edges, 5091 markings/sec, 65 secs
lola: 385792 markings, 1397555 edges, 5144 markings/sec, 70 secs
lola: 411702 markings, 1491772 edges, 5182 markings/sec, 75 secs
lola: 437711 markings, 1584376 edges, 5202 markings/sec, 80 secs
lola: 463610 markings, 1678088 edges, 5180 markings/sec, 85 secs
lola: 489555 markings, 1768510 edges, 5189 markings/sec, 90 secs
lola: 515510 markings, 1859171 edges, 5191 markings/sec, 95 secs
lola: 541362 markings, 1949255 edges, 5170 markings/sec, 100 secs
lola: 567306 markings, 2039871 edges, 5189 markings/sec, 105 secs
lola: 593276 markings, 2131839 edges, 5194 markings/sec, 110 secs
lola: 619145 markings, 2220961 edges, 5174 markings/sec, 115 secs
lola: 644992 markings, 2311139 edges, 5169 markings/sec, 120 secs
lola: 670807 markings, 2401799 edges, 5163 markings/sec, 125 secs
lola: 696673 markings, 2490631 edges, 5173 markings/sec, 130 secs
lola: 722479 markings, 2582181 edges, 5161 markings/sec, 135 secs
lola: 748243 markings, 2675068 edges, 5153 markings/sec, 140 secs
lola: 774086 markings, 2763637 edges, 5169 markings/sec, 145 secs
lola: 799692 markings, 2854556 edges, 5121 markings/sec, 150 secs
lola: 825398 markings, 2943407 edges, 5141 markings/sec, 155 secs
lola: 850912 markings, 3033818 edges, 5103 markings/sec, 160 secs
lola: 876426 markings, 3123400 edges, 5103 markings/sec, 165 secs
lola: 902043 markings, 3213090 edges, 5123 markings/sec, 170 secs
lola: 927895 markings, 3304210 edges, 5170 markings/sec, 175 secs
lola: 953504 markings, 3402676 edges, 5122 markings/sec, 180 secs
lola: 979283 markings, 3495642 edges, 5156 markings/sec, 185 secs
lola: 1005057 markings, 3589258 edges, 5155 markings/sec, 190 secs
lola: 1030926 markings, 3679872 edges, 5174 markings/sec, 195 secs
lola: 1056611 markings, 3774030 edges, 5137 markings/sec, 200 secs
lola: 1082614 markings, 3861931 edges, 5201 markings/sec, 205 secs
lola: 1108567 markings, 3954407 edges, 5191 markings/sec, 210 secs
lola: 1134524 markings, 4044475 edges, 5191 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: 335424 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__2_17_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__2_17_)
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: Structural Bound: 150
lola: 25008 markings, 80621 edges, 5002 markings/sec, 0 secs
lola: 51383 markings, 163523 edges, 5275 markings/sec, 5 secs
lola: 77662 markings, 247899 edges, 5256 markings/sec, 10 secs
lola: 103593 markings, 332393 edges, 5186 markings/sec, 15 secs
lola: 129912 markings, 413035 edges, 5264 markings/sec, 20 secs
lola: 156449 markings, 494700 edges, 5307 markings/sec, 25 secs
lola: 182825 markings, 578275 edges, 5275 markings/sec, 30 secs
lola: 209067 markings, 665482 edges, 5248 markings/sec, 35 secs
lola: 235166 markings, 749781 edges, 5220 markings/sec, 40 secs
lola: 261012 markings, 834514 edges, 5169 markings/sec, 45 secs
lola: 286590 markings, 916939 edges, 5116 markings/sec, 50 secs
lola: 311963 markings, 1001368 edges, 5075 markings/sec, 55 secs
lola: 337261 markings, 1081917 edges, 5060 markings/sec, 60 secs
lola: 362822 markings, 1161578 edges, 5112 markings/sec, 65 secs
lola: 388909 markings, 1242356 edges, 5217 markings/sec, 70 secs
lola: 414653 markings, 1322402 edges, 5149 markings/sec, 75 secs
lola: 440440 markings, 1406842 edges, 5157 markings/sec, 80 secs
lola: 466298 markings, 1493667 edges, 5172 markings/sec, 85 secs
lola: 492438 markings, 1575272 edges, 5228 markings/sec, 90 secs
lola: 518507 markings, 1659384 edges, 5214 markings/sec, 95 secs
lola: 544391 markings, 1741496 edges, 5177 markings/sec, 100 secs
lola: 570012 markings, 1824011 edges, 5124 markings/sec, 105 secs
lola: 595880 markings, 1906055 edges, 5174 markings/sec, 110 secs
lola: 621970 markings, 1991992 edges, 5218 markings/sec, 115 secs
lola: 647428 markings, 2073806 edges, 5092 markings/sec, 120 secs
lola: 672986 markings, 2153822 edges, 5112 markings/sec, 125 secs
lola: 698625 markings, 2231458 edges, 5128 markings/sec, 130 secs
lola: 724525 markings, 2315049 edges, 5180 markings/sec, 135 secs
lola: 750508 markings, 2398071 edges, 5197 markings/sec, 140 secs
lola: 776594 markings, 2478581 edges, 5217 markings/sec, 145 secs
lola: 802589 markings, 2559533 edges, 5199 markings/sec, 150 secs
lola: 828801 markings, 2641072 edges, 5242 markings/sec, 155 secs
lola: 855015 markings, 2725697 edges, 5243 markings/sec, 160 secs
lola: 881182 markings, 2809472 edges, 5233 markings/sec, 165 secs
lola: 907668 markings, 2892063 edges, 5297 markings/sec, 170 secs
lola: 934000 markings, 2976862 edges, 5266 markings/sec, 175 secs
lola: 960140 markings, 3060525 edges, 5228 markings/sec, 180 secs
lola: 986245 markings, 3144573 edges, 5221 markings/sec, 185 secs
lola: 1012449 markings, 3231575 edges, 5241 markings/sec, 190 secs
lola: 1038676 markings, 3314233 edges, 5245 markings/sec, 195 secs
lola: 1064799 markings, 3396911 edges, 5225 markings/sec, 200 secs
lola: 1090917 markings, 3479349 edges, 5224 markings/sec, 205 secs
lola: 1117147 markings, 3562057 edges, 5246 markings/sec, 210 secs
lola: 1143432 markings, 3645718 edges, 5257 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: 335708 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__19_16_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__19_16_)
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: Structural Bound: 150
lola: 25173 markings, 85177 edges, 5035 markings/sec, 0 secs
lola: 51096 markings, 173317 edges, 5185 markings/sec, 5 secs
lola: 77369 markings, 262611 edges, 5255 markings/sec, 10 secs
lola: 103569 markings, 353336 edges, 5240 markings/sec, 15 secs
lola: 129577 markings, 445884 edges, 5202 markings/sec, 20 secs
lola: 155411 markings, 535281 edges, 5167 markings/sec, 25 secs
lola: 181643 markings, 623552 edges, 5246 markings/sec, 30 secs
lola: 207777 markings, 714933 edges, 5227 markings/sec, 35 secs
lola: 233954 markings, 805798 edges, 5235 markings/sec, 40 secs
lola: 260167 markings, 895321 edges, 5243 markings/sec, 45 secs
lola: 286310 markings, 984248 edges, 5229 markings/sec, 50 secs
lola: 312465 markings, 1074034 edges, 5231 markings/sec, 55 secs
lola: 338644 markings, 1165581 edges, 5236 markings/sec, 60 secs
lola: 364615 markings, 1256968 edges, 5194 markings/sec, 65 secs
lola: 390645 markings, 1347682 edges, 5206 markings/sec, 70 secs
lola: 416758 markings, 1436445 edges, 5223 markings/sec, 75 secs
lola: 442848 markings, 1528854 edges, 5218 markings/sec, 80 secs
lola: 468466 markings, 1616030 edges, 5124 markings/sec, 85 secs
lola: 494548 markings, 1705995 edges, 5216 markings/sec, 90 secs
lola: 520382 markings, 1798517 edges, 5167 markings/sec, 95 secs
lola: 545789 markings, 1886806 edges, 5081 markings/sec, 100 secs
lola: 571808 markings, 1978508 edges, 5204 markings/sec, 105 secs
lola: 597867 markings, 2068609 edges, 5212 markings/sec, 110 secs
lola: 623871 markings, 2161759 edges, 5201 markings/sec, 115 secs
lola: 649726 markings, 2253967 edges, 5171 markings/sec, 120 secs
lola: 675345 markings, 2347510 edges, 5124 markings/sec, 125 secs
lola: 700771 markings, 2442587 edges, 5085 markings/sec, 130 secs
lola: 726466 markings, 2539668 edges, 5139 markings/sec, 135 secs
lola: 752547 markings, 2631937 edges, 5216 markings/sec, 140 secs
lola: 778608 markings, 2726870 edges, 5212 markings/sec, 145 secs
lola: 804863 markings, 2817232 edges, 5251 markings/sec, 150 secs
lola: 830845 markings, 2913418 edges, 5196 markings/sec, 155 secs
lola: 856819 markings, 3008403 edges, 5195 markings/sec, 160 secs
lola: 882769 markings, 3103934 edges, 5190 markings/sec, 165 secs
lola: 908356 markings, 3195566 edges, 5117 markings/sec, 170 secs
lola: 934474 markings, 3286845 edges, 5224 markings/sec, 175 secs
lola: 960519 markings, 3379332 edges, 5209 markings/sec, 180 secs
lola: 986422 markings, 3476641 edges, 5181 markings/sec, 185 secs
lola: 1012488 markings, 3573134 edges, 5213 markings/sec, 190 secs
lola: 1038537 markings, 3669908 edges, 5210 markings/sec, 195 secs
lola: 1064749 markings, 3761056 edges, 5242 markings/sec, 200 secs
lola: 1091003 markings, 3852179 edges, 5251 markings/sec, 205 secs
lola: 1116909 markings, 3943819 edges, 5181 markings/sec, 210 secs
lola: 1142884 markings, 4037108 edges, 5195 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: 358280 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__13_14_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__13_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: Structural Bound: 150
lola: 24513 markings, 76976 edges, 4903 markings/sec, 0 secs
lola: 49851 markings, 160380 edges, 5068 markings/sec, 5 secs
lola: 75395 markings, 244845 edges, 5109 markings/sec, 10 secs
lola: 101157 markings, 335986 edges, 5152 markings/sec, 15 secs
lola: 127040 markings, 420111 edges, 5177 markings/sec, 20 secs
lola: 152438 markings, 503262 edges, 5080 markings/sec, 25 secs
lola: 178220 markings, 590871 edges, 5156 markings/sec, 30 secs
lola: 203604 markings, 680368 edges, 5077 markings/sec, 35 secs
lola: 228937 markings, 770295 edges, 5067 markings/sec, 40 secs
lola: 253782 markings, 860863 edges, 4969 markings/sec, 45 secs
lola: 279475 markings, 948772 edges, 5139 markings/sec, 50 secs
lola: 304602 markings, 1040392 edges, 5025 markings/sec, 55 secs
lola: 329619 markings, 1129898 edges, 5003 markings/sec, 60 secs
lola: 354547 markings, 1225087 edges, 4986 markings/sec, 65 secs
lola: 380455 markings, 1311714 edges, 5182 markings/sec, 70 secs
lola: 406332 markings, 1400092 edges, 5175 markings/sec, 75 secs
lola: 432122 markings, 1487808 edges, 5158 markings/sec, 80 secs
lola: 457623 markings, 1570174 edges, 5100 markings/sec, 85 secs
lola: 482362 markings, 1653184 edges, 4948 markings/sec, 90 secs
lola: 507186 markings, 1740839 edges, 4965 markings/sec, 95 secs
lola: 532607 markings, 1828081 edges, 5084 markings/sec, 100 secs
lola: 558052 markings, 1914778 edges, 5089 markings/sec, 105 secs
lola: 583630 markings, 1999855 edges, 5116 markings/sec, 110 secs
lola: 608917 markings, 2092094 edges, 5057 markings/sec, 115 secs
lola: 634578 markings, 2184558 edges, 5132 markings/sec, 120 secs
lola: 660232 markings, 2277384 edges, 5131 markings/sec, 125 secs
lola: 686145 markings, 2363082 edges, 5183 markings/sec, 130 secs
lola: 712031 markings, 2451542 edges, 5177 markings/sec, 135 secs
lola: 737943 markings, 2537932 edges, 5182 markings/sec, 140 secs
lola: 763612 markings, 2632440 edges, 5134 markings/sec, 145 secs
lola: 789421 markings, 2722380 edges, 5162 markings/sec, 150 secs
lola: 815279 markings, 2808560 edges, 5172 markings/sec, 155 secs
lola: 841252 markings, 2892241 edges, 5195 markings/sec, 160 secs
lola: 866965 markings, 2983520 edges, 5143 markings/sec, 165 secs
lola: 892805 markings, 3069223 edges, 5168 markings/sec, 170 secs
lola: 918595 markings, 3156217 edges, 5158 markings/sec, 175 secs
lola: 944132 markings, 3252199 edges, 5107 markings/sec, 180 secs
lola: 969687 markings, 3347775 edges, 5111 markings/sec, 185 secs
lola: 995317 markings, 3440945 edges, 5126 markings/sec, 190 secs
lola: 1020918 markings, 3535251 edges, 5120 markings/sec, 195 secs
lola: 1046705 markings, 3622513 edges, 5157 markings/sec, 200 secs
lola: 1072415 markings, 3711233 edges, 5142 markings/sec, 205 secs
lola: 1097453 markings, 3805166 edges, 5008 markings/sec, 210 secs
lola: 1122933 markings, 3896186 edges, 5096 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: 365632 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__3_20_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__3_20_)
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: Structural Bound: 150
lola: 25668 markings, 77302 edges, 5134 markings/sec, 0 secs
lola: 52262 markings, 158516 edges, 5319 markings/sec, 5 secs
lola: 78803 markings, 241277 edges, 5308 markings/sec, 10 secs
lola: 105349 markings, 323341 edges, 5309 markings/sec, 15 secs
lola: 131890 markings, 402303 edges, 5308 markings/sec, 20 secs
lola: 158246 markings, 484119 edges, 5271 markings/sec, 25 secs
lola: 184763 markings, 564819 edges, 5303 markings/sec, 30 secs
lola: 211095 markings, 644609 edges, 5266 markings/sec, 35 secs
lola: 237274 markings, 724751 edges, 5236 markings/sec, 40 secs
lola: 263373 markings, 805499 edges, 5220 markings/sec, 45 secs
lola: 289634 markings, 884588 edges, 5252 markings/sec, 50 secs
lola: 315562 markings, 964397 edges, 5186 markings/sec, 55 secs
lola: 341264 markings, 1043676 edges, 5140 markings/sec, 60 secs
lola: 367279 markings, 1122608 edges, 5203 markings/sec, 65 secs
lola: 393404 markings, 1205100 edges, 5225 markings/sec, 70 secs
lola: 419630 markings, 1285211 edges, 5245 markings/sec, 75 secs
lola: 445934 markings, 1364589 edges, 5261 markings/sec, 80 secs
lola: 472283 markings, 1443702 edges, 5270 markings/sec, 85 secs
lola: 498545 markings, 1523764 edges, 5252 markings/sec, 90 secs
lola: 524833 markings, 1603776 edges, 5258 markings/sec, 95 secs
lola: 551108 markings, 1683121 edges, 5255 markings/sec, 100 secs
lola: 577429 markings, 1760877 edges, 5264 markings/sec, 105 secs
lola: 603664 markings, 1841622 edges, 5247 markings/sec, 110 secs
lola: 629998 markings, 1920318 edges, 5267 markings/sec, 115 secs
lola: 656231 markings, 1999776 edges, 5247 markings/sec, 120 secs
lola: 682375 markings, 2081353 edges, 5229 markings/sec, 125 secs
lola: 707718 markings, 2159235 edges, 5069 markings/sec, 130 secs
lola: 733148 markings, 2238273 edges, 5086 markings/sec, 135 secs
lola: 759355 markings, 2317370 edges, 5241 markings/sec, 140 secs
lola: 785575 markings, 2395597 edges, 5244 markings/sec, 145 secs
lola: 811743 markings, 2472286 edges, 5234 markings/sec, 150 secs
lola: 837476 markings, 2547094 edges, 5147 markings/sec, 155 secs
lola: 863664 markings, 2625449 edges, 5238 markings/sec, 160 secs
lola: 889771 markings, 2705093 edges, 5221 markings/sec, 165 secs
lola: 915632 markings, 2784888 edges, 5172 markings/sec, 170 secs
lola: 941472 markings, 2862004 edges, 5168 markings/sec, 175 secs
lola: 967716 markings, 2938764 edges, 5249 markings/sec, 180 secs
lola: 993599 markings, 3017024 edges, 5177 markings/sec, 185 secs
lola: 1018927 markings, 3091753 edges, 5066 markings/sec, 190 secs
lola: 1045080 markings, 3171777 edges, 5231 markings/sec, 195 secs
lola: 1071251 markings, 3253203 edges, 5234 markings/sec, 200 secs
lola: 1097473 markings, 3332515 edges, 5244 markings/sec, 205 secs
lola: 1123670 markings, 3413415 edges, 5239 markings/sec, 210 secs
lola: 1148702 markings, 3488549 edges, 5006 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: 334744 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__1_9_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__1_9_)
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: Structural Bound: 150
lola: 24727 markings, 83405 edges, 4945 markings/sec, 0 secs
lola: 50891 markings, 166678 edges, 5233 markings/sec, 5 secs
lola: 77206 markings, 250909 edges, 5263 markings/sec, 10 secs
lola: 103454 markings, 332899 edges, 5250 markings/sec, 15 secs
lola: 129184 markings, 415072 edges, 5146 markings/sec, 20 secs
lola: 155184 markings, 497291 edges, 5200 markings/sec, 25 secs
lola: 180945 markings, 581820 edges, 5152 markings/sec, 30 secs
lola: 206946 markings, 668216 edges, 5200 markings/sec, 35 secs
lola: 233193 markings, 752395 edges, 5249 markings/sec, 40 secs
lola: 259370 markings, 838308 edges, 5235 markings/sec, 45 secs
lola: 285500 markings, 924881 edges, 5226 markings/sec, 50 secs
lola: 311518 markings, 1011594 edges, 5204 markings/sec, 55 secs
lola: 337374 markings, 1094360 edges, 5171 markings/sec, 60 secs
lola: 363697 markings, 1178996 edges, 5265 markings/sec, 65 secs
lola: 389912 markings, 1260344 edges, 5243 markings/sec, 70 secs
lola: 415085 markings, 1339827 edges, 5035 markings/sec, 75 secs
lola: 440888 markings, 1422466 edges, 5161 markings/sec, 80 secs
lola: 466929 markings, 1505573 edges, 5208 markings/sec, 85 secs
lola: 492902 markings, 1589772 edges, 5195 markings/sec, 90 secs
lola: 519055 markings, 1672020 edges, 5231 markings/sec, 95 secs
lola: 545429 markings, 1757774 edges, 5275 markings/sec, 100 secs
lola: 571710 markings, 1844659 edges, 5256 markings/sec, 105 secs
lola: 597691 markings, 1928671 edges, 5196 markings/sec, 110 secs
lola: 623915 markings, 2017114 edges, 5245 markings/sec, 115 secs
lola: 650137 markings, 2104830 edges, 5244 markings/sec, 120 secs
lola: 676538 markings, 2190753 edges, 5280 markings/sec, 125 secs
lola: 703003 markings, 2276322 edges, 5293 markings/sec, 130 secs
lola: 729282 markings, 2364603 edges, 5256 markings/sec, 135 secs
lola: 755711 markings, 2447313 edges, 5286 markings/sec, 140 secs
lola: 782093 markings, 2531464 edges, 5276 markings/sec, 145 secs
lola: 808456 markings, 2616379 edges, 5273 markings/sec, 150 secs
lola: 834748 markings, 2703916 edges, 5258 markings/sec, 155 secs
lola: 860657 markings, 2788295 edges, 5182 markings/sec, 160 secs
lola: 886807 markings, 2879451 edges, 5230 markings/sec, 165 secs
lola: 912870 markings, 2964500 edges, 5213 markings/sec, 170 secs
lola: 939309 markings, 3049349 edges, 5288 markings/sec, 175 secs
lola: 965192 markings, 3127840 edges, 5177 markings/sec, 180 secs
lola: 991378 markings, 3208818 edges, 5237 markings/sec, 185 secs
lola: 1017762 markings, 3292341 edges, 5277 markings/sec, 190 secs
lola: 1044103 markings, 3373832 edges, 5268 markings/sec, 195 secs
lola: 1070137 markings, 3455570 edges, 5207 markings/sec, 200 secs
lola: 1096258 markings, 3537904 edges, 5224 markings/sec, 205 secs
lola: 1122477 markings, 3617813 edges, 5244 markings/sec, 210 secs
lola: 1148316 markings, 3703912 edges, 5168 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: 320008 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__14_16_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__14_16_)
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: Structural Bound: 150
lola: 24803 markings, 88115 edges, 4961 markings/sec, 0 secs
lola: 50549 markings, 177568 edges, 5149 markings/sec, 5 secs
lola: 76399 markings, 265703 edges, 5170 markings/sec, 10 secs
lola: 101468 markings, 354878 edges, 5014 markings/sec, 15 secs
lola: 126638 markings, 443391 edges, 5034 markings/sec, 20 secs
lola: 152308 markings, 531552 edges, 5134 markings/sec, 25 secs
lola: 177977 markings, 620353 edges, 5134 markings/sec, 30 secs
lola: 203652 markings, 709261 edges, 5135 markings/sec, 35 secs
lola: 229239 markings, 800103 edges, 5117 markings/sec, 40 secs
lola: 254910 markings, 887968 edges, 5134 markings/sec, 45 secs
lola: 280014 markings, 977676 edges, 5021 markings/sec, 50 secs
lola: 305144 markings, 1065570 edges, 5026 markings/sec, 55 secs
lola: 330725 markings, 1155366 edges, 5116 markings/sec, 60 secs
lola: 355731 markings, 1241889 edges, 5001 markings/sec, 65 secs
lola: 380847 markings, 1329341 edges, 5023 markings/sec, 70 secs
lola: 406221 markings, 1417854 edges, 5075 markings/sec, 75 secs
lola: 431464 markings, 1506885 edges, 5049 markings/sec, 80 secs
lola: 456673 markings, 1592357 edges, 5042 markings/sec, 85 secs
lola: 481699 markings, 1681779 edges, 5005 markings/sec, 90 secs
lola: 506873 markings, 1770843 edges, 5035 markings/sec, 95 secs
lola: 530657 markings, 1854760 edges, 4757 markings/sec, 100 secs
lola: 555202 markings, 1941846 edges, 4909 markings/sec, 105 secs
lola: 580070 markings, 2026571 edges, 4974 markings/sec, 110 secs
lola: 605518 markings, 2118086 edges, 5090 markings/sec, 115 secs
lola: 630538 markings, 2203042 edges, 5004 markings/sec, 120 secs
lola: 655563 markings, 2292242 edges, 5005 markings/sec, 125 secs
lola: 680231 markings, 2375947 edges, 4934 markings/sec, 130 secs
lola: 705327 markings, 2462617 edges, 5019 markings/sec, 135 secs
lola: 730626 markings, 2550575 edges, 5060 markings/sec, 140 secs
lola: 755358 markings, 2638623 edges, 4946 markings/sec, 145 secs
lola: 780554 markings, 2724526 edges, 5039 markings/sec, 150 secs
lola: 805817 markings, 2811910 edges, 5053 markings/sec, 155 secs
lola: 830589 markings, 2899694 edges, 4954 markings/sec, 160 secs
lola: 855968 markings, 2990997 edges, 5076 markings/sec, 165 secs
lola: 881160 markings, 3081221 edges, 5038 markings/sec, 170 secs
lola: 906484 markings, 3170458 edges, 5065 markings/sec, 175 secs
lola: 931947 markings, 3257165 edges, 5093 markings/sec, 180 secs
lola: 957177 markings, 3345981 edges, 5046 markings/sec, 185 secs
lola: 982215 markings, 3433565 edges, 5008 markings/sec, 190 secs
lola: 1007277 markings, 3523349 edges, 5012 markings/sec, 195 secs
lola: 1032820 markings, 3608856 edges, 5109 markings/sec, 200 secs
lola: 1058160 markings, 3698468 edges, 5068 markings/sec, 205 secs
lola: 1083891 markings, 3787749 edges, 5146 markings/sec, 210 secs
lola: 1109594 markings, 3876680 edges, 5141 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: 338564 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__8_19_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__8_19_)
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: Structural Bound: 150
lola: 24301 markings, 83438 edges, 4860 markings/sec, 0 secs
lola: 48977 markings, 170561 edges, 4935 markings/sec, 5 secs
lola: 73722 markings, 258618 edges, 4949 markings/sec, 10 secs
lola: 99156 markings, 348694 edges, 5087 markings/sec, 15 secs
lola: 124584 markings, 437819 edges, 5086 markings/sec, 20 secs
lola: 149877 markings, 530007 edges, 5059 markings/sec, 25 secs
lola: 175319 markings, 623604 edges, 5088 markings/sec, 30 secs
lola: 200718 markings, 714238 edges, 5080 markings/sec, 35 secs
lola: 226004 markings, 805556 edges, 5057 markings/sec, 40 secs
lola: 251388 markings, 893207 edges, 5077 markings/sec, 45 secs
lola: 276839 markings, 982196 edges, 5090 markings/sec, 50 secs
lola: 302339 markings, 1069984 edges, 5100 markings/sec, 55 secs
lola: 327512 markings, 1162398 edges, 5035 markings/sec, 60 secs
lola: 352864 markings, 1252881 edges, 5070 markings/sec, 65 secs
lola: 377682 markings, 1341671 edges, 4964 markings/sec, 70 secs
lola: 402883 markings, 1430961 edges, 5040 markings/sec, 75 secs
lola: 428328 markings, 1521088 edges, 5089 markings/sec, 80 secs
lola: 453334 markings, 1611247 edges, 5001 markings/sec, 85 secs
lola: 478763 markings, 1703546 edges, 5086 markings/sec, 90 secs
lola: 504352 markings, 1792170 edges, 5118 markings/sec, 95 secs
lola: 529331 markings, 1879278 edges, 4996 markings/sec, 100 secs
lola: 554392 markings, 1969427 edges, 5012 markings/sec, 105 secs
lola: 579227 markings, 2057260 edges, 4967 markings/sec, 110 secs
lola: 604595 markings, 2147456 edges, 5074 markings/sec, 115 secs
lola: 629876 markings, 2240106 edges, 5056 markings/sec, 120 secs
lola: 655066 markings, 2333180 edges, 5038 markings/sec, 125 secs
lola: 679560 markings, 2421883 edges, 4899 markings/sec, 130 secs
lola: 704817 markings, 2512751 edges, 5051 markings/sec, 135 secs
lola: 730065 markings, 2602627 edges, 5050 markings/sec, 140 secs
lola: 755014 markings, 2693978 edges, 4990 markings/sec, 145 secs
lola: 779889 markings, 2786228 edges, 4975 markings/sec, 150 secs
lola: 805175 markings, 2876587 edges, 5057 markings/sec, 155 secs
lola: 830644 markings, 2966949 edges, 5094 markings/sec, 160 secs
lola: 856047 markings, 3059437 edges, 5081 markings/sec, 165 secs
lola: 881082 markings, 3151624 edges, 5007 markings/sec, 170 secs
lola: 906497 markings, 3240660 edges, 5083 markings/sec, 175 secs
lola: 931427 markings, 3329694 edges, 4986 markings/sec, 180 secs
lola: 956489 markings, 3418302 edges, 5012 markings/sec, 185 secs
lola: 981893 markings, 3508265 edges, 5081 markings/sec, 190 secs
lola: 1007214 markings, 3597056 edges, 5064 markings/sec, 195 secs
lola: 1032335 markings, 3685868 edges, 5024 markings/sec, 200 secs
lola: 1057720 markings, 3775935 edges, 5077 markings/sec, 205 secs
lola: 1082960 markings, 3865200 edges, 5048 markings/sec, 210 secs
lola: 1108118 markings, 3956100 edges, 5032 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: 348120 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__5_7_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__5_7_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 150
lola: 25004 markings, 83792 edges, 5001 markings/sec, 0 secs
lola: 51173 markings, 164685 edges, 5234 markings/sec, 5 secs
lola: 77352 markings, 247787 edges, 5236 markings/sec, 10 secs
lola: 103636 markings, 327606 edges, 5257 markings/sec, 15 secs
lola: 129747 markings, 409348 edges, 5222 markings/sec, 20 secs
lola: 155910 markings, 489799 edges, 5233 markings/sec, 25 secs
lola: 182111 markings, 569002 edges, 5240 markings/sec, 30 secs
lola: 208176 markings, 651386 edges, 5213 markings/sec, 35 secs
lola: 234227 markings, 733931 edges, 5210 markings/sec, 40 secs
lola: 260128 markings, 816676 edges, 5180 markings/sec, 45 secs
lola: 286026 markings, 898450 edges, 5180 markings/sec, 50 secs
lola: 312014 markings, 982545 edges, 5198 markings/sec, 55 secs
lola: 337944 markings, 1064900 edges, 5186 markings/sec, 60 secs
lola: 363803 markings, 1147395 edges, 5172 markings/sec, 65 secs
lola: 389591 markings, 1235831 edges, 5158 markings/sec, 70 secs
lola: 415398 markings, 1320187 edges, 5161 markings/sec, 75 secs
lola: 441223 markings, 1402766 edges, 5165 markings/sec, 80 secs
lola: 467102 markings, 1487544 edges, 5176 markings/sec, 85 secs
lola: 493413 markings, 1568613 edges, 5262 markings/sec, 90 secs
lola: 519254 markings, 1654185 edges, 5168 markings/sec, 95 secs
lola: 544957 markings, 1741704 edges, 5141 markings/sec, 100 secs
lola: 570723 markings, 1827783 edges, 5153 markings/sec, 105 secs
lola: 596681 markings, 1910081 edges, 5192 markings/sec, 110 secs
lola: 622816 markings, 1991718 edges, 5227 markings/sec, 115 secs
lola: 649056 markings, 2071013 edges, 5248 markings/sec, 120 secs
lola: 675159 markings, 2153246 edges, 5221 markings/sec, 125 secs
lola: 701403 markings, 2234025 edges, 5249 markings/sec, 130 secs
lola: 727559 markings, 2314800 edges, 5231 markings/sec, 135 secs
lola: 753638 markings, 2396742 edges, 5216 markings/sec, 140 secs
lola: 779812 markings, 2475702 edges, 5235 markings/sec, 145 secs
lola: 806106 markings, 2555602 edges, 5259 markings/sec, 150 secs
lola: 832301 markings, 2636808 edges, 5239 markings/sec, 155 secs
lola: 858479 markings, 2717570 edges, 5236 markings/sec, 160 secs
lola: 884671 markings, 2800240 edges, 5238 markings/sec, 165 secs
lola: 910730 markings, 2879255 edges, 5212 markings/sec, 170 secs
lola: 936926 markings, 2957187 edges, 5239 markings/sec, 175 secs
lola: 962976 markings, 3038162 edges, 5210 markings/sec, 180 secs
lola: 988982 markings, 3119691 edges, 5201 markings/sec, 185 secs
lola: 1014985 markings, 3199709 edges, 5201 markings/sec, 190 secs
lola: 1041054 markings, 3279510 edges, 5214 markings/sec, 195 secs
lola: 1066866 markings, 3364902 edges, 5162 markings/sec, 200 secs
lola: 1092767 markings, 3447894 edges, 5180 markings/sec, 205 secs
lola: 1118688 markings, 3528703 edges, 5184 markings/sec, 210 secs
lola: 1144559 markings, 3611092 edges, 5174 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: 327988 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__2_16_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__2_16_)
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: Structural Bound: 150
lola: 24806 markings, 85614 edges, 4961 markings/sec, 0 secs
lola: 51181 markings, 175845 edges, 5275 markings/sec, 5 secs
lola: 77465 markings, 263299 edges, 5257 markings/sec, 10 secs
lola: 103543 markings, 350967 edges, 5216 markings/sec, 15 secs
lola: 129555 markings, 437624 edges, 5202 markings/sec, 20 secs
lola: 156006 markings, 524973 edges, 5290 markings/sec, 25 secs
lola: 182383 markings, 610422 edges, 5275 markings/sec, 30 secs
lola: 208572 markings, 701216 edges, 5238 markings/sec, 35 secs
lola: 234815 markings, 789610 edges, 5249 markings/sec, 40 secs
lola: 260791 markings, 875300 edges, 5195 markings/sec, 45 secs
lola: 286822 markings, 965790 edges, 5206 markings/sec, 50 secs
lola: 312952 markings, 1055469 edges, 5226 markings/sec, 55 secs
lola: 339307 markings, 1140460 edges, 5271 markings/sec, 60 secs
lola: 365689 markings, 1228749 edges, 5276 markings/sec, 65 secs
lola: 391947 markings, 1318116 edges, 5252 markings/sec, 70 secs
lola: 418193 markings, 1408424 edges, 5249 markings/sec, 75 secs
lola: 444119 markings, 1496032 edges, 5185 markings/sec, 80 secs
lola: 470388 markings, 1586226 edges, 5254 markings/sec, 85 secs
lola: 496760 markings, 1674460 edges, 5274 markings/sec, 90 secs
lola: 523185 markings, 1763061 edges, 5285 markings/sec, 95 secs
lola: 549395 markings, 1856826 edges, 5242 markings/sec, 100 secs
lola: 575662 markings, 1947123 edges, 5253 markings/sec, 105 secs
lola: 600819 markings, 2031298 edges, 5031 markings/sec, 110 secs
lola: 626613 markings, 2114199 edges, 5159 markings/sec, 115 secs
lola: 652653 markings, 2201708 edges, 5208 markings/sec, 120 secs
lola: 678581 markings, 2286142 edges, 5186 markings/sec, 125 secs
lola: 704737 markings, 2367700 edges, 5231 markings/sec, 130 secs
lola: 729995 markings, 2452871 edges, 5052 markings/sec, 135 secs
lola: 755507 markings, 2542344 edges, 5102 markings/sec, 140 secs
lola: 781421 markings, 2628677 edges, 5183 markings/sec, 145 secs
lola: 807326 markings, 2714480 edges, 5181 markings/sec, 150 secs
lola: 832937 markings, 2799528 edges, 5122 markings/sec, 155 secs
lola: 858642 markings, 2886577 edges, 5141 markings/sec, 160 secs
lola: 884661 markings, 2973661 edges, 5204 markings/sec, 165 secs
lola: 910555 markings, 3062917 edges, 5179 markings/sec, 170 secs
lola: 936337 markings, 3155943 edges, 5156 markings/sec, 175 secs
lola: 962158 markings, 3244927 edges, 5164 markings/sec, 180 secs
lola: 988122 markings, 3329488 edges, 5193 markings/sec, 185 secs
lola: 1014254 markings, 3416624 edges, 5226 markings/sec, 190 secs
lola: 1040287 markings, 3502009 edges, 5207 markings/sec, 195 secs
lola: 1065857 markings, 3588884 edges, 5114 markings/sec, 200 secs
lola: 1091648 markings, 3675775 edges, 5158 markings/sec, 205 secs
lola: 1117388 markings, 3765051 edges, 5148 markings/sec, 210 secs
lola: 1142931 markings, 3851521 edges, 5109 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: 335536 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__2_15_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__2_15_)
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: Structural Bound: 150
lola: 24186 markings, 75064 edges, 4837 markings/sec, 0 secs
lola: 50149 markings, 158124 edges, 5193 markings/sec, 5 secs
lola: 76230 markings, 238765 edges, 5216 markings/sec, 10 secs
lola: 102385 markings, 321956 edges, 5231 markings/sec, 15 secs
lola: 127559 markings, 402794 edges, 5035 markings/sec, 20 secs
lola: 153993 markings, 485273 edges, 5287 markings/sec, 25 secs
lola: 180539 markings, 566362 edges, 5309 markings/sec, 30 secs
lola: 207054 markings, 650062 edges, 5303 markings/sec, 35 secs
lola: 233544 markings, 732281 edges, 5298 markings/sec, 40 secs
lola: 260084 markings, 814757 edges, 5308 markings/sec, 45 secs
lola: 286463 markings, 897794 edges, 5276 markings/sec, 50 secs
lola: 312771 markings, 978086 edges, 5262 markings/sec, 55 secs
lola: 339111 markings, 1058609 edges, 5268 markings/sec, 60 secs
lola: 365478 markings, 1139136 edges, 5273 markings/sec, 65 secs
lola: 391830 markings, 1219673 edges, 5270 markings/sec, 70 secs
lola: 418071 markings, 1302711 edges, 5248 markings/sec, 75 secs
lola: 443867 markings, 1383350 edges, 5159 markings/sec, 80 secs
lola: 469983 markings, 1463022 edges, 5223 markings/sec, 85 secs
lola: 496206 markings, 1546734 edges, 5245 markings/sec, 90 secs
lola: 522730 markings, 1628919 edges, 5305 markings/sec, 95 secs
lola: 549128 markings, 1712901 edges, 5280 markings/sec, 100 secs
lola: 575421 markings, 1800277 edges, 5259 markings/sec, 105 secs
lola: 601656 markings, 1885685 edges, 5247 markings/sec, 110 secs
lola: 627886 markings, 1968066 edges, 5246 markings/sec, 115 secs
lola: 654050 markings, 2051297 edges, 5233 markings/sec, 120 secs
lola: 680216 markings, 2133038 edges, 5233 markings/sec, 125 secs
lola: 706354 markings, 2213957 edges, 5228 markings/sec, 130 secs
lola: 732485 markings, 2296851 edges, 5226 markings/sec, 135 secs
lola: 758700 markings, 2380206 edges, 5243 markings/sec, 140 secs
lola: 784968 markings, 2464831 edges, 5254 markings/sec, 145 secs
lola: 810996 markings, 2552440 edges, 5206 markings/sec, 150 secs
lola: 837144 markings, 2637576 edges, 5230 markings/sec, 155 secs
lola: 863265 markings, 2722842 edges, 5224 markings/sec, 160 secs
lola: 889618 markings, 2802308 edges, 5271 markings/sec, 165 secs
lola: 916028 markings, 2882953 edges, 5282 markings/sec, 170 secs
lola: 942425 markings, 2966844 edges, 5279 markings/sec, 175 secs
lola: 968862 markings, 3048513 edges, 5287 markings/sec, 180 secs
lola: 995303 markings, 3129826 edges, 5288 markings/sec, 185 secs
lola: 1021678 markings, 3212143 edges, 5275 markings/sec, 190 secs
lola: 1047695 markings, 3298707 edges, 5203 markings/sec, 195 secs
lola: 1073916 markings, 3383131 edges, 5244 markings/sec, 200 secs
lola: 1100455 markings, 3461658 edges, 5308 markings/sec, 205 secs
lola: 1126842 markings, 3541067 edges, 5277 markings/sec, 210 secs
lola: 1153235 markings, 3622003 edges, 5279 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: caught signal User defined signal 1 - aborting LoLA
lola: lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 328876 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: memory consumption: 329272 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 1552575003328
--------------------
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-D20N150"
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-D20N150, 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-155234654700146"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Diffusion2D-PT-D20N150.tgz
mv Diffusion2D-PT-D20N150 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 ;