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

About the Execution of LoLA for CloudOpsManagement-PT-00320by00160

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15919.180 3570964.00 3440595.00 25545.30 ? ? 320 640 160 160 160 160 ? 160 320 320 160 320 160 320 normal

Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fkordon/mcc2019-input.r209-smll-155381375400065.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/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-3957
Executing tool lola
Input is CloudOpsManagement-PT-00320by00160, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r209-smll-155381375400065
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 188K
-rw-r--r-- 1 mcc users 3.7K Mar 26 06:39 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 26 06:39 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 26 06:32 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 26 06:32 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K Mar 26 06:26 LTLCardinality.txt
-rw-r--r-- 1 mcc users 14K Mar 26 06:26 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Mar 26 06:26 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.3K Mar 26 06:26 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 Mar 25 21:32 NewModel
-rw-r--r-- 1 mcc users 4.6K Mar 26 06:25 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 26 06:25 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 125 Mar 26 06:21 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 363 Mar 26 06:21 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 3.5K Mar 26 06:23 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 26 06:23 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Mar 26 06:26 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Mar 26 06:26 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 25 21:32 equiv_col

-rw-r--r-- 1 mcc users 13 Mar 25 21:32 instance
-rw-r--r-- 1 mcc users 6 Mar 25 21:32 iscolored
-rw-r--r-- 1 mcc users 17K Mar 25 21:32 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 CloudOpsManagement-PT-00320by00160-UpperBounds-00
FORMULA_NAME CloudOpsManagement-PT-00320by00160-UpperBounds-01
FORMULA_NAME CloudOpsManagement-PT-00320by00160-UpperBounds-02
FORMULA_NAME CloudOpsManagement-PT-00320by00160-UpperBounds-03
FORMULA_NAME CloudOpsManagement-PT-00320by00160-UpperBounds-04
FORMULA_NAME CloudOpsManagement-PT-00320by00160-UpperBounds-05
FORMULA_NAME CloudOpsManagement-PT-00320by00160-UpperBounds-06
FORMULA_NAME CloudOpsManagement-PT-00320by00160-UpperBounds-07
FORMULA_NAME CloudOpsManagement-PT-00320by00160-UpperBounds-08
FORMULA_NAME CloudOpsManagement-PT-00320by00160-UpperBounds-09
FORMULA_NAME CloudOpsManagement-PT-00320by00160-UpperBounds-10
FORMULA_NAME CloudOpsManagement-PT-00320by00160-UpperBounds-11
FORMULA_NAME CloudOpsManagement-PT-00320by00160-UpperBounds-12
FORMULA_NAME CloudOpsManagement-PT-00320by00160-UpperBounds-13
FORMULA_NAME CloudOpsManagement-PT-00320by00160-UpperBounds-14
FORMULA_NAME CloudOpsManagement-PT-00320by00160-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1553839046945

info: Time: 3600 - MCC
vrfy: Checking UpperBounds @ CloudOpsManagement-PT-00320by00160 @ 3570 seconds

FORMULA CloudOpsManagement-PT-00320by00160-UpperBounds-02 320 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-00320by00160-UpperBounds-03 640 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-00320by00160-UpperBounds-04 160 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-00320by00160-UpperBounds-05 160 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-00320by00160-UpperBounds-06 160 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-00320by00160-UpperBounds-07 160 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-00320by00160-UpperBounds-09 160 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-00320by00160-UpperBounds-10 320 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-00320by00160-UpperBounds-11 320 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-00320by00160-UpperBounds-12 160 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-00320by00160-UpperBounds-13 320 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-00320by00160-UpperBounds-14 160 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-00320by00160-UpperBounds-15 320 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-00320by00160-UpperBounds-00 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
Makefile:16: recipe for target 'verify' failed
vrfy: finished
info: timeLeft: -1
rslt: Output for UpperBounds @ CloudOpsManagement-PT-00320by00160

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 390
},
"exit":
{
"localtimelimitreached": true,
"memory": 4855020,
"runtime": 839.000000,
"signal": "User defined signal 2"
},
"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(Wsr1Started)",
"processed_size": 16,
"rewrites": 0
},
"result":
{
"preliminary_value": "unknown unknown 320 640 160 160 160 160 unknown unknown unknown unknown unknown unknown unknown unknown "
},
"task":
{
"compoundnumber": 8,
"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: 56/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 864
lola: finding significant places
lola: 27 places, 29 transitions, 16 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(Bounder1) : MAX(Wsr2Started) : MAX(OsContainer) : MAX(ServerContainer) : MAX(OsAvailable) : MAX(WsRuntime3) : MAX(ScStopped) : MAX(WebAppRuntime) : MAX(Wsr1Started) : MAX(WebAppRuntime) : MAX(Wsr1NotDeployed) : MAX(OsContainer) : MAX(ScStopped) : MAX(OsContainer) : MAX(Wsr2Deployed) : MAX(Wsr2NotDeployed)
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(Bounder1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Bounder1)
lola: processed formula length: 13
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: 480
lola: 3571180 markings, 5790507 edges, 714236 markings/sec, 0 secs
lola: 6765120 markings, 11538983 edges, 638788 markings/sec, 5 secs
lola: 8422842 markings, 17739938 edges, 331544 markings/sec, 10 secs
lola: 10379266 markings, 23890564 edges, 391285 markings/sec, 15 secs
lola: 13008104 markings, 29874303 edges, 525768 markings/sec, 20 secs
lola: 15216464 markings, 35922819 edges, 441672 markings/sec, 25 secs
lola: 16967233 markings, 41952376 edges, 350154 markings/sec, 30 secs
lola: 19133080 markings, 47839139 edges, 433169 markings/sec, 35 secs
lola: 21687852 markings, 53584899 edges, 510954 markings/sec, 40 secs
lola: 23450858 markings, 59618981 edges, 352601 markings/sec, 45 secs
lola: 25197230 markings, 65579553 edges, 349274 markings/sec, 50 secs
lola: 27807205 markings, 71311954 edges, 521995 markings/sec, 55 secs
lola: 29893814 markings, 77252329 edges, 417322 markings/sec, 60 secs
lola: 31556401 markings, 83110560 edges, 332517 markings/sec, 65 secs
lola: 33907400 markings, 88759505 edges, 470200 markings/sec, 70 secs
lola: 36161631 markings, 94593170 edges, 450846 markings/sec, 75 secs
lola: 37821230 markings, 100454103 edges, 331920 markings/sec, 80 secs
lola: 40012099 markings, 106078620 edges, 438174 markings/sec, 85 secs
lola: 42342919 markings, 111812009 edges, 466164 markings/sec, 90 secs
lola: 43957431 markings, 117596700 edges, 322902 markings/sec, 95 secs
lola: 46108297 markings, 123177942 edges, 430173 markings/sec, 100 secs
lola: 48473015 markings, 128974213 edges, 472944 markings/sec, 105 secs
lola: 50153098 markings, 134891239 edges, 336017 markings/sec, 110 secs
lola: 52269461 markings, 140541663 edges, 423273 markings/sec, 115 secs
lola: 54647015 markings, 146259463 edges, 475511 markings/sec, 120 secs
lola: 56247361 markings, 152037855 edges, 320069 markings/sec, 125 secs
lola: 58402207 markings, 157562184 edges, 430969 markings/sec, 130 secs
lola: 60660307 markings, 163281640 edges, 451620 markings/sec, 135 secs
lola: 62221874 markings, 168999415 edges, 312313 markings/sec, 140 secs
lola: 64539658 markings, 174452705 edges, 463557 markings/sec, 145 secs
lola: 66577415 markings, 180161670 edges, 407551 markings/sec, 150 secs
lola: 68061669 markings, 185734661 edges, 296851 markings/sec, 155 secs
lola: 70673418 markings, 191156293 edges, 522350 markings/sec, 160 secs
lola: 72395768 markings, 196896907 edges, 344470 markings/sec, 165 secs
lola: 74267666 markings, 202491719 edges, 374380 markings/sec, 170 secs
lola: 76792283 markings, 207964426 edges, 504923 markings/sec, 175 secs
lola: 78215277 markings, 213677822 edges, 284599 markings/sec, 180 secs
lola: 80442622 markings, 219105094 edges, 445469 markings/sec, 185 secs
lola: 82570768 markings, 224673206 edges, 425629 markings/sec, 190 secs
lola: 83977242 markings, 230204134 edges, 281295 markings/sec, 195 secs
lola: 86620212 markings, 235662939 edges, 528594 markings/sec, 200 secs
lola: 88304248 markings, 241337880 edges, 336807 markings/sec, 205 secs
lola: 90054541 markings, 246732549 edges, 350059 markings/sec, 210 secs
lola: 92435437 markings, 252204960 edges, 476179 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: 3695852 KB
lola: time consumption: 226 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(Wsr2Started)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Wsr2Started)
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: 160
lola: 2106473 markings, 6967661 edges, 421295 markings/sec, 0 secs
lola: 4211315 markings, 13974163 edges, 420968 markings/sec, 5 secs
lola: 6222225 markings, 20735770 edges, 402182 markings/sec, 10 secs
lola: 8190560 markings, 27397531 edges, 393667 markings/sec, 15 secs
lola: 10115207 markings, 33936154 edges, 384929 markings/sec, 20 secs
lola: 12179614 markings, 40903224 edges, 412881 markings/sec, 25 secs
lola: 14225418 markings, 47831731 edges, 409161 markings/sec, 30 secs
lola: 16256971 markings, 54711368 edges, 406311 markings/sec, 35 secs
lola: 18156630 markings, 61258841 edges, 379932 markings/sec, 40 secs
lola: 20178813 markings, 68056869 edges, 404437 markings/sec, 45 secs
lola: 22114249 markings, 74646324 edges, 387087 markings/sec, 50 secs
lola: 24072883 markings, 81275304 edges, 391727 markings/sec, 55 secs
lola: 26001122 markings, 87835095 edges, 385648 markings/sec, 60 secs
lola: 27921619 markings, 94372387 edges, 384099 markings/sec, 65 secs
lola: 29835972 markings, 100910312 edges, 382871 markings/sec, 70 secs
lola: 31656076 markings, 107152781 edges, 364021 markings/sec, 75 secs
lola: 33485298 markings, 113522039 edges, 365844 markings/sec, 80 secs
lola: 35488684 markings, 120218851 edges, 400677 markings/sec, 85 secs
lola: 37411425 markings, 126752789 edges, 384548 markings/sec, 90 secs
lola: 39315484 markings, 133248181 edges, 380812 markings/sec, 95 secs
lola: 41180057 markings, 139604450 edges, 372915 markings/sec, 100 secs
lola: 43090900 markings, 146149259 edges, 382169 markings/sec, 105 secs
lola: 44994153 markings, 152608531 edges, 380651 markings/sec, 110 secs
lola: 46861579 markings, 159031028 edges, 373485 markings/sec, 115 secs
lola: 48812445 markings, 165615010 edges, 390173 markings/sec, 120 secs
lola: 50643293 markings, 171914205 edges, 366170 markings/sec, 125 secs
lola: 52559616 markings, 178443353 edges, 383265 markings/sec, 130 secs
lola: 54403057 markings, 184760493 edges, 368688 markings/sec, 135 secs
lola: 56069632 markings, 190610746 edges, 333315 markings/sec, 140 secs
lola: 57936213 markings, 197062780 edges, 373316 markings/sec, 145 secs
lola: 59878603 markings, 203546600 edges, 388478 markings/sec, 150 secs
lola: 61738040 markings, 209866294 edges, 371887 markings/sec, 155 secs
lola: 63556073 markings, 216066898 edges, 363607 markings/sec, 160 secs
lola: 65361333 markings, 222237034 edges, 361052 markings/sec, 165 secs
lola: 67166166 markings, 228400373 edges, 360967 markings/sec, 170 secs
lola: 68984941 markings, 234606787 edges, 363755 markings/sec, 175 secs
lola: 70754142 markings, 240650904 edges, 353840 markings/sec, 180 secs
lola: 72563430 markings, 246886260 edges, 361858 markings/sec, 185 secs
lola: 74421370 markings, 253175763 edges, 371588 markings/sec, 190 secs
lola: 76183798 markings, 259288855 edges, 352486 markings/sec, 195 secs
lola: 78005948 markings, 265534749 edges, 364430 markings/sec, 200 secs
lola: 79786610 markings, 271614768 edges, 356132 markings/sec, 205 secs
lola: 81646481 markings, 277960368 edges, 371974 markings/sec, 210 secs
lola: 83452992 markings, 284065763 edges, 361302 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: 2828236 KB
lola: time consumption: 448 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 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(OsContainer)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(OsContainer)
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: 320
lola: SUBRESULT
lola: result: 320
lola: produced by: state space
lola: The maximum value of the given expression is 320
lola: 801 markings, 960 edges
lola: ========================================
lola: subprocess 3 will run for 240 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(ServerContainer)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(ServerContainer)
lola: processed formula length: 20
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: 640
lola: SUBRESULT
lola: result: 640
lola: produced by: state space
lola: The maximum value of the given expression is 640
lola: 3036 markings, 3834 edges
lola: ========================================
lola: subprocess 4 will run for 260 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(OsAvailable)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(OsAvailable)
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: 160
lola: SUBRESULT
lola: result: 160
lola: produced by: state space
lola: The maximum value of the given expression is 160
lola: 161 markings, 160 edges
lola: ========================================
lola: subprocess 5 will run for 283 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(WsRuntime3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(WsRuntime3)
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: 160
lola: SUBRESULT
lola: result: 160
lola: produced by: state space
lola: The maximum value of the given expression is 160
lola: 51361 markings, 76959 edges
lola: ========================================
lola: subprocess 6 will run for 312 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(ScStopped)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(ScStopped)
lola: processed formula length: 14
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: 160
lola: SUBRESULT
lola: result: 160
lola: produced by: state space
lola: The maximum value of the given expression is 160
lola: 161 markings, 160 edges
lola: ========================================
lola: subprocess 7 will run for 346 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(WebAppRuntime)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(WebAppRuntime)
lola: processed formula length: 18
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: 160
lola: SUBRESULT
lola: result: 160
lola: produced by: state space
lola: The maximum value of the given expression is 160
lola: 321 markings, 320 edges
lola: ========================================
lola: subprocess 8 will run for 390 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Wsr1Started)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Wsr1Started)
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: 160
lola: 2111500 markings, 6983006 edges, 422300 markings/sec, 0 secs
lola: 4137696 markings, 13745775 edges, 405239 markings/sec, 5 secs
lola: 6113789 markings, 20391427 edges, 395219 markings/sec, 10 secs
lola: 7945069 markings, 26567845 edges, 366256 markings/sec, 15 secs
lola: 9903133 markings, 33229489 edges, 391613 markings/sec, 20 secs
lola: 11921659 markings, 40035791 edges, 403705 markings/sec, 25 secs
lola: 13863818 markings, 46622514 edges, 388432 markings/sec, 30 secs
lola: 15821141 markings, 53273228 edges, 391465 markings/sec, 35 secs
lola: 17761224 markings, 59932708 edges, 388017 markings/sec, 40 secs
lola: 19687382 markings, 66411678 edges, 385232 markings/sec, 45 secs
lola: 21544109 markings, 72700016 edges, 371345 markings/sec, 50 secs
lola: 23366576 markings, 78901665 edges, 364493 markings/sec, 55 secs
lola: 25211414 markings, 85174139 edges, 368968 markings/sec, 60 secs
lola: 27052964 markings, 91446201 edges, 368310 markings/sec, 65 secs
lola: 28883683 markings, 97675833 edges, 366144 markings/sec, 70 secs
lola: 30697851 markings, 103888416 edges, 362834 markings/sec, 75 secs
lola: 32574613 markings, 110362235 edges, 375352 markings/sec, 80 secs
lola: 34445218 markings, 116685833 edges, 374121 markings/sec, 85 secs
lola: 36286832 markings, 122936312 edges, 368323 markings/sec, 90 secs
lola: 38095245 markings, 129090837 edges, 361683 markings/sec, 95 secs
lola: 39896346 markings, 135230594 edges, 360220 markings/sec, 100 secs
lola: 41695228 markings, 141329661 edges, 359776 markings/sec, 105 secs
lola: 43507708 markings, 147493745 edges, 362496 markings/sec, 110 secs
lola: 45283143 markings, 153622128 edges, 355087 markings/sec, 115 secs
lola: 47028465 markings, 159602876 edges, 349064 markings/sec, 120 secs
lola: 48907671 markings, 165945500 edges, 375841 markings/sec, 125 secs
lola: 50690940 markings, 172062114 edges, 356654 markings/sec, 130 secs
lola: 52520359 markings, 178303941 edges, 365884 markings/sec, 135 secs
lola: 54324827 markings, 184488172 edges, 360894 markings/sec, 140 secs
lola: 56170846 markings, 190952086 edges, 369204 markings/sec, 145 secs
lola: 57896862 markings, 196919871 edges, 345203 markings/sec, 150 secs
lola: 59795253 markings, 203249797 edges, 379678 markings/sec, 155 secs
lola: 61572124 markings, 209279347 edges, 355374 markings/sec, 160 secs
lola: 63323122 markings, 215257187 edges, 350200 markings/sec, 165 secs
lola: 65049094 markings, 221165164 edges, 345194 markings/sec, 170 secs
lola: 66783329 markings, 227094229 edges, 346847 markings/sec, 175 secs
lola: 68515352 markings, 233035049 edges, 346405 markings/sec, 180 secs
lola: 70225052 markings, 238830165 edges, 341940 markings/sec, 185 secs
lola: 71935798 markings, 244714525 edges, 342149 markings/sec, 190 secs
lola: 73665561 markings, 250646964 edges, 345953 markings/sec, 195 secs
lola: 75362430 markings, 256442783 edges, 339374 markings/sec, 200 secs
lola: 77107005 markings, 262417269 edges, 348915 markings/sec, 205 secs
lola: 78844629 markings, 268307017 edges, 347525 markings/sec, 210 secs
lola: 80542518 markings, 274156683 edges, 339578 markings/sec, 215 secs
lola: 82351570 markings, 280348753 edges, 361810 markings/sec, 220 secs
lola: 83997954 markings, 286028091 edges, 329277 markings/sec, 225 secs
lola: 85788488 markings, 292150702 edges, 358107 markings/sec, 230 secs
lola: 87593418 markings, 298301398 edges, 360986 markings/sec, 235 secs
lola: 89256106 markings, 303954288 edges, 332538 markings/sec, 240 secs
lola: 91058828 markings, 310165621 edges, 360544 markings/sec, 245 secs
lola: 92870812 markings, 316460907 edges, 362397 markings/sec, 250 secs
lola: 94542344 markings, 322264905 edges, 334306 markings/sec, 255 secs
lola: 96213590 markings, 328113654 edges, 334249 markings/sec, 260 secs
lola: 98146926 markings, 334551730 edges, 386667 markings/sec, 265 secs
lola: 99964064 markings, 340734692 edges, 363428 markings/sec, 270 secs
lola: 101759206 markings, 346867043 edges, 359028 markings/sec, 275 secs
lola: 103550574 markings, 352967439 edges, 358274 markings/sec, 280 secs
lola: 105300922 markings, 358971733 edges, 350070 markings/sec, 285 secs
lola: 107054392 markings, 364962101 edges, 350694 markings/sec, 290 secs
lola: 108791232 markings, 370935312 edges, 347368 markings/sec, 295 secs
lola: 110556726 markings, 376995568 edges, 353099 markings/sec, 300 secs
lola: 112268835 markings, 382876409 edges, 342422 markings/sec, 305 secs
lola: 114103703 markings, 389080091 edges, 366974 markings/sec, 310 secs
lola: 115786055 markings, 394902543 edges, 336470 markings/sec, 315 secs
lola: 117568177 markings, 401026360 edges, 356424 markings/sec, 320 secs
lola: 119295748 markings, 406931529 edges, 345514 markings/sec, 325 secs
lola: 121064133 markings, 412979887 edges, 353677 markings/sec, 330 secs
lola: 122862696 markings, 419103884 edges, 359713 markings/sec, 335 secs
lola: 124517494 markings, 424854539 edges, 330960 markings/sec, 340 secs
lola: 126310213 markings, 430966713 edges, 358544 markings/sec, 345 secs
lola: 128079463 markings, 437103306 edges, 353850 markings/sec, 350 secs
lola: 129808704 markings, 442909666 edges, 345848 markings/sec, 355 secs
lola: 131534065 markings, 448848590 edges, 345072 markings/sec, 360 secs
lola: 133377335 markings, 455244277 edges, 368654 markings/sec, 365 secs
lola: 135141907 markings, 461228040 edges, 352914 markings/sec, 370 secs
lola: 136830197 markings, 467065046 edges, 337658 markings/sec, 375 secs
lola: 138661233 markings, 473334275 edges, 366207 markings/sec, 380 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown 320 640 160 160 160 160 unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown unknown 320 640 160 160 160 160 unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 4855020 KB
lola: time consumption: 839 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 390 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(WebAppRuntime)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(WebAppRuntime)
lola: processed formula length: 18
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: 160
lola: SUBRESULT
lola: result: 160
lola: produced by: state space
lola: The maximum value of the given expression is 160
lola: 321 markings, 320 edges
lola: ========================================
lola: subprocess 10 will run for 455 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Wsr1NotDeployed)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Wsr1NotDeployed)
lola: processed formula length: 20
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: 320
lola: SUBRESULT
lola: result: 320
lola: produced by: state space
lola: The maximum value of the given expression is 320
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 11 will run for 546 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(OsContainer)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(OsContainer)
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: 320
lola: SUBRESULT
lola: result: 320
lola: produced by: state space
lola: The maximum value of the given expression is 320
lola: 801 markings, 960 edges
lola: ========================================
lola: subprocess 12 will run for 682 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(ScStopped)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(ScStopped)
lola: processed formula length: 14
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: 160
lola: SUBRESULT
lola: result: 160
lola: produced by: state space
lola: The maximum value of the given expression is 160
lola: 161 markings, 160 edges
lola: ========================================
lola: subprocess 13 will run for 910 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(OsContainer)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(OsContainer)
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: 320
lola: SUBRESULT
lola: result: 320
lola: produced by: state space
lola: The maximum value of the given expression is 320
lola: 801 markings, 960 edges
lola: ========================================
lola: subprocess 14 will run for 1365 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Wsr2Deployed)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Wsr2Deployed)
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: 160
lola: SUBRESULT
lola: result: 160
lola: produced by: state space
lola: The maximum value of the given expression is 160
lola: 55029 markings, 107978 edges
lola: ========================================
lola: subprocess 15 will run for 2731 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Wsr2NotDeployed)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Wsr2NotDeployed)
lola: processed formula length: 20
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: 320
lola: SUBRESULT
lola: result: 320
lola: produced by: state space
lola: The maximum value of the given expression is 320
lola: 0 markings, 0 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: MAX(Bounder1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Bounder1)
lola: processed formula length: 13
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: 480
lola: 3590780 markings, 5822238 edges, 718156 markings/sec, 0 secs
lola: 6794426 markings, 11590810 edges, 640729 markings/sec, 5 secs
lola: 8467343 markings, 17825134 edges, 334583 markings/sec, 10 secs
lola: 10390390 markings, 23998187 edges, 384609 markings/sec, 15 secs
lola: 13031042 markings, 30017940 edges, 528130 markings/sec, 20 secs
lola: 15315268 markings, 36109312 edges, 456845 markings/sec, 25 secs
lola: 17086534 markings, 42176102 edges, 354253 markings/sec, 30 secs
lola: 19169477 markings, 48135424 edges, 416589 markings/sec, 35 secs
lola: 21736750 markings, 53898569 edges, 513455 markings/sec, 40 secs
lola: 23613569 markings, 59925000 edges, 375364 markings/sec, 45 secs
lola: 25318001 markings, 65856310 edges, 340886 markings/sec, 50 secs
lola: 27841572 markings, 71536000 edges, 504714 markings/sec, 55 secs
lola: 29982964 markings, 77418998 edges, 428278 markings/sec, 60 secs
lola: 31628702 markings, 83244329 edges, 329148 markings/sec, 65 secs
lola: 33924023 markings, 88869074 edges, 459064 markings/sec, 70 secs
lola: 36193973 markings, 94654743 edges, 453990 markings/sec, 75 secs
lola: 37838920 markings, 100485630 edges, 328989 markings/sec, 80 secs
lola: 40011834 markings, 106071758 edges, 434583 markings/sec, 85 secs
lola: 42317035 markings, 111763994 edges, 461040 markings/sec, 90 secs
lola: 43901471 markings, 117492807 edges, 316887 markings/sec, 95 secs
lola: 46082707 markings, 123013157 edges, 436247 markings/sec, 100 secs
lola: 48368180 markings, 128777617 edges, 457095 markings/sec, 105 secs
lola: 50008728 markings, 134621619 edges, 328110 markings/sec, 110 secs
lola: 52216536 markings, 140200361 edges, 441562 markings/sec, 115 secs
lola: 54473605 markings, 145932708 edges, 451414 markings/sec, 120 secs
lola: 56030704 markings, 151632415 edges, 311420 markings/sec, 125 secs
lola: 58330109 markings, 157096874 edges, 459881 markings/sec, 130 secs
lola: 60409767 markings, 162810594 edges, 415932 markings/sec, 135 secs
lola: 61934593 markings, 168462363 edges, 304965 markings/sec, 140 secs
lola: 64448587 markings, 173859284 edges, 502799 markings/sec, 145 secs
lola: 66256935 markings, 179558886 edges, 361670 markings/sec, 150 secs
lola: 67992772 markings, 185064076 edges, 347167 markings/sec, 155 secs
lola: 70562421 markings, 190446652 edges, 513930 markings/sec, 160 secs
lola: 71977822 markings, 196112876 edges, 283080 markings/sec, 165 secs
lola: 74143434 markings, 201613127 edges, 433122 markings/sec, 170 secs
lola: 76379515 markings, 207187742 edges, 447216 markings/sec, 175 secs
lola: 77745336 markings, 212799887 edges, 273164 markings/sec, 180 secs
lola: 80298568 markings, 218175193 edges, 510646 markings/sec, 185 secs
lola: 82096774 markings, 223781225 edges, 359641 markings/sec, 190 secs
lola: 83697395 markings, 229184327 edges, 320124 markings/sec, 195 secs
lola: 86242923 markings, 234645972 edges, 509106 markings/sec, 200 secs
lola: 87727048 markings, 240254941 edges, 296825 markings/sec, 205 secs
lola: 89886871 markings, 245559619 edges, 431965 markings/sec, 210 secs
lola: 91860862 markings, 251122511 edges, 394798 markings/sec, 215 secs
lola: 93456552 markings, 256509353 edges, 319138 markings/sec, 220 secs
lola: 96030531 markings, 261793598 edges, 514796 markings/sec, 225 secs
lola: 97309889 markings, 267328713 edges, 255872 markings/sec, 230 secs
lola: 99695112 markings, 272928643 edges, 477045 markings/sec, 235 secs
lola: 101803347 markings, 278611373 edges, 421647 markings/sec, 240 secs
lola: 103282391 markings, 284182305 edges, 295809 markings/sec, 245 secs
lola: 105971692 markings, 289637643 edges, 537860 markings/sec, 250 secs
lola: 107470093 markings, 295268775 edges, 299680 markings/sec, 255 secs
lola: 109438558 markings, 300717624 edges, 393693 markings/sec, 260 secs
lola: 111590915 markings, 306204470 edges, 430471 markings/sec, 265 secs
lola: 113050920 markings, 311750546 edges, 292001 markings/sec, 270 secs
lola: 115685238 markings, 317031517 edges, 526864 markings/sec, 275 secs
lola: 117106945 markings, 322654242 edges, 284341 markings/sec, 280 secs
lola: 119362252 markings, 327986147 edges, 451061 markings/sec, 285 secs
lola: 121295787 markings, 333394943 edges, 386707 markings/sec, 290 secs
lola: 122747201 markings, 338768988 edges, 290283 markings/sec, 295 secs
lola: 125343795 markings, 344252698 edges, 519319 markings/sec, 300 secs
lola: 126761567 markings, 349800537 edges, 283554 markings/sec, 305 secs
lola: 129091536 markings, 355082381 edges, 465994 markings/sec, 310 secs
lola: 130788395 markings, 360642725 edges, 339372 markings/sec, 315 secs
lola: 132800260 markings, 365999335 edges, 402373 markings/sec, 320 secs
lola: 134920850 markings, 371301958 edges, 424118 markings/sec, 325 secs
lola: 136248249 markings, 376664226 edges, 265480 markings/sec, 330 secs
lola: 138863610 markings, 382022072 edges, 523072 markings/sec, 335 secs
lola: 140218070 markings, 387470204 edges, 270892 markings/sec, 340 secs
lola: 142523430 markings, 392662901 edges, 461072 markings/sec, 345 secs
lola: 144137842 markings, 398171754 edges, 322882 markings/sec, 350 secs
lola: 146245656 markings, 403430677 edges, 421563 markings/sec, 355 secs
lola: 148224643 markings, 408763624 edges, 395797 markings/sec, 360 secs
lola: 149628439 markings, 414030046 edges, 280759 markings/sec, 365 secs
lola: 152151693 markings, 419513664 edges, 504651 markings/sec, 370 secs
lola: 153541630 markings, 425053681 edges, 277987 markings/sec, 375 secs
lola: 156067150 markings, 430322476 edges, 505104 markings/sec, 380 secs
lola: 157509224 markings, 435904779 edges, 288415 markings/sec, 385 secs
lola: 159836465 markings, 441153504 edges, 465448 markings/sec, 390 secs
lola: 161621375 markings, 446559149 edges, 356982 markings/sec, 395 secs
lola: 163273986 markings, 451840062 edges, 330522 markings/sec, 400 secs
lola: 165485880 markings, 457251713 edges, 442379 markings/sec, 405 secs
lola: 167043723 markings, 462700819 edges, 311569 markings/sec, 410 secs
lola: 169593304 markings, 467913873 edges, 509916 markings/sec, 415 secs
lola: 170807570 markings, 473500419 edges, 242853 markings/sec, 420 secs
lola: 173503004 markings, 478734686 edges, 539087 markings/sec, 425 secs
lola: 174830102 markings, 484163628 edges, 265420 markings/sec, 430 secs
lola: 176964848 markings, 489379075 edges, 426949 markings/sec, 435 secs
lola: 178697456 markings, 494918992 edges, 346522 markings/sec, 440 secs
lola: 180807239 markings, 500322970 edges, 421957 markings/sec, 445 secs
lola: 182869705 markings, 505722040 edges, 412493 markings/sec, 450 secs
lola: 184237634 markings, 511109792 edges, 273586 markings/sec, 455 secs
lola: 186762342 markings, 516556897 edges, 504942 markings/sec, 460 secs
lola: 188073596 markings, 521933200 edges, 262251 markings/sec, 465 secs
lola: 190763707 markings, 527088367 edges, 538022 markings/sec, 470 secs
lola: 191893420 markings, 532584792 edges, 225943 markings/sec, 475 secs
lola: 194601064 markings, 537810167 edges, 541529 markings/sec, 480 secs
lola: 195914886 markings, 543257152 edges, 262764 markings/sec, 485 secs
lola: 198088440 markings, 548453728 edges, 434711 markings/sec, 490 secs
lola: 199715302 markings, 553979239 edges, 325372 markings/sec, 495 secs
lola: 201948680 markings, 559153398 edges, 446676 markings/sec, 500 secs
lola: 203715631 markings, 564484449 edges, 353390 markings/sec, 505 secs
lola: 205412955 markings, 569715587 edges, 339465 markings/sec, 510 secs
lola: 207525314 markings, 575251704 edges, 422472 markings/sec, 515 secs
lola: 209353239 markings, 580874680 edges, 365585 markings/sec, 520 secs
lola: 211816224 markings, 586320162 edges, 492597 markings/sec, 525 secs
lola: 213231517 markings, 591974452 edges, 283059 markings/sec, 530 secs
lola: 215776872 markings, 597402236 edges, 509071 markings/sec, 535 secs
lola: 217158851 markings, 603012707 edges, 276396 markings/sec, 540 secs
lola: 219559359 markings, 608333721 edges, 480102 markings/sec, 545 secs
lola: 221005795 markings, 613911728 edges, 289287 markings/sec, 550 secs
lola: 223514671 markings, 619288004 edges, 501775 markings/sec, 555 secs
lola: 225230025 markings, 624863547 edges, 343071 markings/sec, 560 secs
lola: 227067542 markings, 630263542 edges, 367503 markings/sec, 565 secs
lola: 229123149 markings, 635877698 edges, 411121 markings/sec, 570 secs
lola: 231053008 markings, 641271482 edges, 385972 markings/sec, 575 secs
lola: 233226415 markings, 646622364 edges, 434681 markings/sec, 580 secs
lola: 234509743 markings, 652024523 edges, 256666 markings/sec, 585 secs
lola: 237091178 markings, 657612676 edges, 516287 markings/sec, 590 secs
lola: 238538483 markings, 663137974 edges, 289461 markings/sec, 595 secs
lola: 241230620 markings, 668435518 edges, 538427 markings/sec, 600 secs
lola: 242506976 markings, 674071685 edges, 255271 markings/sec, 605 secs
lola: 245078489 markings, 679424117 edges, 514303 markings/sec, 610 secs
lola: 246384374 markings, 684933210 edges, 261177 markings/sec, 615 secs
lola: 248840362 markings, 690160213 edges, 491198 markings/sec, 620 secs
lola: 250115214 markings, 695736201 edges, 254970 markings/sec, 625 secs
lola: 252852397 markings, 701001975 edges, 547437 markings/sec, 630 secs
lola: 254193604 markings, 706452592 edges, 268241 markings/sec, 635 secs
lola: 256390327 markings, 711696217 edges, 439345 markings/sec, 640 secs
lola: 257913104 markings, 717264837 edges, 304555 markings/sec, 645 secs
lola: 260404624 markings, 722432773 edges, 498304 markings/sec, 650 secs
lola: 261879379 markings, 727782525 edges, 294951 markings/sec, 655 secs
lola: 263924699 markings, 732975497 edges, 409064 markings/sec, 660 secs
lola: 265524889 markings, 738487111 edges, 320038 markings/sec, 665 secs
lola: 267977619 markings, 743848321 edges, 490546 markings/sec, 670 secs
lola: 269684571 markings, 749378351 edges, 341390 markings/sec, 675 secs
lola: 271558488 markings, 754736869 edges, 374783 markings/sec, 680 secs
lola: 273412359 markings, 760264313 edges, 370774 markings/sec, 685 secs
lola: 275619960 markings, 765541688 edges, 441520 markings/sec, 690 secs
lola: 277458989 markings, 770957847 edges, 367806 markings/sec, 695 secs
lola: 279164614 markings, 776239085 edges, 341125 markings/sec, 700 secs
lola: 281073219 markings, 781658943 edges, 381721 markings/sec, 705 secs
lola: 283238527 markings, 786923855 edges, 433062 markings/sec, 710 secs
lola: 285097752 markings, 792321019 edges, 371845 markings/sec, 715 secs
lola: 286779200 markings, 797557988 edges, 336290 markings/sec, 720 secs
lola: 288730835 markings, 803087640 edges, 390327 markings/sec, 725 secs
lola: 290879318 markings, 808296501 edges, 429697 markings/sec, 730 secs
lola: 292690737 markings, 813638729 edges, 362284 markings/sec, 735 secs
lola: 294422677 markings, 818856539 edges, 346388 markings/sec, 740 secs
lola: 296264966 markings, 824327000 edges, 368458 markings/sec, 745 secs
lola: 298538534 markings, 829622482 edges, 454714 markings/sec, 750 secs
lola: 300314191 markings, 835052565 edges, 355131 markings/sec, 755 secs
lola: 302114719 markings, 840324715 edges, 360106 markings/sec, 760 secs
lola: 303906976 markings, 845806925 edges, 358451 markings/sec, 765 secs
lola: 306226036 markings, 850972853 edges, 463812 markings/sec, 770 secs
lola: 307824731 markings, 856294055 edges, 319739 markings/sec, 775 secs
lola: 309772295 markings, 861445897 edges, 389513 markings/sec, 780 secs
lola: 311312065 markings, 866886504 edges, 307954 markings/sec, 785 secs
lola: 313893395 markings, 872034624 edges, 516266 markings/sec, 790 secs
lola: 315245847 markings, 877412315 edges, 270490 markings/sec, 795 secs
lola: 317441834 markings, 882483503 edges, 439197 markings/sec, 800 secs
lola: 318770411 markings, 887970863 edges, 265715 markings/sec, 805 secs
lola: 321431795 markings, 893096760 edges, 532277 markings/sec, 810 secs
lola: 322587282 markings, 898422369 edges, 231097 markings/sec, 815 secs
lola: 325133139 markings, 903498034 edges, 509171 markings/sec, 820 secs
lola: 326424509 markings, 908845464 edges, 258274 markings/sec, 825 secs
lola: 328860855 markings, 914292904 edges, 487269 markings/sec, 830 secs
lola: 330144219 markings, 919875372 edges, 256673 markings/sec, 835 secs
lola: 332937354 markings, 925116422 edges, 558627 markings/sec, 840 secs
lola: 334264978 markings, 930639598 edges, 265525 markings/sec, 845 secs
lola: 336558540 markings, 936036428 edges, 458712 markings/sec, 850 secs
lola: 337950157 markings, 941447241 edges, 278323 markings/sec, 855 secs
lola: 340541046 markings, 946691957 edges, 518178 markings/sec, 860 secs
lola: 341768244 markings, 952093581 edges, 245440 markings/sec, 865 secs
lola: 344080385 markings, 957487908 edges, 462428 markings/sec, 870 secs
lola: 345811857 markings, 962826226 edges, 346294 markings/sec, 875 secs
lola: 348010212 markings, 968054576 edges, 439671 markings/sec, 880 secs
lola: 349348948 markings, 973315428 edges, 267747 markings/sec, 885 secs
lola: 351563310 markings, 978907457 edges, 442872 markings/sec, 890 secs
lola: 353647841 markings, 984102631 edges, 416906 markings/sec, 895 secs
lola: 355422455 markings, 989349517 edges, 354923 markings/sec, 900 secs
lola: 357226215 markings, 994536247 edges, 360752 markings/sec, 905 secs
lola: 358899657 markings, 1000099969 edges, 334688 markings/sec, 910 secs
lola: 361470982 markings, 1005202886 edges, 514265 markings/sec, 915 secs
lola: 362801068 markings, 1010628074 edges, 266017 markings/sec, 920 secs
lola: 365079449 markings, 1015796472 edges, 455676 markings/sec, 925 secs
lola: 366489598 markings, 1021421251 edges, 282030 markings/sec, 930 secs
lola: 369039389 markings, 1026587496 edges, 509958 markings/sec, 935 secs
lola: 370153375 markings, 1031899328 edges, 222797 markings/sec, 940 secs
lola: 372822985 markings, 1036909401 edges, 533922 markings/sec, 945 secs
lola: 373976389 markings, 1042188055 edges, 230681 markings/sec, 950 secs
lola: 376271852 markings, 1047651892 edges, 459093 markings/sec, 955 secs
lola: 378040451 markings, 1052932144 edges, 353720 markings/sec, 960 secs
lola: 380057831 markings, 1057988619 edges, 403476 markings/sec, 965 secs
lola: 381582115 markings, 1063162555 edges, 304857 markings/sec, 970 secs
lola: 383483392 markings, 1068727662 edges, 380255 markings/sec, 975 secs
lola: 385897151 markings, 1073750411 edges, 482752 markings/sec, 980 secs
lola: 387233266 markings, 1079003798 edges, 267223 markings/sec, 985 secs
lola: 389478713 markings, 1084051389 edges, 449089 markings/sec, 990 secs
lola: 390882104 markings, 1089483174 edges, 280678 markings/sec, 995 secs
lola: 393355473 markings, 1094833583 edges, 494674 markings/sec, 1000 secs
lola: 394577422 markings, 1100287645 edges, 244390 markings/sec, 1005 secs
lola: 397286435 markings, 1105462149 edges, 541803 markings/sec, 1010 secs
lola: 398468545 markings, 1110840108 edges, 236422 markings/sec, 1015 secs
lola: 400741377 markings, 1116307367 edges, 454566 markings/sec, 1020 secs
lola: 402628629 markings, 1121541079 edges, 377450 markings/sec, 1025 secs
lola: 404569266 markings, 1126752676 edges, 388127 markings/sec, 1030 secs
lola: 406228012 markings, 1131958815 edges, 331749 markings/sec, 1035 secs
lola: 407872077 markings, 1137355674 edges, 328813 markings/sec, 1040 secs
lola: 410553174 markings, 1142387353 edges, 536219 markings/sec, 1045 secs
lola: 411648010 markings, 1147709052 edges, 218967 markings/sec, 1050 secs
lola: 414157986 markings, 1152677821 edges, 501995 markings/sec, 1055 secs
lola: 415499037 markings, 1158005037 edges, 268210 markings/sec, 1060 secs
lola: 417651608 markings, 1163398697 edges, 430514 markings/sec, 1065 secs
lola: 419334807 markings, 1168578033 edges, 336640 markings/sec, 1070 secs
lola: 421351363 markings, 1173623070 edges, 403311 markings/sec, 1075 secs
lola: 422905503 markings, 1178712907 edges, 310828 markings/sec, 1080 secs
lola: 424605836 markings, 1184196553 edges, 340067 markings/sec, 1085 secs
lola: 426780042 markings, 1188273674 edges, 434841 markings/sec, 1090 secs
lola: 427137615 markings, 1188946154 edges, 71515 markings/sec, 1095 secs
lola: 427443861 markings, 1190207578 edges, 61249 markings/sec, 1100 secs
lola: 427645556 markings, 1191505357 edges, 40339 markings/sec, 1105 secs
lola: 427768172 markings, 1192499464 edges, 24523 markings/sec, 1110 secs
lola: 427770825 markings, 1192525272 edges, 531 markings/sec, 1115 secs
lola: 427770847 markings, 1192525470 edges, 4 markings/sec, 1120 secs
lola: 427777135 markings, 1192585081 edges, 1258 markings/sec, 1125 secs
lola: 427781006 markings, 1192624546 edges, 774 markings/sec, 1130 secs
lola: 427837514 markings, 1193175068 edges, 11302 markings/sec, 1135 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: MAX(Wsr2Started)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Wsr2Started)
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: 160
lola: 2113100 markings, 6988385 edges, 422620 markings/sec, 0 secs
lola: 4219161 markings, 13996748 edges, 421212 markings/sec, 5 secs
lola: 6231935 markings, 20777180 edges, 402555 markings/sec, 10 secs
lola: 8210054 markings, 27461688 edges, 395624 markings/sec, 15 secs
lola: 10142144 markings, 34015771 edges, 386418 markings/sec, 20 secs
lola: 12205318 markings, 40998640 edges, 412635 markings/sec, 25 secs
lola: 14253560 markings, 47930650 edges, 409648 markings/sec, 30 secs
lola: 16288815 markings, 54821136 edges, 407051 markings/sec, 35 secs
lola: 18186916 markings, 61364024 edges, 379620 markings/sec, 40 secs
lola: 20206552 markings, 68158997 edges, 403927 markings/sec, 45 secs
lola: 22148289 markings, 74752867 edges, 388347 markings/sec, 50 secs
lola: 24105254 markings, 81384660 edges, 391393 markings/sec, 55 secs
lola: 26032661 markings, 87937903 edges, 385481 markings/sec, 60 secs
lola: 27952740 markings, 94472850 edges, 384016 markings/sec, 65 secs
lola: 29868875 markings, 101024790 edges, 383227 markings/sec, 70 secs
lola: 31683643 markings, 107247188 edges, 362954 markings/sec, 75 secs
lola: 33511860 markings, 113618936 edges, 365643 markings/sec, 80 secs
lola: 35522416 markings, 120337997 edges, 402111 markings/sec, 85 secs
lola: 37446274 markings, 126869350 edges, 384772 markings/sec, 90 secs
lola: 39351879 markings, 133376967 edges, 381121 markings/sec, 95 secs
lola: 41254640 markings, 139876055 edges, 380552 markings/sec, 100 secs
lola: 43233744 markings, 146617698 edges, 395821 markings/sec, 105 secs
lola: 45175172 markings, 153238871 edges, 388286 markings/sec, 110 secs
lola: 47084269 markings, 159803052 edges, 381819 markings/sec, 115 secs
lola: 49068888 markings, 166490612 edges, 396924 markings/sec, 120 secs
lola: 50938423 markings, 172936521 edges, 373907 markings/sec, 125 secs
lola: 52899328 markings, 179599095 edges, 392181 markings/sec, 130 secs
lola: 54719422 markings, 185840532 edges, 364019 markings/sec, 135 secs
lola: 56484756 markings, 192010476 edges, 353067 markings/sec, 140 secs
lola: 58432264 markings, 198640498 edges, 389502 markings/sec, 145 secs
lola: 60376117 markings, 205216390 edges, 388771 markings/sec, 150 secs
lola: 62259912 markings, 211649325 edges, 376759 markings/sec, 155 secs
lola: 64131775 markings, 218019339 edges, 374373 markings/sec, 160 secs
lola: 65980035 markings, 224344783 edges, 369652 markings/sec, 165 secs
lola: 67831919 markings, 230658997 edges, 370377 markings/sec, 170 secs
lola: 69652616 markings, 236905371 edges, 364139 markings/sec, 175 secs
lola: 71497533 markings, 243193605 edges, 368983 markings/sec, 180 secs
lola: 73376540 markings, 249640696 edges, 375801 markings/sec, 185 secs
lola: 75228238 markings, 255975779 edges, 370340 markings/sec, 190 secs
lola: 77077281 markings, 262311460 edges, 369809 markings/sec, 195 secs
lola: 78949221 markings, 268667805 edges, 374388 markings/sec, 200 secs
lola: 80779367 markings, 274984510 edges, 366029 markings/sec, 205 secs
lola: 82679209 markings, 281444448 edges, 379968 markings/sec, 210 secs
lola: 84434370 markings, 287508460 edges, 351032 markings/sec, 215 secs
lola: 86295454 markings, 293877121 edges, 372217 markings/sec, 220 secs
lola: 88190590 markings, 300330066 edges, 379027 markings/sec, 225 secs
lola: 90047314 markings, 306754804 edges, 371345 markings/sec, 230 secs
lola: 91731224 markings, 312521510 edges, 336782 markings/sec, 235 secs
lola: 93418190 markings, 318448158 edges, 337393 markings/sec, 240 secs
lola: 95275946 markings, 324766687 edges, 371551 markings/sec, 245 secs
lola: 97199009 markings, 331324311 edges, 384613 markings/sec, 250 secs
lola: 99181998 markings, 338049179 edges, 396598 markings/sec, 255 secs
lola: 101129280 markings, 344711553 edges, 389456 markings/sec, 260 secs
lola: 103059641 markings, 351297893 edges, 386072 markings/sec, 265 secs
lola: 104953813 markings, 357777845 edges, 378834 markings/sec, 270 secs
lola: 106869381 markings, 364301280 edges, 383114 markings/sec, 275 secs
lola: 108737902 markings, 370741722 edges, 373704 markings/sec, 280 secs
lola: 110622726 markings, 377217823 edges, 376965 markings/sec, 285 secs
lola: 112490877 markings, 383550229 edges, 373630 markings/sec, 290 secs
lola: 114411792 markings, 390122228 edges, 384183 markings/sec, 295 secs
lola: 116222035 markings, 396321378 edges, 362049 markings/sec, 300 secs
lola: 118068903 markings, 402750940 edges, 369374 markings/sec, 305 secs
lola: 119995434 markings, 409352495 edges, 385306 markings/sec, 310 secs
lola: 121924692 markings, 415967680 edges, 385852 markings/sec, 315 secs
lola: 123811340 markings, 422400570 edges, 377330 markings/sec, 320 secs
lola: 125707585 markings, 428867146 edges, 379249 markings/sec, 325 secs
lola: 127579688 markings, 435372384 edges, 374421 markings/sec, 330 secs
lola: 129500622 markings, 441849706 edges, 384187 markings/sec, 335 secs
lola: 131349449 markings, 448217319 edges, 369765 markings/sec, 340 secs
lola: 133257847 markings, 454845073 edges, 381680 markings/sec, 345 secs
lola: 135193883 markings, 461387116 edges, 387207 markings/sec, 350 secs
lola: 136973028 markings, 467566238 edges, 355829 markings/sec, 355 secs
lola: 138867291 markings, 474049112 edges, 378853 markings/sec, 360 secs
lola: 140746488 markings, 480563587 edges, 375839 markings/sec, 365 secs
lola: 142703622 markings, 487181352 edges, 391427 markings/sec, 370 secs
lola: 144607988 markings, 493690723 edges, 380873 markings/sec, 375 secs
lola: 146469428 markings, 500095098 edges, 372288 markings/sec, 380 secs
lola: 148137037 markings, 505878416 edges, 333522 markings/sec, 385 secs
lola: 149838242 markings, 511872875 edges, 340241 markings/sec, 390 secs
lola: 151733082 markings, 518374980 edges, 378968 markings/sec, 395 secs
lola: 153584381 markings, 524863880 edges, 370260 markings/sec, 400 secs
lola: 155546920 markings, 531440133 edges, 392508 markings/sec, 405 secs
lola: 157435452 markings, 537867727 edges, 377706 markings/sec, 410 secs
lola: 159299684 markings, 544225249 edges, 372846 markings/sec, 415 secs
lola: 161122694 markings, 550468851 edges, 364602 markings/sec, 420 secs
lola: 162964778 markings, 556778638 edges, 368417 markings/sec, 425 secs
lola: 164772340 markings, 562976074 edges, 361512 markings/sec, 430 secs
lola: 166586696 markings, 569204415 edges, 362871 markings/sec, 435 secs
lola: 168357474 markings, 575261867 edges, 354156 markings/sec, 440 secs
lola: 170144861 markings, 581424826 edges, 357477 markings/sec, 445 secs
lola: 171962734 markings, 587577057 edges, 363575 markings/sec, 450 secs
lola: 173774031 markings, 593789252 edges, 362259 markings/sec, 455 secs
lola: 175479417 markings, 599703436 edges, 341077 markings/sec, 460 secs
lola: 177268968 markings, 605856898 edges, 357910 markings/sec, 465 secs
lola: 179032586 markings, 611916957 edges, 352724 markings/sec, 470 secs
lola: 180808629 markings, 617938401 edges, 355209 markings/sec, 475 secs
lola: 182604852 markings, 624204349 edges, 359245 markings/sec, 480 secs
lola: 184324181 markings, 630074263 edges, 343866 markings/sec, 485 secs
lola: 186068886 markings, 635979036 edges, 348941 markings/sec, 490 secs
lola: 187829938 markings, 642092429 edges, 352210 markings/sec, 495 secs
lola: 189649509 markings, 648301026 edges, 363914 markings/sec, 500 secs
lola: 191427526 markings, 654520024 edges, 355603 markings/sec, 505 secs
lola: 193262269 markings, 660757028 edges, 366949 markings/sec, 510 secs
lola: 195024020 markings, 666872487 edges, 352350 markings/sec, 515 secs
lola: 196866101 markings, 673053285 edges, 368416 markings/sec, 520 secs
lola: 198601270 markings, 679114353 edges, 347034 markings/sec, 525 secs
lola: 200414979 markings, 685295019 edges, 362742 markings/sec, 530 secs
lola: 202178524 markings, 691418301 edges, 352709 markings/sec, 535 secs
lola: 204034827 markings, 697718512 edges, 371261 markings/sec, 540 secs
lola: 205790593 markings, 703706812 edges, 351153 markings/sec, 545 secs
lola: 207482465 markings, 709686317 edges, 338374 markings/sec, 550 secs
lola: 209332276 markings, 715976983 edges, 369962 markings/sec, 555 secs
lola: 211150175 markings, 722279558 edges, 363580 markings/sec, 560 secs
lola: 212994235 markings, 728500202 edges, 368812 markings/sec, 565 secs
lola: 214713653 markings, 734346489 edges, 343884 markings/sec, 570 secs
lola: 216373539 markings, 740221171 edges, 331977 markings/sec, 575 secs
lola: 218192508 markings, 746381975 edges, 363794 markings/sec, 580 secs
lola: 219946831 markings, 752484025 edges, 350865 markings/sec, 585 secs
lola: 221773347 markings, 758741172 edges, 365303 markings/sec, 590 secs
lola: 223615104 markings, 765016075 edges, 368351 markings/sec, 595 secs
lola: 225429422 markings, 771189867 edges, 362864 markings/sec, 600 secs
lola: 227173754 markings, 777379186 edges, 348866 markings/sec, 605 secs
lola: 228983723 markings, 783461424 edges, 361994 markings/sec, 610 secs
lola: 230575426 markings, 788990345 edges, 318341 markings/sec, 615 secs
lola: 232201671 markings, 794622272 edges, 325249 markings/sec, 620 secs
lola: 233860678 markings, 800343233 edges, 331801 markings/sec, 625 secs
lola: 235623535 markings, 806557734 edges, 352571 markings/sec, 630 secs
lola: 237401715 markings, 812663124 edges, 355636 markings/sec, 635 secs
lola: 239151576 markings, 818820124 edges, 349972 markings/sec, 640 secs
lola: 241045228 markings, 825155576 edges, 378730 markings/sec, 645 secs
lola: 242992317 markings, 831784065 edges, 389418 markings/sec, 650 secs
lola: 244888694 markings, 838249278 edges, 379275 markings/sec, 655 secs
lola: 246743304 markings, 844618549 edges, 370922 markings/sec, 660 secs
lola: 248625745 markings, 851037915 edges, 376488 markings/sec, 665 secs
lola: 250414971 markings, 857191104 edges, 357845 markings/sec, 670 secs
lola: 252235579 markings, 863468254 edges, 364122 markings/sec, 675 secs
lola: 254078040 markings, 869757052 edges, 368492 markings/sec, 680 secs
lola: 255892372 markings, 875966942 edges, 362866 markings/sec, 685 secs
lola: 257695053 markings, 882174176 edges, 360536 markings/sec, 690 secs
lola: 259515024 markings, 888411543 edges, 363994 markings/sec, 695 secs
lola: 261352723 markings, 894732104 edges, 367540 markings/sec, 700 secs
lola: 263086225 markings, 900734849 edges, 346700 markings/sec, 705 secs
lola: 264880898 markings, 906883762 edges, 358935 markings/sec, 710 secs
lola: 266686072 markings, 913092507 edges, 361035 markings/sec, 715 secs
lola: 268503804 markings, 919260052 edges, 363546 markings/sec, 720 secs
lola: 270289416 markings, 925493531 edges, 357122 markings/sec, 725 secs
lola: 272072163 markings, 931585312 edges, 356549 markings/sec, 730 secs
lola: 273797041 markings, 937543152 edges, 344976 markings/sec, 735 secs
lola: 275616827 markings, 943743011 edges, 363957 markings/sec, 740 secs
lola: 277399915 markings, 949946981 edges, 356618 markings/sec, 745 secs
lola: 279141106 markings, 955931960 edges, 348238 markings/sec, 750 secs
lola: 280861892 markings, 961878131 edges, 344157 markings/sec, 755 secs
lola: 282736977 markings, 968275863 edges, 375017 markings/sec, 760 secs
lola: 284595067 markings, 974573155 edges, 371618 markings/sec, 765 secs
lola: 286237331 markings, 980329651 edges, 328453 markings/sec, 770 secs
lola: 287945546 markings, 986195555 edges, 341643 markings/sec, 775 secs
lola: 289727123 markings, 992266901 edges, 356315 markings/sec, 780 secs
lola: 291495370 markings, 998364949 edges, 353649 markings/sec, 785 secs
lola: 293241574 markings, 1004461678 edges, 349241 markings/sec, 790 secs
lola: 295137970 markings, 1010813814 edges, 379279 markings/sec, 795 secs
lola: 296903942 markings, 1017064160 edges, 353194 markings/sec, 800 secs
lola: 298756908 markings, 1023337341 edges, 370593 markings/sec, 805 secs
lola: 300539328 markings, 1029514343 edges, 356484 markings/sec, 810 secs
lola: 302368994 markings, 1035745516 edges, 365933 markings/sec, 815 secs
lola: 304186580 markings, 1041917293 edges, 363517 markings/sec, 820 secs
lola: 305918429 markings, 1048003231 edges, 346370 markings/sec, 825 secs
lola: 307706339 markings, 1054173754 edges, 357582 markings/sec, 830 secs
lola: 309516905 markings, 1060362334 edges, 362113 markings/sec, 835 secs
lola: 311283397 markings, 1066508870 edges, 353298 markings/sec, 840 secs
lola: 313088613 markings, 1072733945 edges, 361043 markings/sec, 845 secs
lola: 314961780 markings, 1079025250 edges, 374633 markings/sec, 850 secs
lola: 316620227 markings, 1084661200 edges, 331689 markings/sec, 855 secs
lola: 318292814 markings, 1090637123 edges, 334517 markings/sec, 860 secs
lola: 320128956 markings, 1096838493 edges, 367228 markings/sec, 865 secs
lola: 321924723 markings, 1103089677 edges, 359153 markings/sec, 870 secs
lola: 323717447 markings, 1109308968 edges, 358545 markings/sec, 875 secs
lola: 325502284 markings, 1115441358 edges, 356967 markings/sec, 880 secs
lola: 327300774 markings, 1121477638 edges, 359698 markings/sec, 885 secs
lola: 329016411 markings, 1127374774 edges, 343127 markings/sec, 890 secs
lola: 330695803 markings, 1133275315 edges, 335878 markings/sec, 895 secs
lola: 332444253 markings, 1139301626 edges, 349690 markings/sec, 900 secs
lola: 334278583 markings, 1145550017 edges, 366866 markings/sec, 905 secs
lola: 336047963 markings, 1151706012 edges, 353876 markings/sec, 910 secs
lola: 337833603 markings, 1157880548 edges, 357128 markings/sec, 915 secs
lola: 339659761 markings, 1164145038 edges, 365232 markings/sec, 920 secs
lola: 341562725 markings, 1170554538 edges, 380593 markings/sec, 925 secs
lola: 343365270 markings, 1176775587 edges, 360509 markings/sec, 930 secs
lola: 345170368 markings, 1182977348 edges, 361020 markings/sec, 935 secs
lola: 346967953 markings, 1189302770 edges, 359517 markings/sec, 940 secs
lola: 348746344 markings, 1195323643 edges, 355678 markings/sec, 945 secs
lola: 350353517 markings, 1200917771 edges, 321435 markings/sec, 950 secs
lola: 351967919 markings, 1206496247 edges, 322880 markings/sec, 955 secs
lola: 353622485 markings, 1212245814 edges, 330913 markings/sec, 960 secs
lola: 355310843 markings, 1218025136 edges, 337672 markings/sec, 965 secs
lola: 357064578 markings, 1224316840 edges, 350747 markings/sec, 970 secs
lola: 358867469 markings, 1230483939 edges, 360578 markings/sec, 975 secs
lola: 360660260 markings, 1236619003 edges, 358558 markings/sec, 980 secs
lola: 362390209 markings, 1242803269 edges, 345990 markings/sec, 985 secs
lola: 364173749 markings, 1248961829 edges, 356708 markings/sec, 990 secs
lola: 366155274 markings, 1255506588 edges, 396305 markings/sec, 995 secs
lola: 368022454 markings, 1261864807 edges, 373436 markings/sec, 1000 secs
lola: 369852251 markings, 1268128683 edges, 365959 markings/sec, 1005 secs
lola: 371650402 markings, 1274293017 edges, 359630 markings/sec, 1010 secs
lola: 373463520 markings, 1280502478 edges, 362624 markings/sec, 1015 secs
lola: 375236389 markings, 1286610239 edges, 354574 markings/sec, 1020 secs
lola: 376992715 markings, 1292659383 edges, 351265 markings/sec, 1025 secs
lola: 378819124 markings, 1298900125 edges, 365282 markings/sec, 1030 secs
lola: 380560490 markings, 1304833555 edges, 348273 markings/sec, 1035 secs
lola: 382248305 markings, 1310729877 edges, 337563 markings/sec, 1040 secs
lola: 384066949 markings, 1316968066 edges, 363729 markings/sec, 1045 secs
lola: 385801362 markings, 1322935547 edges, 346883 markings/sec, 1050 secs
lola: 387594353 markings, 1329062857 edges, 358598 markings/sec, 1055 secs
lola: 389344409 markings, 1335047676 edges, 350011 markings/sec, 1060 secs
lola: 391015169 markings, 1340868942 edges, 334152 markings/sec, 1065 secs
lola: 392776262 markings, 1346897785 edges, 352219 markings/sec, 1070 secs
lola: 394533684 markings, 1352871611 edges, 351484 markings/sec, 1075 secs
lola: 396251231 markings, 1358867244 edges, 343509 markings/sec, 1080 secs
lola: 397999487 markings, 1364867420 edges, 349651 markings/sec, 1085 secs
lola: 399671582 markings, 1370613756 edges, 334419 markings/sec, 1090 secs
lola: 401378084 markings, 1376462701 edges, 341300 markings/sec, 1095 secs
lola: 403050700 markings, 1382283427 edges, 334523 markings/sec, 1100 secs
lola: 404807006 markings, 1388265713 edges, 351261 markings/sec, 1105 secs
lola: 406506616 markings, 1394149575 edges, 339922 markings/sec, 1110 secs
lola: 408269543 markings, 1400158414 edges, 352585 markings/sec, 1115 secs
lola: 409969036 markings, 1406081585 edges, 339899 markings/sec, 1120 secs
lola: 411745284 markings, 1412082174 edges, 355250 markings/sec, 1125 secs
lola: 413379763 markings, 1417832740 edges, 326896 markings/sec, 1130 secs
lola: 415043457 markings, 1423559316 edges, 332739 markings/sec, 1135 secs
lola: 416770145 markings, 1429413279 edges, 345338 markings/sec, 1140 secs
lola: 418455887 markings, 1435280596 edges, 337148 markings/sec, 1145 secs
lola: 420152460 markings, 1441185592 edges, 339315 markings/sec, 1150 secs
lola: 421905355 markings, 1447079644 edges, 350579 markings/sec, 1155 secs
lola: 423521107 markings, 1452727950 edges, 323150 markings/sec, 1160 secs
lola: 425138648 markings, 1458360456 edges, 323508 markings/sec, 1165 secs
lola: 426939661 markings, 1464466738 edges, 360203 markings/sec, 1170 secs
lola: 428682539 markings, 1470501048 edges, 348576 markings/sec, 1175 secs
lola: 430429661 markings, 1476579820 edges, 349424 markings/sec, 1180 secs
lola: 432139092 markings, 1482267296 edges, 341886 markings/sec, 1185 secs
lola: 433696350 markings, 1487787594 edges, 311452 markings/sec, 1190 secs
lola: 435333386 markings, 1493420737 edges, 327407 markings/sec, 1195 secs
lola: 437035600 markings, 1499158712 edges, 340443 markings/sec, 1200 secs
lola: 438691557 markings, 1504944211 edges, 331191 markings/sec, 1205 secs
lola: 440375025 markings, 1510803995 edges, 336694 markings/sec, 1210 secs
lola: 442053839 markings, 1516625371 edges, 335763 markings/sec, 1215 secs
lola: 443839251 markings, 1522610193 edges, 357082 markings/sec, 1220 secs
lola: 445502584 markings, 1528316852 edges, 332667 markings/sec, 1225 secs
lola: 447157118 markings, 1534204667 edges, 330907 markings/sec, 1230 secs
lola: 448861371 markings, 1540079382 edges, 340851 markings/sec, 1235 secs
lola: 450589204 markings, 1545915878 edges, 345567 markings/sec, 1240 secs
lola: 452270097 markings, 1551764113 edges, 336179 markings/sec, 1245 secs
lola: 454006925 markings, 1557722093 edges, 347366 markings/sec, 1250 secs
lola: 455753814 markings, 1563661650 edges, 349378 markings/sec, 1255 secs
lola: 457498899 markings, 1569617571 edges, 349017 markings/sec, 1260 secs
lola: 459139096 markings, 1575376144 edges, 328039 markings/sec, 1265 secs
lola: 460803714 markings, 1581174971 edges, 332924 markings/sec, 1270 secs
lola: 462493350 markings, 1587014916 edges, 337927 markings/sec, 1275 secs
lola: 464260518 markings, 1592971396 edges, 353434 markings/sec, 1280 secs
lola: 465943508 markings, 1598823522 edges, 336598 markings/sec, 1285 secs
lola: 467607044 markings, 1604613538 edges, 332707 markings/sec, 1290 secs
lola: 469301088 markings, 1610493915 edges, 338809 markings/sec, 1295 secs
lola: 471059722 markings, 1616558942 edges, 351727 markings/sec, 1300 secs
lola: 472860915 markings, 1622570054 edges, 360239 markings/sec, 1305 secs
lola: 474523078 markings, 1628270985 edges, 332433 markings/sec, 1310 secs
lola: 476163564 markings, 1633923605 edges, 328097 markings/sec, 1315 secs
lola: 477754491 markings, 1639608459 edges, 318185 markings/sec, 1320 secs
lola: 479539633 markings, 1645602586 edges, 357028 markings/sec, 1325 secs
lola: 481255768 markings, 1651574143 edges, 343227 markings/sec, 1330 secs
lola: 482572716 markings, 1656160300 edges, 263390 markings/sec, 1335 secs
lola: 482913295 markings, 1657327410 edges, 68116 markings/sec, 1340 secs
lola: 483381795 markings, 1658946725 edges, 93700 markings/sec, 1345 secs
lola: 483418737 markings, 1659083917 edges, 7388 markings/sec, 1350 secs
lola: 483418774 markings, 1659084175 edges, 7 markings/sec, 1355 secs
lola: 483418861 markings, 1659084327 edges, 17 markings/sec, 1360 secs
lola: 483418989 markings, 1659084518 edges, 26 markings/sec, 1365 secs
lola: 483420385 markings, 1659086877 edges, 279 markings/sec, 1370 secs
lola: 483428617 markings, 1659119886 edges, 1646 markings/sec, 1375 secs
lola: 483434100 markings, 1659131448 edges, 1097 markings/sec, 1380 secs
lola: 483438919 markings, 1659158180 edges, 964 markings/sec, 1385 secs
lola: 483444656 markings, 1659168762 edges, 1147 markings/sec, 1390 secs
lola: 483449720 markings, 1659197417 edges, 1013 markings/sec, 1395 secs
lola: 483449790 markings, 1659197566 edges, 14 markings/sec, 1400 secs
lola: 483449790 markings, 1659197706 edges, 0 markings/sec, 1405 secs
lola: 483453060 markings, 1659204712 edges, 654 markings/sec, 1410 secs
lola: 483473724 markings, 1659278661 edges, 4133 markings/sec, 1415 secs
lola: 483477508 markings, 1659297299 edges, 757 markings/sec, 1420 secs
lola: 483482256 markings, 1659305197 edges, 950 markings/sec, 1425 secs
lola: 483496691 markings, 1659358163 edges, 2887 markings/sec, 1430 secs
lola: 483496768 markings, 1659358503 edges, 15 markings/sec, 1435 secs
lola: 483496831 markings, 1659358616 edges, 13 markings/sec, 1440 secs
lola: 483516727 markings, 1659422690 edges, 3979 markings/sec, 1445 secs
lola: 483543700 markings, 1659534998 edges, 5395 markings/sec, 1450 secs
lola: 483548471 markings, 1659542461 edges, 954 markings/sec, 1455 secs
lola: 483548576 markings, 1659542629 edges, 21 markings/sec, 1460 secs
lola: 483548679 markings, 1659542771 edges, 21 markings/sec, 1465 secs
lola: 483550428 markings, 1659545553 edges, 350 markings/sec, 1470 secs
lola: 483553588 markings, 1659550501 edges, 632 markings/sec, 1475 secs
lola: 483554955 markings, 1659552702 edges, 273 markings/sec, 1480 secs
lola: 483555070 markings, 1659552880 edges, 23 markings/sec, 1485 secs
lola: 483557352 markings, 1659556511 edges, 456 markings/sec, 1490 secs
lola: 483557486 markings, 1659556721 edges, 27 markings/sec, 1495 secs
lola: 483566595 markings, 1659578493 edges, 1822 markings/sec, 1500 secs
lola: 483572223 markings, 1659600294 edges, 1126 markings/sec, 1505 secs
lola: 483581365 markings, 1659637291 edges, 1828 markings/sec, 1510 secs
lola: 483581493 markings, 1659637488 edges, 26 markings/sec, 1515 secs
lola: 483581587 markings, 1659637622 edges, 19 markings/sec, 1520 secs
lola: 483581709 markings, 1659637815 edges, 24 markings/sec, 1525 secs
lola: 483581792 markings, 1659637943 edges, 17 markings/sec, 1530 secs
lola: 483581817 markings, 1659638247 edges, 5 markings/sec, 1535 secs
lola: 483588005 markings, 1659658592 edges, 1238 markings/sec, 1540 secs
lola: 483591867 markings, 1659675978 edges, 772 markings/sec, 1545 secs
lola: 483600721 markings, 1659703942 edges, 1771 markings/sec, 1550 secs
lola: 483685286 markings, 1660007937 edges, 16913 markings/sec, 1555 secs
lola: 483685382 markings, 1660008068 edges, 19 markings/sec, 1560 secs
lola: 483688169 markings, 1660013175 edges, 557 markings/sec, 1565 secs
lola: time limit reached - aborting
lola: lola:
preliminary result: unknown unknown 320 640 160 160 160 160 unknown 160 320 320 160 320 160 320 caught signal User defined signal 1 - aborting LoLA

lola: lola:
preliminary result: unknown unknown 320 640 160 160 160 160 unknown 160 320 320 160 320 160 320

preliminary result: unknown unknown 320 640 160 160 160 160 unknown 160 320 320 160 320 160 320
Segmentation fault
rslt: finished

BK_STOP 1553842617909

--------------------
content from stderr:

grep: GenericPropertiesVerdict.xml: No such file or directory
make: [verify] Error 139 (ignored)
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="CloudOpsManagement-PT-00320by00160"
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-3957"
echo " Executing tool lola"
echo " Input is CloudOpsManagement-PT-00320by00160, 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 r209-smll-155381375400065"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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