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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.3M
-rw-r--r-- 1 mcc users 3.9K Feb 10 21:33 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Feb 10 21:33 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.3K Feb 6 17:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 20K 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.6K Feb 4 23:31 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.8K 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.0K 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.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-D20N100-UpperBounds-00
FORMULA_NAME Diffusion2D-PT-D20N100-UpperBounds-01
FORMULA_NAME Diffusion2D-PT-D20N100-UpperBounds-02
FORMULA_NAME Diffusion2D-PT-D20N100-UpperBounds-03
FORMULA_NAME Diffusion2D-PT-D20N100-UpperBounds-04
FORMULA_NAME Diffusion2D-PT-D20N100-UpperBounds-05
FORMULA_NAME Diffusion2D-PT-D20N100-UpperBounds-06
FORMULA_NAME Diffusion2D-PT-D20N100-UpperBounds-07
FORMULA_NAME Diffusion2D-PT-D20N100-UpperBounds-08
FORMULA_NAME Diffusion2D-PT-D20N100-UpperBounds-09
FORMULA_NAME Diffusion2D-PT-D20N100-UpperBounds-10
FORMULA_NAME Diffusion2D-PT-D20N100-UpperBounds-11
FORMULA_NAME Diffusion2D-PT-D20N100-UpperBounds-12
FORMULA_NAME Diffusion2D-PT-D20N100-UpperBounds-13
FORMULA_NAME Diffusion2D-PT-D20N100-UpperBounds-14
FORMULA_NAME Diffusion2D-PT-D20N100-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1552569898592

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

FORMULA Diffusion2D-PT-D20N100-UpperBounds-03 100 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA Diffusion2D-PT-D20N100-UpperBounds-11 100 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-D20N100

{
"exit":
{
"memory": 32264,
"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__14_17_)",
"processed_size": 17,
"rewrites": 0
},
"result":
{
"preliminary_value": "unknown unknown unknown 100 unknown unknown unknown unknown unknown unknown unknown 100 unknown unknown unknown unknown "
},
"task":
{
"compoundnumber": 16,
"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__14_17_) : MAX(cAMP__15_18_) : MAX(cAMP__17_1_) : MAX(cAMP__9_11_) : MAX(cAMP__13_6_) : MAX(cAMP__7_16_) : MAX(cAMP__15_14_) : MAX(cAMP__2_7_) : MAX(cAMP__4_18_) : MAX(cAMP__17_7_) : MAX(cAMP__14_4_) : MAX(cAMP__12_12_) : MAX(cAMP__12_14_) : MAX(cAMP__2_1_) : MAX(cAMP__17_2_) : MAX(cAMP__13_6_)
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__14_17_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__14_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: 100
lola: 23766 markings, 84285 edges, 4753 markings/sec, 0 secs
lola: 48920 markings, 169846 edges, 5031 markings/sec, 5 secs
lola: 74390 markings, 254025 edges, 5094 markings/sec, 10 secs
lola: 99746 markings, 337194 edges, 5071 markings/sec, 15 secs
lola: 125383 markings, 428354 edges, 5127 markings/sec, 20 secs
lola: 151459 markings, 515072 edges, 5215 markings/sec, 25 secs
lola: 177459 markings, 600160 edges, 5200 markings/sec, 30 secs
lola: 203512 markings, 682831 edges, 5211 markings/sec, 35 secs
lola: 229399 markings, 769789 edges, 5177 markings/sec, 40 secs
lola: 255157 markings, 853610 edges, 5152 markings/sec, 45 secs
lola: 280836 markings, 939881 edges, 5136 markings/sec, 50 secs
lola: 306451 markings, 1026643 edges, 5123 markings/sec, 55 secs
lola: 332051 markings, 1112474 edges, 5120 markings/sec, 60 secs
lola: 357681 markings, 1201789 edges, 5126 markings/sec, 65 secs
lola: 383214 markings, 1288739 edges, 5107 markings/sec, 70 secs
lola: 409229 markings, 1373547 edges, 5203 markings/sec, 75 secs
lola: 434614 markings, 1458751 edges, 5077 markings/sec, 80 secs
lola: 460423 markings, 1549440 edges, 5162 markings/sec, 85 secs
lola: 485351 markings, 1630285 edges, 4986 markings/sec, 90 secs
lola: 510796 markings, 1712940 edges, 5089 markings/sec, 95 secs
lola: 536297 markings, 1795873 edges, 5100 markings/sec, 100 secs
lola: 561582 markings, 1880068 edges, 5057 markings/sec, 105 secs
lola: 586550 markings, 1963895 edges, 4994 markings/sec, 110 secs
lola: 611800 markings, 2048849 edges, 5050 markings/sec, 115 secs
lola: 637534 markings, 2136487 edges, 5147 markings/sec, 120 secs
lola: 663479 markings, 2221333 edges, 5189 markings/sec, 125 secs
lola: 688951 markings, 2304190 edges, 5094 markings/sec, 130 secs
lola: 714596 markings, 2386593 edges, 5129 markings/sec, 135 secs
lola: 739679 markings, 2469451 edges, 5017 markings/sec, 140 secs
lola: 765327 markings, 2560484 edges, 5130 markings/sec, 145 secs
lola: 791253 markings, 2647120 edges, 5185 markings/sec, 150 secs
lola: 816656 markings, 2732694 edges, 5081 markings/sec, 155 secs
lola: 842472 markings, 2817441 edges, 5163 markings/sec, 160 secs
lola: 867961 markings, 2910043 edges, 5098 markings/sec, 165 secs
lola: 893683 markings, 2995467 edges, 5144 markings/sec, 170 secs
lola: 919444 markings, 3080930 edges, 5152 markings/sec, 175 secs
lola: 945160 markings, 3165114 edges, 5143 markings/sec, 180 secs
lola: 971225 markings, 3248754 edges, 5213 markings/sec, 185 secs
lola: 997221 markings, 3332829 edges, 5199 markings/sec, 190 secs
lola: 1023179 markings, 3419176 edges, 5192 markings/sec, 195 secs
lola: 1049196 markings, 3503081 edges, 5203 markings/sec, 200 secs
lola: 1074967 markings, 3586134 edges, 5154 markings/sec, 205 secs
lola: 1100688 markings, 3674999 edges, 5144 markings/sec, 210 secs
lola: 1126422 markings, 3766177 edges, 5147 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: 336024 KB
lola: time consumption: 231 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__15_18_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__15_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: 100
lola: 24588 markings, 87055 edges, 4918 markings/sec, 0 secs
lola: 50022 markings, 173784 edges, 5087 markings/sec, 5 secs
lola: 75167 markings, 259058 edges, 5029 markings/sec, 10 secs
lola: 101057 markings, 345170 edges, 5178 markings/sec, 15 secs
lola: 126625 markings, 436188 edges, 5114 markings/sec, 20 secs
lola: 151687 markings, 522731 edges, 5012 markings/sec, 25 secs
lola: 176168 markings, 608320 edges, 4896 markings/sec, 30 secs
lola: 200924 markings, 691678 edges, 4951 markings/sec, 35 secs
lola: 226541 markings, 782508 edges, 5123 markings/sec, 40 secs
lola: 252273 markings, 870062 edges, 5146 markings/sec, 45 secs
lola: 277901 markings, 957842 edges, 5126 markings/sec, 50 secs
lola: 303268 markings, 1046186 edges, 5073 markings/sec, 55 secs
lola: 328826 markings, 1135389 edges, 5112 markings/sec, 60 secs
lola: 353520 markings, 1221860 edges, 4939 markings/sec, 65 secs
lola: 379222 markings, 1312446 edges, 5140 markings/sec, 70 secs
lola: 404940 markings, 1401924 edges, 5144 markings/sec, 75 secs
lola: 430431 markings, 1489091 edges, 5098 markings/sec, 80 secs
lola: 455942 markings, 1576893 edges, 5102 markings/sec, 85 secs
lola: 481900 markings, 1663260 edges, 5192 markings/sec, 90 secs
lola: 506659 markings, 1751272 edges, 4952 markings/sec, 95 secs
lola: 531786 markings, 1836057 edges, 5025 markings/sec, 100 secs
lola: 557358 markings, 1922913 edges, 5114 markings/sec, 105 secs
lola: 582985 markings, 2015824 edges, 5125 markings/sec, 110 secs
lola: 607674 markings, 2102033 edges, 4938 markings/sec, 115 secs
lola: 632611 markings, 2187301 edges, 4987 markings/sec, 120 secs
lola: 657325 markings, 2273130 edges, 4943 markings/sec, 125 secs
lola: 682439 markings, 2363455 edges, 5023 markings/sec, 130 secs
lola: 708095 markings, 2449562 edges, 5131 markings/sec, 135 secs
lola: 733220 markings, 2535822 edges, 5025 markings/sec, 140 secs
lola: 758222 markings, 2625295 edges, 5000 markings/sec, 145 secs
lola: 783216 markings, 2715788 edges, 4999 markings/sec, 150 secs
lola: 808490 markings, 2804314 edges, 5055 markings/sec, 155 secs
lola: 833297 markings, 2890490 edges, 4961 markings/sec, 160 secs
lola: 858423 markings, 2976801 edges, 5025 markings/sec, 165 secs
lola: 883312 markings, 3067250 edges, 4978 markings/sec, 170 secs
lola: 908631 markings, 3156157 edges, 5064 markings/sec, 175 secs
lola: 933748 markings, 3246004 edges, 5023 markings/sec, 180 secs
lola: 958878 markings, 3336174 edges, 5026 markings/sec, 185 secs
lola: 983282 markings, 3421155 edges, 4881 markings/sec, 190 secs
lola: 1008421 markings, 3511605 edges, 5028 markings/sec, 195 secs
lola: 1033938 markings, 3602585 edges, 5103 markings/sec, 200 secs
lola: 1059599 markings, 3692041 edges, 5132 markings/sec, 205 secs
lola: 1085204 markings, 3780892 edges, 5121 markings/sec, 210 secs
lola: 1110595 markings, 3874015 edges, 5078 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: 329356 KB
lola: time consumption: 453 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__17_1_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__17_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: 100
lola: 23665 markings, 74084 edges, 4733 markings/sec, 0 secs
lola: 49032 markings, 149084 edges, 5073 markings/sec, 5 secs
lola: 74897 markings, 223068 edges, 5173 markings/sec, 10 secs
lola: 100204 markings, 300510 edges, 5061 markings/sec, 15 secs
lola: 126060 markings, 373500 edges, 5171 markings/sec, 20 secs
lola: 151779 markings, 445896 edges, 5144 markings/sec, 25 secs
lola: 177934 markings, 519670 edges, 5231 markings/sec, 30 secs
lola: 204044 markings, 595996 edges, 5222 markings/sec, 35 secs
lola: 230255 markings, 669703 edges, 5242 markings/sec, 40 secs
lola: 256079 markings, 745566 edges, 5165 markings/sec, 45 secs
lola: 281913 markings, 818413 edges, 5167 markings/sec, 50 secs
lola: 307902 markings, 894354 edges, 5198 markings/sec, 55 secs
lola: 333532 markings, 967155 edges, 5126 markings/sec, 60 secs
lola: 359386 markings, 1043143 edges, 5171 markings/sec, 65 secs
lola: 385255 markings, 1118440 edges, 5174 markings/sec, 70 secs
lola: 411120 markings, 1190984 edges, 5173 markings/sec, 75 secs
lola: 437050 markings, 1265070 edges, 5186 markings/sec, 80 secs
lola: 462857 markings, 1341715 edges, 5161 markings/sec, 85 secs
lola: 488753 markings, 1416648 edges, 5179 markings/sec, 90 secs
lola: 514118 markings, 1490360 edges, 5073 markings/sec, 95 secs
lola: 539873 markings, 1563757 edges, 5151 markings/sec, 100 secs
lola: 565539 markings, 1638566 edges, 5133 markings/sec, 105 secs
lola: 591437 markings, 1712187 edges, 5180 markings/sec, 110 secs
lola: 617174 markings, 1784212 edges, 5147 markings/sec, 115 secs
lola: 642910 markings, 1856292 edges, 5147 markings/sec, 120 secs
lola: 668295 markings, 1927000 edges, 5077 markings/sec, 125 secs
lola: 694362 markings, 1998848 edges, 5213 markings/sec, 130 secs
lola: 720156 markings, 2070093 edges, 5159 markings/sec, 135 secs
lola: 746121 markings, 2141607 edges, 5193 markings/sec, 140 secs
lola: 771213 markings, 2213516 edges, 5018 markings/sec, 145 secs
lola: 796853 markings, 2284344 edges, 5128 markings/sec, 150 secs
lola: 821743 markings, 2355818 edges, 4978 markings/sec, 155 secs
lola: 847750 markings, 2427990 edges, 5201 markings/sec, 160 secs
lola: 873260 markings, 2498845 edges, 5102 markings/sec, 165 secs
lola: 899027 markings, 2570774 edges, 5153 markings/sec, 170 secs
lola: 924818 markings, 2644624 edges, 5158 markings/sec, 175 secs
lola: 950656 markings, 2717273 edges, 5168 markings/sec, 180 secs
lola: 976223 markings, 2788442 edges, 5113 markings/sec, 185 secs
lola: 1001652 markings, 2859096 edges, 5086 markings/sec, 190 secs
lola: 1026839 markings, 2929508 edges, 5037 markings/sec, 195 secs
lola: 1052072 markings, 3001156 edges, 5047 markings/sec, 200 secs
lola: 1078201 markings, 3075496 edges, 5226 markings/sec, 205 secs
lola: 1104334 markings, 3151816 edges, 5227 markings/sec, 210 secs
lola: 1130475 markings, 3224354 edges, 5228 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: 307936 KB
lola: time consumption: 675 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__9_11_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__9_11_)
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: 100
lola: 25235 markings, 73133 edges, 5047 markings/sec, 0 secs
lola: SUBRESULT
lola: result: 100
lola: produced by: state space
lola: The maximum value of the given expression is 100
lola: 30087 markings, 87113 edges
lola: ========================================
lola: subprocess 4 will run for 240 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__13_6_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__13_6_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 100
lola: 24445 markings, 68648 edges, 4889 markings/sec, 0 secs
lola: 49837 markings, 138619 edges, 5078 markings/sec, 5 secs
lola: 75226 markings, 206838 edges, 5078 markings/sec, 10 secs
lola: 100704 markings, 276529 edges, 5096 markings/sec, 15 secs
lola: 126143 markings, 348454 edges, 5088 markings/sec, 20 secs
lola: 151674 markings, 416669 edges, 5106 markings/sec, 25 secs
lola: 177173 markings, 485921 edges, 5100 markings/sec, 30 secs
lola: 202610 markings, 557998 edges, 5087 markings/sec, 35 secs
lola: 228042 markings, 628084 edges, 5086 markings/sec, 40 secs
lola: 253596 markings, 699635 edges, 5111 markings/sec, 45 secs
lola: 279167 markings, 769585 edges, 5114 markings/sec, 50 secs
lola: 304591 markings, 841969 edges, 5085 markings/sec, 55 secs
lola: 329844 markings, 912519 edges, 5051 markings/sec, 60 secs
lola: 354793 markings, 979564 edges, 4990 markings/sec, 65 secs
lola: 380054 markings, 1049819 edges, 5052 markings/sec, 70 secs
lola: 405478 markings, 1120337 edges, 5085 markings/sec, 75 secs
lola: 430988 markings, 1190410 edges, 5102 markings/sec, 80 secs
lola: 456072 markings, 1260806 edges, 5017 markings/sec, 85 secs
lola: 480950 markings, 1335008 edges, 4976 markings/sec, 90 secs
lola: 506118 markings, 1405324 edges, 5034 markings/sec, 95 secs
lola: 531238 markings, 1474897 edges, 5024 markings/sec, 100 secs
lola: 556377 markings, 1542332 edges, 5028 markings/sec, 105 secs
lola: 581786 markings, 1614059 edges, 5082 markings/sec, 110 secs
lola: 606342 markings, 1681134 edges, 4911 markings/sec, 115 secs
lola: 631997 markings, 1751357 edges, 5131 markings/sec, 120 secs
lola: 657449 markings, 1824068 edges, 5090 markings/sec, 125 secs
lola: 682907 markings, 1897212 edges, 5092 markings/sec, 130 secs
lola: 708069 markings, 1967666 edges, 5032 markings/sec, 135 secs
lola: 733384 markings, 2036906 edges, 5063 markings/sec, 140 secs
lola: 759011 markings, 2103803 edges, 5125 markings/sec, 145 secs
lola: 784535 markings, 2173856 edges, 5105 markings/sec, 150 secs
lola: 809873 markings, 2245436 edges, 5068 markings/sec, 155 secs
lola: 834599 markings, 2314140 edges, 4945 markings/sec, 160 secs
lola: 858675 markings, 2383952 edges, 4815 markings/sec, 165 secs
lola: 883996 markings, 2458179 edges, 5064 markings/sec, 170 secs
lola: 909176 markings, 2527551 edges, 5036 markings/sec, 175 secs
lola: 934560 markings, 2596510 edges, 5077 markings/sec, 180 secs
lola: 959592 markings, 2668473 edges, 5006 markings/sec, 185 secs
lola: 984625 markings, 2737439 edges, 5007 markings/sec, 190 secs
lola: 1009836 markings, 2807224 edges, 5042 markings/sec, 195 secs
lola: 1035218 markings, 2877589 edges, 5076 markings/sec, 200 secs
lola: 1060215 markings, 2945409 edges, 4999 markings/sec, 205 secs
lola: 1085476 markings, 3018902 edges, 5052 markings/sec, 210 secs
lola: 1111164 markings, 3086538 edges, 5138 markings/sec, 215 secs
lola: 1136713 markings, 3157483 edges, 5110 markings/sec, 220 secs
lola: 1161615 markings, 3229983 edges, 4980 markings/sec, 225 secs
lola: 1186282 markings, 3302115 edges, 4933 markings/sec, 230 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown 100 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown unknown unknown 100 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 413108 KB
lola: time consumption: 921 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 240 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__7_16_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__7_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: 100
lola: 24136 markings, 73649 edges, 4827 markings/sec, 0 secs
lola: 49503 markings, 152596 edges, 5073 markings/sec, 5 secs
lola: 74505 markings, 232666 edges, 5000 markings/sec, 10 secs
lola: 99656 markings, 314445 edges, 5030 markings/sec, 15 secs
lola: 125211 markings, 397913 edges, 5111 markings/sec, 20 secs
lola: 150643 markings, 476319 edges, 5086 markings/sec, 25 secs
lola: 175854 markings, 557933 edges, 5042 markings/sec, 30 secs
lola: 201566 markings, 637611 edges, 5142 markings/sec, 35 secs
lola: 227024 markings, 717712 edges, 5092 markings/sec, 40 secs
lola: 252542 markings, 800239 edges, 5104 markings/sec, 45 secs
lola: 278161 markings, 880989 edges, 5124 markings/sec, 50 secs
lola: 303464 markings, 966545 edges, 5061 markings/sec, 55 secs
lola: 328304 markings, 1052010 edges, 4968 markings/sec, 60 secs
lola: 353635 markings, 1138886 edges, 5066 markings/sec, 65 secs
lola: 378627 markings, 1226023 edges, 4998 markings/sec, 70 secs
lola: 403826 markings, 1308753 edges, 5040 markings/sec, 75 secs
lola: 429389 markings, 1392897 edges, 5113 markings/sec, 80 secs
lola: 455035 markings, 1473587 edges, 5129 markings/sec, 85 secs
lola: 480480 markings, 1555649 edges, 5089 markings/sec, 90 secs
lola: 506072 markings, 1644042 edges, 5118 markings/sec, 95 secs
lola: 531471 markings, 1730788 edges, 5080 markings/sec, 100 secs
lola: 556433 markings, 1819591 edges, 4992 markings/sec, 105 secs
lola: 581669 markings, 1903884 edges, 5047 markings/sec, 110 secs
lola: 606911 markings, 1986566 edges, 5048 markings/sec, 115 secs
lola: 632144 markings, 2065101 edges, 5047 markings/sec, 120 secs
lola: 657789 markings, 2149321 edges, 5129 markings/sec, 125 secs
lola: 683051 markings, 2231512 edges, 5052 markings/sec, 130 secs
lola: 708036 markings, 2313995 edges, 4997 markings/sec, 135 secs
lola: 733286 markings, 2400371 edges, 5050 markings/sec, 140 secs
lola: 758588 markings, 2487739 edges, 5060 markings/sec, 145 secs
lola: 784063 markings, 2570472 edges, 5095 markings/sec, 150 secs
lola: 809036 markings, 2654369 edges, 4995 markings/sec, 155 secs
lola: 834611 markings, 2738045 edges, 5115 markings/sec, 160 secs
lola: 859971 markings, 2828003 edges, 5072 markings/sec, 165 secs
lola: 885126 markings, 2916010 edges, 5031 markings/sec, 170 secs
lola: 910128 markings, 3001701 edges, 5000 markings/sec, 175 secs
lola: 935700 markings, 3084162 edges, 5114 markings/sec, 180 secs
lola: 961155 markings, 3167508 edges, 5091 markings/sec, 185 secs
lola: 986453 markings, 3251628 edges, 5060 markings/sec, 190 secs
lola: 1011715 markings, 3334797 edges, 5052 markings/sec, 195 secs
lola: 1036101 markings, 3421357 edges, 4877 markings/sec, 200 secs
lola: 1061088 markings, 3511460 edges, 4997 markings/sec, 205 secs
lola: 1086193 markings, 3599647 edges, 5021 markings/sec, 210 secs
lola: 1111371 markings, 3683338 edges, 5036 markings/sec, 215 secs
lola: 1135644 markings, 3763645 edges, 4855 markings/sec, 220 secs
lola: 1160717 markings, 3846552 edges, 5015 markings/sec, 225 secs
lola: 1185981 markings, 3929961 edges, 5053 markings/sec, 230 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown 100 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown unknown unknown 100 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 459772 KB
lola: time consumption: 1161 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 240 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__15_14_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__15_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: 100
lola: 24460 markings, 74610 edges, 4892 markings/sec, 0 secs
lola: 49509 markings, 157358 edges, 5010 markings/sec, 5 secs
lola: 74812 markings, 244094 edges, 5061 markings/sec, 10 secs
lola: 100021 markings, 325009 edges, 5042 markings/sec, 15 secs
lola: 125417 markings, 408050 edges, 5079 markings/sec, 20 secs
lola: 150762 markings, 495178 edges, 5069 markings/sec, 25 secs
lola: 176155 markings, 577116 edges, 5079 markings/sec, 30 secs
lola: 201653 markings, 658658 edges, 5100 markings/sec, 35 secs
lola: 226929 markings, 742300 edges, 5055 markings/sec, 40 secs
lola: 252279 markings, 823976 edges, 5070 markings/sec, 45 secs
lola: 277617 markings, 912648 edges, 5068 markings/sec, 50 secs
lola: 302679 markings, 1000701 edges, 5012 markings/sec, 55 secs
lola: 327663 markings, 1093101 edges, 4997 markings/sec, 60 secs
lola: 352932 markings, 1183332 edges, 5054 markings/sec, 65 secs
lola: 377837 markings, 1267486 edges, 4981 markings/sec, 70 secs
lola: 403369 markings, 1352530 edges, 5106 markings/sec, 75 secs
lola: 428775 markings, 1438800 edges, 5081 markings/sec, 80 secs
lola: 454237 markings, 1523743 edges, 5092 markings/sec, 85 secs
lola: 479544 markings, 1611609 edges, 5061 markings/sec, 90 secs
lola: 503968 markings, 1695622 edges, 4885 markings/sec, 95 secs
lola: 528979 markings, 1784007 edges, 5002 markings/sec, 100 secs
lola: 554191 markings, 1869504 edges, 5042 markings/sec, 105 secs
lola: 578805 markings, 1949716 edges, 4923 markings/sec, 110 secs
lola: 603656 markings, 2031912 edges, 4970 markings/sec, 115 secs
lola: 628085 markings, 2117580 edges, 4886 markings/sec, 120 secs
lola: 653496 markings, 2199647 edges, 5082 markings/sec, 125 secs
lola: 678636 markings, 2286804 edges, 5028 markings/sec, 130 secs
lola: 703988 markings, 2366789 edges, 5070 markings/sec, 135 secs
lola: 729394 markings, 2447936 edges, 5081 markings/sec, 140 secs
lola: 754586 markings, 2534349 edges, 5038 markings/sec, 145 secs
lola: 779891 markings, 2618409 edges, 5061 markings/sec, 150 secs
lola: 805195 markings, 2699875 edges, 5061 markings/sec, 155 secs
lola: 830334 markings, 2783882 edges, 5028 markings/sec, 160 secs
lola: 855069 markings, 2867823 edges, 4947 markings/sec, 165 secs
lola: 880261 markings, 2952788 edges, 5038 markings/sec, 170 secs
lola: 904899 markings, 3044975 edges, 4928 markings/sec, 175 secs
lola: 930019 markings, 3128599 edges, 5024 markings/sec, 180 secs
lola: 954952 markings, 3212459 edges, 4987 markings/sec, 185 secs
lola: 979776 markings, 3296463 edges, 4965 markings/sec, 190 secs
lola: 1005029 markings, 3384002 edges, 5051 markings/sec, 195 secs
lola: 1030331 markings, 3469042 edges, 5060 markings/sec, 200 secs
lola: 1055767 markings, 3552000 edges, 5087 markings/sec, 205 secs
lola: 1081280 markings, 3633045 edges, 5103 markings/sec, 210 secs
lola: 1106577 markings, 3718168 edges, 5059 markings/sec, 215 secs
lola: 1131858 markings, 3803766 edges, 5056 markings/sec, 220 secs
lola: 1156377 markings, 3894340 edges, 4904 markings/sec, 225 secs
lola: 1180980 markings, 3979572 edges, 4921 markings/sec, 230 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown 100 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown unknown unknown 100 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 380756 KB
lola: time consumption: 1401 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: memory consumption: 380756 KB
lola: time consumption: 1401 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 241 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__2_7_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__2_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: 100
lola: 25350 markings, 86929 edges, 5070 markings/sec, 0 secs
lola: 51425 markings, 177888 edges, 5215 markings/sec, 5 secs
lola: 77543 markings, 267614 edges, 5224 markings/sec, 10 secs
lola: 103671 markings, 356971 edges, 5226 markings/sec, 15 secs
lola: 129857 markings, 446029 edges, 5237 markings/sec, 20 secs
lola: 155991 markings, 536590 edges, 5227 markings/sec, 25 secs
lola: 182063 markings, 628726 edges, 5214 markings/sec, 30 secs
lola: 208127 markings, 719821 edges, 5213 markings/sec, 35 secs
lola: 234130 markings, 812880 edges, 5201 markings/sec, 40 secs
lola: 260125 markings, 906188 edges, 5199 markings/sec, 45 secs
lola: 286111 markings, 998025 edges, 5197 markings/sec, 50 secs
lola: 311716 markings, 1091150 edges, 5121 markings/sec, 55 secs
lola: 337707 markings, 1182241 edges, 5198 markings/sec, 60 secs
lola: 363511 markings, 1272006 edges, 5161 markings/sec, 65 secs
lola: 388898 markings, 1361160 edges, 5077 markings/sec, 70 secs
lola: 414707 markings, 1452204 edges, 5162 markings/sec, 75 secs
lola: 440019 markings, 1543915 edges, 5062 markings/sec, 80 secs
lola: 465495 markings, 1636109 edges, 5095 markings/sec, 85 secs
lola: 491170 markings, 1732746 edges, 5135 markings/sec, 90 secs
lola: 516521 markings, 1822865 edges, 5070 markings/sec, 95 secs
lola: 541707 markings, 1911835 edges, 5037 markings/sec, 100 secs
lola: 567265 markings, 2001944 edges, 5112 markings/sec, 105 secs
lola: 592777 markings, 2091921 edges, 5102 markings/sec, 110 secs
lola: 618567 markings, 2185077 edges, 5158 markings/sec, 115 secs
lola: 644249 markings, 2278001 edges, 5136 markings/sec, 120 secs
lola: 669972 markings, 2369927 edges, 5145 markings/sec, 125 secs
lola: 695434 markings, 2467641 edges, 5092 markings/sec, 130 secs
lola: 721118 markings, 2562531 edges, 5137 markings/sec, 135 secs
lola: 746985 markings, 2653557 edges, 5173 markings/sec, 140 secs
lola: 772822 markings, 2743445 edges, 5167 markings/sec, 145 secs
lola: 798770 markings, 2834400 edges, 5190 markings/sec, 150 secs
lola: 824436 markings, 2927483 edges, 5133 markings/sec, 155 secs
lola: 850079 markings, 3020455 edges, 5129 markings/sec, 160 secs
lola: 875685 markings, 3113146 edges, 5121 markings/sec, 165 secs
lola: 901208 markings, 3207479 edges, 5105 markings/sec, 170 secs
lola: 926791 markings, 3301224 edges, 5117 markings/sec, 175 secs
lola: 952392 markings, 3392549 edges, 5120 markings/sec, 180 secs
lola: 977682 markings, 3485584 edges, 5058 markings/sec, 185 secs
lola: 1003291 markings, 3580939 edges, 5122 markings/sec, 190 secs
lola: 1029050 markings, 3671783 edges, 5152 markings/sec, 195 secs
lola: 1054782 markings, 3764711 edges, 5146 markings/sec, 200 secs
lola: 1080488 markings, 3857299 edges, 5141 markings/sec, 205 secs
lola: 1106267 markings, 3949441 edges, 5156 markings/sec, 210 secs
lola: 1131794 markings, 4043484 edges, 5105 markings/sec, 215 secs
lola: 1157773 markings, 4133124 edges, 5196 markings/sec, 220 secs
lola: 1183443 markings, 4226738 edges, 5134 markings/sec, 225 secs
lola: 1209223 markings, 4317646 edges, 5156 markings/sec, 230 secs
lola: 1235039 markings, 4408728 edges, 5163 markings/sec, 235 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown 100 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 354772 KB
lola: time consumption: 1642 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 240 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__4_18_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__4_18_)
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: 100
lola: 24225 markings, 79728 edges, 4845 markings/sec, 0 secs
lola: 49703 markings, 163270 edges, 5096 markings/sec, 5 secs
lola: 74499 markings, 249935 edges, 4959 markings/sec, 10 secs
lola: 99272 markings, 334210 edges, 4955 markings/sec, 15 secs
lola: 124474 markings, 419212 edges, 5040 markings/sec, 20 secs
lola: 150437 markings, 505349 edges, 5193 markings/sec, 25 secs
lola: 176178 markings, 596092 edges, 5148 markings/sec, 30 secs
lola: 202201 markings, 679643 edges, 5205 markings/sec, 35 secs
lola: 228163 markings, 760542 edges, 5192 markings/sec, 40 secs
lola: 253833 markings, 850123 edges, 5134 markings/sec, 45 secs
lola: 279739 markings, 934620 edges, 5181 markings/sec, 50 secs
lola: 305572 markings, 1022262 edges, 5167 markings/sec, 55 secs
lola: 331440 markings, 1108755 edges, 5174 markings/sec, 60 secs
lola: 357333 markings, 1192989 edges, 5179 markings/sec, 65 secs
lola: 382888 markings, 1284550 edges, 5111 markings/sec, 70 secs
lola: 408599 markings, 1370816 edges, 5142 markings/sec, 75 secs
lola: 434116 markings, 1462482 edges, 5103 markings/sec, 80 secs
lola: 459778 markings, 1549101 edges, 5132 markings/sec, 85 secs
lola: 485235 markings, 1633708 edges, 5091 markings/sec, 90 secs
lola: 510855 markings, 1718460 edges, 5124 markings/sec, 95 secs
lola: 536329 markings, 1807176 edges, 5095 markings/sec, 100 secs
lola: 561607 markings, 1899417 edges, 5056 markings/sec, 105 secs
lola: 587374 markings, 1982710 edges, 5153 markings/sec, 110 secs
lola: 613269 markings, 2063485 edges, 5179 markings/sec, 115 secs
lola: 639270 markings, 2144293 edges, 5200 markings/sec, 120 secs
lola: 665045 markings, 2230102 edges, 5155 markings/sec, 125 secs
lola: 690908 markings, 2314078 edges, 5173 markings/sec, 130 secs
lola: 716671 markings, 2398949 edges, 5153 markings/sec, 135 secs
lola: 742424 markings, 2486154 edges, 5151 markings/sec, 140 secs
lola: 767638 markings, 2577284 edges, 5043 markings/sec, 145 secs
lola: 793084 markings, 2666110 edges, 5089 markings/sec, 150 secs
lola: 818403 markings, 2750999 edges, 5064 markings/sec, 155 secs
lola: 843536 markings, 2842735 edges, 5027 markings/sec, 160 secs
lola: 868834 markings, 2929780 edges, 5060 markings/sec, 165 secs
lola: 894351 markings, 3016084 edges, 5103 markings/sec, 170 secs
lola: 920298 markings, 3101559 edges, 5189 markings/sec, 175 secs
lola: 946098 markings, 3189976 edges, 5160 markings/sec, 180 secs
lola: 971790 markings, 3279005 edges, 5138 markings/sec, 185 secs
lola: 997345 markings, 3362438 edges, 5111 markings/sec, 190 secs
lola: 1023192 markings, 3441518 edges, 5169 markings/sec, 195 secs
lola: 1048840 markings, 3524988 edges, 5130 markings/sec, 200 secs
lola: 1074372 markings, 3607556 edges, 5106 markings/sec, 205 secs
lola: 1099431 markings, 3685424 edges, 5012 markings/sec, 210 secs
lola: 1125190 markings, 3769346 edges, 5152 markings/sec, 215 secs
lola: 1150957 markings, 3853002 edges, 5153 markings/sec, 220 secs
lola: 1176577 markings, 3941344 edges, 5124 markings/sec, 225 secs
lola: 1202470 markings, 4025578 edges, 5179 markings/sec, 230 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown 100 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown unknown unknown 100 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 396596 KB
lola: time consumption: 1883 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 241 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__17_7_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__17_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: 100
lola: 24845 markings, 80397 edges, 4969 markings/sec, 0 secs
lola: 50531 markings, 155524 edges, 5137 markings/sec, 5 secs
lola: 75921 markings, 231402 edges, 5078 markings/sec, 10 secs
lola: 101213 markings, 308288 edges, 5058 markings/sec, 15 secs
lola: 126137 markings, 384054 edges, 4985 markings/sec, 20 secs
lola: 150491 markings, 455543 edges, 4871 markings/sec, 25 secs
lola: 175779 markings, 532497 edges, 5058 markings/sec, 30 secs
lola: 201149 markings, 610566 edges, 5074 markings/sec, 35 secs
lola: 226248 markings, 684409 edges, 5020 markings/sec, 40 secs
lola: 251689 markings, 759172 edges, 5088 markings/sec, 45 secs
lola: 277124 markings, 836497 edges, 5087 markings/sec, 50 secs
lola: 302719 markings, 913673 edges, 5119 markings/sec, 55 secs
lola: 327954 markings, 989633 edges, 5047 markings/sec, 60 secs
lola: 353217 markings, 1065007 edges, 5053 markings/sec, 65 secs
lola: 378927 markings, 1140321 edges, 5142 markings/sec, 70 secs
lola: 404241 markings, 1219024 edges, 5063 markings/sec, 75 secs
lola: 429361 markings, 1296784 edges, 5024 markings/sec, 80 secs
lola: 454996 markings, 1372501 edges, 5127 markings/sec, 85 secs
lola: 480198 markings, 1446716 edges, 5040 markings/sec, 90 secs
lola: 505691 markings, 1522266 edges, 5099 markings/sec, 95 secs
lola: 531151 markings, 1598570 edges, 5092 markings/sec, 100 secs
lola: 556343 markings, 1678638 edges, 5038 markings/sec, 105 secs
lola: 581377 markings, 1757735 edges, 5007 markings/sec, 110 secs
lola: 606722 markings, 1836307 edges, 5069 markings/sec, 115 secs
lola: 631682 markings, 1911621 edges, 4992 markings/sec, 120 secs
lola: 656557 markings, 1986874 edges, 4975 markings/sec, 125 secs
lola: 682202 markings, 2062828 edges, 5129 markings/sec, 130 secs
lola: 707774 markings, 2140392 edges, 5114 markings/sec, 135 secs
lola: 733064 markings, 2215844 edges, 5058 markings/sec, 140 secs
lola: 757938 markings, 2290822 edges, 4975 markings/sec, 145 secs
lola: 783025 markings, 2369076 edges, 5017 markings/sec, 150 secs
lola: 807833 markings, 2447196 edges, 4962 markings/sec, 155 secs
lola: 832950 markings, 2526736 edges, 5023 markings/sec, 160 secs
lola: 857863 markings, 2605593 edges, 4983 markings/sec, 165 secs
lola: 883200 markings, 2685816 edges, 5067 markings/sec, 170 secs
lola: 908382 markings, 2765842 edges, 5036 markings/sec, 175 secs
lola: 933934 markings, 2843510 edges, 5110 markings/sec, 180 secs
lola: 959480 markings, 2920338 edges, 5109 markings/sec, 185 secs
lola: 985076 markings, 3000866 edges, 5119 markings/sec, 190 secs
lola: 1010515 markings, 3075756 edges, 5088 markings/sec, 195 secs
lola: 1036238 markings, 3151953 edges, 5145 markings/sec, 200 secs
lola: 1061796 markings, 3231589 edges, 5112 markings/sec, 205 secs
lola: 1087117 markings, 3307118 edges, 5064 markings/sec, 210 secs
lola: 1112516 markings, 3382788 edges, 5080 markings/sec, 215 secs
lola: 1137660 markings, 3462230 edges, 5029 markings/sec, 220 secs
lola: 1163401 markings, 3540107 edges, 5148 markings/sec, 225 secs
lola: 1188418 markings, 3615100 edges, 5003 markings/sec, 230 secs
lola: 1213463 markings, 3690280 edges, 5009 markings/sec, 235 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown 100 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 334224 KB
lola: time consumption: 2124 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 241 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__14_4_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__14_4_)
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: 100
lola: 24570 markings, 79484 edges, 4914 markings/sec, 0 secs
lola: 49060 markings, 155897 edges, 4898 markings/sec, 5 secs
lola: 73511 markings, 234840 edges, 4890 markings/sec, 10 secs
lola: 98793 markings, 313453 edges, 5056 markings/sec, 15 secs
lola: 123834 markings, 392293 edges, 5008 markings/sec, 20 secs
lola: 149118 markings, 470775 edges, 5057 markings/sec, 25 secs
lola: 174535 markings, 550069 edges, 5083 markings/sec, 30 secs
lola: 199879 markings, 631247 edges, 5069 markings/sec, 35 secs
lola: 225178 markings, 711744 edges, 5060 markings/sec, 40 secs
lola: 250220 markings, 794501 edges, 5008 markings/sec, 45 secs
lola: 275402 markings, 876908 edges, 5036 markings/sec, 50 secs
lola: 300612 markings, 958572 edges, 5042 markings/sec, 55 secs
lola: 325701 markings, 1038997 edges, 5018 markings/sec, 60 secs
lola: 350829 markings, 1119483 edges, 5026 markings/sec, 65 secs
lola: 376042 markings, 1199865 edges, 5043 markings/sec, 70 secs
lola: 401139 markings, 1279455 edges, 5019 markings/sec, 75 secs
lola: 425544 markings, 1360008 edges, 4881 markings/sec, 80 secs
lola: 449928 markings, 1441704 edges, 4877 markings/sec, 85 secs
lola: 474677 markings, 1520338 edges, 4950 markings/sec, 90 secs
lola: 499483 markings, 1601765 edges, 4961 markings/sec, 95 secs
lola: 524026 markings, 1684054 edges, 4909 markings/sec, 100 secs
lola: 549530 markings, 1763917 edges, 5101 markings/sec, 105 secs
lola: 574893 markings, 1847031 edges, 5073 markings/sec, 110 secs
lola: 600067 markings, 1933497 edges, 5035 markings/sec, 115 secs
lola: 625254 markings, 2015602 edges, 5037 markings/sec, 120 secs
lola: 649786 markings, 2102311 edges, 4906 markings/sec, 125 secs
lola: 674877 markings, 2183103 edges, 5018 markings/sec, 130 secs
lola: 700289 markings, 2263442 edges, 5082 markings/sec, 135 secs
lola: 725314 markings, 2341768 edges, 5005 markings/sec, 140 secs
lola: 750738 markings, 2421094 edges, 5085 markings/sec, 145 secs
lola: 776098 markings, 2502667 edges, 5072 markings/sec, 150 secs
lola: 800129 markings, 2578557 edges, 4806 markings/sec, 155 secs
lola: 824608 markings, 2658721 edges, 4896 markings/sec, 160 secs
lola: 849358 markings, 2739363 edges, 4950 markings/sec, 165 secs
lola: 873834 markings, 2817889 edges, 4895 markings/sec, 170 secs
lola: 898508 markings, 2897579 edges, 4935 markings/sec, 175 secs
lola: 923108 markings, 2972489 edges, 4920 markings/sec, 180 secs
lola: 948172 markings, 3049584 edges, 5013 markings/sec, 185 secs
lola: 973245 markings, 3131655 edges, 5015 markings/sec, 190 secs
lola: 998377 markings, 3210878 edges, 5026 markings/sec, 195 secs
lola: 1023359 markings, 3291222 edges, 4996 markings/sec, 200 secs
lola: 1048350 markings, 3372266 edges, 4998 markings/sec, 205 secs
lola: 1073554 markings, 3449379 edges, 5041 markings/sec, 210 secs
lola: 1098248 markings, 3527359 edges, 4939 markings/sec, 215 secs
lola: 1123409 markings, 3602691 edges, 5032 markings/sec, 220 secs
lola: 1148392 markings, 3683059 edges, 4997 markings/sec, 225 secs
lola: 1173604 markings, 3760209 edges, 5042 markings/sec, 230 secs
lola: 1198711 markings, 3840016 edges, 5021 markings/sec, 235 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown 100 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 349728 KB
lola: time consumption: 2365 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 241 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__12_12_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__12_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: 100
lola: SUBRESULT
lola: result: 100
lola: produced by: state space
lola: The maximum value of the given expression is 100
lola: 101 markings, 100 edges
lola: ========================================
lola: subprocess 12 will run for 301 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__12_14_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__12_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: 100
lola: 24622 markings, 77342 edges, 4924 markings/sec, 0 secs
lola: 49902 markings, 160537 edges, 5056 markings/sec, 5 secs
lola: 74978 markings, 243724 edges, 5015 markings/sec, 10 secs
lola: 100110 markings, 332268 edges, 5026 markings/sec, 15 secs
lola: 124558 markings, 411524 edges, 4890 markings/sec, 20 secs
lola: 150097 markings, 495798 edges, 5108 markings/sec, 25 secs
lola: 175603 markings, 581524 edges, 5101 markings/sec, 30 secs
lola: 200950 markings, 669558 edges, 5069 markings/sec, 35 secs
lola: 226037 markings, 759424 edges, 5017 markings/sec, 40 secs
lola: 251174 markings, 852695 edges, 5027 markings/sec, 45 secs
lola: 276561 markings, 939566 edges, 5077 markings/sec, 50 secs
lola: 301887 markings, 1030385 edges, 5065 markings/sec, 55 secs
lola: 327219 markings, 1121038 edges, 5066 markings/sec, 60 secs
lola: 352369 markings, 1216448 edges, 5030 markings/sec, 65 secs
lola: 377575 markings, 1301734 edges, 5041 markings/sec, 70 secs
lola: 402960 markings, 1388755 edges, 5077 markings/sec, 75 secs
lola: 427927 markings, 1474092 edges, 4993 markings/sec, 80 secs
lola: 452903 markings, 1553872 edges, 4995 markings/sec, 85 secs
lola: 477861 markings, 1637828 edges, 4992 markings/sec, 90 secs
lola: 502456 markings, 1724280 edges, 4919 markings/sec, 95 secs
lola: 527140 markings, 1811224 edges, 4937 markings/sec, 100 secs
lola: 552386 markings, 1896710 edges, 5049 markings/sec, 105 secs
lola: 577496 markings, 1980250 edges, 5022 markings/sec, 110 secs
lola: 602903 markings, 2068025 edges, 5081 markings/sec, 115 secs
lola: 628082 markings, 2160339 edges, 5036 markings/sec, 120 secs
lola: 653316 markings, 2252664 edges, 5047 markings/sec, 125 secs
lola: 678755 markings, 2337641 edges, 5088 markings/sec, 130 secs
lola: 703914 markings, 2424094 edges, 5032 markings/sec, 135 secs
lola: 729326 markings, 2506963 edges, 5082 markings/sec, 140 secs
lola: 753514 markings, 2596203 edges, 4838 markings/sec, 145 secs
lola: 777517 markings, 2681654 edges, 4801 markings/sec, 150 secs
lola: 802375 markings, 2765383 edges, 4972 markings/sec, 155 secs
lola: 827887 markings, 2848576 edges, 5102 markings/sec, 160 secs
lola: 852547 markings, 2932694 edges, 4932 markings/sec, 165 secs
lola: 877102 markings, 3019123 edges, 4911 markings/sec, 170 secs
lola: 901885 markings, 3100200 edges, 4957 markings/sec, 175 secs
lola: 926784 markings, 3184792 edges, 4980 markings/sec, 180 secs
lola: 951548 markings, 3279192 edges, 4953 markings/sec, 185 secs
lola: 975949 markings, 3372610 edges, 4880 markings/sec, 190 secs
lola: 1000572 markings, 3460639 edges, 4925 markings/sec, 195 secs
lola: 1025327 markings, 3549431 edges, 4951 markings/sec, 200 secs
lola: 1050322 markings, 3635649 edges, 4999 markings/sec, 205 secs
lola: 1075429 markings, 3721279 edges, 5021 markings/sec, 210 secs
lola: 1100066 markings, 3814262 edges, 4927 markings/sec, 215 secs
lola: 1124950 markings, 3902812 edges, 4977 markings/sec, 220 secs
lola: 1149728 markings, 3986178 edges, 4956 markings/sec, 225 secs
lola: 1174523 markings, 4069088 edges, 4959 markings/sec, 230 secs
lola: 1198544 markings, 4160367 edges, 4804 markings/sec, 235 secs
lola: 1222731 markings, 4254383 edges, 4837 markings/sec, 240 secs
lola: 1247425 markings, 4344154 edges, 4939 markings/sec, 245 secs
lola: 1272118 markings, 4426076 edges, 4939 markings/sec, 250 secs
lola: 1296073 markings, 4507456 edges, 4791 markings/sec, 255 secs
lola: 1320317 markings, 4591482 edges, 4849 markings/sec, 260 secs
lola: 1345618 markings, 4684050 edges, 5060 markings/sec, 265 secs
lola: 1371044 markings, 4772896 edges, 5085 markings/sec, 270 secs
lola: 1396453 markings, 4862451 edges, 5082 markings/sec, 275 secs
lola: 1421824 markings, 4951460 edges, 5074 markings/sec, 280 secs
lola: 1446830 markings, 5038872 edges, 5001 markings/sec, 285 secs
lola: 1471341 markings, 5130896 edges, 4902 markings/sec, 290 secs
lola: 1496222 markings, 5224951 edges, 4976 markings/sec, 295 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown 100 unknown unknown unknown unknown unknown unknown unknown 100 unknown unknown unknown unknown
lola: memory consumption: 491220 KB
lola: time consumption: 2666 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 301 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: 100
lola: 24963 markings, 80593 edges, 4993 markings/sec, 0 secs
lola: 50717 markings, 160039 edges, 5151 markings/sec, 5 secs
lola: 76335 markings, 239965 edges, 5124 markings/sec, 10 secs
lola: 102067 markings, 317558 edges, 5146 markings/sec, 15 secs
lola: 127066 markings, 394498 edges, 5000 markings/sec, 20 secs
lola: 151879 markings, 472054 edges, 4963 markings/sec, 25 secs
lola: 176652 markings, 547160 edges, 4955 markings/sec, 30 secs
lola: 202182 markings, 623581 edges, 5106 markings/sec, 35 secs
lola: 228569 markings, 703102 edges, 5277 markings/sec, 40 secs
lola: 254852 markings, 786454 edges, 5257 markings/sec, 45 secs
lola: 281109 markings, 866614 edges, 5251 markings/sec, 50 secs
lola: 307288 markings, 949729 edges, 5236 markings/sec, 55 secs
lola: 333407 markings, 1029908 edges, 5224 markings/sec, 60 secs
lola: 359533 markings, 1112369 edges, 5225 markings/sec, 65 secs
lola: 385041 markings, 1189650 edges, 5102 markings/sec, 70 secs
lola: 411179 markings, 1268446 edges, 5228 markings/sec, 75 secs
lola: 437313 markings, 1346958 edges, 5227 markings/sec, 80 secs
lola: 463535 markings, 1430277 edges, 5244 markings/sec, 85 secs
lola: 489775 markings, 1510352 edges, 5248 markings/sec, 90 secs
lola: 515898 markings, 1594513 edges, 5225 markings/sec, 95 secs
lola: 541500 markings, 1672655 edges, 5120 markings/sec, 100 secs
lola: 566600 markings, 1751636 edges, 5020 markings/sec, 105 secs
lola: 592533 markings, 1829692 edges, 5187 markings/sec, 110 secs
lola: 618578 markings, 1908531 edges, 5209 markings/sec, 115 secs
lola: 644597 markings, 1987242 edges, 5204 markings/sec, 120 secs
lola: 670869 markings, 2070575 edges, 5254 markings/sec, 125 secs
lola: 696944 markings, 2150487 edges, 5215 markings/sec, 130 secs
lola: 722463 markings, 2232630 edges, 5104 markings/sec, 135 secs
lola: 747785 markings, 2306912 edges, 5064 markings/sec, 140 secs
lola: 773001 markings, 2382487 edges, 5043 markings/sec, 145 secs
lola: 798518 markings, 2458964 edges, 5103 markings/sec, 150 secs
lola: 824177 markings, 2537071 edges, 5132 markings/sec, 155 secs
lola: 849787 markings, 2612778 edges, 5122 markings/sec, 160 secs
lola: 875737 markings, 2691849 edges, 5190 markings/sec, 165 secs
lola: 901758 markings, 2770392 edges, 5204 markings/sec, 170 secs
lola: 927994 markings, 2848105 edges, 5247 markings/sec, 175 secs
lola: 954174 markings, 2928078 edges, 5236 markings/sec, 180 secs
lola: 980361 markings, 3008592 edges, 5237 markings/sec, 185 secs
lola: 1006497 markings, 3087391 edges, 5227 markings/sec, 190 secs
lola: 1032600 markings, 3167245 edges, 5221 markings/sec, 195 secs
lola: 1058320 markings, 3246930 edges, 5144 markings/sec, 200 secs
lola: 1083044 markings, 3319278 edges, 4945 markings/sec, 205 secs
lola: 1108581 markings, 3397174 edges, 5107 markings/sec, 210 secs
lola: 1134613 markings, 3476762 edges, 5206 markings/sec, 215 secs
lola: 1160684 markings, 3555802 edges, 5214 markings/sec, 220 secs
lola: 1186722 markings, 3633373 edges, 5208 markings/sec, 225 secs
lola: 1212136 markings, 3709791 edges, 5083 markings/sec, 230 secs
lola: 1238195 markings, 3788213 edges, 5212 markings/sec, 235 secs
lola: 1264146 markings, 3868278 edges, 5190 markings/sec, 240 secs
lola: 1289958 markings, 3946886 edges, 5162 markings/sec, 245 secs
lola: 1315386 markings, 4025700 edges, 5086 markings/sec, 250 secs
lola: 1340736 markings, 4103113 edges, 5070 markings/sec, 255 secs
lola: 1365535 markings, 4179774 edges, 4960 markings/sec, 260 secs
lola: 1390931 markings, 4254540 edges, 5079 markings/sec, 265 secs
lola: 1416029 markings, 4330852 edges, 5020 markings/sec, 270 secs
lola: 1441880 markings, 4409912 edges, 5170 markings/sec, 275 secs
lola: 1466991 markings, 4486377 edges, 5022 markings/sec, 280 secs
lola: 1492110 markings, 4561214 edges, 5024 markings/sec, 285 secs
lola: 1517448 markings, 4636910 edges, 5068 markings/sec, 290 secs
lola: 1543164 markings, 4715226 edges, 5143 markings/sec, 295 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown 100 unknown unknown unknown unknown unknown unknown unknown 100 unknown unknown unknown unknown
lola: memory consumption: 437564 KB
lola: time consumption: 2968 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 301 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__17_2_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__17_2_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 100
lola: 24100 markings, 78636 edges, 4820 markings/sec, 0 secs
lola: 49168 markings, 160766 edges, 5014 markings/sec, 5 secs
lola: 73797 markings, 246860 edges, 4926 markings/sec, 10 secs
lola: 98466 markings, 333041 edges, 4934 markings/sec, 15 secs
lola: 122522 markings, 414585 edges, 4811 markings/sec, 20 secs
lola: 146491 markings, 497820 edges, 4794 markings/sec, 25 secs
lola: 170746 markings, 581409 edges, 4851 markings/sec, 30 secs
lola: 195709 markings, 666310 edges, 4993 markings/sec, 35 secs
lola: 220378 markings, 754023 edges, 4934 markings/sec, 40 secs
lola: 244984 markings, 847617 edges, 4921 markings/sec, 45 secs
lola: 269775 markings, 937096 edges, 4958 markings/sec, 50 secs
lola: 294410 markings, 1027907 edges, 4927 markings/sec, 55 secs
lola: 319123 markings, 1116741 edges, 4943 markings/sec, 60 secs
lola: 344067 markings, 1206142 edges, 4989 markings/sec, 65 secs
lola: 369250 markings, 1294313 edges, 5037 markings/sec, 70 secs
lola: 394534 markings, 1381417 edges, 5057 markings/sec, 75 secs
lola: 419628 markings, 1470175 edges, 5019 markings/sec, 80 secs
lola: 444938 markings, 1556474 edges, 5062 markings/sec, 85 secs
lola: 470248 markings, 1644324 edges, 5062 markings/sec, 90 secs
lola: 495457 markings, 1732729 edges, 5042 markings/sec, 95 secs
lola: 520824 markings, 1818322 edges, 5073 markings/sec, 100 secs
lola: 545863 markings, 1912252 edges, 5008 markings/sec, 105 secs
lola: 570834 markings, 2005488 edges, 4994 markings/sec, 110 secs
lola: 595671 markings, 2092310 edges, 4967 markings/sec, 115 secs
lola: 620233 markings, 2180161 edges, 4912 markings/sec, 120 secs
lola: 645124 markings, 2270164 edges, 4978 markings/sec, 125 secs
lola: 670331 markings, 2361260 edges, 5041 markings/sec, 130 secs
lola: 695498 markings, 2450386 edges, 5033 markings/sec, 135 secs
lola: 720629 markings, 2537678 edges, 5026 markings/sec, 140 secs
lola: 745654 markings, 2630180 edges, 5005 markings/sec, 145 secs
lola: 770823 markings, 2721379 edges, 5034 markings/sec, 150 secs
lola: 796160 markings, 2809210 edges, 5067 markings/sec, 155 secs
lola: 821569 markings, 2895787 edges, 5082 markings/sec, 160 secs
lola: 846719 markings, 2982636 edges, 5030 markings/sec, 165 secs
lola: 871923 markings, 3070607 edges, 5041 markings/sec, 170 secs
lola: 897324 markings, 3158532 edges, 5080 markings/sec, 175 secs
lola: 922705 markings, 3245294 edges, 5076 markings/sec, 180 secs
lola: 948088 markings, 3330734 edges, 5077 markings/sec, 185 secs
lola: 973406 markings, 3417399 edges, 5064 markings/sec, 190 secs
lola: 998637 markings, 3505082 edges, 5046 markings/sec, 195 secs
lola: 1023792 markings, 3591492 edges, 5031 markings/sec, 200 secs
lola: 1048829 markings, 3681810 edges, 5007 markings/sec, 205 secs
lola: 1073642 markings, 3778198 edges, 4963 markings/sec, 210 secs
lola: 1098729 markings, 3867449 edges, 5017 markings/sec, 215 secs
lola: 1123605 markings, 3958042 edges, 4975 markings/sec, 220 secs
lola: 1148516 markings, 4046912 edges, 4982 markings/sec, 225 secs
lola: 1173519 markings, 4135824 edges, 5001 markings/sec, 230 secs
lola: 1198738 markings, 4224799 edges, 5044 markings/sec, 235 secs
lola: 1224019 markings, 4311418 edges, 5056 markings/sec, 240 secs
lola: 1249060 markings, 4401516 edges, 5008 markings/sec, 245 secs
lola: 1274306 markings, 4485239 edges, 5049 markings/sec, 250 secs
lola: 1299470 markings, 4573886 edges, 5033 markings/sec, 255 secs
lola: 1324361 markings, 4659952 edges, 4978 markings/sec, 260 secs
lola: 1349240 markings, 4744836 edges, 4976 markings/sec, 265 secs
lola: 1373668 markings, 4838759 edges, 4886 markings/sec, 270 secs
lola: 1398423 markings, 4929035 edges, 4951 markings/sec, 275 secs
lola: 1423251 markings, 5016803 edges, 4966 markings/sec, 280 secs
lola: 1447941 markings, 5104180 edges, 4938 markings/sec, 285 secs
lola: 1472648 markings, 5194531 edges, 4941 markings/sec, 290 secs
lola: 1497258 markings, 5282695 edges, 4922 markings/sec, 295 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown 100 unknown unknown unknown unknown unknown unknown unknown 100 unknown unknown unknown unknown
lola: memory consumption: 399764 KB
lola: time consumption: 3269 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 301 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__13_6_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__13_6_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 100
lola: 24044 markings, 67462 edges, 4809 markings/sec, 0 secs
lola: 48896 markings, 136124 edges, 4970 markings/sec, 5 secs
lola: 74365 markings, 204804 edges, 5094 markings/sec, 10 secs
lola: 99901 markings, 274298 edges, 5107 markings/sec, 15 secs
lola: 125435 markings, 346361 edges, 5107 markings/sec, 20 secs
lola: 151058 markings, 415056 edges, 5125 markings/sec, 25 secs
lola: 176656 markings, 484448 edges, 5120 markings/sec, 30 secs
lola: 202153 markings, 556607 edges, 5099 markings/sec, 35 secs
lola: 227005 markings, 624978 edges, 4970 markings/sec, 40 secs
lola: 252255 markings, 696151 edges, 5050 markings/sec, 45 secs
lola: 277602 markings, 765209 edges, 5069 markings/sec, 50 secs
lola: 302884 markings, 837358 edges, 5056 markings/sec, 55 secs
lola: 327835 markings, 907064 edges, 4990 markings/sec, 60 secs
lola: 352533 markings, 974164 edges, 4940 markings/sec, 65 secs
lola: 377475 markings, 1041854 edges, 4988 markings/sec, 70 secs
lola: 402637 markings, 1112835 edges, 5032 markings/sec, 75 secs
lola: 428112 markings, 1182458 edges, 5095 markings/sec, 80 secs
lola: 453571 markings, 1252424 edges, 5092 markings/sec, 85 secs
lola: 478766 markings, 1329042 edges, 5039 markings/sec, 90 secs
lola: 504173 markings, 1400143 edges, 5081 markings/sec, 95 secs
lola: 529279 markings, 1469906 edges, 5021 markings/sec, 100 secs
lola: 554939 markings, 1538638 edges, 5132 markings/sec, 105 secs
lola: 580341 markings, 1610078 edges, 5080 markings/sec, 110 secs
lola: 605759 markings, 1679631 edges, 5084 markings/sec, 115 secs
lola: 631241 markings, 1749477 edges, 5096 markings/sec, 120 secs
lola: 656553 markings, 1821761 edges, 5062 markings/sec, 125 secs
lola: 681937 markings, 1893925 edges, 5077 markings/sec, 130 secs
lola: 706224 markings, 1962296 edges, 4857 markings/sec, 135 secs
lola: 731692 markings, 2032372 edges, 5094 markings/sec, 140 secs
lola: 756938 markings, 2098005 edges, 5049 markings/sec, 145 secs
lola: 782059 markings, 2167462 edges, 5024 markings/sec, 150 secs
lola: 806496 markings, 2235888 edges, 4887 markings/sec, 155 secs
lola: 830622 markings, 2302961 edges, 4825 markings/sec, 160 secs
lola: 855865 markings, 2376039 edges, 5049 markings/sec, 165 secs
lola: 881153 markings, 2450562 edges, 5058 markings/sec, 170 secs
lola: 906591 markings, 2521153 edges, 5088 markings/sec, 175 secs
lola: 932171 markings, 2590819 edges, 5116 markings/sec, 180 secs
lola: 957447 markings, 2662002 edges, 5055 markings/sec, 185 secs
lola: 982806 markings, 2733178 edges, 5072 markings/sec, 190 secs
lola: 1008372 markings, 2803519 edges, 5113 markings/sec, 195 secs
lola: 1033938 markings, 2874322 edges, 5113 markings/sec, 200 secs
lola: 1059428 markings, 2943437 edges, 5098 markings/sec, 205 secs
lola: 1084843 markings, 3016783 edges, 5083 markings/sec, 210 secs
lola: 1110515 markings, 3084920 edges, 5134 markings/sec, 215 secs
lola: 1135993 markings, 3155580 edges, 5096 markings/sec, 220 secs
lola: 1161022 markings, 3228332 edges, 5006 markings/sec, 225 secs
lola: 1186140 markings, 3301508 edges, 5024 markings/sec, 230 secs
lola: 1211448 markings, 3375412 edges, 5062 markings/sec, 235 secs
lola: 1236882 markings, 3444040 edges, 5087 markings/sec, 240 secs
lola: 1262193 markings, 3513272 edges, 5062 markings/sec, 245 secs
lola: 1287278 markings, 3581365 edges, 5017 markings/sec, 250 secs
lola: 1312628 markings, 3651592 edges, 5070 markings/sec, 255 secs
lola: 1338191 markings, 3719473 edges, 5113 markings/sec, 260 secs
lola: 1363663 markings, 3788829 edges, 5094 markings/sec, 265 secs
lola: 1389115 markings, 3859363 edges, 5090 markings/sec, 270 secs
lola: 1414537 markings, 3930414 edges, 5084 markings/sec, 275 secs
lola: 1439764 markings, 4002477 edges, 5045 markings/sec, 280 secs
lola: 1465236 markings, 4072370 edges, 5094 markings/sec, 285 secs
lola: 1490324 markings, 4144170 edges, 5018 markings/sec, 290 secs
lola: 1515347 markings, 4220833 edges, 5005 markings/sec, 295 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown 100 unknown unknown unknown unknown unknown unknown unknown 100 unknown unknown unknown unknown
lola: memory consumption: 514076 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__14_17_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__14_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: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown 100 unknown unknown unknown unknown unknown unknown unknown 100 unknown unknown unknown unknown
lola: lola: caught signal User defined signal 1 - aborting LoLA
preliminary result: unknown unknown unknown 100 unknown unknown unknown unknown unknown unknown unknown 100 unknown unknown unknown unknown

lola:
preliminary result: unknown unknown unknown 100 unknown unknown unknown unknown unknown unknown unknown 100 unknown unknown unknown unknown
lola: memory consumption: 32264 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 100 unknown unknown unknown unknown unknown unknown unknown 100 unknown unknown unknown unknown
lola: memory consumption: 32264 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 1552573468841

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

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