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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 412K
-rw-r--r-- 1 mcc users 3.4K 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 2.8K Feb 6 17:53 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 6 17:53 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.1K Feb 4 22:34 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.2K Feb 4 22:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Feb 3 07:21 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Feb 3 07:21 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Jan 30 23:45 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K 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.8K 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 255K 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-D10N200-UpperBounds-00
FORMULA_NAME Diffusion2D-PT-D10N200-UpperBounds-01
FORMULA_NAME Diffusion2D-PT-D10N200-UpperBounds-02
FORMULA_NAME Diffusion2D-PT-D10N200-UpperBounds-03
FORMULA_NAME Diffusion2D-PT-D10N200-UpperBounds-04
FORMULA_NAME Diffusion2D-PT-D10N200-UpperBounds-05
FORMULA_NAME Diffusion2D-PT-D10N200-UpperBounds-06
FORMULA_NAME Diffusion2D-PT-D10N200-UpperBounds-07
FORMULA_NAME Diffusion2D-PT-D10N200-UpperBounds-08
FORMULA_NAME Diffusion2D-PT-D10N200-UpperBounds-09
FORMULA_NAME Diffusion2D-PT-D10N200-UpperBounds-10
FORMULA_NAME Diffusion2D-PT-D10N200-UpperBounds-11
FORMULA_NAME Diffusion2D-PT-D10N200-UpperBounds-12
FORMULA_NAME Diffusion2D-PT-D10N200-UpperBounds-13
FORMULA_NAME Diffusion2D-PT-D10N200-UpperBounds-14
FORMULA_NAME Diffusion2D-PT-D10N200-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1552562951091

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

FORMULA Diffusion2D-PT-D10N200-UpperBounds-01 200 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA Diffusion2D-PT-D10N200-UpperBounds-09 200 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-D10N200

{
"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 11:29:11 2019
",
"timelimit": 3570
},
"child":
[

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 222
},
"exit":
{
"localtimelimitreached": false
},
"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__6_8_)",
"processed_size": 15,
"rewrites": 0
},
"result":
{
"edges": 7299049,
"markings": 2677101,
"produced_by": "search",
"value": 200
},
"task":
{
"compoundnumber": 1,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 231
},
"exit":
{
"localtimelimitreached": false
},
"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__5_6_)",
"processed_size": 15,
"rewrites": 0
},
"result":
{
"edges": 200,
"markings": 201,
"produced_by": "search",
"value": 200
},
"task":
{
"compoundnumber": 9,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
}
],
"exit":
{
"error": null,
"memory": 1779660,
"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": 1368,
"conflict_clusters": 100,
"places": 100,
"places_significant": 99,
"singleton_clusters": 0,
"transitions": 684
},
"result":
{
"interim_value": "unknown 200 unknown unknown unknown unknown unknown unknown unknown 200 unknown unknown unknown unknown unknown unknown ",
"preliminary_value": "unknown 200 unknown unknown unknown unknown unknown unknown unknown 200 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: 784/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 3200
lola: finding significant places
lola: 100 places, 684 transitions, 99 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__7_1_) : MAX(cAMP__6_8_) : MAX(cAMP__9_5_) : MAX(cAMP__10_8_) : MAX(cAMP__7_3_) : MAX(cAMP__10_3_) : MAX(cAMP__2_6_) : MAX(cAMP__10_1_) : MAX(cAMP__4_1_) : MAX(cAMP__5_6_) : MAX(cAMP__10_3_) : MAX(cAMP__1_3_) : MAX(cAMP__2_1_) : MAX(cAMP__9_7_) : MAX(cAMP__4_1_) : MAX(cAMP__7_3_)
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__7_1_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__7_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: 200
lola: 131257 markings, 395931 edges, 26251 markings/sec, 0 secs
lola: 261738 markings, 797956 edges, 26096 markings/sec, 5 secs
lola: 393974 markings, 1197069 edges, 26447 markings/sec, 10 secs
lola: 525410 markings, 1596810 edges, 26287 markings/sec, 15 secs
lola: 654136 markings, 1990163 edges, 25745 markings/sec, 20 secs
lola: 785312 markings, 2391631 edges, 26235 markings/sec, 25 secs
lola: 916770 markings, 2790652 edges, 26292 markings/sec, 30 secs
lola: 1047679 markings, 3185555 edges, 26182 markings/sec, 35 secs
lola: 1178235 markings, 3582653 edges, 26111 markings/sec, 40 secs
lola: 1307290 markings, 3978201 edges, 25811 markings/sec, 45 secs
lola: 1436976 markings, 4373534 edges, 25937 markings/sec, 50 secs
lola: 1567848 markings, 4771108 edges, 26174 markings/sec, 55 secs
lola: 1698592 markings, 5165339 edges, 26149 markings/sec, 60 secs
lola: 1828832 markings, 5562464 edges, 26048 markings/sec, 65 secs
lola: 1957762 markings, 5956913 edges, 25786 markings/sec, 70 secs
lola: 2087881 markings, 6352286 edges, 26024 markings/sec, 75 secs
lola: 2217864 markings, 6747816 edges, 25997 markings/sec, 80 secs
lola: 2347902 markings, 7141050 edges, 26008 markings/sec, 85 secs
lola: 2477308 markings, 7535673 edges, 25881 markings/sec, 90 secs
lola: 2605792 markings, 7929276 edges, 25697 markings/sec, 95 secs
lola: 2735911 markings, 8324706 edges, 26024 markings/sec, 100 secs
lola: 2865607 markings, 8716542 edges, 25939 markings/sec, 105 secs
lola: 2991794 markings, 9099937 edges, 25237 markings/sec, 110 secs
lola: 3121788 markings, 9496942 edges, 25999 markings/sec, 115 secs
lola: 3251414 markings, 9893655 edges, 25925 markings/sec, 120 secs
lola: 3380492 markings, 10285024 edges, 25816 markings/sec, 125 secs
lola: 3510724 markings, 10677911 edges, 26046 markings/sec, 130 secs
lola: 3640780 markings, 11074190 edges, 26011 markings/sec, 135 secs
lola: 3769335 markings, 11467675 edges, 25711 markings/sec, 140 secs
lola: 3899520 markings, 11863879 edges, 26037 markings/sec, 145 secs
lola: 4030589 markings, 12262652 edges, 26214 markings/sec, 150 secs
lola: 4161201 markings, 12656852 edges, 26122 markings/sec, 155 secs
lola: 4291032 markings, 13052965 edges, 25966 markings/sec, 160 secs
lola: 4418914 markings, 13444822 edges, 25576 markings/sec, 165 secs
lola: 4548407 markings, 13837955 edges, 25899 markings/sec, 170 secs
lola: 4678460 markings, 14232196 edges, 26011 markings/sec, 175 secs
lola: 4808341 markings, 14626981 edges, 25976 markings/sec, 180 secs
lola: 4937399 markings, 15019786 edges, 25812 markings/sec, 185 secs
lola: 5066344 markings, 15414914 edges, 25789 markings/sec, 190 secs
lola: 5195997 markings, 15808366 edges, 25931 markings/sec, 195 secs
lola: 5325670 markings, 16199523 edges, 25935 markings/sec, 200 secs
lola: 5455128 markings, 16593428 edges, 25892 markings/sec, 205 secs
lola: 5583657 markings, 16987056 edges, 25706 markings/sec, 210 secs
lola: 5712463 markings, 17379303 edges, 25761 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: 1611324 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_8_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__6_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: 200
lola: 134535 markings, 361683 edges, 26907 markings/sec, 0 secs
lola: 269932 markings, 728870 edges, 27079 markings/sec, 5 secs
lola: 404664 markings, 1095057 edges, 26946 markings/sec, 10 secs
lola: 539506 markings, 1462295 edges, 26968 markings/sec, 15 secs
lola: 674013 markings, 1828219 edges, 26901 markings/sec, 20 secs
lola: 808385 markings, 2194443 edges, 26874 markings/sec, 25 secs
lola: 942500 markings, 2560766 edges, 26823 markings/sec, 30 secs
lola: 1077345 markings, 2929104 edges, 26969 markings/sec, 35 secs
lola: 1212206 markings, 3297060 edges, 26972 markings/sec, 40 secs
lola: 1346967 markings, 3664721 edges, 26952 markings/sec, 45 secs
lola: 1481386 markings, 4031238 edges, 26884 markings/sec, 50 secs
lola: 1615743 markings, 4398734 edges, 26871 markings/sec, 55 secs
lola: 1749926 markings, 4765591 edges, 26837 markings/sec, 60 secs
lola: 1884086 markings, 5132465 edges, 26832 markings/sec, 65 secs
lola: 2018062 markings, 5497718 edges, 26795 markings/sec, 70 secs
lola: 2151935 markings, 5864522 edges, 26775 markings/sec, 75 secs
lola: 2285846 markings, 6230327 edges, 26782 markings/sec, 80 secs
lola: 2420574 markings, 6598393 edges, 26946 markings/sec, 85 secs
lola: 2554942 markings, 6965685 edges, 26874 markings/sec, 90 secs
lola: SUBRESULT
lola: result: 200
lola: produced by: state space
lola: The maximum value of the given expression is 200
lola: 2677101 markings, 7299049 edges
lola: ========================================
lola: subprocess 2 will run for 231 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__9_5_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__9_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: 200
lola: 132777 markings, 488272 edges, 26555 markings/sec, 0 secs
lola: 264829 markings, 986491 edges, 26410 markings/sec, 5 secs
lola: 396516 markings, 1498307 edges, 26337 markings/sec, 10 secs
lola: 528628 markings, 2008094 edges, 26422 markings/sec, 15 secs
lola: 659603 markings, 2527234 edges, 26195 markings/sec, 20 secs
lola: 790651 markings, 3043229 edges, 26210 markings/sec, 25 secs
lola: 920143 markings, 3547902 edges, 25898 markings/sec, 30 secs
lola: 1048384 markings, 4037100 edges, 25648 markings/sec, 35 secs
lola: 1176413 markings, 4549425 edges, 25606 markings/sec, 40 secs
lola: 1306776 markings, 5039240 edges, 26073 markings/sec, 45 secs
lola: 1435915 markings, 5542578 edges, 25828 markings/sec, 50 secs
lola: 1564991 markings, 6042879 edges, 25815 markings/sec, 55 secs
lola: 1693250 markings, 6567742 edges, 25652 markings/sec, 60 secs
lola: 1823041 markings, 7068541 edges, 25958 markings/sec, 65 secs
lola: 1951721 markings, 7574092 edges, 25736 markings/sec, 70 secs
lola: 2080007 markings, 8080441 edges, 25657 markings/sec, 75 secs
lola: 2206004 markings, 8619090 edges, 25199 markings/sec, 80 secs
lola: 2333419 markings, 9148474 edges, 25483 markings/sec, 85 secs
lola: 2456812 markings, 9671230 edges, 24679 markings/sec, 90 secs
lola: 2579135 markings, 10180526 edges, 24465 markings/sec, 95 secs
lola: 2700735 markings, 10689530 edges, 24320 markings/sec, 100 secs
lola: 2822850 markings, 11208353 edges, 24423 markings/sec, 105 secs
lola: 2946527 markings, 11704422 edges, 24735 markings/sec, 110 secs
lola: 3074627 markings, 12203209 edges, 25620 markings/sec, 115 secs
lola: 3200593 markings, 12696715 edges, 25193 markings/sec, 120 secs
lola: 3327134 markings, 13199616 edges, 25308 markings/sec, 125 secs
lola: 3452764 markings, 13677481 edges, 25126 markings/sec, 130 secs
lola: 3577679 markings, 14158896 edges, 24983 markings/sec, 135 secs
lola: 3700473 markings, 14640903 edges, 24559 markings/sec, 140 secs
lola: 3827949 markings, 15122103 edges, 25495 markings/sec, 145 secs
lola: 3956380 markings, 15618620 edges, 25686 markings/sec, 150 secs
lola: 4083510 markings, 16114577 edges, 25426 markings/sec, 155 secs
lola: 4210210 markings, 16608322 edges, 25340 markings/sec, 160 secs
lola: 4336252 markings, 17117015 edges, 25208 markings/sec, 165 secs
lola: 4466757 markings, 17612870 edges, 26101 markings/sec, 170 secs
lola: 4594702 markings, 18118901 edges, 25589 markings/sec, 175 secs
lola: 4722439 markings, 18620582 edges, 25547 markings/sec, 180 secs
lola: 4849375 markings, 19093864 edges, 25387 markings/sec, 185 secs
lola: 4978485 markings, 19591582 edges, 25822 markings/sec, 190 secs
lola: 5105513 markings, 20087631 edges, 25406 markings/sec, 195 secs
lola: 5232768 markings, 20592900 edges, 25451 markings/sec, 200 secs
lola: 5362644 markings, 21081900 edges, 25975 markings/sec, 205 secs
lola: 5492049 markings, 21585535 edges, 25881 markings/sec, 210 secs
lola: 5621638 markings, 22089337 edges, 25918 markings/sec, 215 secs
lola: 5750749 markings, 22595602 edges, 25822 markings/sec, 220 secs
lola: 5880144 markings, 23102265 edges, 25879 markings/sec, 225 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 200 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1942488 KB
lola: time consumption: 559 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 231 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__10_8_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__10_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: 200
lola: 140402 markings, 371746 edges, 28080 markings/sec, 0 secs
lola: 279502 markings, 743524 edges, 27820 markings/sec, 5 secs
lola: 418481 markings, 1102967 edges, 27796 markings/sec, 10 secs
lola: 557793 markings, 1470922 edges, 27862 markings/sec, 15 secs
lola: 696343 markings, 1836166 edges, 27710 markings/sec, 20 secs
lola: 834331 markings, 2202312 edges, 27598 markings/sec, 25 secs
lola: 972563 markings, 2555720 edges, 27646 markings/sec, 30 secs
lola: 1110018 markings, 2912164 edges, 27491 markings/sec, 35 secs
lola: 1248136 markings, 3266232 edges, 27624 markings/sec, 40 secs
lola: 1385815 markings, 3614583 edges, 27536 markings/sec, 45 secs
lola: 1523678 markings, 3962882 edges, 27573 markings/sec, 50 secs
lola: 1661086 markings, 4319987 edges, 27482 markings/sec, 55 secs
lola: 1798960 markings, 4682617 edges, 27575 markings/sec, 60 secs
lola: 1937047 markings, 5032729 edges, 27617 markings/sec, 65 secs
lola: 2076572 markings, 5388010 edges, 27905 markings/sec, 70 secs
lola: 2215330 markings, 5748358 edges, 27752 markings/sec, 75 secs
lola: 2351763 markings, 6101326 edges, 27287 markings/sec, 80 secs
lola: 2489963 markings, 6447524 edges, 27640 markings/sec, 85 secs
lola: 2627341 markings, 6797395 edges, 27476 markings/sec, 90 secs
lola: 2764700 markings, 7144605 edges, 27472 markings/sec, 95 secs
lola: 2903400 markings, 7495993 edges, 27740 markings/sec, 100 secs
lola: 3040868 markings, 7842455 edges, 27494 markings/sec, 105 secs
lola: 3178533 markings, 8190210 edges, 27533 markings/sec, 110 secs
lola: 3316968 markings, 8539394 edges, 27687 markings/sec, 115 secs
lola: 3454719 markings, 8889914 edges, 27550 markings/sec, 120 secs
lola: 3590318 markings, 9241605 edges, 27120 markings/sec, 125 secs
lola: 3726876 markings, 9584828 edges, 27312 markings/sec, 130 secs
lola: 3863581 markings, 9927544 edges, 27341 markings/sec, 135 secs
lola: 4000058 markings, 10269108 edges, 27295 markings/sec, 140 secs
lola: 4136636 markings, 10617043 edges, 27316 markings/sec, 145 secs
lola: 4273565 markings, 10963878 edges, 27386 markings/sec, 150 secs
lola: 4410801 markings, 11306213 edges, 27447 markings/sec, 155 secs
lola: 4549296 markings, 11653578 edges, 27699 markings/sec, 160 secs
lola: 4687261 markings, 11999243 edges, 27593 markings/sec, 165 secs
lola: 4825592 markings, 12342571 edges, 27666 markings/sec, 170 secs
lola: 4963573 markings, 12693197 edges, 27596 markings/sec, 175 secs
lola: 5101774 markings, 13044208 edges, 27640 markings/sec, 180 secs
lola: 5240768 markings, 13394534 edges, 27799 markings/sec, 185 secs
lola: 5380302 markings, 13744648 edges, 27907 markings/sec, 190 secs
lola: 5520287 markings, 14096412 edges, 27997 markings/sec, 195 secs
lola: 5659656 markings, 14449410 edges, 27874 markings/sec, 200 secs
lola: 5799459 markings, 14800251 edges, 27961 markings/sec, 205 secs
lola: 5938724 markings, 15152846 edges, 27853 markings/sec, 210 secs
lola: 6076314 markings, 15499338 edges, 27518 markings/sec, 215 secs
lola: 6213913 markings, 15848511 edges, 27520 markings/sec, 220 secs
lola: 6351900 markings, 16195760 edges, 27597 markings/sec, 225 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 200 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1932064 KB
lola: time consumption: 790 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 231 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__7_3_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__7_3_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 200
lola: 131595 markings, 400350 edges, 26319 markings/sec, 0 secs
lola: 262459 markings, 791226 edges, 26173 markings/sec, 5 secs
lola: 393198 markings, 1180627 edges, 26148 markings/sec, 10 secs
lola: 524109 markings, 1565586 edges, 26182 markings/sec, 15 secs
lola: 654868 markings, 1951908 edges, 26152 markings/sec, 20 secs
lola: 785271 markings, 2338292 edges, 26081 markings/sec, 25 secs
lola: 915879 markings, 2721723 edges, 26122 markings/sec, 30 secs
lola: 1045248 markings, 3106925 edges, 25874 markings/sec, 35 secs
lola: 1175379 markings, 3487979 edges, 26026 markings/sec, 40 secs
lola: 1304975 markings, 3871089 edges, 25919 markings/sec, 45 secs
lola: 1435018 markings, 4251371 edges, 26009 markings/sec, 50 secs
lola: 1564656 markings, 4635281 edges, 25928 markings/sec, 55 secs
lola: 1694326 markings, 5016151 edges, 25934 markings/sec, 60 secs
lola: 1823926 markings, 5394514 edges, 25920 markings/sec, 65 secs
lola: 1953264 markings, 5776354 edges, 25868 markings/sec, 70 secs
lola: 2082843 markings, 6155568 edges, 25916 markings/sec, 75 secs
lola: 2208656 markings, 6527640 edges, 25163 markings/sec, 80 secs
lola: 2339207 markings, 6914583 edges, 26110 markings/sec, 85 secs
lola: 2470034 markings, 7301545 edges, 26165 markings/sec, 90 secs
lola: 2600844 markings, 7687409 edges, 26162 markings/sec, 95 secs
lola: 2731961 markings, 8073467 edges, 26223 markings/sec, 100 secs
lola: 2863579 markings, 8459925 edges, 26324 markings/sec, 105 secs
lola: 2994928 markings, 8844713 edges, 26270 markings/sec, 110 secs
lola: 3126475 markings, 9229194 edges, 26309 markings/sec, 115 secs
lola: 3257853 markings, 9612099 edges, 26276 markings/sec, 120 secs
lola: 3389804 markings, 9995967 edges, 26390 markings/sec, 125 secs
lola: 3521274 markings, 10382363 edges, 26294 markings/sec, 130 secs
lola: 3652532 markings, 10768216 edges, 26252 markings/sec, 135 secs
lola: 3783822 markings, 11151919 edges, 26258 markings/sec, 140 secs
lola: 3914685 markings, 11534086 edges, 26173 markings/sec, 145 secs
lola: 4045302 markings, 11928684 edges, 26123 markings/sec, 150 secs
lola: 4176294 markings, 12309872 edges, 26198 markings/sec, 155 secs
lola: 4307957 markings, 12690152 edges, 26333 markings/sec, 160 secs
lola: 4438830 markings, 13075301 edges, 26175 markings/sec, 165 secs
lola: 4569622 markings, 13456137 edges, 26158 markings/sec, 170 secs
lola: 4700427 markings, 13855439 edges, 26161 markings/sec, 175 secs
lola: 4832828 markings, 14232060 edges, 26480 markings/sec, 180 secs
lola: 4964352 markings, 14618173 edges, 26305 markings/sec, 185 secs
lola: 5095762 markings, 14999973 edges, 26282 markings/sec, 190 secs
lola: 5225514 markings, 15395343 edges, 25950 markings/sec, 195 secs
lola: 5357934 markings, 15769480 edges, 26484 markings/sec, 200 secs
lola: 5488576 markings, 16154501 edges, 26128 markings/sec, 205 secs
lola: 5616926 markings, 16536421 edges, 25670 markings/sec, 210 secs
lola: 5747832 markings, 16917725 edges, 26181 markings/sec, 215 secs
lola: 5878489 markings, 17299120 edges, 26131 markings/sec, 220 secs
lola: 6008153 markings, 17680203 edges, 25933 markings/sec, 225 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 200 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1525536 KB
lola: time consumption: 1022 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 231 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__10_3_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__10_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: 200
lola: 138239 markings, 417009 edges, 27648 markings/sec, 0 secs
lola: 275122 markings, 834901 edges, 27377 markings/sec, 5 secs
lola: 411371 markings, 1245202 edges, 27250 markings/sec, 10 secs
lola: 547413 markings, 1648927 edges, 27208 markings/sec, 15 secs
lola: 683605 markings, 2056600 edges, 27238 markings/sec, 20 secs
lola: 818783 markings, 2467276 edges, 27036 markings/sec, 25 secs
lola: 954528 markings, 2877730 edges, 27149 markings/sec, 30 secs
lola: 1089949 markings, 3302437 edges, 27084 markings/sec, 35 secs
lola: 1225185 markings, 3716659 edges, 27047 markings/sec, 40 secs
lola: 1359798 markings, 4119171 edges, 26923 markings/sec, 45 secs
lola: 1494283 markings, 4524085 edges, 26897 markings/sec, 50 secs
lola: 1628750 markings, 4943547 edges, 26893 markings/sec, 55 secs
lola: 1762155 markings, 5372708 edges, 26681 markings/sec, 60 secs
lola: 1896571 markings, 5789258 edges, 26883 markings/sec, 65 secs
lola: 2030924 markings, 6198266 edges, 26871 markings/sec, 70 secs
lola: 2164122 markings, 6599172 edges, 26640 markings/sec, 75 secs
lola: 2298610 markings, 6994643 edges, 26898 markings/sec, 80 secs
lola: 2432909 markings, 7400299 edges, 26860 markings/sec, 85 secs
lola: 2566738 markings, 7806844 edges, 26766 markings/sec, 90 secs
lola: 2700681 markings, 8214508 edges, 26789 markings/sec, 95 secs
lola: 2834604 markings, 8617367 edges, 26785 markings/sec, 100 secs
lola: 2967640 markings, 9023504 edges, 26607 markings/sec, 105 secs
lola: 3101655 markings, 9424815 edges, 26803 markings/sec, 110 secs
lola: 3234554 markings, 9825390 edges, 26580 markings/sec, 115 secs
lola: 3368904 markings, 10231387 edges, 26870 markings/sec, 120 secs
lola: 3503682 markings, 10651653 edges, 26956 markings/sec, 125 secs
lola: 3639980 markings, 11067727 edges, 27260 markings/sec, 130 secs
lola: 3774840 markings, 11477704 edges, 26972 markings/sec, 135 secs
lola: 3910937 markings, 11881214 edges, 27219 markings/sec, 140 secs
lola: 4046097 markings, 12299144 edges, 27032 markings/sec, 145 secs
lola: 4180629 markings, 12728593 edges, 26906 markings/sec, 150 secs
lola: 4315697 markings, 13154523 edges, 27014 markings/sec, 155 secs
lola: 4451510 markings, 13575024 edges, 27163 markings/sec, 160 secs
lola: 4586663 markings, 13977736 edges, 27031 markings/sec, 165 secs
lola: 4721413 markings, 14383179 edges, 26950 markings/sec, 170 secs
lola: 4856104 markings, 14782422 edges, 26938 markings/sec, 175 secs
lola: 4992189 markings, 15192532 edges, 27217 markings/sec, 180 secs
lola: 5127058 markings, 15612268 edges, 26974 markings/sec, 185 secs
lola: 5261747 markings, 16031668 edges, 26938 markings/sec, 190 secs
lola: 5396144 markings, 16453471 edges, 26879 markings/sec, 195 secs
lola: 5530829 markings, 16889650 edges, 26937 markings/sec, 200 secs
lola: 5666180 markings, 17293608 edges, 27070 markings/sec, 205 secs
lola: 5800342 markings, 17718170 edges, 26832 markings/sec, 210 secs
lola: 5933986 markings, 18124572 edges, 26729 markings/sec, 215 secs
lola: 6066766 markings, 18549610 edges, 26556 markings/sec, 220 secs
lola: 6199863 markings, 18972277 edges, 26619 markings/sec, 225 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 200 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1692672 KB
lola: time consumption: 1253 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 231 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__2_6_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__2_6_)
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: 200
lola: 133536 markings, 441238 edges, 26707 markings/sec, 0 secs
lola: 266293 markings, 883335 edges, 26551 markings/sec, 5 secs
lola: 398416 markings, 1325536 edges, 26425 markings/sec, 10 secs
lola: 530810 markings, 1766906 edges, 26479 markings/sec, 15 secs
lola: 662642 markings, 2211050 edges, 26366 markings/sec, 20 secs
lola: 794275 markings, 2654320 edges, 26327 markings/sec, 25 secs
lola: 925436 markings, 3096539 edges, 26232 markings/sec, 30 secs
lola: 1056941 markings, 3537916 edges, 26301 markings/sec, 35 secs
lola: 1187944 markings, 3978983 edges, 26201 markings/sec, 40 secs
lola: 1318563 markings, 4421026 edges, 26124 markings/sec, 45 secs
lola: 1449496 markings, 4862966 edges, 26187 markings/sec, 50 secs
lola: 1579963 markings, 5302217 edges, 26093 markings/sec, 55 secs
lola: 1710203 markings, 5745087 edges, 26048 markings/sec, 60 secs
lola: 1841032 markings, 6186671 edges, 26166 markings/sec, 65 secs
lola: 1972630 markings, 6630734 edges, 26320 markings/sec, 70 secs
lola: 2103632 markings, 7072448 edges, 26200 markings/sec, 75 secs
lola: 2234014 markings, 7521144 edges, 26076 markings/sec, 80 secs
lola: 2364647 markings, 7960434 edges, 26127 markings/sec, 85 secs
lola: 2495237 markings, 8402978 edges, 26118 markings/sec, 90 secs
lola: 2624915 markings, 8845001 edges, 25936 markings/sec, 95 secs
lola: 2754892 markings, 9284183 edges, 25995 markings/sec, 100 secs
lola: 2884860 markings, 9726691 edges, 25994 markings/sec, 105 secs
lola: 3014725 markings, 10164093 edges, 25973 markings/sec, 110 secs
lola: 3145269 markings, 10603914 edges, 26109 markings/sec, 115 secs
lola: 3274827 markings, 11048946 edges, 25912 markings/sec, 120 secs
lola: 3404499 markings, 11487475 edges, 25934 markings/sec, 125 secs
lola: 3533130 markings, 11933648 edges, 25726 markings/sec, 130 secs
lola: 3663295 markings, 12368767 edges, 26033 markings/sec, 135 secs
lola: 3792599 markings, 12806356 edges, 25861 markings/sec, 140 secs
lola: 3922534 markings, 13246864 edges, 25987 markings/sec, 145 secs
lola: 4052300 markings, 13685479 edges, 25953 markings/sec, 150 secs
lola: 4180971 markings, 14132435 edges, 25734 markings/sec, 155 secs
lola: 4310803 markings, 14568255 edges, 25966 markings/sec, 160 secs
lola: 4439399 markings, 15012884 edges, 25719 markings/sec, 165 secs
lola: 4567106 markings, 15448589 edges, 25541 markings/sec, 170 secs
lola: 4696942 markings, 15881938 edges, 25967 markings/sec, 175 secs
lola: 4826022 markings, 16319729 edges, 25816 markings/sec, 180 secs
lola: 4956579 markings, 16769078 edges, 26111 markings/sec, 185 secs
lola: 5086863 markings, 17207890 edges, 26057 markings/sec, 190 secs
lola: 5216562 markings, 17651138 edges, 25940 markings/sec, 195 secs
lola: 5345826 markings, 18094740 edges, 25853 markings/sec, 200 secs
lola: 5475815 markings, 18534773 edges, 25998 markings/sec, 205 secs
lola: 5605190 markings, 18981517 edges, 25875 markings/sec, 210 secs
lola: 5735630 markings, 19418481 edges, 26088 markings/sec, 215 secs
lola: 5865402 markings, 19859898 edges, 25954 markings/sec, 220 secs
lola: 5994929 markings, 20305575 edges, 25905 markings/sec, 225 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 200 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1505456 KB
lola: time consumption: 1484 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 231 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__10_1_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__10_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: 200
lola: 137595 markings, 378800 edges, 27519 markings/sec, 0 secs
lola: 274789 markings, 757659 edges, 27439 markings/sec, 5 secs
lola: 411406 markings, 1134900 edges, 27323 markings/sec, 10 secs
lola: 547976 markings, 1511755 edges, 27314 markings/sec, 15 secs
lola: 684319 markings, 1888120 edges, 27269 markings/sec, 20 secs
lola: 820804 markings, 2264945 edges, 27297 markings/sec, 25 secs
lola: 956769 markings, 2640116 edges, 27193 markings/sec, 30 secs
lola: 1092723 markings, 3015259 edges, 27191 markings/sec, 35 secs
lola: 1228459 markings, 3389737 edges, 27147 markings/sec, 40 secs
lola: 1364627 markings, 3765569 edges, 27234 markings/sec, 45 secs
lola: 1500419 markings, 4140179 edges, 27158 markings/sec, 50 secs
lola: 1635874 markings, 4514022 edges, 27091 markings/sec, 55 secs
lola: 1771041 markings, 4886706 edges, 27033 markings/sec, 60 secs
lola: 1906388 markings, 5260120 edges, 27069 markings/sec, 65 secs
lola: 2041572 markings, 5633228 edges, 27037 markings/sec, 70 secs
lola: 2176716 markings, 6006111 edges, 27029 markings/sec, 75 secs
lola: 2311616 markings, 6378489 edges, 26980 markings/sec, 80 secs
lola: 2446840 markings, 6751726 edges, 27045 markings/sec, 85 secs
lola: 2582839 markings, 7127053 edges, 27200 markings/sec, 90 secs
lola: 2718836 markings, 7502352 edges, 27199 markings/sec, 95 secs
lola: 2854267 markings, 7876051 edges, 27086 markings/sec, 100 secs
lola: 2990070 markings, 8250824 edges, 27161 markings/sec, 105 secs
lola: 3125458 markings, 8624519 edges, 27078 markings/sec, 110 secs
lola: 3260506 markings, 8997237 edges, 27010 markings/sec, 115 secs
lola: 3394627 markings, 9367172 edges, 26824 markings/sec, 120 secs
lola: 3530623 markings, 9742490 edges, 27199 markings/sec, 125 secs
lola: 3666411 markings, 10117181 edges, 27158 markings/sec, 130 secs
lola: 3802102 markings, 10491629 edges, 27138 markings/sec, 135 secs
lola: 3937511 markings, 10865248 edges, 27082 markings/sec, 140 secs
lola: 4073302 markings, 11239989 edges, 27158 markings/sec, 145 secs
lola: 4208737 markings, 11613773 edges, 27087 markings/sec, 150 secs
lola: 4343936 markings, 11986997 edges, 27040 markings/sec, 155 secs
lola: 4478696 markings, 12358875 edges, 26952 markings/sec, 160 secs
lola: 4615153 markings, 12735429 edges, 27291 markings/sec, 165 secs
lola: 4751585 markings, 13112006 edges, 27286 markings/sec, 170 secs
lola: 4887858 markings, 13488033 edges, 27255 markings/sec, 175 secs
lola: 5023615 markings, 13862693 edges, 27151 markings/sec, 180 secs
lola: 5159678 markings, 14238192 edges, 27213 markings/sec, 185 secs
lola: 5295383 markings, 14612646 edges, 27141 markings/sec, 190 secs
lola: 5431083 markings, 14987187 edges, 27140 markings/sec, 195 secs
lola: 5566488 markings, 15360835 edges, 27081 markings/sec, 200 secs
lola: 5703085 markings, 15737789 edges, 27319 markings/sec, 205 secs
lola: 5839493 markings, 16114218 edges, 27282 markings/sec, 210 secs
lola: 5975778 markings, 16490376 edges, 27257 markings/sec, 215 secs
lola: 6111789 markings, 16865710 edges, 27202 markings/sec, 220 secs
lola: 6248246 markings, 17242283 edges, 27291 markings/sec, 225 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 200 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1703432 KB
lola: time consumption: 1716 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 231 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__4_1_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__4_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: 200
lola: 136456 markings, 360922 edges, 27291 markings/sec, 0 secs
lola: 273087 markings, 719397 edges, 27326 markings/sec, 5 secs
lola: 409193 markings, 1076246 edges, 27221 markings/sec, 10 secs
lola: 543997 markings, 1429221 edges, 26961 markings/sec, 15 secs
lola: 679528 markings, 1783743 edges, 27106 markings/sec, 20 secs
lola: 815291 markings, 2139134 edges, 27153 markings/sec, 25 secs
lola: 950843 markings, 2493933 edges, 27110 markings/sec, 30 secs
lola: 1086078 markings, 2847597 edges, 27047 markings/sec, 35 secs
lola: 1221241 markings, 3200891 edges, 27033 markings/sec, 40 secs
lola: 1357114 markings, 3555888 edges, 27175 markings/sec, 45 secs
lola: 1492323 markings, 3909063 edges, 27042 markings/sec, 50 secs
lola: 1627833 markings, 4263394 edges, 27102 markings/sec, 55 secs
lola: 1762759 markings, 4615919 edges, 26985 markings/sec, 60 secs
lola: 1897988 markings, 4968554 edges, 27046 markings/sec, 65 secs
lola: 2032957 markings, 5321248 edges, 26994 markings/sec, 70 secs
lola: 2168170 markings, 5673571 edges, 27043 markings/sec, 75 secs
lola: 2303076 markings, 6024338 edges, 26981 markings/sec, 80 secs
lola: 2436854 markings, 6372836 edges, 26756 markings/sec, 85 secs
lola: 2572636 markings, 6725485 edges, 27156 markings/sec, 90 secs
lola: 2708159 markings, 7077628 edges, 27105 markings/sec, 95 secs
lola: 2843316 markings, 7429649 edges, 27031 markings/sec, 100 secs
lola: 2978440 markings, 7779081 edges, 27025 markings/sec, 105 secs
lola: 3113568 markings, 8129790 edges, 27026 markings/sec, 110 secs
lola: 3248279 markings, 8479270 edges, 26942 markings/sec, 115 secs
lola: 3383604 markings, 8830222 edges, 27065 markings/sec, 120 secs
lola: 3518677 markings, 9182184 edges, 27015 markings/sec, 125 secs
lola: 3653614 markings, 9533533 edges, 26987 markings/sec, 130 secs
lola: 3789047 markings, 9884017 edges, 27087 markings/sec, 135 secs
lola: 3924134 markings, 10232704 edges, 27017 markings/sec, 140 secs
lola: 4059139 markings, 10584017 edges, 27001 markings/sec, 145 secs
lola: 4194243 markings, 10931471 edges, 27021 markings/sec, 150 secs
lola: 4329114 markings, 11280222 edges, 26974 markings/sec, 155 secs
lola: 4463889 markings, 11630320 edges, 26955 markings/sec, 160 secs
lola: 4598790 markings, 11981412 edges, 26980 markings/sec, 165 secs
lola: 4733482 markings, 12328623 edges, 26938 markings/sec, 170 secs
lola: 4868798 markings, 12678205 edges, 27063 markings/sec, 175 secs
lola: 5004967 markings, 13028417 edges, 27234 markings/sec, 180 secs
lola: 5140242 markings, 13377305 edges, 27055 markings/sec, 185 secs
lola: 5275982 markings, 13728733 edges, 27148 markings/sec, 190 secs
lola: 5410921 markings, 14079774 edges, 26988 markings/sec, 195 secs
lola: 5546690 markings, 14428634 edges, 27154 markings/sec, 200 secs
lola: 5682187 markings, 14779258 edges, 27099 markings/sec, 205 secs
lola: 5817389 markings, 15125095 edges, 27040 markings/sec, 210 secs
lola: 5952162 markings, 15471662 edges, 26955 markings/sec, 215 secs
lola: 6086385 markings, 15821296 edges, 26845 markings/sec, 220 secs
lola: 6221578 markings, 16169084 edges, 27039 markings/sec, 225 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 200 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1413612 KB
lola: time consumption: 1947 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 231 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__5_6_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__5_6_)
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: 200
lola: SUBRESULT
lola: result: 200
lola: produced by: state space
lola: The maximum value of the given expression is 200
lola: 201 markings, 200 edges
lola: ========================================
lola: subprocess 10 will run for 270 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__10_3_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__10_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: 200
lola: 136876 markings, 412393 edges, 27375 markings/sec, 0 secs
lola: 273178 markings, 829247 edges, 27260 markings/sec, 5 secs
lola: 409148 markings, 1237906 edges, 27194 markings/sec, 10 secs
lola: 542689 markings, 1635127 edges, 26708 markings/sec, 15 secs
lola: 678648 markings, 2042198 edges, 27192 markings/sec, 20 secs
lola: 813700 markings, 2452740 edges, 27010 markings/sec, 25 secs
lola: 949230 markings, 2861853 edges, 27106 markings/sec, 30 secs
lola: 1084531 markings, 3285199 edges, 27060 markings/sec, 35 secs
lola: 1219480 markings, 3697718 edges, 26990 markings/sec, 40 secs
lola: 1354071 markings, 4103171 edges, 26918 markings/sec, 45 secs
lola: 1489287 markings, 4508253 edges, 27043 markings/sec, 50 secs
lola: 1624442 markings, 4929762 edges, 27031 markings/sec, 55 secs
lola: 1758561 markings, 5360123 edges, 26824 markings/sec, 60 secs
lola: 1893956 markings, 5780732 edges, 27079 markings/sec, 65 secs
lola: 2028814 markings, 6192409 edges, 26972 markings/sec, 70 secs
lola: 2162866 markings, 6595103 edges, 26810 markings/sec, 75 secs
lola: 2297824 markings, 6992036 edges, 26992 markings/sec, 80 secs
lola: 2432735 markings, 7399858 edges, 26982 markings/sec, 85 secs
lola: 2567145 markings, 7808496 edges, 26882 markings/sec, 90 secs
lola: 2701579 markings, 8217023 edges, 26887 markings/sec, 95 secs
lola: 2834862 markings, 8618230 edges, 26657 markings/sec, 100 secs
lola: 2967491 markings, 9023110 edges, 26526 markings/sec, 105 secs
lola: 3101814 markings, 9425371 edges, 26865 markings/sec, 110 secs
lola: 3234410 markings, 9824951 edges, 26519 markings/sec, 115 secs
lola: 3369061 markings, 10231818 edges, 26930 markings/sec, 120 secs
lola: 3503258 markings, 10650540 edges, 26839 markings/sec, 125 secs
lola: 3638367 markings, 11062133 edges, 27022 markings/sec, 130 secs
lola: 3772570 markings, 11470966 edges, 26841 markings/sec, 135 secs
lola: 3907811 markings, 11871280 edges, 27048 markings/sec, 140 secs
lola: 4042332 markings, 12286730 edges, 26904 markings/sec, 145 secs
lola: 4176018 markings, 12712994 edges, 26737 markings/sec, 150 secs
lola: 4309644 markings, 13136745 edges, 26725 markings/sec, 155 secs
lola: 4444390 markings, 13553121 edges, 26949 markings/sec, 160 secs
lola: 4578451 markings, 13952898 edges, 26812 markings/sec, 165 secs
lola: 4712152 markings, 14357913 edges, 26740 markings/sec, 170 secs
lola: 4846047 markings, 14751528 edges, 26779 markings/sec, 175 secs
lola: 4980761 markings, 15159698 edges, 26943 markings/sec, 180 secs
lola: 5114897 markings, 15577708 edges, 26827 markings/sec, 185 secs
lola: 5249009 markings, 15990755 edges, 26822 markings/sec, 190 secs
lola: 5382332 markings, 16409460 edges, 26665 markings/sec, 195 secs
lola: 5515849 markings, 16839995 edges, 26703 markings/sec, 200 secs
lola: 5650277 markings, 17243342 edges, 26886 markings/sec, 205 secs
lola: 5783280 markings, 17665185 edges, 26601 markings/sec, 210 secs
lola: 5915985 markings, 18068785 edges, 26541 markings/sec, 215 secs
lola: 6047545 markings, 18488674 edges, 26312 markings/sec, 220 secs
lola: 6179794 markings, 18908969 edges, 26450 markings/sec, 225 secs
lola: 6314400 markings, 19317860 edges, 26921 markings/sec, 230 secs
lola: 6449224 markings, 19720002 edges, 26965 markings/sec, 235 secs
lola: 6581983 markings, 20137183 edges, 26552 markings/sec, 240 secs
lola: 6716317 markings, 20534375 edges, 26867 markings/sec, 245 secs
lola: 6850494 markings, 20940783 edges, 26835 markings/sec, 250 secs
lola: 6985915 markings, 21348063 edges, 27084 markings/sec, 255 secs
lola: 7120912 markings, 21762328 edges, 26999 markings/sec, 260 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 200 unknown unknown unknown unknown unknown unknown unknown 200 unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown 200 unknown unknown unknown unknown unknown unknown unknown 200 unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1975956 KB
lola: time consumption: 2217 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__1_3_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__1_3_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 200
lola: 138057 markings, 440203 edges, 27611 markings/sec, 0 secs
lola: 274078 markings, 880691 edges, 27204 markings/sec, 5 secs
lola: 409031 markings, 1309262 edges, 26991 markings/sec, 10 secs
lola: 544697 markings, 1746066 edges, 27133 markings/sec, 15 secs
lola: 681923 markings, 2182148 edges, 27445 markings/sec, 20 secs
lola: 820185 markings, 2617560 edges, 27652 markings/sec, 25 secs
lola: 956156 markings, 3054756 edges, 27194 markings/sec, 30 secs
lola: 1092608 markings, 3477054 edges, 27290 markings/sec, 35 secs
lola: 1228495 markings, 3912017 edges, 27177 markings/sec, 40 secs
lola: 1364914 markings, 4340010 edges, 27284 markings/sec, 45 secs
lola: 1502452 markings, 4775837 edges, 27508 markings/sec, 50 secs
lola: 1639171 markings, 5213778 edges, 27344 markings/sec, 55 secs
lola: 1774171 markings, 5643646 edges, 27000 markings/sec, 60 secs
lola: 1913738 markings, 6070417 edges, 27913 markings/sec, 65 secs
lola: 2051689 markings, 6510367 edges, 27590 markings/sec, 70 secs
lola: 2188271 markings, 6938155 edges, 27316 markings/sec, 75 secs
lola: 2323631 markings, 7365479 edges, 27072 markings/sec, 80 secs
lola: 2460233 markings, 7800365 edges, 27320 markings/sec, 85 secs
lola: 2595505 markings, 8230239 edges, 27054 markings/sec, 90 secs
lola: 2731511 markings, 8653215 edges, 27201 markings/sec, 95 secs
lola: 2869364 markings, 9086848 edges, 27571 markings/sec, 100 secs
lola: 3007293 markings, 9512838 edges, 27586 markings/sec, 105 secs
lola: 3140850 markings, 9923410 edges, 26711 markings/sec, 110 secs
lola: 3276806 markings, 10353746 edges, 27191 markings/sec, 115 secs
lola: 3412096 markings, 10785540 edges, 27058 markings/sec, 120 secs
lola: 3548050 markings, 11217515 edges, 27191 markings/sec, 125 secs
lola: 3685943 markings, 11646443 edges, 27579 markings/sec, 130 secs
lola: 3820360 markings, 12055848 edges, 26883 markings/sec, 135 secs
lola: 3956296 markings, 12475373 edges, 27187 markings/sec, 140 secs
lola: 4091010 markings, 12898532 edges, 26943 markings/sec, 145 secs
lola: 4226880 markings, 13319221 edges, 27174 markings/sec, 150 secs
lola: 4362465 markings, 13733423 edges, 27117 markings/sec, 155 secs
lola: 4497695 markings, 14164092 edges, 27046 markings/sec, 160 secs
lola: 4633827 markings, 14580553 edges, 27226 markings/sec, 165 secs
lola: 4769992 markings, 15001045 edges, 27233 markings/sec, 170 secs
lola: 4905682 markings, 15413665 edges, 27138 markings/sec, 175 secs
lola: 5042011 markings, 15826816 edges, 27266 markings/sec, 180 secs
lola: 5176789 markings, 16245830 edges, 26956 markings/sec, 185 secs
lola: 5311483 markings, 16654080 edges, 26939 markings/sec, 190 secs
lola: 5446000 markings, 17062247 edges, 26903 markings/sec, 195 secs
lola: 5580276 markings, 17483685 edges, 26855 markings/sec, 200 secs
lola: 5714578 markings, 17895421 edges, 26860 markings/sec, 205 secs
lola: 5850492 markings, 18308666 edges, 27183 markings/sec, 210 secs
lola: 5986325 markings, 18727091 edges, 27167 markings/sec, 215 secs
lola: 6121035 markings, 19149867 edges, 26942 markings/sec, 220 secs
lola: 6254120 markings, 19576038 edges, 26617 markings/sec, 225 secs
lola: 6386876 markings, 19999927 edges, 26551 markings/sec, 230 secs
lola: 6522302 markings, 20411328 edges, 27085 markings/sec, 235 secs
lola: 6658686 markings, 20830252 edges, 27277 markings/sec, 240 secs
lola: 6794704 markings, 21245968 edges, 27204 markings/sec, 245 secs
lola: 6930656 markings, 21664834 edges, 27190 markings/sec, 250 secs
lola: 7066001 markings, 22085280 edges, 27069 markings/sec, 255 secs
lola: 7200451 markings, 22504217 edges, 26890 markings/sec, 260 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 200 unknown unknown unknown unknown unknown unknown unknown 200 unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown 200 unknown unknown unknown unknown unknown unknown unknown 200 unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1899052 KB
lola: time consumption: 2488 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 270 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__2_1_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__2_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: 200
lola: 135618 markings, 401145 edges, 27124 markings/sec, 0 secs
lola: 269778 markings, 812131 edges, 26832 markings/sec, 5 secs
lola: 404248 markings, 1223359 edges, 26894 markings/sec, 10 secs
lola: 540318 markings, 1639396 edges, 27214 markings/sec, 15 secs
lola: 675046 markings, 2041940 edges, 26946 markings/sec, 20 secs
lola: 810072 markings, 2456553 edges, 27005 markings/sec, 25 secs
lola: 944105 markings, 2869011 edges, 26807 markings/sec, 30 secs
lola: 1076976 markings, 3282323 edges, 26574 markings/sec, 35 secs
lola: 1207217 markings, 3678391 edges, 26048 markings/sec, 40 secs
lola: 1343247 markings, 4093868 edges, 27206 markings/sec, 45 secs
lola: 1477010 markings, 4507768 edges, 26753 markings/sec, 50 secs
lola: 1609913 markings, 4917536 edges, 26581 markings/sec, 55 secs
lola: 1740745 markings, 5316383 edges, 26166 markings/sec, 60 secs
lola: 1872010 markings, 5712181 edges, 26253 markings/sec, 65 secs
lola: 2006014 markings, 6121282 edges, 26801 markings/sec, 70 secs
lola: 2140845 markings, 6530869 edges, 26966 markings/sec, 75 secs
lola: 2273764 markings, 6936047 edges, 26584 markings/sec, 80 secs
lola: 2404984 markings, 7339558 edges, 26244 markings/sec, 85 secs
lola: 2536240 markings, 7735040 edges, 26251 markings/sec, 90 secs
lola: 2668342 markings, 8142825 edges, 26420 markings/sec, 95 secs
lola: 2803699 markings, 8558425 edges, 27071 markings/sec, 100 secs
lola: 2937590 markings, 8968468 edges, 26778 markings/sec, 105 secs
lola: 3069835 markings, 9382800 edges, 26449 markings/sec, 110 secs
lola: 3202272 markings, 9787594 edges, 26487 markings/sec, 115 secs
lola: 3335161 markings, 10189295 edges, 26578 markings/sec, 120 secs
lola: 3466015 markings, 10599025 edges, 26171 markings/sec, 125 secs
lola: 3598581 markings, 11000866 edges, 26513 markings/sec, 130 secs
lola: 3730082 markings, 11401586 edges, 26300 markings/sec, 135 secs
lola: 3861760 markings, 11804383 edges, 26336 markings/sec, 140 secs
lola: 3996766 markings, 12216323 edges, 27001 markings/sec, 145 secs
lola: 4129802 markings, 12630435 edges, 26607 markings/sec, 150 secs
lola: 4263439 markings, 13037610 edges, 26727 markings/sec, 155 secs
lola: 4396125 markings, 13438314 edges, 26537 markings/sec, 160 secs
lola: 4527303 markings, 13835496 edges, 26236 markings/sec, 165 secs
lola: 4658384 markings, 14243379 edges, 26216 markings/sec, 170 secs
lola: 4788329 markings, 14638328 edges, 25989 markings/sec, 175 secs
lola: 4918862 markings, 15043948 edges, 26107 markings/sec, 180 secs
lola: 5049534 markings, 15445511 edges, 26134 markings/sec, 185 secs
lola: 5181821 markings, 15847266 edges, 26457 markings/sec, 190 secs
lola: 5314763 markings, 16254888 edges, 26588 markings/sec, 195 secs
lola: 5446333 markings, 16655482 edges, 26314 markings/sec, 200 secs
lola: 5579519 markings, 17073234 edges, 26637 markings/sec, 205 secs
lola: 5715228 markings, 17490042 edges, 27142 markings/sec, 210 secs
lola: 5849023 markings, 17901744 edges, 26759 markings/sec, 215 secs
lola: 5981965 markings, 18304925 edges, 26588 markings/sec, 220 secs
lola: 6114763 markings, 18708927 edges, 26560 markings/sec, 225 secs
lola: 6248193 markings, 19122710 edges, 26686 markings/sec, 230 secs
lola: 6381170 markings, 19525300 edges, 26595 markings/sec, 235 secs
lola: 6514408 markings, 19926702 edges, 26648 markings/sec, 240 secs
lola: 6646946 markings, 20330184 edges, 26508 markings/sec, 245 secs
lola: 6779306 markings, 20739707 edges, 26472 markings/sec, 250 secs
lola: 6915104 markings, 21155828 edges, 27160 markings/sec, 255 secs
lola: 7049970 markings, 21568410 edges, 26973 markings/sec, 260 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 200 unknown unknown unknown unknown unknown unknown unknown 200 unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown 200 unknown unknown unknown unknown unknown unknown unknown 200 unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1884796 KB
lola: time consumption: 2758 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__9_7_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__9_7_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 200
lola: 135229 markings, 430973 edges, 27046 markings/sec, 0 secs
lola: 269909 markings, 858806 edges, 26936 markings/sec, 5 secs
lola: 404159 markings, 1289748 edges, 26850 markings/sec, 10 secs
lola: 537258 markings, 1716310 edges, 26620 markings/sec, 15 secs
lola: 669656 markings, 2138652 edges, 26480 markings/sec, 20 secs
lola: 802707 markings, 2558099 edges, 26610 markings/sec, 25 secs
lola: 935170 markings, 2983343 edges, 26493 markings/sec, 30 secs
lola: 1067779 markings, 3407037 edges, 26522 markings/sec, 35 secs
lola: 1200296 markings, 3832061 edges, 26503 markings/sec, 40 secs
lola: 1332440 markings, 4252306 edges, 26429 markings/sec, 45 secs
lola: 1463759 markings, 4670802 edges, 26264 markings/sec, 50 secs
lola: 1594852 markings, 5085847 edges, 26219 markings/sec, 55 secs
lola: 1725212 markings, 5501730 edges, 26072 markings/sec, 60 secs
lola: 1858520 markings, 5925986 edges, 26662 markings/sec, 65 secs
lola: 1992273 markings, 6356442 edges, 26751 markings/sec, 70 secs
lola: 2126352 markings, 6776632 edges, 26816 markings/sec, 75 secs
lola: 2260786 markings, 7200241 edges, 26887 markings/sec, 80 secs
lola: 2392370 markings, 7635277 edges, 26317 markings/sec, 85 secs
lola: 2522478 markings, 8082861 edges, 26022 markings/sec, 90 secs
lola: 2654742 markings, 8515869 edges, 26453 markings/sec, 95 secs
lola: 2788311 markings, 8948502 edges, 26714 markings/sec, 100 secs
lola: 2922111 markings, 9371599 edges, 26760 markings/sec, 105 secs
lola: 3054471 markings, 9795422 edges, 26472 markings/sec, 110 secs
lola: 3186481 markings, 10219089 edges, 26402 markings/sec, 115 secs
lola: 3317668 markings, 10630565 edges, 26237 markings/sec, 120 secs
lola: 3450352 markings, 11052019 edges, 26537 markings/sec, 125 secs
lola: 3579843 markings, 11471286 edges, 25898 markings/sec, 130 secs
lola: 3706215 markings, 11913010 edges, 25274 markings/sec, 135 secs
lola: 3837746 markings, 12341409 edges, 26306 markings/sec, 140 secs
lola: 3968532 markings, 12767163 edges, 26157 markings/sec, 145 secs
lola: 4100460 markings, 13186075 edges, 26386 markings/sec, 150 secs
lola: 4234633 markings, 13614205 edges, 26835 markings/sec, 155 secs
lola: 4368397 markings, 14038866 edges, 26753 markings/sec, 160 secs
lola: 4502461 markings, 14468395 edges, 26813 markings/sec, 165 secs
lola: 4635079 markings, 14894054 edges, 26524 markings/sec, 170 secs
lola: 4772484 markings, 15298607 edges, 27481 markings/sec, 175 secs
lola: 4902239 markings, 15711479 edges, 25951 markings/sec, 180 secs
lola: 5031521 markings, 16119264 edges, 25856 markings/sec, 185 secs
lola: 5163058 markings, 16538044 edges, 26307 markings/sec, 190 secs
lola: 5295568 markings, 16958817 edges, 26502 markings/sec, 195 secs
lola: 5427993 markings, 17378604 edges, 26485 markings/sec, 200 secs
lola: 5560990 markings, 17801265 edges, 26599 markings/sec, 205 secs
lola: 5692992 markings, 18221444 edges, 26400 markings/sec, 210 secs
lola: 5825751 markings, 18640203 edges, 26552 markings/sec, 215 secs
lola: 5957938 markings, 19060664 edges, 26437 markings/sec, 220 secs
lola: 6089159 markings, 19477027 edges, 26244 markings/sec, 225 secs
lola: 6219642 markings, 19889855 edges, 26097 markings/sec, 230 secs
lola: 6350360 markings, 20304520 edges, 26144 markings/sec, 235 secs
lola: 6481233 markings, 20718923 edges, 26175 markings/sec, 240 secs
lola: 6612579 markings, 21135454 edges, 26269 markings/sec, 245 secs
lola: 6744102 markings, 21554445 edges, 26305 markings/sec, 250 secs
lola: 6875336 markings, 21971371 edges, 26247 markings/sec, 255 secs
lola: 7007103 markings, 22386939 edges, 26353 markings/sec, 260 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 200 unknown unknown unknown unknown unknown unknown unknown 200 unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown 200 unknown unknown unknown unknown unknown unknown unknown 200 unknown unknown unknown unknown unknown unknown
lola: memory consumption: 2081428 KB
lola: time consumption: 3028 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 271 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__4_1_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__4_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: 200
lola: 135046 markings, 357152 edges, 27009 markings/sec, 0 secs
lola: 270327 markings, 712358 edges, 27056 markings/sec, 5 secs
lola: 404487 markings, 1063899 edges, 26832 markings/sec, 10 secs
lola: 539356 markings, 1417428 edges, 26974 markings/sec, 15 secs
lola: 673870 markings, 1769835 edges, 26903 markings/sec, 20 secs
lola: 809100 markings, 2123544 edges, 27046 markings/sec, 25 secs
lola: 943526 markings, 2475260 edges, 26885 markings/sec, 30 secs
lola: 1077762 markings, 2826527 edges, 26847 markings/sec, 35 secs
lola: 1211703 markings, 3176994 edges, 26788 markings/sec, 40 secs
lola: 1346274 markings, 3528775 edges, 26914 markings/sec, 45 secs
lola: 1480720 markings, 3879837 edges, 26889 markings/sec, 50 secs
lola: 1615145 markings, 4231040 edges, 26885 markings/sec, 55 secs
lola: 1749332 markings, 4581932 edges, 26837 markings/sec, 60 secs
lola: 1883789 markings, 4932468 edges, 26891 markings/sec, 65 secs
lola: 2018636 markings, 5283517 edges, 26969 markings/sec, 70 secs
lola: 2153731 markings, 5635888 edges, 27019 markings/sec, 75 secs
lola: 2288723 markings, 5987236 edges, 26998 markings/sec, 80 secs
lola: 2424168 markings, 6338916 edges, 27089 markings/sec, 85 secs
lola: 2559828 markings, 6692203 edges, 27132 markings/sec, 90 secs
lola: 2694839 markings, 7043787 edges, 27002 markings/sec, 95 secs
lola: 2830086 markings, 7393567 edges, 27049 markings/sec, 100 secs
lola: 2963081 markings, 7738813 edges, 26599 markings/sec, 105 secs
lola: 3098199 markings, 8089693 edges, 27024 markings/sec, 110 secs
lola: 3232795 markings, 8438761 edges, 26919 markings/sec, 115 secs
lola: 3367443 markings, 8789858 edges, 26930 markings/sec, 120 secs
lola: 3501607 markings, 9139225 edges, 26833 markings/sec, 125 secs
lola: 3636448 markings, 9488695 edges, 26968 markings/sec, 130 secs
lola: 3771564 markings, 9837035 edges, 27023 markings/sec, 135 secs
lola: 3906157 markings, 10187520 edges, 26919 markings/sec, 140 secs
lola: 4040709 markings, 10534065 edges, 26910 markings/sec, 145 secs
lola: 4175223 markings, 10881912 edges, 26903 markings/sec, 150 secs
lola: 4309938 markings, 11231339 edges, 26943 markings/sec, 155 secs
lola: 4442886 markings, 11577667 edges, 26590 markings/sec, 160 secs
lola: 4577190 markings, 11924714 edges, 26861 markings/sec, 165 secs
lola: 4711655 markings, 12271254 edges, 26893 markings/sec, 170 secs
lola: 4845982 markings, 12617759 edges, 26865 markings/sec, 175 secs
lola: 4981363 markings, 12967329 edges, 27076 markings/sec, 180 secs
lola: 5116505 markings, 13316220 edges, 27028 markings/sec, 185 secs
lola: 5251523 markings, 13667638 edges, 27004 markings/sec, 190 secs
lola: 5386283 markings, 14015054 edges, 26952 markings/sec, 195 secs
lola: 5519772 markings, 14359951 edges, 26698 markings/sec, 200 secs
lola: 5655030 markings, 14706293 edges, 27052 markings/sec, 205 secs
lola: 5789889 markings, 15053102 edges, 26972 markings/sec, 210 secs
lola: 5924333 markings, 15402376 edges, 26889 markings/sec, 215 secs
lola: 6058436 markings, 15749052 edges, 26821 markings/sec, 220 secs
lola: 6191882 markings, 16093111 edges, 26689 markings/sec, 225 secs
lola: 6327096 markings, 16438880 edges, 27043 markings/sec, 230 secs
lola: 6462162 markings, 16785917 edges, 27013 markings/sec, 235 secs
lola: 6596878 markings, 17136661 edges, 26943 markings/sec, 240 secs
lola: 6731779 markings, 17482566 edges, 26980 markings/sec, 245 secs
lola: 6866347 markings, 17829532 edges, 26914 markings/sec, 250 secs
lola: 7001272 markings, 18173768 edges, 26985 markings/sec, 255 secs
lola: 7136183 markings, 18522500 edges, 26982 markings/sec, 260 secs
lola: 7270713 markings, 18869991 edges, 26906 markings/sec, 265 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 200 unknown unknown unknown unknown unknown unknown unknown 200 unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1644364 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__7_3_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__7_3_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 200
lola: 132667 markings, 403588 edges, 26533 markings/sec, 0 secs
lola: 264458 markings, 796486 edges, 26358 markings/sec, 5 secs
lola: 396245 markings, 1188375 edges, 26357 markings/sec, 10 secs
lola: 527656 markings, 1576490 edges, 26282 markings/sec, 15 secs
lola: 658720 markings, 1963264 edges, 26213 markings/sec, 20 secs
lola: 789900 markings, 2350247 edges, 26236 markings/sec, 25 secs
lola: 921196 markings, 2737731 edges, 26259 markings/sec, 30 secs
lola: 1051984 markings, 3124376 edges, 26158 markings/sec, 35 secs
lola: 1182227 markings, 3506151 edges, 26049 markings/sec, 40 secs
lola: 1311978 markings, 3888966 edges, 25950 markings/sec, 45 secs
lola: 1440911 markings, 4269180 edges, 25787 markings/sec, 50 secs
lola: 1570066 markings, 4652759 edges, 25831 markings/sec, 55 secs
lola: 1701632 markings, 5034257 edges, 26313 markings/sec, 60 secs
lola: 1832481 markings, 5420304 edges, 26170 markings/sec, 65 secs
lola: 1963319 markings, 5805937 edges, 26168 markings/sec, 70 secs
lola: 2093862 markings, 6190567 edges, 26109 markings/sec, 75 secs
lola: 2223825 markings, 6576605 edges, 25993 markings/sec, 80 secs
lola: 2355207 markings, 6966248 edges, 26276 markings/sec, 85 secs
lola: 2486737 markings, 7348600 edges, 26306 markings/sec, 90 secs
lola: 2618167 markings, 7732445 edges, 26286 markings/sec, 95 secs
lola: 2749132 markings, 8116976 edges, 26193 markings/sec, 100 secs
lola: 2880487 markings, 8503255 edges, 26271 markings/sec, 105 secs
lola: 3011061 markings, 8889426 edges, 26115 markings/sec, 110 secs
lola: 3141675 markings, 9277340 edges, 26123 markings/sec, 115 secs
lola: 3272146 markings, 9658278 edges, 26094 markings/sec, 120 secs
lola: 3403502 markings, 10040179 edges, 26271 markings/sec, 125 secs
lola: 3533729 markings, 10417484 edges, 26045 markings/sec, 130 secs
lola: 3664462 markings, 10804284 edges, 26147 markings/sec, 135 secs
lola: 3795216 markings, 11186238 edges, 26151 markings/sec, 140 secs
lola: 3925791 markings, 11567518 edges, 26115 markings/sec, 145 secs
lola: 4056226 markings, 11955715 edges, 26087 markings/sec, 150 secs
lola: 4186393 markings, 12342500 edges, 26033 markings/sec, 155 secs
lola: 4317841 markings, 12718985 edges, 26290 markings/sec, 160 secs
lola: 4448068 markings, 13103220 edges, 26045 markings/sec, 165 secs
lola: 4578392 markings, 13482578 edges, 26065 markings/sec, 170 secs
lola: 4708754 markings, 13875729 edges, 26072 markings/sec, 175 secs
lola: 4839806 markings, 14254591 edges, 26210 markings/sec, 180 secs
lola: 4967776 markings, 14628461 edges, 25594 markings/sec, 185 secs
lola: 5098849 markings, 15009302 edges, 26215 markings/sec, 190 secs
lola: 5228212 markings, 15404066 edges, 25873 markings/sec, 195 secs
lola: 5359082 markings, 15772757 edges, 26174 markings/sec, 200 secs
lola: 5489815 markings, 16158231 edges, 26147 markings/sec, 205 secs
lola: 5619381 markings, 16542457 edges, 25913 markings/sec, 210 secs
lola: 5749818 markings, 16924153 edges, 26087 markings/sec, 215 secs
lola: 5880112 markings, 17304076 edges, 26059 markings/sec, 220 secs
lola: 6009632 markings, 17683838 edges, 25904 markings/sec, 225 secs
lola: 6140186 markings, 18070335 edges, 26111 markings/sec, 230 secs
lola: 6271247 markings, 18451265 edges, 26212 markings/sec, 235 secs
lola: 6400943 markings, 18833032 edges, 25939 markings/sec, 240 secs
lola: 6531176 markings, 19214733 edges, 26047 markings/sec, 245 secs
lola: 6661531 markings, 19594756 edges, 26071 markings/sec, 250 secs
lola: 6790347 markings, 19982544 edges, 25763 markings/sec, 255 secs
lola: 6921766 markings, 20355957 edges, 26284 markings/sec, 260 secs
lola: time limit reached - aborting
lola: lola:
preliminary result: unknown 200 unknown unknown unknown unknown unknown unknown unknown 200 unknown unknown unknown unknown unknown unknown caught signal User defined signal 1 - aborting LoLA

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

lola: memory consumption: 1779660 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 200 unknown unknown unknown unknown unknown unknown unknown 200 unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown 200 unknown unknown unknown unknown unknown unknown unknown 200 unknown unknown unknown unknown unknown unknown
rslt: finished

BK_STOP 1552566521411

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

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