Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2020-input.r186-oct2-158987938900357.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.........................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itslola
Input is SafeBus-COL-10, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r186-oct2-158987938900357
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 204K
-rw-r--r-- 1 mcc users 3.4K Apr 12 12:08 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 12 12:08 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Apr 11 13:21 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 11 13:20 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:38 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.3K Apr 14 12:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 14 12:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Apr 10 17:24 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Apr 10 17:24 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Apr 9 23:53 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 9 23:53 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 10 22:28 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 10 22:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 24 05:38 equiv_pt
-rw-r--r-- 1 mcc users 3 Mar 24 05:38 instance
-rw-r--r-- 1 mcc users 5 Mar 24 05:38 iscolored
-rw-r--r-- 1 mcc users 42K Mar 24 05:38 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 SafeBus-COL-10-UpperBounds-00
FORMULA_NAME SafeBus-COL-10-UpperBounds-01
FORMULA_NAME SafeBus-COL-10-UpperBounds-02
FORMULA_NAME SafeBus-COL-10-UpperBounds-03
FORMULA_NAME SafeBus-COL-10-UpperBounds-04
FORMULA_NAME SafeBus-COL-10-UpperBounds-05
FORMULA_NAME SafeBus-COL-10-UpperBounds-06
FORMULA_NAME SafeBus-COL-10-UpperBounds-07
FORMULA_NAME SafeBus-COL-10-UpperBounds-08
FORMULA_NAME SafeBus-COL-10-UpperBounds-09
FORMULA_NAME SafeBus-COL-10-UpperBounds-10
FORMULA_NAME SafeBus-COL-10-UpperBounds-11
FORMULA_NAME SafeBus-COL-10-UpperBounds-12
FORMULA_NAME SafeBus-COL-10-UpperBounds-13
FORMULA_NAME SafeBus-COL-10-UpperBounds-14
FORMULA_NAME SafeBus-COL-10-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1591234843904

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-04 01:40:47] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, UpperBounds, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -timeout, 3600, -rebuildPNML]
[2020-06-04 01:40:47] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-04 01:40:47] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
SLF4J: Failed to load class "org.slf4j.impl.StaticLoggerBinder".
SLF4J: Defaulting to no-operation (NOP) logger implementation
SLF4J: See http://www.slf4j.org/codes.html#StaticLoggerBinder for further details.
[2020-06-04 01:40:48] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 733 ms
[2020-06-04 01:40:48] [INFO ] sort/places :
Dom->AMC,wait_ack,
Dot->cable_free,ACK,T_out,R_tout,S_tout,FMCb,
It->Cpt2,Cpt1,msgl,cable_used,FMC,wait_cable,listen,RMC,PMC,MSG,wait_msg,loop_em,

[2020-06-04 01:40:48] [INFO ] Detected 1 constant HL places corresponding to 10 PT places.
[2020-06-04 01:40:48] [INFO ] Imported 20 HL places and 14 HL transitions for a total of 326 PT places and 12821.0 transition bindings in 54 ms.
[2020-06-04 01:40:48] [INFO ] Computed order based on color domains.
[2020-06-04 01:40:48] [INFO ] Unfolded HLPN to a Petri net with 326 places and 1651 transitions in 77 ms.
[2020-06-04 01:40:48] [INFO ] Unfolded HLPN properties in 0 ms.
Deduced a syphon composed of 10 places in 4 ms
Reduce places removed 20 places and 20 transitions.
Parsed 16 properties from file /home/mcc/execution/UpperBounds.xml in 109 ms.
Finished random walk after 0 steps, including 0 resets, run visited all 0 properties in 2 ms. (steps per millisecond=0 )
[2020-06-04 01:40:49] [INFO ] Flatten gal took : 374 ms
FORMULA SafeBus-COL-10-UpperBounds-08 1 TECHNIQUES TOPOLOGICAL INITIAL_STATE
Finished random walk after 0 steps, including 0 resets, run visited all 0 properties in 1 ms. (steps per millisecond=0 )
Finished probabilistic random walk after 0 steps, run visited all 0 properties in 0 ms. (steps per millisecond=0 )
[2020-06-04 01:40:49] [INFO ] Flow matrix only has 642 transitions (discarded 989 similar events)
// Phase 1: matrix 642 rows 306 cols
[2020-06-04 01:40:49] [INFO ] Computed 45 place invariants in 135 ms
Support contains 254 out of 306 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 306/306 places, 1631/1631 transitions.
Applied a total of 0 rules in 435 ms. Remains 306 /306 variables (removed 0) and now considering 1631/1631 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 306/306 places, 1631/1631 transitions.
Finished random walk after 0 steps, including 0 resets, run visited all 0 properties in 1 ms. (steps per millisecond=0 )
Finished probabilistic random walk after 0 steps, run visited all 0 properties in 0 ms. (steps per millisecond=0 )
[2020-06-04 01:40:49] [INFO ] Flow matrix only has 642 transitions (discarded 989 similar events)
// Phase 1: matrix 642 rows 306 cols
[2020-06-04 01:40:49] [INFO ] Computed 45 place invariants in 13 ms
Support contains 254 out of 306 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 306/306 places, 1631/1631 transitions.
Applied a total of 0 rules in 217 ms. Remains 306 /306 variables (removed 0) and now considering 1631/1631 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 306/306 places, 1631/1631 transitions.
Starting structural reductions, iteration 0 : 306/306 places, 1631/1631 transitions.
Applied a total of 0 rules in 157 ms. Remains 306 /306 variables (removed 0) and now considering 1631/1631 (removed 0) transitions.
[2020-06-04 01:40:50] [INFO ] Flow matrix only has 642 transitions (discarded 989 similar events)
// Phase 1: matrix 642 rows 306 cols
[2020-06-04 01:40:50] [INFO ] Computed 45 place invariants in 17 ms
[2020-06-04 01:40:50] [INFO ] Implicit Places using invariants in 843 ms returned []
[2020-06-04 01:40:50] [INFO ] Flow matrix only has 642 transitions (discarded 989 similar events)
// Phase 1: matrix 642 rows 306 cols
[2020-06-04 01:40:50] [INFO ] Computed 45 place invariants in 5 ms
[2020-06-04 01:40:52] [INFO ] State equation strengthened by 111 read => feed constraints.
[2020-06-04 01:40:53] [INFO ] Implicit Places using invariants and state equation in 2812 ms returned []
Implicit Place search using SMT with State Equation took 3661 ms to find 0 implicit places.
[2020-06-04 01:40:53] [INFO ] Redundant transitions in 110 ms returned []
[2020-06-04 01:40:53] [INFO ] Flow matrix only has 642 transitions (discarded 989 similar events)
// Phase 1: matrix 642 rows 306 cols
[2020-06-04 01:40:53] [INFO ] Computed 45 place invariants in 7 ms
[2020-06-04 01:40:56] [INFO ] Dead Transitions using invariants and state equation in 2586 ms returned [91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 421, 422, 423, 424, 425, 426, 427, 428, 429, 430, 531, 532, 533, 534, 535, 536, 537, 538, 539, 540, 641, 642, 643, 644, 645, 646, 647, 648, 649, 650, 751, 752, 753, 754, 755, 756, 757, 758, 759, 760, 861, 862, 863, 864, 865, 866, 867, 868, 869, 870, 971, 972, 973, 974, 975, 976, 977, 978, 979, 980, 1081, 1082, 1083, 1084, 1085, 1086, 1087, 1088, 1089, 1090]
Found 100 dead transitions using SMT.
Drop transitions removed 100 transitions
Dead transitions reduction (with SMT) removed 100 transitions :[1090, 1089, 1088, 1087, 1086, 1085, 1084, 1083, 1082, 1081, 980, 979, 978, 977, 976, 975, 974, 973, 972, 971, 870, 869, 868, 867, 866, 865, 864, 863, 862, 861, 760, 759, 758, 757, 756, 755, 754, 753, 752, 751, 650, 649, 648, 647, 646, 645, 644, 643, 642, 641, 540, 539, 538, 537, 536, 535, 534, 533, 532, 531, 430, 429, 428, 427, 426, 425, 424, 423, 422, 421, 320, 319, 318, 317, 316, 315, 314, 313, 312, 311, 210, 209, 208, 207, 206, 205, 204, 203, 202, 201, 100, 99, 98, 97, 96, 95, 94, 93, 92, 91]
Starting structural reductions, iteration 1 : 306/306 places, 1531/1631 transitions.
Applied a total of 0 rules in 100 ms. Remains 306 /306 variables (removed 0) and now considering 1531/1531 (removed 0) transitions.
[2020-06-04 01:40:56] [INFO ] Redundant transitions in 26 ms returned []
[2020-06-04 01:40:56] [INFO ] Flow matrix only has 642 transitions (discarded 889 similar events)
// Phase 1: matrix 642 rows 306 cols
[2020-06-04 01:40:56] [INFO ] Computed 45 place invariants in 5 ms
[2020-06-04 01:40:59] [INFO ] Dead Transitions using invariants and state equation in 2403 ms returned []
Finished structural reductions, in 2 iterations. Remains : 306/306 places, 1531/1631 transitions.
Finished random walk after 0 steps, including 0 resets, run visited all 0 properties in 1 ms. (steps per millisecond=0 )
Finished probabilistic random walk after 0 steps, run visited all 0 properties in 0 ms. (steps per millisecond=0 )
[2020-06-04 01:40:59] [INFO ] Flow matrix only has 642 transitions (discarded 889 similar events)
// Phase 1: matrix 642 rows 306 cols
[2020-06-04 01:40:59] [INFO ] Computed 45 place invariants in 8 ms
Support contains 254 out of 306 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 306/306 places, 1531/1531 transitions.
Applied a total of 0 rules in 115 ms. Remains 306 /306 variables (removed 0) and now considering 1531/1531 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 306/306 places, 1531/1531 transitions.
Starting structural reductions, iteration 0 : 306/306 places, 1531/1531 transitions.
Applied a total of 0 rules in 75 ms. Remains 306 /306 variables (removed 0) and now considering 1531/1531 (removed 0) transitions.
[2020-06-04 01:40:59] [INFO ] Flow matrix only has 642 transitions (discarded 889 similar events)
// Phase 1: matrix 642 rows 306 cols
[2020-06-04 01:40:59] [INFO ] Computed 45 place invariants in 17 ms
[2020-06-04 01:40:59] [INFO ] Implicit Places using invariants in 241 ms returned []
[2020-06-04 01:40:59] [INFO ] Flow matrix only has 642 transitions (discarded 889 similar events)
// Phase 1: matrix 642 rows 306 cols
[2020-06-04 01:40:59] [INFO ] Computed 45 place invariants in 5 ms
[2020-06-04 01:40:59] [INFO ] State equation strengthened by 111 read => feed constraints.
[2020-06-04 01:41:00] [INFO ] Implicit Places using invariants and state equation in 1149 ms returned []
Implicit Place search using SMT with State Equation took 1407 ms to find 0 implicit places.
[2020-06-04 01:41:00] [INFO ] Redundant transitions in 61 ms returned []
[2020-06-04 01:41:00] [INFO ] Flow matrix only has 642 transitions (discarded 889 similar events)
// Phase 1: matrix 642 rows 306 cols
[2020-06-04 01:41:00] [INFO ] Computed 45 place invariants in 4 ms
[2020-06-04 01:41:03] [INFO ] Dead Transitions using invariants and state equation in 2465 ms returned []
Finished structural reductions, in 1 iterations. Remains : 306/306 places, 1531/1531 transitions.
Finished random walk after 0 steps, including 0 resets, run visited all 0 properties in 1 ms. (steps per millisecond=0 )
Ensure Unique test removed 889 transitions
Reduce isomorphic transitions removed 889 transitions.
Iterating post reduction 0 with 889 rules applied. Total rules applied 889 place count 306 transition count 642
Applied a total of 889 rules in 10 ms. Remains 306 /306 variables (removed 0) and now considering 642/1531 (removed 889) transitions.
// Phase 1: matrix 642 rows 306 cols
[2020-06-04 01:41:03] [INFO ] Computed 45 place invariants in 4 ms
[2020-06-04 01:41:03] [INFO ] Export to MCC properties in file /home/mcc/execution/UpperBounds.sr.xml took 2 ms.
[2020-06-04 01:41:03] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 10 ms.
info: Time: 3600 - MCC
vrfy: Checking UpperBounds @ SafeBus-COL-10 @ 3570 seconds

FORMULA SafeBus-COL-10-UpperBounds-00 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA SafeBus-COL-10-UpperBounds-04 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA SafeBus-COL-10-UpperBounds-07 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA SafeBus-COL-10-UpperBounds-09 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA SafeBus-COL-10-UpperBounds-11 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA SafeBus-COL-10-UpperBounds-02 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA SafeBus-COL-10-UpperBounds-01 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA SafeBus-COL-10-UpperBounds-05 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA SafeBus-COL-10-UpperBounds-13 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA SafeBus-COL-10-UpperBounds-15 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA SafeBus-COL-10-UpperBounds-03 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA SafeBus-COL-10-UpperBounds-14 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for UpperBounds @ SafeBus-COL-10

{
"exit":
{
"memory": 5841148,
"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": 10,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 10,
"visible_transitions": 0
},
"processed": "MAX(p251 + p252 + p253 + p254 + p255 + p256 + p257 + p258 + p259 + p260)",
"processed_size": 72,
"rewrites": 0
},
"result":
{
"preliminary_value": "1 1 1 1 1 10 unknown 1 1 unknown 1 unknown 10 10 10 "
},
"task":
{
"compoundnumber": 15,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 1837/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 9792
lola: finding significant places
lola: 306 places, 1531 transitions, 261 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(p282) : MAX(p40 + p39 + p38 + p37 + p36 + p35 + p34 + p33 + p32 + p31) : MAX(p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30) : MAX(p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 + p151 + p152 + p153 + p154 + p155 + p156 + p157 + p158 + p159 + p160 + p161 + p162 + p163 + p164 + p165 + p166 + p167 + p168 + p169 + p170 + p171 + p172 + p173 + p174 + p175 + p176 + p177 + p178 + p179 + p180 + p181 + p182 + p183 + p184 + p185 + p186 + p187 + p188 + p189 + p190 + p191 + p192 + p193 + p194 + p195 + p196 + p197 + p198 + p199 + p200 + p201 + p202 + p203 + p204 + p205 + p206 + p207 + p208 + p209 + p210 + p211 + p212 + p213 + p214 + p215 + p216 + p217 + p218 + p219 + p220 + p221 + p222 + p223 + p224 + p225 + p226 + p227 + p228 + p229 + p230) : MAX(p283) : MAX(p241 + p242 + p243 + p244 + p245 + p246 + p247 + p248 + p249 + p250) : MAX(p251 + p252 + p253 + p254 + p255 + p256 + p257 + p258 + p259 + p260) : MAX(p261) : MAX(p282) : MAX(p285 + p286 + p287 + p288 + p289 + p290 + p291 + p292 + p293 + p294) : MAX(p284) : MAX(p251 + p252 + p253 + p254 + p255 + p256 + p257 + p258 + p259 + p260) : MAX(p241 + p242 + p243 + p244 + p245 + p246 + p247 + p248 + p249 + p250) : MAX(p88 + p100 + p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p87 + p86 + p85 + p84 + p83 + p82 + p81 + p79 + p78 + p77 + p76 + p75 + p74 + p73 + p72 + p71 + p69 + p68 + p67 + p66 + p65 + p64 + p63 + p62 + p61 + p59 + p58 + p57 + p56 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p55 + p51 + p52 + p53 + p54 + p50 + p60 + p70 + p80 + p89 + p90 + p91 + p92 + p93 + p94 + p95 + p96 + p97 + p98 + p99) : MAX(p231 + p232 + p233 + p234 + p235 + p236 + p237 + p238 + p239 + p240)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p282)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p282)
lola: processed formula length: 9
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: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 5 markings, 4 edges
lola: ========================================
lola: subprocess 1 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p283)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p283)
lola: processed formula length: 9
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: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 2 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p261)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p261)
lola: processed formula length: 9
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: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 5 markings, 4 edges
lola: ========================================
lola: subprocess 3 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p282)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p282)
lola: processed formula length: 9
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: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 5 markings, 4 edges
lola: ========================================
lola: subprocess 4 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p284)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p284)
lola: processed formula length: 9
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: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 5 markings, 4 edges
lola: ========================================
lola: subprocess 5 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p251 + p252 + p253 + p254 + p255 + p256 + p257 + p258 + p259 + p260)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p251 + p252 + p253 + p254 + p255 + p256 + p257 + p258 + p259 + p260)
lola: processed formula length: 72
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: 195922 markings, 431980 edges, 39184 markings/sec, 0 secs
lola: 388231 markings, 823969 edges, 38462 markings/sec, 5 secs
lola: 576272 markings, 1230226 edges, 37608 markings/sec, 10 secs
lola: 762165 markings, 1635149 edges, 37179 markings/sec, 15 secs
lola: 943761 markings, 2109160 edges, 36319 markings/sec, 20 secs
lola: 1126195 markings, 2510138 edges, 36487 markings/sec, 25 secs
lola: 1308574 markings, 2934024 edges, 36476 markings/sec, 30 secs
lola: 1488026 markings, 3310622 edges, 35890 markings/sec, 35 secs
lola: 1665726 markings, 3692245 edges, 35540 markings/sec, 40 secs
lola: 1840183 markings, 4090626 edges, 34891 markings/sec, 45 secs
lola: 2014063 markings, 4476978 edges, 34776 markings/sec, 50 secs
lola: 2187778 markings, 4874706 edges, 34743 markings/sec, 55 secs
lola: 2360335 markings, 5262058 edges, 34511 markings/sec, 60 secs
lola: 2528642 markings, 5635326 edges, 33661 markings/sec, 65 secs
lola: 2697465 markings, 6004297 edges, 33765 markings/sec, 70 secs
lola: 2864352 markings, 6374893 edges, 33377 markings/sec, 75 secs
lola: 3027182 markings, 6741256 edges, 32566 markings/sec, 80 secs
lola: 3187216 markings, 7104646 edges, 32007 markings/sec, 85 secs
lola: 3352397 markings, 7479432 edges, 33036 markings/sec, 90 secs
lola: 3514736 markings, 7858180 edges, 32468 markings/sec, 95 secs
lola: 3680553 markings, 8245470 edges, 33163 markings/sec, 100 secs
lola: 3841573 markings, 8627324 edges, 32204 markings/sec, 105 secs
lola: 4006043 markings, 9023343 edges, 32894 markings/sec, 110 secs
lola: 4170099 markings, 9421484 edges, 32811 markings/sec, 115 secs
lola: 4335901 markings, 9823991 edges, 33160 markings/sec, 120 secs
lola: 4495955 markings, 10206518 edges, 32011 markings/sec, 125 secs
lola: 4655827 markings, 10604439 edges, 31974 markings/sec, 130 secs
lola: 4815193 markings, 10994296 edges, 31873 markings/sec, 135 secs
lola: 4976790 markings, 11399894 edges, 32319 markings/sec, 140 secs
lola: 5137483 markings, 11803140 edges, 32139 markings/sec, 145 secs
lola: 5296518 markings, 12208654 edges, 31807 markings/sec, 150 secs
lola: 5452107 markings, 12611685 edges, 31118 markings/sec, 155 secs
lola: 5611165 markings, 13013147 edges, 31812 markings/sec, 160 secs
lola: 5766796 markings, 13408839 edges, 31126 markings/sec, 165 secs
lola: 5924516 markings, 13819594 edges, 31544 markings/sec, 170 secs
lola: 6080271 markings, 14215838 edges, 31151 markings/sec, 175 secs
lola: 6239230 markings, 14624247 edges, 31792 markings/sec, 180 secs
lola: 6393805 markings, 15038233 edges, 30915 markings/sec, 185 secs
lola: 6552455 markings, 15454410 edges, 31730 markings/sec, 190 secs
lola: 6707265 markings, 15856993 edges, 30962 markings/sec, 195 secs
lola: 6865977 markings, 16292565 edges, 31742 markings/sec, 200 secs
lola: 7023514 markings, 16713056 edges, 31507 markings/sec, 205 secs
lola: 7180926 markings, 17135502 edges, 31482 markings/sec, 210 secs
lola: 7330614 markings, 17537927 edges, 29938 markings/sec, 215 secs
lola: 7480822 markings, 17930593 edges, 30042 markings/sec, 220 secs
lola: 7630730 markings, 18321591 edges, 29982 markings/sec, 225 secs
lola: 7785552 markings, 18734110 edges, 30964 markings/sec, 230 secs
lola: 7934513 markings, 19131258 edges, 29792 markings/sec, 235 secs
lola: 8085498 markings, 19541363 edges, 30197 markings/sec, 240 secs
lola: 8232973 markings, 19931485 edges, 29495 markings/sec, 245 secs
lola: 8383704 markings, 20331184 edges, 30146 markings/sec, 250 secs
lola: 8534985 markings, 20730351 edges, 30256 markings/sec, 255 secs
lola: 8686521 markings, 21137615 edges, 30307 markings/sec, 260 secs
lola: 8836435 markings, 21536727 edges, 29983 markings/sec, 265 secs
lola: 8988576 markings, 21936839 edges, 30428 markings/sec, 270 secs
lola: 9140316 markings, 22337809 edges, 30348 markings/sec, 275 secs
lola: 9287507 markings, 22740634 edges, 29438 markings/sec, 280 secs
lola: 9438722 markings, 23162438 edges, 30243 markings/sec, 285 secs
lola: 9588729 markings, 23571405 edges, 30001 markings/sec, 290 secs
lola: 9738994 markings, 23987288 edges, 30053 markings/sec, 295 secs
lola: 9887769 markings, 24395510 edges, 29755 markings/sec, 300 secs
lola: 10037816 markings, 24801235 edges, 30009 markings/sec, 305 secs
lola: 10186651 markings, 25205534 edges, 29767 markings/sec, 310 secs
lola: 10339427 markings, 25619848 edges, 30555 markings/sec, 315 secs
lola: 10488849 markings, 26027908 edges, 29884 markings/sec, 320 secs
lola: 10640994 markings, 26455379 edges, 30429 markings/sec, 325 secs
lola: 10790292 markings, 26857210 edges, 29860 markings/sec, 330 secs
lola: 10941490 markings, 27268670 edges, 30240 markings/sec, 335 secs
lola: 11092211 markings, 27662590 edges, 30144 markings/sec, 340 secs
lola: 11242704 markings, 28066816 edges, 30099 markings/sec, 345 secs
lola: 11393224 markings, 28469278 edges, 30104 markings/sec, 350 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 unknown unknown unknown 1 unknown unknown 1 1 unknown 1 unknown unknown unknown unknown
lola: memory consumption: 1172396 KB
lola: time consumption: 360 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 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30)
lola: processed formula length: 62
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: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 3 markings, 2 edges
lola: ========================================
lola: subprocess 7 will run for 401 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p40 + p39 + p38 + p37 + p36 + p35 + p34 + p33 + p32 + p31)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p40 + p39 + p38 + p37 + p36 + p35 + p34 + p33 + p32 + p31)
lola: processed formula length: 62
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: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 6 markings, 5 edges
lola: ========================================
lola: subprocess 8 will run for 458 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p285 + p286 + p287 + p288 + p289 + p290 + p291 + p292 + p293 + p294)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p285 + p286 + p287 + p288 + p289 + p290 + p291 + p292 + p293 + p294)
lola: processed formula length: 72
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: 195708 markings, 732090 edges, 39142 markings/sec, 0 secs
lola: 388198 markings, 1679068 edges, 38498 markings/sec, 5 secs
lola: 573657 markings, 2220627 edges, 37092 markings/sec, 10 secs
lola: 745354 markings, 2713778 edges, 34339 markings/sec, 15 secs
lola: 914007 markings, 3223581 edges, 33731 markings/sec, 20 secs
lola: 1084676 markings, 3747166 edges, 34134 markings/sec, 25 secs
lola: 1254099 markings, 4263673 edges, 33885 markings/sec, 30 secs
lola: 1422972 markings, 4793154 edges, 33775 markings/sec, 35 secs
lola: 1587934 markings, 5305699 edges, 32992 markings/sec, 40 secs
lola: 1752387 markings, 5825377 edges, 32891 markings/sec, 45 secs
lola: 1917447 markings, 6355877 edges, 33012 markings/sec, 50 secs
lola: 2077262 markings, 6854516 edges, 31963 markings/sec, 55 secs
lola: 2240616 markings, 7375628 edges, 32671 markings/sec, 60 secs
lola: 2404315 markings, 7909459 edges, 32740 markings/sec, 65 secs
lola: 2568657 markings, 8425728 edges, 32868 markings/sec, 70 secs
lola: 2731041 markings, 8947824 edges, 32477 markings/sec, 75 secs
lola: 2897385 markings, 9489817 edges, 33269 markings/sec, 80 secs
lola: 3056615 markings, 10010848 edges, 31846 markings/sec, 85 secs
lola: 3219147 markings, 10546234 edges, 32506 markings/sec, 90 secs
lola: 3374334 markings, 11042053 edges, 31037 markings/sec, 95 secs
lola: 3536028 markings, 11577092 edges, 32339 markings/sec, 100 secs
lola: 3692178 markings, 12092869 edges, 31230 markings/sec, 105 secs
lola: 3849892 markings, 12605241 edges, 31543 markings/sec, 110 secs
lola: 4003190 markings, 13102946 edges, 30660 markings/sec, 115 secs
lola: 4160018 markings, 13615620 edges, 31366 markings/sec, 120 secs
lola: 4313459 markings, 14111556 edges, 30688 markings/sec, 125 secs
lola: 4470071 markings, 14627139 edges, 31322 markings/sec, 130 secs
lola: 4623738 markings, 15139964 edges, 30733 markings/sec, 135 secs
lola: 4780781 markings, 15658279 edges, 31409 markings/sec, 140 secs
lola: 4936215 markings, 16194058 edges, 31087 markings/sec, 145 secs
lola: 5090883 markings, 16709819 edges, 30934 markings/sec, 150 secs
lola: 5242107 markings, 17205994 edges, 30245 markings/sec, 155 secs
lola: 5395561 markings, 17707929 edges, 30691 markings/sec, 160 secs
lola: 5545389 markings, 18197315 edges, 29966 markings/sec, 165 secs
lola: 5700982 markings, 18725593 edges, 31119 markings/sec, 170 secs
lola: 5852563 markings, 19231454 edges, 30316 markings/sec, 175 secs
lola: 6007185 markings, 19765063 edges, 30924 markings/sec, 180 secs
lola: 6169563 markings, 20320999 edges, 32476 markings/sec, 185 secs
lola: 6324732 markings, 20847279 edges, 31034 markings/sec, 190 secs
lola: 6477222 markings, 21352829 edges, 30498 markings/sec, 195 secs
lola: 6627417 markings, 21860396 edges, 30039 markings/sec, 200 secs
lola: 6778520 markings, 22357954 edges, 30221 markings/sec, 205 secs
lola: 6928006 markings, 22855272 edges, 29897 markings/sec, 210 secs
lola: 7081138 markings, 23366332 edges, 30626 markings/sec, 215 secs
lola: 7230407 markings, 23866008 edges, 29854 markings/sec, 220 secs
lola: 7383940 markings, 24374850 edges, 30707 markings/sec, 225 secs
lola: 7535784 markings, 24887005 edges, 30369 markings/sec, 230 secs
lola: 7686970 markings, 25383457 edges, 30237 markings/sec, 235 secs
lola: 7839243 markings, 25906695 edges, 30455 markings/sec, 240 secs
lola: 7988036 markings, 26397700 edges, 29759 markings/sec, 245 secs
lola: 8139259 markings, 26902048 edges, 30245 markings/sec, 250 secs
lola: 8304642 markings, 27518097 edges, 33077 markings/sec, 255 secs
lola: 8456223 markings, 28043327 edges, 30316 markings/sec, 260 secs
lola: 8607988 markings, 28567239 edges, 30353 markings/sec, 265 secs
lola: 8756972 markings, 29070553 edges, 29797 markings/sec, 270 secs
lola: 8906282 markings, 29571448 edges, 29862 markings/sec, 275 secs
lola: 9054930 markings, 30059095 edges, 29730 markings/sec, 280 secs
lola: 9204392 markings, 30571917 edges, 29892 markings/sec, 285 secs
lola: 9352322 markings, 31070497 edges, 29586 markings/sec, 290 secs
lola: 9501734 markings, 31571493 edges, 29882 markings/sec, 295 secs
lola: 9654096 markings, 32109802 edges, 30472 markings/sec, 300 secs
lola: 9806949 markings, 32643917 edges, 30571 markings/sec, 305 secs
lola: 9956693 markings, 33147771 edges, 29949 markings/sec, 310 secs
lola: 10105632 markings, 33648890 edges, 29788 markings/sec, 315 secs
lola: 10257163 markings, 34180128 edges, 30306 markings/sec, 320 secs
lola: 10405456 markings, 34683102 edges, 29659 markings/sec, 325 secs
lola: 10553822 markings, 35186358 edges, 29673 markings/sec, 330 secs
lola: 10701076 markings, 35684476 edges, 29451 markings/sec, 335 secs
lola: 10850030 markings, 36199354 edges, 29791 markings/sec, 340 secs
lola: 11001338 markings, 36728725 edges, 30262 markings/sec, 345 secs
lola: 11147538 markings, 37220467 edges, 29240 markings/sec, 350 secs
lola: 11295053 markings, 37725842 edges, 29503 markings/sec, 355 secs
lola: 11444152 markings, 38248314 edges, 29820 markings/sec, 360 secs
lola: 11594583 markings, 38778924 edges, 30086 markings/sec, 365 secs
lola: 11741490 markings, 39268574 edges, 29381 markings/sec, 370 secs
lola: 11891381 markings, 39791573 edges, 29978 markings/sec, 375 secs
lola: 12042916 markings, 40330665 edges, 30307 markings/sec, 380 secs
lola: 12192283 markings, 40836233 edges, 29873 markings/sec, 385 secs
lola: 12345161 markings, 41383463 edges, 30576 markings/sec, 390 secs
lola: 12495441 markings, 41905335 edges, 30056 markings/sec, 395 secs
lola: 12646002 markings, 42430536 edges, 30112 markings/sec, 400 secs
lola: 12793524 markings, 42931014 edges, 29504 markings/sec, 405 secs
lola: 12941886 markings, 43455901 edges, 29672 markings/sec, 410 secs
lola: 13095888 markings, 44034571 edges, 30800 markings/sec, 415 secs
lola: 13240454 markings, 44521948 edges, 28913 markings/sec, 420 secs
lola: 13387570 markings, 45022816 edges, 29423 markings/sec, 425 secs
lola: 13535215 markings, 45535130 edges, 29529 markings/sec, 430 secs
lola: 13683792 markings, 46048701 edges, 29715 markings/sec, 435 secs
lola: 13832254 markings, 46569763 edges, 29692 markings/sec, 440 secs
lola: 13979890 markings, 47076003 edges, 29527 markings/sec, 445 secs
lola: 14126618 markings, 47571395 edges, 29346 markings/sec, 450 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 unknown 1 unknown unknown 1 1 unknown 1 unknown unknown unknown unknown
lola: memory consumption: 1323340 KB
lola: time consumption: 818 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 458 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p241 + p242 + p243 + p244 + p245 + p246 + p247 + p248 + p249 + p250)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p241 + p242 + p243 + p244 + p245 + p246 + p247 + p248 + p249 + p250)
lola: processed formula length: 72
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 10 will run for 550 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p251 + p252 + p253 + p254 + p255 + p256 + p257 + p258 + p259 + p260)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p251 + p252 + p253 + p254 + p255 + p256 + p257 + p258 + p259 + p260)
lola: processed formula length: 72
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: 191474 markings, 421464 edges, 38295 markings/sec, 0 secs
lola: 381072 markings, 809946 edges, 37920 markings/sec, 5 secs
lola: 569175 markings, 1213903 edges, 37621 markings/sec, 10 secs
lola: 754713 markings, 1621384 edges, 37108 markings/sec, 15 secs
lola: 936913 markings, 2094972 edges, 36440 markings/sec, 20 secs
lola: 1116445 markings, 2487954 edges, 35906 markings/sec, 25 secs
lola: 1297517 markings, 2909141 edges, 36214 markings/sec, 30 secs
lola: 1473740 markings, 3276493 edges, 35245 markings/sec, 35 secs
lola: 1651784 markings, 3664061 edges, 35609 markings/sec, 40 secs
lola: 1825658 markings, 4053703 edges, 34775 markings/sec, 45 secs
lola: 2002235 markings, 4446489 edges, 35315 markings/sec, 50 secs
lola: 2175788 markings, 4847688 edges, 34711 markings/sec, 55 secs
lola: 2348453 markings, 5237884 edges, 34533 markings/sec, 60 secs
lola: 2516943 markings, 5610078 edges, 33698 markings/sec, 65 secs
lola: 2686383 markings, 5980003 edges, 33888 markings/sec, 70 secs
lola: 2853838 markings, 6352102 edges, 33491 markings/sec, 75 secs
lola: 3020680 markings, 6726731 edges, 33368 markings/sec, 80 secs
lola: 3188758 markings, 7107684 edges, 33616 markings/sec, 85 secs
lola: 3352842 markings, 7480315 edges, 32817 markings/sec, 90 secs
lola: 3518746 markings, 7867564 edges, 33181 markings/sec, 95 secs
lola: 3679669 markings, 8243242 edges, 32185 markings/sec, 100 secs
lola: 3842117 markings, 8628508 edges, 32490 markings/sec, 105 secs
lola: 4003028 markings, 9014402 edges, 32182 markings/sec, 110 secs
lola: 4166701 markings, 9412641 edges, 32735 markings/sec, 115 secs
lola: 4326729 markings, 9799554 edges, 32006 markings/sec, 120 secs
lola: 4486881 markings, 10185052 edges, 32030 markings/sec, 125 secs
lola: 4643048 markings, 10567625 edges, 31233 markings/sec, 130 secs
lola: 4803082 markings, 10961895 edges, 32007 markings/sec, 135 secs
lola: 4958486 markings, 11354051 edges, 31081 markings/sec, 140 secs
lola: 5116390 markings, 11748701 edges, 31581 markings/sec, 145 secs
lola: 5263040 markings, 12122733 edges, 29330 markings/sec, 150 secs
lola: 5423986 markings, 12540180 edges, 32189 markings/sec, 155 secs
lola: 5581268 markings, 12937526 edges, 31456 markings/sec, 160 secs
lola: 5733732 markings, 13325269 edges, 30493 markings/sec, 165 secs
lola: 5888512 markings, 13726009 edges, 30956 markings/sec, 170 secs
lola: 6044882 markings, 14127280 edges, 31274 markings/sec, 175 secs
lola: 6192279 markings, 14502315 edges, 29479 markings/sec, 180 secs
lola: 6346991 markings, 14913481 edges, 30942 markings/sec, 185 secs
lola: 6499100 markings, 15311719 edges, 30422 markings/sec, 190 secs
lola: 6650745 markings, 15711651 edges, 30329 markings/sec, 195 secs
lola: 6801797 markings, 16114853 edges, 30210 markings/sec, 200 secs
lola: 6959774 markings, 16538270 edges, 31595 markings/sec, 205 secs
lola: 7114935 markings, 16960261 edges, 31032 markings/sec, 210 secs
lola: 7271111 markings, 17379639 edges, 31235 markings/sec, 215 secs
lola: 7422874 markings, 17784318 edges, 30353 markings/sec, 220 secs
lola: 7577806 markings, 18187042 edges, 30986 markings/sec, 225 secs
lola: 7730704 markings, 18584933 edges, 30580 markings/sec, 230 secs
lola: 7887236 markings, 19003702 edges, 31306 markings/sec, 235 secs
lola: 8041824 markings, 19421592 edges, 30918 markings/sec, 240 secs
lola: 8199092 markings, 19840319 edges, 31454 markings/sec, 245 secs
lola: 8350401 markings, 20240066 edges, 30262 markings/sec, 250 secs
lola: 8504575 markings, 20652316 edges, 30835 markings/sec, 255 secs
lola: 8656210 markings, 21056737 edges, 30327 markings/sec, 260 secs
lola: 8807559 markings, 21457772 edges, 30270 markings/sec, 265 secs
lola: 8960335 markings, 21866144 edges, 30555 markings/sec, 270 secs
lola: 9115105 markings, 22271071 edges, 30954 markings/sec, 275 secs
lola: 9267762 markings, 22688713 edges, 30531 markings/sec, 280 secs
lola: 9419720 markings, 23111356 edges, 30392 markings/sec, 285 secs
lola: 9570454 markings, 23516520 edges, 30147 markings/sec, 290 secs
lola: 9721074 markings, 23941496 edges, 30124 markings/sec, 295 secs
lola: 9871711 markings, 24354098 edges, 30127 markings/sec, 300 secs
lola: 10021423 markings, 24757346 edges, 29942 markings/sec, 305 secs
lola: 10170114 markings, 25162430 edges, 29738 markings/sec, 310 secs
lola: 10319944 markings, 25571562 edges, 29966 markings/sec, 315 secs
lola: 10472053 markings, 25984994 edges, 30422 markings/sec, 320 secs
lola: 10621470 markings, 26400768 edges, 29883 markings/sec, 325 secs
lola: 10771509 markings, 26807445 edges, 30008 markings/sec, 330 secs
lola: 10921458 markings, 27216901 edges, 29990 markings/sec, 335 secs
lola: 11071918 markings, 27609246 edges, 30092 markings/sec, 340 secs
lola: 11223049 markings, 28014543 edges, 30226 markings/sec, 345 secs
lola: 11373366 markings, 28417037 edges, 30063 markings/sec, 350 secs
lola: 11523404 markings, 28825574 edges, 30008 markings/sec, 355 secs
lola: 11674077 markings, 29232278 edges, 30135 markings/sec, 360 secs
lola: 11824268 markings, 29637621 edges, 30038 markings/sec, 365 secs
lola: 11973425 markings, 30043891 edges, 29831 markings/sec, 370 secs
lola: 12122017 markings, 30457794 edges, 29718 markings/sec, 375 secs
lola: 12270318 markings, 30870351 edges, 29660 markings/sec, 380 secs
lola: 12418477 markings, 31254523 edges, 29632 markings/sec, 385 secs
lola: 12566751 markings, 31662389 edges, 29655 markings/sec, 390 secs
lola: 12714416 markings, 32059773 edges, 29533 markings/sec, 395 secs
lola: 12861750 markings, 32476449 edges, 29467 markings/sec, 400 secs
lola: 13009862 markings, 32877809 edges, 29622 markings/sec, 405 secs
lola: 13158213 markings, 33277534 edges, 29670 markings/sec, 410 secs
lola: 13305767 markings, 33665923 edges, 29511 markings/sec, 415 secs
lola: 13451742 markings, 34061487 edges, 29195 markings/sec, 420 secs
lola: 13598547 markings, 34468763 edges, 29361 markings/sec, 425 secs
lola: 13745589 markings, 34869460 edges, 29408 markings/sec, 430 secs
lola: 13893962 markings, 35266187 edges, 29675 markings/sec, 435 secs
lola: 14040658 markings, 35663365 edges, 29339 markings/sec, 440 secs
lola: 14186871 markings, 36062017 edges, 29243 markings/sec, 445 secs
lola: 14332825 markings, 36443337 edges, 29191 markings/sec, 450 secs
lola: 14479495 markings, 36835679 edges, 29334 markings/sec, 455 secs
lola: 14626698 markings, 37229097 edges, 29441 markings/sec, 460 secs
lola: 14772413 markings, 37625450 edges, 29143 markings/sec, 465 secs
lola: 14917887 markings, 38014174 edges, 29095 markings/sec, 470 secs
lola: 15064280 markings, 38401765 edges, 29279 markings/sec, 475 secs
lola: 15209868 markings, 38775857 edges, 29118 markings/sec, 480 secs
lola: 15356063 markings, 39156215 edges, 29239 markings/sec, 485 secs
lola: 15501247 markings, 39543872 edges, 29037 markings/sec, 490 secs
lola: 15646779 markings, 39941272 edges, 29106 markings/sec, 495 secs
lola: 15790546 markings, 40324636 edges, 28753 markings/sec, 500 secs
lola: 15936334 markings, 40705808 edges, 29158 markings/sec, 505 secs
lola: 16081284 markings, 41088510 edges, 28990 markings/sec, 510 secs
lola: 16226154 markings, 41472408 edges, 28974 markings/sec, 515 secs
lola: 16370928 markings, 41857283 edges, 28955 markings/sec, 520 secs
lola: 16515969 markings, 42237673 edges, 29008 markings/sec, 525 secs
lola: 16658647 markings, 42621946 edges, 28536 markings/sec, 530 secs
lola: 16802799 markings, 43005493 edges, 28830 markings/sec, 535 secs
lola: 16946965 markings, 43388901 edges, 28833 markings/sec, 540 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 unknown 1 10 unknown 1 1 unknown 1 unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: 1 1 1 unknown 1 10 unknown 1 1 unknown 1 unknown unknown unknown unknown
lola: memory consumption: 1719784 KB
lola: time consumption: 1368 seconds
lola: print data as JSON (--json)
lola: memory consumption: 1720100 KB
lola: lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
time consumption: 1368 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 550 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p241 + p242 + p243 + p244 + p245 + p246 + p247 + p248 + p249 + p250)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p241 + p242 + p243 + p244 + p245 + p246 + p247 + p248 + p249 + p250)
lola: processed formula length: 72
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 12 will run for 733 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p231 + p232 + p233 + p234 + p235 + p236 + p237 + p238 + p239 + p240)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p231 + p232 + p233 + p234 + p235 + p236 + p237 + p238 + p239 + p240)
lola: processed formula length: 72
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 11 markings, 10 edges
lola: ========================================
lola: subprocess 13 will run for 1100 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 + p151 + p152 + p153 + p154 + p155 + p156 + p157 + p158 + p159 + p160 + p161 + p162 + p163 + p164 + p165 + p166 + p167 + p168 + p169 + p170 + p171 + p172 + p173 + p174 + p175 + p176 + p177 + p178 + p179 + p180 + p181 + p182 + p183 + p184 + p185 + p186 + p187 + p188 + p189 + p190 + p191 + p192 + p193 + p194 + p195 + p196 + p197... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 + p151 + p152 + p153 + p154 + p155 + p156 + p157 + p158 + p159 + p160 + p161 + p162 + p163 + p164 + p165 + p166 + p167 + p168 + p169 + p170 + p171 + p172 + p173 + p174 + p175 + p176 + p177 + p178 + p179 + p180 + p181 + p182 + p183 + p184 + p185 + p186 + p187 + p188 + p189 + p190 + p191 + p192 + p193 + p194 + p195 + p196 + p197... (shortened)
lola: processed formula length: 632
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: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 4 markings, 3 edges
lola: ========================================
lola: subprocess 14 will run for 2201 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p88 + p100 + p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p87 + p86 + p85 + p84 + p83 + p82 + p81 + p79 + p78 + p77 + p76 + p75 + p74 + p73 + p72 + p71 + p69 + p... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p88 + p100 + p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p87 + p86 + p85 + p84 + p83 + p82 + p81 + p79 + p78 + p77 + p76 + p75 + p74 + p73 + p72 + p71 + p69 + p... (shortened)
lola: processed formula length: 643
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 11 markings, 10 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: MAX(p251 + p252 + p253 + p254 + p255 + p256 + p257 + p258 + p259 + p260)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p251 + p252 + p253 + p254 + p255 + p256 + p257 + p258 + p259 + p260)
lola: processed formula length: 72
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: 191278 markings, 420798 edges, 38256 markings/sec, 0 secs
lola: 381503 markings, 810741 edges, 38045 markings/sec, 5 secs
lola: 568740 markings, 1212999 edges, 37447 markings/sec, 10 secs
lola: 754167 markings, 1620450 edges, 37085 markings/sec, 15 secs
lola: 933090 markings, 2086467 edges, 35785 markings/sec, 20 secs
lola: 1114687 markings, 2483582 edges, 36319 markings/sec, 25 secs
lola: 1291206 markings, 2892384 edges, 35304 markings/sec, 30 secs
lola: 1465310 markings, 3259596 edges, 34821 markings/sec, 35 secs
lola: 1639925 markings, 3641383 edges, 34923 markings/sec, 40 secs
lola: 1813991 markings, 4030261 edges, 34813 markings/sec, 45 secs
lola: 1983829 markings, 4404562 edges, 33968 markings/sec, 50 secs
lola: 2158227 markings, 4809123 edges, 34880 markings/sec, 55 secs
lola: 2326044 markings, 5186565 edges, 33563 markings/sec, 60 secs
lola: 2493581 markings, 5562335 edges, 33507 markings/sec, 65 secs
lola: 2657627 markings, 5914864 edges, 32809 markings/sec, 70 secs
lola: 2826001 markings, 6288523 edges, 33675 markings/sec, 75 secs
lola: 2992180 markings, 6661355 edges, 33236 markings/sec, 80 secs
lola: 3158446 markings, 7039409 edges, 33253 markings/sec, 85 secs
lola: 3321295 markings, 7407199 edges, 32570 markings/sec, 90 secs
lola: 3486067 markings, 7791017 edges, 32954 markings/sec, 95 secs
lola: 3646072 markings, 8162630 edges, 32001 markings/sec, 100 secs
lola: 3811272 markings, 8555532 edges, 33040 markings/sec, 105 secs
lola: 3968265 markings, 8934242 edges, 31399 markings/sec, 110 secs
lola: 4130981 markings, 9318033 edges, 32543 markings/sec, 115 secs
lola: 4291306 markings, 9710032 edges, 32065 markings/sec, 120 secs
lola: 4452644 markings, 10100171 edges, 32268 markings/sec, 125 secs
lola: 4609950 markings, 10487407 edges, 31461 markings/sec, 130 secs
lola: 4771286 markings, 10880853 edges, 32267 markings/sec, 135 secs
lola: 4927580 markings, 11277676 edges, 31259 markings/sec, 140 secs
lola: 5084971 markings, 11670081 edges, 31478 markings/sec, 145 secs
lola: 5240427 markings, 12065712 edges, 31091 markings/sec, 150 secs
lola: 5399015 markings, 12476618 edges, 31718 markings/sec, 155 secs
lola: 5553904 markings, 12867919 edges, 30978 markings/sec, 160 secs
lola: 5711451 markings, 13266145 edges, 31509 markings/sec, 165 secs
lola: 5863519 markings, 13666008 edges, 30414 markings/sec, 170 secs
lola: 6017044 markings, 14055458 edges, 30705 markings/sec, 175 secs
lola: 6170284 markings, 14447558 edges, 30648 markings/sec, 180 secs
lola: 6324027 markings, 14854413 edges, 30749 markings/sec, 185 secs
lola: 6478564 markings, 15257475 edges, 30907 markings/sec, 190 secs
lola: 6632355 markings, 15663874 edges, 30758 markings/sec, 195 secs
lola: 6789061 markings, 16079685 edges, 31341 markings/sec, 200 secs
lola: 6942735 markings, 16493691 edges, 30735 markings/sec, 205 secs
lola: 7098521 markings, 16916899 edges, 31157 markings/sec, 210 secs
lola: 7254101 markings, 17331018 edges, 31116 markings/sec, 215 secs
lola: 7408610 markings, 17742183 edges, 30902 markings/sec, 220 secs
lola: 7562395 markings, 18148819 edges, 30757 markings/sec, 225 secs
lola: 7715740 markings, 18544719 edges, 30669 markings/sec, 230 secs
lola: 7870234 markings, 18960754 edges, 30899 markings/sec, 235 secs
lola: 8023023 markings, 19370101 edges, 30558 markings/sec, 240 secs
lola: 8175967 markings, 19784533 edges, 30589 markings/sec, 245 secs
lola: 8329796 markings, 20188155 edges, 30766 markings/sec, 250 secs
lola: 8483221 markings, 20596371 edges, 30685 markings/sec, 255 secs
lola: 8637811 markings, 21004042 edges, 30918 markings/sec, 260 secs
lola: 8791004 markings, 21412603 edges, 30639 markings/sec, 265 secs
lola: 8944711 markings, 21825337 edges, 30741 markings/sec, 270 secs
lola: 9097194 markings, 22221994 edges, 30497 markings/sec, 275 secs
lola: 9249857 markings, 22642409 edges, 30533 markings/sec, 280 secs
lola: 9401336 markings, 23056876 edges, 30296 markings/sec, 285 secs
lola: 9553661 markings, 23473913 edges, 30465 markings/sec, 290 secs
lola: 9705408 markings, 23894422 edges, 30349 markings/sec, 295 secs
lola: 9858256 markings, 24311728 edges, 30570 markings/sec, 300 secs
lola: 10009362 markings, 24721569 edges, 30221 markings/sec, 305 secs
lola: 10161279 markings, 25139700 edges, 30383 markings/sec, 310 secs
lola: 10311990 markings, 25547890 edges, 30142 markings/sec, 315 secs
lola: 10464741 markings, 25964906 edges, 30550 markings/sec, 320 secs
lola: 10615735 markings, 26386167 edges, 30199 markings/sec, 325 secs
lola: 10767413 markings, 26794600 edges, 30336 markings/sec, 330 secs
lola: 10919192 markings, 27211179 edges, 30356 markings/sec, 335 secs
lola: 11070442 markings, 27603438 edges, 30250 markings/sec, 340 secs
lola: 11221588 markings, 28011402 edges, 30229 markings/sec, 345 secs
lola: 11372603 markings, 28415330 edges, 30203 markings/sec, 350 secs
lola: 11523154 markings, 28825061 edges, 30110 markings/sec, 355 secs
lola: 11672384 markings, 29228079 edges, 29846 markings/sec, 360 secs
lola: 11820841 markings, 29627681 edges, 29691 markings/sec, 365 secs
lola: 11969808 markings, 30035100 edges, 29793 markings/sec, 370 secs
lola: 12119190 markings, 30449117 edges, 29876 markings/sec, 375 secs
lola: 12267429 markings, 30863447 edges, 29648 markings/sec, 380 secs
lola: 12414329 markings, 31243485 edges, 29380 markings/sec, 385 secs
lola: 12561204 markings, 31649277 edges, 29375 markings/sec, 390 secs
lola: 12709254 markings, 32046127 edges, 29610 markings/sec, 395 secs
lola: 12857404 markings, 32464895 edges, 29630 markings/sec, 400 secs
lola: 13005413 markings, 32866758 edges, 29602 markings/sec, 405 secs
lola: 13151606 markings, 33258661 edges, 29239 markings/sec, 410 secs
lola: 13299810 markings, 33652003 edges, 29641 markings/sec, 415 secs
lola: 13448244 markings, 34050749 edges, 29687 markings/sec, 420 secs
lola: 13597883 markings, 34466985 edges, 29928 markings/sec, 425 secs
lola: 13746856 markings, 34872692 edges, 29795 markings/sec, 430 secs
lola: 13895790 markings, 35270704 edges, 29787 markings/sec, 435 secs
lola: 14045927 markings, 35676718 edges, 30027 markings/sec, 440 secs
lola: 14195369 markings, 36083397 edges, 29888 markings/sec, 445 secs
lola: 14343994 markings, 36472893 edges, 29725 markings/sec, 450 secs
lola: 14492840 markings, 36870094 edges, 29769 markings/sec, 455 secs
lola: 14641050 markings, 37265837 edges, 29642 markings/sec, 460 secs
lola: 14784883 markings, 37657943 edges, 28767 markings/sec, 465 secs
lola: 14927999 markings, 38038243 edges, 28623 markings/sec, 470 secs
lola: 15072065 markings, 38421163 edges, 28813 markings/sec, 475 secs
lola: 15216170 markings, 38792657 edges, 28821 markings/sec, 480 secs
lola: 15363076 markings, 39174653 edges, 29381 markings/sec, 485 secs
lola: 15510011 markings, 39566296 edges, 29387 markings/sec, 490 secs
lola: 15657118 markings, 39966470 edges, 29421 markings/sec, 495 secs
lola: 15803372 markings, 40361240 edges, 29251 markings/sec, 500 secs
lola: 15948705 markings, 40738656 edges, 29067 markings/sec, 505 secs
lola: 16094355 markings, 41122960 edges, 29130 markings/sec, 510 secs
lola: 16236461 markings, 41499456 edges, 28421 markings/sec, 515 secs
lola: 16381792 markings, 41884600 edges, 29066 markings/sec, 520 secs
lola: 16528609 markings, 42273640 edges, 29363 markings/sec, 525 secs
lola: 16674246 markings, 42663571 edges, 29127 markings/sec, 530 secs
lola: 16820254 markings, 43055046 edges, 29202 markings/sec, 535 secs
lola: 16966345 markings, 43440743 edges, 29218 markings/sec, 540 secs
lola: 17112674 markings, 43832402 edges, 29266 markings/sec, 545 secs
lola: 17256758 markings, 44220659 edges, 28817 markings/sec, 550 secs
lola: 17399013 markings, 44596769 edges, 28451 markings/sec, 555 secs
lola: 17544833 markings, 44980816 edges, 29164 markings/sec, 560 secs
lola: 17691042 markings, 45360996 edges, 29242 markings/sec, 565 secs
lola: 17831940 markings, 45739732 edges, 28180 markings/sec, 570 secs
lola: 17973267 markings, 46110065 edges, 28265 markings/sec, 575 secs
lola: 18115648 markings, 46490366 edges, 28476 markings/sec, 580 secs
lola: 18258436 markings, 46868225 edges, 28558 markings/sec, 585 secs
lola: 18399811 markings, 47234367 edges, 28275 markings/sec, 590 secs
lola: 18541982 markings, 47623268 edges, 28434 markings/sec, 595 secs
lola: 18686548 markings, 48003321 edges, 28913 markings/sec, 600 secs
lola: 18829770 markings, 48391314 edges, 28644 markings/sec, 605 secs
lola: 18973777 markings, 48777066 edges, 28801 markings/sec, 610 secs
lola: 19116995 markings, 49150610 edges, 28644 markings/sec, 615 secs
lola: 19259548 markings, 49538562 edges, 28511 markings/sec, 620 secs
lola: 19402866 markings, 49920827 edges, 28664 markings/sec, 625 secs
lola: 19545371 markings, 50311279 edges, 28501 markings/sec, 630 secs
lola: 19687375 markings, 50700124 edges, 28401 markings/sec, 635 secs
lola: 19830117 markings, 51080944 edges, 28548 markings/sec, 640 secs
lola: 19970292 markings, 51451436 edges, 28035 markings/sec, 645 secs
lola: 20106356 markings, 51810050 edges, 27213 markings/sec, 650 secs
lola: 20239909 markings, 52166751 edges, 26711 markings/sec, 655 secs
lola: 20380093 markings, 52536017 edges, 28037 markings/sec, 660 secs
lola: 20521258 markings, 52923374 edges, 28233 markings/sec, 665 secs
lola: 20660885 markings, 53283811 edges, 27925 markings/sec, 670 secs
lola: 20801594 markings, 53654672 edges, 28142 markings/sec, 675 secs
lola: 20943463 markings, 54034737 edges, 28374 markings/sec, 680 secs
lola: 21083509 markings, 54413945 edges, 28009 markings/sec, 685 secs
lola: 21224250 markings, 54793869 edges, 28148 markings/sec, 690 secs
lola: 21366102 markings, 55174727 edges, 28370 markings/sec, 695 secs
lola: 21508534 markings, 55554860 edges, 28486 markings/sec, 700 secs
lola: 21650327 markings, 55931648 edges, 28359 markings/sec, 705 secs
lola: 21792212 markings, 56319639 edges, 28377 markings/sec, 710 secs
lola: 21935227 markings, 56696791 edges, 28603 markings/sec, 715 secs
lola: 22078832 markings, 57088073 edges, 28721 markings/sec, 720 secs
lola: 22220659 markings, 57454864 edges, 28365 markings/sec, 725 secs
lola: 22364686 markings, 57837166 edges, 28805 markings/sec, 730 secs
lola: 22507378 markings, 58219027 edges, 28538 markings/sec, 735 secs
lola: 22650918 markings, 58605723 edges, 28708 markings/sec, 740 secs
lola: 22792074 markings, 58986116 edges, 28231 markings/sec, 745 secs
lola: 22927465 markings, 59342095 edges, 27078 markings/sec, 750 secs
lola: 23056308 markings, 59706508 edges, 25769 markings/sec, 755 secs
lola: 23195303 markings, 60085097 edges, 27799 markings/sec, 760 secs
lola: 23337846 markings, 60473951 edges, 28509 markings/sec, 765 secs
lola: 23479703 markings, 60856398 edges, 28371 markings/sec, 770 secs
lola: 23618367 markings, 61239257 edges, 27733 markings/sec, 775 secs
lola: 23760249 markings, 61629043 edges, 28376 markings/sec, 780 secs
lola: 23897633 markings, 62010612 edges, 27477 markings/sec, 785 secs
lola: 24030009 markings, 62361805 edges, 26475 markings/sec, 790 secs
lola: 24163903 markings, 62728294 edges, 26779 markings/sec, 795 secs
lola: 24305557 markings, 63108941 edges, 28331 markings/sec, 800 secs
lola: 24444801 markings, 63483945 edges, 27849 markings/sec, 805 secs
lola: 24584339 markings, 63857744 edges, 27908 markings/sec, 810 secs
lola: 24721843 markings, 64226496 edges, 27501 markings/sec, 815 secs
lola: 24862636 markings, 64614699 edges, 28159 markings/sec, 820 secs
lola: 25000998 markings, 64994621 edges, 27672 markings/sec, 825 secs
lola: 25138501 markings, 65372521 edges, 27501 markings/sec, 830 secs
lola: 25278496 markings, 65752151 edges, 27999 markings/sec, 835 secs
lola: 25416294 markings, 66127121 edges, 27560 markings/sec, 840 secs
lola: 25555749 markings, 66498925 edges, 27891 markings/sec, 845 secs
lola: 25692832 markings, 66867395 edges, 27417 markings/sec, 850 secs
lola: 25831171 markings, 67237730 edges, 27668 markings/sec, 855 secs
lola: 25968217 markings, 67603250 edges, 27409 markings/sec, 860 secs
lola: 26108668 markings, 67987589 edges, 28090 markings/sec, 865 secs
lola: 26246833 markings, 68370315 edges, 27633 markings/sec, 870 secs
lola: 26385423 markings, 68748145 edges, 27718 markings/sec, 875 secs
lola: 26521760 markings, 69116815 edges, 27267 markings/sec, 880 secs
lola: 26660347 markings, 69482126 edges, 27717 markings/sec, 885 secs
lola: 26797533 markings, 69847521 edges, 27437 markings/sec, 890 secs
lola: 26935592 markings, 70225374 edges, 27612 markings/sec, 895 secs
lola: 27071018 markings, 70590961 edges, 27085 markings/sec, 900 secs
lola: 27209771 markings, 70956634 edges, 27751 markings/sec, 905 secs
lola: 27344905 markings, 71322319 edges, 27027 markings/sec, 910 secs
lola: 27483830 markings, 71703284 edges, 27785 markings/sec, 915 secs
lola: 27617938 markings, 72077941 edges, 26822 markings/sec, 920 secs
lola: 27755441 markings, 72450171 edges, 27501 markings/sec, 925 secs
lola: 27889677 markings, 72810434 edges, 26847 markings/sec, 930 secs
lola: 28027929 markings, 73198065 edges, 27650 markings/sec, 935 secs
lola: 28163603 markings, 73566653 edges, 27135 markings/sec, 940 secs
lola: 28301792 markings, 73937169 edges, 27638 markings/sec, 945 secs
lola: 28435567 markings, 74303580 edges, 26755 markings/sec, 950 secs
lola: 28574056 markings, 74687259 edges, 27698 markings/sec, 955 secs
lola: 28709208 markings, 75054342 edges, 27030 markings/sec, 960 secs
lola: 28848444 markings, 75428810 edges, 27847 markings/sec, 965 secs
lola: 28983148 markings, 75794511 edges, 26941 markings/sec, 970 secs
lola: 29121321 markings, 76167114 edges, 27635 markings/sec, 975 secs
lola: 29258173 markings, 76543563 edges, 27370 markings/sec, 980 secs
lola: 29396329 markings, 76925179 edges, 27631 markings/sec, 985 secs
lola: 29532224 markings, 77300976 edges, 27179 markings/sec, 990 secs
lola: 29670013 markings, 77672132 edges, 27558 markings/sec, 995 secs
lola: 29804338 markings, 78042253 edges, 26865 markings/sec, 1000 secs
lola: 29941934 markings, 78433210 edges, 27519 markings/sec, 1005 secs
lola: 30077856 markings, 78809781 edges, 27184 markings/sec, 1010 secs
lola: 30216248 markings, 79198954 edges, 27678 markings/sec, 1015 secs
lola: 30353070 markings, 79576876 edges, 27364 markings/sec, 1020 secs
lola: 30490090 markings, 79962262 edges, 27404 markings/sec, 1025 secs
lola: 30624978 markings, 80347331 edges, 26978 markings/sec, 1030 secs
lola: 30762315 markings, 80723015 edges, 27467 markings/sec, 1035 secs
lola: 30900092 markings, 81100854 edges, 27555 markings/sec, 1040 secs
lola: 31034794 markings, 81465859 edges, 26940 markings/sec, 1045 secs
lola: 31172678 markings, 81850481 edges, 27577 markings/sec, 1050 secs
lola: 31306931 markings, 82226212 edges, 26851 markings/sec, 1055 secs
lola: 31444742 markings, 82597095 edges, 27562 markings/sec, 1060 secs
lola: 31579865 markings, 82966069 edges, 27025 markings/sec, 1065 secs
lola: 31716763 markings, 83349925 edges, 27380 markings/sec, 1070 secs
lola: 31849191 markings, 83712163 edges, 26486 markings/sec, 1075 secs
lola: 31986600 markings, 84079327 edges, 27482 markings/sec, 1080 secs
lola: 32121885 markings, 84455391 edges, 27057 markings/sec, 1085 secs
lola: 32258957 markings, 84842628 edges, 27414 markings/sec, 1090 secs
lola: 32392912 markings, 85212407 edges, 26791 markings/sec, 1095 secs
lola: 32529929 markings, 85591733 edges, 27403 markings/sec, 1100 secs
lola: 32664605 markings, 85961818 edges, 26935 markings/sec, 1105 secs
lola: 32802740 markings, 86338749 edges, 27627 markings/sec, 1110 secs
lola: 32935330 markings, 86711845 edges, 26518 markings/sec, 1115 secs
lola: 33071763 markings, 87079651 edges, 27287 markings/sec, 1120 secs
lola: 33204903 markings, 87449033 edges, 26628 markings/sec, 1125 secs
lola: 33341731 markings, 87831081 edges, 27366 markings/sec, 1130 secs
lola: 33471978 markings, 88184482 edges, 26049 markings/sec, 1135 secs
lola: 33599632 markings, 88533130 edges, 25531 markings/sec, 1140 secs
lola: 33726936 markings, 88889282 edges, 25461 markings/sec, 1145 secs
lola: 33858778 markings, 89254267 edges, 26368 markings/sec, 1150 secs
lola: 33987837 markings, 89617330 edges, 25812 markings/sec, 1155 secs
lola: 34121286 markings, 89997525 edges, 26690 markings/sec, 1160 secs
lola: 34250823 markings, 90347770 edges, 25907 markings/sec, 1165 secs
lola: 34385296 markings, 90717932 edges, 26895 markings/sec, 1170 secs
lola: 34516680 markings, 91084097 edges, 26277 markings/sec, 1175 secs
lola: 34648447 markings, 91441574 edges, 26353 markings/sec, 1180 secs
lola: 34782199 markings, 91804282 edges, 26750 markings/sec, 1185 secs
lola: 34917818 markings, 92176039 edges, 27124 markings/sec, 1190 secs
lola: 35050892 markings, 92550916 edges, 26615 markings/sec, 1195 secs
lola: 35185117 markings, 92927750 edges, 26845 markings/sec, 1200 secs
lola: 35317492 markings, 93289176 edges, 26475 markings/sec, 1205 secs
lola: 35449704 markings, 93648333 edges, 26442 markings/sec, 1210 secs
lola: 35582686 markings, 94015760 edges, 26596 markings/sec, 1215 secs
lola: 35718101 markings, 94406225 edges, 27083 markings/sec, 1220 secs
lola: 35852146 markings, 94780458 edges, 26809 markings/sec, 1225 secs
lola: 35987240 markings, 95159649 edges, 27019 markings/sec, 1230 secs
lola: 36120043 markings, 95538389 edges, 26561 markings/sec, 1235 secs
lola: 36255189 markings, 95912906 edges, 27029 markings/sec, 1240 secs
lola: 36389491 markings, 96288686 edges, 26860 markings/sec, 1245 secs
lola: 36522872 markings, 96662810 edges, 26676 markings/sec, 1250 secs
lola: 36659245 markings, 97041463 edges, 27275 markings/sec, 1255 secs
lola: 36791305 markings, 97420145 edges, 26412 markings/sec, 1260 secs
lola: 36927329 markings, 97802357 edges, 27205 markings/sec, 1265 secs
lola: 37058817 markings, 98179599 edges, 26298 markings/sec, 1270 secs
lola: 37192893 markings, 98566477 edges, 26815 markings/sec, 1275 secs
lola: 37324671 markings, 98933100 edges, 26356 markings/sec, 1280 secs
lola: 37460431 markings, 99305243 edges, 27152 markings/sec, 1285 secs
lola: 37593312 markings, 99684482 edges, 26576 markings/sec, 1290 secs
lola: 37729107 markings, 100062301 edges, 27159 markings/sec, 1295 secs
lola: 37862346 markings, 100441737 edges, 26648 markings/sec, 1300 secs
lola: 37996779 markings, 100819576 edges, 26887 markings/sec, 1305 secs
lola: 38129173 markings, 101185306 edges, 26479 markings/sec, 1310 secs
lola: 38263860 markings, 101558303 edges, 26937 markings/sec, 1315 secs
lola: 38397390 markings, 101935945 edges, 26706 markings/sec, 1320 secs
lola: 38532549 markings, 102313533 edges, 27032 markings/sec, 1325 secs
lola: 38665422 markings, 102677820 edges, 26575 markings/sec, 1330 secs
lola: 38799557 markings, 103064189 edges, 26827 markings/sec, 1335 secs
lola: 38931852 markings, 103446689 edges, 26459 markings/sec, 1340 secs
lola: 39066903 markings, 103821842 edges, 27010 markings/sec, 1345 secs
lola: 39199913 markings, 104193435 edges, 26602 markings/sec, 1350 secs
lola: 39335657 markings, 104579904 edges, 27149 markings/sec, 1355 secs
lola: 39468962 markings, 104952910 edges, 26661 markings/sec, 1360 secs
lola: 39603782 markings, 105329701 edges, 26964 markings/sec, 1365 secs
lola: 39735397 markings, 105696995 edges, 26323 markings/sec, 1370 secs
lola: 39869996 markings, 106082389 edges, 26920 markings/sec, 1375 secs
lola: 40002553 markings, 106454900 edges, 26511 markings/sec, 1380 secs
lola: 40137663 markings, 106829455 edges, 27022 markings/sec, 1385 secs
lola: 40269522 markings, 107210201 edges, 26372 markings/sec, 1390 secs
lola: 40404542 markings, 107577081 edges, 27004 markings/sec, 1395 secs
lola: 40536659 markings, 107943549 edges, 26423 markings/sec, 1400 secs
lola: 40671119 markings, 108317856 edges, 26892 markings/sec, 1405 secs
lola: 40801079 markings, 108685866 edges, 25992 markings/sec, 1410 secs
lola: 40936367 markings, 109067687 edges, 27058 markings/sec, 1415 secs
lola: 41067087 markings, 109428302 edges, 26144 markings/sec, 1420 secs
lola: 41200565 markings, 109802918 edges, 26696 markings/sec, 1425 secs
lola: 41329864 markings, 110165218 edges, 25860 markings/sec, 1430 secs
lola: 41461361 markings, 110535217 edges, 26299 markings/sec, 1435 secs
lola: 41592842 markings, 110907534 edges, 26296 markings/sec, 1440 secs
lola: 41727321 markings, 111285326 edges, 26896 markings/sec, 1445 secs
lola: 41858592 markings, 111654071 edges, 26254 markings/sec, 1450 secs
lola: 41992556 markings, 112043295 edges, 26793 markings/sec, 1455 secs
lola: 42125735 markings, 112423629 edges, 26636 markings/sec, 1460 secs
lola: 42260466 markings, 112801511 edges, 26946 markings/sec, 1465 secs
lola: 42395292 markings, 113186097 edges, 26965 markings/sec, 1470 secs
lola: 42525261 markings, 113548579 edges, 25994 markings/sec, 1475 secs
lola: 42659629 markings, 113927291 edges, 26874 markings/sec, 1480 secs
lola: 42790948 markings, 114301915 edges, 26264 markings/sec, 1485 secs
lola: 42924918 markings, 114673654 edges, 26794 markings/sec, 1490 secs
lola: 43054731 markings, 115049432 edges, 25963 markings/sec, 1495 secs
lola: 43188080 markings, 115420556 edges, 26670 markings/sec, 1500 secs
lola: 43321970 markings, 115788551 edges, 26778 markings/sec, 1505 secs
lola: 43457126 markings, 116175258 edges, 27031 markings/sec, 1510 secs
lola: 43588556 markings, 116557817 edges, 26286 markings/sec, 1515 secs
lola: 43719871 markings, 116933017 edges, 26263 markings/sec, 1520 secs
lola: 43847293 markings, 117300973 edges, 25484 markings/sec, 1525 secs
lola: 43979076 markings, 117677227 edges, 26357 markings/sec, 1530 secs
lola: 44107789 markings, 118042719 edges, 25743 markings/sec, 1535 secs
lola: 44241736 markings, 118429396 edges, 26789 markings/sec, 1540 secs
lola: 44372347 markings, 118795782 edges, 26122 markings/sec, 1545 secs
lola: 44505817 markings, 119170810 edges, 26694 markings/sec, 1550 secs
lola: 44636913 markings, 119549606 edges, 26219 markings/sec, 1555 secs
lola: 44771596 markings, 119929529 edges, 26937 markings/sec, 1560 secs
lola: 44902934 markings, 120298264 edges, 26268 markings/sec, 1565 secs
lola: 45036100 markings, 120677172 edges, 26633 markings/sec, 1570 secs
lola: 45165203 markings, 121050517 edges, 25821 markings/sec, 1575 secs
lola: 45298443 markings, 121419356 edges, 26648 markings/sec, 1580 secs
lola: 45429601 markings, 121797082 edges, 26232 markings/sec, 1585 secs
lola: 45563042 markings, 122177322 edges, 26688 markings/sec, 1590 secs
lola: 45695069 markings, 122549752 edges, 26405 markings/sec, 1595 secs
lola: 45827808 markings, 122932241 edges, 26548 markings/sec, 1600 secs
lola: 45957923 markings, 123294638 edges, 26023 markings/sec, 1605 secs
lola: 46091233 markings, 123670806 edges, 26662 markings/sec, 1610 secs
lola: 46220675 markings, 124050965 edges, 25888 markings/sec, 1615 secs
lola: 46353212 markings, 124422312 edges, 26507 markings/sec, 1620 secs
lola: 46482916 markings, 124785443 edges, 25941 markings/sec, 1625 secs
lola: 46615899 markings, 125163779 edges, 26597 markings/sec, 1630 secs
lola: 46743069 markings, 125514933 edges, 25434 markings/sec, 1635 secs
lola: 46876362 markings, 125893462 edges, 26659 markings/sec, 1640 secs
lola: 47005497 markings, 126262530 edges, 25827 markings/sec, 1645 secs
lola: 47137198 markings, 126641832 edges, 26340 markings/sec, 1650 secs
lola: 47266929 markings, 127012364 edges, 25946 markings/sec, 1655 secs
lola: 47399698 markings, 127386419 edges, 26554 markings/sec, 1660 secs
lola: 47529307 markings, 127758112 edges, 25922 markings/sec, 1665 secs
lola: 47661424 markings, 128132991 edges, 26423 markings/sec, 1670 secs
lola: 47791630 markings, 128499314 edges, 26041 markings/sec, 1675 secs
lola: 47923292 markings, 128870193 edges, 26332 markings/sec, 1680 secs
lola: 48057113 markings, 129245172 edges, 26764 markings/sec, 1685 secs
lola: 48187823 markings, 129614458 edges, 26142 markings/sec, 1690 secs
lola: 48320323 markings, 130002876 edges, 26500 markings/sec, 1695 secs
lola: 48449603 markings, 130362067 edges, 25856 markings/sec, 1700 secs
lola: 48582828 markings, 130737014 edges, 26645 markings/sec, 1705 secs
lola: 48711770 markings, 131109008 edges, 25788 markings/sec, 1710 secs
lola: 48842225 markings, 131483772 edges, 26091 markings/sec, 1715 secs
lola: 48972468 markings, 131862244 edges, 26049 markings/sec, 1720 secs
lola: 49103867 markings, 132230235 edges, 26280 markings/sec, 1725 secs
lola: 49233806 markings, 132602797 edges, 25988 markings/sec, 1730 secs
lola: 49365856 markings, 132989448 edges, 26410 markings/sec, 1735 secs
lola: 49495519 markings, 133370038 edges, 25933 markings/sec, 1740 secs
lola: 49627689 markings, 133749061 edges, 26434 markings/sec, 1745 secs
lola: 49755533 markings, 134104712 edges, 25569 markings/sec, 1750 secs
lola: 49887118 markings, 134476154 edges, 26317 markings/sec, 1755 secs
lola: 50017052 markings, 134850645 edges, 25987 markings/sec, 1760 secs
lola: 50148211 markings, 135224552 edges, 26232 markings/sec, 1765 secs
lola: 50276869 markings, 135596896 edges, 25732 markings/sec, 1770 secs
lola: 50407837 markings, 135967242 edges, 26194 markings/sec, 1775 secs
lola: 50537252 markings, 136331534 edges, 25883 markings/sec, 1780 secs
lola: 50668150 markings, 136701151 edges, 26180 markings/sec, 1785 secs
lola: 50797387 markings, 137076580 edges, 25847 markings/sec, 1790 secs
lola: 50927909 markings, 137445954 edges, 26104 markings/sec, 1795 secs
lola: 51055399 markings, 137796402 edges, 25498 markings/sec, 1800 secs
lola: 51186280 markings, 138164796 edges, 26176 markings/sec, 1805 secs
lola: 51314851 markings, 138528959 edges, 25714 markings/sec, 1810 secs
lola: 51444750 markings, 138896340 edges, 25980 markings/sec, 1815 secs
lola: 51573598 markings, 139263975 edges, 25770 markings/sec, 1820 secs
lola: 51703646 markings, 139641505 edges, 26010 markings/sec, 1825 secs
lola: 51831014 markings, 140004347 edges, 25474 markings/sec, 1830 secs
lola: 51959553 markings, 140368769 edges, 25708 markings/sec, 1835 secs
lola: 52086423 markings, 140742434 edges, 25374 markings/sec, 1840 secs
lola: 52212224 markings, 141095022 edges, 25160 markings/sec, 1845 secs
lola: 52339707 markings, 141471622 edges, 25497 markings/sec, 1850 secs
lola: 52466696 markings, 141839100 edges, 25398 markings/sec, 1855 secs
lola: 52594600 markings, 142200084 edges, 25581 markings/sec, 1860 secs
lola: 52723536 markings, 142568225 edges, 25787 markings/sec, 1865 secs
lola: 52846301 markings, 142921053 edges, 24553 markings/sec, 1870 secs
lola: 52975180 markings, 143293581 edges, 25776 markings/sec, 1875 secs
lola: 53102321 markings, 143648990 edges, 25428 markings/sec, 1880 secs
lola: 53231366 markings, 144003871 edges, 25809 markings/sec, 1885 secs
lola: 53359974 markings, 144376965 edges, 25722 markings/sec, 1890 secs
lola: 53489783 markings, 144759722 edges, 25962 markings/sec, 1895 secs
lola: 53620218 markings, 145158106 edges, 26087 markings/sec, 1900 secs
lola: 53748301 markings, 145530150 edges, 25617 markings/sec, 1905 secs
lola: 53878868 markings, 145913865 edges, 26113 markings/sec, 1910 secs
lola: 54005521 markings, 146273370 edges, 25331 markings/sec, 1915 secs
lola: 54134886 markings, 146634042 edges, 25873 markings/sec, 1920 secs
lola: 54260679 markings, 146982845 edges, 25159 markings/sec, 1925 secs
lola: 54390549 markings, 147352827 edges, 25974 markings/sec, 1930 secs
lola: 54509524 markings, 147695798 edges, 23795 markings/sec, 1935 secs
lola: 54639019 markings, 148062420 edges, 25899 markings/sec, 1940 secs
lola: 54766351 markings, 148433195 edges, 25466 markings/sec, 1945 secs
lola: 54895407 markings, 148795930 edges, 25811 markings/sec, 1950 secs
lola: 55021004 markings, 149159019 edges, 25119 markings/sec, 1955 secs
lola: 55151932 markings, 149532378 edges, 26186 markings/sec, 1960 secs
lola: 55277087 markings, 149882860 edges, 25031 markings/sec, 1965 secs
lola: 55406569 markings, 150259592 edges, 25896 markings/sec, 1970 secs
lola: 55533579 markings, 150634667 edges, 25402 markings/sec, 1975 secs
lola: 55663634 markings, 151000550 edges, 26011 markings/sec, 1980 secs
lola: 55789403 markings, 151362571 edges, 25154 markings/sec, 1985 secs
lola: 55917721 markings, 151719073 edges, 25664 markings/sec, 1990 secs
lola: 56043376 markings, 152078493 edges, 25131 markings/sec, 1995 secs
lola: 56173075 markings, 152448886 edges, 25940 markings/sec, 2000 secs
lola: 56299668 markings, 152812460 edges, 25319 markings/sec, 2005 secs
lola: 56428478 markings, 153185274 edges, 25762 markings/sec, 2010 secs
lola: 56556983 markings, 153561845 edges, 25701 markings/sec, 2015 secs
lola: 56687815 markings, 153936134 edges, 26166 markings/sec, 2020 secs
lola: 56815965 markings, 154306268 edges, 25630 markings/sec, 2025 secs
lola: 56947878 markings, 154693955 edges, 26383 markings/sec, 2030 secs
lola: 57076045 markings, 155052765 edges, 25633 markings/sec, 2035 secs
lola: 57206836 markings, 155418649 edges, 26158 markings/sec, 2040 secs
lola: 57334668 markings, 155779869 edges, 25566 markings/sec, 2045 secs
lola: 57464610 markings, 156153325 edges, 25988 markings/sec, 2050 secs
lola: 57591798 markings, 156526819 edges, 25438 markings/sec, 2055 secs
lola: 57722611 markings, 156914285 edges, 26163 markings/sec, 2060 secs
lola: 57852098 markings, 157292692 edges, 25897 markings/sec, 2065 secs
lola: 57981411 markings, 157664200 edges, 25863 markings/sec, 2070 secs
lola: 58111048 markings, 158032638 edges, 25927 markings/sec, 2075 secs
lola: 58241817 markings, 158411898 edges, 26154 markings/sec, 2080 secs
lola: 58372132 markings, 158788148 edges, 26063 markings/sec, 2085 secs
lola: 58501832 markings, 159163656 edges, 25940 markings/sec, 2090 secs
lola: 58631211 markings, 159533142 edges, 25876 markings/sec, 2095 secs
lola: 58759556 markings, 159889248 edges, 25669 markings/sec, 2100 secs
lola: 58889493 markings, 160269530 edges, 25987 markings/sec, 2105 secs
lola: 59019078 markings, 160644681 edges, 25917 markings/sec, 2110 secs
lola: 59148580 markings, 161020378 edges, 25900 markings/sec, 2115 secs
lola: 59275090 markings, 161387600 edges, 25302 markings/sec, 2120 secs
lola: 59401239 markings, 161744513 edges, 25230 markings/sec, 2125 secs
lola: 59527696 markings, 162109895 edges, 25291 markings/sec, 2130 secs
lola: 59651997 markings, 162480721 edges, 24860 markings/sec, 2135 secs
lola: 59776509 markings, 162847967 edges, 24902 markings/sec, 2140 secs
lola: 59902234 markings, 163211571 edges, 25145 markings/sec, 2145 secs
lola: 60030916 markings, 163584410 edges, 25736 markings/sec, 2150 secs
lola: 60159785 markings, 163955894 edges, 25774 markings/sec, 2155 secs
lola: 60288838 markings, 164329337 edges, 25811 markings/sec, 2160 secs
lola: 60417226 markings, 164708099 edges, 25678 markings/sec, 2165 secs
lola: 60544144 markings, 165071202 edges, 25384 markings/sec, 2170 secs
lola: 60671611 markings, 165439166 edges, 25493 markings/sec, 2175 secs
lola: 60801463 markings, 165807781 edges, 25970 markings/sec, 2180 secs
lola: 60927125 markings, 166184017 edges, 25132 markings/sec, 2185 secs
lola: 61053934 markings, 166546520 edges, 25362 markings/sec, 2190 secs
lola: 61177152 markings, 166903755 edges, 24644 markings/sec, 2195 secs
lola: time limit reached - aborting
lola:
preliminary result: 1 1 1 1 1 10 unknown 1 1 unknown 1 unknown 10 10 10
lola:
preliminary result: 1 1 1 1 1 10 unknown 1 1 unknown 1 unknown 10 10 10
lola: memory consumption: 5840916 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: 1 1 1 1 1 10 unknown 1 1 unknown 1 unknown 10 10 10
lola: memory consumption: 5841148 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

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

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="SafeBus-COL-10"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="itslola"
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-4028"
echo " Executing tool itslola"
echo " Input is SafeBus-COL-10, 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 r186-oct2-158987938900357"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/SafeBus-COL-10.tgz
mv SafeBus-COL-10 execution
cd execution
if [ "UpperBounds" = "ReachabilityDeadlock" ] || [ "UpperBounds" = "UpperBounds" ] || [ "UpperBounds" = "QuasiLiveness" ] || [ "UpperBounds" = "StableMarking" ] || [ "UpperBounds" = "Liveness" ] || [ "UpperBounds" = "OneSafe" ] || [ "UpperBounds" = "StateSpace" ]; 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
elif [ "UpperBounds" = "ReachabilityDeadlock" ] || [ "UpperBounds" = "QuasiLiveness" ] || [ "UpperBounds" = "StableMarking" ] || [ "UpperBounds" = "Liveness" ] || [ "UpperBounds" = "OneSafe" ] ; then
echo "FORMULA_NAME UpperBounds"
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 ;