About the Execution of 2018-Gold for Peterson-COL-4
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 6510.000 | 3570586.00 | 3698089.00 | 344.30 | 4 5 5 5 5 5 5 5 5 ? 5 ? 5 4 4 5 | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fko/mcc2019-input.r110-oct2-155272242400163.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2019-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..............................................................
=====================================================================
Generated by BenchKit 2-3954
Executing tool win2018
Input is Peterson-COL-4, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r110-oct2-155272242400163
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 192K
-rw-r--r-- 1 mcc users 3.8K Feb 12 04:15 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Feb 12 04:15 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 8 03:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K Feb 8 03:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 101 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 339 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.4K Feb 5 00:24 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K Feb 5 00:24 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Feb 4 22:37 LTLFireability.txt
-rw-r--r-- 1 mcc users 11K Feb 4 22:37 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Feb 4 07:58 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Feb 4 07:58 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Feb 1 02:15 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Feb 1 02:15 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 4 22:22 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 4 22:22 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Jan 29 09:34 equiv_pt
-rw-r--r-- 1 mcc users 2 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 5 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 44K Mar 10 17:31 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of positive values
NUM_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME Peterson-COL-4-UpperBounds-00
FORMULA_NAME Peterson-COL-4-UpperBounds-01
FORMULA_NAME Peterson-COL-4-UpperBounds-02
FORMULA_NAME Peterson-COL-4-UpperBounds-03
FORMULA_NAME Peterson-COL-4-UpperBounds-04
FORMULA_NAME Peterson-COL-4-UpperBounds-05
FORMULA_NAME Peterson-COL-4-UpperBounds-06
FORMULA_NAME Peterson-COL-4-UpperBounds-07
FORMULA_NAME Peterson-COL-4-UpperBounds-08
FORMULA_NAME Peterson-COL-4-UpperBounds-09
FORMULA_NAME Peterson-COL-4-UpperBounds-10
FORMULA_NAME Peterson-COL-4-UpperBounds-11
FORMULA_NAME Peterson-COL-4-UpperBounds-12
FORMULA_NAME Peterson-COL-4-UpperBounds-13
FORMULA_NAME Peterson-COL-4-UpperBounds-14
FORMULA_NAME Peterson-COL-4-UpperBounds-15
=== Now, execution of the tool begins
BK_START 1553040409477
info: Time: 3600 - MCC
===========================================================================================
prep: translating Peterson-COL-4 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating COL Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating Peterson-COL-4 formula UpperBounds into LoLA format
===========================================================================================
prep: translating COL formula complete
vrfy: Checking UpperBounds @ Peterson-COL-4 @ 3570 seconds
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 1230/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 16000
lola: finding significant places
lola: 500 places, 730 transitions, 481 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1135 transition conflict sets
lola: TASK
lola: reading formula from Peterson-COL-4-UpperBounds.task
lola: place invariant simplifies atomic proposition
lola: before: (p130 + p131 + p132 + p133 + p135 + p136 + p137 + p138 + p140 + p141 + p142 + p143 + p145 + p146 + p147 + p148 + p149 + p144 + p139 + p134 <= 0)
lola: after: (4 <= 0)
lola: always false
lola: place invariant simplifies atomic proposition
lola: before: (p120 + p122 + p124 + p126 + p128 + p129 + p127 + p125 + p123 + p121 <= 0)
lola: after: (5 <= 0)
lola: always false
lola: place invariant simplifies atomic proposition
lola: before: (p120 + p122 + p124 + p126 + p128 + p129 + p127 + p125 + p123 + p121 <= 0)
lola: after: (5 <= 0)
lola: always false
lola: place invariant simplifies atomic proposition
lola: before: (p130 + p131 + p132 + p133 + p135 + p136 + p137 + p138 + p140 + p141 + p142 + p143 + p145 + p146 + p147 + p148 + p149 + p144 + p139 + p134 <= 0)
lola: after: (4 <= 0)
lola: always false
lola: place invariant simplifies atomic proposition
lola: before: (p130 + p131 + p132 + p133 + p135 + p136 + p137 + p138 + p140 + p141 + p142 + p143 + p145 + p146 + p147 + p148 + p149 + p144 + p139 + p134 <= 0)
lola: after: (4 <= 0)
lola: always false
lola: place invariant simplifies atomic proposition
lola: before: (p120 + p122 + p124 + p126 + p128 + p129 + p127 + p125 + p123 + p121 <= 0)
lola: after: (5 <= 0)
lola: always false
lola: MAX(0) : MAX(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 + p231 + p232 + p233 + p234 + p235 + p236 + p237 + p238 + p239 + p240 + p241 + p242 + p243 + p244 + p245 + p246 + p247 + p248 + p249 + p250 + p251 + p252 + p253 + p254 + p255 + p256 + p257 + p258 + p259 + p260 + p261 + p262 + p263 + p264 + p265 + p266 + p267 + p268 + p269) : MAX(p480 + p481 + p482 + p483 + p484 + p485 + p486 + p487 + p488 + p489 + p490 + p491 + p492 + p493 + p494 + p495 + p496 + p497 + p498 + p499) : MAX(p150 + p151 + p152 + p153 + p154 + p155 + p156 + p157 + p158 + p159 + p160 + p161 + p162 + p163 + p164 + p165 + p166 + p167 + p168 + p169) : MAX(p479 + p478 + p477 + p476 + p475) : MAX(p480 + p481 + p482 + p483 + p484 + p485 + p486 + p487 + p488 + p489 + p490 + p491 + p492 + p493 + p494 + p495 + p496 + p497 + p498 + p499) : MAX(0) : MAX(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 + p231 + p232 + p233 + p234 + p235 + p236 + p237 + p238 + p239 + p240 + p241 + p242 + p243 + p244 + p245 + p246 + p247 + p248 + p249 + p250 + p251 + p252 + p253 + p254 + p255 + p256 + p257 + p258 + p259 + p260 + p261 + p262 + p263 + p264 + p265 + p266 + p267 + p268 + p269) : MAX(p275 + p276 + p277 + p278 + p279 + p280 + p281 + p282 + p283 + p284 + p285 + p286 + p287 + p288 + p289 + p290 + p291 + p292 + p293 + p294 + p295 + p296 + p297 + p298 + p299 + p300 + p301 + p302 + p303 + p304 + p305 + p306 + p307 + p308 + p309 + p310 + p311 + p312 + p313 + p314 + p315 + p316 + p317 + p318 + p319 + p320 + p321 + p322 + p323 + p324 + p325 + p326 + p327 + p328 + p329 + p330 + p331 + p332 + p333 + p334 + p335 + p336 + p337 + p338 + p339 + p340 + p341 + p342 + p343 + p344 + p345 + p346 + p347 + p348 + p349 + p350 + p351 + p352 + p353 + p354 + p355 + p356 + p357 + p358 + p359 + p360 + p361 + p362 + p363 + p364 + p365 + p366 + p367 + p368 + p369 + p370 + p371 + p372 + p373 + p374) : MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19) : MAX(0) : MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19) : MAX(p275 + p276 + p277 + p278 + p279 + p280 + p281 + p282 + p283 + p284 + p285 + p286 + p287 + p288 + p289 + p290 + p291 + p292 + p293 + p294 + p295 + p296 + p297 + p298 + p299 + p300 + p301 + p302 + p303 + p304 + p305 + p306 + p307 + p308 + p309 + p310 + p311 + p312 + p313 + p314 + p315 + p316 + p317 + p318 + p319 + p320 + p321 + p322 + p323 + p324 + p325 + p326 + p327 + p328 + p329 + p330 + p331 + p332 + p333 + p334 + p335 + p336 + p337 + p338 + p339 + p340 + p341 + p342 + p343 + p344 + p345 + p346 + p347 + p348 + p349 + p350 + p351 + p352 + p353 + p354 + p355 + p356 + p357 + p358 + p359 + p360 + p361 + p362 + p363 + p364 + p365 + p366 + p367 + p368 + p369 + p370 + p371 + p372 + p373 + p374) : MAX(0) : MAX(0) : MAX(0)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(0)
lola: processed formula length: 6
lola: 0 rewrites
lola: closed formula file Peterson-COL-4-UpperBounds.task
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: 4
lola: SUBRESULT
lola: result: 4
lola: produced by: state space
lola: The maximum value of the given expression is 4
lola: 0 markings, 0 edges
lola: ========================================
FORMULA Peterson-COL-4-UpperBounds-0 4 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 238 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(0)
lola: processed formula length: 6
lola: 0 rewrites
lola: closed formula file Peterson-COL-4-UpperBounds.task
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: 5
lola: SUBRESULT
lola: result: 5
lola: produced by: state space
lola: The maximum value of the given expression is 5
lola: 0 markings, 0 edges
lola: ========================================
FORMULA Peterson-COL-4-UpperBounds-6 5 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 255 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(0)
lola: processed formula length: 6
lola: 0 rewrites
lola: closed formula file Peterson-COL-4-UpperBounds.task
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: 5
lola: SUBRESULT
lola: result: 5
lola: produced by: state space
lola: The maximum value of the given expression is 5
lola: 0 markings, 0 edges
lola: ========================================
FORMULA Peterson-COL-4-UpperBounds-10 5 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(0)
lola: processed formula length: 6
lola: 0 rewrites
lola: closed formula file Peterson-COL-4-UpperBounds.task
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: 4
lola: SUBRESULT
lola: result: 4
lola: produced by: state space
lola: The maximum value of the given expression is 4
lola: 0 markings, 0 edges
lola: ========================================
FORMULA Peterson-COL-4-UpperBounds-13 4 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(0)
lola: processed formula length: 6
lola: 0 rewrites
lola: closed formula file Peterson-COL-4-UpperBounds.task
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: 4
lola: SUBRESULT
lola: result: 4
lola: produced by: state space
lola: The maximum value of the given expression is 4
lola: 0 markings, 0 edges
lola: ========================================
FORMULA Peterson-COL-4-UpperBounds-14 4 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(0)
lola: processed formula length: 6
lola: 0 rewrites
lola: closed formula file Peterson-COL-4-UpperBounds.task
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: 5
lola: SUBRESULT
lola: result: 5
lola: produced by: state space
lola: The maximum value of the given expression is 5
lola: 0 markings, 0 edges
FORMULA Peterson-COL-4-UpperBounds-15 5 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 357 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p479 + p478 + p477 + p476 + p475)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p479 + p478 + p477 + p476 + p475)
lola: processed formula length: 37
lola: 0 rewrites
lola: closed formula file Peterson-COL-4-UpperBounds.task
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: ========================================
lola: Structural Bound: 5
lola: SUBRESULT
lola: result: 5
lola: produced by: state space
lola: The maximum value of the given expression is 5
lola: 0 markings, 0 edges
lola: ========================================
FORMULA Peterson-COL-4-UpperBounds-4 5 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 396 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p480 + p481 + p482 + p483 + p484 + p485 + p486 + p487 + p488 + p489 + p490 + p491 + p492 + p493 + p494 + p495 + p496 + p497 + p498 + p499)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p480 + p481 + p482 + p483 + p484 + p485 + p486 + p487 + p488 + p489 + p490 + p491 + p492 + p493 + p494 + p495 + p496 + p497 + p498 + p499)
lola: processed formula length: 142
lola: 0 rewrites
lola: closed formula file Peterson-COL-4-UpperBounds.task
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: 5
lola: SUBRESULT
lola: result: 5
lola: produced by: state space
lola: The maximum value of the given expression is 5
lola: 6 markings, 5 edges
lola: ========================================
FORMULA Peterson-COL-4-UpperBounds-2 5 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 446 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19)
lola: processed formula length: 112
lola: 0 rewrites
lola: closed formula file Peterson-COL-4-UpperBounds.task
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: 5
lola: 236261 markings, 1130458 edges, 47252 markings/sec, 0 secs
lola: 464482 markings, 2270619 edges, 45644 markings/sec, 5 secs
lola: 694228 markings, 3421359 edges, 45949 markings/sec, 10 secs
lola: 915265 markings, 4576133 edges, 44207 markings/sec, 15 secs
lola: 1149518 markings, 5696347 edges, 46851 markings/sec, 20 secs
lola: 1372033 markings, 6830481 edges, 44503 markings/sec, 25 secs
lola: 1600887 markings, 7956800 edges, 45771 markings/sec, 30 secs
lola: 1822276 markings, 9111114 edges, 44278 markings/sec, 35 secs
lola: 2057143 markings, 10235522 edges, 46973 markings/sec, 40 secs
lola: 2285970 markings, 11377302 edges, 45765 markings/sec, 45 secs
lola: 2512518 markings, 12508647 edges, 45310 markings/sec, 50 secs
lola: 2735702 markings, 13626403 edges, 44637 markings/sec, 55 secs
lola: 2962586 markings, 14764912 edges, 45377 markings/sec, 60 secs
lola: 3188323 markings, 15888174 edges, 45147 markings/sec, 65 secs
lola: 3414052 markings, 17013820 edges, 45146 markings/sec, 70 secs
lola: 3637584 markings, 18135887 edges, 44706 markings/sec, 75 secs
lola: 3856830 markings, 19284056 edges, 43849 markings/sec, 80 secs
lola: 4085481 markings, 20427206 edges, 45730 markings/sec, 85 secs
lola: 4313503 markings, 21567341 edges, 45604 markings/sec, 90 secs
lola: 4537969 markings, 22689609 edges, 44893 markings/sec, 95 secs
lola: 4766013 markings, 23829908 edges, 45609 markings/sec, 100 secs
lola: 4993027 markings, 24964948 edges, 45403 markings/sec, 105 secs
lola: 5218095 markings, 26090303 edges, 45014 markings/sec, 110 secs
lola: 5446098 markings, 27230399 edges, 45601 markings/sec, 115 secs
lola: 5674885 markings, 28374188 edges, 45757 markings/sec, 120 secs
lola: 5906952 markings, 29534524 edges, 46413 markings/sec, 125 secs
lola: 6138271 markings, 30691042 edges, 46264 markings/sec, 130 secs
lola: 6366331 markings, 31831537 edges, 45612 markings/sec, 135 secs
lola: 6593276 markings, 32966089 edges, 45389 markings/sec, 140 secs
lola: 6819857 markings, 34099030 edges, 45316 markings/sec, 145 secs
lola: 7047671 markings, 35238243 edges, 45563 markings/sec, 150 secs
lola: 7275577 markings, 36377452 edges, 45581 markings/sec, 155 secs
lola: 7501527 markings, 37507506 edges, 45190 markings/sec, 160 secs
lola: 7728052 markings, 38640029 edges, 45305 markings/sec, 165 secs
lola: 7956690 markings, 39782855 edges, 45728 markings/sec, 170 secs
lola: 8184462 markings, 40922068 edges, 45554 markings/sec, 175 secs
lola: 8410189 markings, 42050761 edges, 45145 markings/sec, 180 secs
lola: 8635141 markings, 43175556 edges, 44990 markings/sec, 185 secs
lola: 8860132 markings, 44300324 edges, 44998 markings/sec, 190 secs
lola: 9084648 markings, 45423088 edges, 44903 markings/sec, 195 secs
lola: 9307774 markings, 46538520 edges, 44625 markings/sec, 200 secs
lola: 9529810 markings, 47648749 edges, 44407 markings/sec, 205 secs
lola: 9755763 markings, 48778618 edges, 45191 markings/sec, 210 secs
lola: 9980948 markings, 49904521 edges, 45037 markings/sec, 215 secs
lola: 10204613 markings, 51022765 edges, 44733 markings/sec, 220 secs
lola: 10428325 markings, 52141395 edges, 44742 markings/sec, 225 secs
lola: 10657605 markings, 53287851 edges, 45856 markings/sec, 230 secs
lola: 10886395 markings, 54431882 edges, 45758 markings/sec, 235 secs
lola: 11111526 markings, 55557411 edges, 45026 markings/sec, 240 secs
lola: 11335204 markings, 56675699 edges, 44736 markings/sec, 245 secs
lola: 11556683 markings, 57783198 edges, 44296 markings/sec, 250 secs
lola: 11779570 markings, 58897293 edges, 44577 markings/sec, 255 secs
lola: 12002601 markings, 60012826 edges, 44606 markings/sec, 260 secs
lola: 12226617 markings, 61132993 edges, 44803 markings/sec, 265 secs
lola: 12448744 markings, 62243513 edges, 44425 markings/sec, 270 secs
lola: 12671876 markings, 63359300 edges, 44626 markings/sec, 275 secs
lola: 12893580 markings, 64467732 edges, 44341 markings/sec, 280 secs
lola: 13117368 markings, 65586755 edges, 44758 markings/sec, 285 secs
lola: 13339039 markings, 66695062 edges, 44334 markings/sec, 290 secs
lola: 13561045 markings, 67805115 edges, 44401 markings/sec, 295 secs
lola: 13783484 markings, 68916904 edges, 44488 markings/sec, 300 secs
lola: 14005893 markings, 70028970 edges, 44482 markings/sec, 305 secs
lola: 14226743 markings, 71133538 edges, 44170 markings/sec, 310 secs
lola: 14450985 markings, 72254742 edges, 44848 markings/sec, 315 secs
lola: 14673499 markings, 73367403 edges, 44503 markings/sec, 320 secs
lola: 14897399 markings, 74486801 edges, 44780 markings/sec, 325 secs
lola: 15121977 markings, 75609697 edges, 44916 markings/sec, 330 secs
lola: 15345039 markings, 76725071 edges, 44612 markings/sec, 335 secs
lola: 15566232 markings, 77831069 edges, 44239 markings/sec, 340 secs
lola: 15787584 markings, 78937716 edges, 44270 markings/sec, 345 secs
lola: 16010169 markings, 80050737 edges, 44517 markings/sec, 350 secs
lola: 16233156 markings, 81165564 edges, 44597 markings/sec, 355 secs
lola: 16455241 markings, 82275989 edges, 44417 markings/sec, 360 secs
lola: 16676520 markings, 83382312 edges, 44256 markings/sec, 365 secs
lola: 16899904 markings, 84499442 edges, 44677 markings/sec, 370 secs
lola: 17122537 markings, 85612623 edges, 44527 markings/sec, 375 secs
lola: 17345620 markings, 86727772 edges, 44617 markings/sec, 380 secs
lola: 17566694 markings, 87833302 edges, 44215 markings/sec, 385 secs
lola: 17788153 markings, 88940583 edges, 44292 markings/sec, 390 secs
lola: 18009363 markings, 90046711 edges, 44242 markings/sec, 395 secs
lola: 18235711 markings, 91178452 edges, 45270 markings/sec, 400 secs
lola: 18458529 markings, 92292567 edges, 44564 markings/sec, 405 secs
lola: 18678455 markings, 93392003 edges, 43985 markings/sec, 410 secs
lola: 18900136 markings, 94500567 edges, 44336 markings/sec, 415 secs
lola: 19120715 markings, 95603411 edges, 44116 markings/sec, 420 secs
lola: 19340557 markings, 96702630 edges, 43968 markings/sec, 425 secs
lola: 19560224 markings, 97800840 edges, 43933 markings/sec, 430 secs
lola: 19778039 markings, 98889436 edges, 43563 markings/sec, 435 secs
lola: 19996193 markings, 99980656 edges, 43631 markings/sec, 440 secs
lola: local time limit reached - aborting
lola:
preliminary result: 4 unknown 5 unknown 5 unknown 5 unknown unknown unknown 5 unknown unknown 4 4 5
lola: memory consumption: 1280248 KB
lola: time consumption: 447 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 446 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p480 + p481 + p482 + p483 + p484 + p485 + p486 + p487 + p488 + p489 + p490 + p491 + p492 + p493 + p494 + p495 + p496 + p497 + p498 + p499)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p480 + p481 + p482 + p483 + p484 + p485 + p486 + p487 + p488 + p489 + p490 + p491 + p492 + p493 + p494 + p495 + p496 + p497 + p498 + p499)
lola: processed formula length: 142
lola: 0 rewrites
lola: closed formula file Peterson-COL-4-UpperBounds.task
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: 5
lola: SUBRESULT
lola: result: 5
lola: produced by: state space
lola: The maximum value of the given expression is 5
lola: 6 markings, 5 edges
lola: ========================================
FORMULA Peterson-COL-4-UpperBounds-5 5 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 520 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p150 + p151 + p152 + p153 + p154 + p155 + p156 + p157 + p158 + p159 + p160 + p161 + p162 + p163 + p164 + p165 + p166 + p167 + p168 + p169)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p150 + p151 + p152 + p153 + p154 + p155 + p156 + p157 + p158 + p159 + p160 + p161 + p162 + p163 + p164 + p165 + p166 + p167 + p168 + p169)
lola: processed formula length: 142
lola: 0 rewrites
lola: closed formula file Peterson-COL-4-UpperBounds.task
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: 5
lola: SUBRESULT
lola: result: 5
lola: produced by: state space
lola: The maximum value of the given expression is 5
lola: 11 markings, 10 edges
lola: ========================================
FORMULA Peterson-COL-4-UpperBounds-3 5 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 624 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19)
lola: processed formula length: 112
lola: 0 rewrites
lola: closed formula file Peterson-COL-4-UpperBounds.task
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: 5
lola: 240269 markings, 1150616 edges, 48054 markings/sec, 0 secs
lola: 473812 markings, 2317294 edges, 46709 markings/sec, 5 secs
lola: 705546 markings, 3477884 edges, 46347 markings/sec, 10 secs
lola: 936367 markings, 4631638 edges, 46164 markings/sec, 15 secs
lola: 1168168 markings, 5789210 edges, 46360 markings/sec, 20 secs
lola: 1396598 markings, 6936716 edges, 45686 markings/sec, 25 secs
lola: 1626687 markings, 8085741 edges, 46018 markings/sec, 30 secs
lola: 1849532 markings, 9247547 edges, 44569 markings/sec, 35 secs
lola: 2085803 markings, 10379117 edges, 47254 markings/sec, 40 secs
lola: 2315363 markings, 11527108 edges, 45912 markings/sec, 45 secs
lola: 2542408 markings, 12658619 edges, 45409 markings/sec, 50 secs
lola: 2768183 markings, 13788702 edges, 45155 markings/sec, 55 secs
lola: 2995514 markings, 14927501 edges, 45466 markings/sec, 60 secs
lola: 3223003 markings, 16061720 edges, 45498 markings/sec, 65 secs
lola: 3442271 markings, 17200199 edges, 43854 markings/sec, 70 secs
lola: 3671023 markings, 18303985 edges, 45750 markings/sec, 75 secs
lola: 3892454 markings, 19462042 edges, 44286 markings/sec, 80 secs
lola: 4124004 markings, 20619881 edges, 46310 markings/sec, 85 secs
lola: 4355533 markings, 21777418 edges, 46306 markings/sec, 90 secs
lola: 4583925 markings, 22919366 edges, 45678 markings/sec, 95 secs
lola: 4809628 markings, 24048047 edges, 45141 markings/sec, 100 secs
lola: 5031531 markings, 25157547 edges, 44381 markings/sec, 105 secs
lola: 5252823 markings, 26263943 edges, 44258 markings/sec, 110 secs
lola: 5483064 markings, 27415156 edges, 46048 markings/sec, 115 secs
lola: 5706927 markings, 28534389 edges, 44773 markings/sec, 120 secs
lola: 5935755 markings, 29678637 edges, 45766 markings/sec, 125 secs
lola: 6167668 markings, 30838182 edges, 46383 markings/sec, 130 secs
lola: 6391162 markings, 31955730 edges, 44699 markings/sec, 135 secs
lola: 6619650 markings, 33097755 edges, 45698 markings/sec, 140 secs
lola: 6847046 markings, 34235139 edges, 45479 markings/sec, 145 secs
lola: 7076472 markings, 35382231 edges, 45885 markings/sec, 150 secs
lola: 7304700 markings, 36523373 edges, 45646 markings/sec, 155 secs
lola: 7531981 markings, 37659779 edges, 45456 markings/sec, 160 secs
lola: 7759216 markings, 38795904 edges, 45447 markings/sec, 165 secs
lola: 7988782 markings, 39943636 edges, 45913 markings/sec, 170 secs
lola: 8218112 markings, 41090185 edges, 45866 markings/sec, 175 secs
lola: 8444327 markings, 42221357 edges, 45243 markings/sec, 180 secs
lola: 8670586 markings, 43352847 edges, 45252 markings/sec, 185 secs
lola: 8897405 markings, 44486830 edges, 45364 markings/sec, 190 secs
lola: 9133864 markings, 45669172 edges, 47292 markings/sec, 195 secs
lola: 9368059 markings, 46840188 edges, 46839 markings/sec, 200 secs
lola: 9604669 markings, 48023152 edges, 47322 markings/sec, 205 secs
lola: 9831699 markings, 49157890 edges, 45406 markings/sec, 210 secs
lola: 10051004 markings, 50254466 edges, 43861 markings/sec, 215 secs
lola: 10278358 markings, 51391579 edges, 45471 markings/sec, 220 secs
lola: 10497081 markings, 52485192 edges, 43745 markings/sec, 225 secs
lola: 10721663 markings, 53608104 edges, 44916 markings/sec, 230 secs
lola: 10942089 markings, 54710353 edges, 44085 markings/sec, 235 secs
lola: 11163226 markings, 55815908 edges, 44227 markings/sec, 240 secs
lola: 11398785 markings, 56993843 edges, 47112 markings/sec, 245 secs
lola: 11629413 markings, 58146916 edges, 46126 markings/sec, 250 secs
lola: 11864399 markings, 59321869 edges, 46997 markings/sec, 255 secs
lola: 12101580 markings, 60507812 edges, 47436 markings/sec, 260 secs
lola: 12337730 markings, 61688498 edges, 47230 markings/sec, 265 secs
lola: 12571220 markings, 62855946 edges, 46698 markings/sec, 270 secs
lola: 12799102 markings, 63995408 edges, 45576 markings/sec, 275 secs
lola: 13029852 markings, 65149010 edges, 46150 markings/sec, 280 secs
lola: 13263622 markings, 66317297 edges, 46754 markings/sec, 285 secs
lola: 13497374 markings, 67486742 edges, 46750 markings/sec, 290 secs
lola: 13729546 markings, 68647383 edges, 46434 markings/sec, 295 secs
lola: 13963596 markings, 69817441 edges, 46810 markings/sec, 300 secs
lola: 14191340 markings, 70956271 edges, 45549 markings/sec, 305 secs
lola: 14416995 markings, 72084404 edges, 45131 markings/sec, 310 secs
lola: 14649444 markings, 73247137 edges, 46490 markings/sec, 315 secs
lola: 14884199 markings, 74420504 edges, 46951 markings/sec, 320 secs
lola: 15121858 markings, 75609123 edges, 47532 markings/sec, 325 secs
lola: 15358864 markings, 76794165 edges, 47401 markings/sec, 330 secs
lola: 15593203 markings, 77965852 edges, 46868 markings/sec, 335 secs
lola: 15825653 markings, 79128001 edges, 46490 markings/sec, 340 secs
lola: 16052837 markings, 80263277 edges, 45437 markings/sec, 345 secs
lola: 16282463 markings, 81412132 edges, 45925 markings/sec, 350 secs
lola: 16515372 markings, 82576666 edges, 46582 markings/sec, 355 secs
lola: 16745727 markings, 83728474 edges, 46071 markings/sec, 360 secs
lola: 16979575 markings, 84897770 edges, 46770 markings/sec, 365 secs
lola: 17212961 markings, 86064743 edges, 46677 markings/sec, 370 secs
lola: 17444956 markings, 87224693 edges, 46399 markings/sec, 375 secs
lola: 17675604 markings, 88377878 edges, 46130 markings/sec, 380 secs
lola: 17904234 markings, 89521020 edges, 45726 markings/sec, 385 secs
lola: 18134552 markings, 90672663 edges, 46064 markings/sec, 390 secs
lola: 18367905 markings, 91839425 edges, 46671 markings/sec, 395 secs
lola: 18598855 markings, 92994125 edges, 46190 markings/sec, 400 secs
lola: 18824256 markings, 94121166 edges, 45080 markings/sec, 405 secs
lola: 19046534 markings, 95232590 edges, 44456 markings/sec, 410 secs
lola: 19269567 markings, 96347717 edges, 44607 markings/sec, 415 secs
lola: 19489947 markings, 97449460 edges, 44076 markings/sec, 420 secs
lola: 19707639 markings, 98538032 edges, 43538 markings/sec, 425 secs
lola: 19931119 markings, 99655279 edges, 44696 markings/sec, 430 secs
lola: 20149380 markings, 100746705 edges, 43652 markings/sec, 435 secs
lola: 20366622 markings, 101832980 edges, 43448 markings/sec, 440 secs
lola: 20581679 markings, 102908212 edges, 43011 markings/sec, 445 secs
lola: 20797932 markings, 103989213 edges, 43251 markings/sec, 450 secs
lola: 21013521 markings, 105067455 edges, 43118 markings/sec, 455 secs
lola: 21229858 markings, 106149102 edges, 43267 markings/sec, 460 secs
lola: 21443890 markings, 107219229 edges, 42806 markings/sec, 465 secs
lola: 21661535 markings, 108306564 edges, 43529 markings/sec, 470 secs
lola: 21878001 markings, 109389914 edges, 43293 markings/sec, 475 secs
lola: 22093251 markings, 110466123 edges, 43050 markings/sec, 480 secs
lola: 22311718 markings, 111558482 edges, 43693 markings/sec, 485 secs
lola: 22536157 markings, 112680606 edges, 44888 markings/sec, 490 secs
lola: 22757818 markings, 113788973 edges, 44332 markings/sec, 495 secs
lola: 22974241 markings, 114870944 edges, 43285 markings/sec, 500 secs
lola: 23184125 markings, 115920379 edges, 41977 markings/sec, 505 secs
lola: 23393772 markings, 116968735 edges, 41929 markings/sec, 510 secs
lola: 23614774 markings, 118073592 edges, 44200 markings/sec, 515 secs
lola: 23832864 markings, 119164027 edges, 43618 markings/sec, 520 secs
lola: 24050322 markings, 120251441 edges, 43492 markings/sec, 525 secs
lola: 24265661 markings, 121328177 edges, 43068 markings/sec, 530 secs
lola: 24480388 markings, 122401618 edges, 42945 markings/sec, 535 secs
lola: 24698627 markings, 123492876 edges, 43648 markings/sec, 540 secs
lola: 24919548 markings, 124597646 edges, 44184 markings/sec, 545 secs
lola: 25134298 markings, 125671432 edges, 42950 markings/sec, 550 secs
lola: 25349804 markings, 126748700 edges, 43101 markings/sec, 555 secs
lola: 25558175 markings, 127790545 edges, 41674 markings/sec, 560 secs
lola: 25774830 markings, 128874038 edges, 43331 markings/sec, 565 secs
lola: 25992612 markings, 129962941 edges, 43556 markings/sec, 570 secs
lola: 26224061 markings, 131119941 edges, 46290 markings/sec, 575 secs
lola: 26444025 markings, 132220039 edges, 43993 markings/sec, 580 secs
lola: 26661938 markings, 133309607 edges, 43583 markings/sec, 585 secs
lola: 26888816 markings, 134443803 edges, 45376 markings/sec, 590 secs
lola: 27100806 markings, 135503738 edges, 42398 markings/sec, 595 secs
lola: 27314978 markings, 136574702 edges, 42834 markings/sec, 600 secs
lola: 27527296 markings, 137636334 edges, 42464 markings/sec, 605 secs
lola: 27740663 markings, 138703135 edges, 42673 markings/sec, 610 secs
lola: 27966534 markings, 139832550 edges, 45174 markings/sec, 615 secs
lola: local time limit reached - aborting
lola:
preliminary result: 4 unknown 5 5 5 5 5 unknown unknown unknown 5 unknown unknown 4 4 5
lola: memory consumption: 1761808 KB
lola: time consumption: 1071 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 624 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p275 + p276 + p277 + p278 + p279 + p280 + p281 + p282 + p283 + p284 + p285 + p286 + p287 + p288 + p289 + p290 + p291 + p292 + p293 + p294 + p295 + p296 + p297 + p298 + p299 + p300 + p301 + p302 + p303 + p304 + p305 + p306 + p307 + p308 + p309 + p310 + p311 + p312 + p313 + p314 + p315 + p316 + p317 + p318 + p319 + p320 + p321 + p322 + p323 + p324 + p325 + p326 + p327 + p328 + p329 + p330 + p331... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p275 + p276 + p277 + p278 + p279 + p280 + p281 + p282 + p283 + p284 + p285 + p286 + p287 + p288 + p289 + p290 + p291 + p292 + p293 + p294 + p295 + p296 + p297 + p298 + p299 + p300 + p301 + p302 + p303 + p304 + p305 + p306 + p307 + p308 + p309 + p310 + p311 + p312 + p313 + p314 + p315 + p316 + p317 + p318 + p319 + p320 + p321 + p322 + p323 + p324 + p325 + p326 + p327 + p328 + p329 + p330 + p331... (shortened)
lola: processed formula length: 702
lola: 0 rewrites
lola: closed formula file Peterson-COL-4-UpperBounds.task
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: 5
lola: SUBRESULT
lola: result: 5
lola: produced by: state space
lola: The maximum value of the given expression is 5
lola: 464 markings, 666 edges
FORMULA Peterson-COL-4-UpperBounds-12 5 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: lola: ========================================
subprocess 13 will run for 833 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(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... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(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... (shortened)
lola: processed formula length: 702
lola: 0 rewrites
lola: closed formula file Peterson-COL-4-UpperBounds.task
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: 5
lola: SUBRESULT
lola: result: 5
lola: produced by: state space
lola: The maximum value of the given expression is 5
lola: 16 markings, 15 edges
lola: ========================================
FORMULA Peterson-COL-4-UpperBounds-1 5 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1249 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(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... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(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... (shortened)
lola: processed formula length: 702
lola: 0 rewrites
lola: closed formula file Peterson-COL-4-UpperBounds.task
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: 5
lola: SUBRESULT
lola: result: 5
lola: produced by: state space
lola: The maximum value of the given expression is 5
lola: 16 markings, 15 edges
lola:
FORMULA Peterson-COL-4-UpperBounds-7 5 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 15 will run for 2499 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p275 + p276 + p277 + p278 + p279 + p280 + p281 + p282 + p283 + p284 + p285 + p286 + p287 + p288 + p289 + p290 + p291 + p292 + p293 + p294 + p295 + p296 + p297 + p298 + p299 + p300 + p301 + p302 + p303 + p304 + p305 + p306 + p307 + p308 + p309 + p310 + p311 + p312 + p313 + p314 + p315 + p316 + p317 + p318 + p319 + p320 + p321 + p322 + p323 + p324 + p325 + p326 + p327 + p328 + p329 + p330 + p331... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p275 + p276 + p277 + p278 + p279 + p280 + p281 + p282 + p283 + p284 + p285 + p286 + p287 + p288 + p289 + p290 + p291 + p292 + p293 + p294 + p295 + p296 + p297 + p298 + p299 + p300 + p301 + p302 + p303 + p304 + p305 + p306 + p307 + p308 + p309 + p310 + p311 + p312 + p313 + p314 + p315 + p316 + p317 + p318 + p319 + p320 + p321 + p322 + p323 + p324 + p325 + p326 + p327 + p328 + p329 + p330 + p331... (shortened)
lola: processed formula length: 702
lola: 0 rewrites
lola: closed formula file Peterson-COL-4-UpperBounds.task
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: 5
lola: SUBRESULT
lola: result: 5
lola: produced by: state space
lola: The maximum value of the given expression is 5
lola: 464 markings, 666 edges
lola: ========================================
FORMULA Peterson-COL-4-UpperBounds-8 5 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19)
lola: processed formula length: 112
lola: 0 rewrites
lola: closed formula file Peterson-COL-4-UpperBounds.task
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: 5
lola: 244276 markings, 1170575 edges, 48855 markings/sec, 0 secs
lola: 485379 markings, 2375218 edges, 48221 markings/sec, 5 secs
lola: 725478 markings, 3572553 edges, 48020 markings/sec, 10 secs
lola: 959878 markings, 4749672 edges, 46880 markings/sec, 15 secs
lola: 1186463 markings, 5875491 edges, 45317 markings/sec, 20 secs
lola: 1411862 markings, 7013284 edges, 45080 markings/sec, 25 secs
lola: 1640051 markings, 8152081 edges, 45638 markings/sec, 30 secs
lola: 1860625 markings, 9302921 edges, 44115 markings/sec, 35 secs
lola: 2101407 markings, 10457103 edges, 48156 markings/sec, 40 secs
lola: 2335756 markings, 11631000 edges, 46870 markings/sec, 45 secs
lola: 2562480 markings, 12758801 edges, 45345 markings/sec, 50 secs
lola: 2777586 markings, 13887694 edges, 43021 markings/sec, 55 secs
lola: 3008768 markings, 14993978 edges, 46236 markings/sec, 60 secs
lola: 3234351 markings, 16118471 edges, 45117 markings/sec, 65 secs
lola: 3457354 markings, 17237772 edges, 44601 markings/sec, 70 secs
lola: 3680761 markings, 18352700 edges, 44681 markings/sec, 75 secs
lola: 3901788 markings, 19508748 edges, 44205 markings/sec, 80 secs
lola: 4136814 markings, 20683850 edges, 47005 markings/sec, 85 secs
lola: 4366143 markings, 21830558 edges, 45866 markings/sec, 90 secs
lola: 4595616 markings, 22977797 edges, 45895 markings/sec, 95 secs
lola: 4824785 markings, 24123747 edges, 45834 markings/sec, 100 secs
lola: 5050640 markings, 25253124 edges, 45171 markings/sec, 105 secs
lola: 5275982 markings, 26379725 edges, 45068 markings/sec, 110 secs
lola: 5509175 markings, 27545792 edges, 46639 markings/sec, 115 secs
lola: 5747328 markings, 28736518 edges, 47631 markings/sec, 120 secs
lola: 5986454 markings, 29932174 edges, 47825 markings/sec, 125 secs
lola: 6223704 markings, 31118442 edges, 47450 markings/sec, 130 secs
lola: 6456491 markings, 32282302 edges, 46557 markings/sec, 135 secs
lola: 6690743 markings, 33453507 edges, 46850 markings/sec, 140 secs
lola: 6924103 markings, 34619731 edges, 46672 markings/sec, 145 secs
lola: 7159690 markings, 35798218 edges, 47117 markings/sec, 150 secs
lola: 7392327 markings, 36961422 edges, 46527 markings/sec, 155 secs
lola: 7625606 markings, 38127699 edges, 46656 markings/sec, 160 secs
lola: 7860421 markings, 39301917 edges, 46963 markings/sec, 165 secs
lola: 8095050 markings, 40475103 edges, 46926 markings/sec, 170 secs
lola: 8329267 markings, 41646171 edges, 46843 markings/sec, 175 secs
lola: 8561067 markings, 42805223 edges, 46360 markings/sec, 180 secs
lola: 8790217 markings, 43950931 edges, 45830 markings/sec, 185 secs
lola: 9014349 markings, 45071576 edges, 44826 markings/sec, 190 secs
lola: 9238332 markings, 46191587 edges, 44797 markings/sec, 195 secs
lola: 9460941 markings, 47304596 edges, 44522 markings/sec, 200 secs
lola: 9686127 markings, 48430318 edges, 45037 markings/sec, 205 secs
lola: 9910448 markings, 49552074 edges, 44864 markings/sec, 210 secs
lola: 10134757 markings, 50673650 edges, 44862 markings/sec, 215 secs
lola: 10358135 markings, 51790545 edges, 44676 markings/sec, 220 secs
lola: 10582724 markings, 52913379 edges, 44918 markings/sec, 225 secs
lola: 10808901 markings, 54044197 edges, 45235 markings/sec, 230 secs
lola: 11032823 markings, 55163801 edges, 44784 markings/sec, 235 secs
lola: 11255622 markings, 56277953 edges, 44560 markings/sec, 240 secs
lola: 11478338 markings, 57391598 edges, 44543 markings/sec, 245 secs
lola: 11698872 markings, 58494294 edges, 44107 markings/sec, 250 secs
lola: 11922884 markings, 59614297 edges, 44802 markings/sec, 255 secs
lola: 12146937 markings, 60734633 edges, 44811 markings/sec, 260 secs
lola: 12369641 markings, 61848127 edges, 44541 markings/sec, 265 secs
lola: 12591154 markings, 62955631 edges, 44303 markings/sec, 270 secs
lola: 12814003 markings, 64069835 edges, 44570 markings/sec, 275 secs
lola: 13035104 markings, 65175375 edges, 44220 markings/sec, 280 secs
lola: 13257709 markings, 66288001 edges, 44521 markings/sec, 285 secs
lola: 13479079 markings, 67395277 edges, 44274 markings/sec, 290 secs
lola: 13699070 markings, 68495167 edges, 43998 markings/sec, 295 secs
lola: 13919984 markings, 69599708 edges, 44183 markings/sec, 300 secs
lola: 14135323 markings, 70676452 edges, 43068 markings/sec, 305 secs
lola: 14355094 markings, 71775329 edges, 43954 markings/sec, 310 secs
lola: 14578090 markings, 72890337 edges, 44599 markings/sec, 315 secs
lola: 14800301 markings, 74001286 edges, 44442 markings/sec, 320 secs
lola: 15023836 markings, 75119047 edges, 44707 markings/sec, 325 secs
lola: 15247216 markings, 76235796 edges, 44676 markings/sec, 330 secs
lola: 15469780 markings, 77348632 edges, 44513 markings/sec, 335 secs
lola: 15690127 markings, 78450575 edges, 44069 markings/sec, 340 secs
lola: 15911640 markings, 79557783 edges, 44303 markings/sec, 345 secs
lola: 16133936 markings, 80669581 edges, 44459 markings/sec, 350 secs
lola: 16354079 markings, 81770167 edges, 44029 markings/sec, 355 secs
lola: 16572119 markings, 82860472 edges, 43608 markings/sec, 360 secs
lola: 16789315 markings, 83946480 edges, 43439 markings/sec, 365 secs
lola: 17008006 markings, 85039883 edges, 43738 markings/sec, 370 secs
lola: 17229811 markings, 86148260 edges, 44361 markings/sec, 375 secs
lola: 17450443 markings, 87252048 edges, 44126 markings/sec, 380 secs
lola: 17672061 markings, 88359896 edges, 44324 markings/sec, 385 secs
lola: 17892871 markings, 89464175 edges, 44162 markings/sec, 390 secs
lola: 18114187 markings, 90570849 edges, 44263 markings/sec, 395 secs
lola: 18339618 markings, 91698043 edges, 45086 markings/sec, 400 secs
lola: 18560290 markings, 92801039 edges, 44134 markings/sec, 405 secs
lola: 18779902 markings, 93899379 edges, 43922 markings/sec, 410 secs
lola: 19000202 markings, 95000916 edges, 44060 markings/sec, 415 secs
lola: 19221032 markings, 96105045 edges, 44166 markings/sec, 420 secs
lola: 19439416 markings, 97196426 edges, 43677 markings/sec, 425 secs
lola: 19654769 markings, 98273450 edges, 43071 markings/sec, 430 secs
lola: 19871346 markings, 99356315 edges, 43315 markings/sec, 435 secs
lola: 20086640 markings, 100433002 edges, 43059 markings/sec, 440 secs
lola: 20304056 markings, 101520118 edges, 43483 markings/sec, 445 secs
lola: 20517673 markings, 102588229 edges, 42723 markings/sec, 450 secs
lola: 20731576 markings, 103657719 edges, 42781 markings/sec, 455 secs
lola: 20945939 markings, 104729562 edges, 42873 markings/sec, 460 secs
lola: 21162519 markings, 105812184 edges, 43316 markings/sec, 465 secs
lola: 21375691 markings, 106878249 edges, 42634 markings/sec, 470 secs
lola: 21592522 markings, 107962224 edges, 43366 markings/sec, 475 secs
lola: 21808517 markings, 109042458 edges, 43199 markings/sec, 480 secs
lola: 22025196 markings, 110125693 edges, 43336 markings/sec, 485 secs
lola: 22240392 markings, 111201790 edges, 43039 markings/sec, 490 secs
lola: 22457110 markings, 112285406 edges, 43344 markings/sec, 495 secs
lola: 22672506 markings, 113362497 edges, 43079 markings/sec, 500 secs
lola: 22885967 markings, 114429629 edges, 42692 markings/sec, 505 secs
lola: 23102637 markings, 115513068 edges, 43334 markings/sec, 510 secs
lola: 23317505 markings, 116587339 edges, 42974 markings/sec, 515 secs
lola: 23530531 markings, 117652375 edges, 42605 markings/sec, 520 secs
lola: 23744655 markings, 118723108 edges, 42825 markings/sec, 525 secs
lola: 23961923 markings, 119809529 edges, 43454 markings/sec, 530 secs
lola: 24177701 markings, 120888244 edges, 43156 markings/sec, 535 secs
lola: 24392829 markings, 121963896 edges, 43026 markings/sec, 540 secs
lola: 24606891 markings, 123034386 edges, 42812 markings/sec, 545 secs
lola: 24820344 markings, 124101559 edges, 42691 markings/sec, 550 secs
lola: 25032054 markings, 125160151 edges, 42342 markings/sec, 555 secs
lola: 25243692 markings, 126218352 edges, 42328 markings/sec, 560 secs
lola: 25452794 markings, 127263901 edges, 41820 markings/sec, 565 secs
lola: 25660740 markings, 128303555 edges, 41589 markings/sec, 570 secs
lola: 25870379 markings, 129351800 edges, 41928 markings/sec, 575 secs
lola: 26085418 markings, 130426961 edges, 43008 markings/sec, 580 secs
lola: 26307386 markings, 131536790 edges, 44394 markings/sec, 585 secs
lola: 26522773 markings, 132613625 edges, 43077 markings/sec, 590 secs
lola: 26734850 markings, 133674146 edges, 42415 markings/sec, 595 secs
lola: 26946215 markings, 134730954 edges, 42273 markings/sec, 600 secs
lola: 27156371 markings, 135781723 edges, 42031 markings/sec, 605 secs
lola: 27365525 markings, 136827461 edges, 41831 markings/sec, 610 secs
lola: 27575294 markings, 137876267 edges, 41954 markings/sec, 615 secs
lola: 27784126 markings, 138920484 edges, 41766 markings/sec, 620 secs
lola: 27997078 markings, 139985199 edges, 42590 markings/sec, 625 secs
lola: 28207015 markings, 141034905 edges, 41987 markings/sec, 630 secs
lola: 28415285 markings, 142076348 edges, 41654 markings/sec, 635 secs
lola: 28623161 markings, 143115653 edges, 41575 markings/sec, 640 secs
lola: 28830508 markings, 144152371 edges, 41469 markings/sec, 645 secs
lola: 29049826 markings, 145248981 edges, 43864 markings/sec, 650 secs
lola: 29268135 markings, 146340469 edges, 43662 markings/sec, 655 secs
lola: 29487868 markings, 147439131 edges, 43947 markings/sec, 660 secs
lola: 29713181 markings, 148565771 edges, 45063 markings/sec, 665 secs
lola: 29934028 markings, 149670005 edges, 44169 markings/sec, 670 secs
lola: 30155096 markings, 150775307 edges, 44214 markings/sec, 675 secs
lola: 30379027 markings, 151894977 edges, 44786 markings/sec, 680 secs
lola: 30603901 markings, 153019205 edges, 44975 markings/sec, 685 secs
lola: 30826113 markings, 154130155 edges, 44442 markings/sec, 690 secs
lola: 31049544 markings, 155247437 edges, 44686 markings/sec, 695 secs
lola: 31267955 markings, 156339430 edges, 43682 markings/sec, 700 secs
lola: 31486040 markings, 157430062 edges, 43617 markings/sec, 705 secs
lola: 31706118 markings, 158530281 edges, 44016 markings/sec, 710 secs
lola: 31926961 markings, 159634684 edges, 44169 markings/sec, 715 secs
lola: 32144103 markings, 160720245 edges, 43428 markings/sec, 720 secs
lola: 32363771 markings, 161818263 edges, 43934 markings/sec, 725 secs
lola: 32581523 markings, 162907443 edges, 43550 markings/sec, 730 secs
lola: 32801260 markings, 164005872 edges, 43947 markings/sec, 735 secs
lola: 33021075 markings, 165105134 edges, 43963 markings/sec, 740 secs
lola: 33240226 markings, 166200853 edges, 43830 markings/sec, 745 secs
lola: 33459515 markings, 167297435 edges, 43858 markings/sec, 750 secs
lola: 33677336 markings, 168386477 edges, 43564 markings/sec, 755 secs
lola: 33898781 markings, 169493821 edges, 44289 markings/sec, 760 secs
lola: 34119197 markings, 170595824 edges, 44083 markings/sec, 765 secs
lola: 34338818 markings, 171693802 edges, 43924 markings/sec, 770 secs
lola: 34556886 markings, 172784193 edges, 43614 markings/sec, 775 secs
lola: 34776552 markings, 173882401 edges, 43933 markings/sec, 780 secs
lola: 35010687 markings, 175053074 edges, 46827 markings/sec, 785 secs
lola: 35238185 markings, 176190692 edges, 45500 markings/sec, 790 secs
lola: 35462782 markings, 177313657 edges, 44919 markings/sec, 795 secs
lola: 35688503 markings, 178442150 edges, 45144 markings/sec, 800 secs
lola: 35913638 markings, 179567954 edges, 45027 markings/sec, 805 secs
lola: 36136346 markings, 180681529 edges, 44542 markings/sec, 810 secs
lola: 36360833 markings, 181803801 edges, 44897 markings/sec, 815 secs
lola: 36584683 markings, 182923224 edges, 44770 markings/sec, 820 secs
lola: 36809049 markings, 184044894 edges, 44873 markings/sec, 825 secs
lola: 37030151 markings, 185150494 edges, 44220 markings/sec, 830 secs
lola: 37254933 markings, 186274442 edges, 44956 markings/sec, 835 secs
lola: 37477558 markings, 187387581 edges, 44525 markings/sec, 840 secs
lola: 37697000 markings, 188484742 edges, 43888 markings/sec, 845 secs
lola: 37920378 markings, 189601582 edges, 44676 markings/sec, 850 secs
lola: 38145226 markings, 190725801 edges, 44970 markings/sec, 855 secs
lola: 38366145 markings, 191830518 edges, 44184 markings/sec, 860 secs
lola: 38585765 markings, 192928477 edges, 43924 markings/sec, 865 secs
lola: 38802037 markings, 194009724 edges, 43254 markings/sec, 870 secs
lola: 39018818 markings, 195093940 edges, 43356 markings/sec, 875 secs
lola: 39237158 markings, 196185602 edges, 43668 markings/sec, 880 secs
lola: 39456406 markings, 197281662 edges, 43850 markings/sec, 885 secs
lola: 39673961 markings, 198369570 edges, 43511 markings/sec, 890 secs
lola: 39888290 markings, 199441263 edges, 42866 markings/sec, 895 secs
lola: 40104081 markings, 200520194 edges, 43158 markings/sec, 900 secs
lola: 40320437 markings, 201601851 edges, 43271 markings/sec, 905 secs
lola: 40533295 markings, 202666241 edges, 42572 markings/sec, 910 secs
lola: 40747738 markings, 203738523 edges, 42889 markings/sec, 915 secs
lola: 40964440 markings, 204821643 edges, 43340 markings/sec, 920 secs
lola: 41179415 markings, 205896946 edges, 42995 markings/sec, 925 secs
lola: 41394749 markings, 206973554 edges, 43067 markings/sec, 930 secs
lola: 41611348 markings, 208056507 edges, 43320 markings/sec, 935 secs
lola: 41832245 markings, 209160993 edges, 44179 markings/sec, 940 secs
lola: 42048469 markings, 210242206 edges, 43245 markings/sec, 945 secs
lola: 42263289 markings, 211316260 edges, 42964 markings/sec, 950 secs
lola: 42475999 markings, 212379844 edges, 42542 markings/sec, 955 secs
lola: 42689271 markings, 213446030 edges, 42654 markings/sec, 960 secs
lola: 42903281 markings, 214516229 edges, 42802 markings/sec, 965 secs
lola: 43117847 markings, 215588931 edges, 42913 markings/sec, 970 secs
lola: 43332880 markings, 216663749 edges, 43007 markings/sec, 975 secs
lola: 43552393 markings, 217761659 edges, 43903 markings/sec, 980 secs
lola: 43772525 markings, 218861981 edges, 44026 markings/sec, 985 secs
lola: 43994476 markings, 219972036 edges, 44390 markings/sec, 990 secs
lola: 44218250 markings, 221090908 edges, 44755 markings/sec, 995 secs
lola: 44441874 markings, 222208972 edges, 44725 markings/sec, 1000 secs
lola: 44663285 markings, 223316144 edges, 44282 markings/sec, 1005 secs
lola: 44879768 markings, 224398477 edges, 43297 markings/sec, 1010 secs
lola: 45098283 markings, 225491126 edges, 43703 markings/sec, 1015 secs
lola: 45320118 markings, 226600161 edges, 44367 markings/sec, 1020 secs
lola: 45538380 markings, 227691571 edges, 43652 markings/sec, 1025 secs
lola: 45757743 markings, 228788217 edges, 43873 markings/sec, 1030 secs
lola: 45980834 markings, 229903816 edges, 44618 markings/sec, 1035 secs
lola: 46197288 markings, 230985916 edges, 43291 markings/sec, 1040 secs
lola: 46413551 markings, 232067334 edges, 43253 markings/sec, 1045 secs
lola: 46634961 markings, 233174272 edges, 44282 markings/sec, 1050 secs
lola: 46843604 markings, 234217786 edges, 41729 markings/sec, 1055 secs
lola: 47057355 markings, 235286527 edges, 42750 markings/sec, 1060 secs
lola: 47274658 markings, 236373006 edges, 43461 markings/sec, 1065 secs
lola: 47482934 markings, 237414456 edges, 41655 markings/sec, 1070 secs
lola: 47688143 markings, 238440537 edges, 41042 markings/sec, 1075 secs
lola: 47900560 markings, 239502513 edges, 42483 markings/sec, 1080 secs
lola: 48112257 markings, 240560887 edges, 42339 markings/sec, 1085 secs
lola: 48323985 markings, 241619562 edges, 42346 markings/sec, 1090 secs
lola: 48537992 markings, 242689617 edges, 42801 markings/sec, 1095 secs
lola: 48749944 markings, 243748853 edges, 42390 markings/sec, 1100 secs
lola: 48962440 markings, 244811943 edges, 42499 markings/sec, 1105 secs
lola: 49174545 markings, 245872445 edges, 42421 markings/sec, 1110 secs
lola: 49390041 markings, 246949937 edges, 43099 markings/sec, 1115 secs
lola: 49607432 markings, 248036900 edges, 43478 markings/sec, 1120 secs
lola: 49812444 markings, 249061955 edges, 41002 markings/sec, 1125 secs
lola: 50016917 markings, 250084245 edges, 40895 markings/sec, 1130 secs
lola: 50215714 markings, 251078296 edges, 39759 markings/sec, 1135 secs
lola: 50412758 markings, 252063448 edges, 39409 markings/sec, 1140 secs
lola: 50627659 markings, 253138054 edges, 42980 markings/sec, 1145 secs
lola: 50845803 markings, 254228726 edges, 43629 markings/sec, 1150 secs
lola: 51056231 markings, 255280835 edges, 42086 markings/sec, 1155 secs
lola: 51262805 markings, 256313782 edges, 41315 markings/sec, 1160 secs
lola: 51469215 markings, 257345832 edges, 41282 markings/sec, 1165 secs
lola: 51672719 markings, 258363225 edges, 40701 markings/sec, 1170 secs
lola: 51862022 markings, 259309869 edges, 37861 markings/sec, 1175 secs
lola: 52056435 markings, 260281769 edges, 38883 markings/sec, 1180 secs
lola: 52267529 markings, 261337300 edges, 42219 markings/sec, 1185 secs
lola: 52473952 markings, 262369518 edges, 41285 markings/sec, 1190 secs
lola: 52680657 markings, 263403006 edges, 41341 markings/sec, 1195 secs
lola: 52881626 markings, 264407654 edges, 40194 markings/sec, 1200 secs
lola: 53080958 markings, 265404371 edges, 39866 markings/sec, 1205 secs
lola: 53282180 markings, 266410675 edges, 40244 markings/sec, 1210 secs
lola: 53485512 markings, 267427291 edges, 40666 markings/sec, 1215 secs
lola: 53693385 markings, 268466651 edges, 41575 markings/sec, 1220 secs
lola: 53883707 markings, 269418202 edges, 38064 markings/sec, 1225 secs
lola: 54076774 markings, 270383641 edges, 38613 markings/sec, 1230 secs
lola: 54263878 markings, 271319144 edges, 37421 markings/sec, 1235 secs
lola: 54460281 markings, 272301095 edges, 39281 markings/sec, 1240 secs
lola: 54664468 markings, 273322107 edges, 40837 markings/sec, 1245 secs
lola: 54858939 markings, 274294357 edges, 38894 markings/sec, 1250 secs
lola: 55065750 markings, 275328444 edges, 41362 markings/sec, 1255 secs
lola: 55275665 markings, 276378069 edges, 41983 markings/sec, 1260 secs
lola: 55482700 markings, 277413260 edges, 41407 markings/sec, 1265 secs
lola: 55691661 markings, 278457860 edges, 41792 markings/sec, 1270 secs
lola: 55904410 markings, 279521678 edges, 42550 markings/sec, 1275 secs
lola: 56113570 markings, 280567627 edges, 41832 markings/sec, 1280 secs
lola: 56327098 markings, 281635285 edges, 42706 markings/sec, 1285 secs
lola: 56540686 markings, 282703165 edges, 42718 markings/sec, 1290 secs
lola: 56747278 markings, 283736147 edges, 41318 markings/sec, 1295 secs
lola: 56955776 markings, 284778650 edges, 41700 markings/sec, 1300 secs
lola: 57168233 markings, 285840904 edges, 42491 markings/sec, 1305 secs
lola: 57375896 markings, 286879192 edges, 41533 markings/sec, 1310 secs
lola: 57588696 markings, 287943290 edges, 42560 markings/sec, 1315 secs
lola: 57796307 markings, 288981323 edges, 41522 markings/sec, 1320 secs
lola: 58007056 markings, 290034973 edges, 42150 markings/sec, 1325 secs
lola: 58218471 markings, 291091974 edges, 42283 markings/sec, 1330 secs
lola: 58428269 markings, 292140935 edges, 41960 markings/sec, 1335 secs
lola: 58634003 markings, 293169697 edges, 41147 markings/sec, 1340 secs
lola: 58845934 markings, 294229370 edges, 42386 markings/sec, 1345 secs
lola: 59058150 markings, 295290469 edges, 42443 markings/sec, 1350 secs
lola: 59264447 markings, 296321946 edges, 41259 markings/sec, 1355 secs
lola: 59473358 markings, 297366483 edges, 41782 markings/sec, 1360 secs
lola: 59683643 markings, 298417910 edges, 42057 markings/sec, 1365 secs
lola: 59891905 markings, 299459222 edges, 41652 markings/sec, 1370 secs
lola: 60097562 markings, 300487279 edges, 41131 markings/sec, 1375 secs
lola: 60302301 markings, 301511124 edges, 40948 markings/sec, 1380 secs
lola: 60509282 markings, 302545971 edges, 41396 markings/sec, 1385 secs
lola: 60718813 markings, 303593348 edges, 41906 markings/sec, 1390 secs
lola: 60923866 markings, 304619058 edges, 41011 markings/sec, 1395 secs
lola: 61129390 markings, 305646611 edges, 41105 markings/sec, 1400 secs
lola: 61338083 markings, 306690118 edges, 41739 markings/sec, 1405 secs
lola: 61544646 markings, 307722953 edges, 41313 markings/sec, 1410 secs
lola: 61751732 markings, 308758146 edges, 41417 markings/sec, 1415 secs
lola: 61960062 markings, 309799815 edges, 41666 markings/sec, 1420 secs
lola: 62166241 markings, 310830898 edges, 41236 markings/sec, 1425 secs
lola: 62375240 markings, 311875961 edges, 41800 markings/sec, 1430 secs
lola: 62582066 markings, 312910091 edges, 41365 markings/sec, 1435 secs
lola: 62790693 markings, 313953128 edges, 41725 markings/sec, 1440 secs
lola: 62999324 markings, 314996403 edges, 41726 markings/sec, 1445 secs
lola: 63209888 markings, 316049239 edges, 42113 markings/sec, 1450 secs
lola: 63411120 markings, 317055299 edges, 40246 markings/sec, 1455 secs
lola: 63611847 markings, 318058792 edges, 40145 markings/sec, 1460 secs
lola: 63816809 markings, 319083697 edges, 40992 markings/sec, 1465 secs
lola: 64015046 markings, 320075007 edges, 39647 markings/sec, 1470 secs
lola: 64219561 markings, 321097524 edges, 40903 markings/sec, 1475 secs
lola: 64420310 markings, 322101156 edges, 40150 markings/sec, 1480 secs
lola: 64623886 markings, 323119080 edges, 40715 markings/sec, 1485 secs
lola: 64826919 markings, 324134196 edges, 40607 markings/sec, 1490 secs
lola: 65033881 markings, 325169026 edges, 41392 markings/sec, 1495 secs
lola: 65237505 markings, 326186541 edges, 40725 markings/sec, 1500 secs
lola: 65437215 markings, 327185625 edges, 39942 markings/sec, 1505 secs
lola: 65642603 markings, 328212763 edges, 41078 markings/sec, 1510 secs
lola: 65845362 markings, 329226423 edges, 40552 markings/sec, 1515 secs
lola: 66050729 markings, 330253297 edges, 41073 markings/sec, 1520 secs
lola: 66250203 markings, 331250703 edges, 39895 markings/sec, 1525 secs
lola: 66455820 markings, 332278815 edges, 41123 markings/sec, 1530 secs
lola: 66659719 markings, 333298401 edges, 40780 markings/sec, 1535 secs
lola: 66859151 markings, 334295422 edges, 39886 markings/sec, 1540 secs
lola: 67056061 markings, 335279913 edges, 39382 markings/sec, 1545 secs
lola: 67252407 markings, 336261804 edges, 39269 markings/sec, 1550 secs
lola: 67449873 markings, 337249063 edges, 39493 markings/sec, 1555 secs
lola: 67643497 markings, 338217112 edges, 38725 markings/sec, 1560 secs
lola: 67840850 markings, 339204052 edges, 39471 markings/sec, 1565 secs
lola: 68038752 markings, 340193443 edges, 39580 markings/sec, 1570 secs
lola: 68240677 markings, 341203189 edges, 40385 markings/sec, 1575 secs
lola: 68437494 markings, 342187090 edges, 39363 markings/sec, 1580 secs
lola: 68633178 markings, 343165538 edges, 39137 markings/sec, 1585 secs
lola: 68826158 markings, 344130532 edges, 38596 markings/sec, 1590 secs
lola: 69019135 markings, 345095398 edges, 38595 markings/sec, 1595 secs
lola: 69214728 markings, 346073347 edges, 39119 markings/sec, 1600 secs
lola: 69421571 markings, 347107524 edges, 41369 markings/sec, 1605 secs
lola: 69624847 markings, 348123953 edges, 40655 markings/sec, 1610 secs
lola: 69827597 markings, 349137519 edges, 40550 markings/sec, 1615 secs
lola: 70027504 markings, 350137256 edges, 39981 markings/sec, 1620 secs
lola: 70239595 markings, 351197735 edges, 42418 markings/sec, 1625 secs
lola: 70452559 markings, 352262537 edges, 42593 markings/sec, 1630 secs
lola: 70662985 markings, 353314734 edges, 42085 markings/sec, 1635 secs
lola: 70866806 markings, 354333746 edges, 40764 markings/sec, 1640 secs
lola: 71069077 markings, 355345123 edges, 40454 markings/sec, 1645 secs
lola: 71271970 markings, 356359485 edges, 40579 markings/sec, 1650 secs
lola: 71477457 markings, 357386910 edges, 41097 markings/sec, 1655 secs
lola: 71686469 markings, 358432070 edges, 41802 markings/sec, 1660 secs
lola: 71890214 markings, 359450615 edges, 40749 markings/sec, 1665 secs
lola: 72093026 markings, 360464746 edges, 40562 markings/sec, 1670 secs
lola: 72299234 markings, 361495772 edges, 41242 markings/sec, 1675 secs
lola: 72502359 markings, 362511377 edges, 40625 markings/sec, 1680 secs
lola: 72710594 markings, 363552605 edges, 41647 markings/sec, 1685 secs
lola: 72913700 markings, 364568242 edges, 40621 markings/sec, 1690 secs
lola: 73113202 markings, 365565629 edges, 39900 markings/sec, 1695 secs
lola: 73311178 markings, 366555653 edges, 39595 markings/sec, 1700 secs
lola: 73512199 markings, 367560619 edges, 40204 markings/sec, 1705 secs
lola: 73708259 markings, 368540699 edges, 39212 markings/sec, 1710 secs
lola: 73912130 markings, 369560258 edges, 40774 markings/sec, 1715 secs
lola: 74111223 markings, 370555868 edges, 39819 markings/sec, 1720 secs
lola: 74315458 markings, 371576967 edges, 40847 markings/sec, 1725 secs
lola: 74517316 markings, 372586201 edges, 40372 markings/sec, 1730 secs
lola: 74714359 markings, 373571545 edges, 39409 markings/sec, 1735 secs
lola: 74910020 markings, 374549800 edges, 39132 markings/sec, 1740 secs
lola: 75107435 markings, 375536935 edges, 39483 markings/sec, 1745 secs
lola: 75309773 markings, 376548499 edges, 40468 markings/sec, 1750 secs
lola: 75519526 markings, 377597327 edges, 41951 markings/sec, 1755 secs
lola: 75722729 markings, 378613446 edges, 40641 markings/sec, 1760 secs
lola: 75932772 markings, 379663586 edges, 42009 markings/sec, 1765 secs
lola: 76144506 markings, 380721960 edges, 42347 markings/sec, 1770 secs
lola: 76359924 markings, 381799134 edges, 43084 markings/sec, 1775 secs
lola: 76575017 markings, 382874166 edges, 43019 markings/sec, 1780 secs
lola: 76786217 markings, 383930506 edges, 42240 markings/sec, 1785 secs
lola: 76989610 markings, 384947606 edges, 40679 markings/sec, 1790 secs
lola: 77202555 markings, 386012372 edges, 42589 markings/sec, 1795 secs
lola: 77416074 markings, 387079816 edges, 42704 markings/sec, 1800 secs
lola: 77627459 markings, 388137019 edges, 42277 markings/sec, 1805 secs
lola: 77832194 markings, 389160541 edges, 40947 markings/sec, 1810 secs
lola: 78045282 markings, 390225658 edges, 42618 markings/sec, 1815 secs
lola: 78256697 markings, 391283193 edges, 42283 markings/sec, 1820 secs
lola: 78462428 markings, 392311849 edges, 41146 markings/sec, 1825 secs
lola: 78678130 markings, 393390339 edges, 43140 markings/sec, 1830 secs
lola: 78889569 markings, 394447435 edges, 42288 markings/sec, 1835 secs
lola: 79105449 markings, 395526881 edges, 43176 markings/sec, 1840 secs
lola: 79321219 markings, 396605696 edges, 43154 markings/sec, 1845 secs
lola: 79529620 markings, 397647850 edges, 41680 markings/sec, 1850 secs
lola: 79740933 markings, 398703492 edges, 42263 markings/sec, 1855 secs
lola: 79955558 markings, 399777544 edges, 42925 markings/sec, 1860 secs
lola: 80170288 markings, 400851184 edges, 42946 markings/sec, 1865 secs
lola: 80388391 markings, 401941600 edges, 43621 markings/sec, 1870 secs
lola: 80603715 markings, 403018280 edges, 43065 markings/sec, 1875 secs
lola: 80812995 markings, 404064590 edges, 41856 markings/sec, 1880 secs
lola: 81023023 markings, 405114655 edges, 42006 markings/sec, 1885 secs
lola: 81236662 markings, 406183008 edges, 42728 markings/sec, 1890 secs
lola: 81454400 markings, 407271693 edges, 43548 markings/sec, 1895 secs
lola: 81674117 markings, 408370270 edges, 43943 markings/sec, 1900 secs
lola: 81886523 markings, 409432386 edges, 42481 markings/sec, 1905 secs
lola: 82100288 markings, 410501187 edges, 42753 markings/sec, 1910 secs
lola: 82315816 markings, 411578596 edges, 43106 markings/sec, 1915 secs
lola: 82527432 markings, 412636939 edges, 42323 markings/sec, 1920 secs
lola: 82742405 markings, 413711745 edges, 42995 markings/sec, 1925 secs
lola: 82956610 markings, 414782800 edges, 42841 markings/sec, 1930 secs
lola: 83168893 markings, 415844131 edges, 42457 markings/sec, 1935 secs
lola: 83382430 markings, 416911899 edges, 42707 markings/sec, 1940 secs
lola: 83591156 markings, 417955518 edges, 41745 markings/sec, 1945 secs
lola: 83798373 markings, 418991393 edges, 41443 markings/sec, 1950 secs
lola: 84005842 markings, 420028910 edges, 41494 markings/sec, 1955 secs
lola: 84215151 markings, 421075395 edges, 41862 markings/sec, 1960 secs
lola: 84422823 markings, 422113742 edges, 41534 markings/sec, 1965 secs
lola: 84634584 markings, 423172568 edges, 42352 markings/sec, 1970 secs
lola: 84843962 markings, 424219496 edges, 41876 markings/sec, 1975 secs
lola: 85052188 markings, 425260605 edges, 41645 markings/sec, 1980 secs
lola: 85259131 markings, 426295242 edges, 41389 markings/sec, 1985 secs
lola: 85466028 markings, 427329909 edges, 41379 markings/sec, 1990 secs
lola: 85673123 markings, 428365296 edges, 41419 markings/sec, 1995 secs
lola: 85877966 markings, 429389554 edges, 40969 markings/sec, 2000 secs
lola: 86094598 markings, 430472567 edges, 43326 markings/sec, 2005 secs
lola: 86313679 markings, 431567950 edges, 43816 markings/sec, 2010 secs
lola: 86528343 markings, 432641371 edges, 42933 markings/sec, 2015 secs
lola: 86742887 markings, 433714016 edges, 42909 markings/sec, 2020 secs
lola: 86956434 markings, 434781729 edges, 42709 markings/sec, 2025 secs
lola: 87172863 markings, 435863920 edges, 43286 markings/sec, 2030 secs
lola: 87384858 markings, 436923991 edges, 42399 markings/sec, 2035 secs
lola: 87597042 markings, 437984913 edges, 42437 markings/sec, 2040 secs
lola: 87810138 markings, 439050430 edges, 42619 markings/sec, 2045 secs
lola: 88021083 markings, 440105114 edges, 42189 markings/sec, 2050 secs
lola: 88230379 markings, 441151355 edges, 41859 markings/sec, 2055 secs
lola: 88447162 markings, 442235326 edges, 43357 markings/sec, 2060 secs
lola: 88664037 markings, 443319656 edges, 43375 markings/sec, 2065 secs
lola: 88876570 markings, 444382379 edges, 42507 markings/sec, 2070 secs
lola: 89084694 markings, 445423108 edges, 41625 markings/sec, 2075 secs
lola: 89300109 markings, 446500232 edges, 43083 markings/sec, 2080 secs
lola: 89516014 markings, 447579763 edges, 43181 markings/sec, 2085 secs
lola: 89725235 markings, 448625791 edges, 41844 markings/sec, 2090 secs
lola: 89937140 markings, 449685425 edges, 42381 markings/sec, 2095 secs
lola: 90147338 markings, 450736283 edges, 42040 markings/sec, 2100 secs
lola: 90358572 markings, 451792419 edges, 42247 markings/sec, 2105 secs
lola: 90569239 markings, 452845819 edges, 42133 markings/sec, 2110 secs
lola: 90777845 markings, 453888932 edges, 41721 markings/sec, 2115 secs
lola: 90988256 markings, 454940729 edges, 42082 markings/sec, 2120 secs
lola: 91194122 markings, 455970185 edges, 41173 markings/sec, 2125 secs
lola: 91399152 markings, 456995411 edges, 41006 markings/sec, 2130 secs
lola: 91603446 markings, 458016873 edges, 40859 markings/sec, 2135 secs
lola: 91811374 markings, 459056505 edges, 41586 markings/sec, 2140 secs
lola: 92022391 markings, 460111465 edges, 42203 markings/sec, 2145 secs
lola: 92230129 markings, 461150149 edges, 41548 markings/sec, 2150 secs
lola: 92436514 markings, 462182268 edges, 41277 markings/sec, 2155 secs
lola: 92646043 markings, 463229700 edges, 41906 markings/sec, 2160 secs
lola: 92865289 markings, 464325914 edges, 43849 markings/sec, 2165 secs
lola: 93078416 markings, 465391516 edges, 42625 markings/sec, 2170 secs
lola: 93291738 markings, 466458393 edges, 42664 markings/sec, 2175 secs
lola: 93499962 markings, 467499450 edges, 41645 markings/sec, 2180 secs
lola: 93707495 markings, 468537045 edges, 41507 markings/sec, 2185 secs
lola: 93922653 markings, 469612888 edges, 43032 markings/sec, 2190 secs
lola: 94130701 markings, 470653057 edges, 41610 markings/sec, 2195 secs
lola: 94342705 markings, 471713111 edges, 42401 markings/sec, 2200 secs
lola: 94547648 markings, 472737821 edges, 40989 markings/sec, 2205 secs
lola: 94752921 markings, 473764298 edges, 41055 markings/sec, 2210 secs
lola: 94956267 markings, 474781091 edges, 40669 markings/sec, 2215 secs
lola: 95163888 markings, 475819125 edges, 41524 markings/sec, 2220 secs
lola: 95374172 markings, 476870572 edges, 42057 markings/sec, 2225 secs
lola: 95577515 markings, 477887240 edges, 40669 markings/sec, 2230 secs
lola: 95785479 markings, 478926931 edges, 41593 markings/sec, 2235 secs
lola: 96000356 markings, 480001244 edges, 42975 markings/sec, 2240 secs
lola: 96212861 markings, 481063742 edges, 42501 markings/sec, 2245 secs
lola: 96424554 markings, 482121625 edges, 42339 markings/sec, 2250 secs
lola: 96635041 markings, 483174612 edges, 42097 markings/sec, 2255 secs
lola: 96846708 markings, 484232216 edges, 42333 markings/sec, 2260 secs
lola: 97053425 markings, 485266557 edges, 41343 markings/sec, 2265 secs
lola: 97266626 markings, 486332645 edges, 42640 markings/sec, 2270 secs
lola: 97481635 markings, 487407522 edges, 43002 markings/sec, 2275 secs
lola: 97697148 markings, 488485074 edges, 43103 markings/sec, 2280 secs
lola: 97909388 markings, 489546047 edges, 42448 markings/sec, 2285 secs
lola: 98118095 markings, 490589880 edges, 41741 markings/sec, 2290 secs
lola: 98325845 markings, 491628463 edges, 41550 markings/sec, 2295 secs
lola: 98533547 markings, 492667003 edges, 41540 markings/sec, 2300 secs
lola: 98745208 markings, 493725396 edges, 42332 markings/sec, 2305 secs
lola: 98950044 markings, 494749404 edges, 40967 markings/sec, 2310 secs
lola: 99155905 markings, 495779183 edges, 41172 markings/sec, 2315 secs
lola: 99365768 markings, 496828342 edges, 41973 markings/sec, 2320 secs
lola: 99574532 markings, 497872261 edges, 41753 markings/sec, 2325 secs
lola: 99779481 markings, 498896743 edges, 40990 markings/sec, 2330 secs
lola: 99983587 markings, 499917503 edges, 40821 markings/sec, 2335 secs
lola: 100187289 markings, 500935844 edges, 40740 markings/sec, 2340 secs
lola: 100393948 markings, 501969164 edges, 41332 markings/sec, 2345 secs
lola: 100598084 markings, 502989993 edges, 40827 markings/sec, 2350 secs
lola: 100802886 markings, 504014071 edges, 40960 markings/sec, 2355 secs
lola: 101011860 markings, 505058902 edges, 41795 markings/sec, 2360 secs
lola: 101217406 markings, 506086583 edges, 41109 markings/sec, 2365 secs
lola: 101417684 markings, 507087733 edges, 40056 markings/sec, 2370 secs
lola: 101619981 markings, 508099134 edges, 40459 markings/sec, 2375 secs
lola: 101824687 markings, 509122697 edges, 40941 markings/sec, 2380 secs
lola: 102023999 markings, 510119274 edges, 39862 markings/sec, 2385 secs
lola: 102227188 markings, 511134997 edges, 40638 markings/sec, 2390 secs
lola: 102425642 markings, 512127874 edges, 39691 markings/sec, 2395 secs
lola: 102623719 markings, 513118164 edges, 39615 markings/sec, 2400 secs
lola: 102831600 markings, 514157429 edges, 41576 markings/sec, 2405 secs
lola: 103040277 markings, 515200523 edges, 41735 markings/sec, 2410 secs
lola: 103242038 markings, 516209779 edges, 40352 markings/sec, 2415 secs
lola: 103441918 markings, 517209209 edges, 39976 markings/sec, 2420 secs
lola: 103646125 markings, 518229941 edges, 40841 markings/sec, 2425 secs
lola: 103852806 markings, 519263419 edges, 41336 markings/sec, 2430 secs
lola: 104058241 markings, 520290744 edges, 41087 markings/sec, 2435 secs
lola: 104258303 markings, 521291103 edges, 40012 markings/sec, 2440 secs
lola: 104456762 markings, 522283425 edges, 39692 markings/sec, 2445 secs
lola: 104654207 markings, 523270317 edges, 39489 markings/sec, 2450 secs
lola: 104850924 markings, 524254202 edges, 39343 markings/sec, 2455 secs
lola: 105048677 markings, 525242858 edges, 39551 markings/sec, 2460 secs
lola: 105260440 markings, 526301709 edges, 42353 markings/sec, 2465 secs
lola: 105468138 markings, 527340105 edges, 41540 markings/sec, 2470 secs
lola: 105674660 markings, 528372797 edges, 41304 markings/sec, 2475 secs
lola: 105878495 markings, 529391805 edges, 40767 markings/sec, 2480 secs
lola: 106079145 markings, 530394961 edges, 40130 markings/sec, 2485 secs
lola: 106281575 markings, 531407509 edges, 40486 markings/sec, 2490 secs
lola: time limit reached - aborting
lola:
preliminary result: 4 5 5 5 5 5 5 5 5 unknown 5 unknown 5 4 4 5
lola: lola: caught signal User defined signal 1 - aborting LoLA
preliminary result: 4 5 5 5 5 5 5 5 5 unknown 5 unknown 5 4 4 5
lola:
preliminary result: 4 5 5 5 5 5 5 5 5 unknown 5 unknown 5 4 4 5
lola: memory consumption: 6444528 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 4 5 5 5 5 5 5 5 5 unknown 5 unknown 5 4 4 5
lola: memory consumption: 6444792 KB
lola: time consumption: 3570 seconds
BK_STOP 1553043980063
--------------------
content from stderr:
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="Peterson-COL-4"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="win2018"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3954"
echo " Executing tool win2018"
echo " Input is Peterson-COL-4, 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 r110-oct2-155272242400163"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Peterson-COL-4.tgz
mv Peterson-COL-4 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 '
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 ;