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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.3M
-rw-r--r-- 1 mcc users 3.6K Feb 10 21:32 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Feb 10 21:32 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Feb 6 17:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K 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 2.8K 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.3K Feb 4 22:34 LTLFireability.txt
-rw-r--r-- 1 mcc users 12K Feb 4 22:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K 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 3.6K Jan 30 23:45 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K 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-D20N010-UpperBounds-00
FORMULA_NAME Diffusion2D-PT-D20N010-UpperBounds-01
FORMULA_NAME Diffusion2D-PT-D20N010-UpperBounds-02
FORMULA_NAME Diffusion2D-PT-D20N010-UpperBounds-03
FORMULA_NAME Diffusion2D-PT-D20N010-UpperBounds-04
FORMULA_NAME Diffusion2D-PT-D20N010-UpperBounds-05
FORMULA_NAME Diffusion2D-PT-D20N010-UpperBounds-06
FORMULA_NAME Diffusion2D-PT-D20N010-UpperBounds-07
FORMULA_NAME Diffusion2D-PT-D20N010-UpperBounds-08
FORMULA_NAME Diffusion2D-PT-D20N010-UpperBounds-09
FORMULA_NAME Diffusion2D-PT-D20N010-UpperBounds-10
FORMULA_NAME Diffusion2D-PT-D20N010-UpperBounds-11
FORMULA_NAME Diffusion2D-PT-D20N010-UpperBounds-12
FORMULA_NAME Diffusion2D-PT-D20N010-UpperBounds-13
FORMULA_NAME Diffusion2D-PT-D20N010-UpperBounds-14
FORMULA_NAME Diffusion2D-PT-D20N010-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1552565550335

info: Time: 3600 - MCC
vrfy: Checking UpperBounds @ Diffusion2D-PT-D20N010 @ 3570 seconds

FORMULA Diffusion2D-PT-D20N010-UpperBounds-04 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA Diffusion2D-PT-D20N010-UpperBounds-06 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for UpperBounds @ Diffusion2D-PT-D20N010

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 270
},
"exit":
{
"localtimelimitreached": true,
"memory": 466616,
"runtime": 3570.000000,
"signal": "User defined signal 1"
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "MAX(cAMP__9_14_)",
"processed_size": 16,
"rewrites": 0
},
"result":
{
"preliminary_value": "unknown unknown unknown unknown 10 unknown 10 unknown unknown unknown unknown unknown unknown unknown unknown unknown "
},
"task":
{
"compoundnumber": 15,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 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__10_18_) : MAX(cAMP__6_15_) : MAX(cAMP__6_16_) : MAX(cAMP__11_14_) : MAX(cAMP__13_13_) : MAX(cAMP__20_1_) : MAX(cAMP__11_8_) : MAX(cAMP__18_12_) : MAX(cAMP__4_15_) : MAX(cAMP__15_7_) : MAX(cAMP__18_11_) : MAX(cAMP__18_16_) : MAX(cAMP__10_17_) : MAX(cAMP__1_20_) : MAX(cAMP__16_15_) : MAX(cAMP__9_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__10_18_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__10_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: 10
lola: 24252 markings, 83478 edges, 4850 markings/sec, 0 secs
lola: 49879 markings, 168305 edges, 5125 markings/sec, 5 secs
lola: 75440 markings, 254927 edges, 5112 markings/sec, 10 secs
lola: 100926 markings, 341999 edges, 5097 markings/sec, 15 secs
lola: 126160 markings, 433086 edges, 5047 markings/sec, 20 secs
lola: 151504 markings, 522088 edges, 5069 markings/sec, 25 secs
lola: 177114 markings, 606906 edges, 5122 markings/sec, 30 secs
lola: 202671 markings, 693670 edges, 5111 markings/sec, 35 secs
lola: 228239 markings, 780317 edges, 5114 markings/sec, 40 secs
lola: 253760 markings, 867516 edges, 5104 markings/sec, 45 secs
lola: 279398 markings, 946426 edges, 5128 markings/sec, 50 secs
lola: 305014 markings, 1025586 edges, 5123 markings/sec, 55 secs
lola: 330626 markings, 1105387 edges, 5122 markings/sec, 60 secs
lola: 356070 markings, 1190358 edges, 5089 markings/sec, 65 secs
lola: 381506 markings, 1275054 edges, 5087 markings/sec, 70 secs
lola: 406992 markings, 1359283 edges, 5097 markings/sec, 75 secs
lola: 432337 markings, 1445109 edges, 5069 markings/sec, 80 secs
lola: 457929 markings, 1528139 edges, 5118 markings/sec, 85 secs
lola: 483234 markings, 1618290 edges, 5061 markings/sec, 90 secs
lola: 508724 markings, 1702434 edges, 5098 markings/sec, 95 secs
lola: 534301 markings, 1788181 edges, 5115 markings/sec, 100 secs
lola: 559815 markings, 1877200 edges, 5103 markings/sec, 105 secs
lola: 585410 markings, 1963063 edges, 5119 markings/sec, 110 secs
lola: 610936 markings, 2050165 edges, 5105 markings/sec, 115 secs
lola: 636248 markings, 2138120 edges, 5062 markings/sec, 120 secs
lola: 661570 markings, 2224430 edges, 5064 markings/sec, 125 secs
lola: 687197 markings, 2310893 edges, 5125 markings/sec, 130 secs
lola: 712658 markings, 2393273 edges, 5092 markings/sec, 135 secs
lola: 737919 markings, 2478835 edges, 5052 markings/sec, 140 secs
lola: 763506 markings, 2562633 edges, 5117 markings/sec, 145 secs
lola: 789066 markings, 2650228 edges, 5112 markings/sec, 150 secs
lola: 814357 markings, 2740708 edges, 5058 markings/sec, 155 secs
lola: 839875 markings, 2829892 edges, 5104 markings/sec, 160 secs
lola: 865187 markings, 2914340 edges, 5062 markings/sec, 165 secs
lola: 890238 markings, 3001375 edges, 5010 markings/sec, 170 secs
lola: 914872 markings, 3090788 edges, 4927 markings/sec, 175 secs
lola: 940525 markings, 3169969 edges, 5131 markings/sec, 180 secs
lola: 966055 markings, 3253156 edges, 5106 markings/sec, 185 secs
lola: 991688 markings, 3332107 edges, 5127 markings/sec, 190 secs
lola: 1017250 markings, 3414160 edges, 5112 markings/sec, 195 secs
lola: 1042598 markings, 3499511 edges, 5070 markings/sec, 200 secs
lola: 1068128 markings, 3581111 edges, 5106 markings/sec, 205 secs
lola: 1093808 markings, 3659027 edges, 5136 markings/sec, 210 secs
lola: 1119484 markings, 3738272 edges, 5135 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: 329572 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__6_15_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__6_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: 10
lola: 25102 markings, 86383 edges, 5020 markings/sec, 0 secs
lola: 50988 markings, 173961 edges, 5177 markings/sec, 5 secs
lola: 76870 markings, 261336 edges, 5176 markings/sec, 10 secs
lola: 102720 markings, 350085 edges, 5170 markings/sec, 15 secs
lola: 128521 markings, 438660 edges, 5160 markings/sec, 20 secs
lola: 154497 markings, 523505 edges, 5195 markings/sec, 25 secs
lola: 180493 markings, 605056 edges, 5199 markings/sec, 30 secs
lola: 206360 markings, 691291 edges, 5173 markings/sec, 35 secs
lola: 232345 markings, 773819 edges, 5197 markings/sec, 40 secs
lola: 258330 markings, 858215 edges, 5197 markings/sec, 45 secs
lola: 284094 markings, 948063 edges, 5153 markings/sec, 50 secs
lola: 309824 markings, 1038573 edges, 5146 markings/sec, 55 secs
lola: 335698 markings, 1124160 edges, 5175 markings/sec, 60 secs
lola: 361250 markings, 1216775 edges, 5110 markings/sec, 65 secs
lola: 386985 markings, 1304836 edges, 5147 markings/sec, 70 secs
lola: 412867 markings, 1390131 edges, 5176 markings/sec, 75 secs
lola: 438753 markings, 1474043 edges, 5177 markings/sec, 80 secs
lola: 464632 markings, 1559188 edges, 5176 markings/sec, 85 secs
lola: 490488 markings, 1644762 edges, 5171 markings/sec, 90 secs
lola: 516184 markings, 1735612 edges, 5139 markings/sec, 95 secs
lola: 541929 markings, 1823789 edges, 5149 markings/sec, 100 secs
lola: 567601 markings, 1914079 edges, 5134 markings/sec, 105 secs
lola: 593544 markings, 2001284 edges, 5189 markings/sec, 110 secs
lola: 619446 markings, 2088302 edges, 5180 markings/sec, 115 secs
lola: 645390 markings, 2176193 edges, 5189 markings/sec, 120 secs
lola: 671237 markings, 2264238 edges, 5169 markings/sec, 125 secs
lola: 697041 markings, 2354897 edges, 5161 markings/sec, 130 secs
lola: 722766 markings, 2445333 edges, 5145 markings/sec, 135 secs
lola: 748653 markings, 2529781 edges, 5177 markings/sec, 140 secs
lola: 774497 markings, 2616115 edges, 5169 markings/sec, 145 secs
lola: 800326 markings, 2698064 edges, 5166 markings/sec, 150 secs
lola: 825903 markings, 2781451 edges, 5115 markings/sec, 155 secs
lola: 851518 markings, 2863263 edges, 5123 markings/sec, 160 secs
lola: 877145 markings, 2944903 edges, 5125 markings/sec, 165 secs
lola: 902701 markings, 3030475 edges, 5111 markings/sec, 170 secs
lola: 928325 markings, 3112767 edges, 5125 markings/sec, 175 secs
lola: 953920 markings, 3193539 edges, 5119 markings/sec, 180 secs
lola: 979424 markings, 3273787 edges, 5101 markings/sec, 185 secs
lola: 1004933 markings, 3356455 edges, 5102 markings/sec, 190 secs
lola: 1030314 markings, 3440348 edges, 5076 markings/sec, 195 secs
lola: 1055724 markings, 3525357 edges, 5082 markings/sec, 200 secs
lola: 1080838 markings, 3614504 edges, 5023 markings/sec, 205 secs
lola: 1106213 markings, 3698733 edges, 5075 markings/sec, 210 secs
lola: 1131702 markings, 3782946 edges, 5098 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: 348788 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_16_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__6_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: 10
lola: 24198 markings, 83953 edges, 4840 markings/sec, 0 secs
lola: 49972 markings, 164666 edges, 5155 markings/sec, 5 secs
lola: 75714 markings, 244826 edges, 5148 markings/sec, 10 secs
lola: 101494 markings, 325690 edges, 5156 markings/sec, 15 secs
lola: 127154 markings, 409415 edges, 5132 markings/sec, 20 secs
lola: 152935 markings, 490387 edges, 5156 markings/sec, 25 secs
lola: 178618 markings, 573210 edges, 5137 markings/sec, 30 secs
lola: 204198 markings, 656091 edges, 5116 markings/sec, 35 secs
lola: 229858 markings, 736956 edges, 5132 markings/sec, 40 secs
lola: 255669 markings, 819728 edges, 5162 markings/sec, 45 secs
lola: 281442 markings, 905001 edges, 5155 markings/sec, 50 secs
lola: 307076 markings, 986760 edges, 5127 markings/sec, 55 secs
lola: 332973 markings, 1071127 edges, 5179 markings/sec, 60 secs
lola: 358908 markings, 1153081 edges, 5187 markings/sec, 65 secs
lola: 384541 markings, 1242920 edges, 5127 markings/sec, 70 secs
lola: 410486 markings, 1323912 edges, 5189 markings/sec, 75 secs
lola: 436367 markings, 1406587 edges, 5176 markings/sec, 80 secs
lola: 462244 markings, 1490194 edges, 5175 markings/sec, 85 secs
lola: 488090 markings, 1573789 edges, 5169 markings/sec, 90 secs
lola: 513913 markings, 1656541 edges, 5165 markings/sec, 95 secs
lola: 539682 markings, 1741240 edges, 5154 markings/sec, 100 secs
lola: 565352 markings, 1829874 edges, 5134 markings/sec, 105 secs
lola: 591347 markings, 1910807 edges, 5199 markings/sec, 110 secs
lola: 617385 markings, 1994459 edges, 5208 markings/sec, 115 secs
lola: 643385 markings, 2076744 edges, 5200 markings/sec, 120 secs
lola: 669284 markings, 2158981 edges, 5180 markings/sec, 125 secs
lola: 695117 markings, 2241736 edges, 5167 markings/sec, 130 secs
lola: 720935 markings, 2323161 edges, 5164 markings/sec, 135 secs
lola: 746692 markings, 2407071 edges, 5151 markings/sec, 140 secs
lola: 772612 markings, 2488272 edges, 5184 markings/sec, 145 secs
lola: 798384 markings, 2571359 edges, 5154 markings/sec, 150 secs
lola: 824179 markings, 2655118 edges, 5159 markings/sec, 155 secs
lola: 849948 markings, 2735897 edges, 5154 markings/sec, 160 secs
lola: 875596 markings, 2821324 edges, 5130 markings/sec, 165 secs
lola: 901210 markings, 2907811 edges, 5123 markings/sec, 170 secs
lola: 927012 markings, 2990399 edges, 5160 markings/sec, 175 secs
lola: 952775 markings, 3075452 edges, 5153 markings/sec, 180 secs
lola: 978440 markings, 3162206 edges, 5133 markings/sec, 185 secs
lola: 1004065 markings, 3252023 edges, 5125 markings/sec, 190 secs
lola: 1029726 markings, 3337258 edges, 5132 markings/sec, 195 secs
lola: 1054774 markings, 3420177 edges, 5010 markings/sec, 200 secs
lola: 1080626 markings, 3504947 edges, 5170 markings/sec, 205 secs
lola: 1106545 markings, 3587431 edges, 5184 markings/sec, 210 secs
lola: 1132458 markings, 3668841 edges, 5183 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: 351180 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__11_14_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__11_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: 10
lola: 24978 markings, 77653 edges, 4996 markings/sec, 0 secs
lola: 49889 markings, 161512 edges, 4982 markings/sec, 5 secs
lola: 75172 markings, 245340 edges, 5057 markings/sec, 10 secs
lola: 100601 markings, 330535 edges, 5086 markings/sec, 15 secs
lola: 126114 markings, 416879 edges, 5103 markings/sec, 20 secs
lola: 151808 markings, 504680 edges, 5139 markings/sec, 25 secs
lola: 177601 markings, 588544 edges, 5159 markings/sec, 30 secs
lola: 203329 markings, 674602 edges, 5146 markings/sec, 35 secs
lola: 228873 markings, 765167 edges, 5109 markings/sec, 40 secs
lola: 254491 markings, 854063 edges, 5124 markings/sec, 45 secs
lola: 280053 markings, 942415 edges, 5112 markings/sec, 50 secs
lola: 305572 markings, 1028741 edges, 5104 markings/sec, 55 secs
lola: 331179 markings, 1115478 edges, 5121 markings/sec, 60 secs
lola: 356750 markings, 1202247 edges, 5114 markings/sec, 65 secs
lola: 382292 markings, 1292012 edges, 5108 markings/sec, 70 secs
lola: 407801 markings, 1378621 edges, 5102 markings/sec, 75 secs
lola: 433464 markings, 1465442 edges, 5133 markings/sec, 80 secs
lola: 458891 markings, 1558337 edges, 5085 markings/sec, 85 secs
lola: 484555 markings, 1644552 edges, 5133 markings/sec, 90 secs
lola: 509885 markings, 1739161 edges, 5066 markings/sec, 95 secs
lola: 535292 markings, 1831859 edges, 5081 markings/sec, 100 secs
lola: 561041 markings, 1916207 edges, 5150 markings/sec, 105 secs
lola: 586697 markings, 2004859 edges, 5131 markings/sec, 110 secs
lola: 612468 markings, 2090326 edges, 5154 markings/sec, 115 secs
lola: 638191 markings, 2175438 edges, 5145 markings/sec, 120 secs
lola: 663615 markings, 2269612 edges, 5085 markings/sec, 125 secs
lola: 688984 markings, 2363616 edges, 5074 markings/sec, 130 secs
lola: 714469 markings, 2451437 edges, 5097 markings/sec, 135 secs
lola: 740172 markings, 2538012 edges, 5141 markings/sec, 140 secs
lola: 765925 markings, 2624922 edges, 5151 markings/sec, 145 secs
lola: 791525 markings, 2714197 edges, 5120 markings/sec, 150 secs
lola: 816921 markings, 2805732 edges, 5079 markings/sec, 155 secs
lola: 842154 markings, 2903298 edges, 5047 markings/sec, 160 secs
lola: 867384 markings, 3001365 edges, 5046 markings/sec, 165 secs
lola: 892370 markings, 3098903 edges, 4997 markings/sec, 170 secs
lola: 917629 markings, 3193413 edges, 5052 markings/sec, 175 secs
lola: 942962 markings, 3290224 edges, 5067 markings/sec, 180 secs
lola: 968696 markings, 3374955 edges, 5147 markings/sec, 185 secs
lola: 994266 markings, 3465252 edges, 5114 markings/sec, 190 secs
lola: 1019770 markings, 3557916 edges, 5101 markings/sec, 195 secs
lola: 1045251 markings, 3650360 edges, 5096 markings/sec, 200 secs
lola: 1071105 markings, 3735430 edges, 5171 markings/sec, 205 secs
lola: 1096760 markings, 3825888 edges, 5131 markings/sec, 210 secs
lola: 1122449 markings, 3914779 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: 369924 KB
lola: time consumption: 895 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__13_13_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__13_13_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 6267 markings, 21044 edges
lola: ========================================
lola: subprocess 5 will run for 243 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__20_1_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__20_1_)
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: 10
lola: 25194 markings, 70809 edges, 5039 markings/sec, 0 secs
lola: 50898 markings, 140393 edges, 5141 markings/sec, 5 secs
lola: 76585 markings, 210454 edges, 5137 markings/sec, 10 secs
lola: 101861 markings, 280080 edges, 5055 markings/sec, 15 secs
lola: 128198 markings, 351840 edges, 5267 markings/sec, 20 secs
lola: 154386 markings, 425214 edges, 5238 markings/sec, 25 secs
lola: 180384 markings, 498654 edges, 5200 markings/sec, 30 secs
lola: 206249 markings, 571667 edges, 5173 markings/sec, 35 secs
lola: 232482 markings, 644797 edges, 5247 markings/sec, 40 secs
lola: 258559 markings, 717654 edges, 5215 markings/sec, 45 secs
lola: 284201 markings, 787829 edges, 5128 markings/sec, 50 secs
lola: 310597 markings, 860957 edges, 5279 markings/sec, 55 secs
lola: 336951 markings, 935461 edges, 5271 markings/sec, 60 secs
lola: 363093 markings, 1006952 edges, 5228 markings/sec, 65 secs
lola: 389464 markings, 1079355 edges, 5274 markings/sec, 70 secs
lola: 416039 markings, 1152638 edges, 5315 markings/sec, 75 secs
lola: 442223 markings, 1223556 edges, 5237 markings/sec, 80 secs
lola: 468528 markings, 1295559 edges, 5261 markings/sec, 85 secs
lola: 494784 markings, 1366582 edges, 5251 markings/sec, 90 secs
lola: 520924 markings, 1437674 edges, 5228 markings/sec, 95 secs
lola: 546830 markings, 1510148 edges, 5181 markings/sec, 100 secs
lola: 573288 markings, 1582225 edges, 5292 markings/sec, 105 secs
lola: 599906 markings, 1655147 edges, 5324 markings/sec, 110 secs
lola: 626103 markings, 1727085 edges, 5239 markings/sec, 115 secs
lola: 651421 markings, 1795757 edges, 5064 markings/sec, 120 secs
lola: 677792 markings, 1868506 edges, 5274 markings/sec, 125 secs
lola: 703918 markings, 1940481 edges, 5225 markings/sec, 130 secs
lola: 729945 markings, 2011438 edges, 5205 markings/sec, 135 secs
lola: 755908 markings, 2082131 edges, 5193 markings/sec, 140 secs
lola: 781938 markings, 2153505 edges, 5206 markings/sec, 145 secs
lola: 807823 markings, 2227121 edges, 5177 markings/sec, 150 secs
lola: 833880 markings, 2298890 edges, 5211 markings/sec, 155 secs
lola: 859759 markings, 2372510 edges, 5176 markings/sec, 160 secs
lola: 885846 markings, 2443598 edges, 5217 markings/sec, 165 secs
lola: 911468 markings, 2514080 edges, 5124 markings/sec, 170 secs
lola: 937715 markings, 2585377 edges, 5249 markings/sec, 175 secs
lola: 963248 markings, 2654946 edges, 5107 markings/sec, 180 secs
lola: 988866 markings, 2726202 edges, 5124 markings/sec, 185 secs
lola: 1015032 markings, 2798007 edges, 5233 markings/sec, 190 secs
lola: 1041303 markings, 2870213 edges, 5254 markings/sec, 195 secs
lola: 1067411 markings, 2940694 edges, 5222 markings/sec, 200 secs
lola: 1094158 markings, 3013213 edges, 5349 markings/sec, 205 secs
lola: 1120842 markings, 3086893 edges, 5337 markings/sec, 210 secs
lola: 1147428 markings, 3159190 edges, 5317 markings/sec, 215 secs
lola: 1173817 markings, 3230667 edges, 5278 markings/sec, 220 secs
lola: 1200376 markings, 3303670 edges, 5312 markings/sec, 225 secs
lola: 1226811 markings, 3377734 edges, 5287 markings/sec, 230 secs
lola: 1253384 markings, 3449364 edges, 5315 markings/sec, 235 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown 10 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 348812 KB
lola: time consumption: 1139 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 243 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__11_8_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__11_8_)
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: 10
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 2401 markings, 7111 edges
lola: ========================================
lola: subprocess 7 will run for 270 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__18_12_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__18_12_)
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: 10
lola: 25055 markings, 90407 edges, 5011 markings/sec, 0 secs
lola: 50537 markings, 180163 edges, 5096 markings/sec, 5 secs
lola: 76188 markings, 274068 edges, 5130 markings/sec, 10 secs
lola: 102081 markings, 366677 edges, 5179 markings/sec, 15 secs
lola: 127845 markings, 458652 edges, 5153 markings/sec, 20 secs
lola: 153297 markings, 549484 edges, 5090 markings/sec, 25 secs
lola: 178886 markings, 645286 edges, 5118 markings/sec, 30 secs
lola: 204567 markings, 737769 edges, 5136 markings/sec, 35 secs
lola: 230359 markings, 830001 edges, 5158 markings/sec, 40 secs
lola: 255935 markings, 923520 edges, 5115 markings/sec, 45 secs
lola: 281529 markings, 1016224 edges, 5119 markings/sec, 50 secs
lola: 307037 markings, 1108135 edges, 5102 markings/sec, 55 secs
lola: 332122 markings, 1199967 edges, 5017 markings/sec, 60 secs
lola: 357536 markings, 1293093 edges, 5083 markings/sec, 65 secs
lola: 383098 markings, 1387261 edges, 5112 markings/sec, 70 secs
lola: 408548 markings, 1481916 edges, 5090 markings/sec, 75 secs
lola: 434404 markings, 1574453 edges, 5171 markings/sec, 80 secs
lola: 460101 markings, 1669448 edges, 5139 markings/sec, 85 secs
lola: 485544 markings, 1765926 edges, 5089 markings/sec, 90 secs
lola: 510919 markings, 1857345 edges, 5075 markings/sec, 95 secs
lola: 536481 markings, 1950537 edges, 5112 markings/sec, 100 secs
lola: 562049 markings, 2046211 edges, 5114 markings/sec, 105 secs
lola: 587644 markings, 2138923 edges, 5119 markings/sec, 110 secs
lola: 613127 markings, 2232636 edges, 5097 markings/sec, 115 secs
lola: 638581 markings, 2326899 edges, 5091 markings/sec, 120 secs
lola: 664474 markings, 2419756 edges, 5179 markings/sec, 125 secs
lola: 690155 markings, 2514863 edges, 5136 markings/sec, 130 secs
lola: 715670 markings, 2611891 edges, 5103 markings/sec, 135 secs
lola: 741468 markings, 2704477 edges, 5160 markings/sec, 140 secs
lola: 767188 markings, 2797685 edges, 5144 markings/sec, 145 secs
lola: 792817 markings, 2893857 edges, 5126 markings/sec, 150 secs
lola: 818558 markings, 2988428 edges, 5148 markings/sec, 155 secs
lola: 844169 markings, 3083459 edges, 5122 markings/sec, 160 secs
lola: 869905 markings, 3176167 edges, 5147 markings/sec, 165 secs
lola: 895537 markings, 3270367 edges, 5126 markings/sec, 170 secs
lola: 920851 markings, 3368417 edges, 5063 markings/sec, 175 secs
lola: 946202 markings, 3464059 edges, 5070 markings/sec, 180 secs
lola: 971902 markings, 3561081 edges, 5140 markings/sec, 185 secs
lola: 997698 markings, 3655158 edges, 5159 markings/sec, 190 secs
lola: 1023201 markings, 3753194 edges, 5101 markings/sec, 195 secs
lola: 1048928 markings, 3847261 edges, 5145 markings/sec, 200 secs
lola: 1074555 markings, 3941387 edges, 5125 markings/sec, 205 secs
lola: 1100083 markings, 4036618 edges, 5106 markings/sec, 210 secs
lola: 1125617 markings, 4132191 edges, 5107 markings/sec, 215 secs
lola: 1150989 markings, 4231181 edges, 5074 markings/sec, 220 secs
lola: 1176444 markings, 4329236 edges, 5091 markings/sec, 225 secs
lola: 1201924 markings, 4424649 edges, 5096 markings/sec, 230 secs
lola: 1227376 markings, 4519188 edges, 5090 markings/sec, 235 secs
lola: 1252427 markings, 4613547 edges, 5010 markings/sec, 240 secs
lola: 1277335 markings, 4703470 edges, 4982 markings/sec, 245 secs
lola: 1303110 markings, 4795246 edges, 5155 markings/sec, 250 secs
lola: 1328743 markings, 4887987 edges, 5127 markings/sec, 255 secs
lola: 1354147 markings, 4979784 edges, 5081 markings/sec, 260 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown 10 unknown 10 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown 10 unknown 10 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 412356 KB
lola: time consumption: 1410 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: memory consumption: 412356 KB
lola: time consumption: 1410 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 270 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__4_15_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__4_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: 10
lola: 24746 markings, 88089 edges, 4949 markings/sec, 0 secs
lola: 50263 markings, 180012 edges, 5103 markings/sec, 5 secs
lola: 75997 markings, 269317 edges, 5147 markings/sec, 10 secs
lola: 101451 markings, 353818 edges, 5091 markings/sec, 15 secs
lola: 126915 markings, 443868 edges, 5093 markings/sec, 20 secs
lola: 152130 markings, 531877 edges, 5043 markings/sec, 25 secs
lola: 177641 markings, 623677 edges, 5102 markings/sec, 30 secs
lola: 202884 markings, 717769 edges, 5049 markings/sec, 35 secs
lola: 228042 markings, 807648 edges, 5032 markings/sec, 40 secs
lola: 253538 markings, 901355 edges, 5099 markings/sec, 45 secs
lola: 278547 markings, 990586 edges, 5002 markings/sec, 50 secs
lola: 303612 markings, 1075276 edges, 5013 markings/sec, 55 secs
lola: 328810 markings, 1164165 edges, 5040 markings/sec, 60 secs
lola: 354462 markings, 1252690 edges, 5130 markings/sec, 65 secs
lola: 380045 markings, 1342257 edges, 5117 markings/sec, 70 secs
lola: 405426 markings, 1435384 edges, 5076 markings/sec, 75 secs
lola: 430992 markings, 1525592 edges, 5113 markings/sec, 80 secs
lola: 456804 markings, 1613596 edges, 5162 markings/sec, 85 secs
lola: 482446 markings, 1706095 edges, 5128 markings/sec, 90 secs
lola: 508255 markings, 1793737 edges, 5162 markings/sec, 95 secs
lola: 534011 markings, 1879429 edges, 5151 markings/sec, 100 secs
lola: 559581 markings, 1968058 edges, 5114 markings/sec, 105 secs
lola: 585228 markings, 2054633 edges, 5129 markings/sec, 110 secs
lola: 610839 markings, 2143190 edges, 5122 markings/sec, 115 secs
lola: 636395 markings, 2230951 edges, 5111 markings/sec, 120 secs
lola: 662130 markings, 2318595 edges, 5147 markings/sec, 125 secs
lola: 687793 markings, 2404110 edges, 5133 markings/sec, 130 secs
lola: 713091 markings, 2489780 edges, 5060 markings/sec, 135 secs
lola: 738491 markings, 2576724 edges, 5080 markings/sec, 140 secs
lola: 762974 markings, 2662491 edges, 4897 markings/sec, 145 secs
lola: 787004 markings, 2744615 edges, 4806 markings/sec, 150 secs
lola: 811880 markings, 2833138 edges, 4975 markings/sec, 155 secs
lola: 837297 markings, 2921253 edges, 5083 markings/sec, 160 secs
lola: 862630 markings, 3008593 edges, 5067 markings/sec, 165 secs
lola: 888044 markings, 3093835 edges, 5083 markings/sec, 170 secs
lola: 913519 markings, 3179697 edges, 5095 markings/sec, 175 secs
lola: 938834 markings, 3267468 edges, 5063 markings/sec, 180 secs
lola: 963772 markings, 3353382 edges, 4988 markings/sec, 185 secs
lola: 988564 markings, 3438403 edges, 4958 markings/sec, 190 secs
lola: 1013876 markings, 3527379 edges, 5062 markings/sec, 195 secs
lola: 1039369 markings, 3614533 edges, 5099 markings/sec, 200 secs
lola: 1064797 markings, 3703002 edges, 5086 markings/sec, 205 secs
lola: 1090319 markings, 3789269 edges, 5104 markings/sec, 210 secs
lola: 1115489 markings, 3879091 edges, 5034 markings/sec, 215 secs
lola: 1140491 markings, 3964238 edges, 5000 markings/sec, 220 secs
lola: 1165814 markings, 4050015 edges, 5065 markings/sec, 225 secs
lola: 1190754 markings, 4133471 edges, 4988 markings/sec, 230 secs
lola: 1215487 markings, 4217815 edges, 4947 markings/sec, 235 secs
lola: 1240640 markings, 4301489 edges, 5031 markings/sec, 240 secs
lola: 1265945 markings, 4387702 edges, 5061 markings/sec, 245 secs
lola: 1291447 markings, 4472953 edges, 5100 markings/sec, 250 secs
lola: 1316819 markings, 4559932 edges, 5074 markings/sec, 255 secs
lola: 1342601 markings, 4646361 edges, 5156 markings/sec, 260 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown 10 unknown 10 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown 10 unknown 10 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 412256 KB
lola: time consumption: 1680 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 270 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__15_7_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__15_7_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: 24592 markings, 76175 edges, 4918 markings/sec, 0 secs
lola: 50241 markings, 162803 edges, 5130 markings/sec, 5 secs
lola: 75889 markings, 247822 edges, 5130 markings/sec, 10 secs
lola: 101389 markings, 331740 edges, 5100 markings/sec, 15 secs
lola: 127256 markings, 410955 edges, 5173 markings/sec, 20 secs
lola: 153175 markings, 490001 edges, 5184 markings/sec, 25 secs
lola: 179102 markings, 569087 edges, 5185 markings/sec, 30 secs
lola: 204872 markings, 652333 edges, 5154 markings/sec, 35 secs
lola: 230515 markings, 741921 edges, 5129 markings/sec, 40 secs
lola: 255995 markings, 832980 edges, 5096 markings/sec, 45 secs
lola: 281456 markings, 920355 edges, 5092 markings/sec, 50 secs
lola: 307280 markings, 1003727 edges, 5165 markings/sec, 55 secs
lola: 332950 markings, 1090382 edges, 5134 markings/sec, 60 secs
lola: 358676 markings, 1176395 edges, 5145 markings/sec, 65 secs
lola: 384295 markings, 1264090 edges, 5124 markings/sec, 70 secs
lola: 409929 markings, 1350812 edges, 5127 markings/sec, 75 secs
lola: 435202 markings, 1441805 edges, 5055 markings/sec, 80 secs
lola: 460680 markings, 1526882 edges, 5096 markings/sec, 85 secs
lola: 486166 markings, 1612953 edges, 5097 markings/sec, 90 secs
lola: 511762 markings, 1695718 edges, 5119 markings/sec, 95 secs
lola: 537315 markings, 1778468 edges, 5111 markings/sec, 100 secs
lola: 562841 markings, 1863778 edges, 5105 markings/sec, 105 secs
lola: 588466 markings, 1945769 edges, 5125 markings/sec, 110 secs
lola: 613737 markings, 2033384 edges, 5054 markings/sec, 115 secs
lola: 639300 markings, 2123394 edges, 5113 markings/sec, 120 secs
lola: 664895 markings, 2213676 edges, 5119 markings/sec, 125 secs
lola: 690189 markings, 2303416 edges, 5059 markings/sec, 130 secs
lola: 715800 markings, 2391551 edges, 5122 markings/sec, 135 secs
lola: 741530 markings, 2476606 edges, 5146 markings/sec, 140 secs
lola: 767204 markings, 2561883 edges, 5135 markings/sec, 145 secs
lola: 792828 markings, 2648187 edges, 5125 markings/sec, 150 secs
lola: 818582 markings, 2732476 edges, 5151 markings/sec, 155 secs
lola: 844239 markings, 2820205 edges, 5131 markings/sec, 160 secs
lola: 870045 markings, 2901591 edges, 5161 markings/sec, 165 secs
lola: 895819 markings, 2981080 edges, 5155 markings/sec, 170 secs
lola: 921606 markings, 3062947 edges, 5157 markings/sec, 175 secs
lola: 947250 markings, 3150185 edges, 5129 markings/sec, 180 secs
lola: 972684 markings, 3242612 edges, 5087 markings/sec, 185 secs
lola: 997275 markings, 3330838 edges, 4918 markings/sec, 190 secs
lola: 1021728 markings, 3413710 edges, 4891 markings/sec, 195 secs
lola: 1046346 markings, 3500335 edges, 4924 markings/sec, 200 secs
lola: 1070718 markings, 3586916 edges, 4874 markings/sec, 205 secs
lola: 1095813 markings, 3672232 edges, 5019 markings/sec, 210 secs
lola: 1121213 markings, 3759539 edges, 5080 markings/sec, 215 secs
lola: 1146740 markings, 3844112 edges, 5105 markings/sec, 220 secs
lola: 1172121 markings, 3932531 edges, 5076 markings/sec, 225 secs
lola: 1197486 markings, 4018262 edges, 5073 markings/sec, 230 secs
lola: 1222738 markings, 4108064 edges, 5050 markings/sec, 235 secs
lola: 1247996 markings, 4198278 edges, 5052 markings/sec, 240 secs
lola: 1273365 markings, 4286849 edges, 5074 markings/sec, 245 secs
lola: 1298505 markings, 4378319 edges, 5028 markings/sec, 250 secs
lola: 1323522 markings, 4468797 edges, 5003 markings/sec, 255 secs
lola: 1348711 markings, 4562112 edges, 5038 markings/sec, 260 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown 10 unknown 10 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown 10 unknown 10 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 421232 KB
lola: time consumption: 1950 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 270 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__18_11_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__18_11_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: 23922 markings, 85524 edges, 4784 markings/sec, 0 secs
lola: 49461 markings, 175589 edges, 5108 markings/sec, 5 secs
lola: 74936 markings, 268044 edges, 5095 markings/sec, 10 secs
lola: 100577 markings, 359568 edges, 5128 markings/sec, 15 secs
lola: 126239 markings, 452139 edges, 5132 markings/sec, 20 secs
lola: 151800 markings, 543954 edges, 5112 markings/sec, 25 secs
lola: 177532 markings, 632438 edges, 5146 markings/sec, 30 secs
lola: 203046 markings, 727432 edges, 5103 markings/sec, 35 secs
lola: 228709 markings, 818687 edges, 5133 markings/sec, 40 secs
lola: 254330 markings, 909006 edges, 5124 markings/sec, 45 secs
lola: 278958 markings, 1000717 edges, 4926 markings/sec, 50 secs
lola: 303799 markings, 1090539 edges, 4968 markings/sec, 55 secs
lola: 329311 markings, 1182445 edges, 5102 markings/sec, 60 secs
lola: 354893 markings, 1273225 edges, 5116 markings/sec, 65 secs
lola: 380668 markings, 1367193 edges, 5155 markings/sec, 70 secs
lola: 406328 markings, 1461173 edges, 5132 markings/sec, 75 secs
lola: 431448 markings, 1548096 edges, 5024 markings/sec, 80 secs
lola: 456508 markings, 1640039 edges, 5012 markings/sec, 85 secs
lola: 481766 markings, 1730768 edges, 5052 markings/sec, 90 secs
lola: 506763 markings, 1822901 edges, 4999 markings/sec, 95 secs
lola: 532508 markings, 1912967 edges, 5149 markings/sec, 100 secs
lola: 557765 markings, 2005728 edges, 5051 markings/sec, 105 secs
lola: 583352 markings, 2098929 edges, 5117 markings/sec, 110 secs
lola: 608826 markings, 2196431 edges, 5095 markings/sec, 115 secs
lola: 634683 markings, 2289695 edges, 5171 markings/sec, 120 secs
lola: 660481 markings, 2383447 edges, 5160 markings/sec, 125 secs
lola: 686186 markings, 2480138 edges, 5141 markings/sec, 130 secs
lola: 711762 markings, 2579644 edges, 5115 markings/sec, 135 secs
lola: 737267 markings, 2679516 edges, 5101 markings/sec, 140 secs
lola: 762949 markings, 2772115 edges, 5136 markings/sec, 145 secs
lola: 788417 markings, 2866874 edges, 5094 markings/sec, 150 secs
lola: 813913 markings, 2959204 edges, 5099 markings/sec, 155 secs
lola: 839507 markings, 3050670 edges, 5119 markings/sec, 160 secs
lola: 864707 markings, 3139950 edges, 5040 markings/sec, 165 secs
lola: 889480 markings, 3234134 edges, 4955 markings/sec, 170 secs
lola: 915130 markings, 3326156 edges, 5130 markings/sec, 175 secs
lola: 940531 markings, 3417617 edges, 5080 markings/sec, 180 secs
lola: 966012 markings, 3507880 edges, 5096 markings/sec, 185 secs
lola: 991233 markings, 3603947 edges, 5044 markings/sec, 190 secs
lola: 1016210 markings, 3699427 edges, 4995 markings/sec, 195 secs
lola: 1040870 markings, 3794973 edges, 4932 markings/sec, 200 secs
lola: 1065730 markings, 3882988 edges, 4972 markings/sec, 205 secs
lola: 1090806 markings, 3972660 edges, 5015 markings/sec, 210 secs
lola: 1115990 markings, 4064982 edges, 5037 markings/sec, 215 secs
lola: 1140721 markings, 4155413 edges, 4946 markings/sec, 220 secs
lola: 1165196 markings, 4246096 edges, 4895 markings/sec, 225 secs
lola: 1189567 markings, 4337455 edges, 4874 markings/sec, 230 secs
lola: 1214386 markings, 4426398 edges, 4964 markings/sec, 235 secs
lola: 1239307 markings, 4517169 edges, 4984 markings/sec, 240 secs
lola: 1264548 markings, 4607187 edges, 5048 markings/sec, 245 secs
lola: 1288786 markings, 4695914 edges, 4848 markings/sec, 250 secs
lola: 1313392 markings, 4789138 edges, 4921 markings/sec, 255 secs
lola: 1337253 markings, 4882430 edges, 4772 markings/sec, 260 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown 10 unknown 10 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown 10 unknown 10 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 413576 KB
lola: time consumption: 2220 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 270 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__18_16_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__18_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: 10
lola: 24742 markings, 88478 edges, 4948 markings/sec, 0 secs
lola: 50454 markings, 180583 edges, 5142 markings/sec, 5 secs
lola: 76101 markings, 272832 edges, 5129 markings/sec, 10 secs
lola: 101309 markings, 362155 edges, 5042 markings/sec, 15 secs
lola: 126886 markings, 452752 edges, 5115 markings/sec, 20 secs
lola: 152411 markings, 542473 edges, 5105 markings/sec, 25 secs
lola: 177733 markings, 632786 edges, 5064 markings/sec, 30 secs
lola: 203348 markings, 723870 edges, 5123 markings/sec, 35 secs
lola: 229000 markings, 815004 edges, 5130 markings/sec, 40 secs
lola: 254784 markings, 909373 edges, 5157 markings/sec, 45 secs
lola: 280636 markings, 1002049 edges, 5170 markings/sec, 50 secs
lola: 306540 markings, 1094426 edges, 5181 markings/sec, 55 secs
lola: 332424 markings, 1186637 edges, 5177 markings/sec, 60 secs
lola: 358214 markings, 1279486 edges, 5158 markings/sec, 65 secs
lola: 384034 markings, 1371422 edges, 5164 markings/sec, 70 secs
lola: 409762 markings, 1464797 edges, 5146 markings/sec, 75 secs
lola: 435706 markings, 1557522 edges, 5189 markings/sec, 80 secs
lola: 461685 markings, 1649680 edges, 5196 markings/sec, 85 secs
lola: 487493 markings, 1745319 edges, 5162 markings/sec, 90 secs
lola: 513253 markings, 1841247 edges, 5152 markings/sec, 95 secs
lola: 539133 markings, 1936744 edges, 5176 markings/sec, 100 secs
lola: 564959 markings, 2034397 edges, 5165 markings/sec, 105 secs
lola: 590916 markings, 2128891 edges, 5191 markings/sec, 110 secs
lola: 616819 markings, 2223524 edges, 5181 markings/sec, 115 secs
lola: 642654 markings, 2320628 edges, 5167 markings/sec, 120 secs
lola: 668404 markings, 2414305 edges, 5150 markings/sec, 125 secs
lola: 693972 markings, 2505505 edges, 5114 markings/sec, 130 secs
lola: 719240 markings, 2596136 edges, 5054 markings/sec, 135 secs
lola: 745059 markings, 2688278 edges, 5164 markings/sec, 140 secs
lola: 770749 markings, 2782557 edges, 5138 markings/sec, 145 secs
lola: 796169 markings, 2875644 edges, 5084 markings/sec, 150 secs
lola: 822029 markings, 2969141 edges, 5172 markings/sec, 155 secs
lola: 847984 markings, 3060769 edges, 5191 markings/sec, 160 secs
lola: 873732 markings, 3155197 edges, 5150 markings/sec, 165 secs
lola: 899017 markings, 3245468 edges, 5057 markings/sec, 170 secs
lola: 924690 markings, 3338753 edges, 5135 markings/sec, 175 secs
lola: 950235 markings, 3430903 edges, 5109 markings/sec, 180 secs
lola: 975851 markings, 3524473 edges, 5123 markings/sec, 185 secs
lola: 1001480 markings, 3616857 edges, 5126 markings/sec, 190 secs
lola: 1027094 markings, 3713832 edges, 5123 markings/sec, 195 secs
lola: 1052691 markings, 3808515 edges, 5119 markings/sec, 200 secs
lola: 1078212 markings, 3904131 edges, 5104 markings/sec, 205 secs
lola: 1103716 markings, 3998615 edges, 5101 markings/sec, 210 secs
lola: 1129427 markings, 4092049 edges, 5142 markings/sec, 215 secs
lola: 1155044 markings, 4187110 edges, 5123 markings/sec, 220 secs
lola: 1180891 markings, 4280360 edges, 5169 markings/sec, 225 secs
lola: 1206062 markings, 4374415 edges, 5034 markings/sec, 230 secs
lola: 1231542 markings, 4467845 edges, 5096 markings/sec, 235 secs
lola: 1257209 markings, 4561145 edges, 5133 markings/sec, 240 secs
lola: 1282962 markings, 4653350 edges, 5151 markings/sec, 245 secs
lola: 1308469 markings, 4745074 edges, 5101 markings/sec, 250 secs
lola: 1334094 markings, 4835722 edges, 5125 markings/sec, 255 secs
lola: 1359932 markings, 4927770 edges, 5168 markings/sec, 260 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown 10 unknown 10 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 431384 KB
lola: time consumption: 2490 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 269 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__10_17_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__10_17_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: 24231 markings, 84101 edges, 4846 markings/sec, 0 secs
lola: 49309 markings, 171449 edges, 5016 markings/sec, 5 secs
lola: 73918 markings, 249125 edges, 4922 markings/sec, 10 secs
lola: 99395 markings, 332517 edges, 5095 markings/sec, 15 secs
lola: 124178 markings, 416728 edges, 4957 markings/sec, 20 secs
lola: 149006 markings, 496098 edges, 4966 markings/sec, 25 secs
lola: 174517 markings, 576409 edges, 5102 markings/sec, 30 secs
lola: 199854 markings, 660253 edges, 5067 markings/sec, 35 secs
lola: 225016 markings, 742823 edges, 5032 markings/sec, 40 secs
lola: 249930 markings, 826908 edges, 4983 markings/sec, 45 secs
lola: 275005 markings, 906238 edges, 5015 markings/sec, 50 secs
lola: 299135 markings, 984049 edges, 4826 markings/sec, 55 secs
lola: 324255 markings, 1062081 edges, 5024 markings/sec, 60 secs
lola: 349343 markings, 1141290 edges, 5018 markings/sec, 65 secs
lola: 374802 markings, 1222355 edges, 5092 markings/sec, 70 secs
lola: 400345 markings, 1306117 edges, 5109 markings/sec, 75 secs
lola: 425641 markings, 1386804 edges, 5059 markings/sec, 80 secs
lola: 450741 markings, 1464728 edges, 5020 markings/sec, 85 secs
lola: 476279 markings, 1545167 edges, 5108 markings/sec, 90 secs
lola: 501826 markings, 1630572 edges, 5109 markings/sec, 95 secs
lola: 527337 markings, 1711875 edges, 5102 markings/sec, 100 secs
lola: 553018 markings, 1791774 edges, 5136 markings/sec, 105 secs
lola: 578721 markings, 1871787 edges, 5141 markings/sec, 110 secs
lola: 604326 markings, 1952873 edges, 5121 markings/sec, 115 secs
lola: 629810 markings, 2034027 edges, 5097 markings/sec, 120 secs
lola: 655326 markings, 2115840 edges, 5103 markings/sec, 125 secs
lola: 680746 markings, 2196429 edges, 5084 markings/sec, 130 secs
lola: 705129 markings, 2275278 edges, 4877 markings/sec, 135 secs
lola: 730855 markings, 2355133 edges, 5145 markings/sec, 140 secs
lola: 756501 markings, 2436207 edges, 5129 markings/sec, 145 secs
lola: 782174 markings, 2517458 edges, 5135 markings/sec, 150 secs
lola: 807812 markings, 2597961 edges, 5128 markings/sec, 155 secs
lola: 833403 markings, 2682812 edges, 5118 markings/sec, 160 secs
lola: 859163 markings, 2763948 edges, 5152 markings/sec, 165 secs
lola: 884770 markings, 2846326 edges, 5121 markings/sec, 170 secs
lola: 910244 markings, 2931567 edges, 5095 markings/sec, 175 secs
lola: 935751 markings, 3010380 edges, 5101 markings/sec, 180 secs
lola: 961240 markings, 3091156 edges, 5098 markings/sec, 185 secs
lola: 986691 markings, 3172583 edges, 5090 markings/sec, 190 secs
lola: 1012084 markings, 3254741 edges, 5079 markings/sec, 195 secs
lola: 1037652 markings, 3332936 edges, 5114 markings/sec, 200 secs
lola: 1063329 markings, 3412586 edges, 5135 markings/sec, 205 secs
lola: 1088954 markings, 3493807 edges, 5125 markings/sec, 210 secs
lola: 1114497 markings, 3575088 edges, 5109 markings/sec, 215 secs
lola: 1139917 markings, 3657974 edges, 5084 markings/sec, 220 secs
lola: 1165388 markings, 3740531 edges, 5094 markings/sec, 225 secs
lola: 1190771 markings, 3825141 edges, 5077 markings/sec, 230 secs
lola: 1216110 markings, 3908811 edges, 5068 markings/sec, 235 secs
lola: 1241494 markings, 3991056 edges, 5077 markings/sec, 240 secs
lola: 1266921 markings, 4071872 edges, 5085 markings/sec, 245 secs
lola: 1292310 markings, 4152776 edges, 5078 markings/sec, 250 secs
lola: 1317815 markings, 4235445 edges, 5101 markings/sec, 255 secs
lola: 1343208 markings, 4318460 edges, 5079 markings/sec, 260 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown 10 unknown 10 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 408024 KB
lola: time consumption: 2760 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 270 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__1_20_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__1_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: 10
lola: 25957 markings, 74166 edges, 5191 markings/sec, 0 secs
lola: 52988 markings, 143604 edges, 5406 markings/sec, 5 secs
lola: 79432 markings, 213637 edges, 5289 markings/sec, 10 secs
lola: 105480 markings, 284687 edges, 5210 markings/sec, 15 secs
lola: 132389 markings, 356578 edges, 5382 markings/sec, 20 secs
lola: 159252 markings, 428881 edges, 5373 markings/sec, 25 secs
lola: 185775 markings, 498654 edges, 5305 markings/sec, 30 secs
lola: 211861 markings, 568870 edges, 5217 markings/sec, 35 secs
lola: 237684 markings, 636694 edges, 5165 markings/sec, 40 secs
lola: 263998 markings, 704967 edges, 5263 markings/sec, 45 secs
lola: 290408 markings, 769961 edges, 5282 markings/sec, 50 secs
lola: 317314 markings, 835841 edges, 5381 markings/sec, 55 secs
lola: 344155 markings, 903740 edges, 5368 markings/sec, 60 secs
lola: 370293 markings, 969463 edges, 5228 markings/sec, 65 secs
lola: 396973 markings, 1038239 edges, 5336 markings/sec, 70 secs
lola: 423717 markings, 1104007 edges, 5349 markings/sec, 75 secs
lola: 450612 markings, 1170369 edges, 5379 markings/sec, 80 secs
lola: 477474 markings, 1239010 edges, 5372 markings/sec, 85 secs
lola: 504476 markings, 1306497 edges, 5400 markings/sec, 90 secs
lola: 531363 markings, 1375828 edges, 5377 markings/sec, 95 secs
lola: 558138 markings, 1445733 edges, 5355 markings/sec, 100 secs
lola: 585075 markings, 1515837 edges, 5387 markings/sec, 105 secs
lola: 612146 markings, 1585779 edges, 5414 markings/sec, 110 secs
lola: 639070 markings, 1656008 edges, 5385 markings/sec, 115 secs
lola: 666043 markings, 1725728 edges, 5395 markings/sec, 120 secs
lola: 693081 markings, 1794166 edges, 5408 markings/sec, 125 secs
lola: 720113 markings, 1863635 edges, 5406 markings/sec, 130 secs
lola: 747265 markings, 1931274 edges, 5430 markings/sec, 135 secs
lola: 774345 markings, 1999917 edges, 5416 markings/sec, 140 secs
lola: 801342 markings, 2068641 edges, 5399 markings/sec, 145 secs
lola: 828237 markings, 2139611 edges, 5379 markings/sec, 150 secs
lola: 855285 markings, 2207129 edges, 5410 markings/sec, 155 secs
lola: 882514 markings, 2273916 edges, 5446 markings/sec, 160 secs
lola: 909655 markings, 2342522 edges, 5428 markings/sec, 165 secs
lola: 936691 markings, 2411746 edges, 5407 markings/sec, 170 secs
lola: 963989 markings, 2478641 edges, 5460 markings/sec, 175 secs
lola: 991508 markings, 2545954 edges, 5504 markings/sec, 180 secs
lola: 1018916 markings, 2612242 edges, 5482 markings/sec, 185 secs
lola: 1046190 markings, 2678282 edges, 5455 markings/sec, 190 secs
lola: 1073378 markings, 2744748 edges, 5438 markings/sec, 195 secs
lola: 1100822 markings, 2812700 edges, 5489 markings/sec, 200 secs
lola: 1128266 markings, 2879524 edges, 5489 markings/sec, 205 secs
lola: 1155664 markings, 2946138 edges, 5480 markings/sec, 210 secs
lola: 1182974 markings, 3012478 edges, 5462 markings/sec, 215 secs
lola: 1210212 markings, 3079475 edges, 5448 markings/sec, 220 secs
lola: 1237345 markings, 3147066 edges, 5427 markings/sec, 225 secs
lola: 1264513 markings, 3214356 edges, 5434 markings/sec, 230 secs
lola: 1291564 markings, 3282514 edges, 5410 markings/sec, 235 secs
lola: 1318875 markings, 3348899 edges, 5462 markings/sec, 240 secs
lola: 1346292 markings, 3416222 edges, 5483 markings/sec, 245 secs
lola: 1373909 markings, 3483884 edges, 5523 markings/sec, 250 secs
lola: 1401183 markings, 3551048 edges, 5455 markings/sec, 255 secs
lola: 1428525 markings, 3617762 edges, 5468 markings/sec, 260 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown 10 unknown 10 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown 10 unknown 10 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 418296 KB
lola: time consumption: 3030 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 270 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__16_15_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__16_15_)
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: 10
lola: 24297 markings, 85069 edges, 4859 markings/sec, 0 secs
lola: 49961 markings, 175441 edges, 5133 markings/sec, 5 secs
lola: 75736 markings, 265252 edges, 5155 markings/sec, 10 secs
lola: 101425 markings, 356616 edges, 5138 markings/sec, 15 secs
lola: 127210 markings, 446879 edges, 5157 markings/sec, 20 secs
lola: 152962 markings, 536116 edges, 5150 markings/sec, 25 secs
lola: 178723 markings, 626744 edges, 5152 markings/sec, 30 secs
lola: 204091 markings, 718197 edges, 5074 markings/sec, 35 secs
lola: 229611 markings, 808381 edges, 5104 markings/sec, 40 secs
lola: 255363 markings, 903323 edges, 5150 markings/sec, 45 secs
lola: 281268 markings, 992851 edges, 5181 markings/sec, 50 secs
lola: 307076 markings, 1086544 edges, 5162 markings/sec, 55 secs
lola: 332851 markings, 1182336 edges, 5155 markings/sec, 60 secs
lola: 358694 markings, 1274810 edges, 5169 markings/sec, 65 secs
lola: 384591 markings, 1365651 edges, 5179 markings/sec, 70 secs
lola: 410301 markings, 1458364 edges, 5142 markings/sec, 75 secs
lola: 435968 markings, 1553319 edges, 5133 markings/sec, 80 secs
lola: 461774 markings, 1642401 edges, 5161 markings/sec, 85 secs
lola: 487592 markings, 1734189 edges, 5164 markings/sec, 90 secs
lola: 513554 markings, 1823507 edges, 5192 markings/sec, 95 secs
lola: 539423 markings, 1914861 edges, 5174 markings/sec, 100 secs
lola: 565285 markings, 2003751 edges, 5172 markings/sec, 105 secs
lola: 590992 markings, 2095674 edges, 5141 markings/sec, 110 secs
lola: 616711 markings, 2188063 edges, 5144 markings/sec, 115 secs
lola: 642400 markings, 2282539 edges, 5138 markings/sec, 120 secs
lola: 668281 markings, 2372346 edges, 5176 markings/sec, 125 secs
lola: 693992 markings, 2466165 edges, 5142 markings/sec, 130 secs
lola: 719704 markings, 2560081 edges, 5142 markings/sec, 135 secs
lola: 745410 markings, 2653738 edges, 5141 markings/sec, 140 secs
lola: 771147 markings, 2747294 edges, 5147 markings/sec, 145 secs
lola: 796880 markings, 2839707 edges, 5147 markings/sec, 150 secs
lola: 822493 markings, 2934447 edges, 5123 markings/sec, 155 secs
lola: 848035 markings, 3032400 edges, 5108 markings/sec, 160 secs
lola: 873542 markings, 3131441 edges, 5101 markings/sec, 165 secs
lola: 899011 markings, 3230298 edges, 5094 markings/sec, 170 secs
lola: 924567 markings, 3327600 edges, 5111 markings/sec, 175 secs
lola: 950222 markings, 3422618 edges, 5131 markings/sec, 180 secs
lola: 975808 markings, 3513823 edges, 5117 markings/sec, 185 secs
lola: 1001489 markings, 3606078 edges, 5136 markings/sec, 190 secs
lola: 1027109 markings, 3701886 edges, 5124 markings/sec, 195 secs
lola: 1052825 markings, 3793741 edges, 5143 markings/sec, 200 secs
lola: 1078465 markings, 3888893 edges, 5128 markings/sec, 205 secs
lola: 1104015 markings, 3986869 edges, 5110 markings/sec, 210 secs
lola: 1129701 markings, 4081032 edges, 5137 markings/sec, 215 secs
lola: 1155394 markings, 4173914 edges, 5139 markings/sec, 220 secs
lola: 1181261 markings, 4263754 edges, 5173 markings/sec, 225 secs
lola: 1206957 markings, 4358686 edges, 5139 markings/sec, 230 secs
lola: 1232663 markings, 4452931 edges, 5141 markings/sec, 235 secs
lola: 1258462 markings, 4546503 edges, 5160 markings/sec, 240 secs
lola: 1284292 markings, 4638107 edges, 5166 markings/sec, 245 secs
lola: 1310012 markings, 4729626 edges, 5144 markings/sec, 250 secs
lola: 1335511 markings, 4826254 edges, 5100 markings/sec, 255 secs
lola: 1361173 markings, 4917641 edges, 5132 markings/sec, 260 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown 10 unknown 10 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown 10 unknown 10 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 414332 KB
lola: time consumption: 3300 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 270 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__9_14_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__9_14_)
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: 10
lola: 24784 markings, 84622 edges, 4957 markings/sec, 0 secs
lola: 50479 markings, 173683 edges, 5139 markings/sec, 5 secs
lola: 76284 markings, 262281 edges, 5161 markings/sec, 10 secs
lola: 101884 markings, 352641 edges, 5120 markings/sec, 15 secs
lola: 127330 markings, 443513 edges, 5089 markings/sec, 20 secs
lola: 152957 markings, 535527 edges, 5125 markings/sec, 25 secs
lola: 178562 markings, 627304 edges, 5121 markings/sec, 30 secs
lola: 203869 markings, 717598 edges, 5061 markings/sec, 35 secs
lola: 228437 markings, 805050 edges, 4914 markings/sec, 40 secs
lola: 253533 markings, 900005 edges, 5019 markings/sec, 45 secs
lola: 278590 markings, 994209 edges, 5011 markings/sec, 50 secs
lola: 303385 markings, 1092006 edges, 4959 markings/sec, 55 secs
lola: 328245 markings, 1194558 edges, 4972 markings/sec, 60 secs
lola: 353323 markings, 1292670 edges, 5016 markings/sec, 65 secs
lola: 377957 markings, 1385703 edges, 4927 markings/sec, 70 secs
lola: 403104 markings, 1490525 edges, 5029 markings/sec, 75 secs
lola: 428066 markings, 1586353 edges, 4992 markings/sec, 80 secs
lola: 453090 markings, 1684278 edges, 5005 markings/sec, 85 secs
lola: 477720 markings, 1780364 edges, 4926 markings/sec, 90 secs
lola: 503018 markings, 1877423 edges, 5060 markings/sec, 95 secs
lola: 528272 markings, 1975142 edges, 5051 markings/sec, 100 secs
lola: 553246 markings, 2078434 edges, 4995 markings/sec, 105 secs
lola: 578257 markings, 2177921 edges, 5002 markings/sec, 110 secs
lola: 603383 markings, 2278045 edges, 5025 markings/sec, 115 secs
lola: 628719 markings, 2376892 edges, 5067 markings/sec, 120 secs
lola: 653923 markings, 2478569 edges, 5041 markings/sec, 125 secs
lola: 679267 markings, 2577077 edges, 5069 markings/sec, 130 secs
lola: 704282 markings, 2674979 edges, 5003 markings/sec, 135 secs
lola: 729738 markings, 2772351 edges, 5091 markings/sec, 140 secs
lola: 755203 markings, 2873779 edges, 5093 markings/sec, 145 secs
lola: 780628 markings, 2967573 edges, 5085 markings/sec, 150 secs
lola: 805979 markings, 3063310 edges, 5070 markings/sec, 155 secs
lola: 831789 markings, 3155185 edges, 5162 markings/sec, 160 secs
lola: 857315 markings, 3252488 edges, 5105 markings/sec, 165 secs
lola: 882979 markings, 3348864 edges, 5133 markings/sec, 170 secs
lola: 908573 markings, 3447357 edges, 5119 markings/sec, 175 secs
lola: 934248 markings, 3542474 edges, 5135 markings/sec, 180 secs
lola: 958763 markings, 3639233 edges, 4903 markings/sec, 185 secs
lola: 983962 markings, 3729741 edges, 5040 markings/sec, 190 secs
lola: 1009179 markings, 3826173 edges, 5043 markings/sec, 195 secs
lola: 1034074 markings, 3916845 edges, 4979 markings/sec, 200 secs
lola: 1059070 markings, 4008887 edges, 4999 markings/sec, 205 secs
lola: 1084114 markings, 4107215 edges, 5009 markings/sec, 210 secs
lola: 1109429 markings, 4202440 edges, 5063 markings/sec, 215 secs
lola: 1134742 markings, 4298745 edges, 5063 markings/sec, 220 secs
lola: 1160258 markings, 4391947 edges, 5103 markings/sec, 225 secs
lola: 1185699 markings, 4484654 edges, 5088 markings/sec, 230 secs
lola: 1210637 markings, 4574743 edges, 4988 markings/sec, 235 secs
lola: 1235784 markings, 4673009 edges, 5029 markings/sec, 240 secs
lola: 1261204 markings, 4767217 edges, 5084 markings/sec, 245 secs
lola: 1286261 markings, 4865043 edges, 5011 markings/sec, 250 secs
lola: 1311097 markings, 4962000 edges, 4967 markings/sec, 255 secs
lola: 1336070 markings, 5055855 edges, 4995 markings/sec, 260 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown 10 unknown 10 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown 10 unknown 10 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola:
preliminary result: unknown unknown unknown unknown 10 unknown 10 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown 10 unknown 10 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 466616 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown 10 unknown 10 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 466616 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 1552569120556

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

tar xzf /home/mcc/BenchKit/INPUTS/Diffusion2D-PT-D20N010.tgz
mv Diffusion2D-PT-D20N010 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 ;