About the Execution of LoLA for BridgeAndVehicles-COL-V80P50N50
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
472.510 | 3539751.00 | 3550120.00 | 195.10 | ? ? 1 1 1 1 ? ? 1 ? ? ? ? ? 80 ? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
.......
=====================================================================
Generated by BenchKit 2-3254
Executing tool lola
Input is BridgeAndVehicles-COL-V80P50N50, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r008-csrt-149436126300425
=====================================================================
--------------------
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 BridgeAndVehicles-COL-V80P50N50-UpperBounds-0
FORMULA_NAME BridgeAndVehicles-COL-V80P50N50-UpperBounds-1
FORMULA_NAME BridgeAndVehicles-COL-V80P50N50-UpperBounds-10
FORMULA_NAME BridgeAndVehicles-COL-V80P50N50-UpperBounds-11
FORMULA_NAME BridgeAndVehicles-COL-V80P50N50-UpperBounds-12
FORMULA_NAME BridgeAndVehicles-COL-V80P50N50-UpperBounds-13
FORMULA_NAME BridgeAndVehicles-COL-V80P50N50-UpperBounds-14
FORMULA_NAME BridgeAndVehicles-COL-V80P50N50-UpperBounds-15
FORMULA_NAME BridgeAndVehicles-COL-V80P50N50-UpperBounds-2
FORMULA_NAME BridgeAndVehicles-COL-V80P50N50-UpperBounds-3
FORMULA_NAME BridgeAndVehicles-COL-V80P50N50-UpperBounds-4
FORMULA_NAME BridgeAndVehicles-COL-V80P50N50-UpperBounds-5
FORMULA_NAME BridgeAndVehicles-COL-V80P50N50-UpperBounds-6
FORMULA_NAME BridgeAndVehicles-COL-V80P50N50-UpperBounds-7
FORMULA_NAME BridgeAndVehicles-COL-V80P50N50-UpperBounds-8
FORMULA_NAME BridgeAndVehicles-COL-V80P50N50-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1494612532702
Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ BridgeAndVehicles-COL-V80P50N50 @ 3540 seconds
----- Start make result stdout -----
lola: LoLA will run for 3540 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 8816/65536 symbol table entries, 2860 collisions
lola: preprocessing...
lola: finding significant places
lola: 228 places, 8588 transitions, 221 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 9173 transition conflict sets
lola: TASK
lola: reading formula from BridgeAndVehicles-COL-V80P50N50-UpperBounds.task
lola: MAX(p226 + p227) : MAX(p224 + p225) : MAX(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) : MAX(p224 + p225) : MAX(p224 + p225) : MAX(p3) : MAX(p3) : MAX(p223) : MAX(p5) : MAX(p4) : MAX(p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 + p85 + p86) : 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 + p98 + p97 + p96 + p95 + p94 + p93 + p91 + p92 + p99) : MAX(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) : MAX(p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 + p85 + p86) : MAX(p87) : MAX(p3)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p226 + p227)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 884 bytes per marking, with 0 unused bits
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: 1882 markings, 3446 edges, 376 markings/sec, 0 secs
lola: 3048 markings, 6196 edges, 233 markings/sec, 5 secs
lola: 3997 markings, 8476 edges, 190 markings/sec, 10 secs
lola: 4953 markings, 10741 edges, 191 markings/sec, 15 secs
lola: 5916 markings, 13007 edges, 193 markings/sec, 20 secs
lola: 6878 markings, 15266 edges, 192 markings/sec, 25 secs
lola: 7846 markings, 17555 edges, 194 markings/sec, 30 secs
lola: 8772 markings, 19746 edges, 185 markings/sec, 35 secs
lola: 9641 markings, 21810 edges, 174 markings/sec, 40 secs
lola: 10421 markings, 23667 edges, 156 markings/sec, 45 secs
lola: 11311 markings, 25615 edges, 178 markings/sec, 50 secs
lola: 13129 markings, 29426 edges, 364 markings/sec, 55 secs
lola: 14495 markings, 32537 edges, 273 markings/sec, 60 secs
lola: 15592 markings, 35106 edges, 219 markings/sec, 65 secs
lola: 16649 markings, 37501 edges, 211 markings/sec, 70 secs
lola: 17825 markings, 40150 edges, 235 markings/sec, 75 secs
lola: 19049 markings, 42836 edges, 245 markings/sec, 80 secs
lola: 19960 markings, 44988 edges, 182 markings/sec, 85 secs
lola: 20936 markings, 47209 edges, 195 markings/sec, 90 secs
lola: 22410 markings, 50408 edges, 295 markings/sec, 95 secs
lola: 23528 markings, 53012 edges, 224 markings/sec, 100 secs
lola: 24653 markings, 55526 edges, 225 markings/sec, 105 secs
lola: 25975 markings, 58490 edges, 264 markings/sec, 110 secs
lola: 27034 markings, 60909 edges, 212 markings/sec, 115 secs
lola: 28432 markings, 63996 edges, 280 markings/sec, 120 secs
lola: 29486 markings, 66384 edges, 211 markings/sec, 125 secs
lola: 30861 markings, 69463 edges, 275 markings/sec, 130 secs
lola: 32002 markings, 71955 edges, 228 markings/sec, 135 secs
lola: 33389 markings, 75080 edges, 277 markings/sec, 140 secs
lola: 34639 markings, 77763 edges, 250 markings/sec, 145 secs
lola: 35453 markings, 79774 edges, 163 markings/sec, 150 secs
lola: 36926 markings, 83052 edges, 295 markings/sec, 155 secs
lola: 38270 markings, 85889 edges, 269 markings/sec, 160 secs
lola: 38954 markings, 87575 edges, 137 markings/sec, 165 secs
lola: 40225 markings, 90417 edges, 254 markings/sec, 170 secs
lola: 41147 markings, 92543 edges, 184 markings/sec, 175 secs
lola: 42174 markings, 94748 edges, 205 markings/sec, 180 secs
lola: 43478 markings, 97673 edges, 261 markings/sec, 185 secs
lola: 44602 markings, 100286 edges, 225 markings/sec, 190 secs
lola: 45594 markings, 102538 edges, 198 markings/sec, 195 secs
lola: 46639 markings, 104812 edges, 209 markings/sec, 200 secs
lola: 47894 markings, 107606 edges, 251 markings/sec, 205 secs
lola: 48909 markings, 109964 edges, 203 markings/sec, 210 secs
lola: 49847 markings, 112103 edges, 188 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p224 + p225)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 884 bytes per marking, with 0 unused bits
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: 2425 markings, 3596 edges, 485 markings/sec, 0 secs
lola: 4391 markings, 7710 edges, 393 markings/sec, 5 secs
lola: 5554 markings, 10154 edges, 233 markings/sec, 10 secs
lola: 7387 markings, 14280 edges, 367 markings/sec, 15 secs
lola: 9520 markings, 18969 edges, 427 markings/sec, 20 secs
lola: 10601 markings, 21355 edges, 216 markings/sec, 25 secs
lola: 11706 markings, 23814 edges, 221 markings/sec, 30 secs
lola: 13078 markings, 27120 edges, 274 markings/sec, 35 secs
lola: 15089 markings, 31713 edges, 402 markings/sec, 40 secs
lola: 16925 markings, 35976 edges, 367 markings/sec, 45 secs
lola: 19536 markings, 41919 edges, 522 markings/sec, 50 secs
lola: 20746 markings, 44782 edges, 242 markings/sec, 55 secs
lola: 21794 markings, 47127 edges, 210 markings/sec, 60 secs
lola: 22800 markings, 49201 edges, 201 markings/sec, 65 secs
lola: 23909 markings, 51872 edges, 222 markings/sec, 70 secs
lola: 25036 markings, 54730 edges, 225 markings/sec, 75 secs
lola: 26236 markings, 57683 edges, 240 markings/sec, 80 secs
lola: 27908 markings, 61675 edges, 334 markings/sec, 85 secs
lola: 30302 markings, 67226 edges, 479 markings/sec, 90 secs
lola: 31401 markings, 69850 edges, 220 markings/sec, 95 secs
lola: 33395 markings, 74833 edges, 399 markings/sec, 100 secs
lola: 35395 markings, 79672 edges, 400 markings/sec, 105 secs
lola: 37596 markings, 84914 edges, 440 markings/sec, 110 secs
lola: 40034 markings, 90436 edges, 488 markings/sec, 115 secs
lola: 41095 markings, 93059 edges, 212 markings/sec, 120 secs
lola: 42104 markings, 95503 edges, 202 markings/sec, 125 secs
lola: 43158 markings, 97863 edges, 211 markings/sec, 130 secs
lola: 44001 markings, 99767 edges, 169 markings/sec, 135 secs
lola: 45006 markings, 101851 edges, 201 markings/sec, 140 secs
lola: 46080 markings, 104629 edges, 215 markings/sec, 145 secs
lola: 47027 markings, 107073 edges, 189 markings/sec, 150 secs
lola: 48194 markings, 110101 edges, 233 markings/sec, 155 secs
lola: 49114 markings, 112407 edges, 184 markings/sec, 160 secs
lola: 50190 markings, 115195 edges, 215 markings/sec, 165 secs
lola: 51358 markings, 118132 edges, 234 markings/sec, 170 secs
lola: 52718 markings, 121439 edges, 272 markings/sec, 175 secs
lola: 54637 markings, 126196 edges, 384 markings/sec, 180 secs
lola: 57180 markings, 132062 edges, 509 markings/sec, 185 secs
lola: 58476 markings, 135271 edges, 259 markings/sec, 190 secs
lola: 59275 markings, 137311 edges, 160 markings/sec, 195 secs
lola: 60415 markings, 139989 edges, 228 markings/sec, 200 secs
lola: 62514 markings, 145343 edges, 420 markings/sec, 205 secs
lola: 63290 markings, 147343 edges, 155 markings/sec, 210 secs
lola: 65099 markings, 151833 edges, 362 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(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... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 884 bytes per marking, with 0 unused bits
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: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 3 will run for 238 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p224 + p225)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 884 bytes per marking, with 0 unused bits
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: 2332 markings, 3417 edges, 466 markings/sec, 0 secs
lola: 4254 markings, 7389 edges, 384 markings/sec, 5 secs
lola: 5362 markings, 9738 edges, 222 markings/sec, 10 secs
lola: 7074 markings, 13593 edges, 342 markings/sec, 15 secs
lola: 9316 markings, 18484 edges, 448 markings/sec, 20 secs
lola: 10335 markings, 20803 edges, 204 markings/sec, 25 secs
lola: 11375 markings, 22996 edges, 208 markings/sec, 30 secs
lola: 12541 markings, 25826 edges, 233 markings/sec, 35 secs
lola: 14615 markings, 30600 edges, 415 markings/sec, 40 secs
lola: 16249 markings, 34502 edges, 327 markings/sec, 45 secs
lola: 18006 markings, 38513 edges, 351 markings/sec, 50 secs
lola: 20186 markings, 43419 edges, 436 markings/sec, 55 secs
lola: 21207 markings, 45867 edges, 204 markings/sec, 60 secs
lola: 22022 markings, 47599 edges, 163 markings/sec, 65 secs
lola: 22706 markings, 49035 edges, 137 markings/sec, 70 secs
lola: 23600 markings, 51079 edges, 179 markings/sec, 75 secs
lola: 24290 markings, 52812 edges, 138 markings/sec, 80 secs
lola: 25179 markings, 55084 edges, 178 markings/sec, 85 secs
lola: 26130 markings, 57433 edges, 190 markings/sec, 90 secs
lola: 27227 markings, 60096 edges, 219 markings/sec, 95 secs
lola: 28836 markings, 63926 edges, 322 markings/sec, 100 secs
lola: 30428 markings, 67591 edges, 318 markings/sec, 105 secs
lola: 31089 markings, 69241 edges, 132 markings/sec, 110 secs
lola: 32901 markings, 73604 edges, 362 markings/sec, 115 secs
lola: 33764 markings, 75635 edges, 173 markings/sec, 120 secs
lola: 35366 markings, 79599 edges, 320 markings/sec, 125 secs
lola: 37036 markings, 83509 edges, 334 markings/sec, 130 secs
lola: 39342 markings, 88826 edges, 461 markings/sec, 135 secs
lola: 40563 markings, 91719 edges, 244 markings/sec, 140 secs
lola: 41341 markings, 93645 edges, 156 markings/sec, 145 secs
lola: 42115 markings, 95528 edges, 155 markings/sec, 150 secs
lola: 42906 markings, 97314 edges, 158 markings/sec, 155 secs
lola: 43738 markings, 99178 edges, 166 markings/sec, 160 secs
lola: 44500 markings, 100843 edges, 152 markings/sec, 165 secs
lola: 45487 markings, 103056 edges, 197 markings/sec, 170 secs
lola: 46257 markings, 105073 edges, 154 markings/sec, 175 secs
lola: 47046 markings, 107122 edges, 158 markings/sec, 180 secs
lola: 48210 markings, 110133 edges, 233 markings/sec, 185 secs
lola: 49294 markings, 112847 edges, 217 markings/sec, 190 secs
lola: 50440 markings, 115818 edges, 229 markings/sec, 195 secs
lola: 51671 markings, 118894 edges, 246 markings/sec, 200 secs
lola: 53237 markings, 122729 edges, 313 markings/sec, 205 secs
lola: 55227 markings, 127518 edges, 398 markings/sec, 210 secs
lola: 57217 markings, 132173 edges, 398 markings/sec, 215 secs
lola: 58540 markings, 135454 edges, 265 markings/sec, 220 secs
lola: 59468 markings, 137814 edges, 186 markings/sec, 225 secs
lola: 61592 markings, 143133 edges, 425 markings/sec, 230 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 238 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p224 + p225)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 884 bytes per marking, with 0 unused bits
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: 2387 markings, 3528 edges, 477 markings/sec, 0 secs
lola: 4338 markings, 7596 edges, 390 markings/sec, 5 secs
lola: 5494 markings, 10029 edges, 231 markings/sec, 10 secs
lola: 7267 markings, 13973 edges, 355 markings/sec, 15 secs
lola: 9476 markings, 18866 edges, 442 markings/sec, 20 secs
lola: 10545 markings, 21233 edges, 214 markings/sec, 25 secs
lola: 11611 markings, 23564 edges, 213 markings/sec, 30 secs
lola: 12901 markings, 26672 edges, 258 markings/sec, 35 secs
lola: 14956 markings, 31388 edges, 411 markings/sec, 40 secs
lola: 16623 markings, 35349 edges, 333 markings/sec, 45 secs
lola: 18825 markings, 40422 edges, 440 markings/sec, 50 secs
lola: 20501 markings, 44202 edges, 335 markings/sec, 55 secs
lola: 21585 markings, 46660 edges, 217 markings/sec, 60 secs
lola: 22501 markings, 48620 edges, 183 markings/sec, 65 secs
lola: 23630 markings, 51165 edges, 226 markings/sec, 70 secs
lola: 24744 markings, 53989 edges, 223 markings/sec, 75 secs
lola: 25937 markings, 56958 edges, 239 markings/sec, 80 secs
lola: 27312 markings, 60299 edges, 275 markings/sec, 85 secs
lola: 29675 markings, 65788 edges, 473 markings/sec, 90 secs
lola: 30995 markings, 68987 edges, 264 markings/sec, 95 secs
lola: 33084 markings, 74052 edges, 418 markings/sec, 100 secs
lola: 34921 markings, 78601 edges, 367 markings/sec, 105 secs
lola: 36808 markings, 83046 edges, 377 markings/sec, 110 secs
lola: 39384 markings, 88909 edges, 515 markings/sec, 115 secs
lola: 40676 markings, 92007 edges, 258 markings/sec, 120 secs
lola: 41636 markings, 94373 edges, 192 markings/sec, 125 secs
lola: 42669 markings, 96780 edges, 207 markings/sec, 130 secs
lola: 43549 markings, 98753 edges, 176 markings/sec, 135 secs
lola: 44500 markings, 100843 edges, 190 markings/sec, 140 secs
lola: 45610 markings, 103379 edges, 222 markings/sec, 145 secs
lola: 46513 markings, 105770 edges, 181 markings/sec, 150 secs
lola: 47688 markings, 108748 edges, 235 markings/sec, 155 secs
lola: 48584 markings, 111110 edges, 179 markings/sec, 160 secs
lola: 49753 markings, 114080 edges, 234 markings/sec, 165 secs
lola: 50867 markings, 116859 edges, 223 markings/sec, 170 secs
lola: 52244 markings, 120317 edges, 275 markings/sec, 175 secs
lola: 53883 markings, 124230 edges, 328 markings/sec, 180 secs
lola: 56402 markings, 130395 edges, 504 markings/sec, 185 secs
lola: 58415 markings, 135107 edges, 403 markings/sec, 190 secs
lola: 59348 markings, 137516 edges, 187 markings/sec, 195 secs
lola: 61469 markings, 142814 edges, 424 markings/sec, 200 secs
lola: 63105 markings, 146888 edges, 327 markings/sec, 205 secs
lola: 64801 markings, 151047 edges, 339 markings/sec, 210 secs
lola: 66593 markings, 155535 edges, 358 markings/sec, 215 secs
lola: 68899 markings, 161168 edges, 461 markings/sec, 220 secs
lola: 71029 markings, 166353 edges, 426 markings/sec, 225 secs
lola: 73648 markings, 172627 edges, 524 markings/sec, 230 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 238 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 884 bytes per marking, with 0 unused bits
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: 4054 markings, 8419 edges, 811 markings/sec, 0 secs
lola: 9189 markings, 20538 edges, 1027 markings/sec, 5 secs
lola: 12912 markings, 28452 edges, 745 markings/sec, 10 secs
lola: 15286 markings, 33397 edges, 475 markings/sec, 15 secs
lola: 18197 markings, 39669 edges, 582 markings/sec, 20 secs
lola: 21304 markings, 46486 edges, 621 markings/sec, 25 secs
lola: 24545 markings, 53714 edges, 648 markings/sec, 30 secs
lola: 27817 markings, 61066 edges, 654 markings/sec, 35 secs
lola: 30980 markings, 68191 edges, 633 markings/sec, 40 secs
lola: 33595 markings, 74175 edges, 523 markings/sec, 45 secs
lola: 36632 markings, 80983 edges, 607 markings/sec, 50 secs
lola: 39193 markings, 86882 edges, 512 markings/sec, 55 secs
lola: 42524 markings, 94554 edges, 666 markings/sec, 60 secs
lola: 46612 markings, 103820 edges, 818 markings/sec, 65 secs
lola: 50367 markings, 112527 edges, 751 markings/sec, 70 secs
lola: 53420 markings, 119833 edges, 611 markings/sec, 75 secs
lola: 56982 markings, 127802 edges, 712 markings/sec, 80 secs
lola: 59952 markings, 135023 edges, 594 markings/sec, 85 secs
lola: 63125 markings, 142035 edges, 635 markings/sec, 90 secs
lola: 66712 markings, 150377 edges, 717 markings/sec, 95 secs
lola: 70902 markings, 160124 edges, 838 markings/sec, 100 secs
lola: 74350 markings, 168056 edges, 690 markings/sec, 105 secs
lola: 77887 markings, 176402 edges, 707 markings/sec, 110 secs
lola: 82849 markings, 188064 edges, 992 markings/sec, 115 secs
lola: 85178 markings, 193527 edges, 466 markings/sec, 120 secs
lola: 88798 markings, 201831 edges, 724 markings/sec, 125 secs
lola: 92894 markings, 211409 edges, 819 markings/sec, 130 secs
lola: 95179 markings, 216946 edges, 457 markings/sec, 135 secs
lola: 98781 markings, 225215 edges, 720 markings/sec, 140 secs
lola: 103580 markings, 236616 edges, 960 markings/sec, 145 secs
lola: 105669 markings, 241813 edges, 418 markings/sec, 150 secs
lola: 109217 markings, 249741 edges, 710 markings/sec, 155 secs
lola: 113766 markings, 260461 edges, 910 markings/sec, 160 secs
lola: 116940 markings, 268063 edges, 635 markings/sec, 165 secs
lola: 119034 markings, 272449 edges, 419 markings/sec, 170 secs
lola: 120645 markings, 275909 edges, 322 markings/sec, 175 secs
lola: 122918 markings, 280950 edges, 455 markings/sec, 180 secs
lola: 125082 markings, 285975 edges, 433 markings/sec, 185 secs
lola: 127569 markings, 291704 edges, 497 markings/sec, 190 secs
lola: 129970 markings, 297362 edges, 480 markings/sec, 195 secs
lola: 132457 markings, 303309 edges, 497 markings/sec, 200 secs
lola: 134841 markings, 309055 edges, 477 markings/sec, 205 secs
lola: 137010 markings, 314196 edges, 434 markings/sec, 210 secs
lola: 139415 markings, 320157 edges, 481 markings/sec, 215 secs
lola: 141526 markings, 325127 edges, 422 markings/sec, 220 secs
lola: 143980 markings, 331214 edges, 491 markings/sec, 225 secs
lola: 146088 markings, 336530 edges, 422 markings/sec, 230 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 238 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 884 bytes per marking, with 0 unused bits
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: 3579 markings, 7323 edges, 716 markings/sec, 0 secs
lola: 8135 markings, 18009 edges, 911 markings/sec, 5 secs
lola: 11998 markings, 26651 edges, 773 markings/sec, 10 secs
lola: 13923 markings, 30508 edges, 385 markings/sec, 15 secs
lola: 16145 markings, 35256 edges, 444 markings/sec, 20 secs
lola: 19117 markings, 41711 edges, 594 markings/sec, 25 secs
lola: 22009 markings, 48070 edges, 578 markings/sec, 30 secs
lola: 25494 markings, 55856 edges, 697 markings/sec, 35 secs
lola: 28811 markings, 63329 edges, 663 markings/sec, 40 secs
lola: 32108 markings, 70787 edges, 659 markings/sec, 45 secs
lola: 35287 markings, 77975 edges, 636 markings/sec, 50 secs
lola: 38433 markings, 85139 edges, 629 markings/sec, 55 secs
lola: 41671 markings, 92536 edges, 648 markings/sec, 60 secs
lola: 44871 markings, 99906 edges, 640 markings/sec, 65 secs
lola: 47441 markings, 106068 edges, 514 markings/sec, 70 secs
lola: 51093 markings, 114201 edges, 730 markings/sec, 75 secs
lola: 53819 markings, 120556 edges, 545 markings/sec, 80 secs
lola: 57458 markings, 128930 edges, 728 markings/sec, 85 secs
lola: 60036 markings, 135163 edges, 516 markings/sec, 90 secs
lola: 63555 markings, 143056 edges, 704 markings/sec, 95 secs
lola: 66423 markings, 149647 edges, 574 markings/sec, 100 secs
lola: 69751 markings, 157411 edges, 666 markings/sec, 105 secs
lola: 73905 markings, 167197 edges, 831 markings/sec, 110 secs
lola: 76117 markings, 172356 edges, 442 markings/sec, 115 secs
lola: 79789 markings, 180787 edges, 734 markings/sec, 120 secs
lola: 83678 markings, 189875 edges, 778 markings/sec, 125 secs
lola: 88237 markings, 200543 edges, 912 markings/sec, 130 secs
lola: 93089 markings, 211806 edges, 970 markings/sec, 135 secs
lola: 96098 markings, 219002 edges, 602 markings/sec, 140 secs
lola: 100152 markings, 228451 edges, 811 markings/sec, 145 secs
lola: 103927 markings, 237206 edges, 755 markings/sec, 150 secs
lola: 106942 markings, 244467 edges, 603 markings/sec, 155 secs
lola: 111866 markings, 255963 edges, 985 markings/sec, 160 secs
lola: 116084 markings, 265802 edges, 844 markings/sec, 165 secs
lola: 118733 markings, 271820 edges, 530 markings/sec, 170 secs
lola: 120729 markings, 276143 edges, 399 markings/sec, 175 secs
lola: 122894 markings, 280902 edges, 433 markings/sec, 180 secs
lola: 125012 markings, 285868 edges, 424 markings/sec, 185 secs
lola: 127240 markings, 291008 edges, 446 markings/sec, 190 secs
lola: 129477 markings, 296293 edges, 447 markings/sec, 195 secs
lola: 132120 markings, 302594 edges, 529 markings/sec, 200 secs
lola: 133686 markings, 306201 edges, 313 markings/sec, 205 secs
lola: 135782 markings, 311338 edges, 419 markings/sec, 210 secs
lola: 137367 markings, 315070 edges, 317 markings/sec, 215 secs
lola: 139956 markings, 321527 edges, 518 markings/sec, 220 secs
lola: 141844 markings, 325890 edges, 378 markings/sec, 225 secs
lola: 144425 markings, 332346 edges, 516 markings/sec, 230 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 238 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p223)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 884 bytes per marking, with 0 unused bits
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: 719 markings, 902 edges, 144 markings/sec, 0 secs
lola: 1480 markings, 2425 edges, 152 markings/sec, 5 secs
lola: 2167 markings, 4080 edges, 137 markings/sec, 10 secs
lola: 2862 markings, 5756 edges, 139 markings/sec, 15 secs
lola: 3577 markings, 7483 edges, 143 markings/sec, 20 secs
lola: 4395 markings, 9440 edges, 164 markings/sec, 25 secs
lola: 5112 markings, 11145 edges, 143 markings/sec, 30 secs
lola: 5815 markings, 12846 edges, 141 markings/sec, 35 secs
lola: 6567 markings, 14616 edges, 150 markings/sec, 40 secs
lola: 7345 markings, 16455 edges, 156 markings/sec, 45 secs
lola: 8170 markings, 18335 edges, 165 markings/sec, 50 secs
lola: 8854 markings, 19552 edges, 137 markings/sec, 55 secs
lola: 9428 markings, 20433 edges, 115 markings/sec, 60 secs
lola: 10063 markings, 21983 edges, 127 markings/sec, 65 secs
lola: 10622 markings, 23318 edges, 112 markings/sec, 70 secs
lola: 11255 markings, 24839 edges, 127 markings/sec, 75 secs
lola: 11890 markings, 26366 edges, 127 markings/sec, 80 secs
lola: 12453 markings, 27714 edges, 113 markings/sec, 85 secs
lola: 13024 markings, 29083 edges, 114 markings/sec, 90 secs
lola: 13685 markings, 30678 edges, 132 markings/sec, 95 secs
lola: 14244 markings, 32012 edges, 112 markings/sec, 100 secs
lola: 14838 markings, 33394 edges, 119 markings/sec, 105 secs
lola: 15359 markings, 34643 edges, 104 markings/sec, 110 secs
lola: 15969 markings, 36064 edges, 122 markings/sec, 115 secs
lola: 16775 markings, 37882 edges, 161 markings/sec, 120 secs
lola: 17602 markings, 39121 edges, 165 markings/sec, 125 secs
lola: 18379 markings, 40872 edges, 155 markings/sec, 130 secs
lola: 19148 markings, 42732 edges, 154 markings/sec, 135 secs
lola: 19958 markings, 44635 edges, 162 markings/sec, 140 secs
lola: 20757 markings, 46573 edges, 160 markings/sec, 145 secs
lola: 21552 markings, 48502 edges, 159 markings/sec, 150 secs
lola: 22378 markings, 50453 edges, 165 markings/sec, 155 secs
lola: 23202 markings, 52403 edges, 165 markings/sec, 160 secs
lola: 24000 markings, 54292 edges, 160 markings/sec, 165 secs
lola: 24793 markings, 56123 edges, 159 markings/sec, 170 secs
lola: 25637 markings, 57620 edges, 169 markings/sec, 175 secs
lola: 26286 markings, 58737 edges, 130 markings/sec, 180 secs
lola: 26868 markings, 60162 edges, 116 markings/sec, 185 secs
lola: 27431 markings, 61537 edges, 113 markings/sec, 190 secs
lola: 28213 markings, 63415 edges, 156 markings/sec, 195 secs
lola: 29018 markings, 65323 edges, 161 markings/sec, 200 secs
lola: 29813 markings, 67252 edges, 159 markings/sec, 205 secs
lola: 30633 markings, 69188 edges, 164 markings/sec, 210 secs
lola: 31457 markings, 71138 edges, 165 markings/sec, 215 secs
lola: 32261 markings, 73042 edges, 161 markings/sec, 220 secs
lola: 33072 markings, 74918 edges, 162 markings/sec, 225 secs
lola: 33935 markings, 76513 edges, 173 markings/sec, 230 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 238 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 884 bytes per marking, with 0 unused bits
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: SUBRESULT
lola: result: 80
lola: produced by: state space
lola: The maximum value of the given expression is 80
lola: ========================================
lola: subprocess 9 will run for 272 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 884 bytes per marking, with 0 unused bits
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: 1667 markings, 1667 edges, 333 markings/sec, 0 secs
lola: 3677 markings, 3677 edges, 402 markings/sec, 5 secs
lola: 5798 markings, 5868 edges, 424 markings/sec, 10 secs
lola: 9784 markings, 13671 edges, 797 markings/sec, 15 secs
lola: 12410 markings, 19794 edges, 525 markings/sec, 20 secs
lola: 14683 markings, 25373 edges, 455 markings/sec, 25 secs
lola: 16794 markings, 30649 edges, 422 markings/sec, 30 secs
lola: 18132 markings, 33890 edges, 268 markings/sec, 35 secs
lola: 19323 markings, 36866 edges, 238 markings/sec, 40 secs
lola: 20557 markings, 39845 edges, 247 markings/sec, 45 secs
lola: 21653 markings, 42585 edges, 219 markings/sec, 50 secs
lola: 22747 markings, 45320 edges, 219 markings/sec, 55 secs
lola: 23906 markings, 48108 edges, 232 markings/sec, 60 secs
lola: 24926 markings, 50658 edges, 204 markings/sec, 65 secs
lola: 25934 markings, 53178 edges, 202 markings/sec, 70 secs
lola: 26993 markings, 55769 edges, 212 markings/sec, 75 secs
lola: 27949 markings, 58104 edges, 191 markings/sec, 80 secs
lola: 28887 markings, 60449 edges, 188 markings/sec, 85 secs
lola: 29827 markings, 62799 edges, 188 markings/sec, 90 secs
lola: 30816 markings, 65158 edges, 198 markings/sec, 95 secs
lola: 31726 markings, 67433 edges, 182 markings/sec, 100 secs
lola: 32618 markings, 69663 edges, 178 markings/sec, 105 secs
lola: 33590 markings, 72091 edges, 194 markings/sec, 110 secs
lola: 34443 markings, 74110 edges, 171 markings/sec, 115 secs
lola: 35297 markings, 76245 edges, 171 markings/sec, 120 secs
lola: 36147 markings, 78370 edges, 170 markings/sec, 125 secs
lola: 37048 markings, 80545 edges, 180 markings/sec, 130 secs
lola: 37871 markings, 82561 edges, 165 markings/sec, 135 secs
lola: 38694 markings, 84620 edges, 165 markings/sec, 140 secs
lola: 39524 markings, 86695 edges, 166 markings/sec, 145 secs
lola: 40407 markings, 88823 edges, 177 markings/sec, 150 secs
lola: 41219 markings, 90813 edges, 162 markings/sec, 155 secs
lola: 42011 markings, 92793 edges, 158 markings/sec, 160 secs
lola: 42813 markings, 94798 edges, 160 markings/sec, 165 secs
lola: 44061 markings, 97795 edges, 250 markings/sec, 170 secs
lola: 51813 markings, 116926 edges, 1550 markings/sec, 175 secs
lola: 56523 markings, 128575 edges, 942 markings/sec, 180 secs
lola: 58532 markings, 133468 edges, 402 markings/sec, 185 secs
lola: 60306 markings, 137899 edges, 355 markings/sec, 190 secs
lola: 61916 markings, 141795 edges, 322 markings/sec, 195 secs
lola: 63456 markings, 145645 edges, 308 markings/sec, 200 secs
lola: 64985 markings, 149334 edges, 306 markings/sec, 205 secs
lola: 66465 markings, 153034 edges, 296 markings/sec, 210 secs
lola: 67935 markings, 156575 edges, 294 markings/sec, 215 secs
lola: 69165 markings, 159650 edges, 246 markings/sec, 220 secs
lola: 70402 markings, 162605 edges, 247 markings/sec, 225 secs
lola: 71554 markings, 165485 edges, 230 markings/sec, 230 secs
lola: 72770 markings, 168525 edges, 243 markings/sec, 235 secs
lola: 74003 markings, 171468 edges, 247 markings/sec, 240 secs
lola: 75125 markings, 174273 edges, 224 markings/sec, 245 secs
lola: 76271 markings, 177138 edges, 229 markings/sec, 250 secs
lola: 77376 markings, 179759 edges, 221 markings/sec, 255 secs
lola: 78440 markings, 182419 edges, 213 markings/sec, 260 secs
lola: 79466 markings, 184968 edges, 205 markings/sec, 265 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 272 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 ... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 884 bytes per marking, with 0 unused bits
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: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 11 will run for 327 seconds at most (--localtimelimit=-1)
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 + p98 + p97 + p96 + p95 + p94 + p93 + p91 + p92 + p99)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 884 bytes per marking, with 0 unused bits
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: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 12 will run for 408 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(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... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 884 bytes per marking, with 0 unused bits
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: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 13 will run for 545 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 ... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 884 bytes per marking, with 0 unused bits
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: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 14 will run for 817 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p87)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 884 bytes per marking, with 0 unused bits
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: 2030 markings, 2843 edges, 406 markings/sec, 0 secs
lola: 3617 markings, 5489 edges, 317 markings/sec, 5 secs
lola: 5327 markings, 8339 edges, 342 markings/sec, 10 secs
lola: 7049 markings, 11211 edges, 344 markings/sec, 15 secs
lola: 9779 markings, 14448 edges, 546 markings/sec, 20 secs
lola: 12957 markings, 17626 edges, 636 markings/sec, 25 secs
lola: 16142 markings, 20811 edges, 637 markings/sec, 30 secs
lola: 19219 markings, 23888 edges, 615 markings/sec, 35 secs
lola: 22182 markings, 26906 edges, 593 markings/sec, 40 secs
lola: 23415 markings, 28550 edges, 247 markings/sec, 45 secs
lola: 24642 markings, 30186 edges, 245 markings/sec, 50 secs
lola: 25782 markings, 31706 edges, 228 markings/sec, 55 secs
lola: 26847 markings, 33126 edges, 213 markings/sec, 60 secs
lola: 27909 markings, 34542 edges, 212 markings/sec, 65 secs
lola: 28962 markings, 35946 edges, 211 markings/sec, 70 secs
lola: 30019 markings, 37350 edges, 211 markings/sec, 75 secs
lola: 32635 markings, 40000 edges, 523 markings/sec, 80 secs
lola: 33844 markings, 41603 edges, 242 markings/sec, 85 secs
lola: 35043 markings, 43919 edges, 240 markings/sec, 90 secs
lola: 36405 markings, 46540 edges, 272 markings/sec, 95 secs
lola: 37460 markings, 48645 edges, 211 markings/sec, 100 secs
lola: 38571 markings, 50855 edges, 222 markings/sec, 105 secs
lola: 39630 markings, 53026 edges, 212 markings/sec, 110 secs
lola: 40695 markings, 55121 edges, 213 markings/sec, 115 secs
lola: 41763 markings, 57318 edges, 214 markings/sec, 120 secs
lola: 42819 markings, 59376 edges, 211 markings/sec, 125 secs
lola: 43947 markings, 61547 edges, 226 markings/sec, 130 secs
lola: 49830 markings, 75683 edges, 1177 markings/sec, 135 secs
lola: 50972 markings, 78538 edges, 228 markings/sec, 140 secs
lola: 52120 markings, 81410 edges, 230 markings/sec, 145 secs
lola: 53268 markings, 84279 edges, 230 markings/sec, 150 secs
lola: 54490 markings, 87397 edges, 244 markings/sec, 155 secs
lola: 55486 markings, 90384 edges, 199 markings/sec, 160 secs
lola: 56440 markings, 93245 edges, 191 markings/sec, 165 secs
lola: 57368 markings, 96030 edges, 186 markings/sec, 170 secs
lola: 58416 markings, 99172 edges, 210 markings/sec, 175 secs
lola: 60146 markings, 101723 edges, 346 markings/sec, 180 secs
lola: 61345 markings, 103321 edges, 240 markings/sec, 185 secs
lola: 62525 markings, 104895 edges, 236 markings/sec, 190 secs
lola: 63716 markings, 106483 edges, 238 markings/sec, 195 secs
lola: 64895 markings, 108055 edges, 236 markings/sec, 200 secs
lola: 66107 markings, 109671 edges, 242 markings/sec, 205 secs
lola: 67274 markings, 111227 edges, 233 markings/sec, 210 secs
lola: 68519 markings, 112860 edges, 249 markings/sec, 215 secs
lola: 69735 markings, 115074 edges, 243 markings/sec, 220 secs
lola: 71120 markings, 117711 edges, 277 markings/sec, 225 secs
lola: 72290 markings, 120039 edges, 234 markings/sec, 230 secs
lola: 73475 markings, 122418 edges, 237 markings/sec, 235 secs
lola: 74672 markings, 124819 edges, 239 markings/sec, 240 secs
lola: 75863 markings, 127259 edges, 238 markings/sec, 245 secs
lola: 77000 markings, 129509 edges, 227 markings/sec, 250 secs
lola: 78107 markings, 131734 edges, 221 markings/sec, 255 secs
lola: 79783 markings, 134814 edges, 335 markings/sec, 260 secs
lola: 81248 markings, 136702 edges, 293 markings/sec, 265 secs
lola: 82391 markings, 138226 edges, 229 markings/sec, 270 secs
lola: 83612 markings, 139854 edges, 244 markings/sec, 275 secs
lola: 84827 markings, 141474 edges, 243 markings/sec, 280 secs
lola: 85927 markings, 142940 edges, 220 markings/sec, 285 secs
lola: 86987 markings, 144354 edges, 212 markings/sec, 290 secs
lola: 88001 markings, 145706 edges, 203 markings/sec, 295 secs
lola: 89206 markings, 147286 edges, 241 markings/sec, 300 secs
lola: 90418 markings, 149402 edges, 242 markings/sec, 305 secs
lola: 91793 markings, 152036 edges, 275 markings/sec, 310 secs
lola: 92975 markings, 154421 edges, 236 markings/sec, 315 secs
lola: 94160 markings, 156800 edges, 237 markings/sec, 320 secs
lola: 95354 markings, 159196 edges, 239 markings/sec, 325 secs
lola: 96551 markings, 161578 edges, 239 markings/sec, 330 secs
lola: 97682 markings, 163886 edges, 226 markings/sec, 335 secs
lola: 98851 markings, 166201 edges, 234 markings/sec, 340 secs
lola: 101126 markings, 169897 edges, 455 markings/sec, 345 secs
lola: 102360 markings, 171529 edges, 247 markings/sec, 350 secs
lola: 103545 markings, 173109 edges, 237 markings/sec, 355 secs
lola: 104760 markings, 174729 edges, 243 markings/sec, 360 secs
lola: 105978 markings, 176353 edges, 244 markings/sec, 365 secs
lola: 107181 markings, 177957 edges, 241 markings/sec, 370 secs
lola: 108345 markings, 179509 edges, 233 markings/sec, 375 secs
lola: 109603 markings, 181160 edges, 252 markings/sec, 380 secs
lola: 110859 markings, 183427 edges, 251 markings/sec, 385 secs
lola: 112260 markings, 186094 edges, 280 markings/sec, 390 secs
lola: 113445 markings, 188494 edges, 237 markings/sec, 395 secs
lola: 114639 markings, 190896 edges, 239 markings/sec, 400 secs
lola: 115695 markings, 193007 edges, 211 markings/sec, 405 secs
lola: 116769 markings, 195184 edges, 215 markings/sec, 410 secs
lola: 117831 markings, 197304 edges, 212 markings/sec, 415 secs
lola: 119033 markings, 199651 edges, 240 markings/sec, 420 secs
lola: 121328 markings, 203334 edges, 459 markings/sec, 425 secs
lola: 122516 markings, 204918 edges, 238 markings/sec, 430 secs
lola: 123707 markings, 206506 edges, 238 markings/sec, 435 secs
lola: 124817 markings, 207986 edges, 222 markings/sec, 440 secs
lola: 126032 markings, 209606 edges, 243 markings/sec, 445 secs
lola: 127265 markings, 211250 edges, 247 markings/sec, 450 secs
lola: 128495 markings, 212890 edges, 246 markings/sec, 455 secs
lola: 129790 markings, 214587 edges, 259 markings/sec, 460 secs
lola: 131189 markings, 217257 edges, 280 markings/sec, 465 secs
lola: 132425 markings, 219731 edges, 247 markings/sec, 470 secs
lola: 133655 markings, 222236 edges, 246 markings/sec, 475 secs
lola: 134843 markings, 224594 edges, 238 markings/sec, 480 secs
lola: 136031 markings, 227001 edges, 238 markings/sec, 485 secs
lola: 137102 markings, 229121 edges, 214 markings/sec, 490 secs
lola: 138284 markings, 231526 edges, 236 markings/sec, 495 secs
lola: 140381 markings, 235086 edges, 419 markings/sec, 500 secs
lola: 141566 markings, 236671 edges, 237 markings/sec, 505 secs
lola: 142616 markings, 238071 edges, 210 markings/sec, 510 secs
lola: 143674 markings, 239481 edges, 212 markings/sec, 515 secs
lola: 144839 markings, 241035 edges, 233 markings/sec, 520 secs
lola: 146045 markings, 242643 edges, 241 markings/sec, 525 secs
lola: 147242 markings, 244239 edges, 239 markings/sec, 530 secs
lola: 148522 markings, 245920 edges, 256 markings/sec, 535 secs
lola: 149746 markings, 247967 edges, 245 markings/sec, 540 secs
lola: 151100 markings, 250580 edges, 271 markings/sec, 545 secs
lola: 152300 markings, 252985 edges, 240 markings/sec, 550 secs
lola: 153503 markings, 255386 edges, 241 markings/sec, 555 secs
lola: 154733 markings, 257896 edges, 246 markings/sec, 560 secs
lola: 155960 markings, 260328 edges, 245 markings/sec, 565 secs
lola: 157193 markings, 262806 edges, 247 markings/sec, 570 secs
lola: 159372 markings, 266577 edges, 436 markings/sec, 575 secs
lola: 160773 markings, 268474 edges, 280 markings/sec, 580 secs
lola: 161961 markings, 270058 edges, 238 markings/sec, 585 secs
lola: 163179 markings, 271682 edges, 244 markings/sec, 590 secs
lola: 164388 markings, 273294 edges, 242 markings/sec, 595 secs
lola: 165600 markings, 274910 edges, 242 markings/sec, 600 secs
lola: 166821 markings, 276538 edges, 244 markings/sec, 605 secs
lola: 168081 markings, 278245 edges, 252 markings/sec, 610 secs
lola: 169432 markings, 280854 edges, 270 markings/sec, 615 secs
lola: 170628 markings, 283274 edges, 239 markings/sec, 620 secs
lola: 171798 markings, 285638 edges, 234 markings/sec, 625 secs
lola: 172983 markings, 287991 edges, 237 markings/sec, 630 secs
lola: 174207 markings, 290458 edges, 245 markings/sec, 635 secs
lola: 175413 markings, 292873 edges, 241 markings/sec, 640 secs
lola: 177045 markings, 295961 edges, 326 markings/sec, 645 secs
lola: 178940 markings, 298733 edges, 379 markings/sec, 650 secs
lola: 180146 markings, 300341 edges, 241 markings/sec, 655 secs
lola: 181346 markings, 301941 edges, 240 markings/sec, 660 secs
lola: 182564 markings, 303565 edges, 244 markings/sec, 665 secs
lola: 183794 markings, 305205 edges, 246 markings/sec, 670 secs
lola: 185021 markings, 306841 edges, 245 markings/sec, 675 secs
lola: 186289 markings, 308506 edges, 254 markings/sec, 680 secs
lola: 187655 markings, 311116 edges, 273 markings/sec, 685 secs
lola: 188870 markings, 313555 edges, 243 markings/sec, 690 secs
lola: 190073 markings, 315965 edges, 241 markings/sec, 695 secs
lola: 191243 markings, 318343 edges, 234 markings/sec, 700 secs
lola: 192410 markings, 320651 edges, 233 markings/sec, 705 secs
lola: 193481 markings, 322835 edges, 214 markings/sec, 710 secs
lola: 194557 markings, 324866 edges, 215 markings/sec, 715 secs
lola: 196631 markings, 328202 edges, 415 markings/sec, 720 secs
lola: 197687 markings, 329610 edges, 211 markings/sec, 725 secs
lola: 198740 markings, 331014 edges, 211 markings/sec, 730 secs
lola: 199808 markings, 332438 edges, 214 markings/sec, 735 secs
lola: 200870 markings, 333854 edges, 212 markings/sec, 740 secs
lola: 201920 markings, 335254 edges, 210 markings/sec, 745 secs
lola: 202979 markings, 336666 edges, 212 markings/sec, 750 secs
lola: 204061 markings, 338084 edges, 216 markings/sec, 755 secs
lola: 205337 markings, 340426 edges, 255 markings/sec, 760 secs
lola: 206522 markings, 342817 edges, 237 markings/sec, 765 secs
lola: 207707 markings, 345179 edges, 237 markings/sec, 770 secs
lola: 208862 markings, 347516 edges, 231 markings/sec, 775 secs
lola: 210050 markings, 349909 edges, 238 markings/sec, 780 secs
lola: 211220 markings, 352252 edges, 234 markings/sec, 785 secs
lola: 212855 markings, 355421 edges, 327 markings/sec, 790 secs
lola: 214686 markings, 358003 edges, 366 markings/sec, 795 secs
lola: 215871 markings, 359583 edges, 237 markings/sec, 800 secs
lola: 217065 markings, 361175 edges, 239 markings/sec, 805 secs
lola: 218289 markings, 362807 edges, 245 markings/sec, 810 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 818 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 884 bytes per marking, with 0 unused bits
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: 4057 markings, 8424 edges, 811 markings/sec, 0 secs
lola: 9432 markings, 21133 edges, 1075 markings/sec, 5 secs
lola: 12592 markings, 27794 edges, 632 markings/sec, 10 secs
lola: 14675 markings, 32088 edges, 417 markings/sec, 15 secs
lola: 16935 markings, 36926 edges, 452 markings/sec, 20 secs
lola: 19278 markings, 41996 edges, 469 markings/sec, 25 secs
lola: 21865 markings, 47755 edges, 517 markings/sec, 30 secs
lola: 24572 markings, 53779 edges, 541 markings/sec, 35 secs
lola: 27290 markings, 59877 edges, 544 markings/sec, 40 secs
lola: 29821 markings, 65753 edges, 506 markings/sec, 45 secs
lola: 32938 markings, 72611 edges, 623 markings/sec, 50 secs
lola: 36769 markings, 81272 edges, 766 markings/sec, 55 secs
lola: 40323 markings, 89458 edges, 711 markings/sec, 60 secs
lola: 42983 markings, 95574 edges, 532 markings/sec, 65 secs
lola: 46352 markings, 103266 edges, 674 markings/sec, 70 secs
lola: 48649 markings, 108577 edges, 459 markings/sec, 75 secs
lola: 52302 markings, 116900 edges, 731 markings/sec, 80 secs
lola: 55559 markings, 124504 edges, 651 markings/sec, 85 secs
lola: 59161 markings, 132811 edges, 720 markings/sec, 90 secs
lola: 63225 markings, 142240 edges, 813 markings/sec, 95 secs
lola: 66924 markings, 151005 edges, 740 markings/sec, 100 secs
lola: 71175 markings, 160729 edges, 850 markings/sec, 105 secs
lola: 74646 markings, 168796 edges, 694 markings/sec, 110 secs
lola: 79052 markings, 179104 edges, 881 markings/sec, 115 secs
lola: 83228 markings, 188750 edges, 835 markings/sec, 120 secs
lola: 86073 markings, 195542 edges, 569 markings/sec, 125 secs
lola: 90133 markings, 204984 edges, 812 markings/sec, 130 secs
lola: 93397 markings, 212576 edges, 653 markings/sec, 135 secs
lola: 96651 markings, 220279 edges, 651 markings/sec, 140 secs
lola: 100730 markings, 229802 edges, 816 markings/sec, 145 secs
lola: 104069 markings, 237561 edges, 668 markings/sec, 150 secs
lola: 107058 markings, 244747 edges, 598 markings/sec, 155 secs
lola: 111505 markings, 255115 edges, 889 markings/sec, 160 secs
lola: 115703 markings, 264916 edges, 840 markings/sec, 165 secs
lola: 117872 markings, 270392 edges, 434 markings/sec, 170 secs
lola: 119637 markings, 273741 edges, 353 markings/sec, 175 secs
lola: 121280 markings, 277311 edges, 329 markings/sec, 180 secs
lola: 122946 markings, 281018 edges, 333 markings/sec, 185 secs
lola: 124718 markings, 285090 edges, 354 markings/sec, 190 secs
lola: 126691 markings, 289662 edges, 395 markings/sec, 195 secs
lola: 128629 markings, 294319 edges, 388 markings/sec, 200 secs
lola: 130483 markings, 298601 edges, 371 markings/sec, 205 secs
lola: 132829 markings, 304399 edges, 469 markings/sec, 210 secs
lola: 135264 markings, 310117 edges, 487 markings/sec, 215 secs
lola: 137364 markings, 315065 edges, 420 markings/sec, 220 secs
lola: 140058 markings, 321680 edges, 539 markings/sec, 225 secs
lola: 141996 markings, 326267 edges, 388 markings/sec, 230 secs
lola: 144569 markings, 332706 edges, 515 markings/sec, 235 secs
lola: 146588 markings, 337484 edges, 404 markings/sec, 240 secs
lola: 148915 markings, 343265 edges, 465 markings/sec, 245 secs
lola: 151214 markings, 348880 edges, 460 markings/sec, 250 secs
lola: 152921 markings, 353001 edges, 341 markings/sec, 255 secs
lola: 154820 markings, 357783 edges, 380 markings/sec, 260 secs
lola: 156717 markings, 362567 edges, 379 markings/sec, 265 secs
lola: 158362 markings, 366654 edges, 329 markings/sec, 270 secs
lola: 160569 markings, 371880 edges, 441 markings/sec, 275 secs
lola: 163308 markings, 378861 edges, 548 markings/sec, 280 secs
lola: 165605 markings, 384469 edges, 459 markings/sec, 285 secs
lola: 167544 markings, 389213 edges, 388 markings/sec, 290 secs
lola: 169616 markings, 394377 edges, 414 markings/sec, 295 secs
lola: 172294 markings, 401208 edges, 536 markings/sec, 300 secs
lola: 174471 markings, 406565 edges, 435 markings/sec, 305 secs
lola: 176594 markings, 411781 edges, 425 markings/sec, 310 secs
lola: 178780 markings, 417327 edges, 437 markings/sec, 315 secs
lola: 181241 markings, 423532 edges, 492 markings/sec, 320 secs
lola: 183936 markings, 430280 edges, 539 markings/sec, 325 secs
lola: 185910 markings, 435218 edges, 395 markings/sec, 330 secs
lola: 187984 markings, 440306 edges, 415 markings/sec, 335 secs
lola: 190350 markings, 446319 edges, 473 markings/sec, 340 secs
lola: 193057 markings, 453272 edges, 541 markings/sec, 345 secs
lola: 195414 markings, 459121 edges, 471 markings/sec, 350 secs
lola: 197649 markings, 464685 edges, 447 markings/sec, 355 secs
lola: 199673 markings, 469732 edges, 405 markings/sec, 360 secs
lola: 202081 markings, 475960 edges, 482 markings/sec, 365 secs
lola: 204378 markings, 481763 edges, 459 markings/sec, 370 secs
lola: 207197 markings, 489197 edges, 564 markings/sec, 375 secs
lola: 208681 markings, 492844 edges, 297 markings/sec, 380 secs
lola: 211151 markings, 498740 edges, 494 markings/sec, 385 secs
lola: 213045 markings, 503509 edges, 379 markings/sec, 390 secs
lola: 215611 markings, 510175 edges, 513 markings/sec, 395 secs
lola: 217857 markings, 515880 edges, 449 markings/sec, 400 secs
lola: 220465 markings, 522623 edges, 522 markings/sec, 405 secs
lola: 222443 markings, 527583 edges, 396 markings/sec, 410 secs
lola: 224823 markings, 533424 edges, 476 markings/sec, 415 secs
lola: 226895 markings, 538645 edges, 414 markings/sec, 420 secs
lola: 229041 markings, 544108 edges, 429 markings/sec, 425 secs
lola: 231604 markings, 550834 edges, 513 markings/sec, 430 secs
lola: 234070 markings, 557128 edges, 493 markings/sec, 435 secs
lola: 236760 markings, 564091 edges, 538 markings/sec, 440 secs
lola: 238841 markings, 569633 edges, 416 markings/sec, 445 secs
lola: 240816 markings, 574071 edges, 395 markings/sec, 450 secs
lola: 242834 markings, 579148 edges, 404 markings/sec, 455 secs
lola: 244863 markings, 584337 edges, 406 markings/sec, 460 secs
lola: 247399 markings, 590908 edges, 507 markings/sec, 465 secs
lola: 249631 markings, 596742 edges, 446 markings/sec, 470 secs
lola: 251435 markings, 601351 edges, 361 markings/sec, 475 secs
lola: 253799 markings, 607653 edges, 473 markings/sec, 480 secs
lola: 255224 markings, 611013 edges, 285 markings/sec, 485 secs
lola: 257202 markings, 615959 edges, 396 markings/sec, 490 secs
lola: 258857 markings, 620106 edges, 331 markings/sec, 495 secs
lola: 260716 markings, 624758 edges, 372 markings/sec, 500 secs
lola: 262278 markings, 628751 edges, 312 markings/sec, 505 secs
lola: 263958 markings, 633087 edges, 336 markings/sec, 510 secs
lola: 265946 markings, 638249 edges, 398 markings/sec, 515 secs
lola: 268173 markings, 644198 edges, 445 markings/sec, 520 secs
lola: 269861 markings, 648447 edges, 338 markings/sec, 525 secs
lola: 271911 markings, 653745 edges, 410 markings/sec, 530 secs
lola: 274161 markings, 659369 edges, 450 markings/sec, 535 secs
lola: 276510 markings, 665327 edges, 470 markings/sec, 540 secs
lola: 278504 markings, 670324 edges, 399 markings/sec, 545 secs
lola: 280471 markings, 675285 edges, 393 markings/sec, 550 secs
lola: 282321 markings, 680021 edges, 370 markings/sec, 555 secs
lola: 284858 markings, 686742 edges, 507 markings/sec, 560 secs
lola: 287155 markings, 692670 edges, 459 markings/sec, 565 secs
lola: 289249 markings, 698018 edges, 419 markings/sec, 570 secs
lola: 292069 markings, 705436 edges, 564 markings/sec, 575 secs
lola: 294282 markings, 710901 edges, 443 markings/sec, 580 secs
lola: 296642 markings, 717479 edges, 472 markings/sec, 585 secs
lola: 298349 markings, 721264 edges, 341 markings/sec, 590 secs
lola: 300250 markings, 726014 edges, 380 markings/sec, 595 secs
lola: 302279 markings, 731203 edges, 406 markings/sec, 600 secs
lola: 304171 markings, 736069 edges, 378 markings/sec, 605 secs
lola: 306293 markings, 741566 edges, 424 markings/sec, 610 secs
lola: 308699 markings, 747837 edges, 481 markings/sec, 615 secs
lola: 311391 markings, 754964 edges, 538 markings/sec, 620 secs
lola: 313198 markings, 759606 edges, 361 markings/sec, 625 secs
lola: 315121 markings, 764628 edges, 385 markings/sec, 630 secs
lola: 317190 markings, 769749 edges, 414 markings/sec, 635 secs
lola: 318806 markings, 774203 edges, 323 markings/sec, 640 secs
lola: 320866 markings, 778642 edges, 412 markings/sec, 645 secs
lola: 322636 markings, 782287 edges, 354 markings/sec, 650 secs
lola: 324140 markings, 785582 edges, 301 markings/sec, 655 secs
lola: 325677 markings, 789051 edges, 307 markings/sec, 660 secs
lola: 327395 markings, 793170 edges, 344 markings/sec, 665 secs
lola: 329218 markings, 797283 edges, 365 markings/sec, 670 secs
lola: 331142 markings, 801739 edges, 385 markings/sec, 675 secs
lola: 333282 markings, 806916 edges, 428 markings/sec, 680 secs
lola: 334879 markings, 810684 edges, 319 markings/sec, 685 secs
lola: 336742 markings, 815419 edges, 373 markings/sec, 690 secs
lola: 338152 markings, 818552 edges, 282 markings/sec, 695 secs
lola: 340630 markings, 824804 edges, 496 markings/sec, 700 secs
lola: 342504 markings, 829353 edges, 375 markings/sec, 705 secs
lola: 344688 markings, 834660 edges, 437 markings/sec, 710 secs
lola: 346862 markings, 840014 edges, 435 markings/sec, 715 secs
lola: 348552 markings, 844073 edges, 338 markings/sec, 720 secs
lola: 350784 markings, 849707 edges, 446 markings/sec, 725 secs
lola: 353091 markings, 855535 edges, 461 markings/sec, 730 secs
lola: 354848 markings, 859691 edges, 351 markings/sec, 735 secs
lola: 356808 markings, 864605 edges, 392 markings/sec, 740 secs
lola: 359326 markings, 871266 edges, 504 markings/sec, 745 secs
lola: 361135 markings, 875670 edges, 362 markings/sec, 750 secs
lola: 362765 markings, 879480 edges, 326 markings/sec, 755 secs
lola: 364328 markings, 883424 edges, 313 markings/sec, 760 secs
lola: 366440 markings, 888874 edges, 422 markings/sec, 765 secs
lola: 368715 markings, 895008 edges, 455 markings/sec, 770 secs
lola: 370169 markings, 898547 edges, 291 markings/sec, 775 secs
lola: 371688 markings, 901936 edges, 304 markings/sec, 780 secs
lola: 373032 markings, 905411 edges, 269 markings/sec, 785 secs
lola: 374552 markings, 909269 edges, 304 markings/sec, 790 secs
lola: 376573 markings, 914701 edges, 404 markings/sec, 795 secs
lola: 378731 markings, 920402 edges, 432 markings/sec, 800 secs
lola: 380012 markings, 923406 edges, 256 markings/sec, 805 secs
lola: 381810 markings, 927586 edges, 360 markings/sec, 810 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown unknown 1 unknown unknown unknown unknown unknown 80 unknown 1 1 1 1 unknown unknown
FORMULA BridgeAndVehicles-COL-V80P50N50-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P50N50-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P50N50-UpperBounds-2 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P50N50-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P50N50-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P50N50-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P50N50-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P50N50-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P50N50-UpperBounds-8 80 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P50N50-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P50N50-UpperBounds-10 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P50N50-UpperBounds-11 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P50N50-UpperBounds-12 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P50N50-UpperBounds-13 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P50N50-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P50N50-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1494616072453
--------------------
content from stderr:
----- Start make prepare stderr -----
----- Start make result stderr -----
----- Start make result stderr -----
----- Kill lola and sara stderr -----
----- Finished stderr -----
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="BridgeAndVehicles-COL-V80P50N50"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/BridgeAndVehicles-COL-V80P50N50.tgz
mv BridgeAndVehicles-COL-V80P50N50 execution
# this is for BenchKit: explicit launching of the test
cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool lola"
echo " Input is BridgeAndVehicles-COL-V80P50N50, 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 r008-csrt-149436126300425"
echo "====================================================================="
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 ;