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.r132-oct2-155403939100016.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 PolyORBNT-COL-S10J20, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r132-oct2-155403939100016
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 244K
-rw-r--r-- 1 mcc users 3.9K Feb 12 09:48 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Feb 12 09:45 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Feb 8 10:45 CTLFireability.txt
-rw-r--r-- 1 mcc users 20K Feb 8 10:42 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 107 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 345 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.6K Feb 5 00:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K Feb 5 00:41 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 4 22:40 LTLFireability.txt
-rw-r--r-- 1 mcc users 12K Feb 4 22:40 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Feb 4 13:14 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Feb 4 13:10 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Feb 1 09:12 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 1 09:08 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 4 22:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 4 22:25 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Jan 29 09:34 equiv_pt
-rw-r--r-- 1 mcc users 7 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 5 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 92K 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 PolyORBNT-COL-S10J20-UpperBounds-00
FORMULA_NAME PolyORBNT-COL-S10J20-UpperBounds-01
FORMULA_NAME PolyORBNT-COL-S10J20-UpperBounds-02
FORMULA_NAME PolyORBNT-COL-S10J20-UpperBounds-03
FORMULA_NAME PolyORBNT-COL-S10J20-UpperBounds-04
FORMULA_NAME PolyORBNT-COL-S10J20-UpperBounds-05
FORMULA_NAME PolyORBNT-COL-S10J20-UpperBounds-06
FORMULA_NAME PolyORBNT-COL-S10J20-UpperBounds-07
FORMULA_NAME PolyORBNT-COL-S10J20-UpperBounds-08
FORMULA_NAME PolyORBNT-COL-S10J20-UpperBounds-09
FORMULA_NAME PolyORBNT-COL-S10J20-UpperBounds-10
FORMULA_NAME PolyORBNT-COL-S10J20-UpperBounds-11
FORMULA_NAME PolyORBNT-COL-S10J20-UpperBounds-12
FORMULA_NAME PolyORBNT-COL-S10J20-UpperBounds-13
FORMULA_NAME PolyORBNT-COL-S10J20-UpperBounds-14
FORMULA_NAME PolyORBNT-COL-S10J20-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1554066391793

info: Time: 3600 - MCC
===========================================================================================
prep: translating PolyORBNT-COL-S10J20 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating COL Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating PolyORBNT-COL-S10J20 formula UpperBounds into LoLA format
===========================================================================================
prep: translating COL formula complete
vrfy: Checking UpperBounds @ PolyORBNT-COL-S10J20 @ 3565 seconds
lola: LoLA will run for 3565 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 12274/65536 symbol table entries, 3869 collisions
lola: preprocessing...
lola: Size of bit vector: 15808
lola: finding significant places
lola: 494 places, 11780 transitions, 422 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1918 transition conflict sets
lola: TASK
lola: reading formula from PolyORBNT-COL-S10J20-UpperBounds.task
lola: LP says that atomic proposition is always false: (p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 <= 0)
lola: MAX(p395 + p396 + p397 + p398 + p399 + p400 + p401 + p402 + p403 + p404 + p405 + p406 + p407 + p408 + p409 + p410 + p411 + p412 + p413 + p414 + p415) : MAX(p352 + p353 + p354 + p355 + p356 + p357 + p358 + p359 + p360 + p361 + p362 + p363 + p364 + p365 + p366 + p367 + p368 + p369 + p370 + p371 + p372) : MAX(p46) : MAX(p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78) : MAX(p491) : MAX(p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22) : MAX(p302) : MAX(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 + 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 + 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 + p270 + p271 + p272 + p273 + p274 + 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 + p92 + p93 + p94 + p95 + p96 + p97 + p98 + p99) : MAX(p54 + p53 + p52 + p51 + p50 + p49 + p48 + p55 + p56 + p57) : MAX(p91) : MAX(p351) : MAX(p304 + p305 + p306 + p307 + p308 + p309 + p310 + p311 + p312 + p313 + p314 + p315 + p316 + p317 + p318 + p319 + p320 + p321 + p322 + p323 + p324) : MAX(p416) : MAX(p47) : MAX(p395 + p396 + p397 + p398 + p399 + p400 + p401 + p402 + p403 + p404 + p405 + p406 + p407 + p408 + p409 + p410 + p411 + p412 + p413 + p414 + p415) : MAX(p90)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 215 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78)
lola: processed formula length: 128
lola: 0 rewrites
lola: closed formula file PolyORBNT-COL-S10J20-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: 21
lola: SUBRESULT
lola: result: 21
lola: produced by: state space
lola: The maximum value of the given expression is 21
lola: 0 markings, 0 edges
lola: ========================================

FORMULA PolyORBNT-COL-S10J20-UpperBounds-3 21 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 230 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p46)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p46)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file PolyORBNT-COL-S10J20-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: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 10 markings, 9 edges
lola: ========================================

FORMULA PolyORBNT-COL-S10J20-UpperBounds-2 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 246 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p491)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p491)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file PolyORBNT-COL-S10J20-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: 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: ========================================

FORMULA PolyORBNT-COL-S10J20-UpperBounds-4 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 265 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p302)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p302)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file PolyORBNT-COL-S10J20-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: 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

FORMULA PolyORBNT-COL-S10J20-UpperBounds-6 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 4 will run for 287 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p91)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p91)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file PolyORBNT-COL-S10J20-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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 10177 markings, 35526 edges, 2035 markings/sec, 30 secs
lola: 22697 markings, 80961 edges, 2504 markings/sec, 35 secs
lola: 35866 markings, 126756 edges, 2634 markings/sec, 40 secs
lola: 48948 markings, 172358 edges, 2616 markings/sec, 45 secs
lola: 61946 markings, 217829 edges, 2600 markings/sec, 50 secs
lola: 75110 markings, 263893 edges, 2633 markings/sec, 55 secs
lola: 88176 markings, 309845 edges, 2613 markings/sec, 60 secs
lola: 101184 markings, 355478 edges, 2602 markings/sec, 65 secs
lola: 112458 markings, 395013 edges, 2255 markings/sec, 70 secs
lola: 123886 markings, 435631 edges, 2286 markings/sec, 75 secs
lola: 137296 markings, 481231 edges, 2682 markings/sec, 80 secs
lola: 150642 markings, 527293 edges, 2669 markings/sec, 85 secs
lola: 163779 markings, 571608 edges, 2627 markings/sec, 90 secs
lola: 177003 markings, 616254 edges, 2645 markings/sec, 95 secs
lola: 190231 markings, 661325 edges, 2646 markings/sec, 100 secs
lola: 203313 markings, 706311 edges, 2616 markings/sec, 105 secs
lola: 216509 markings, 750951 edges, 2639 markings/sec, 110 secs
lola: 229797 markings, 795877 edges, 2658 markings/sec, 115 secs
lola: 243497 markings, 842532 edges, 2740 markings/sec, 120 secs
lola: 257755 markings, 888395 edges, 2852 markings/sec, 125 secs
lola: 271935 markings, 934272 edges, 2836 markings/sec, 130 secs
lola: 285773 markings, 978752 edges, 2768 markings/sec, 135 secs
lola: 298813 markings, 1023011 edges, 2608 markings/sec, 140 secs
lola: 312066 markings, 1068719 edges, 2651 markings/sec, 145 secs
lola: 325123 markings, 1112751 edges, 2611 markings/sec, 150 secs
lola: 338244 markings, 1157185 edges, 2624 markings/sec, 155 secs
lola: 351375 markings, 1201787 edges, 2626 markings/sec, 160 secs
lola: 364448 markings, 1246508 edges, 2615 markings/sec, 165 secs
lola: 377570 markings, 1291452 edges, 2624 markings/sec, 170 secs
lola: 390675 markings, 1335528 edges, 2621 markings/sec, 175 secs
lola: 403870 markings, 1380504 edges, 2639 markings/sec, 180 secs
lola: 418098 markings, 1427789 edges, 2846 markings/sec, 185 secs
lola: 432396 markings, 1473967 edges, 2860 markings/sec, 190 secs
lola: 446661 markings, 1520074 edges, 2853 markings/sec, 195 secs
lola: 460060 markings, 1563634 edges, 2680 markings/sec, 200 secs
lola: 473203 markings, 1605987 edges, 2629 markings/sec, 205 secs
lola: 486342 markings, 1648558 edges, 2628 markings/sec, 210 secs
lola: 499461 markings, 1691302 edges, 2624 markings/sec, 215 secs
lola: 512616 markings, 1733803 edges, 2631 markings/sec, 220 secs
lola: 525811 markings, 1776487 edges, 2639 markings/sec, 225 secs
lola: 538808 markings, 1818808 edges, 2599 markings/sec, 230 secs
lola: 551957 markings, 1861097 edges, 2630 markings/sec, 235 secs
lola: 565097 markings, 1903723 edges, 2628 markings/sec, 240 secs
lola: 578226 markings, 1946532 edges, 2626 markings/sec, 245 secs
lola: 591340 markings, 1988847 edges, 2623 markings/sec, 250 secs
lola: 604063 markings, 2030061 edges, 2545 markings/sec, 255 secs
lola: 617122 markings, 2072507 edges, 2612 markings/sec, 260 secs
lola: 630162 markings, 2114453 edges, 2608 markings/sec, 265 secs
lola: 643302 markings, 2157202 edges, 2628 markings/sec, 270 secs
lola: 656436 markings, 2199780 edges, 2627 markings/sec, 275 secs
lola: 669571 markings, 2242378 edges, 2627 markings/sec, 280 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown 1 21 1 unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 93276 KB
lola: time consumption: 401 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 287 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p351)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p351)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file PolyORBNT-COL-S10J20-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: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 16 markings, 15 edges

FORMULA PolyORBNT-COL-S10J20-UpperBounds-10 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 6 will run for 316 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p416)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p416)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file PolyORBNT-COL-S10J20-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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 5384 markings, 18452 edges, 1077 markings/sec, 30 secs
lola: 10640 markings, 37231 edges, 1051 markings/sec, 35 secs
lola: 15742 markings, 56259 edges, 1020 markings/sec, 40 secs
lola: 20638 markings, 73466 edges, 979 markings/sec, 45 secs
lola: 25534 markings, 90528 edges, 979 markings/sec, 50 secs
lola: 30428 markings, 107578 edges, 979 markings/sec, 55 secs
lola: 35320 markings, 124707 edges, 978 markings/sec, 60 secs
lola: 40207 markings, 141857 edges, 977 markings/sec, 65 secs
lola: 45101 markings, 159037 edges, 979 markings/sec, 70 secs
lola: 49993 markings, 176206 edges, 978 markings/sec, 75 secs
lola: 54882 markings, 193476 edges, 978 markings/sec, 80 secs
lola: 59773 markings, 210778 edges, 978 markings/sec, 85 secs
lola: 64670 markings, 227994 edges, 979 markings/sec, 90 secs
lola: 69566 markings, 244846 edges, 979 markings/sec, 95 secs
lola: 74459 markings, 261835 edges, 979 markings/sec, 100 secs
lola: 79352 markings, 278826 edges, 979 markings/sec, 105 secs
lola: 84245 markings, 295956 edges, 979 markings/sec, 110 secs
lola: 89138 markings, 312945 edges, 979 markings/sec, 115 secs
lola: 94031 markings, 330077 edges, 979 markings/sec, 120 secs
lola: 98941 markings, 347233 edges, 982 markings/sec, 125 secs
lola: 103939 markings, 364729 edges, 1000 markings/sec, 130 secs
lola: 109150 markings, 383270 edges, 1042 markings/sec, 135 secs
lola: 114378 markings, 400983 edges, 1046 markings/sec, 140 secs
lola: 119587 markings, 420288 edges, 1042 markings/sec, 145 secs
lola: 124651 markings, 437927 edges, 1013 markings/sec, 150 secs
lola: 129631 markings, 454979 edges, 996 markings/sec, 155 secs
lola: 134615 markings, 471860 edges, 997 markings/sec, 160 secs
lola: 139595 markings, 489170 edges, 996 markings/sec, 165 secs
lola: 144571 markings, 506460 edges, 995 markings/sec, 170 secs
lola: 149557 markings, 522827 edges, 997 markings/sec, 175 secs
lola: 154546 markings, 539538 edges, 998 markings/sec, 180 secs
lola: 159534 markings, 556661 edges, 998 markings/sec, 185 secs
lola: 164498 markings, 573395 edges, 993 markings/sec, 190 secs
lola: 169482 markings, 590506 edges, 997 markings/sec, 195 secs
lola: 174467 markings, 607902 edges, 997 markings/sec, 200 secs
lola: 179443 markings, 624696 edges, 995 markings/sec, 205 secs
lola: 184431 markings, 641397 edges, 998 markings/sec, 210 secs
lola: 189406 markings, 658103 edges, 995 markings/sec, 215 secs
lola: 194386 markings, 675043 edges, 996 markings/sec, 220 secs
lola: 199370 markings, 692064 edges, 997 markings/sec, 225 secs
lola: 204337 markings, 709252 edges, 993 markings/sec, 230 secs
lola: 209311 markings, 726585 edges, 995 markings/sec, 235 secs
lola: 214346 markings, 743152 edges, 1007 markings/sec, 240 secs
lola: 219447 markings, 760314 edges, 1020 markings/sec, 245 secs
lola: 224548 markings, 777616 edges, 1020 markings/sec, 250 secs
lola: 229640 markings, 794895 edges, 1018 markings/sec, 255 secs
lola: 234777 markings, 813077 edges, 1027 markings/sec, 260 secs
lola: 240035 markings, 830799 edges, 1052 markings/sec, 265 secs
lola: 245213 markings, 847568 edges, 1036 markings/sec, 270 secs
lola: 250437 markings, 864743 edges, 1045 markings/sec, 275 secs
lola: 255672 markings, 881457 edges, 1047 markings/sec, 280 secs
lola: 260868 markings, 898246 edges, 1039 markings/sec, 285 secs
lola: 266161 markings, 915485 edges, 1059 markings/sec, 290 secs
lola: 271577 markings, 933139 edges, 1083 markings/sec, 295 secs
lola: 276827 markings, 949933 edges, 1050 markings/sec, 300 secs
lola: 282053 markings, 966856 edges, 1045 markings/sec, 305 secs
lola: 287246 markings, 983761 edges, 1039 markings/sec, 310 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown 1 21 1 unknown 1 unknown unknown unknown 1 unknown unknown unknown unknown unknown
lola: memory consumption: 77852 KB
lola: time consumption: 717 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 316 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p47)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p47)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file PolyORBNT-COL-S10J20-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: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 15 markings, 14 edges

FORMULA PolyORBNT-COL-S10J20-UpperBounds-13 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 8 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p90)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p90)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file PolyORBNT-COL-S10J20-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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 5478 markings, 18744 edges, 1096 markings/sec, 30 secs
lola: 10861 markings, 38071 edges, 1077 markings/sec, 35 secs
lola: 16070 markings, 57482 edges, 1042 markings/sec, 40 secs
lola: 21071 markings, 74937 edges, 1000 markings/sec, 45 secs
lola: 26076 markings, 92347 edges, 1001 markings/sec, 50 secs
lola: 31085 markings, 110053 edges, 1002 markings/sec, 55 secs
lola: 36105 markings, 127619 edges, 1004 markings/sec, 60 secs
lola: 41120 markings, 145368 edges, 1003 markings/sec, 65 secs
lola: 46099 markings, 163160 edges, 996 markings/sec, 70 secs
lola: 51087 markings, 180279 edges, 998 markings/sec, 75 secs
lola: 56068 markings, 197467 edges, 996 markings/sec, 80 secs
lola: 61040 markings, 214757 edges, 994 markings/sec, 85 secs
lola: 66025 markings, 232086 edges, 997 markings/sec, 90 secs
lola: 70998 markings, 249451 edges, 995 markings/sec, 95 secs
lola: 75967 markings, 266904 edges, 994 markings/sec, 100 secs
lola: 80943 markings, 284273 edges, 995 markings/sec, 105 secs
lola: 85915 markings, 301657 edges, 994 markings/sec, 110 secs
lola: 90887 markings, 319026 edges, 994 markings/sec, 115 secs
lola: 95857 markings, 336524 edges, 994 markings/sec, 120 secs
lola: 100814 markings, 353970 edges, 991 markings/sec, 125 secs
lola: 105781 markings, 371541 edges, 993 markings/sec, 130 secs
lola: 111238 markings, 390549 edges, 1091 markings/sec, 135 secs
lola: 116552 markings, 408934 edges, 1063 markings/sec, 140 secs
lola: 121803 markings, 428607 edges, 1050 markings/sec, 145 secs
lola: 126843 markings, 446195 edges, 1008 markings/sec, 150 secs
lola: 131908 markings, 462795 edges, 1013 markings/sec, 155 secs
lola: 136974 markings, 479887 edges, 1013 markings/sec, 160 secs
lola: 142040 markings, 497069 edges, 1013 markings/sec, 165 secs
lola: 147096 markings, 514189 edges, 1011 markings/sec, 170 secs
lola: 152162 markings, 531618 edges, 1013 markings/sec, 175 secs
lola: 157231 markings, 549048 edges, 1014 markings/sec, 180 secs
lola: 162298 markings, 566879 edges, 1013 markings/sec, 185 secs
lola: 167375 markings, 583502 edges, 1015 markings/sec, 190 secs
lola: 172333 markings, 600098 edges, 992 markings/sec, 195 secs
lola: 177208 markings, 616769 edges, 975 markings/sec, 200 secs
lola: 182022 markings, 632933 edges, 963 markings/sec, 205 secs
lola: 186893 markings, 649760 edges, 974 markings/sec, 210 secs
lola: 191746 markings, 666904 edges, 971 markings/sec, 215 secs
lola: 196605 markings, 682766 edges, 972 markings/sec, 220 secs
lola: 201374 markings, 698819 edges, 954 markings/sec, 225 secs
lola: 206231 markings, 715345 edges, 971 markings/sec, 230 secs
lola: 211071 markings, 731945 edges, 968 markings/sec, 235 secs
lola: 215942 markings, 748741 edges, 974 markings/sec, 240 secs
lola: 220916 markings, 765791 edges, 995 markings/sec, 245 secs
lola: 225906 markings, 782336 edges, 998 markings/sec, 250 secs
lola: 230873 markings, 799057 edges, 993 markings/sec, 255 secs
lola: 235923 markings, 816572 edges, 1010 markings/sec, 260 secs
lola: 241071 markings, 834280 edges, 1030 markings/sec, 265 secs
lola: 246175 markings, 850801 edges, 1021 markings/sec, 270 secs
lola: 251274 markings, 867172 edges, 1020 markings/sec, 275 secs
lola: 256361 markings, 883796 edges, 1017 markings/sec, 280 secs
lola: 261461 markings, 900206 edges, 1020 markings/sec, 285 secs
lola: 266558 markings, 916910 edges, 1019 markings/sec, 290 secs
lola: 271654 markings, 933391 edges, 1019 markings/sec, 295 secs
lola: 276750 markings, 949747 edges, 1019 markings/sec, 300 secs
lola: 281849 markings, 966387 edges, 1020 markings/sec, 305 secs
lola: 286899 markings, 982814 edges, 1010 markings/sec, 310 secs
lola: 291919 markings, 999734 edges, 1004 markings/sec, 315 secs
lola: 296884 markings, 1016922 edges, 993 markings/sec, 320 secs
lola: 301873 markings, 1033943 edges, 998 markings/sec, 325 secs
lola: 306874 markings, 1051189 edges, 1000 markings/sec, 330 secs
lola: 311859 markings, 1067806 edges, 997 markings/sec, 335 secs
lola: 316843 markings, 1084526 edges, 997 markings/sec, 340 secs
lola: 321823 markings, 1101389 edges, 996 markings/sec, 345 secs
lola: 326793 markings, 1118389 edges, 994 markings/sec, 350 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown 1 21 1 unknown 1 unknown unknown unknown 1 unknown unknown 1 unknown unknown
lola: memory consumption: 79300 KB
lola: time consumption: 1073 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p54 + p53 + p52 + p51 + p50 + p49 + p48 + p55 + p56 + p57)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p54 + p53 + p52 + p51 + p50 + p49 + p48 + p55 + p56 + p57)
lola: processed formula length: 62
lola: 0 rewrites
lola: closed formula file PolyORBNT-COL-S10J20-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: 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: ========================================

FORMULA PolyORBNT-COL-S10J20-UpperBounds-8 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 415 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p304 + p305 + p306 + p307 + p308 + p309 + p310 + p311 + p312 + p313 + p314 + p315 + p316 + p317 + p318 + p319 + p320 + p321 + p322 + p323 + p324)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p304 + p305 + p306 + p307 + p308 + p309 + p310 + p311 + p312 + p313 + p314 + p315 + p316 + p317 + p318 + p319 + p320 + p321 + p322 + p323 + p324)
lola: processed formula length: 149
lola: 0 rewrites
lola: closed formula file PolyORBNT-COL-S10J20-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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 5501 markings, 18849 edges, 1100 markings/sec, 30 secs
lola: 10880 markings, 38130 edges, 1076 markings/sec, 35 secs
lola: 16087 markings, 57603 edges, 1041 markings/sec, 40 secs
lola: 21096 markings, 74975 edges, 1002 markings/sec, 45 secs
lola: 26101 markings, 92446 edges, 1001 markings/sec, 50 secs
lola: 31106 markings, 110110 edges, 1001 markings/sec, 55 secs
lola: 36115 markings, 127665 edges, 1002 markings/sec, 60 secs
lola: 41122 markings, 145375 edges, 1001 markings/sec, 65 secs
lola: 46132 markings, 163364 edges, 1002 markings/sec, 70 secs
lola: 51146 markings, 180401 edges, 1003 markings/sec, 75 secs
lola: 56156 markings, 197718 edges, 1002 markings/sec, 80 secs
lola: 61163 markings, 215267 edges, 1001 markings/sec, 85 secs
lola: 66174 markings, 232585 edges, 1002 markings/sec, 90 secs
lola: 71186 markings, 250136 edges, 1002 markings/sec, 95 secs
lola: 76202 markings, 267760 edges, 1003 markings/sec, 100 secs
lola: 81212 markings, 285187 edges, 1002 markings/sec, 105 secs
lola: 86218 markings, 302718 edges, 1001 markings/sec, 110 secs
lola: 91226 markings, 320357 edges, 1002 markings/sec, 115 secs
lola: 96232 markings, 337967 edges, 1001 markings/sec, 120 secs
lola: 101228 markings, 355713 edges, 999 markings/sec, 125 secs
lola: 106146 markings, 373151 edges, 984 markings/sec, 130 secs
lola: 111564 markings, 391519 edges, 1084 markings/sec, 135 secs
lola: 116813 markings, 409768 edges, 1050 markings/sec, 140 secs
lola: 122003 markings, 429572 edges, 1038 markings/sec, 145 secs
lola: 127192 markings, 447311 edges, 1038 markings/sec, 150 secs
lola: 132188 markings, 464090 edges, 999 markings/sec, 155 secs
lola: 137249 markings, 480351 edges, 1012 markings/sec, 160 secs
lola: 142263 markings, 498003 edges, 1003 markings/sec, 165 secs
lola: 147301 markings, 514152 edges, 1008 markings/sec, 170 secs
lola: 152352 markings, 531356 edges, 1010 markings/sec, 175 secs
lola: 157344 markings, 548738 edges, 998 markings/sec, 180 secs
lola: 162409 markings, 564812 edges, 1013 markings/sec, 185 secs
lola: 167442 markings, 582362 edges, 1007 markings/sec, 190 secs
lola: 172462 markings, 598808 edges, 1004 markings/sec, 195 secs
lola: 177519 markings, 615567 edges, 1011 markings/sec, 200 secs
lola: 182523 markings, 633141 edges, 1001 markings/sec, 205 secs
lola: 187581 markings, 649350 edges, 1012 markings/sec, 210 secs
lola: 192616 markings, 667013 edges, 1007 markings/sec, 215 secs
lola: 197625 markings, 683296 edges, 1002 markings/sec, 220 secs
lola: 202684 markings, 699857 edges, 1012 markings/sec, 225 secs
lola: 207698 markings, 717443 edges, 1003 markings/sec, 230 secs
lola: 212767 markings, 733778 edges, 1014 markings/sec, 235 secs
lola: 217889 markings, 751216 edges, 1024 markings/sec, 240 secs
lola: 222952 markings, 768673 edges, 1013 markings/sec, 245 secs
lola: 228085 markings, 785102 edges, 1027 markings/sec, 250 secs
lola: 233103 markings, 802626 edges, 1004 markings/sec, 255 secs
lola: 238119 markings, 819024 edges, 1003 markings/sec, 260 secs
lola: 243164 markings, 835743 edges, 1009 markings/sec, 265 secs
lola: 248164 markings, 853384 edges, 1000 markings/sec, 270 secs
lola: 253226 markings, 869550 edges, 1012 markings/sec, 275 secs
lola: 258343 markings, 887537 edges, 1023 markings/sec, 280 secs
lola: 263432 markings, 904123 edges, 1018 markings/sec, 285 secs
lola: 268574 markings, 920875 edges, 1028 markings/sec, 290 secs
lola: 273679 markings, 938755 edges, 1021 markings/sec, 295 secs
lola: 278784 markings, 955225 edges, 1021 markings/sec, 300 secs
lola: 283896 markings, 972952 edges, 1022 markings/sec, 305 secs
lola: 289079 markings, 990656 edges, 1037 markings/sec, 310 secs
lola: 294323 markings, 1008281 edges, 1049 markings/sec, 315 secs
lola: 299370 markings, 1025176 edges, 1009 markings/sec, 320 secs
lola: 304403 markings, 1041225 edges, 1007 markings/sec, 325 secs
lola: 309431 markings, 1057434 edges, 1006 markings/sec, 330 secs
lola: 314462 markings, 1073788 edges, 1006 markings/sec, 335 secs
lola: 319478 markings, 1089952 edges, 1003 markings/sec, 340 secs
lola: 324428 markings, 1106058 edges, 990 markings/sec, 345 secs
lola: 329377 markings, 1122307 edges, 990 markings/sec, 350 secs
lola: 334333 markings, 1138285 edges, 991 markings/sec, 355 secs
lola: 339285 markings, 1154169 edges, 990 markings/sec, 360 secs
lola: 344237 markings, 1170162 edges, 990 markings/sec, 365 secs
lola: 349188 markings, 1186292 edges, 990 markings/sec, 370 secs
lola: 354139 markings, 1202277 edges, 990 markings/sec, 375 secs
lola: 359088 markings, 1218369 edges, 990 markings/sec, 380 secs
lola: 364035 markings, 1234491 edges, 989 markings/sec, 385 secs
lola: 368987 markings, 1250604 edges, 990 markings/sec, 390 secs
lola: 373936 markings, 1266458 edges, 990 markings/sec, 395 secs
lola: 378886 markings, 1282413 edges, 990 markings/sec, 400 secs
lola: 383830 markings, 1298588 edges, 989 markings/sec, 405 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown 1 21 1 unknown 1 unknown 10 unknown 1 unknown unknown 1 unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown unknown 1 21 1 unknown 1 unknown 10 unknown 1 unknown unknown 1 unknown unknown
lola: memory consumption: 81744 KB
lola: time consumption: 1489 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 415 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p395 + p396 + p397 + p398 + p399 + p400 + p401 + p402 + p403 + p404 + p405 + p406 + p407 + p408 + p409 + p410 + p411 + p412 + p413 + p414 + p415)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p395 + p396 + p397 + p398 + p399 + p400 + p401 + p402 + p403 + p404 + p405 + p406 + p407 + p408 + p409 + p410 + p411 + p412 + p413 + p414 + p415)
lola: processed formula length: 149
lola: 0 rewrites
lola: closed formula file PolyORBNT-COL-S10J20-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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 5468 markings, 18721 edges, 1094 markings/sec, 30 secs
lola: 10812 markings, 37890 edges, 1069 markings/sec, 35 secs
lola: 15982 markings, 57128 edges, 1034 markings/sec, 40 secs
lola: 20960 markings, 74517 edges, 996 markings/sec, 45 secs
lola: 25935 markings, 91916 edges, 995 markings/sec, 50 secs
lola: 30838 markings, 109067 edges, 981 markings/sec, 55 secs
lola: 35736 markings, 126343 edges, 980 markings/sec, 60 secs
lola: 40709 markings, 143702 edges, 995 markings/sec, 65 secs
lola: 45683 markings, 161292 edges, 995 markings/sec, 70 secs
lola: 50659 markings, 179001 edges, 995 markings/sec, 75 secs
lola: 55640 markings, 196212 edges, 996 markings/sec, 80 secs
lola: 60621 markings, 213434 edges, 996 markings/sec, 85 secs
lola: 65599 markings, 230718 edges, 996 markings/sec, 90 secs
lola: 70586 markings, 248054 edges, 997 markings/sec, 95 secs
lola: 75568 markings, 265530 edges, 996 markings/sec, 100 secs
lola: 80555 markings, 282944 edges, 997 markings/sec, 105 secs
lola: 85542 markings, 300387 edges, 997 markings/sec, 110 secs
lola: 90530 markings, 317799 edges, 998 markings/sec, 115 secs
lola: 95467 markings, 335115 edges, 987 markings/sec, 120 secs
lola: 100362 markings, 352392 edges, 979 markings/sec, 125 secs
lola: 105258 markings, 369476 edges, 979 markings/sec, 130 secs
lola: 110579 markings, 388766 edges, 1064 markings/sec, 135 secs
lola: 115805 markings, 406481 edges, 1045 markings/sec, 140 secs
lola: 120995 markings, 426322 edges, 1038 markings/sec, 145 secs
lola: 125980 markings, 442688 edges, 997 markings/sec, 150 secs
lola: 131052 markings, 459702 edges, 1014 markings/sec, 155 secs
lola: 136121 markings, 476991 edges, 1014 markings/sec, 160 secs
lola: 141176 markings, 494109 edges, 1011 markings/sec, 165 secs
lola: 146191 markings, 511379 edges, 1003 markings/sec, 170 secs
lola: 151195 markings, 528586 edges, 1001 markings/sec, 175 secs
lola: 156241 markings, 546058 edges, 1009 markings/sec, 180 secs
lola: 161305 markings, 562857 edges, 1013 markings/sec, 185 secs
lola: 166366 markings, 579745 edges, 1012 markings/sec, 190 secs
lola: 171418 markings, 596983 edges, 1010 markings/sec, 195 secs
lola: 176474 markings, 614092 edges, 1011 markings/sec, 200 secs
lola: 181529 markings, 631500 edges, 1011 markings/sec, 205 secs
lola: 186595 markings, 648923 edges, 1013 markings/sec, 210 secs
lola: 191645 markings, 666486 edges, 1010 markings/sec, 215 secs
lola: 196724 markings, 683157 edges, 1016 markings/sec, 220 secs
lola: 201786 markings, 700203 edges, 1012 markings/sec, 225 secs
lola: 206856 markings, 717433 edges, 1014 markings/sec, 230 secs
lola: 211918 markings, 734573 edges, 1012 markings/sec, 235 secs
lola: 216989 markings, 752009 edges, 1014 markings/sec, 240 secs
lola: 222051 markings, 769422 edges, 1012 markings/sec, 245 secs
lola: 227104 markings, 787114 edges, 1011 markings/sec, 250 secs
lola: 232159 markings, 803666 edges, 1011 markings/sec, 255 secs
lola: 237324 markings, 821249 edges, 1033 markings/sec, 260 secs
lola: 242521 markings, 838850 edges, 1039 markings/sec, 265 secs
lola: 247696 markings, 855695 edges, 1035 markings/sec, 270 secs
lola: 252862 markings, 872724 edges, 1033 markings/sec, 275 secs
lola: 258043 markings, 889184 edges, 1036 markings/sec, 280 secs
lola: 263227 markings, 905942 edges, 1037 markings/sec, 285 secs
lola: 268395 markings, 922703 edges, 1034 markings/sec, 290 secs
lola: 273553 markings, 939634 edges, 1032 markings/sec, 295 secs
lola: 278740 markings, 956282 edges, 1037 markings/sec, 300 secs
lola: 283895 markings, 972896 edges, 1031 markings/sec, 305 secs
lola: 289038 markings, 990701 edges, 1029 markings/sec, 310 secs
lola: 294096 markings, 1007412 edges, 1012 markings/sec, 315 secs
lola: 299142 markings, 1024328 edges, 1009 markings/sec, 320 secs
lola: 304199 markings, 1041470 edges, 1011 markings/sec, 325 secs
lola: 309258 markings, 1058761 edges, 1012 markings/sec, 330 secs
lola: 314316 markings, 1076425 edges, 1012 markings/sec, 335 secs
lola: 319402 markings, 1093584 edges, 1017 markings/sec, 340 secs
lola: 324499 markings, 1111150 edges, 1019 markings/sec, 345 secs
lola: 329578 markings, 1128095 edges, 1016 markings/sec, 350 secs
lola: 334631 markings, 1145004 edges, 1011 markings/sec, 355 secs
lola: 339690 markings, 1162150 edges, 1012 markings/sec, 360 secs
lola: 344741 markings, 1179379 edges, 1010 markings/sec, 365 secs
lola: 349795 markings, 1196934 edges, 1011 markings/sec, 370 secs
lola: 354869 markings, 1214129 edges, 1015 markings/sec, 375 secs
lola: 359950 markings, 1231646 edges, 1016 markings/sec, 380 secs
lola: 365007 markings, 1248567 edges, 1011 markings/sec, 385 secs
lola: 370054 markings, 1265418 edges, 1009 markings/sec, 390 secs
lola: 375021 markings, 1282294 edges, 993 markings/sec, 395 secs
lola: 379984 markings, 1299197 edges, 993 markings/sec, 400 secs
lola: 384949 markings, 1316508 edges, 993 markings/sec, 405 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown 1 21 1 unknown 1 unknown 10 unknown 1 unknown unknown 1 unknown unknown
lola: memory consumption: 81772 KB
lola: time consumption: 1904 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 415 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22)
lola: processed formula length: 120
lola: 0 rewrites
lola: closed formula file PolyORBNT-COL-S10J20-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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 5378 markings, 18424 edges, 1076 markings/sec, 30 secs
lola: 10627 markings, 37174 edges, 1050 markings/sec, 35 secs
lola: 15747 markings, 56265 edges, 1024 markings/sec, 40 secs
lola: 20660 markings, 73503 edges, 983 markings/sec, 45 secs
lola: 25551 markings, 90617 edges, 978 markings/sec, 50 secs
lola: 30457 markings, 107701 edges, 981 markings/sec, 55 secs
lola: 35371 markings, 124861 edges, 983 markings/sec, 60 secs
lola: 40280 markings, 142153 edges, 982 markings/sec, 65 secs
lola: 45196 markings, 159391 edges, 983 markings/sec, 70 secs
lola: 50107 markings, 176694 edges, 982 markings/sec, 75 secs
lola: 55018 markings, 194041 edges, 982 markings/sec, 80 secs
lola: 59932 markings, 211487 edges, 983 markings/sec, 85 secs
lola: 64853 markings, 228451 edges, 984 markings/sec, 90 secs
lola: 69767 markings, 245443 edges, 983 markings/sec, 95 secs
lola: 74684 markings, 262525 edges, 983 markings/sec, 100 secs
lola: 79601 markings, 279765 edges, 983 markings/sec, 105 secs
lola: 84583 markings, 296947 edges, 996 markings/sec, 110 secs
lola: 89604 markings, 314526 edges, 1004 markings/sec, 115 secs
lola: 94640 markings, 332278 edges, 1007 markings/sec, 120 secs
lola: 99679 markings, 349742 edges, 1008 markings/sec, 125 secs
lola: 104670 markings, 367248 edges, 998 markings/sec, 130 secs
lola: 110063 markings, 386660 edges, 1079 markings/sec, 135 secs
lola: 115404 markings, 404785 edges, 1068 markings/sec, 140 secs
lola: 120709 markings, 424950 edges, 1061 markings/sec, 145 secs
lola: 125976 markings, 442924 edges, 1053 markings/sec, 150 secs
lola: 131106 markings, 459990 edges, 1026 markings/sec, 155 secs
lola: 136244 markings, 477187 edges, 1028 markings/sec, 160 secs
lola: 141330 markings, 495072 edges, 1017 markings/sec, 165 secs
lola: 146473 markings, 511547 edges, 1029 markings/sec, 170 secs
lola: 151599 markings, 529526 edges, 1025 markings/sec, 175 secs
lola: 156734 markings, 546306 edges, 1027 markings/sec, 180 secs
lola: 161930 markings, 563215 edges, 1039 markings/sec, 185 secs
lola: 167047 markings, 581109 edges, 1023 markings/sec, 190 secs
lola: 172170 markings, 597708 edges, 1025 markings/sec, 195 secs
lola: 177307 markings, 614966 edges, 1027 markings/sec, 200 secs
lola: 182397 markings, 632866 edges, 1018 markings/sec, 205 secs
lola: 187540 markings, 649309 edges, 1029 markings/sec, 210 secs
lola: 192665 markings, 667354 edges, 1025 markings/sec, 215 secs
lola: 197760 markings, 683986 edges, 1019 markings/sec, 220 secs
lola: 203005 markings, 701042 edges, 1049 markings/sec, 225 secs
lola: 208259 markings, 719354 edges, 1051 markings/sec, 230 secs
lola: 213466 markings, 736536 edges, 1041 markings/sec, 235 secs
lola: 218703 markings, 753903 edges, 1047 markings/sec, 240 secs
lola: 223909 markings, 771980 edges, 1041 markings/sec, 245 secs
lola: 229053 markings, 788503 edges, 1029 markings/sec, 250 secs
lola: 234146 markings, 805983 edges, 1019 markings/sec, 255 secs
lola: 239263 markings, 823509 edges, 1023 markings/sec, 260 secs
lola: 244520 markings, 840439 edges, 1051 markings/sec, 265 secs
lola: 249768 markings, 858763 edges, 1050 markings/sec, 270 secs
lola: 255005 markings, 875958 edges, 1047 markings/sec, 275 secs
lola: 260166 markings, 892919 edges, 1032 markings/sec, 280 secs
lola: 265146 markings, 910317 edges, 996 markings/sec, 285 secs
lola: 270136 markings, 926414 edges, 998 markings/sec, 290 secs
lola: 275139 markings, 943604 edges, 1001 markings/sec, 295 secs
lola: 280086 markings, 960354 edges, 989 markings/sec, 300 secs
lola: 285091 markings, 976932 edges, 1001 markings/sec, 305 secs
lola: 290188 markings, 993909 edges, 1019 markings/sec, 310 secs
lola: 295281 markings, 1011781 edges, 1019 markings/sec, 315 secs
lola: 300244 markings, 1028584 edges, 993 markings/sec, 320 secs
lola: 305238 markings, 1044964 edges, 999 markings/sec, 325 secs
lola: 310133 markings, 1061707 edges, 979 markings/sec, 330 secs
lola: 315168 markings, 1078242 edges, 1007 markings/sec, 335 secs
lola: 320238 markings, 1095480 edges, 1014 markings/sec, 340 secs
lola: 325270 markings, 1113012 edges, 1006 markings/sec, 345 secs
lola: 330266 markings, 1128832 edges, 999 markings/sec, 350 secs
lola: 335283 markings, 1146082 edges, 1003 markings/sec, 355 secs
lola: 340249 markings, 1162402 edges, 993 markings/sec, 360 secs
lola: 345244 markings, 1179332 edges, 999 markings/sec, 365 secs
lola: 350227 markings, 1196473 edges, 997 markings/sec, 370 secs
lola: 355215 markings, 1212496 edges, 998 markings/sec, 375 secs
lola: 360231 markings, 1229903 edges, 1003 markings/sec, 380 secs
lola: 365190 markings, 1246231 edges, 992 markings/sec, 385 secs
lola: 370180 markings, 1263099 edges, 998 markings/sec, 390 secs
lola: 375178 markings, 1280027 edges, 1000 markings/sec, 395 secs
lola: 380157 markings, 1296233 edges, 996 markings/sec, 400 secs
lola: 385178 markings, 1313616 edges, 1004 markings/sec, 405 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown 1 21 1 unknown 1 unknown 10 unknown 1 unknown unknown 1 unknown unknown
lola: memory consumption: 81772 KB
lola: time consumption: 2319 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 415 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p395 + p396 + p397 + p398 + p399 + p400 + p401 + p402 + p403 + p404 + p405 + p406 + p407 + p408 + p409 + p410 + p411 + p412 + p413 + p414 + p415)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p395 + p396 + p397 + p398 + p399 + p400 + p401 + p402 + p403 + p404 + p405 + p406 + p407 + p408 + p409 + p410 + p411 + p412 + p413 + p414 + p415)
lola: processed formula length: 149
lola: 0 rewrites
lola: closed formula file PolyORBNT-COL-S10J20-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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 5469 markings, 18726 edges, 1094 markings/sec, 30 secs
lola: 10876 markings, 38102 edges, 1081 markings/sec, 35 secs
lola: 16299 markings, 58251 edges, 1085 markings/sec, 40 secs
lola: 21509 markings, 76428 edges, 1042 markings/sec, 45 secs
lola: 26631 markings, 94473 edges, 1024 markings/sec, 50 secs
lola: 31667 markings, 112221 edges, 1007 markings/sec, 55 secs
lola: 36704 markings, 130112 edges, 1007 markings/sec, 60 secs
lola: 41730 markings, 147629 edges, 1005 markings/sec, 65 secs
lola: 46768 markings, 165016 edges, 1008 markings/sec, 70 secs
lola: 51803 markings, 182474 edges, 1007 markings/sec, 75 secs
lola: 56856 markings, 200022 edges, 1011 markings/sec, 80 secs
lola: 61906 markings, 217641 edges, 1010 markings/sec, 85 secs
lola: 66943 markings, 235452 edges, 1007 markings/sec, 90 secs
lola: 71972 markings, 252901 edges, 1006 markings/sec, 95 secs
lola: 77006 markings, 270570 edges, 1007 markings/sec, 100 secs
lola: 82184 markings, 288772 edges, 1036 markings/sec, 105 secs
lola: 87353 markings, 307141 edges, 1034 markings/sec, 110 secs
lola: 92537 markings, 325261 edges, 1037 markings/sec, 115 secs
lola: 97719 markings, 343088 edges, 1036 markings/sec, 120 secs
lola: 102897 markings, 361028 edges, 1036 markings/sec, 125 secs
lola: 108292 markings, 380280 edges, 1079 markings/sec, 130 secs
lola: 113749 markings, 398811 edges, 1091 markings/sec, 135 secs
lola: 119185 markings, 418815 edges, 1087 markings/sec, 140 secs
lola: 124473 markings, 437354 edges, 1058 markings/sec, 145 secs
lola: 129660 markings, 455016 edges, 1037 markings/sec, 150 secs
lola: 134810 markings, 472537 edges, 1030 markings/sec, 155 secs
lola: 140021 markings, 490325 edges, 1042 markings/sec, 160 secs
lola: 145277 markings, 508452 edges, 1051 markings/sec, 165 secs
lola: 150556 markings, 526985 edges, 1056 markings/sec, 170 secs
lola: 155850 markings, 544383 edges, 1059 markings/sec, 175 secs
lola: 161143 markings, 562210 edges, 1059 markings/sec, 180 secs
lola: 166432 markings, 580045 edges, 1058 markings/sec, 185 secs
lola: 171606 markings, 597614 edges, 1035 markings/sec, 190 secs
lola: 176764 markings, 615156 edges, 1032 markings/sec, 195 secs
lola: 181811 markings, 632283 edges, 1009 markings/sec, 200 secs
lola: 186731 markings, 649395 edges, 984 markings/sec, 205 secs
lola: 191708 markings, 666721 edges, 995 markings/sec, 210 secs
lola: 196952 markings, 684113 edges, 1049 markings/sec, 215 secs
lola: 202245 markings, 701915 edges, 1059 markings/sec, 220 secs
lola: 207539 markings, 719741 edges, 1059 markings/sec, 225 secs
lola: 212820 markings, 737712 edges, 1056 markings/sec, 230 secs
lola: 218091 markings, 755603 edges, 1054 markings/sec, 235 secs
lola: 223360 markings, 773512 edges, 1054 markings/sec, 240 secs
lola: 228641 markings, 791674 edges, 1056 markings/sec, 245 secs
lola: 233919 markings, 810089 edges, 1056 markings/sec, 250 secs
lola: 239402 markings, 828775 edges, 1097 markings/sec, 255 secs
lola: 244827 markings, 846345 edges, 1085 markings/sec, 260 secs
lola: 250251 markings, 864017 edges, 1085 markings/sec, 265 secs
lola: 255679 markings, 881520 edges, 1086 markings/sec, 270 secs
lola: 261103 markings, 899051 edges, 1085 markings/sec, 275 secs
lola: 266522 markings, 916763 edges, 1084 markings/sec, 280 secs
lola: 271927 markings, 934172 edges, 1081 markings/sec, 285 secs
lola: 277221 markings, 951381 edges, 1059 markings/sec, 290 secs
lola: 282472 markings, 968376 edges, 1050 markings/sec, 295 secs
lola: 287682 markings, 985448 edges, 1042 markings/sec, 300 secs
lola: 292844 markings, 1003076 edges, 1032 markings/sec, 305 secs
lola: 297977 markings, 1020330 edges, 1027 markings/sec, 310 secs
lola: 303081 markings, 1037864 edges, 1021 markings/sec, 315 secs
lola: 308223 markings, 1055595 edges, 1028 markings/sec, 320 secs
lola: 313340 markings, 1072989 edges, 1023 markings/sec, 325 secs
lola: 318445 markings, 1090812 edges, 1021 markings/sec, 330 secs
lola: 323578 markings, 1107681 edges, 1027 markings/sec, 335 secs
lola: 328715 markings, 1124937 edges, 1027 markings/sec, 340 secs
lola: 333845 markings, 1142318 edges, 1026 markings/sec, 345 secs
lola: 338975 markings, 1159816 edges, 1026 markings/sec, 350 secs
lola: 344106 markings, 1177449 edges, 1026 markings/sec, 355 secs
lola: 349239 markings, 1195019 edges, 1027 markings/sec, 360 secs
lola: 354392 markings, 1212590 edges, 1031 markings/sec, 365 secs
lola: 359540 markings, 1230320 edges, 1030 markings/sec, 370 secs
lola: 364682 markings, 1247323 edges, 1028 markings/sec, 375 secs
lola: 369817 markings, 1264619 edges, 1027 markings/sec, 380 secs
lola: 374943 markings, 1281990 edges, 1025 markings/sec, 385 secs
lola: 380074 markings, 1299493 edges, 1026 markings/sec, 390 secs
lola: 385176 markings, 1317199 edges, 1020 markings/sec, 395 secs
lola: 390269 markings, 1334474 edges, 1019 markings/sec, 400 secs
lola: 395381 markings, 1352023 edges, 1022 markings/sec, 405 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown 1 21 1 unknown 1 unknown 10 unknown 1 unknown unknown 1 unknown unknown
lola: memory consumption: 82312 KB
lola: time consumption: 2734 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 415 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p352 + p353 + p354 + p355 + p356 + p357 + p358 + p359 + p360 + p361 + p362 + p363 + p364 + p365 + p366 + p367 + p368 + p369 + p370 + p371 + p372)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p352 + p353 + p354 + p355 + p356 + p357 + p358 + p359 + p360 + p361 + p362 + p363 + p364 + p365 + p366 + p367 + p368 + p369 + p370 + p371 + p372)
lola: processed formula length: 149
lola: 0 rewrites
lola: closed formula file PolyORBNT-COL-S10J20-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: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 23 markings, 22 edges
lola: ========================================

FORMULA PolyORBNT-COL-S10J20-UpperBounds-1 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 829 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(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 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 + p151 + p152 + p153 + p154 + p155 + p156... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(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 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 + p151 + p152 + p153 + p154 + p155 + p156... (shortened)
lola: processed formula length: 1464
lola: 0 rewrites
lola: closed formula file PolyORBNT-COL-S10J20-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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 5620 markings, 19215 edges, 1124 markings/sec, 30 secs
lola: 11179 markings, 39324 edges, 1112 markings/sec, 35 secs
lola: 16575 markings, 59157 edges, 1079 markings/sec, 40 secs
lola: 21826 markings, 77627 edges, 1050 markings/sec, 45 secs
lola: 27013 markings, 95902 edges, 1037 markings/sec, 50 secs
lola: 32164 markings, 114304 edges, 1030 markings/sec, 55 secs
lola: 37289 markings, 131962 edges, 1025 markings/sec, 60 secs
lola: 42416 markings, 149716 edges, 1025 markings/sec, 65 secs
lola: 47571 markings, 167558 edges, 1031 markings/sec, 70 secs
lola: 52705 markings, 185476 edges, 1027 markings/sec, 75 secs
lola: 57856 markings, 203575 edges, 1030 markings/sec, 80 secs
lola: 62972 markings, 221403 edges, 1023 markings/sec, 85 secs
lola: 67954 markings, 238898 edges, 996 markings/sec, 90 secs
lola: 72947 markings, 256463 edges, 999 markings/sec, 95 secs
lola: 77940 markings, 274069 edges, 999 markings/sec, 100 secs
lola: 82929 markings, 291806 edges, 998 markings/sec, 105 secs
lola: 87926 markings, 309142 edges, 999 markings/sec, 110 secs
lola: 92917 markings, 326377 edges, 998 markings/sec, 115 secs
lola: 98029 markings, 344156 edges, 1022 markings/sec, 120 secs
lola: 103181 markings, 362014 edges, 1030 markings/sec, 125 secs
lola: 108624 markings, 381464 edges, 1089 markings/sec, 130 secs
lola: 114128 markings, 400085 edges, 1101 markings/sec, 135 secs
lola: 119605 markings, 420366 edges, 1095 markings/sec, 140 secs
lola: 125033 markings, 439555 edges, 1086 markings/sec, 145 secs
lola: 130336 markings, 457255 edges, 1061 markings/sec, 150 secs
lola: 135620 markings, 475382 edges, 1057 markings/sec, 155 secs
lola: 140865 markings, 493344 edges, 1049 markings/sec, 160 secs
lola: 146158 markings, 510383 edges, 1059 markings/sec, 165 secs
lola: 151441 markings, 528805 edges, 1057 markings/sec, 170 secs
lola: 156630 markings, 545817 edges, 1038 markings/sec, 175 secs
lola: 161942 markings, 563223 edges, 1062 markings/sec, 180 secs
lola: 167220 markings, 581629 edges, 1056 markings/sec, 185 secs
lola: 172490 markings, 598974 edges, 1054 markings/sec, 190 secs
lola: 177809 markings, 616644 edges, 1064 markings/sec, 195 secs
lola: 183154 markings, 635070 edges, 1069 markings/sec, 200 secs
lola: 188505 markings, 652408 edges, 1070 markings/sec, 205 secs
lola: 193879 markings, 670485 edges, 1075 markings/sec, 210 secs
lola: 199093 markings, 688657 edges, 1043 markings/sec, 215 secs
lola: 204272 markings, 705323 edges, 1036 markings/sec, 220 secs
lola: 209422 markings, 722986 edges, 1030 markings/sec, 225 secs
lola: 214530 markings, 740221 edges, 1022 markings/sec, 230 secs
lola: 219765 markings, 757213 edges, 1047 markings/sec, 235 secs
lola: 224941 markings, 775262 edges, 1035 markings/sec, 240 secs
lola: 230115 markings, 792161 edges, 1035 markings/sec, 245 secs
lola: 235324 markings, 809447 edges, 1042 markings/sec, 250 secs
lola: 240486 markings, 827406 edges, 1032 markings/sec, 255 secs
lola: 245688 markings, 844254 edges, 1040 markings/sec, 260 secs
lola: 250951 markings, 862135 edges, 1053 markings/sec, 265 secs
lola: 256126 markings, 880243 edges, 1035 markings/sec, 270 secs
lola: 261371 markings, 897003 edges, 1049 markings/sec, 275 secs
lola: 266579 markings, 915202 edges, 1042 markings/sec, 280 secs
lola: 271689 markings, 931852 edges, 1022 markings/sec, 285 secs
lola: 276885 markings, 948734 edges, 1039 markings/sec, 290 secs
lola: 282070 markings, 966830 edges, 1037 markings/sec, 295 secs
lola: 287291 markings, 984087 edges, 1044 markings/sec, 300 secs
lola: 292620 markings, 1002035 edges, 1066 markings/sec, 305 secs
lola: 297813 markings, 1019772 edges, 1039 markings/sec, 310 secs
lola: 302925 markings, 1036428 edges, 1022 markings/sec, 315 secs
lola: 308064 markings, 1053041 edges, 1028 markings/sec, 320 secs
lola: 313211 markings, 1069957 edges, 1029 markings/sec, 325 secs
lola: 318336 markings, 1086336 edges, 1025 markings/sec, 330 secs
lola: 323446 markings, 1102811 edges, 1022 markings/sec, 335 secs
lola: 328539 markings, 1119347 edges, 1019 markings/sec, 340 secs
lola: 333647 markings, 1135936 edges, 1022 markings/sec, 345 secs
lola: 338741 markings, 1152700 edges, 1019 markings/sec, 350 secs
lola: 343847 markings, 1168965 edges, 1021 markings/sec, 355 secs
lola: 348959 markings, 1185476 edges, 1022 markings/sec, 360 secs
lola: 354057 markings, 1201983 edges, 1020 markings/sec, 365 secs
lola: 359174 markings, 1218629 edges, 1023 markings/sec, 370 secs
lola: 364328 markings, 1235563 edges, 1031 markings/sec, 375 secs
lola: 369467 markings, 1251969 edges, 1028 markings/sec, 380 secs
lola: 374570 markings, 1268462 edges, 1021 markings/sec, 385 secs
lola: 379676 markings, 1284962 edges, 1021 markings/sec, 390 secs
lola: 384788 markings, 1301787 edges, 1022 markings/sec, 395 secs
lola: 390006 markings, 1319449 edges, 1044 markings/sec, 400 secs
lola: 395147 markings, 1336178 edges, 1028 markings/sec, 405 secs
lola: 400254 markings, 1353076 edges, 1021 markings/sec, 410 secs
lola: 405357 markings, 1369238 edges, 1021 markings/sec, 415 secs
lola: 410474 markings, 1385734 edges, 1023 markings/sec, 420 secs
lola: 415578 markings, 1402282 edges, 1021 markings/sec, 425 secs
lola: 420662 markings, 1418832 edges, 1017 markings/sec, 430 secs
lola: 425763 markings, 1435688 edges, 1020 markings/sec, 435 secs
lola: 430870 markings, 1451862 edges, 1021 markings/sec, 440 secs
lola: 436104 markings, 1468819 edges, 1047 markings/sec, 445 secs
lola: 441390 markings, 1486036 edges, 1057 markings/sec, 450 secs
lola: 446663 markings, 1503272 edges, 1055 markings/sec, 455 secs
lola: 451814 markings, 1519752 edges, 1030 markings/sec, 460 secs
lola: 456933 markings, 1536281 edges, 1024 markings/sec, 465 secs
lola: 462038 markings, 1552793 edges, 1021 markings/sec, 470 secs
lola: 467077 markings, 1569229 edges, 1008 markings/sec, 475 secs
lola: 472184 markings, 1585897 edges, 1021 markings/sec, 480 secs
lola: 477290 markings, 1602297 edges, 1021 markings/sec, 485 secs
lola: 482431 markings, 1618984 edges, 1028 markings/sec, 490 secs
lola: 487604 markings, 1636703 edges, 1035 markings/sec, 495 secs
lola: 492624 markings, 1652886 edges, 1004 markings/sec, 500 secs
lola: 497743 markings, 1669469 edges, 1024 markings/sec, 505 secs
lola: 502853 markings, 1686107 edges, 1022 markings/sec, 510 secs
lola: 507972 markings, 1702885 edges, 1024 markings/sec, 515 secs
lola: 513094 markings, 1719266 edges, 1024 markings/sec, 520 secs
lola: 518288 markings, 1735994 edges, 1039 markings/sec, 525 secs
lola: 523562 markings, 1753119 edges, 1055 markings/sec, 530 secs
lola: 528828 markings, 1770450 edges, 1053 markings/sec, 535 secs
lola: 534114 markings, 1787339 edges, 1057 markings/sec, 540 secs
lola: 539396 markings, 1804435 edges, 1056 markings/sec, 545 secs
lola: 544619 markings, 1821386 edges, 1045 markings/sec, 550 secs
lola: 549806 markings, 1838465 edges, 1037 markings/sec, 555 secs
lola: 555009 markings, 1855050 edges, 1041 markings/sec, 560 secs
lola: 560184 markings, 1871862 edges, 1035 markings/sec, 565 secs
lola: 565369 markings, 1888627 edges, 1037 markings/sec, 570 secs
lola: 570560 markings, 1905706 edges, 1038 markings/sec, 575 secs
lola: 575746 markings, 1922321 edges, 1037 markings/sec, 580 secs
lola: 580990 markings, 1940357 edges, 1049 markings/sec, 585 secs
lola: 586263 markings, 1957269 edges, 1055 markings/sec, 590 secs
lola: 591380 markings, 1973792 edges, 1023 markings/sec, 595 secs
lola: 596410 markings, 1990085 edges, 1006 markings/sec, 600 secs
lola: 601443 markings, 2006476 edges, 1007 markings/sec, 605 secs
lola: 606482 markings, 2022999 edges, 1008 markings/sec, 610 secs
lola: 611507 markings, 2039152 edges, 1005 markings/sec, 615 secs
lola: 616678 markings, 2055735 edges, 1034 markings/sec, 620 secs
lola: 621801 markings, 2072346 edges, 1025 markings/sec, 625 secs
lola: 626993 markings, 2089229 edges, 1038 markings/sec, 630 secs
lola: 632174 markings, 2106217 edges, 1036 markings/sec, 635 secs
lola: 637321 markings, 2122734 edges, 1029 markings/sec, 640 secs
lola: 642514 markings, 2139595 edges, 1039 markings/sec, 645 secs
lola: 647701 markings, 2156340 edges, 1037 markings/sec, 650 secs
lola: 652857 markings, 2173308 edges, 1031 markings/sec, 655 secs
lola: 658088 markings, 2189945 edges, 1046 markings/sec, 660 secs
lola: 663366 markings, 2207126 edges, 1056 markings/sec, 665 secs
lola: 668627 markings, 2224101 edges, 1052 markings/sec, 670 secs
lola: 673900 markings, 2241201 edges, 1055 markings/sec, 675 secs
lola: 679289 markings, 2259689 edges, 1078 markings/sec, 680 secs
lola: 684524 markings, 2276698 edges, 1047 markings/sec, 685 secs
lola: 689794 markings, 2293618 edges, 1054 markings/sec, 690 secs
lola: 695059 markings, 2310675 edges, 1053 markings/sec, 695 secs
lola: 700338 markings, 2327985 edges, 1056 markings/sec, 700 secs
lola: 705610 markings, 2344945 edges, 1054 markings/sec, 705 secs
lola: 710888 markings, 2362012 edges, 1056 markings/sec, 710 secs
lola: 716158 markings, 2379164 edges, 1054 markings/sec, 715 secs
lola: 721416 markings, 2396384 edges, 1052 markings/sec, 720 secs
lola: 726697 markings, 2413160 edges, 1056 markings/sec, 725 secs
lola: 731960 markings, 2430232 edges, 1053 markings/sec, 730 secs
lola: 737096 markings, 2446932 edges, 1027 markings/sec, 735 secs
lola: 742205 markings, 2463846 edges, 1022 markings/sec, 740 secs
lola: 747312 markings, 2480018 edges, 1021 markings/sec, 745 secs
lola: 752432 markings, 2496534 edges, 1024 markings/sec, 750 secs
lola: 757549 markings, 2513119 edges, 1023 markings/sec, 755 secs
lola: 762662 markings, 2529762 edges, 1023 markings/sec, 760 secs
lola: 767837 markings, 2546748 edges, 1035 markings/sec, 765 secs
lola: 773180 markings, 2564655 edges, 1069 markings/sec, 770 secs
lola: 778544 markings, 2582267 edges, 1073 markings/sec, 775 secs
lola: 783838 markings, 2599273 edges, 1059 markings/sec, 780 secs
lola: 789121 markings, 2616422 edges, 1057 markings/sec, 785 secs
lola: 794412 markings, 2634001 edges, 1058 markings/sec, 790 secs
lola: 799700 markings, 2650683 edges, 1058 markings/sec, 795 secs
lola: 804981 markings, 2667766 edges, 1056 markings/sec, 800 secs
lola: 810263 markings, 2684990 edges, 1056 markings/sec, 805 secs
lola: 815550 markings, 2702137 edges, 1057 markings/sec, 810 secs
lola: 820836 markings, 2719119 edges, 1057 markings/sec, 815 secs
lola: 826122 markings, 2736267 edges, 1057 markings/sec, 820 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown 1 1 21 1 unknown 1 unknown 10 unknown 1 unknown unknown 1 unknown unknown
lola:
preliminary result: unknown 1 1 21 1 unknown 1 unknown 10 unknown 1 unknown unknown 1 unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown 1 1 21 1 unknown 1 unknown 10 unknown 1 unknown unknown 1 unknown unknown
lola: memory consumption: 99624 KB
lola: time consumption: 3565 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown 1 1 21 1 unknown 1 unknown 10 unknown 1 unknown unknown 1 unknown unknown
lola: memory consumption: 99624 KB
lola: time consumption: 3565 seconds

BK_STOP 1554069961539

--------------------
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="PolyORBNT-COL-S10J20"
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 PolyORBNT-COL-S10J20, 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 r132-oct2-155403939100016"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/PolyORBNT-COL-S10J20.tgz
mv PolyORBNT-COL-S10J20 execution
cd execution
if [ "UpperBounds" = "GlobalProperties" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
if [ "UpperBounds" = "UpperBounds" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' UpperBounds.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;