About the Execution of LoLA for S_PolyORBLF-COL-S06J04T04
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
662.910 | 3540174.00 | 3548624.00 | 10716.70 | ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? | 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 S_PolyORBLF-COL-S06J04T04, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r128-smll-149441681500371
=====================================================================
--------------------
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 PolyORBLF-COL-S06J04T04-UpperBounds-0
FORMULA_NAME PolyORBLF-COL-S06J04T04-UpperBounds-1
FORMULA_NAME PolyORBLF-COL-S06J04T04-UpperBounds-10
FORMULA_NAME PolyORBLF-COL-S06J04T04-UpperBounds-11
FORMULA_NAME PolyORBLF-COL-S06J04T04-UpperBounds-12
FORMULA_NAME PolyORBLF-COL-S06J04T04-UpperBounds-13
FORMULA_NAME PolyORBLF-COL-S06J04T04-UpperBounds-14
FORMULA_NAME PolyORBLF-COL-S06J04T04-UpperBounds-15
FORMULA_NAME PolyORBLF-COL-S06J04T04-UpperBounds-2
FORMULA_NAME PolyORBLF-COL-S06J04T04-UpperBounds-3
FORMULA_NAME PolyORBLF-COL-S06J04T04-UpperBounds-4
FORMULA_NAME PolyORBLF-COL-S06J04T04-UpperBounds-5
FORMULA_NAME PolyORBLF-COL-S06J04T04-UpperBounds-6
FORMULA_NAME PolyORBLF-COL-S06J04T04-UpperBounds-7
FORMULA_NAME PolyORBLF-COL-S06J04T04-UpperBounds-8
FORMULA_NAME PolyORBLF-COL-S06J04T04-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1496415148573
Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_PolyORBLF-COL-S06J04T04: translating COL Petri net model.pnml into LoLA format
===========================================================================================
translating COL Petri net complete
checking for too many tokens
===========================================================================================
S_PolyORBLF-COL-S06J04T04: translating COL formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
----- Start make result stdout -----
UpperBounds @ S_PolyORBLF-COL-S06J04T04 @ 3539 seconds
----- Start make result stdout -----
lola: LoLA will run for 3539 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 7448/65536 symbol table entries, 2235 collisions
lola: preprocessing...
lola: finding significant places
lola: 454 places, 6994 transitions, 404 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1823 transition conflict sets
lola: TASK
lola: reading formula from PolyORBLF-COL-S06J04T04-UpperBounds.task
lola: MAX(p209 + p210 + p211 + p212 + p213 + p214 + p215 + p216 + p217 + p218 + p219 + p220 + p221 + p222 + p223 + p224 + p225 + p226 + p227 + p228) : MAX(p21 + p22 + p23 + p24) : MAX(p348) : MAX(p294 + p295 + p296 + p297 + p298 + p299) : MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19) : MAX(p148) : MAX(p67 + p68 + p69 + p70) : MAX(p35) : MAX(p398) : MAX(p374 + p375 + p376 + p377 + p378 + p379 + p380 + p381 + p382 + p383 + p384 + p385 + p386 + p387 + p388 + p389 + p390 + p391 + p392 + p393 + p394 + p395 + p396 + p397) : MAX(p452) : MAX(p288) : MAX(p153 + p154 + p155 + p156) : MAX(p283) : MAX(p289) : MAX(p201 + p202 + p203 + p204)
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(p209 + p210 + p211 + p212 + p213 + p214 + p215 + p216 + p217 + p218 + p219 + p220 + p221 + p222 + p223 + p224 + p225 + p226 + p227 + p228)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1616 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: 10756 markings, 11046 edges, 2151 markings/sec, 0 secs
lola: 21612 markings, 22346 edges, 2171 markings/sec, 5 secs
lola: 32434 markings, 33598 edges, 2164 markings/sec, 10 secs
lola: 43304 markings, 44847 edges, 2174 markings/sec, 15 secs
lola: 54174 markings, 56187 edges, 2174 markings/sec, 20 secs
lola: 65049 markings, 67523 edges, 2175 markings/sec, 25 secs
lola: 75935 markings, 78916 edges, 2177 markings/sec, 30 secs
lola: 86839 markings, 90264 edges, 2181 markings/sec, 35 secs
lola: 97682 markings, 101654 edges, 2169 markings/sec, 40 secs
lola: 108608 markings, 113206 edges, 2185 markings/sec, 45 secs
lola: 119449 markings, 124646 edges, 2168 markings/sec, 50 secs
lola: 130319 markings, 136084 edges, 2174 markings/sec, 55 secs
lola: 141147 markings, 147462 edges, 2166 markings/sec, 60 secs
lola: 151993 markings, 158953 edges, 2169 markings/sec, 65 secs
lola: 162866 markings, 170240 edges, 2175 markings/sec, 70 secs
lola: 173645 markings, 181589 edges, 2156 markings/sec, 75 secs
lola: 184488 markings, 193066 edges, 2169 markings/sec, 80 secs
lola: 195272 markings, 204639 edges, 2157 markings/sec, 85 secs
lola: 206040 markings, 216066 edges, 2154 markings/sec, 90 secs
lola: 216873 markings, 227592 edges, 2167 markings/sec, 95 secs
lola: 227637 markings, 239069 edges, 2153 markings/sec, 100 secs
lola: 238379 markings, 250669 edges, 2148 markings/sec, 105 secs
lola: 249126 markings, 262265 edges, 2149 markings/sec, 110 secs
lola: 259893 markings, 273838 edges, 2153 markings/sec, 115 secs
lola: 270703 markings, 285405 edges, 2162 markings/sec, 120 secs
lola: 281544 markings, 297122 edges, 2168 markings/sec, 125 secs
lola: 292452 markings, 308792 edges, 2182 markings/sec, 130 secs
lola: 303382 markings, 320541 edges, 2186 markings/sec, 135 secs
lola: 314277 markings, 332311 edges, 2179 markings/sec, 140 secs
lola: 325234 markings, 344174 edges, 2191 markings/sec, 145 secs
lola: 336074 markings, 355912 edges, 2168 markings/sec, 150 secs
lola: 346898 markings, 367547 edges, 2165 markings/sec, 155 secs
lola: 357874 markings, 379299 edges, 2195 markings/sec, 160 secs
lola: 368785 markings, 390985 edges, 2182 markings/sec, 165 secs
lola: 379613 markings, 402444 edges, 2166 markings/sec, 170 secs
lola: 390485 markings, 414152 edges, 2174 markings/sec, 175 secs
lola: 401446 markings, 425834 edges, 2192 markings/sec, 180 secs
lola: 412434 markings, 437633 edges, 2198 markings/sec, 185 secs
lola: 423348 markings, 449517 edges, 2183 markings/sec, 190 secs
lola: 434356 markings, 461382 edges, 2202 markings/sec, 195 secs
lola: 445227 markings, 473179 edges, 2174 markings/sec, 200 secs
lola: 456122 markings, 485082 edges, 2179 markings/sec, 205 secs
lola: 467109 markings, 496957 edges, 2197 markings/sec, 210 secs
lola: 478075 markings, 508650 edges, 2193 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(p21 + p22 + p23 + p24)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1616 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: 11670 markings, 11948 edges, 2334 markings/sec, 0 secs
lola: 23295 markings, 23994 edges, 2325 markings/sec, 5 secs
lola: 34855 markings, 36073 edges, 2312 markings/sec, 10 secs
lola: 46352 markings, 48261 edges, 2299 markings/sec, 15 secs
lola: 57844 markings, 60510 edges, 2298 markings/sec, 20 secs
lola: 69313 markings, 72744 edges, 2294 markings/sec, 25 secs
lola: 80682 markings, 85035 edges, 2274 markings/sec, 30 secs
lola: 92153 markings, 97229 edges, 2294 markings/sec, 35 secs
lola: 103510 markings, 109507 edges, 2271 markings/sec, 40 secs
lola: 114828 markings, 121811 edges, 2264 markings/sec, 45 secs
lola: 126292 markings, 134204 edges, 2293 markings/sec, 50 secs
lola: 137657 markings, 146379 edges, 2273 markings/sec, 55 secs
lola: 148958 markings, 158732 edges, 2260 markings/sec, 60 secs
lola: 160331 markings, 170913 edges, 2275 markings/sec, 65 secs
lola: 171252 markings, 182951 edges, 2184 markings/sec, 70 secs
lola: 182163 markings, 194654 edges, 2182 markings/sec, 75 secs
lola: 193162 markings, 206359 edges, 2200 markings/sec, 80 secs
lola: 203952 markings, 218083 edges, 2158 markings/sec, 85 secs
lola: 214721 markings, 229947 edges, 2154 markings/sec, 90 secs
lola: 225539 markings, 241604 edges, 2164 markings/sec, 95 secs
lola: 236199 markings, 253321 edges, 2132 markings/sec, 100 secs
lola: 247115 markings, 265104 edges, 2183 markings/sec, 105 secs
lola: 257928 markings, 276844 edges, 2163 markings/sec, 110 secs
lola: 268659 markings, 288597 edges, 2146 markings/sec, 115 secs
lola: 279310 markings, 300156 edges, 2130 markings/sec, 120 secs
lola: 290153 markings, 311853 edges, 2169 markings/sec, 125 secs
lola: 301203 markings, 323487 edges, 2210 markings/sec, 130 secs
lola: 312324 markings, 335179 edges, 2224 markings/sec, 135 secs
lola: 323119 markings, 346833 edges, 2159 markings/sec, 140 secs
lola: 334004 markings, 358495 edges, 2177 markings/sec, 145 secs
lola: 344872 markings, 370366 edges, 2174 markings/sec, 150 secs
lola: 355659 markings, 382038 edges, 2157 markings/sec, 155 secs
lola: 366434 markings, 393786 edges, 2155 markings/sec, 160 secs
lola: 377165 markings, 405491 edges, 2146 markings/sec, 165 secs
lola: 387975 markings, 417142 edges, 2162 markings/sec, 170 secs
lola: 398732 markings, 428743 edges, 2151 markings/sec, 175 secs
lola: 409409 markings, 440486 edges, 2135 markings/sec, 180 secs
lola: 420205 markings, 452200 edges, 2159 markings/sec, 185 secs
lola: 431209 markings, 463862 edges, 2201 markings/sec, 190 secs
lola: 441800 markings, 475517 edges, 2118 markings/sec, 195 secs
lola: 452551 markings, 487150 edges, 2150 markings/sec, 200 secs
lola: 463078 markings, 498725 edges, 2105 markings/sec, 205 secs
lola: 473870 markings, 510334 edges, 2158 markings/sec, 210 secs
lola: 484712 markings, 521928 edges, 2168 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(p348)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1616 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: 10689 markings, 10978 edges, 2138 markings/sec, 0 secs
lola: 20939 markings, 21650 edges, 2050 markings/sec, 5 secs
lola: 31172 markings, 32295 edges, 2047 markings/sec, 10 secs
lola: 41511 markings, 42955 edges, 2068 markings/sec, 15 secs
lola: 52214 markings, 54136 edges, 2141 markings/sec, 20 secs
lola: 62895 markings, 65287 edges, 2136 markings/sec, 25 secs
lola: 73595 markings, 76453 edges, 2140 markings/sec, 30 secs
lola: 84314 markings, 87663 edges, 2144 markings/sec, 35 secs
lola: 95015 markings, 98832 edges, 2140 markings/sec, 40 secs
lola: 105762 markings, 110204 edges, 2149 markings/sec, 45 secs
lola: 116446 markings, 121468 edges, 2137 markings/sec, 50 secs
lola: 127112 markings, 132713 edges, 2133 markings/sec, 55 secs
lola: 137793 markings, 143891 edges, 2136 markings/sec, 60 secs
lola: 148413 markings, 155156 edges, 2124 markings/sec, 65 secs
lola: 159129 markings, 166361 edges, 2143 markings/sec, 70 secs
lola: 169737 markings, 177483 edges, 2122 markings/sec, 75 secs
lola: 180381 markings, 188677 edges, 2129 markings/sec, 80 secs
lola: 190947 markings, 200043 edges, 2113 markings/sec, 85 secs
lola: 201516 markings, 211326 edges, 2114 markings/sec, 90 secs
lola: 212153 markings, 222606 edges, 2127 markings/sec, 95 secs
lola: 222786 markings, 233862 edges, 2127 markings/sec, 100 secs
lola: 233407 markings, 245259 edges, 2124 markings/sec, 105 secs
lola: 244014 markings, 256705 edges, 2121 markings/sec, 110 secs
lola: 254611 markings, 268181 edges, 2119 markings/sec, 115 secs
lola: 265238 markings, 279602 edges, 2125 markings/sec, 120 secs
lola: 275887 markings, 290964 edges, 2130 markings/sec, 125 secs
lola: 286477 markings, 302427 edges, 2118 markings/sec, 130 secs
lola: 297236 markings, 313913 edges, 2152 markings/sec, 135 secs
lola: 307939 markings, 325466 edges, 2141 markings/sec, 140 secs
lola: 318646 markings, 337059 edges, 2141 markings/sec, 145 secs
lola: 329319 markings, 348567 edges, 2135 markings/sec, 150 secs
lola: 339948 markings, 360141 edges, 2126 markings/sec, 155 secs
lola: 350632 markings, 371542 edges, 2137 markings/sec, 160 secs
lola: 361375 markings, 383002 edges, 2149 markings/sec, 165 secs
lola: 372048 markings, 394392 edges, 2135 markings/sec, 170 secs
lola: 382668 markings, 405711 edges, 2124 markings/sec, 175 secs
lola: 393314 markings, 417224 edges, 2129 markings/sec, 180 secs
lola: 404010 markings, 428538 edges, 2139 markings/sec, 185 secs
lola: 414661 markings, 440102 edges, 2130 markings/sec, 190 secs
lola: 425357 markings, 451677 edges, 2139 markings/sec, 195 secs
lola: 436021 markings, 463254 edges, 2133 markings/sec, 200 secs
lola: 446650 markings, 474695 edges, 2126 markings/sec, 205 secs
lola: 457256 markings, 486263 edges, 2121 markings/sec, 210 secs
lola: 467965 markings, 497857 edges, 2142 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p294 + p295 + p296 + p297 + p298 + p299)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1616 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: 15302 markings, 16515 edges, 3060 markings/sec, 0 secs
lola: 30564 markings, 32511 edges, 3052 markings/sec, 5 secs
lola: 45767 markings, 48442 edges, 3041 markings/sec, 10 secs
lola: 60985 markings, 64419 edges, 3044 markings/sec, 15 secs
lola: 76253 markings, 80440 edges, 3054 markings/sec, 20 secs
lola: 91489 markings, 96383 edges, 3047 markings/sec, 25 secs
lola: 106651 markings, 112252 edges, 3032 markings/sec, 30 secs
lola: 121919 markings, 128293 edges, 3054 markings/sec, 35 secs
lola: 137285 markings, 144533 edges, 3073 markings/sec, 40 secs
lola: 152508 markings, 160517 edges, 3045 markings/sec, 45 secs
lola: 167957 markings, 177748 edges, 3090 markings/sec, 50 secs
lola: 183060 markings, 193544 edges, 3021 markings/sec, 55 secs
lola: 198174 markings, 209326 edges, 3023 markings/sec, 60 secs
lola: 213295 markings, 225605 edges, 3024 markings/sec, 65 secs
lola: 228438 markings, 241489 edges, 3029 markings/sec, 70 secs
lola: 243561 markings, 257326 edges, 3025 markings/sec, 75 secs
lola: 258790 markings, 273409 edges, 3046 markings/sec, 80 secs
lola: 274024 markings, 289914 edges, 3047 markings/sec, 85 secs
lola: 289177 markings, 306271 edges, 3031 markings/sec, 90 secs
lola: 304405 markings, 322341 edges, 3046 markings/sec, 95 secs
lola: 319702 markings, 338786 edges, 3059 markings/sec, 100 secs
lola: 334946 markings, 354767 edges, 3049 markings/sec, 105 secs
lola: 350460 markings, 371661 edges, 3103 markings/sec, 110 secs
lola: 365745 markings, 388287 edges, 3057 markings/sec, 115 secs
lola: 381182 markings, 404616 edges, 3087 markings/sec, 120 secs
lola: 396639 markings, 420798 edges, 3091 markings/sec, 125 secs
lola: 411863 markings, 436853 edges, 3045 markings/sec, 130 secs
lola: 427099 markings, 453468 edges, 3047 markings/sec, 135 secs
lola: 442238 markings, 469863 edges, 3028 markings/sec, 140 secs
lola: 457913 markings, 487612 edges, 3135 markings/sec, 145 secs
lola: 473121 markings, 504244 edges, 3042 markings/sec, 150 secs
lola: 488414 markings, 521253 edges, 3059 markings/sec, 155 secs
lola: 504055 markings, 539201 edges, 3128 markings/sec, 160 secs
lola: 519091 markings, 556041 edges, 3007 markings/sec, 165 secs
lola: 534048 markings, 573044 edges, 2991 markings/sec, 170 secs
lola: 548612 markings, 589422 edges, 2913 markings/sec, 175 secs
lola: 563583 markings, 605955 edges, 2994 markings/sec, 180 secs
lola: 578373 markings, 621380 edges, 2958 markings/sec, 185 secs
lola: 593238 markings, 637015 edges, 2973 markings/sec, 190 secs
lola: 607964 markings, 653254 edges, 2945 markings/sec, 195 secs
lola: 623225 markings, 669972 edges, 3052 markings/sec, 200 secs
lola: 638799 markings, 686638 edges, 3115 markings/sec, 205 secs
lola: 654392 markings, 703015 edges, 3119 markings/sec, 210 secs
lola: 669726 markings, 719506 edges, 3067 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1616 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: 14964 markings, 15250 edges, 2993 markings/sec, 0 secs
lola: 29858 markings, 30479 edges, 2979 markings/sec, 5 secs
lola: 44770 markings, 45701 edges, 2982 markings/sec, 10 secs
lola: 59635 markings, 60879 edges, 2973 markings/sec, 15 secs
lola: 74596 markings, 76162 edges, 2992 markings/sec, 20 secs
lola: 89451 markings, 91355 edges, 2971 markings/sec, 25 secs
lola: 104277 markings, 106508 edges, 2965 markings/sec, 30 secs
lola: 119115 markings, 121685 edges, 2968 markings/sec, 35 secs
lola: 133982 markings, 136860 edges, 2973 markings/sec, 40 secs
lola: 148862 markings, 152019 edges, 2976 markings/sec, 45 secs
lola: 163759 markings, 167225 edges, 2979 markings/sec, 50 secs
lola: 178572 markings, 182378 edges, 2963 markings/sec, 55 secs
lola: 193435 markings, 197565 edges, 2973 markings/sec, 60 secs
lola: 208141 markings, 212628 edges, 2941 markings/sec, 65 secs
lola: 223160 markings, 227925 edges, 3004 markings/sec, 70 secs
lola: 237930 markings, 243033 edges, 2954 markings/sec, 75 secs
lola: 252862 markings, 258275 edges, 2986 markings/sec, 80 secs
lola: 268216 markings, 273982 edges, 3071 markings/sec, 85 secs
lola: 283703 markings, 289709 edges, 3097 markings/sec, 90 secs
lola: 299044 markings, 305402 edges, 3068 markings/sec, 95 secs
lola: 314352 markings, 321105 edges, 3062 markings/sec, 100 secs
lola: 329968 markings, 337132 edges, 3123 markings/sec, 105 secs
lola: 345206 markings, 352733 edges, 3048 markings/sec, 110 secs
lola: 360437 markings, 368301 edges, 3046 markings/sec, 115 secs
lola: 375688 markings, 384140 edges, 3050 markings/sec, 120 secs
lola: 391085 markings, 399877 edges, 3079 markings/sec, 125 secs
lola: 406063 markings, 415185 edges, 2996 markings/sec, 130 secs
lola: 420848 markings, 430267 edges, 2957 markings/sec, 135 secs
lola: 435757 markings, 445524 edges, 2982 markings/sec, 140 secs
lola: 450404 markings, 460514 edges, 2929 markings/sec, 145 secs
lola: 465301 markings, 475882 edges, 2979 markings/sec, 150 secs
lola: 479938 markings, 490913 edges, 2927 markings/sec, 155 secs
lola: 494331 markings, 505693 edges, 2879 markings/sec, 160 secs
lola: 509047 markings, 520801 edges, 2943 markings/sec, 165 secs
lola: 523939 markings, 535998 edges, 2978 markings/sec, 170 secs
lola: 538866 markings, 551291 edges, 2985 markings/sec, 175 secs
lola: 553669 markings, 566479 edges, 2961 markings/sec, 180 secs
lola: 568216 markings, 581651 edges, 2909 markings/sec, 185 secs
lola: 582458 markings, 596280 edges, 2848 markings/sec, 190 secs
lola: 597258 markings, 611486 edges, 2960 markings/sec, 195 secs
lola: 612109 markings, 626661 edges, 2970 markings/sec, 200 secs
lola: 626803 markings, 641717 edges, 2939 markings/sec, 205 secs
lola: 641163 markings, 656631 edges, 2872 markings/sec, 210 secs
lola: 655667 markings, 671540 edges, 2901 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p148)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1616 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: 16023 markings, 16292 edges, 3205 markings/sec, 0 secs
lola: 31774 markings, 32371 edges, 3150 markings/sec, 5 secs
lola: 47762 markings, 48611 edges, 3198 markings/sec, 10 secs
lola: 63336 markings, 64598 edges, 3115 markings/sec, 15 secs
lola: 79118 markings, 80713 edges, 3156 markings/sec, 20 secs
lola: 94976 markings, 96856 edges, 3172 markings/sec, 25 secs
lola: 110874 markings, 113048 edges, 3180 markings/sec, 30 secs
lola: 126772 markings, 129233 edges, 3180 markings/sec, 35 secs
lola: 142654 markings, 145396 edges, 3176 markings/sec, 40 secs
lola: 158253 markings, 161344 edges, 3120 markings/sec, 45 secs
lola: 173946 markings, 177447 edges, 3139 markings/sec, 50 secs
lola: 189441 markings, 193359 edges, 3099 markings/sec, 55 secs
lola: 205192 markings, 209469 edges, 3150 markings/sec, 60 secs
lola: 221038 markings, 225633 edges, 3169 markings/sec, 65 secs
lola: 236683 markings, 241686 edges, 3129 markings/sec, 70 secs
lola: 252581 markings, 257895 edges, 3180 markings/sec, 75 secs
lola: 268195 markings, 273956 edges, 3123 markings/sec, 80 secs
lola: 283935 markings, 290006 edges, 3148 markings/sec, 85 secs
lola: 299465 markings, 305903 edges, 3106 markings/sec, 90 secs
lola: 315451 markings, 322194 edges, 3197 markings/sec, 95 secs
lola: 330984 markings, 338152 edges, 3107 markings/sec, 100 secs
lola: 346469 markings, 354104 edges, 3097 markings/sec, 105 secs
lola: 361937 markings, 370050 edges, 3094 markings/sec, 110 secs
lola: 377360 markings, 385970 edges, 3085 markings/sec, 115 secs
lola: 393054 markings, 401925 edges, 3139 markings/sec, 120 secs
lola: 408950 markings, 418042 edges, 3179 markings/sec, 125 secs
lola: 424646 markings, 434052 edges, 3139 markings/sec, 130 secs
lola: 440222 markings, 450129 edges, 3115 markings/sec, 135 secs
lola: 455709 markings, 466077 edges, 3097 markings/sec, 140 secs
lola: 471305 markings, 482050 edges, 3119 markings/sec, 145 secs
lola: 487307 markings, 498282 edges, 3200 markings/sec, 150 secs
lola: 502918 markings, 514400 edges, 3122 markings/sec, 155 secs
lola: 518575 markings, 530406 edges, 3131 markings/sec, 160 secs
lola: 534467 markings, 546650 edges, 3178 markings/sec, 165 secs
lola: 550068 markings, 562702 edges, 3120 markings/sec, 170 secs
lola: 565336 markings, 578719 edges, 3054 markings/sec, 175 secs
lola: 580533 markings, 594536 edges, 3039 markings/sec, 180 secs
lola: 595891 markings, 610297 edges, 3072 markings/sec, 185 secs
lola: 611009 markings, 626059 edges, 3024 markings/sec, 190 secs
lola: 626782 markings, 642226 edges, 3155 markings/sec, 195 secs
lola: 642256 markings, 658184 edges, 3095 markings/sec, 200 secs
lola: 657522 markings, 674115 edges, 3053 markings/sec, 205 secs
lola: 673084 markings, 690240 edges, 3112 markings/sec, 210 secs
lola: 688564 markings, 706339 edges, 3096 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p67 + p68 + p69 + p70)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1616 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: 16072 markings, 16211 edges, 3214 markings/sec, 0 secs
lola: 32190 markings, 32477 edges, 3224 markings/sec, 5 secs
lola: 48328 markings, 48711 edges, 3228 markings/sec, 10 secs
lola: 64457 markings, 64997 edges, 3226 markings/sec, 15 secs
lola: 80497 markings, 81222 edges, 3208 markings/sec, 20 secs
lola: 96546 markings, 97383 edges, 3210 markings/sec, 25 secs
lola: 112551 markings, 113610 edges, 3201 markings/sec, 30 secs
lola: 128844 markings, 130028 edges, 3259 markings/sec, 35 secs
lola: 144866 markings, 146209 edges, 3204 markings/sec, 40 secs
lola: 160972 markings, 162411 edges, 3221 markings/sec, 45 secs
lola: 177036 markings, 178621 edges, 3213 markings/sec, 50 secs
lola: 193147 markings, 194845 edges, 3222 markings/sec, 55 secs
lola: 209182 markings, 211020 edges, 3207 markings/sec, 60 secs
lola: 224914 markings, 227107 edges, 3146 markings/sec, 65 secs
lola: 241024 markings, 243309 edges, 3222 markings/sec, 70 secs
lola: 257027 markings, 259516 edges, 3201 markings/sec, 75 secs
lola: 273272 markings, 275884 edges, 3249 markings/sec, 80 secs
lola: 289110 markings, 291979 edges, 3168 markings/sec, 85 secs
lola: 305056 markings, 308106 edges, 3189 markings/sec, 90 secs
lola: 321071 markings, 324309 edges, 3203 markings/sec, 95 secs
lola: 337318 markings, 340716 edges, 3249 markings/sec, 100 secs
lola: 353275 markings, 356856 edges, 3191 markings/sec, 105 secs
lola: 369119 markings, 373052 edges, 3169 markings/sec, 110 secs
lola: 384947 markings, 389241 edges, 3166 markings/sec, 115 secs
lola: 400259 markings, 405228 edges, 3062 markings/sec, 120 secs
lola: 415851 markings, 421340 edges, 3118 markings/sec, 125 secs
lola: 431316 markings, 437465 edges, 3093 markings/sec, 130 secs
lola: 447791 markings, 454353 edges, 3295 markings/sec, 135 secs
lola: 464446 markings, 471451 edges, 3331 markings/sec, 140 secs
lola: 480560 markings, 488156 edges, 3223 markings/sec, 145 secs
lola: 496024 markings, 504281 edges, 3093 markings/sec, 150 secs
lola: 512016 markings, 520924 edges, 3198 markings/sec, 155 secs
lola: 528373 markings, 537957 edges, 3271 markings/sec, 160 secs
lola: 544403 markings, 554856 edges, 3206 markings/sec, 165 secs
lola: 560501 markings, 571604 edges, 3220 markings/sec, 170 secs
lola: 576331 markings, 587927 edges, 3166 markings/sec, 175 secs
lola: 591721 markings, 604222 edges, 3078 markings/sec, 180 secs
lola: 608296 markings, 621177 edges, 3315 markings/sec, 185 secs
lola: 624503 markings, 638215 edges, 3241 markings/sec, 190 secs
lola: 640831 markings, 655143 edges, 3266 markings/sec, 195 secs
lola: 657074 markings, 672067 edges, 3249 markings/sec, 200 secs
lola: 673616 markings, 688991 edges, 3308 markings/sec, 205 secs
lola: 689686 markings, 705782 edges, 3214 markings/sec, 210 secs
lola: 706169 markings, 722769 edges, 3297 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p35)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1616 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: 11061 markings, 11531 edges, 2212 markings/sec, 0 secs
lola: 22142 markings, 23302 edges, 2216 markings/sec, 5 secs
lola: 33268 markings, 35213 edges, 2225 markings/sec, 10 secs
lola: 44382 markings, 47163 edges, 2223 markings/sec, 15 secs
lola: 55494 markings, 59210 edges, 2222 markings/sec, 20 secs
lola: 66590 markings, 71036 edges, 2219 markings/sec, 25 secs
lola: 77709 markings, 82984 edges, 2224 markings/sec, 30 secs
lola: 88824 markings, 94978 edges, 2223 markings/sec, 35 secs
lola: 99855 markings, 107042 edges, 2206 markings/sec, 40 secs
lola: 110914 markings, 119123 edges, 2212 markings/sec, 45 secs
lola: 121915 markings, 131199 edges, 2200 markings/sec, 50 secs
lola: 132949 markings, 143213 edges, 2207 markings/sec, 55 secs
lola: 143943 markings, 155335 edges, 2199 markings/sec, 60 secs
lola: 155008 markings, 167483 edges, 2213 markings/sec, 65 secs
lola: 165962 markings, 179506 edges, 2191 markings/sec, 70 secs
lola: 176981 markings, 191573 edges, 2204 markings/sec, 75 secs
lola: 187969 markings, 203678 edges, 2198 markings/sec, 80 secs
lola: 199074 markings, 215644 edges, 2221 markings/sec, 85 secs
lola: 209999 markings, 227521 edges, 2185 markings/sec, 90 secs
lola: 220991 markings, 239480 edges, 2198 markings/sec, 95 secs
lola: 231948 markings, 251467 edges, 2191 markings/sec, 100 secs
lola: 243010 markings, 263520 edges, 2212 markings/sec, 105 secs
lola: 253999 markings, 275663 edges, 2198 markings/sec, 110 secs
lola: 265070 markings, 287563 edges, 2214 markings/sec, 115 secs
lola: 275964 markings, 299454 edges, 2179 markings/sec, 120 secs
lola: 286575 markings, 311106 edges, 2122 markings/sec, 125 secs
lola: 297178 markings, 322715 edges, 2121 markings/sec, 130 secs
lola: 307804 markings, 334244 edges, 2125 markings/sec, 135 secs
lola: 318299 markings, 345796 edges, 2099 markings/sec, 140 secs
lola: 328854 markings, 357387 edges, 2111 markings/sec, 145 secs
lola: 339544 markings, 368937 edges, 2138 markings/sec, 150 secs
lola: 350219 markings, 380424 edges, 2135 markings/sec, 155 secs
lola: 360818 markings, 391975 edges, 2120 markings/sec, 160 secs
lola: 371447 markings, 403609 edges, 2126 markings/sec, 165 secs
lola: 382011 markings, 415098 edges, 2113 markings/sec, 170 secs
lola: 392685 markings, 426718 edges, 2135 markings/sec, 175 secs
lola: 403311 markings, 438277 edges, 2125 markings/sec, 180 secs
lola: 413973 markings, 449932 edges, 2132 markings/sec, 185 secs
lola: 424359 markings, 461423 edges, 2077 markings/sec, 190 secs
lola: 435056 markings, 473147 edges, 2139 markings/sec, 195 secs
lola: 445966 markings, 485129 edges, 2182 markings/sec, 200 secs
lola: 456762 markings, 496980 edges, 2159 markings/sec, 205 secs
lola: 467494 markings, 508778 edges, 2146 markings/sec, 210 secs
lola: 478221 markings, 520583 edges, 2145 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p398)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1616 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: 17800 markings, 17861 edges, 3560 markings/sec, 0 secs
lola: 35703 markings, 35856 edges, 3581 markings/sec, 5 secs
lola: 53476 markings, 53701 edges, 3555 markings/sec, 10 secs
lola: 71160 markings, 71444 edges, 3537 markings/sec, 15 secs
lola: 88986 markings, 89337 edges, 3565 markings/sec, 20 secs
lola: 106958 markings, 107371 edges, 3594 markings/sec, 25 secs
lola: 124779 markings, 125265 edges, 3564 markings/sec, 30 secs
lola: 142472 markings, 143021 edges, 3539 markings/sec, 35 secs
lola: 159975 markings, 160635 edges, 3501 markings/sec, 40 secs
lola: 177782 markings, 178532 edges, 3561 markings/sec, 45 secs
lola: 195711 markings, 196541 edges, 3586 markings/sec, 50 secs
lola: 213363 markings, 214299 edges, 3530 markings/sec, 55 secs
lola: 231125 markings, 232169 edges, 3552 markings/sec, 60 secs
lola: 248972 markings, 250098 edges, 3569 markings/sec, 65 secs
lola: 266585 markings, 267823 edges, 3523 markings/sec, 70 secs
lola: 284363 markings, 285704 edges, 3556 markings/sec, 75 secs
lola: 302147 markings, 303572 edges, 3557 markings/sec, 80 secs
lola: 319923 markings, 321454 edges, 3555 markings/sec, 85 secs
lola: 337607 markings, 339250 edges, 3537 markings/sec, 90 secs
lola: 355280 markings, 357041 edges, 3535 markings/sec, 95 secs
lola: 372935 markings, 374819 edges, 3531 markings/sec, 100 secs
lola: 390679 markings, 392699 edges, 3549 markings/sec, 105 secs
lola: 408385 markings, 410518 edges, 3541 markings/sec, 110 secs
lola: 426132 markings, 428371 edges, 3549 markings/sec, 115 secs
lola: 443863 markings, 446208 edges, 3546 markings/sec, 120 secs
lola: 461749 markings, 464206 edges, 3577 markings/sec, 125 secs
lola: 479392 markings, 481943 edges, 3529 markings/sec, 130 secs
lola: 496552 markings, 499245 edges, 3432 markings/sec, 135 secs
lola: 513950 markings, 516796 edges, 3480 markings/sec, 140 secs
lola: 531830 markings, 534801 edges, 3576 markings/sec, 145 secs
lola: 549553 markings, 552651 edges, 3545 markings/sec, 150 secs
lola: 567219 markings, 570436 edges, 3533 markings/sec, 155 secs
lola: 584545 markings, 587950 edges, 3465 markings/sec, 160 secs
lola: 602321 markings, 605843 edges, 3555 markings/sec, 165 secs
lola: 619301 markings, 623027 edges, 3396 markings/sec, 170 secs
lola: 637063 markings, 640902 edges, 3552 markings/sec, 175 secs
lola: 653658 markings, 657718 edges, 3319 markings/sec, 180 secs
lola: 670839 markings, 675071 edges, 3436 markings/sec, 185 secs
lola: 688280 markings, 692664 edges, 3488 markings/sec, 190 secs
lola: 706010 markings, 710526 edges, 3546 markings/sec, 195 secs
lola: 723127 markings, 727817 edges, 3423 markings/sec, 200 secs
lola: 740067 markings, 744949 edges, 3388 markings/sec, 205 secs
lola: 757169 markings, 762238 edges, 3420 markings/sec, 210 secs
lola: 774612 markings, 779864 edges, 3489 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p374 + p375 + p376 + p377 + p378 + p379 + p380 + p381 + p382 + p383 + p384 + p385 + p386 + p387 + p388 + p389 + p390 + p391 + p392 + p393 + p394 + p395 + p396 + p397)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1616 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: 16326 markings, 16596 edges, 3265 markings/sec, 0 secs
lola: 32424 markings, 33021 edges, 3220 markings/sec, 5 secs
lola: 48709 markings, 49558 edges, 3257 markings/sec, 10 secs
lola: 64647 markings, 65925 edges, 3188 markings/sec, 15 secs
lola: 80782 markings, 82387 edges, 3227 markings/sec, 20 secs
lola: 97024 markings, 98905 edges, 3248 markings/sec, 25 secs
lola: 113232 markings, 115409 edges, 3242 markings/sec, 30 secs
lola: 129427 markings, 131927 edges, 3239 markings/sec, 35 secs
lola: 145666 markings, 148414 edges, 3248 markings/sec, 40 secs
lola: 161681 markings, 164774 edges, 3203 markings/sec, 45 secs
lola: 177277 markings, 180783 edges, 3119 markings/sec, 50 secs
lola: 192374 markings, 196288 edges, 3019 markings/sec, 55 secs
lola: 207650 markings, 211914 edges, 3055 markings/sec, 60 secs
lola: 223135 markings, 227621 edges, 3097 markings/sec, 65 secs
lola: 238206 markings, 243157 edges, 3014 markings/sec, 70 secs
lola: 253423 markings, 258710 edges, 3043 markings/sec, 75 secs
lola: 268860 markings, 274392 edges, 3087 markings/sec, 80 secs
lola: 283947 markings, 289937 edges, 3017 markings/sec, 85 secs
lola: 299081 markings, 305430 edges, 3027 markings/sec, 90 secs
lola: 314399 markings, 321027 edges, 3064 markings/sec, 95 secs
lola: 329804 markings, 336767 edges, 3081 markings/sec, 100 secs
lola: 344734 markings, 352178 edges, 2986 markings/sec, 105 secs
lola: 359883 markings, 367786 edges, 3030 markings/sec, 110 secs
lola: 374879 markings, 383218 edges, 2999 markings/sec, 115 secs
lola: 390126 markings, 398799 edges, 3049 markings/sec, 120 secs
lola: 405345 markings, 414300 edges, 3044 markings/sec, 125 secs
lola: 420586 markings, 429768 edges, 3048 markings/sec, 130 secs
lola: 435762 markings, 445307 edges, 3035 markings/sec, 135 secs
lola: 450929 markings, 460937 edges, 3033 markings/sec, 140 secs
lola: 466074 markings, 476460 edges, 3029 markings/sec, 145 secs
lola: 481196 markings, 492003 edges, 3024 markings/sec, 150 secs
lola: 496650 markings, 507636 edges, 3091 markings/sec, 155 secs
lola: 511763 markings, 523271 edges, 3023 markings/sec, 160 secs
lola: 526990 markings, 538820 edges, 3045 markings/sec, 165 secs
lola: 542453 markings, 554551 edges, 3093 markings/sec, 170 secs
lola: 557481 markings, 570089 edges, 3006 markings/sec, 175 secs
lola: 572357 markings, 585673 edges, 2975 markings/sec, 180 secs
lola: 587152 markings, 601041 edges, 2959 markings/sec, 185 secs
lola: 602122 markings, 616476 edges, 2994 markings/sec, 190 secs
lola: 616934 markings, 631787 edges, 2962 markings/sec, 195 secs
lola: 632085 markings, 647392 edges, 3030 markings/sec, 200 secs
lola: 647256 markings, 662973 edges, 3034 markings/sec, 205 secs
lola: 662140 markings, 678429 edges, 2977 markings/sec, 210 secs
lola: 677052 markings, 693951 edges, 2982 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p452)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1616 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: 15477 markings, 15741 edges, 3095 markings/sec, 0 secs
lola: 30927 markings, 31496 edges, 3090 markings/sec, 5 secs
lola: 46325 markings, 47191 edges, 3080 markings/sec, 10 secs
lola: 61687 markings, 62834 edges, 3072 markings/sec, 15 secs
lola: 77109 markings, 78565 edges, 3084 markings/sec, 20 secs
lola: 92475 markings, 94208 edges, 3073 markings/sec, 25 secs
lola: 107820 markings, 109860 edges, 3069 markings/sec, 30 secs
lola: 123237 markings, 125584 edges, 3083 markings/sec, 35 secs
lola: 138601 markings, 141196 edges, 3073 markings/sec, 40 secs
lola: 153933 markings, 156839 edges, 3066 markings/sec, 45 secs
lola: 169365 markings, 172549 edges, 3086 markings/sec, 50 secs
lola: 184661 markings, 188175 edges, 3059 markings/sec, 55 secs
lola: 200082 markings, 203870 edges, 3084 markings/sec, 60 secs
lola: 215346 markings, 219440 edges, 3053 markings/sec, 65 secs
lola: 230816 markings, 235204 edges, 3094 markings/sec, 70 secs
lola: 246216 markings, 250872 edges, 3080 markings/sec, 75 secs
lola: 261548 markings, 266508 edges, 3066 markings/sec, 80 secs
lola: 276781 markings, 282017 edges, 3047 markings/sec, 85 secs
lola: 291742 markings, 297228 edges, 2992 markings/sec, 90 secs
lola: 306634 markings, 312377 edges, 2978 markings/sec, 95 secs
lola: 321554 markings, 327656 edges, 2984 markings/sec, 100 secs
lola: 336730 markings, 343174 edges, 3035 markings/sec, 105 secs
lola: 351932 markings, 358645 edges, 3040 markings/sec, 110 secs
lola: 366975 markings, 374070 edges, 3009 markings/sec, 115 secs
lola: 381890 markings, 389342 edges, 2983 markings/sec, 120 secs
lola: 397110 markings, 404848 edges, 3044 markings/sec, 125 secs
lola: 412143 markings, 420165 edges, 3007 markings/sec, 130 secs
lola: 427274 markings, 435571 edges, 3026 markings/sec, 135 secs
lola: 442318 markings, 450903 edges, 3009 markings/sec, 140 secs
lola: 457246 markings, 466251 edges, 2986 markings/sec, 145 secs
lola: 472148 markings, 481455 edges, 2980 markings/sec, 150 secs
lola: 487307 markings, 496910 edges, 3032 markings/sec, 155 secs
lola: 501793 markings, 511778 edges, 2897 markings/sec, 160 secs
lola: 517071 markings, 527325 edges, 3056 markings/sec, 165 secs
lola: 532232 markings, 542788 edges, 3032 markings/sec, 170 secs
lola: 547487 markings, 558313 edges, 3051 markings/sec, 175 secs
lola: 562209 markings, 573514 edges, 2944 markings/sec, 180 secs
lola: 576642 markings, 588309 edges, 2887 markings/sec, 185 secs
lola: 591570 markings, 603586 edges, 2986 markings/sec, 190 secs
lola: 606689 markings, 618972 edges, 3024 markings/sec, 195 secs
lola: 621673 markings, 634295 edges, 2997 markings/sec, 200 secs
lola: 636217 markings, 649287 edges, 2909 markings/sec, 205 secs
lola: 651046 markings, 664453 edges, 2966 markings/sec, 210 secs
lola: 666157 markings, 679911 edges, 3022 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p288)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1616 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: 14689 markings, 15043 edges, 2938 markings/sec, 0 secs
lola: 29361 markings, 30094 edges, 2934 markings/sec, 5 secs
lola: 44018 markings, 45144 edges, 2931 markings/sec, 10 secs
lola: 58633 markings, 60157 edges, 2923 markings/sec, 15 secs
lola: 73174 markings, 75147 edges, 2908 markings/sec, 20 secs
lola: 87883 markings, 90231 edges, 2942 markings/sec, 25 secs
lola: 102487 markings, 105211 edges, 2921 markings/sec, 30 secs
lola: 117149 markings, 120270 edges, 2932 markings/sec, 35 secs
lola: 131736 markings, 135253 edges, 2917 markings/sec, 40 secs
lola: 146274 markings, 150240 edges, 2908 markings/sec, 45 secs
lola: 160879 markings, 165311 edges, 2921 markings/sec, 50 secs
lola: 175516 markings, 180320 edges, 2927 markings/sec, 55 secs
lola: 190084 markings, 195288 edges, 2914 markings/sec, 60 secs
lola: 204538 markings, 210117 edges, 2891 markings/sec, 65 secs
lola: 218855 markings, 224923 edges, 2863 markings/sec, 70 secs
lola: 233472 markings, 240468 edges, 2923 markings/sec, 75 secs
lola: 248055 markings, 255468 edges, 2917 markings/sec, 80 secs
lola: 262498 markings, 270357 edges, 2889 markings/sec, 85 secs
lola: 276996 markings, 285304 edges, 2900 markings/sec, 90 secs
lola: 291498 markings, 300131 edges, 2900 markings/sec, 95 secs
lola: 305753 markings, 314896 edges, 2851 markings/sec, 100 secs
lola: 320253 markings, 329822 edges, 2900 markings/sec, 105 secs
lola: 334764 markings, 344747 edges, 2902 markings/sec, 110 secs
lola: 349005 markings, 359481 edges, 2848 markings/sec, 115 secs
lola: 363565 markings, 374426 edges, 2912 markings/sec, 120 secs
lola: 377558 markings, 389032 edges, 2799 markings/sec, 125 secs
lola: 391752 markings, 403677 edges, 2839 markings/sec, 130 secs
lola: 405971 markings, 418430 edges, 2844 markings/sec, 135 secs
lola: 420260 markings, 433194 edges, 2858 markings/sec, 140 secs
lola: 434412 markings, 447876 edges, 2830 markings/sec, 145 secs
lola: 448386 markings, 462382 edges, 2795 markings/sec, 150 secs
lola: 462332 markings, 476742 edges, 2789 markings/sec, 155 secs
lola: 477200 markings, 492127 edges, 2974 markings/sec, 160 secs
lola: 491874 markings, 507345 edges, 2935 markings/sec, 165 secs
lola: 506859 markings, 523419 edges, 2997 markings/sec, 170 secs
lola: 522018 markings, 538879 edges, 3032 markings/sec, 175 secs
lola: 536844 markings, 554203 edges, 2965 markings/sec, 180 secs
lola: 551841 markings, 569613 edges, 2999 markings/sec, 185 secs
lola: 566455 markings, 585403 edges, 2923 markings/sec, 190 secs
lola: 581427 markings, 601399 edges, 2994 markings/sec, 195 secs
lola: 596163 markings, 617332 edges, 2947 markings/sec, 200 secs
lola: 611127 markings, 633335 edges, 2993 markings/sec, 205 secs
lola: 625591 markings, 648433 edges, 2893 markings/sec, 210 secs
lola: 639763 markings, 663970 edges, 2834 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p153 + p154 + p155 + p156)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1616 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: 17597 markings, 17696 edges, 3519 markings/sec, 0 secs
lola: 35126 markings, 35330 edges, 3506 markings/sec, 5 secs
lola: 52280 markings, 52616 edges, 3431 markings/sec, 10 secs
lola: 70009 markings, 70474 edges, 3546 markings/sec, 15 secs
lola: 87297 markings, 87892 edges, 3458 markings/sec, 20 secs
lola: 104740 markings, 105452 edges, 3489 markings/sec, 25 secs
lola: 122190 markings, 123022 edges, 3490 markings/sec, 30 secs
lola: 139768 markings, 140706 edges, 3516 markings/sec, 35 secs
lola: 156792 markings, 157862 edges, 3405 markings/sec, 40 secs
lola: 174084 markings, 175286 edges, 3458 markings/sec, 45 secs
lola: 191537 markings, 192861 edges, 3491 markings/sec, 50 secs
lola: 209027 markings, 210480 edges, 3498 markings/sec, 55 secs
lola: 226460 markings, 228034 edges, 3487 markings/sec, 60 secs
lola: 243755 markings, 245451 edges, 3459 markings/sec, 65 secs
lola: 260929 markings, 262776 edges, 3435 markings/sec, 70 secs
lola: 278412 markings, 280365 edges, 3497 markings/sec, 75 secs
lola: 296016 markings, 298099 edges, 3521 markings/sec, 80 secs
lola: 313503 markings, 315699 edges, 3497 markings/sec, 85 secs
lola: 331054 markings, 333366 edges, 3510 markings/sec, 90 secs
lola: 348658 markings, 351102 edges, 3521 markings/sec, 95 secs
lola: 366027 markings, 368611 edges, 3474 markings/sec, 100 secs
lola: 383559 markings, 386257 edges, 3506 markings/sec, 105 secs
lola: 400896 markings, 403715 edges, 3467 markings/sec, 110 secs
lola: 418325 markings, 421297 edges, 3486 markings/sec, 115 secs
lola: 435731 markings, 438842 edges, 3481 markings/sec, 120 secs
lola: 452908 markings, 456161 edges, 3435 markings/sec, 125 secs
lola: 470147 markings, 473569 edges, 3448 markings/sec, 130 secs
lola: 487215 markings, 490782 edges, 3414 markings/sec, 135 secs
lola: 504120 markings, 507864 edges, 3381 markings/sec, 140 secs
lola: 521132 markings, 525005 edges, 3402 markings/sec, 145 secs
lola: 538519 markings, 542525 edges, 3477 markings/sec, 150 secs
lola: 555717 markings, 559881 edges, 3440 markings/sec, 155 secs
lola: 572529 markings, 576848 edges, 3362 markings/sec, 160 secs
lola: 589742 markings, 594224 edges, 3443 markings/sec, 165 secs
lola: 606510 markings, 611152 edges, 3354 markings/sec, 170 secs
lola: 623369 markings, 628198 edges, 3372 markings/sec, 175 secs
lola: 639998 markings, 645004 edges, 3326 markings/sec, 180 secs
lola: 657131 markings, 662272 edges, 3427 markings/sec, 185 secs
lola: 674253 markings, 679570 edges, 3424 markings/sec, 190 secs
lola: 690992 markings, 696484 edges, 3348 markings/sec, 195 secs
lola: 708067 markings, 713700 edges, 3415 markings/sec, 200 secs
lola: 724181 markings, 730033 edges, 3223 markings/sec, 205 secs
lola: 741076 markings, 747095 edges, 3379 markings/sec, 210 secs
lola: 758069 markings, 764258 edges, 3399 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p283)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1616 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: 10645 markings, 10708 edges, 2129 markings/sec, 0 secs
lola: 21571 markings, 21691 edges, 2185 markings/sec, 5 secs
lola: 32205 markings, 32394 edges, 2127 markings/sec, 10 secs
lola: 42746 markings, 43003 edges, 2108 markings/sec, 15 secs
lola: 53217 markings, 53562 edges, 2094 markings/sec, 20 secs
lola: 64111 markings, 64536 edges, 2179 markings/sec, 25 secs
lola: 74890 markings, 75385 edges, 2156 markings/sec, 30 secs
lola: 85292 markings, 85876 edges, 2080 markings/sec, 35 secs
lola: 96083 markings, 96737 edges, 2158 markings/sec, 40 secs
lola: 106555 markings, 107292 edges, 2094 markings/sec, 45 secs
lola: 117293 markings, 118097 edges, 2148 markings/sec, 50 secs
lola: 128173 markings, 129043 edges, 2176 markings/sec, 55 secs
lola: 138871 markings, 139807 edges, 2140 markings/sec, 60 secs
lola: 149295 markings, 150309 edges, 2085 markings/sec, 65 secs
lola: 159771 markings, 160867 edges, 2095 markings/sec, 70 secs
lola: 170253 markings, 171427 edges, 2096 markings/sec, 75 secs
lola: 181066 markings, 182318 edges, 2163 markings/sec, 80 secs
lola: 191625 markings, 192949 edges, 2112 markings/sec, 85 secs
lola: 202350 markings, 203748 edges, 2145 markings/sec, 90 secs
lola: 213017 markings, 214504 edges, 2133 markings/sec, 95 secs
lola: 223755 markings, 225322 edges, 2148 markings/sec, 100 secs
lola: 234462 markings, 236100 edges, 2141 markings/sec, 105 secs
lola: 244959 markings, 246664 edges, 2099 markings/sec, 110 secs
lola: 255401 markings, 257193 edges, 2088 markings/sec, 115 secs
lola: 266038 markings, 267912 edges, 2127 markings/sec, 120 secs
lola: 276822 markings, 278768 edges, 2157 markings/sec, 125 secs
lola: 287698 markings, 289721 edges, 2175 markings/sec, 130 secs
lola: 298530 markings, 300632 edges, 2166 markings/sec, 135 secs
lola: 309164 markings, 311338 edges, 2127 markings/sec, 140 secs
lola: 320064 markings, 322304 edges, 2180 markings/sec, 145 secs
lola: 330750 markings, 333062 edges, 2137 markings/sec, 150 secs
lola: 341617 markings, 344004 edges, 2173 markings/sec, 155 secs
lola: 352321 markings, 354783 edges, 2141 markings/sec, 160 secs
lola: 363029 markings, 365578 edges, 2142 markings/sec, 165 secs
lola: 373595 markings, 376239 edges, 2113 markings/sec, 170 secs
lola: 384528 markings, 387237 edges, 2187 markings/sec, 175 secs
lola: 395175 markings, 397958 edges, 2129 markings/sec, 180 secs
lola: 412281 markings, 415196 edges, 3421 markings/sec, 185 secs
lola: 429415 markings, 432476 edges, 3427 markings/sec, 190 secs
lola: 446739 markings, 449951 edges, 3465 markings/sec, 195 secs
lola: 464140 markings, 467516 edges, 3480 markings/sec, 200 secs
lola: 481426 markings, 484926 edges, 3457 markings/sec, 205 secs
lola: 495831 markings, 499503 edges, 2881 markings/sec, 210 secs
lola: 512909 markings, 516711 edges, 3416 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p289)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1616 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: 16000 markings, 16407 edges, 3200 markings/sec, 0 secs
lola: 32054 markings, 32944 edges, 3211 markings/sec, 5 secs
lola: 47879 markings, 49395 edges, 3165 markings/sec, 10 secs
lola: 63806 markings, 65857 edges, 3185 markings/sec, 15 secs
lola: 79749 markings, 82284 edges, 3189 markings/sec, 20 secs
lola: 95776 markings, 98771 edges, 3205 markings/sec, 25 secs
lola: 111795 markings, 115320 edges, 3204 markings/sec, 30 secs
lola: 127636 markings, 131699 edges, 3168 markings/sec, 35 secs
lola: 143435 markings, 148092 edges, 3160 markings/sec, 40 secs
lola: 159116 markings, 164447 edges, 3136 markings/sec, 45 secs
lola: 175033 markings, 180967 edges, 3183 markings/sec, 50 secs
lola: 190854 markings, 197400 edges, 3164 markings/sec, 55 secs
lola: 206772 markings, 213818 edges, 3184 markings/sec, 60 secs
lola: 222735 markings, 230282 edges, 3193 markings/sec, 65 secs
lola: 238466 markings, 246650 edges, 3146 markings/sec, 70 secs
lola: 254348 markings, 263057 edges, 3176 markings/sec, 75 secs
lola: 269929 markings, 279439 edges, 3116 markings/sec, 80 secs
lola: 285878 markings, 295868 edges, 3190 markings/sec, 85 secs
lola: 301757 markings, 312271 edges, 3176 markings/sec, 90 secs
lola: 317422 markings, 328674 edges, 3133 markings/sec, 95 secs
lola: 332968 markings, 345329 edges, 3109 markings/sec, 100 secs
lola: 348561 markings, 361629 edges, 3119 markings/sec, 105 secs
lola: 364489 markings, 378119 edges, 3186 markings/sec, 110 secs
lola: 380052 markings, 394451 edges, 3113 markings/sec, 115 secs
lola: 395938 markings, 410844 edges, 3177 markings/sec, 120 secs
lola: 411858 markings, 427338 edges, 3184 markings/sec, 125 secs
lola: 427823 markings, 443829 edges, 3193 markings/sec, 130 secs
lola: 443711 markings, 460257 edges, 3178 markings/sec, 135 secs
lola: 459267 markings, 476575 edges, 3111 markings/sec, 140 secs
lola: 474873 markings, 492871 edges, 3121 markings/sec, 145 secs
lola: 490474 markings, 509277 edges, 3120 markings/sec, 150 secs
lola: 506166 markings, 525639 edges, 3138 markings/sec, 155 secs
lola: 521882 markings, 542045 edges, 3143 markings/sec, 160 secs
lola: 537812 markings, 558484 edges, 3186 markings/sec, 165 secs
lola: 553295 markings, 574810 edges, 3097 markings/sec, 170 secs
lola: 569003 markings, 591090 edges, 3142 markings/sec, 175 secs
lola: 585036 markings, 607628 edges, 3207 markings/sec, 180 secs
lola: 600656 markings, 623905 edges, 3124 markings/sec, 185 secs
lola: 616327 markings, 640241 edges, 3134 markings/sec, 190 secs
lola: 631952 markings, 656635 edges, 3125 markings/sec, 195 secs
lola: 647425 markings, 672928 edges, 3095 markings/sec, 200 secs
lola: 662935 markings, 689232 edges, 3102 markings/sec, 205 secs
lola: 678676 markings, 705692 edges, 3148 markings/sec, 210 secs
lola: 694369 markings, 722058 edges, 3139 markings/sec, 215 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 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p201 + p202 + p203 + p204)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1616 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: 11153 markings, 11412 edges, 2231 markings/sec, 0 secs
lola: 22058 markings, 22701 edges, 2181 markings/sec, 5 secs
lola: 32953 markings, 34076 edges, 2179 markings/sec, 10 secs
lola: 44506 markings, 46298 edges, 2311 markings/sec, 15 secs
lola: 56060 markings, 58593 edges, 2311 markings/sec, 20 secs
lola: 67585 markings, 70870 edges, 2305 markings/sec, 25 secs
lola: 79013 markings, 83215 edges, 2286 markings/sec, 30 secs
lola: 90561 markings, 95481 edges, 2310 markings/sec, 35 secs
lola: 101949 markings, 107797 edges, 2278 markings/sec, 40 secs
lola: 113321 markings, 120173 edges, 2274 markings/sec, 45 secs
lola: 124862 markings, 132647 edges, 2308 markings/sec, 50 secs
lola: 136271 markings, 144879 edges, 2282 markings/sec, 55 secs
lola: 147664 markings, 157333 edges, 2279 markings/sec, 60 secs
lola: 159132 markings, 169565 edges, 2294 markings/sec, 65 secs
lola: 170412 markings, 182021 edges, 2256 markings/sec, 70 secs
lola: 181861 markings, 194339 edges, 2290 markings/sec, 75 secs
lola: 193442 markings, 206656 edges, 2316 markings/sec, 80 secs
lola: 204764 markings, 218984 edges, 2264 markings/sec, 85 secs
lola: 216139 markings, 231463 edges, 2275 markings/sec, 90 secs
lola: 227499 markings, 243739 edges, 2272 markings/sec, 95 secs
lola: 238708 markings, 256049 edges, 2242 markings/sec, 100 secs
lola: 250120 markings, 268447 edges, 2282 markings/sec, 105 secs
lola: 261485 markings, 280659 edges, 2273 markings/sec, 110 secs
lola: 272728 markings, 293087 edges, 2249 markings/sec, 115 secs
lola: 284037 markings, 305221 edges, 2262 markings/sec, 120 secs
lola: 295560 markings, 317487 edges, 2305 markings/sec, 125 secs
lola: 307266 markings, 329823 edges, 2341 markings/sec, 130 secs
lola: 318741 markings, 342125 edges, 2295 markings/sec, 135 secs
lola: 330164 markings, 354349 edges, 2285 markings/sec, 140 secs
lola: 341464 markings, 366714 edges, 2260 markings/sec, 145 secs
lola: 352917 markings, 378998 edges, 2291 markings/sec, 150 secs
lola: 364209 markings, 391431 edges, 2258 markings/sec, 155 secs
lola: 375570 markings, 403677 edges, 2272 markings/sec, 160 secs
lola: 386796 markings, 415940 edges, 2245 markings/sec, 165 secs
lola: 398173 markings, 428173 edges, 2275 markings/sec, 170 secs
lola: 409452 markings, 440539 edges, 2256 markings/sec, 175 secs
lola: 420832 markings, 452836 edges, 2276 markings/sec, 180 secs
lola: 432332 markings, 465099 edges, 2300 markings/sec, 185 secs
lola: 443499 markings, 477429 edges, 2233 markings/sec, 190 secs
lola: 454781 markings, 489609 edges, 2256 markings/sec, 195 secs
lola: 466025 markings, 501854 edges, 2249 markings/sec, 200 secs
lola: 477365 markings, 514059 edges, 2268 markings/sec, 205 secs
lola: 488684 markings, 526262 edges, 2264 markings/sec, 210 secs
lola: 499978 markings, 538486 edges, 2259 markings/sec, 215 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 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA PolyORBLF-COL-S06J04T04-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T04-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T04-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T04-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T04-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T04-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T04-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T04-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T04-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T04-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T04-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T04-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T04-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T04-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T04-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T04-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1496418688747
--------------------
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_PolyORBLF-COL-S06J04T04"
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_PolyORBLF-COL-S06J04T04.tgz
mv S_PolyORBLF-COL-S06J04T04 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_PolyORBLF-COL-S06J04T04, 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 r128-smll-149441681500371"
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 ;