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 S_BridgeAndVehicles-COL-V80P50N50, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r088-csrt-149441074400425
=====================================================================

--------------------
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 1496347110508


Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_BridgeAndVehicles-COL-V80P50N50: translating COL Petri net model.pnml into LoLA format
===========================================================================================
translating COL Petri net complete
checking for too many tokens
===========================================================================================
S_BridgeAndVehicles-COL-V80P50N50: translating COL formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
----- Start make result stdout -----
UpperBounds @ S_BridgeAndVehicles-COL-V80P50N50 @ 3537 seconds
----- Start make result stdout -----
lola: LoLA will run for 3537 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(p2 + p3) : MAX(p0 + p1) : 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(p0 + p1) : MAX(p0 + p1) : MAX(p226) : MAX(p226) : MAX(p88) : MAX(p87) : MAX(p90) : MAX(p98 + 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 + p97 + p96 + p95 + p94 + p93 + p92 + p99) : MAX(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) : 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(p98 + 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 + p97 + p96 + p95 + p94 + p93 + p92 + p99) : MAX(p227) : MAX(p226)
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(p2 + 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: 1323 markings, 2296 edges, 265 markings/sec, 0 secs
lola: 2944 markings, 6672 edges, 324 markings/sec, 5 secs
lola: 4341 markings, 10563 edges, 279 markings/sec, 10 secs
lola: 5405 markings, 13565 edges, 213 markings/sec, 15 secs
lola: 6442 markings, 16494 edges, 207 markings/sec, 20 secs
lola: 7422 markings, 19260 edges, 196 markings/sec, 25 secs
lola: 8373 markings, 21959 edges, 190 markings/sec, 30 secs
lola: 9438 markings, 24947 edges, 213 markings/sec, 35 secs
lola: 10588 markings, 28178 edges, 230 markings/sec, 40 secs
lola: 12123 markings, 31823 edges, 307 markings/sec, 45 secs
lola: 13148 markings, 34590 edges, 205 markings/sec, 50 secs
lola: 14489 markings, 38303 edges, 268 markings/sec, 55 secs
lola: 15523 markings, 41322 edges, 207 markings/sec, 60 secs
lola: 16624 markings, 44509 edges, 220 markings/sec, 65 secs
lola: 17837 markings, 47997 edges, 243 markings/sec, 70 secs
lola: 19117 markings, 51617 edges, 256 markings/sec, 75 secs
lola: 20006 markings, 54067 edges, 178 markings/sec, 80 secs
lola: 21158 markings, 57516 edges, 230 markings/sec, 85 secs
lola: 22593 markings, 61668 edges, 287 markings/sec, 90 secs
lola: 23707 markings, 64563 edges, 223 markings/sec, 95 secs
lola: 24719 markings, 67817 edges, 202 markings/sec, 100 secs
lola: 26494 markings, 72582 edges, 355 markings/sec, 105 secs
lola: 27120 markings, 74450 edges, 125 markings/sec, 110 secs
lola: 28377 markings, 77692 edges, 251 markings/sec, 115 secs
lola: 29301 markings, 80723 edges, 185 markings/sec, 120 secs
lola: 30286 markings, 83201 edges, 197 markings/sec, 125 secs
lola: 31817 markings, 87644 edges, 306 markings/sec, 130 secs
lola: 32643 markings, 89850 edges, 165 markings/sec, 135 secs
lola: 34013 markings, 93530 edges, 274 markings/sec, 140 secs
lola: 35083 markings, 96925 edges, 214 markings/sec, 145 secs
lola: 36332 markings, 100064 edges, 250 markings/sec, 150 secs
lola: 38072 markings, 104982 edges, 348 markings/sec, 155 secs
lola: 38666 markings, 106718 edges, 119 markings/sec, 160 secs
lola: 39814 markings, 109724 edges, 230 markings/sec, 165 secs
lola: 41230 markings, 113493 edges, 283 markings/sec, 170 secs
lola: 42090 markings, 116326 edges, 172 markings/sec, 175 secs
lola: 43441 markings, 120050 edges, 270 markings/sec, 180 secs
lola: 44447 markings, 122780 edges, 201 markings/sec, 185 secs
lola: 45627 markings, 125994 edges, 236 markings/sec, 190 secs
lola: 46421 markings, 128174 edges, 159 markings/sec, 195 secs
lola: 47583 markings, 131172 edges, 232 markings/sec, 200 secs
lola: 48631 markings, 134045 edges, 210 markings/sec, 205 secs
lola: 50390 markings, 139018 edges, 352 markings/sec, 210 secs
lola: 50804 markings, 140409 edges, 83 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(p0 + p1)
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: 974 markings, 1238 edges, 195 markings/sec, 0 secs
lola: 2219 markings, 4073 edges, 249 markings/sec, 5 secs
lola: 2998 markings, 5884 edges, 156 markings/sec, 10 secs
lola: 3601 markings, 7311 edges, 121 markings/sec, 15 secs
lola: 4247 markings, 8772 edges, 129 markings/sec, 20 secs
lola: 4869 markings, 10341 edges, 124 markings/sec, 25 secs
lola: 5472 markings, 11787 edges, 121 markings/sec, 30 secs
lola: 6037 markings, 13107 edges, 113 markings/sec, 35 secs
lola: 6564 markings, 14356 edges, 105 markings/sec, 40 secs
lola: 7044 markings, 15512 edges, 96 markings/sec, 45 secs
lola: 7485 markings, 16588 edges, 88 markings/sec, 50 secs
lola: 8299 markings, 18588 edges, 163 markings/sec, 55 secs
lola: 8783 markings, 19725 edges, 97 markings/sec, 60 secs
lola: 9166 markings, 20651 edges, 77 markings/sec, 65 secs
lola: 9472 markings, 21400 edges, 61 markings/sec, 70 secs
lola: 10775 markings, 24484 edges, 261 markings/sec, 75 secs
lola: 12892 markings, 28689 edges, 423 markings/sec, 80 secs
lola: 13505 markings, 29895 edges, 123 markings/sec, 85 secs
lola: 14160 markings, 31185 edges, 131 markings/sec, 90 secs
lola: 14661 markings, 32668 edges, 100 markings/sec, 95 secs
lola: 15172 markings, 34201 edges, 102 markings/sec, 100 secs
lola: 15793 markings, 35920 edges, 124 markings/sec, 105 secs
lola: 16474 markings, 37261 edges, 136 markings/sec, 110 secs
lola: 17157 markings, 38607 edges, 137 markings/sec, 115 secs
lola: 17807 markings, 40314 edges, 130 markings/sec, 120 secs
lola: 18331 markings, 41886 edges, 105 markings/sec, 125 secs
lola: 19024 markings, 43821 edges, 139 markings/sec, 130 secs
lola: 19686 markings, 45125 edges, 132 markings/sec, 135 secs
lola: 20368 markings, 46469 edges, 136 markings/sec, 140 secs
lola: 20871 markings, 47749 edges, 101 markings/sec, 145 secs
lola: 21323 markings, 49105 edges, 90 markings/sec, 150 secs
lola: 21927 markings, 50917 edges, 121 markings/sec, 155 secs
lola: 22510 markings, 52242 edges, 117 markings/sec, 160 secs
lola: 23013 markings, 53234 edges, 101 markings/sec, 165 secs
lola: 23511 markings, 54215 edges, 100 markings/sec, 170 secs
lola: 23981 markings, 55310 edges, 94 markings/sec, 175 secs
lola: 24429 markings, 56654 edges, 90 markings/sec, 180 secs
lola: 24879 markings, 58004 edges, 90 markings/sec, 185 secs
lola: 25324 markings, 59339 edges, 89 markings/sec, 190 secs
lola: 25840 markings, 60372 edges, 103 markings/sec, 195 secs
lola: 26311 markings, 61301 edges, 94 markings/sec, 200 secs
lola: 26780 markings, 62226 edges, 94 markings/sec, 205 secs
lola: 27226 markings, 63266 edges, 89 markings/sec, 210 secs
lola: 27633 markings, 64487 edges, 81 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(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 3 will run for 238 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p0 + p1)
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: 1243 markings, 1824 edges, 249 markings/sec, 0 secs
lola: 2704 markings, 5213 edges, 292 markings/sec, 5 secs
lola: 3475 markings, 7036 edges, 154 markings/sec, 10 secs
lola: 4187 markings, 8645 edges, 142 markings/sec, 15 secs
lola: 4795 markings, 10119 edges, 122 markings/sec, 20 secs
lola: 5369 markings, 11542 edges, 115 markings/sec, 25 secs
lola: 5835 markings, 12641 edges, 93 markings/sec, 30 secs
lola: 6269 markings, 13646 edges, 87 markings/sec, 35 secs
lola: 6671 markings, 14565 edges, 80 markings/sec, 40 secs
lola: 7146 markings, 15711 edges, 95 markings/sec, 45 secs
lola: 7587 markings, 16787 edges, 88 markings/sec, 50 secs
lola: 8308 markings, 18606 edges, 144 markings/sec, 55 secs
lola: 8670 markings, 19464 edges, 72 markings/sec, 60 secs
lola: 9044 markings, 20342 edges, 75 markings/sec, 65 secs
lola: 9409 markings, 21211 edges, 73 markings/sec, 70 secs
lola: 10570 markings, 23986 edges, 232 markings/sec, 75 secs
lola: 12741 markings, 28392 edges, 434 markings/sec, 80 secs
lola: 13459 markings, 29805 edges, 144 markings/sec, 85 secs
lola: 14200 markings, 31285 edges, 148 markings/sec, 90 secs
lola: 14903 markings, 33394 edges, 141 markings/sec, 95 secs
lola: 15577 markings, 35416 edges, 135 markings/sec, 100 secs
lola: 16385 markings, 37086 edges, 162 markings/sec, 105 secs
lola: 17117 markings, 38528 edges, 146 markings/sec, 110 secs
lola: 17793 markings, 40272 edges, 135 markings/sec, 115 secs
lola: 18420 markings, 42153 edges, 125 markings/sec, 120 secs
lola: 19106 markings, 43982 edges, 137 markings/sec, 125 secs
lola: 19797 markings, 45344 edges, 138 markings/sec, 130 secs
lola: 20426 markings, 46583 edges, 126 markings/sec, 135 secs
lola: 20910 markings, 47866 edges, 97 markings/sec, 140 secs
lola: 21365 markings, 49231 edges, 91 markings/sec, 145 secs
lola: 21813 markings, 50575 edges, 90 markings/sec, 150 secs
lola: 22304 markings, 51836 edges, 98 markings/sec, 155 secs
lola: 22783 markings, 52780 edges, 96 markings/sec, 160 secs
lola: 23290 markings, 53780 edges, 101 markings/sec, 165 secs
lola: 23799 markings, 54784 edges, 102 markings/sec, 170 secs
lola: 24266 markings, 56165 edges, 93 markings/sec, 175 secs
lola: 24735 markings, 57572 edges, 94 markings/sec, 180 secs
lola: 25204 markings, 58979 edges, 94 markings/sec, 185 secs
lola: 25724 markings, 60143 edges, 104 markings/sec, 190 secs
lola: 26205 markings, 61092 edges, 96 markings/sec, 195 secs
lola: 26684 markings, 62036 edges, 96 markings/sec, 200 secs
lola: 27152 markings, 63044 edges, 94 markings/sec, 205 secs
lola: 27606 markings, 64406 edges, 91 markings/sec, 210 secs
lola: 28065 markings, 65783 edges, 92 markings/sec, 215 secs
lola: 28526 markings, 67166 edges, 92 markings/sec, 220 secs
lola: 29008 markings, 68196 edges, 96 markings/sec, 225 secs
lola: 29446 markings, 69060 edges, 88 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(p0 + p1)
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: 1335 markings, 2058 edges, 267 markings/sec, 0 secs
lola: 2768 markings, 5335 edges, 287 markings/sec, 5 secs
lola: 3530 markings, 7175 edges, 152 markings/sec, 10 secs
lola: 4044 markings, 8370 edges, 103 markings/sec, 15 secs
lola: 4544 markings, 9548 edges, 100 markings/sec, 20 secs
lola: 5019 markings, 10686 edges, 95 markings/sec, 25 secs
lola: 5480 markings, 11802 edges, 92 markings/sec, 30 secs
lola: 5913 markings, 12866 edges, 87 markings/sec, 35 secs
lola: 6463 markings, 14160 edges, 110 markings/sec, 40 secs
lola: 7004 markings, 15434 edges, 108 markings/sec, 45 secs
lola: 7461 markings, 16541 edges, 91 markings/sec, 50 secs
lola: 8217 markings, 18362 edges, 151 markings/sec, 55 secs
lola: 8772 markings, 19703 edges, 111 markings/sec, 60 secs
lola: 9226 markings, 20769 edges, 91 markings/sec, 65 secs
lola: 10289 markings, 23289 edges, 213 markings/sec, 70 secs
lola: 12721 markings, 28353 edges, 486 markings/sec, 75 secs
lola: 13466 markings, 29819 edges, 149 markings/sec, 80 secs
lola: 14238 markings, 31399 edges, 154 markings/sec, 85 secs
lola: 14932 markings, 33481 edges, 139 markings/sec, 90 secs
lola: 15665 markings, 35648 edges, 147 markings/sec, 95 secs
lola: 16507 markings, 37326 edges, 168 markings/sec, 100 secs
lola: 17285 markings, 38859 edges, 156 markings/sec, 105 secs
lola: 17936 markings, 40701 edges, 130 markings/sec, 110 secs
lola: 18576 markings, 42621 edges, 128 markings/sec, 115 secs
lola: 19288 markings, 44341 edges, 142 markings/sec, 120 secs
lola: 19996 markings, 45736 edges, 142 markings/sec, 125 secs
lola: 20680 markings, 47176 edges, 137 markings/sec, 130 secs
lola: 21294 markings, 49018 edges, 123 markings/sec, 135 secs
lola: 21921 markings, 50899 edges, 125 markings/sec, 140 secs
lola: 22519 markings, 52260 edges, 120 markings/sec, 145 secs
lola: 23037 markings, 53281 edges, 104 markings/sec, 150 secs
lola: 23549 markings, 54290 edges, 102 markings/sec, 155 secs
lola: 24028 markings, 55451 edges, 96 markings/sec, 160 secs
lola: 24478 markings, 56801 edges, 90 markings/sec, 165 secs
lola: 24921 markings, 58130 edges, 89 markings/sec, 170 secs
lola: 25412 markings, 59528 edges, 98 markings/sec, 175 secs
lola: 25895 markings, 60480 edges, 97 markings/sec, 180 secs
lola: 26378 markings, 61433 edges, 97 markings/sec, 185 secs
lola: 26854 markings, 62372 edges, 95 markings/sec, 190 secs
lola: 27210 markings, 63218 edges, 71 markings/sec, 195 secs
lola: 27517 markings, 64139 edges, 61 markings/sec, 200 secs
lola: 27822 markings, 65054 edges, 61 markings/sec, 205 secs
lola: 28208 markings, 66212 edges, 77 markings/sec, 210 secs
lola: 28677 markings, 67543 edges, 94 markings/sec, 215 secs
lola: 29118 markings, 68413 edges, 88 markings/sec, 220 secs
lola: 29558 markings, 69281 edges, 88 markings/sec, 225 secs
lola: 29998 markings, 70149 edges, 88 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(p226)
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: 1676 markings, 2342 edges, 335 markings/sec, 0 secs
lola: 3547 markings, 5665 edges, 374 markings/sec, 5 secs
lola: 4939 markings, 8430 edges, 278 markings/sec, 10 secs
lola: 6240 markings, 11077 edges, 260 markings/sec, 15 secs
lola: 7455 markings, 13482 edges, 243 markings/sec, 20 secs
lola: 8759 markings, 16176 edges, 261 markings/sec, 25 secs
lola: 9876 markings, 18533 edges, 223 markings/sec, 30 secs
lola: 11036 markings, 20930 edges, 232 markings/sec, 35 secs
lola: 12237 markings, 23357 edges, 240 markings/sec, 40 secs
lola: 13450 markings, 25725 edges, 243 markings/sec, 45 secs
lola: 14235 markings, 27504 edges, 157 markings/sec, 50 secs
lola: 15304 markings, 29891 edges, 214 markings/sec, 55 secs
lola: 16655 markings, 32461 edges, 270 markings/sec, 60 secs
lola: 17481 markings, 34251 edges, 165 markings/sec, 65 secs
lola: 18609 markings, 36714 edges, 226 markings/sec, 70 secs
lola: 19825 markings, 38914 edges, 243 markings/sec, 75 secs
lola: 20597 markings, 40957 edges, 154 markings/sec, 80 secs
lola: 22086 markings, 43608 edges, 298 markings/sec, 85 secs
lola: 22632 markings, 45224 edges, 109 markings/sec, 90 secs
lola: 23965 markings, 47532 edges, 267 markings/sec, 95 secs
lola: 24736 markings, 49574 edges, 154 markings/sec, 100 secs
lola: 25680 markings, 51363 edges, 189 markings/sec, 105 secs
lola: 26864 markings, 53873 edges, 237 markings/sec, 110 secs
lola: 27314 markings, 55184 edges, 90 markings/sec, 115 secs
lola: 28520 markings, 57130 edges, 241 markings/sec, 120 secs
lola: 29367 markings, 59159 edges, 169 markings/sec, 125 secs
lola: 29821 markings, 60482 edges, 91 markings/sec, 130 secs
lola: 33556 markings, 73841 edges, 747 markings/sec, 135 secs
lola: 38820 markings, 93879 edges, 1053 markings/sec, 140 secs
lola: 41911 markings, 103799 edges, 618 markings/sec, 145 secs
lola: 43185 markings, 106895 edges, 255 markings/sec, 150 secs
lola: 44161 markings, 109419 edges, 195 markings/sec, 155 secs
lola: 45264 markings, 112350 edges, 221 markings/sec, 160 secs
lola: 46422 markings, 115542 edges, 232 markings/sec, 165 secs
lola: 47449 markings, 118627 edges, 205 markings/sec, 170 secs
lola: 48156 markings, 120354 edges, 141 markings/sec, 175 secs
lola: 48819 markings, 122193 edges, 133 markings/sec, 180 secs
lola: 50057 markings, 125761 edges, 248 markings/sec, 185 secs
lola: 50541 markings, 127034 edges, 97 markings/sec, 190 secs
lola: 52025 markings, 131608 edges, 297 markings/sec, 195 secs
lola: 52662 markings, 133193 edges, 127 markings/sec, 200 secs
lola: 53155 markings, 134502 edges, 99 markings/sec, 205 secs
lola: 54512 markings, 139000 edges, 271 markings/sec, 210 secs
lola: 55376 markings, 141173 edges, 173 markings/sec, 215 secs
lola: 55888 markings, 142490 edges, 102 markings/sec, 220 secs
lola: 56338 markings, 143722 edges, 90 markings/sec, 225 secs
lola: 58197 markings, 149772 edges, 372 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(p226)
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: 1759 markings, 2479 edges, 352 markings/sec, 0 secs
lola: 3611 markings, 5827 edges, 370 markings/sec, 5 secs
lola: 4986 markings, 8568 edges, 275 markings/sec, 10 secs
lola: 6275 markings, 11181 edges, 258 markings/sec, 15 secs
lola: 7538 markings, 13618 edges, 253 markings/sec, 20 secs
lola: 8774 markings, 16220 edges, 247 markings/sec, 25 secs
lola: 9883 markings, 18554 edges, 222 markings/sec, 30 secs
lola: 11031 markings, 20916 edges, 230 markings/sec, 35 secs
lola: 12113 markings, 22991 edges, 216 markings/sec, 40 secs
lola: 12813 markings, 24555 edges, 140 markings/sec, 45 secs
lola: 13758 markings, 26637 edges, 189 markings/sec, 50 secs
lola: 15044 markings, 29119 edges, 257 markings/sec, 55 secs
lola: 15880 markings, 30882 edges, 167 markings/sec, 60 secs
lola: 16909 markings, 33216 edges, 206 markings/sec, 65 secs
lola: 18288 markings, 35763 edges, 276 markings/sec, 70 secs
lola: 18814 markings, 37300 edges, 105 markings/sec, 75 secs
lola: 20255 markings, 39941 edges, 288 markings/sec, 80 secs
lola: 20750 markings, 41371 edges, 99 markings/sec, 85 secs
lola: 22276 markings, 44165 edges, 305 markings/sec, 90 secs
lola: 22762 markings, 45584 edges, 97 markings/sec, 95 secs
lola: 24329 markings, 48366 edges, 313 markings/sec, 100 secs
lola: 24814 markings, 49807 edges, 97 markings/sec, 105 secs
lola: 26018 markings, 51921 edges, 241 markings/sec, 110 secs
lola: 26947 markings, 54119 edges, 186 markings/sec, 115 secs
lola: 27472 markings, 55412 edges, 105 markings/sec, 120 secs
lola: 28989 markings, 58041 edges, 303 markings/sec, 125 secs
lola: 29473 markings, 59475 edges, 97 markings/sec, 130 secs
lola: 29904 markings, 60633 edges, 86 markings/sec, 135 secs
lola: 34218 markings, 76363 edges, 863 markings/sec, 140 secs
lola: 39554 markings, 96704 edges, 1067 markings/sec, 145 secs
lola: 42106 markings, 104221 edges, 510 markings/sec, 150 secs
lola: 43253 markings, 107064 edges, 229 markings/sec, 155 secs
lola: 44348 markings, 109948 edges, 219 markings/sec, 160 secs
lola: 45315 markings, 112498 edges, 193 markings/sec, 165 secs
lola: 46539 markings, 115848 edges, 245 markings/sec, 170 secs
lola: 47751 markings, 119413 edges, 242 markings/sec, 175 secs
lola: 48378 markings, 120939 edges, 125 markings/sec, 180 secs
lola: 49670 markings, 124843 edges, 258 markings/sec, 185 secs
lola: 50292 markings, 126377 edges, 124 markings/sec, 190 secs
lola: 50903 markings, 127978 edges, 122 markings/sec, 195 secs
lola: 52483 markings, 132730 edges, 316 markings/sec, 200 secs
lola: 53043 markings, 134203 edges, 112 markings/sec, 205 secs
lola: 54331 markings, 138325 edges, 258 markings/sec, 210 secs
lola: 55399 markings, 141230 edges, 214 markings/sec, 215 secs
lola: 55915 markings, 142567 edges, 103 markings/sec, 220 secs
lola: 56369 markings, 143801 edges, 91 markings/sec, 225 secs
lola: 57934 markings, 149082 edges, 313 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(p88)
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: 2664 markings, 3726 edges, 533 markings/sec, 0 secs
lola: 15804 markings, 28501 edges, 2628 markings/sec, 5 secs
lola: 27934 markings, 51055 edges, 2426 markings/sec, 10 secs
lola: 39156 markings, 72578 edges, 2244 markings/sec, 15 secs
lola: 49740 markings, 93010 edges, 2117 markings/sec, 20 secs
lola: 62166 markings, 117022 edges, 2485 markings/sec, 25 secs
lola: 74258 markings, 140633 edges, 2418 markings/sec, 30 secs
lola: 85936 markings, 163639 edges, 2336 markings/sec, 35 secs
lola: 96208 markings, 183426 edges, 2054 markings/sec, 40 secs
lola: 107290 markings, 205043 edges, 2216 markings/sec, 45 secs
lola: 119058 markings, 228019 edges, 2354 markings/sec, 50 secs
lola: 132322 markings, 253980 edges, 2653 markings/sec, 55 secs
lola: 145484 markings, 279698 edges, 2632 markings/sec, 60 secs
lola: 158842 markings, 305930 edges, 2672 markings/sec, 65 secs
lola: 171168 markings, 330118 edges, 2465 markings/sec, 70 secs
lola: 183930 markings, 355228 edges, 2552 markings/sec, 75 secs
lola: 196208 markings, 379630 edges, 2456 markings/sec, 80 secs
lola: 210130 markings, 406678 edges, 2784 markings/sec, 85 secs
lola: 223224 markings, 432446 edges, 2619 markings/sec, 90 secs
lola: 236068 markings, 457952 edges, 2569 markings/sec, 95 secs
lola: 246894 markings, 478738 edges, 2165 markings/sec, 100 secs
lola: 258078 markings, 500754 edges, 2237 markings/sec, 105 secs
lola: 269188 markings, 522585 edges, 2222 markings/sec, 110 secs
lola: 282506 markings, 546499 edges, 2664 markings/sec, 115 secs
lola: 285632 markings, 552256 edges, 625 markings/sec, 120 secs
lola: 286420 markings, 553241 edges, 158 markings/sec, 125 secs
lola: 293880 markings, 566072 edges, 1492 markings/sec, 130 secs
lola: 306496 markings, 590007 edges, 2523 markings/sec, 135 secs
lola: 320744 markings, 616727 edges, 2850 markings/sec, 140 secs
lola: 332584 markings, 639522 edges, 2368 markings/sec, 145 secs
lola: 345216 markings, 663956 edges, 2526 markings/sec, 150 secs
lola: 357516 markings, 688008 edges, 2460 markings/sec, 155 secs
lola: 369310 markings, 711119 edges, 2359 markings/sec, 160 secs
lola: 380350 markings, 732537 edges, 2208 markings/sec, 165 secs
lola: 391370 markings, 754095 edges, 2204 markings/sec, 170 secs
lola: 402950 markings, 776703 edges, 2316 markings/sec, 175 secs
lola: 415654 markings, 801535 edges, 2541 markings/sec, 180 secs
lola: 429260 markings, 828132 edges, 2721 markings/sec, 185 secs
lola: 442906 markings, 854783 edges, 2729 markings/sec, 190 secs
lola: 457116 markings, 882691 edges, 2842 markings/sec, 195 secs
lola: 470940 markings, 910199 edges, 2765 markings/sec, 200 secs
lola: 484208 markings, 935745 edges, 2654 markings/sec, 205 secs
lola: 497948 markings, 963009 edges, 2748 markings/sec, 210 secs
lola: 511358 markings, 989429 edges, 2682 markings/sec, 215 secs
lola: 523462 markings, 1012814 edges, 2421 markings/sec, 220 secs
lola: 536174 markings, 1037868 edges, 2542 markings/sec, 225 secs
lola: 547940 markings, 1061026 edges, 2353 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(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: 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(p90)
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: 2539 markings, 3054 edges, 508 markings/sec, 0 secs
lola: 5590 markings, 6814 edges, 610 markings/sec, 5 secs
lola: 8785 markings, 10699 edges, 639 markings/sec, 10 secs
lola: 12319 markings, 14931 edges, 707 markings/sec, 15 secs
lola: 18411 markings, 28082 edges, 1218 markings/sec, 20 secs
lola: 22229 markings, 39318 edges, 764 markings/sec, 25 secs
lola: 25462 markings, 48810 edges, 647 markings/sec, 30 secs
lola: 28141 markings, 56649 edges, 536 markings/sec, 35 secs
lola: 30460 markings, 63572 edges, 464 markings/sec, 40 secs
lola: 32648 markings, 69947 edges, 438 markings/sec, 45 secs
lola: 34851 markings, 76367 edges, 441 markings/sec, 50 secs
lola: 36935 markings, 82590 edges, 417 markings/sec, 55 secs
lola: 38999 markings, 88596 edges, 413 markings/sec, 60 secs
lola: 40961 markings, 94456 edges, 392 markings/sec, 65 secs
lola: 42779 markings, 99727 edges, 364 markings/sec, 70 secs
lola: 44616 markings, 105056 edges, 367 markings/sec, 75 secs
lola: 46273 markings, 110006 edges, 331 markings/sec, 80 secs
lola: 47973 markings, 114927 edges, 340 markings/sec, 85 secs
lola: 49511 markings, 119521 edges, 308 markings/sec, 90 secs
lola: 51043 markings, 124099 edges, 306 markings/sec, 95 secs
lola: 52481 markings, 128237 edges, 288 markings/sec, 100 secs
lola: 53856 markings, 132345 edges, 275 markings/sec, 105 secs
lola: 55267 markings, 136403 edges, 282 markings/sec, 110 secs
lola: 56583 markings, 140335 edges, 263 markings/sec, 115 secs
lola: 57901 markings, 144157 edges, 264 markings/sec, 120 secs
lola: 58993 markings, 147378 edges, 218 markings/sec, 125 secs
lola: 60143 markings, 150815 edges, 230 markings/sec, 130 secs
lola: 61303 markings, 154123 edges, 232 markings/sec, 135 secs
lola: 62370 markings, 157312 edges, 213 markings/sec, 140 secs
lola: 63434 markings, 160492 edges, 213 markings/sec, 145 secs
lola: 64533 markings, 163662 edges, 220 markings/sec, 150 secs
lola: 65553 markings, 166667 edges, 204 markings/sec, 155 secs
lola: 66613 markings, 169835 edges, 212 markings/sec, 160 secs
lola: 67617 markings, 172836 edges, 201 markings/sec, 165 secs
lola: 68637 markings, 175727 edges, 204 markings/sec, 170 secs
lola: 69595 markings, 178590 edges, 192 markings/sec, 175 secs
lola: 70561 markings, 181478 edges, 193 markings/sec, 180 secs
lola: 71542 markings, 184252 edges, 196 markings/sec, 185 secs
lola: 72508 markings, 187139 edges, 193 markings/sec, 190 secs
lola: 73511 markings, 190138 edges, 201 markings/sec, 195 secs
lola: 74558 markings, 193109 edges, 209 markings/sec, 200 secs
lola: 75514 markings, 195967 edges, 191 markings/sec, 205 secs
lola: 76475 markings, 198840 edges, 192 markings/sec, 210 secs
lola: 77502 markings, 201844 edges, 205 markings/sec, 215 secs
lola: 78451 markings, 204589 edges, 190 markings/sec, 220 secs
lola: 79404 markings, 207439 edges, 191 markings/sec, 225 secs
lola: 80351 markings, 210270 edges, 189 markings/sec, 230 secs
lola: 81327 markings, 213029 edges, 195 markings/sec, 235 secs
lola: 82230 markings, 215729 edges, 181 markings/sec, 240 secs
lola: 83112 markings, 218367 edges, 176 markings/sec, 245 secs
lola: 84041 markings, 220986 edges, 186 markings/sec, 250 secs
lola: 84892 markings, 223530 edges, 170 markings/sec, 255 secs
lola: 85737 markings, 226057 edges, 169 markings/sec, 260 secs
lola: 86585 markings, 228593 edges, 170 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(p98 + 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 ... (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 326 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(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)
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(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 13 will run for 544 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p98 + 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 ... (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 816 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(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: 1037 markings, 1280 edges, 207 markings/sec, 0 secs
lola: 1845 markings, 2492 edges, 162 markings/sec, 5 secs
lola: 2635 markings, 3677 edges, 158 markings/sec, 10 secs
lola: 3425 markings, 4862 edges, 158 markings/sec, 15 secs
lola: 4209 markings, 6038 edges, 157 markings/sec, 20 secs
lola: 4989 markings, 7208 edges, 156 markings/sec, 25 secs
lola: 5532 markings, 8429 edges, 109 markings/sec, 30 secs
lola: 5982 markings, 9779 edges, 90 markings/sec, 35 secs
lola: 6432 markings, 11129 edges, 90 markings/sec, 40 secs
lola: 6891 markings, 12506 edges, 92 markings/sec, 45 secs
lola: 7348 markings, 13877 edges, 91 markings/sec, 50 secs
lola: 8464 markings, 15705 edges, 223 markings/sec, 55 secs
lola: 10535 markings, 18415 edges, 414 markings/sec, 60 secs
lola: 12703 markings, 21198 edges, 434 markings/sec, 65 secs
lola: 15140 markings, 24285 edges, 487 markings/sec, 70 secs
lola: 19117 markings, 28972 edges, 795 markings/sec, 75 secs
lola: 19917 markings, 30546 edges, 160 markings/sec, 80 secs
lola: 20704 markings, 32287 edges, 157 markings/sec, 85 secs
lola: 21470 markings, 34585 edges, 153 markings/sec, 90 secs
lola: 22349 markings, 36826 edges, 176 markings/sec, 95 secs
lola: 23157 markings, 38416 edges, 162 markings/sec, 100 secs
lola: 23952 markings, 40278 edges, 159 markings/sec, 105 secs
lola: 24728 markings, 42606 edges, 155 markings/sec, 110 secs
lola: 25554 markings, 44674 edges, 165 markings/sec, 115 secs
lola: 26281 markings, 46105 edges, 145 markings/sec, 120 secs
lola: 26977 markings, 47640 edges, 139 markings/sec, 125 secs
lola: 27611 markings, 49542 edges, 127 markings/sec, 130 secs
lola: 28249 markings, 51422 edges, 128 markings/sec, 135 secs
lola: 28883 markings, 52785 edges, 127 markings/sec, 140 secs
lola: 29409 markings, 53820 edges, 105 markings/sec, 145 secs
lola: 29919 markings, 54823 edges, 102 markings/sec, 150 secs
lola: 30409 markings, 56209 edges, 98 markings/sec, 155 secs
lola: 30887 markings, 57643 edges, 96 markings/sec, 160 secs
lola: 31375 markings, 59086 edges, 98 markings/sec, 165 secs
lola: 31922 markings, 60340 edges, 109 markings/sec, 170 secs
lola: 32384 markings, 61249 edges, 92 markings/sec, 175 secs
lola: 32847 markings, 62160 edges, 93 markings/sec, 180 secs
lola: 33290 markings, 63113 edges, 89 markings/sec, 185 secs
lola: 33701 markings, 64346 edges, 82 markings/sec, 190 secs
lola: 34123 markings, 65612 edges, 84 markings/sec, 195 secs
lola: 34572 markings, 66932 edges, 90 markings/sec, 200 secs
lola: 35106 markings, 68195 edges, 107 markings/sec, 205 secs
lola: 35528 markings, 69025 edges, 84 markings/sec, 210 secs
lola: 35916 markings, 69789 edges, 78 markings/sec, 215 secs
lola: 36293 markings, 70531 edges, 75 markings/sec, 220 secs
lola: 36603 markings, 71303 edges, 62 markings/sec, 225 secs
lola: 36958 markings, 72368 edges, 71 markings/sec, 230 secs
lola: 37369 markings, 73601 edges, 82 markings/sec, 235 secs
lola: 37756 markings, 74744 edges, 77 markings/sec, 240 secs
lola: 38143 markings, 75713 edges, 77 markings/sec, 245 secs
lola: 38556 markings, 76584 edges, 83 markings/sec, 250 secs
lola: 38912 markings, 77285 edges, 71 markings/sec, 255 secs
lola: 39284 markings, 78017 edges, 74 markings/sec, 260 secs
lola: 39698 markings, 78833 edges, 83 markings/sec, 265 secs
lola: 40067 markings, 79938 edges, 74 markings/sec, 270 secs
lola: 40433 markings, 81036 edges, 73 markings/sec, 275 secs
lola: 40813 markings, 82176 edges, 76 markings/sec, 280 secs
lola: 41214 markings, 83244 edges, 80 markings/sec, 285 secs
lola: 42252 markings, 85471 edges, 208 markings/sec, 290 secs
lola: 44360 markings, 90760 edges, 422 markings/sec, 295 secs
lola: 46117 markings, 94698 edges, 351 markings/sec, 300 secs
lola: 47491 markings, 98352 edges, 275 markings/sec, 305 secs
lola: 48974 markings, 101940 edges, 297 markings/sec, 310 secs
lola: 50410 markings, 105348 edges, 287 markings/sec, 315 secs
lola: 51797 markings, 109118 edges, 277 markings/sec, 320 secs
lola: 53024 markings, 111540 edges, 245 markings/sec, 325 secs
lola: 54103 markings, 114666 edges, 216 markings/sec, 330 secs
lola: 55247 markings, 117534 edges, 229 markings/sec, 335 secs
lola: 56333 markings, 119679 edges, 217 markings/sec, 340 secs
lola: 57309 markings, 122525 edges, 195 markings/sec, 345 secs
lola: 58321 markings, 125208 edges, 202 markings/sec, 350 secs
lola: 59304 markings, 127148 edges, 197 markings/sec, 355 secs
lola: 60186 markings, 129401 edges, 176 markings/sec, 360 secs
lola: 61011 markings, 131876 edges, 165 markings/sec, 365 secs
lola: 61984 markings, 134040 edges, 195 markings/sec, 370 secs
lola: 62939 markings, 135927 edges, 191 markings/sec, 375 secs
lola: 63743 markings, 138323 edges, 161 markings/sec, 380 secs
lola: 64578 markings, 140681 edges, 167 markings/sec, 385 secs
lola: 65560 markings, 142696 edges, 196 markings/sec, 390 secs
lola: 66491 markings, 144826 edges, 186 markings/sec, 395 secs
lola: 67413 markings, 147592 edges, 184 markings/sec, 400 secs
lola: 68305 markings, 149704 edges, 178 markings/sec, 405 secs
lola: 68998 markings, 151072 edges, 139 markings/sec, 410 secs
lola: 69687 markings, 152683 edges, 138 markings/sec, 415 secs
lola: 70364 markings, 154714 edges, 135 markings/sec, 420 secs
lola: 71039 markings, 156569 edges, 135 markings/sec, 425 secs
lola: 71765 markings, 158113 edges, 145 markings/sec, 430 secs
lola: 72419 markings, 159405 edges, 131 markings/sec, 435 secs
lola: 73065 markings, 161098 edges, 129 markings/sec, 440 secs
lola: 73703 markings, 163012 edges, 128 markings/sec, 445 secs
lola: 74343 markings, 164699 edges, 128 markings/sec, 450 secs
lola: 75020 markings, 166107 edges, 135 markings/sec, 455 secs
lola: 75635 markings, 167321 edges, 123 markings/sec, 460 secs
lola: 76235 markings, 168903 edges, 120 markings/sec, 465 secs
lola: 76838 markings, 170712 edges, 121 markings/sec, 470 secs
lola: 77447 markings, 172332 edges, 122 markings/sec, 475 secs
lola: 78102 markings, 173745 edges, 131 markings/sec, 480 secs
lola: 78679 markings, 174884 edges, 115 markings/sec, 485 secs
lola: 79240 markings, 176229 edges, 112 markings/sec, 490 secs
lola: 79787 markings, 177870 edges, 109 markings/sec, 495 secs
lola: 80341 markings, 179440 edges, 111 markings/sec, 500 secs
lola: 80947 markings, 180899 edges, 121 markings/sec, 505 secs
lola: 81498 markings, 181987 edges, 110 markings/sec, 510 secs
lola: 82055 markings, 183087 edges, 111 markings/sec, 515 secs
lola: 82577 markings, 184569 edges, 104 markings/sec, 520 secs
lola: 83092 markings, 186114 edges, 103 markings/sec, 525 secs
lola: 83620 markings, 187512 edges, 106 markings/sec, 530 secs
lola: 84194 markings, 188829 edges, 115 markings/sec, 535 secs
lola: 84685 markings, 189799 edges, 98 markings/sec, 540 secs
lola: 85174 markings, 190764 edges, 98 markings/sec, 545 secs
lola: 85622 markings, 192053 edges, 90 markings/sec, 550 secs
lola: 86084 markings, 193439 edges, 92 markings/sec, 555 secs
lola: 86558 markings, 194733 edges, 95 markings/sec, 560 secs
lola: 87091 markings, 196047 edges, 107 markings/sec, 565 secs
lola: 87560 markings, 196974 edges, 94 markings/sec, 570 secs
lola: 88036 markings, 197914 edges, 95 markings/sec, 575 secs
lola: 88506 markings, 199076 edges, 94 markings/sec, 580 secs
lola: 88951 markings, 200411 edges, 89 markings/sec, 585 secs
lola: 89385 markings, 201678 edges, 87 markings/sec, 590 secs
lola: 89846 markings, 202829 edges, 92 markings/sec, 595 secs
lola: 90293 markings, 203847 edges, 89 markings/sec, 600 secs
lola: 90665 markings, 204581 edges, 74 markings/sec, 605 secs
lola: 91084 markings, 205409 edges, 84 markings/sec, 610 secs
lola: 91503 markings, 206462 edges, 84 markings/sec, 615 secs
lola: 91802 markings, 207359 edges, 60 markings/sec, 620 secs
lola: 92105 markings, 208268 edges, 61 markings/sec, 625 secs
lola: 92439 markings, 209192 edges, 67 markings/sec, 630 secs
lola: 92806 markings, 210108 edges, 73 markings/sec, 635 secs
lola: 93936 markings, 212497 edges, 226 markings/sec, 640 secs
lola: 96543 markings, 219069 edges, 521 markings/sec, 645 secs
lola: 98192 markings, 222999 edges, 330 markings/sec, 650 secs
lola: 99630 markings, 226563 edges, 288 markings/sec, 655 secs
lola: 100845 markings, 229453 edges, 243 markings/sec, 660 secs
lola: 101982 markings, 232571 edges, 227 markings/sec, 665 secs
lola: 103186 markings, 235003 edges, 241 markings/sec, 670 secs
lola: 104261 markings, 238228 edges, 215 markings/sec, 675 secs
lola: 105396 markings, 240651 edges, 227 markings/sec, 680 secs
lola: 106396 markings, 243194 edges, 200 markings/sec, 685 secs
lola: 107414 markings, 245930 edges, 204 markings/sec, 690 secs
lola: 108242 markings, 247571 edges, 166 markings/sec, 695 secs
lola: 109045 markings, 249738 edges, 161 markings/sec, 700 secs
lola: 109885 markings, 252071 edges, 168 markings/sec, 705 secs
lola: 110640 markings, 253567 edges, 151 markings/sec, 710 secs
lola: 111397 markings, 255429 edges, 151 markings/sec, 715 secs
lola: 112133 markings, 257622 edges, 147 markings/sec, 720 secs
lola: 112855 markings, 259162 edges, 144 markings/sec, 725 secs
lola: 113547 markings, 260554 edges, 138 markings/sec, 730 secs
lola: 114225 markings, 262588 edges, 136 markings/sec, 735 secs
lola: 114921 markings, 264421 edges, 139 markings/sec, 740 secs
lola: 115604 markings, 265775 edges, 137 markings/sec, 745 secs
lola: 116148 markings, 267074 edges, 109 markings/sec, 750 secs
lola: 116620 markings, 268490 edges, 94 markings/sec, 755 secs
lola: 117196 markings, 270051 edges, 115 markings/sec, 760 secs
lola: 117774 markings, 271197 edges, 116 markings/sec, 765 secs
lola: 118320 markings, 272351 edges, 109 markings/sec, 770 secs
lola: 118758 markings, 273665 edges, 88 markings/sec, 775 secs
lola: 119338 markings, 275312 edges, 116 markings/sec, 780 secs
lola: 119929 markings, 276546 edges, 118 markings/sec, 785 secs
lola: 120485 markings, 277653 edges, 111 markings/sec, 790 secs
lola: 121046 markings, 279336 edges, 112 markings/sec, 795 secs
lola: 121666 markings, 281018 edges, 124 markings/sec, 800 secs
lola: 122207 markings, 282091 edges, 108 markings/sec, 805 secs
lola: 122684 markings, 283105 edges, 95 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 817 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p226)
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: 1482 markings, 2016 edges, 296 markings/sec, 0 secs
lola: 3329 markings, 5309 edges, 369 markings/sec, 5 secs
lola: 4776 markings, 8066 edges, 289 markings/sec, 10 secs
lola: 5977 markings, 10470 edges, 240 markings/sec, 15 secs
lola: 7036 markings, 12725 edges, 212 markings/sec, 20 secs
lola: 7998 markings, 14772 edges, 192 markings/sec, 25 secs
lola: 8977 markings, 16793 edges, 196 markings/sec, 30 secs
lola: 10142 markings, 19108 edges, 233 markings/sec, 35 secs
lola: 11245 markings, 21464 edges, 221 markings/sec, 40 secs
lola: 12421 markings, 23903 edges, 235 markings/sec, 45 secs
lola: 13672 markings, 26381 edges, 250 markings/sec, 50 secs
lola: 14946 markings, 28830 edges, 255 markings/sec, 55 secs
lola: 15702 markings, 30591 edges, 151 markings/sec, 60 secs
lola: 16854 markings, 33052 edges, 230 markings/sec, 65 secs
lola: 18233 markings, 35603 edges, 276 markings/sec, 70 secs
lola: 18762 markings, 37170 edges, 106 markings/sec, 75 secs
lola: 20177 markings, 39710 edges, 283 markings/sec, 80 secs
lola: 20630 markings, 41056 edges, 91 markings/sec, 85 secs
lola: 22072 markings, 43579 edges, 288 markings/sec, 90 secs
lola: 22582 markings, 45075 edges, 102 markings/sec, 95 secs
lola: 23442 markings, 46665 edges, 172 markings/sec, 100 secs
lola: 24519 markings, 48929 edges, 215 markings/sec, 105 secs
lola: 24963 markings, 50223 edges, 89 markings/sec, 110 secs
lola: 26580 markings, 53031 edges, 323 markings/sec, 115 secs
lola: 27109 markings, 54602 edges, 106 markings/sec, 120 secs
lola: 28158 markings, 56531 edges, 210 markings/sec, 125 secs
lola: 29353 markings, 59117 edges, 239 markings/sec, 130 secs
lola: 29833 markings, 60518 edges, 96 markings/sec, 135 secs
lola: 33923 markings, 75252 edges, 818 markings/sec, 140 secs
lola: 39431 markings, 96214 edges, 1102 markings/sec, 145 secs
lola: 42109 markings, 104228 edges, 536 markings/sec, 150 secs
lola: 43282 markings, 107136 edges, 235 markings/sec, 155 secs
lola: 44505 markings, 110501 edges, 245 markings/sec, 160 secs
lola: 45373 markings, 112589 edges, 174 markings/sec, 165 secs
lola: 46583 markings, 115955 edges, 242 markings/sec, 170 secs
lola: 47877 markings, 119687 edges, 259 markings/sec, 175 secs
lola: 48485 markings, 121214 edges, 122 markings/sec, 180 secs
lola: 49960 markings, 125521 edges, 295 markings/sec, 185 secs
lola: 50538 markings, 127025 edges, 116 markings/sec, 190 secs
lola: 52084 markings, 131777 edges, 309 markings/sec, 195 secs
lola: 52802 markings, 133549 edges, 144 markings/sec, 200 secs
lola: 53341 markings, 135002 edges, 108 markings/sec, 205 secs
lola: 55126 markings, 140634 edges, 357 markings/sec, 210 secs
lola: 55847 markings, 142394 edges, 144 markings/sec, 215 secs
lola: 56418 markings, 143916 edges, 114 markings/sec, 220 secs
lola: 58366 markings, 150183 edges, 390 markings/sec, 225 secs
lola: 59127 markings, 152111 edges, 152 markings/sec, 230 secs
lola: 59739 markings, 153724 edges, 122 markings/sec, 235 secs
lola: 60261 markings, 155155 edges, 104 markings/sec, 240 secs
lola: 62454 markings, 162331 edges, 439 markings/sec, 245 secs
lola: 63206 markings, 164239 edges, 150 markings/sec, 250 secs
lola: 63790 markings, 165799 edges, 117 markings/sec, 255 secs
lola: 64360 markings, 167327 edges, 114 markings/sec, 260 secs
lola: 64887 markings, 168707 edges, 105 markings/sec, 265 secs
lola: 67387 markings, 177104 edges, 500 markings/sec, 270 secs
lola: 68107 markings, 178899 edges, 144 markings/sec, 275 secs
lola: 68715 markings, 180502 edges, 122 markings/sec, 280 secs
lola: 69241 markings, 181943 edges, 105 markings/sec, 285 secs
lola: 69772 markings, 183390 edges, 106 markings/sec, 290 secs
lola: 71856 markings, 190594 edges, 417 markings/sec, 295 secs
lola: 73146 markings, 194485 edges, 258 markings/sec, 300 secs
lola: 73898 markings, 196307 edges, 150 markings/sec, 305 secs
lola: 74464 markings, 197842 edges, 113 markings/sec, 310 secs
lola: 75052 markings, 199416 edges, 118 markings/sec, 315 secs
lola: 75554 markings, 200833 edges, 100 markings/sec, 320 secs
lola: 76294 markings, 202884 edges, 148 markings/sec, 325 secs
lola: 79257 markings, 213115 edges, 593 markings/sec, 330 secs
lola: 79964 markings, 214941 edges, 141 markings/sec, 335 secs
lola: 80623 markings, 216650 edges, 132 markings/sec, 340 secs
lola: 81165 markings, 218145 edges, 108 markings/sec, 345 secs
lola: 81704 markings, 219621 edges, 108 markings/sec, 350 secs
lola: 82246 markings, 221093 edges, 108 markings/sec, 355 secs
lola: 82739 markings, 222480 edges, 99 markings/sec, 360 secs
lola: 85550 markings, 232428 edges, 562 markings/sec, 365 secs
lola: 86857 markings, 236356 edges, 261 markings/sec, 370 secs
lola: 87576 markings, 238129 edges, 144 markings/sec, 375 secs
lola: 88226 markings, 239845 edges, 130 markings/sec, 380 secs
lola: 88749 markings, 241279 edges, 105 markings/sec, 385 secs
lola: 89248 markings, 242633 edges, 100 markings/sec, 390 secs
lola: 89724 markings, 243970 edges, 95 markings/sec, 395 secs
lola: 90233 markings, 245405 edges, 102 markings/sec, 400 secs
lola: 90754 markings, 246852 edges, 104 markings/sec, 405 secs
lola: 94637 markings, 260523 edges, 777 markings/sec, 410 secs
lola: 95329 markings, 262441 edges, 138 markings/sec, 415 secs
lola: 96012 markings, 264099 edges, 137 markings/sec, 420 secs
lola: 96565 markings, 265575 edges, 111 markings/sec, 425 secs
lola: 97133 markings, 267097 edges, 114 markings/sec, 430 secs
lola: 97644 markings, 268508 edges, 102 markings/sec, 435 secs
lola: 98150 markings, 269910 edges, 101 markings/sec, 440 secs
lola: 98614 markings, 271212 edges, 93 markings/sec, 445 secs
lola: 99081 markings, 272520 edges, 93 markings/sec, 450 secs
lola: 99588 markings, 273942 edges, 101 markings/sec, 455 secs
lola: 103165 markings, 286789 edges, 715 markings/sec, 460 secs
lola: 104658 markings, 291362 edges, 299 markings/sec, 465 secs
lola: 105164 markings, 292833 edges, 101 markings/sec, 470 secs
lola: 105850 markings, 294424 edges, 137 markings/sec, 475 secs
lola: 106392 markings, 295879 edges, 108 markings/sec, 480 secs
lola: 106935 markings, 297346 edges, 109 markings/sec, 485 secs
lola: 107427 markings, 298732 edges, 98 markings/sec, 490 secs
lola: 107941 markings, 300129 edges, 103 markings/sec, 495 secs
lola: 108473 markings, 301613 edges, 106 markings/sec, 500 secs
lola: 108986 markings, 303053 edges, 103 markings/sec, 505 secs
lola: 109503 markings, 304501 edges, 103 markings/sec, 510 secs
lola: 111074 markings, 309670 edges, 314 markings/sec, 515 secs
lola: 114936 markings, 323446 edges, 772 markings/sec, 520 secs
lola: 115564 markings, 325277 edges, 126 markings/sec, 525 secs
lola: 116272 markings, 327018 edges, 142 markings/sec, 530 secs
lola: 116946 markings, 328810 edges, 135 markings/sec, 535 secs
lola: 117551 markings, 330452 edges, 121 markings/sec, 540 secs
lola: 118130 markings, 332039 edges, 116 markings/sec, 545 secs
lola: 118665 markings, 333534 edges, 107 markings/sec, 550 secs
lola: 119229 markings, 335077 edges, 113 markings/sec, 555 secs
lola: 119754 markings, 336552 edges, 105 markings/sec, 560 secs
lola: 120285 markings, 338042 edges, 106 markings/sec, 565 secs
lola: 120799 markings, 339478 edges, 103 markings/sec, 570 secs
lola: 121418 markings, 341152 edges, 124 markings/sec, 575 secs
lola: 125566 markings, 356545 edges, 830 markings/sec, 580 secs
lola: 127199 markings, 361737 edges, 327 markings/sec, 585 secs
lola: 127736 markings, 363316 edges, 107 markings/sec, 590 secs
lola: 128465 markings, 365078 edges, 146 markings/sec, 595 secs
lola: 129160 markings, 366926 edges, 139 markings/sec, 600 secs
lola: 129756 markings, 368552 edges, 119 markings/sec, 605 secs
lola: 130348 markings, 370205 edges, 118 markings/sec, 610 secs
lola: 130962 markings, 371881 edges, 123 markings/sec, 615 secs
lola: 131508 markings, 373423 edges, 109 markings/sec, 620 secs
lola: 132051 markings, 374952 edges, 109 markings/sec, 625 secs
lola: 132592 markings, 376472 edges, 108 markings/sec, 630 secs
lola: 133133 markings, 377989 edges, 108 markings/sec, 635 secs
lola: 133673 markings, 379498 edges, 108 markings/sec, 640 secs
lola: 135212 markings, 384558 edges, 308 markings/sec, 645 secs
lola: 139462 markings, 400522 edges, 850 markings/sec, 650 secs
lola: 140649 markings, 403974 edges, 237 markings/sec, 655 secs
lola: 141177 markings, 405527 edges, 106 markings/sec, 660 secs
lola: 141839 markings, 407135 edges, 132 markings/sec, 665 secs
lola: 142554 markings, 409025 edges, 143 markings/sec, 670 secs
lola: 143205 markings, 410803 edges, 130 markings/sec, 675 secs
lola: 143822 markings, 412504 edges, 123 markings/sec, 680 secs
lola: 144432 markings, 414169 edges, 122 markings/sec, 685 secs
lola: 144993 markings, 415755 edges, 112 markings/sec, 690 secs
lola: 145536 markings, 417284 edges, 109 markings/sec, 695 secs
lola: 146081 markings, 418816 edges, 109 markings/sec, 700 secs
lola: 146617 markings, 420317 edges, 107 markings/sec, 705 secs
lola: 147159 markings, 421833 edges, 108 markings/sec, 710 secs
lola: 147693 markings, 423322 edges, 107 markings/sec, 715 secs
lola: 148114 markings, 424549 edges, 84 markings/sec, 720 secs
lola: 151653 markings, 437279 edges, 708 markings/sec, 725 secs
lola: 155148 markings, 449876 edges, 699 markings/sec, 730 secs
lola: 155780 markings, 451647 edges, 126 markings/sec, 735 secs
lola: 156242 markings, 453009 edges, 92 markings/sec, 740 secs
lola: 156846 markings, 454447 edges, 121 markings/sec, 745 secs
lola: 157495 markings, 456143 edges, 130 markings/sec, 750 secs
lola: 158158 markings, 457944 edges, 133 markings/sec, 755 secs
lola: 158793 markings, 459699 edges, 127 markings/sec, 760 secs
lola: 159419 markings, 461411 edges, 125 markings/sec, 765 secs
lola: 160000 markings, 463054 edges, 116 markings/sec, 770 secs
lola: 160564 markings, 464646 edges, 113 markings/sec, 775 secs
lola: 161124 markings, 466222 edges, 112 markings/sec, 780 secs
lola: 161684 markings, 467795 edges, 112 markings/sec, 785 secs
lola: 162252 markings, 469388 edges, 114 markings/sec, 790 secs
lola: 162808 markings, 470941 edges, 111 markings/sec, 795 secs
lola: 163342 markings, 472428 edges, 107 markings/sec, 800 secs
lola: 163813 markings, 473826 edges, 94 markings/sec, 805 secs
lola: 167107 markings, 485461 edges, 659 markings/sec, 810 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown 1 unknown unknown unknown unknown unknown 80 unknown 1 1 1 1 unknownlola:
caught signal User defined signal 1 - aborting LoLA
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 1496350650265

--------------------
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="S_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/S_BridgeAndVehicles-COL-V80P50N50.tgz
mv S_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 S_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 r088-csrt-149441074400425"
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 '' 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 ;