fond
Model Checking Contest 2019
9th edition, Prague, Czech Republic, April 7, 2019 (TOOLympics)
Execution of r060-ebro-155234654700128
Last Updated
Apr 15, 2019

About the Execution of LoLA for Diffusion2D-PT-D20N050

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
4283.450 3570147.00 3659450.00 722.80 [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-155234654700128.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-D20N050, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r060-ebro-155234654700128
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.3M
-rw-r--r-- 1 mcc users 3.8K Feb 10 21:33 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Feb 10 21:33 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Feb 6 17:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 6 17:54 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 3.0K Feb 4 23:31 LTLCardinality.txt
-rw-r--r-- 1 mcc users 13K 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 7.4K Feb 4 22:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.3K Feb 3 07:21 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Feb 3 07:21 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.9K 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-D20N050-UpperBounds-00
FORMULA_NAME Diffusion2D-PT-D20N050-UpperBounds-01
FORMULA_NAME Diffusion2D-PT-D20N050-UpperBounds-02
FORMULA_NAME Diffusion2D-PT-D20N050-UpperBounds-03
FORMULA_NAME Diffusion2D-PT-D20N050-UpperBounds-04
FORMULA_NAME Diffusion2D-PT-D20N050-UpperBounds-05
FORMULA_NAME Diffusion2D-PT-D20N050-UpperBounds-06
FORMULA_NAME Diffusion2D-PT-D20N050-UpperBounds-07
FORMULA_NAME Diffusion2D-PT-D20N050-UpperBounds-08
FORMULA_NAME Diffusion2D-PT-D20N050-UpperBounds-09
FORMULA_NAME Diffusion2D-PT-D20N050-UpperBounds-10
FORMULA_NAME Diffusion2D-PT-D20N050-UpperBounds-11
FORMULA_NAME Diffusion2D-PT-D20N050-UpperBounds-12
FORMULA_NAME Diffusion2D-PT-D20N050-UpperBounds-13
FORMULA_NAME Diffusion2D-PT-D20N050-UpperBounds-14
FORMULA_NAME Diffusion2D-PT-D20N050-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1552567370285

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

{
"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 12:42:50 2019
",
"timelimit": 3570
},
"child": null,
"exit":
{
"error": null,
"memory": 32196,
"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__18_5_) : MAX(cAMP__17_14_) : MAX(cAMP__6_5_) : MAX(cAMP__14_3_) : MAX(cAMP__8_10_) : MAX(cAMP__17_2_) : MAX(cAMP__20_20_) : MAX(cAMP__12_18_) : MAX(cAMP__16_10_) : MAX(cAMP__3_15_) : MAX(cAMP__13_10_) : MAX(cAMP__14_6_) : MAX(cAMP__4_8_) : MAX(cAMP__15_2_) : MAX(cAMP__3_1_) : MAX(cAMP__10_14_)
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__18_5_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__18_5_)
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: 50
lola: 24454 markings, 80210 edges, 4891 markings/sec, 0 secs
lola: 50236 markings, 158471 edges, 5156 markings/sec, 5 secs
lola: 75661 markings, 237208 edges, 5085 markings/sec, 10 secs
lola: 101251 markings, 314594 edges, 5118 markings/sec, 15 secs
lola: 127146 markings, 393668 edges, 5179 markings/sec, 20 secs
lola: 152766 markings, 478822 edges, 5124 markings/sec, 25 secs
lola: 178291 markings, 564327 edges, 5105 markings/sec, 30 secs
lola: 203943 markings, 643268 edges, 5130 markings/sec, 35 secs
lola: 229752 markings, 721018 edges, 5162 markings/sec, 40 secs
lola: 255502 markings, 797950 edges, 5150 markings/sec, 45 secs
lola: 281168 markings, 874983 edges, 5133 markings/sec, 50 secs
lola: 306864 markings, 953442 edges, 5139 markings/sec, 55 secs
lola: 332361 markings, 1032496 edges, 5099 markings/sec, 60 secs
lola: 357677 markings, 1111700 edges, 5063 markings/sec, 65 secs
lola: 383127 markings, 1190492 edges, 5090 markings/sec, 70 secs
lola: 408749 markings, 1264808 edges, 5124 markings/sec, 75 secs
lola: 434232 markings, 1340806 edges, 5097 markings/sec, 80 secs
lola: 459641 markings, 1418198 edges, 5082 markings/sec, 85 secs
lola: 485090 markings, 1495905 edges, 5090 markings/sec, 90 secs
lola: 510411 markings, 1575626 edges, 5064 markings/sec, 95 secs
lola: 535802 markings, 1653093 edges, 5078 markings/sec, 100 secs
lola: 560861 markings, 1737511 edges, 5012 markings/sec, 105 secs
lola: 586065 markings, 1815044 edges, 5041 markings/sec, 110 secs
lola: 611210 markings, 1890731 edges, 5029 markings/sec, 115 secs
lola: 636445 markings, 1971164 edges, 5047 markings/sec, 120 secs
lola: 661649 markings, 2047909 edges, 5041 markings/sec, 125 secs
lola: 686877 markings, 2125612 edges, 5046 markings/sec, 130 secs
lola: 711888 markings, 2204041 edges, 5002 markings/sec, 135 secs
lola: 737230 markings, 2281684 edges, 5068 markings/sec, 140 secs
lola: 762455 markings, 2362121 edges, 5045 markings/sec, 145 secs
lola: 787815 markings, 2441552 edges, 5072 markings/sec, 150 secs
lola: 813226 markings, 2521415 edges, 5082 markings/sec, 155 secs
lola: 838821 markings, 2596705 edges, 5119 markings/sec, 160 secs
lola: 864303 markings, 2674263 edges, 5096 markings/sec, 165 secs
lola: 889765 markings, 2751762 edges, 5092 markings/sec, 170 secs
lola: 915214 markings, 2827742 edges, 5090 markings/sec, 175 secs
lola: 940591 markings, 2906795 edges, 5075 markings/sec, 180 secs
lola: 966109 markings, 2983551 edges, 5104 markings/sec, 185 secs
lola: 991619 markings, 3066215 edges, 5102 markings/sec, 190 secs
lola: 1017290 markings, 3144129 edges, 5134 markings/sec, 195 secs
lola: 1042743 markings, 3227831 edges, 5091 markings/sec, 200 secs
lola: 1068088 markings, 3312883 edges, 5069 markings/sec, 205 secs
lola: 1093601 markings, 3392573 edges, 5103 markings/sec, 210 secs
lola: 1118982 markings, 3472356 edges, 5076 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: 330140 KB
lola: time consumption: 228 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__17_14_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__17_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: 50
lola: 25126 markings, 78869 edges, 5025 markings/sec, 0 secs
lola: 51125 markings, 163097 edges, 5200 markings/sec, 5 secs
lola: 77153 markings, 246752 edges, 5206 markings/sec, 10 secs
lola: 103137 markings, 331264 edges, 5197 markings/sec, 15 secs
lola: 129092 markings, 412540 edges, 5191 markings/sec, 20 secs
lola: 155136 markings, 495240 edges, 5209 markings/sec, 25 secs
lola: 181067 markings, 580319 edges, 5186 markings/sec, 30 secs
lola: 207054 markings, 663851 edges, 5197 markings/sec, 35 secs
lola: 232501 markings, 747155 edges, 5089 markings/sec, 40 secs
lola: 258185 markings, 829514 edges, 5137 markings/sec, 45 secs
lola: 284135 markings, 915935 edges, 5190 markings/sec, 50 secs
lola: 310153 markings, 999458 edges, 5204 markings/sec, 55 secs
lola: 336055 markings, 1085320 edges, 5180 markings/sec, 60 secs
lola: 361983 markings, 1171023 edges, 5186 markings/sec, 65 secs
lola: 388014 markings, 1254233 edges, 5206 markings/sec, 70 secs
lola: 413940 markings, 1339420 edges, 5185 markings/sec, 75 secs
lola: 439860 markings, 1425056 edges, 5184 markings/sec, 80 secs
lola: 465762 markings, 1510179 edges, 5180 markings/sec, 85 secs
lola: 491761 markings, 1593765 edges, 5200 markings/sec, 90 secs
lola: 517704 markings, 1677966 edges, 5189 markings/sec, 95 secs
lola: 543506 markings, 1761703 edges, 5160 markings/sec, 100 secs
lola: 569357 markings, 1842486 edges, 5170 markings/sec, 105 secs
lola: 595153 markings, 1924009 edges, 5159 markings/sec, 110 secs
lola: 620744 markings, 2008082 edges, 5118 markings/sec, 115 secs
lola: 646184 markings, 2094319 edges, 5088 markings/sec, 120 secs
lola: 671828 markings, 2173053 edges, 5129 markings/sec, 125 secs
lola: 697276 markings, 2256029 edges, 5090 markings/sec, 130 secs
lola: 722599 markings, 2342478 edges, 5065 markings/sec, 135 secs
lola: 748015 markings, 2426349 edges, 5083 markings/sec, 140 secs
lola: 773570 markings, 2508954 edges, 5111 markings/sec, 145 secs
lola: 799127 markings, 2589116 edges, 5111 markings/sec, 150 secs
lola: 824740 markings, 2671133 edges, 5123 markings/sec, 155 secs
lola: 850318 markings, 2752961 edges, 5116 markings/sec, 160 secs
lola: 875694 markings, 2839618 edges, 5075 markings/sec, 165 secs
lola: 901265 markings, 2922601 edges, 5114 markings/sec, 170 secs
lola: 926950 markings, 3002194 edges, 5137 markings/sec, 175 secs
lola: 952520 markings, 3085474 edges, 5114 markings/sec, 180 secs
lola: 978161 markings, 3166483 edges, 5128 markings/sec, 185 secs
lola: 1003809 markings, 3248537 edges, 5130 markings/sec, 190 secs
lola: 1029489 markings, 3331260 edges, 5136 markings/sec, 195 secs
lola: 1055236 markings, 3413684 edges, 5149 markings/sec, 200 secs
lola: 1080951 markings, 3495450 edges, 5143 markings/sec, 205 secs
lola: 1106739 markings, 3576049 edges, 5158 markings/sec, 210 secs
lola: 1132613 markings, 3661828 edges, 5175 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: 333540 KB
lola: time consumption: 450 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__6_5_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__6_5_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 50
lola: 23859 markings, 78607 edges, 4772 markings/sec, 0 secs
lola: 49748 markings, 164388 edges, 5178 markings/sec, 5 secs
lola: 75599 markings, 252575 edges, 5170 markings/sec, 10 secs
lola: 101530 markings, 339293 edges, 5186 markings/sec, 15 secs
lola: 127283 markings, 428705 edges, 5151 markings/sec, 20 secs
lola: 153022 markings, 521024 edges, 5148 markings/sec, 25 secs
lola: 178713 markings, 609579 edges, 5138 markings/sec, 30 secs
lola: 203956 markings, 694902 edges, 5049 markings/sec, 35 secs
lola: 229950 markings, 778024 edges, 5199 markings/sec, 40 secs
lola: 255849 markings, 863117 edges, 5180 markings/sec, 45 secs
lola: 281692 markings, 947484 edges, 5169 markings/sec, 50 secs
lola: 307514 markings, 1036302 edges, 5164 markings/sec, 55 secs
lola: 333275 markings, 1124056 edges, 5152 markings/sec, 60 secs
lola: 358400 markings, 1208134 edges, 5025 markings/sec, 65 secs
lola: 384220 markings, 1291969 edges, 5164 markings/sec, 70 secs
lola: 409957 markings, 1379430 edges, 5147 markings/sec, 75 secs
lola: 435646 markings, 1471235 edges, 5138 markings/sec, 80 secs
lola: 461355 markings, 1558809 edges, 5142 markings/sec, 85 secs
lola: 487052 markings, 1645533 edges, 5139 markings/sec, 90 secs
lola: 512812 markings, 1729867 edges, 5152 markings/sec, 95 secs
lola: 538627 markings, 1813745 edges, 5163 markings/sec, 100 secs
lola: 564267 markings, 1900420 edges, 5128 markings/sec, 105 secs
lola: 589753 markings, 1984146 edges, 5097 markings/sec, 110 secs
lola: 615166 markings, 2072234 edges, 5083 markings/sec, 115 secs
lola: 640567 markings, 2161397 edges, 5080 markings/sec, 120 secs
lola: 666081 markings, 2248899 edges, 5103 markings/sec, 125 secs
lola: 691881 markings, 2334299 edges, 5160 markings/sec, 130 secs
lola: 717733 markings, 2419465 edges, 5170 markings/sec, 135 secs
lola: 743642 markings, 2502764 edges, 5182 markings/sec, 140 secs
lola: 769494 markings, 2587152 edges, 5170 markings/sec, 145 secs
lola: 794932 markings, 2671363 edges, 5088 markings/sec, 150 secs
lola: 820545 markings, 2757447 edges, 5123 markings/sec, 155 secs
lola: 846232 markings, 2843364 edges, 5137 markings/sec, 160 secs
lola: 871915 markings, 2930178 edges, 5137 markings/sec, 165 secs
lola: 897646 markings, 3014417 edges, 5146 markings/sec, 170 secs
lola: 923230 markings, 3098622 edges, 5117 markings/sec, 175 secs
lola: 948646 markings, 3181684 edges, 5083 markings/sec, 180 secs
lola: 974224 markings, 3268466 edges, 5116 markings/sec, 185 secs
lola: 999866 markings, 3353955 edges, 5128 markings/sec, 190 secs
lola: 1025549 markings, 3437295 edges, 5137 markings/sec, 195 secs
lola: 1051260 markings, 3520690 edges, 5142 markings/sec, 200 secs
lola: 1077014 markings, 3602251 edges, 5151 markings/sec, 205 secs
lola: 1102557 markings, 3686238 edges, 5109 markings/sec, 210 secs
lola: 1128170 markings, 3774283 edges, 5123 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: 327656 KB
lola: time consumption: 672 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__14_3_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__14_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: 50
lola: 24418 markings, 67826 edges, 4884 markings/sec, 0 secs
lola: 50068 markings, 141778 edges, 5130 markings/sec, 5 secs
lola: 75533 markings, 213856 edges, 5093 markings/sec, 10 secs
lola: 101071 markings, 284349 edges, 5108 markings/sec, 15 secs
lola: 126752 markings, 357398 edges, 5136 markings/sec, 20 secs
lola: 152295 markings, 428505 edges, 5109 markings/sec, 25 secs
lola: 177905 markings, 503727 edges, 5122 markings/sec, 30 secs
lola: 203551 markings, 578895 edges, 5129 markings/sec, 35 secs
lola: 229085 markings, 657150 edges, 5107 markings/sec, 40 secs
lola: 254728 markings, 733222 edges, 5129 markings/sec, 45 secs
lola: 280317 markings, 809491 edges, 5118 markings/sec, 50 secs
lola: 305981 markings, 882638 edges, 5133 markings/sec, 55 secs
lola: 331660 markings, 954282 edges, 5136 markings/sec, 60 secs
lola: 357284 markings, 1029533 edges, 5125 markings/sec, 65 secs
lola: 383112 markings, 1101354 edges, 5166 markings/sec, 70 secs
lola: 408650 markings, 1178466 edges, 5108 markings/sec, 75 secs
lola: 434170 markings, 1255226 edges, 5104 markings/sec, 80 secs
lola: 459709 markings, 1333168 edges, 5108 markings/sec, 85 secs
lola: 485397 markings, 1408026 edges, 5138 markings/sec, 90 secs
lola: 511248 markings, 1479700 edges, 5170 markings/sec, 95 secs
lola: 536905 markings, 1557313 edges, 5131 markings/sec, 100 secs
lola: 562681 markings, 1630298 edges, 5155 markings/sec, 105 secs
lola: 588412 markings, 1704324 edges, 5146 markings/sec, 110 secs
lola: 614012 markings, 1782161 edges, 5120 markings/sec, 115 secs
lola: 639695 markings, 1855687 edges, 5137 markings/sec, 120 secs
lola: 665454 markings, 1928732 edges, 5152 markings/sec, 125 secs
lola: 691232 markings, 2002359 edges, 5156 markings/sec, 130 secs
lola: 716973 markings, 2073398 edges, 5148 markings/sec, 135 secs
lola: 742632 markings, 2142842 edges, 5132 markings/sec, 140 secs
lola: 768177 markings, 2216705 edges, 5109 markings/sec, 145 secs
lola: 793709 markings, 2291477 edges, 5106 markings/sec, 150 secs
lola: 819349 markings, 2363247 edges, 5128 markings/sec, 155 secs
lola: 844981 markings, 2435942 edges, 5126 markings/sec, 160 secs
lola: 870567 markings, 2512220 edges, 5117 markings/sec, 165 secs
lola: 896113 markings, 2589544 edges, 5109 markings/sec, 170 secs
lola: 921658 markings, 2663107 edges, 5109 markings/sec, 175 secs
lola: 947213 markings, 2736497 edges, 5111 markings/sec, 180 secs
lola: 972602 markings, 2815827 edges, 5078 markings/sec, 185 secs
lola: 998102 markings, 2892719 edges, 5100 markings/sec, 190 secs
lola: 1023606 markings, 2970007 edges, 5101 markings/sec, 195 secs
lola: 1049111 markings, 3041497 edges, 5101 markings/sec, 200 secs
lola: 1074676 markings, 3116557 edges, 5113 markings/sec, 205 secs
lola: 1100301 markings, 3189231 edges, 5125 markings/sec, 210 secs
lola: 1125918 markings, 3261795 edges, 5123 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: 333476 KB
lola: time consumption: 894 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__8_10_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__8_10_)
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: 50
lola: 24553 markings, 90776 edges, 4911 markings/sec, 0 secs
lola: 49899 markings, 186626 edges, 5069 markings/sec, 5 secs
lola: 75268 markings, 281984 edges, 5074 markings/sec, 10 secs
lola: 100619 markings, 378080 edges, 5070 markings/sec, 15 secs
lola: 125616 markings, 472457 edges, 4999 markings/sec, 20 secs
lola: 150906 markings, 571340 edges, 5058 markings/sec, 25 secs
lola: 176296 markings, 666106 edges, 5078 markings/sec, 30 secs
lola: 201629 markings, 761865 edges, 5067 markings/sec, 35 secs
lola: 226811 markings, 860645 edges, 5036 markings/sec, 40 secs
lola: 251919 markings, 962590 edges, 5022 markings/sec, 45 secs
lola: 277116 markings, 1059744 edges, 5039 markings/sec, 50 secs
lola: 302259 markings, 1156847 edges, 5029 markings/sec, 55 secs
lola: 327367 markings, 1258831 edges, 5022 markings/sec, 60 secs
lola: 352466 markings, 1357266 edges, 5020 markings/sec, 65 secs
lola: 377629 markings, 1454303 edges, 5033 markings/sec, 70 secs
lola: 402873 markings, 1549089 edges, 5049 markings/sec, 75 secs
lola: 428047 markings, 1646352 edges, 5035 markings/sec, 80 secs
lola: 453295 markings, 1745217 edges, 5050 markings/sec, 85 secs
lola: 478535 markings, 1843431 edges, 5048 markings/sec, 90 secs
lola: 503901 markings, 1936989 edges, 5073 markings/sec, 95 secs
lola: 529180 markings, 2032848 edges, 5056 markings/sec, 100 secs
lola: 554429 markings, 2128102 edges, 5050 markings/sec, 105 secs
lola: 579699 markings, 2223666 edges, 5054 markings/sec, 110 secs
lola: 604965 markings, 2320404 edges, 5053 markings/sec, 115 secs
lola: 630175 markings, 2420928 edges, 5042 markings/sec, 120 secs
lola: 655416 markings, 2520817 edges, 5048 markings/sec, 125 secs
lola: 680750 markings, 2616299 edges, 5067 markings/sec, 130 secs
lola: 705975 markings, 2717084 edges, 5045 markings/sec, 135 secs
lola: 731243 markings, 2816455 edges, 5054 markings/sec, 140 secs
lola: 756462 markings, 2914976 edges, 5044 markings/sec, 145 secs
lola: 781766 markings, 3010224 edges, 5061 markings/sec, 150 secs
lola: 806927 markings, 3111185 edges, 5032 markings/sec, 155 secs
lola: 832017 markings, 3212336 edges, 5018 markings/sec, 160 secs
lola: 857153 markings, 3312061 edges, 5027 markings/sec, 165 secs
lola: 882206 markings, 3412401 edges, 5011 markings/sec, 170 secs
lola: 907408 markings, 3510113 edges, 5040 markings/sec, 175 secs
lola: 932671 markings, 3604756 edges, 5053 markings/sec, 180 secs
lola: 957814 markings, 3703068 edges, 5029 markings/sec, 185 secs
lola: 982954 markings, 3801833 edges, 5028 markings/sec, 190 secs
lola: 1008111 markings, 3899975 edges, 5031 markings/sec, 195 secs
lola: 1033245 markings, 3999438 edges, 5027 markings/sec, 200 secs
lola: 1058383 markings, 4098845 edges, 5028 markings/sec, 205 secs
lola: 1083513 markings, 4196468 edges, 5026 markings/sec, 210 secs
lola: 1108577 markings, 4296074 edges, 5013 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: 396280 KB
lola: time consumption: 1117 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 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__17_2_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__17_2_)
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: 50
lola: 24962 markings, 81551 edges, 4992 markings/sec, 0 secs
lola: 50691 markings, 165808 edges, 5146 markings/sec, 5 secs
lola: 76047 markings, 254843 edges, 5071 markings/sec, 10 secs
lola: 101555 markings, 343092 edges, 5102 markings/sec, 15 secs
lola: 127067 markings, 430675 edges, 5102 markings/sec, 20 secs
lola: 152522 markings, 518984 edges, 5091 markings/sec, 25 secs
lola: 177842 markings, 606330 edges, 5064 markings/sec, 30 secs
lola: 203213 markings, 692044 edges, 5074 markings/sec, 35 secs
lola: 228395 markings, 783684 edges, 5036 markings/sec, 40 secs
lola: 253399 markings, 879639 edges, 5001 markings/sec, 45 secs
lola: 278596 markings, 969951 edges, 5039 markings/sec, 50 secs
lola: 303611 markings, 1060883 edges, 5003 markings/sec, 55 secs
lola: 328665 markings, 1149943 edges, 5011 markings/sec, 60 secs
lola: 353875 markings, 1239529 edges, 5042 markings/sec, 65 secs
lola: 379260 markings, 1329435 edges, 5077 markings/sec, 70 secs
lola: 404717 markings, 1416402 edges, 5091 markings/sec, 75 secs
lola: 429939 markings, 1506997 edges, 5044 markings/sec, 80 secs
lola: 455445 markings, 1592878 edges, 5101 markings/sec, 85 secs
lola: 480848 markings, 1682144 edges, 5081 markings/sec, 90 secs
lola: 506297 markings, 1769267 edges, 5090 markings/sec, 95 secs
lola: 531734 markings, 1857502 edges, 5087 markings/sec, 100 secs
lola: 556878 markings, 1953516 edges, 5029 markings/sec, 105 secs
lola: 582160 markings, 2045317 edges, 5056 markings/sec, 110 secs
lola: 607382 markings, 2134529 edges, 5044 markings/sec, 115 secs
lola: 632587 markings, 2224272 edges, 5041 markings/sec, 120 secs
lola: 657937 markings, 2315951 edges, 5070 markings/sec, 125 secs
lola: 683300 markings, 2406974 edges, 5073 markings/sec, 130 secs
lola: 708710 markings, 2495565 edges, 5082 markings/sec, 135 secs
lola: 733951 markings, 2585701 edges, 5048 markings/sec, 140 secs
lola: 759138 markings, 2681230 edges, 5037 markings/sec, 145 secs
lola: 784685 markings, 2768946 edges, 5109 markings/sec, 150 secs
lola: 810261 markings, 2857332 edges, 5115 markings/sec, 155 secs
lola: 835858 markings, 2943971 edges, 5119 markings/sec, 160 secs
lola: 861105 markings, 3034788 edges, 5049 markings/sec, 165 secs
lola: 886788 markings, 3121661 edges, 5137 markings/sec, 170 secs
lola: 912418 markings, 3208642 edges, 5126 markings/sec, 175 secs
lola: 937949 markings, 3297143 edges, 5106 markings/sec, 180 secs
lola: 963527 markings, 3383765 edges, 5116 markings/sec, 185 secs
lola: 989051 markings, 3470778 edges, 5105 markings/sec, 190 secs
lola: 1014008 markings, 3558827 edges, 4991 markings/sec, 195 secs
lola: 1039020 markings, 3646521 edges, 5002 markings/sec, 200 secs
lola: 1064244 markings, 3739839 edges, 5045 markings/sec, 205 secs
lola: 1089459 markings, 3832699 edges, 5043 markings/sec, 210 secs
lola: 1114642 markings, 3926414 edges, 5037 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: 307372 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__20_20_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__20_20_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 50
lola: 25176 markings, 82321 edges, 5035 markings/sec, 0 secs
lola: 51540 markings, 164499 edges, 5273 markings/sec, 5 secs
lola: 77827 markings, 248123 edges, 5257 markings/sec, 10 secs
lola: 104272 markings, 331037 edges, 5289 markings/sec, 15 secs
lola: 130791 markings, 411859 edges, 5304 markings/sec, 20 secs
lola: 157371 markings, 491445 edges, 5316 markings/sec, 25 secs
lola: 184036 markings, 570902 edges, 5333 markings/sec, 30 secs
lola: 210548 markings, 650579 edges, 5302 markings/sec, 35 secs
lola: 236821 markings, 731031 edges, 5255 markings/sec, 40 secs
lola: 263064 markings, 812519 edges, 5249 markings/sec, 45 secs
lola: 289500 markings, 892516 edges, 5287 markings/sec, 50 secs
lola: 315403 markings, 971823 edges, 5181 markings/sec, 55 secs
lola: 341727 markings, 1052816 edges, 5265 markings/sec, 60 secs
lola: 367563 markings, 1133228 edges, 5167 markings/sec, 65 secs
lola: 393407 markings, 1214661 edges, 5169 markings/sec, 70 secs
lola: 419523 markings, 1294805 edges, 5223 markings/sec, 75 secs
lola: 445739 markings, 1377731 edges, 5243 markings/sec, 80 secs
lola: 472033 markings, 1458220 edges, 5259 markings/sec, 85 secs
lola: 498074 markings, 1543843 edges, 5208 markings/sec, 90 secs
lola: 524195 markings, 1626139 edges, 5224 markings/sec, 95 secs
lola: 550327 markings, 1706257 edges, 5226 markings/sec, 100 secs
lola: 576963 markings, 1785914 edges, 5327 markings/sec, 105 secs
lola: 603381 markings, 1868103 edges, 5284 markings/sec, 110 secs
lola: 629800 markings, 1949530 edges, 5284 markings/sec, 115 secs
lola: 656048 markings, 2033813 edges, 5250 markings/sec, 120 secs
lola: 682361 markings, 2118156 edges, 5263 markings/sec, 125 secs
lola: 708714 markings, 2201778 edges, 5271 markings/sec, 130 secs
lola: 735291 markings, 2281384 edges, 5315 markings/sec, 135 secs
lola: 761867 markings, 2361168 edges, 5315 markings/sec, 140 secs
lola: 788341 markings, 2440613 edges, 5295 markings/sec, 145 secs
lola: 815087 markings, 2518567 edges, 5349 markings/sec, 150 secs
lola: 841668 markings, 2597375 edges, 5316 markings/sec, 155 secs
lola: 868056 markings, 2677833 edges, 5278 markings/sec, 160 secs
lola: 894310 markings, 2761463 edges, 5251 markings/sec, 165 secs
lola: 920888 markings, 2839804 edges, 5316 markings/sec, 170 secs
lola: 947063 markings, 2919553 edges, 5235 markings/sec, 175 secs
lola: 973444 markings, 3000503 edges, 5276 markings/sec, 180 secs
lola: 999727 markings, 3082272 edges, 5257 markings/sec, 185 secs
lola: 1026147 markings, 3162934 edges, 5284 markings/sec, 190 secs
lola: 1052615 markings, 3241638 edges, 5294 markings/sec, 195 secs
lola: 1079076 markings, 3319807 edges, 5292 markings/sec, 200 secs
lola: 1105413 markings, 3399923 edges, 5267 markings/sec, 205 secs
lola: 1131587 markings, 3481903 edges, 5235 markings/sec, 210 secs
lola: 1157877 markings, 3562082 edges, 5258 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: 335688 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__12_18_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__12_18_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 50
lola: 24533 markings, 82684 edges, 4907 markings/sec, 0 secs
lola: 49924 markings, 169341 edges, 5078 markings/sec, 5 secs
lola: 75438 markings, 251876 edges, 5103 markings/sec, 10 secs
lola: 100876 markings, 337553 edges, 5088 markings/sec, 15 secs
lola: 126274 markings, 424942 edges, 5080 markings/sec, 20 secs
lola: 151366 markings, 509239 edges, 5018 markings/sec, 25 secs
lola: 176940 markings, 592696 edges, 5115 markings/sec, 30 secs
lola: 202457 markings, 676420 edges, 5103 markings/sec, 35 secs
lola: 227990 markings, 760337 edges, 5107 markings/sec, 40 secs
lola: 253491 markings, 843943 edges, 5100 markings/sec, 45 secs
lola: 279054 markings, 929041 edges, 5113 markings/sec, 50 secs
lola: 304574 markings, 1014836 edges, 5104 markings/sec, 55 secs
lola: 330099 markings, 1098821 edges, 5105 markings/sec, 60 secs
lola: 355668 markings, 1181385 edges, 5114 markings/sec, 65 secs
lola: 381147 markings, 1265219 edges, 5096 markings/sec, 70 secs
lola: 406613 markings, 1349469 edges, 5093 markings/sec, 75 secs
lola: 431998 markings, 1436281 edges, 5077 markings/sec, 80 secs
lola: 457387 markings, 1521238 edges, 5078 markings/sec, 85 secs
lola: 482716 markings, 1607244 edges, 5066 markings/sec, 90 secs
lola: 508094 markings, 1691963 edges, 5076 markings/sec, 95 secs
lola: 533389 markings, 1781332 edges, 5059 markings/sec, 100 secs
lola: 558740 markings, 1869490 edges, 5070 markings/sec, 105 secs
lola: 584048 markings, 1955020 edges, 5062 markings/sec, 110 secs
lola: 609459 markings, 2037473 edges, 5082 markings/sec, 115 secs
lola: 634803 markings, 2122313 edges, 5069 markings/sec, 120 secs
lola: 660006 markings, 2211171 edges, 5041 markings/sec, 125 secs
lola: 685254 markings, 2295038 edges, 5050 markings/sec, 130 secs
lola: 710437 markings, 2380797 edges, 5037 markings/sec, 135 secs
lola: 735700 markings, 2462427 edges, 5053 markings/sec, 140 secs
lola: 760807 markings, 2549352 edges, 5021 markings/sec, 145 secs
lola: 785965 markings, 2635335 edges, 5032 markings/sec, 150 secs
lola: 811171 markings, 2722574 edges, 5041 markings/sec, 155 secs
lola: 836196 markings, 2804729 edges, 5005 markings/sec, 160 secs
lola: 861346 markings, 2888052 edges, 5030 markings/sec, 165 secs
lola: 886553 markings, 2973461 edges, 5041 markings/sec, 170 secs
lola: 911741 markings, 3061633 edges, 5038 markings/sec, 175 secs
lola: 937196 markings, 3147407 edges, 5091 markings/sec, 180 secs
lola: 962860 markings, 3231318 edges, 5133 markings/sec, 185 secs
lola: 988143 markings, 3314433 edges, 5057 markings/sec, 190 secs
lola: 1013169 markings, 3401082 edges, 5005 markings/sec, 195 secs
lola: 1038121 markings, 3488162 edges, 4990 markings/sec, 200 secs
lola: 1063202 markings, 3570781 edges, 5016 markings/sec, 205 secs
lola: 1088121 markings, 3658112 edges, 4984 markings/sec, 210 secs
lola: 1112951 markings, 3743660 edges, 4966 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: 341456 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__16_10_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__16_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: Structural Bound: 50
lola: 23867 markings, 86635 edges, 4773 markings/sec, 0 secs
lola: 49086 markings, 176401 edges, 5044 markings/sec, 5 secs
lola: 74142 markings, 268141 edges, 5011 markings/sec, 10 secs
lola: 99181 markings, 359261 edges, 5008 markings/sec, 15 secs
lola: 124244 markings, 449979 edges, 5013 markings/sec, 20 secs
lola: 149148 markings, 546289 edges, 4981 markings/sec, 25 secs
lola: 174151 markings, 639874 edges, 5001 markings/sec, 30 secs
lola: 199245 markings, 731620 edges, 5019 markings/sec, 35 secs
lola: 224338 markings, 824158 edges, 5019 markings/sec, 40 secs
lola: 249405 markings, 913652 edges, 5013 markings/sec, 45 secs
lola: 274439 markings, 1006519 edges, 5007 markings/sec, 50 secs
lola: 299464 markings, 1102104 edges, 5005 markings/sec, 55 secs
lola: 324304 markings, 1193991 edges, 4968 markings/sec, 60 secs
lola: 349028 markings, 1285542 edges, 4945 markings/sec, 65 secs
lola: 374023 markings, 1382402 edges, 4999 markings/sec, 70 secs
lola: 399082 markings, 1474354 edges, 5012 markings/sec, 75 secs
lola: 423597 markings, 1564503 edges, 4903 markings/sec, 80 secs
lola: 448644 markings, 1661261 edges, 5009 markings/sec, 85 secs
lola: 473725 markings, 1754936 edges, 5016 markings/sec, 90 secs
lola: 498637 markings, 1852686 edges, 4982 markings/sec, 95 secs
lola: 523856 markings, 1945093 edges, 5044 markings/sec, 100 secs
lola: 549060 markings, 2035877 edges, 5041 markings/sec, 105 secs
lola: 574515 markings, 2129677 edges, 5091 markings/sec, 110 secs
lola: 600069 markings, 2221930 edges, 5111 markings/sec, 115 secs
lola: 625596 markings, 2315119 edges, 5105 markings/sec, 120 secs
lola: 650982 markings, 2411207 edges, 5077 markings/sec, 125 secs
lola: 676335 markings, 2505069 edges, 5071 markings/sec, 130 secs
lola: 701664 markings, 2597675 edges, 5066 markings/sec, 135 secs
lola: 727019 markings, 2691369 edges, 5071 markings/sec, 140 secs
lola: 752404 markings, 2786235 edges, 5077 markings/sec, 145 secs
lola: 777737 markings, 2881674 edges, 5067 markings/sec, 150 secs
lola: 802872 markings, 2976693 edges, 5027 markings/sec, 155 secs
lola: 827917 markings, 3070515 edges, 5009 markings/sec, 160 secs
lola: 853099 markings, 3160849 edges, 5036 markings/sec, 165 secs
lola: 878009 markings, 3252650 edges, 4982 markings/sec, 170 secs
lola: 903127 markings, 3347324 edges, 5024 markings/sec, 175 secs
lola: 928324 markings, 3445198 edges, 5039 markings/sec, 180 secs
lola: 953461 markings, 3543334 edges, 5027 markings/sec, 185 secs
lola: 978648 markings, 3641432 edges, 5037 markings/sec, 190 secs
lola: 1003541 markings, 3738215 edges, 4979 markings/sec, 195 secs
lola: 1028804 markings, 3833571 edges, 5053 markings/sec, 200 secs
lola: 1053935 markings, 3931334 edges, 5026 markings/sec, 205 secs
lola: 1079018 markings, 4029089 edges, 5017 markings/sec, 210 secs
lola: 1104205 markings, 4124709 edges, 5037 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: 324232 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_15_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__3_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: 50
lola: 25248 markings, 82582 edges, 5050 markings/sec, 0 secs
lola: 51425 markings, 163779 edges, 5235 markings/sec, 5 secs
lola: 77576 markings, 244574 edges, 5230 markings/sec, 10 secs
lola: 103529 markings, 327600 edges, 5191 markings/sec, 15 secs
lola: 129712 markings, 412208 edges, 5237 markings/sec, 20 secs
lola: 155903 markings, 494851 edges, 5238 markings/sec, 25 secs
lola: 182141 markings, 576197 edges, 5248 markings/sec, 30 secs
lola: 208293 markings, 656251 edges, 5230 markings/sec, 35 secs
lola: 234407 markings, 735699 edges, 5223 markings/sec, 40 secs
lola: 260666 markings, 816930 edges, 5252 markings/sec, 45 secs
lola: 286789 markings, 900107 edges, 5225 markings/sec, 50 secs
lola: 312892 markings, 983083 edges, 5221 markings/sec, 55 secs
lola: 339120 markings, 1062323 edges, 5246 markings/sec, 60 secs
lola: 365311 markings, 1142806 edges, 5238 markings/sec, 65 secs
lola: 391368 markings, 1226036 edges, 5211 markings/sec, 70 secs
lola: 417589 markings, 1307060 edges, 5244 markings/sec, 75 secs
lola: 443768 markings, 1387176 edges, 5236 markings/sec, 80 secs
lola: 469983 markings, 1467599 edges, 5243 markings/sec, 85 secs
lola: 496071 markings, 1547922 edges, 5218 markings/sec, 90 secs
lola: 522029 markings, 1631286 edges, 5192 markings/sec, 95 secs
lola: 548306 markings, 1710826 edges, 5255 markings/sec, 100 secs
lola: 574615 markings, 1792710 edges, 5262 markings/sec, 105 secs
lola: 600615 markings, 1875979 edges, 5200 markings/sec, 110 secs
lola: 626544 markings, 1959631 edges, 5186 markings/sec, 115 secs
lola: 652416 markings, 2045328 edges, 5174 markings/sec, 120 secs
lola: 678466 markings, 2128947 edges, 5210 markings/sec, 125 secs
lola: 704549 markings, 2212614 edges, 5217 markings/sec, 130 secs
lola: 730607 markings, 2294429 edges, 5212 markings/sec, 135 secs
lola: 756736 markings, 2375394 edges, 5226 markings/sec, 140 secs
lola: 782731 markings, 2456799 edges, 5199 markings/sec, 145 secs
lola: 808885 markings, 2537591 edges, 5231 markings/sec, 150 secs
lola: 834851 markings, 2623568 edges, 5193 markings/sec, 155 secs
lola: 860806 markings, 2709592 edges, 5191 markings/sec, 160 secs
lola: 886800 markings, 2790525 edges, 5199 markings/sec, 165 secs
lola: 912715 markings, 2876417 edges, 5183 markings/sec, 170 secs
lola: 938189 markings, 2959458 edges, 5095 markings/sec, 175 secs
lola: 964167 markings, 3040918 edges, 5196 markings/sec, 180 secs
lola: 990454 markings, 3121235 edges, 5257 markings/sec, 185 secs
lola: 1016572 markings, 3204541 edges, 5224 markings/sec, 190 secs
lola: 1042860 markings, 3285383 edges, 5258 markings/sec, 195 secs
lola: 1069118 markings, 3366191 edges, 5252 markings/sec, 200 secs
lola: 1095370 markings, 3446631 edges, 5250 markings/sec, 205 secs
lola: 1121729 markings, 3526992 edges, 5272 markings/sec, 210 secs
lola: 1147725 markings, 3613667 edges, 5199 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: 359212 KB
lola: time consumption: 2232 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__13_10_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__13_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: Structural Bound: 50
lola: 25066 markings, 73457 edges, 5013 markings/sec, 0 secs
lola: 50967 markings, 151906 edges, 5180 markings/sec, 5 secs
lola: 76894 markings, 227689 edges, 5185 markings/sec, 10 secs
lola: 102620 markings, 305556 edges, 5145 markings/sec, 15 secs
lola: 128504 markings, 382829 edges, 5177 markings/sec, 20 secs
lola: 154379 markings, 459667 edges, 5175 markings/sec, 25 secs
lola: 180364 markings, 531793 edges, 5197 markings/sec, 30 secs
lola: 206253 markings, 612537 edges, 5178 markings/sec, 35 secs
lola: 232215 markings, 685304 edges, 5192 markings/sec, 40 secs
lola: 257854 markings, 766306 edges, 5128 markings/sec, 45 secs
lola: 283289 markings, 849021 edges, 5087 markings/sec, 50 secs
lola: 309046 markings, 920524 edges, 5151 markings/sec, 55 secs
lola: 334670 markings, 996272 edges, 5125 markings/sec, 60 secs
lola: 360442 markings, 1067885 edges, 5154 markings/sec, 65 secs
lola: 386218 markings, 1139380 edges, 5155 markings/sec, 70 secs
lola: 411971 markings, 1210805 edges, 5151 markings/sec, 75 secs
lola: 437553 markings, 1285288 edges, 5116 markings/sec, 80 secs
lola: 463292 markings, 1358397 edges, 5148 markings/sec, 85 secs
lola: 489333 markings, 1427566 edges, 5208 markings/sec, 90 secs
lola: 515280 markings, 1501473 edges, 5189 markings/sec, 95 secs
lola: 541312 markings, 1572784 edges, 5206 markings/sec, 100 secs
lola: 567174 markings, 1642523 edges, 5172 markings/sec, 105 secs
lola: 592898 markings, 1715439 edges, 5145 markings/sec, 110 secs
lola: 618581 markings, 1788351 edges, 5137 markings/sec, 115 secs
lola: 644151 markings, 1866743 edges, 5114 markings/sec, 120 secs
lola: 669986 markings, 1936052 edges, 5167 markings/sec, 125 secs
lola: 695794 markings, 2006873 edges, 5162 markings/sec, 130 secs
lola: 721592 markings, 2078085 edges, 5160 markings/sec, 135 secs
lola: 747280 markings, 2153981 edges, 5138 markings/sec, 140 secs
lola: 772898 markings, 2232664 edges, 5124 markings/sec, 145 secs
lola: 798593 markings, 2306822 edges, 5139 markings/sec, 150 secs
lola: 824495 markings, 2372791 edges, 5180 markings/sec, 155 secs
lola: 850282 markings, 2443435 edges, 5157 markings/sec, 160 secs
lola: 876421 markings, 2510974 edges, 5228 markings/sec, 165 secs
lola: 902510 markings, 2580989 edges, 5218 markings/sec, 170 secs
lola: 928470 markings, 2654809 edges, 5192 markings/sec, 175 secs
lola: 954444 markings, 2728868 edges, 5195 markings/sec, 180 secs
lola: 980426 markings, 2801737 edges, 5196 markings/sec, 185 secs
lola: 1006255 markings, 2880284 edges, 5166 markings/sec, 190 secs
lola: 1032091 markings, 2959260 edges, 5167 markings/sec, 195 secs
lola: 1057971 markings, 3037156 edges, 5176 markings/sec, 200 secs
lola: 1083883 markings, 3114957 edges, 5182 markings/sec, 205 secs
lola: 1110035 markings, 3181220 edges, 5230 markings/sec, 210 secs
lola: 1136182 markings, 3248217 edges, 5229 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: 406360 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_6_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__14_6_)
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: 50
lola: 24285 markings, 71286 edges, 4857 markings/sec, 0 secs
lola: 50269 markings, 147692 edges, 5197 markings/sec, 5 secs
lola: 76086 markings, 226320 edges, 5163 markings/sec, 10 secs
lola: 101950 markings, 304622 edges, 5173 markings/sec, 15 secs
lola: 127638 markings, 382816 edges, 5138 markings/sec, 20 secs
lola: 153501 markings, 461373 edges, 5173 markings/sec, 25 secs
lola: 179448 markings, 537433 edges, 5189 markings/sec, 30 secs
lola: 205345 markings, 615187 edges, 5179 markings/sec, 35 secs
lola: 231266 markings, 691878 edges, 5184 markings/sec, 40 secs
lola: 257172 markings, 768680 edges, 5181 markings/sec, 45 secs
lola: 283072 markings, 845422 edges, 5180 markings/sec, 50 secs
lola: 308987 markings, 920424 edges, 5183 markings/sec, 55 secs
lola: 334836 markings, 998565 edges, 5170 markings/sec, 60 secs
lola: 360736 markings, 1075242 edges, 5180 markings/sec, 65 secs
lola: 386644 markings, 1151027 edges, 5182 markings/sec, 70 secs
lola: 412485 markings, 1228702 edges, 5168 markings/sec, 75 secs
lola: 438288 markings, 1306977 edges, 5161 markings/sec, 80 secs
lola: 464162 markings, 1383045 edges, 5175 markings/sec, 85 secs
lola: 490005 markings, 1460115 edges, 5169 markings/sec, 90 secs
lola: 515801 markings, 1538453 edges, 5159 markings/sec, 95 secs
lola: 541694 markings, 1615188 edges, 5179 markings/sec, 100 secs
lola: 567594 markings, 1691371 edges, 5180 markings/sec, 105 secs
lola: 593149 markings, 1769139 edges, 5111 markings/sec, 110 secs
lola: 618911 markings, 1848799 edges, 5152 markings/sec, 115 secs
lola: 644788 markings, 1925761 edges, 5175 markings/sec, 120 secs
lola: 670568 markings, 2004832 edges, 5156 markings/sec, 125 secs
lola: 696126 markings, 2084118 edges, 5112 markings/sec, 130 secs
lola: 721835 markings, 2160012 edges, 5142 markings/sec, 135 secs
lola: 747618 markings, 2235351 edges, 5157 markings/sec, 140 secs
lola: 773216 markings, 2314958 edges, 5120 markings/sec, 145 secs
lola: 798770 markings, 2396641 edges, 5111 markings/sec, 150 secs
lola: 824481 markings, 2478872 edges, 5142 markings/sec, 155 secs
lola: 850136 markings, 2561214 edges, 5131 markings/sec, 160 secs
lola: 875998 markings, 2638983 edges, 5172 markings/sec, 165 secs
lola: 901723 markings, 2719343 edges, 5145 markings/sec, 170 secs
lola: 927441 markings, 2797769 edges, 5144 markings/sec, 175 secs
lola: 953219 markings, 2876027 edges, 5156 markings/sec, 180 secs
lola: 979050 markings, 2956252 edges, 5166 markings/sec, 185 secs
lola: 1004865 markings, 3035311 edges, 5163 markings/sec, 190 secs
lola: 1030629 markings, 3114891 edges, 5153 markings/sec, 195 secs
lola: 1056283 markings, 3198576 edges, 5131 markings/sec, 200 secs
lola: 1082013 markings, 3278015 edges, 5146 markings/sec, 205 secs
lola: 1107837 markings, 3356502 edges, 5165 markings/sec, 210 secs
lola: 1133684 markings, 3434201 edges, 5169 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: 365736 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__4_8_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__4_8_)
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: 50
lola: 25154 markings, 89422 edges, 5031 markings/sec, 0 secs
lola: 51111 markings, 182061 edges, 5191 markings/sec, 5 secs
lola: 76857 markings, 269350 edges, 5149 markings/sec, 10 secs
lola: 102572 markings, 358116 edges, 5143 markings/sec, 15 secs
lola: 128639 markings, 445166 edges, 5213 markings/sec, 20 secs
lola: 154758 markings, 531577 edges, 5224 markings/sec, 25 secs
lola: 180846 markings, 618263 edges, 5218 markings/sec, 30 secs
lola: 206988 markings, 700076 edges, 5228 markings/sec, 35 secs
lola: 232996 markings, 784963 edges, 5202 markings/sec, 40 secs
lola: 258958 markings, 871398 edges, 5192 markings/sec, 45 secs
lola: 284913 markings, 957700 edges, 5191 markings/sec, 50 secs
lola: 310817 markings, 1045110 edges, 5181 markings/sec, 55 secs
lola: 336625 markings, 1135467 edges, 5162 markings/sec, 60 secs
lola: 362812 markings, 1216495 edges, 5237 markings/sec, 65 secs
lola: 388791 markings, 1304675 edges, 5196 markings/sec, 70 secs
lola: 414934 markings, 1386875 edges, 5229 markings/sec, 75 secs
lola: 440889 markings, 1473642 edges, 5191 markings/sec, 80 secs
lola: 466963 markings, 1558257 edges, 5215 markings/sec, 85 secs
lola: 493072 markings, 1642135 edges, 5222 markings/sec, 90 secs
lola: 519021 markings, 1729998 edges, 5190 markings/sec, 95 secs
lola: 545171 markings, 1812048 edges, 5230 markings/sec, 100 secs
lola: 571233 markings, 1895494 edges, 5212 markings/sec, 105 secs
lola: 597267 markings, 1977040 edges, 5207 markings/sec, 110 secs
lola: 623385 markings, 2057405 edges, 5224 markings/sec, 115 secs
lola: 649524 markings, 2136343 edges, 5228 markings/sec, 120 secs
lola: 675432 markings, 2222673 edges, 5182 markings/sec, 125 secs
lola: 701217 markings, 2311461 edges, 5157 markings/sec, 130 secs
lola: 727170 markings, 2394108 edges, 5191 markings/sec, 135 secs
lola: 753049 markings, 2482308 edges, 5176 markings/sec, 140 secs
lola: 779014 markings, 2566837 edges, 5193 markings/sec, 145 secs
lola: 804919 markings, 2653211 edges, 5181 markings/sec, 150 secs
lola: 830684 markings, 2742708 edges, 5153 markings/sec, 155 secs
lola: 856516 markings, 2830982 edges, 5166 markings/sec, 160 secs
lola: 882418 markings, 2917510 edges, 5180 markings/sec, 165 secs
lola: 908181 markings, 3003575 edges, 5153 markings/sec, 170 secs
lola: 934026 markings, 3084392 edges, 5169 markings/sec, 175 secs
lola: 959818 markings, 3167363 edges, 5158 markings/sec, 180 secs
lola: 985526 markings, 3253140 edges, 5142 markings/sec, 185 secs
lola: 1011337 markings, 3337853 edges, 5162 markings/sec, 190 secs
lola: 1037101 markings, 3421426 edges, 5153 markings/sec, 195 secs
lola: 1062515 markings, 3509131 edges, 5083 markings/sec, 200 secs
lola: 1087994 markings, 3595578 edges, 5096 markings/sec, 205 secs
lola: 1113683 markings, 3677862 edges, 5138 markings/sec, 210 secs
lola: 1139402 markings, 3759267 edges, 5144 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: 316272 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 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__15_2_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__15_2_)
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: 50
lola: 23801 markings, 80546 edges, 4760 markings/sec, 0 secs
lola: 48649 markings, 165515 edges, 4970 markings/sec, 5 secs
lola: 73282 markings, 255168 edges, 4927 markings/sec, 10 secs
lola: 98318 markings, 341905 edges, 5007 markings/sec, 15 secs
lola: 123472 markings, 427271 edges, 5031 markings/sec, 20 secs
lola: 148401 markings, 517772 edges, 4986 markings/sec, 25 secs
lola: 173476 markings, 604248 edges, 5015 markings/sec, 30 secs
lola: 198599 markings, 690868 edges, 5025 markings/sec, 35 secs
lola: 223669 markings, 779500 edges, 5014 markings/sec, 40 secs
lola: 248791 markings, 866584 edges, 5024 markings/sec, 45 secs
lola: 273872 markings, 954303 edges, 5016 markings/sec, 50 secs
lola: 298869 markings, 1043653 edges, 4999 markings/sec, 55 secs
lola: 324087 markings, 1128861 edges, 5044 markings/sec, 60 secs
lola: 349226 markings, 1215076 edges, 5028 markings/sec, 65 secs
lola: 374250 markings, 1303051 edges, 5005 markings/sec, 70 secs
lola: 399229 markings, 1391134 edges, 4996 markings/sec, 75 secs
lola: 424195 markings, 1479571 edges, 4993 markings/sec, 80 secs
lola: 449067 markings, 1569354 edges, 4974 markings/sec, 85 secs
lola: 473993 markings, 1658167 edges, 4985 markings/sec, 90 secs
lola: 499055 markings, 1748907 edges, 5012 markings/sec, 95 secs
lola: 524087 markings, 1842688 edges, 5006 markings/sec, 100 secs
lola: 549193 markings, 1934000 edges, 5021 markings/sec, 105 secs
lola: 574362 markings, 2022902 edges, 5034 markings/sec, 110 secs
lola: 599508 markings, 2112588 edges, 5029 markings/sec, 115 secs
lola: 624566 markings, 2204162 edges, 5012 markings/sec, 120 secs
lola: 649683 markings, 2295193 edges, 5023 markings/sec, 125 secs
lola: 674853 markings, 2385481 edges, 5034 markings/sec, 130 secs
lola: 699957 markings, 2475303 edges, 5021 markings/sec, 135 secs
lola: 725116 markings, 2566792 edges, 5032 markings/sec, 140 secs
lola: 750390 markings, 2654417 edges, 5055 markings/sec, 145 secs
lola: 775632 markings, 2744435 edges, 5048 markings/sec, 150 secs
lola: 800907 markings, 2833752 edges, 5055 markings/sec, 155 secs
lola: 826221 markings, 2919703 edges, 5063 markings/sec, 160 secs
lola: 851290 markings, 3011335 edges, 5014 markings/sec, 165 secs
lola: 876343 markings, 3102951 edges, 5011 markings/sec, 170 secs
lola: 901502 markings, 3192274 edges, 5032 markings/sec, 175 secs
lola: 926613 markings, 3282873 edges, 5022 markings/sec, 180 secs
lola: 951689 markings, 3376393 edges, 5015 markings/sec, 185 secs
lola: 976740 markings, 3470347 edges, 5010 markings/sec, 190 secs
lola: 1001779 markings, 3563033 edges, 5008 markings/sec, 195 secs
lola: 1026937 markings, 3654038 edges, 5032 markings/sec, 200 secs
lola: 1052092 markings, 3745620 edges, 5031 markings/sec, 205 secs
lola: 1077205 markings, 3838441 edges, 5023 markings/sec, 210 secs
lola: 1102349 markings, 3929935 edges, 5029 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: 299016 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__3_1_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__3_1_)
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: 50
lola: 25245 markings, 84568 edges, 5049 markings/sec, 0 secs
lola: 51592 markings, 165084 edges, 5269 markings/sec, 5 secs
lola: 77360 markings, 244662 edges, 5154 markings/sec, 10 secs
lola: 103618 markings, 326741 edges, 5252 markings/sec, 15 secs
lola: 129833 markings, 406300 edges, 5243 markings/sec, 20 secs
lola: 155893 markings, 490535 edges, 5212 markings/sec, 25 secs
lola: 182146 markings, 572543 edges, 5251 markings/sec, 30 secs
lola: 208457 markings, 653879 edges, 5262 markings/sec, 35 secs
lola: 234653 markings, 736036 edges, 5239 markings/sec, 40 secs
lola: 260979 markings, 817520 edges, 5265 markings/sec, 45 secs
lola: 287285 markings, 899926 edges, 5261 markings/sec, 50 secs
lola: 313331 markings, 982078 edges, 5209 markings/sec, 55 secs
lola: 339607 markings, 1063593 edges, 5255 markings/sec, 60 secs
lola: 365923 markings, 1144640 edges, 5263 markings/sec, 65 secs
lola: 392127 markings, 1229336 edges, 5241 markings/sec, 70 secs
lola: 418355 markings, 1310465 edges, 5246 markings/sec, 75 secs
lola: 444488 markings, 1390652 edges, 5227 markings/sec, 80 secs
lola: 470602 markings, 1472724 edges, 5223 markings/sec, 85 secs
lola: 496831 markings, 1552562 edges, 5246 markings/sec, 90 secs
lola: 523063 markings, 1635226 edges, 5246 markings/sec, 95 secs
lola: 549381 markings, 1716625 edges, 5264 markings/sec, 100 secs
lola: 575630 markings, 1799066 edges, 5250 markings/sec, 105 secs
lola: 601891 markings, 1881282 edges, 5252 markings/sec, 110 secs
lola: 628130 markings, 1963796 edges, 5248 markings/sec, 115 secs
lola: 654298 markings, 2048201 edges, 5234 markings/sec, 120 secs
lola: 680641 markings, 2127893 edges, 5269 markings/sec, 125 secs
lola: 706934 markings, 2210153 edges, 5259 markings/sec, 130 secs
lola: 733249 markings, 2290171 edges, 5263 markings/sec, 135 secs
lola: 759604 markings, 2372660 edges, 5271 markings/sec, 140 secs
lola: 785827 markings, 2456906 edges, 5245 markings/sec, 145 secs
lola: 812010 markings, 2543560 edges, 5237 markings/sec, 150 secs
lola: 838391 markings, 2623293 edges, 5276 markings/sec, 155 secs
lola: 864712 markings, 2706004 edges, 5264 markings/sec, 160 secs
lola: 890742 markings, 2787306 edges, 5206 markings/sec, 165 secs
lola: 916892 markings, 2869877 edges, 5230 markings/sec, 170 secs
lola: 942996 markings, 2951643 edges, 5221 markings/sec, 175 secs
lola: 968886 markings, 3032180 edges, 5178 markings/sec, 180 secs
lola: 994795 markings, 3111239 edges, 5182 markings/sec, 185 secs
lola: 1021155 markings, 3192572 edges, 5272 markings/sec, 190 secs
lola: 1047519 markings, 3272378 edges, 5273 markings/sec, 195 secs
lola: 1073887 markings, 3353419 edges, 5274 markings/sec, 200 secs
lola: 1100207 markings, 3432585 edges, 5264 markings/sec, 205 secs
lola: 1126513 markings, 3517347 edges, 5261 markings/sec, 210 secs
lola: 1152764 markings, 3600132 edges, 5250 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: 331680 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__10_14_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__10_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: 50
lola: 24746 markings, 79192 edges, 4949 markings/sec, 0 secs
lola: 50150 markings, 164044 edges, 5081 markings/sec, 5 secs
lola: 75917 markings, 250555 edges, 5153 markings/sec, 10 secs
lola: 101442 markings, 333271 edges, 5105 markings/sec, 15 secs
lola: 127209 markings, 419099 edges, 5153 markings/sec, 20 secs
lola: 152755 markings, 511724 edges, 5109 markings/sec, 25 secs
lola: 178353 markings, 601882 edges, 5120 markings/sec, 30 secs
lola: 203968 markings, 690709 edges, 5123 markings/sec, 35 secs
lola: 229846 markings, 774912 edges, 5176 markings/sec, 40 secs
lola: 255699 markings, 862619 edges, 5171 markings/sec, 45 secs
lola: 281642 markings, 946405 edges, 5189 markings/sec, 50 secs
lola: 307378 markings, 1031551 edges, 5147 markings/sec, 55 secs
lola: 332914 markings, 1120133 edges, 5107 markings/sec, 60 secs
lola: 358476 markings, 1209607 edges, 5112 markings/sec, 65 secs
lola: 383899 markings, 1296261 edges, 5085 markings/sec, 70 secs
lola: 409677 markings, 1381903 edges, 5156 markings/sec, 75 secs
lola: 435190 markings, 1474250 edges, 5103 markings/sec, 80 secs
lola: 460854 markings, 1561339 edges, 5133 markings/sec, 85 secs
lola: 486275 markings, 1656789 edges, 5084 markings/sec, 90 secs
lola: 512119 markings, 1740345 edges, 5169 markings/sec, 95 secs
lola: 537735 markings, 1830388 edges, 5123 markings/sec, 100 secs
lola: 563500 markings, 1913651 edges, 5153 markings/sec, 105 secs
lola: 589261 markings, 1996989 edges, 5152 markings/sec, 110 secs
lola: 614731 markings, 2088306 edges, 5094 markings/sec, 115 secs
lola: 640288 markings, 2177194 edges, 5111 markings/sec, 120 secs
lola: 665889 markings, 2264440 edges, 5120 markings/sec, 125 secs
lola: 691470 markings, 2351498 edges, 5116 markings/sec, 130 secs
lola: 716943 markings, 2441050 edges, 5095 markings/sec, 135 secs
lola: 742490 markings, 2530277 edges, 5109 markings/sec, 140 secs
lola: 768142 markings, 2616428 edges, 5130 markings/sec, 145 secs
lola: 793582 markings, 2701936 edges, 5088 markings/sec, 150 secs
lola: 818976 markings, 2792053 edges, 5079 markings/sec, 155 secs
lola: 844417 markings, 2883570 edges, 5088 markings/sec, 160 secs
lola: 870030 markings, 2972064 edges, 5123 markings/sec, 165 secs
lola: 895328 markings, 3065955 edges, 5060 markings/sec, 170 secs
lola: 920938 markings, 3153424 edges, 5122 markings/sec, 175 secs
lola: 946178 markings, 3247864 edges, 5048 markings/sec, 180 secs
lola: 971628 markings, 3338731 edges, 5090 markings/sec, 185 secs
lola: 997062 markings, 3427249 edges, 5087 markings/sec, 190 secs
lola: 1022369 markings, 3521152 edges, 5061 markings/sec, 195 secs
lola: 1048165 markings, 3605198 edges, 5159 markings/sec, 200 secs
lola: 1073921 markings, 3690945 edges, 5151 markings/sec, 205 secs
lola: 1099613 markings, 3779664 edges, 5138 markings/sec, 210 secs
lola: 1125150 markings, 3870969 edges, 5107 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: 401896 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__18_5_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__18_5_)
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: 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 LoLAlola:

preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown lola:

preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 32196 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: 32196 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 1552570940432

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

tar xzf /home/mcc/BenchKit/INPUTS/Diffusion2D-PT-D20N050.tgz
mv Diffusion2D-PT-D20N050 execution
cd execution
if [ "UpperBounds" = "GlobalProperties" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
if [ "UpperBounds" = "UpperBounds" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' UpperBounds.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;