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_PolyORBNT-COL-S10J20, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r138-smll-149479231500047
=====================================================================

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of positive values
NUM_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME PolyORBNT-COL-S10J20-UpperBounds-0
FORMULA_NAME PolyORBNT-COL-S10J20-UpperBounds-1
FORMULA_NAME PolyORBNT-COL-S10J20-UpperBounds-10
FORMULA_NAME PolyORBNT-COL-S10J20-UpperBounds-11
FORMULA_NAME PolyORBNT-COL-S10J20-UpperBounds-12
FORMULA_NAME PolyORBNT-COL-S10J20-UpperBounds-13
FORMULA_NAME PolyORBNT-COL-S10J20-UpperBounds-14
FORMULA_NAME PolyORBNT-COL-S10J20-UpperBounds-15
FORMULA_NAME PolyORBNT-COL-S10J20-UpperBounds-2
FORMULA_NAME PolyORBNT-COL-S10J20-UpperBounds-3
FORMULA_NAME PolyORBNT-COL-S10J20-UpperBounds-4
FORMULA_NAME PolyORBNT-COL-S10J20-UpperBounds-5
FORMULA_NAME PolyORBNT-COL-S10J20-UpperBounds-6
FORMULA_NAME PolyORBNT-COL-S10J20-UpperBounds-7
FORMULA_NAME PolyORBNT-COL-S10J20-UpperBounds-8
FORMULA_NAME PolyORBNT-COL-S10J20-UpperBounds-9

=== Now, execution of the tool begins

BK_START 1496289943762


Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_PolyORBNT-COL-S10J20: translating COL Petri net model.pnml into LoLA format
===========================================================================================
translating COL Petri net complete
checking for too many tokens
===========================================================================================
S_PolyORBNT-COL-S10J20: translating COL formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
----- Start make result stdout -----
UpperBounds @ S_PolyORBNT-COL-S10J20 @ 3536 seconds
----- Start make result stdout -----
lola: LoLA will run for 3536 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 12274/65536 symbol table entries, 3869 collisions
lola: preprocessing...
lola: finding significant places
lola: 494 places, 11780 transitions, 422 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1918 transition conflict sets
lola: TASK
lola: reading formula from PolyORBNT-COL-S10J20-UpperBounds.task
lola: MAX(p184 + p185 + p186 + p187 + p188 + p189 + p190 + p191 + p192 + p194 + p195 + p196 + p197 + p198 + p199 + p200 + p201 + p202 + p204 + p205 + p206 + p207 + p208 + p209 + p210 + p211 + p212 + p214 + p215 + p216 + p217 + p218 + p219 + p220 + p221 + p222 + p224 + p225 + p226 + p227 + p228 + p229 + p230 + p231 + p232 + p234 + p235 + p236 + p237 + p238 + p239 + p240 + p241 + p242 + p244 + p245 + p246 + p247 + p248 + p249 + p250 + p251 + p252 + p254 + p255 + p256 + p257 + p258 + p259 + p260 + p261 + p262 + p264 + p265 + p266 + p267 + p268 + p269 + p270 + p271 + p272 + p274 + p275 + p276 + p277 + p278 + p279 + p280 + p281 + p282 + p284 + p285 + p286 + p287 + p288 + p289 + p290 + p291 + p292 + p294 + p295 + p296 + p297 + p298 + p299 + p300 + p301 + p302 + p304 + p305 + p306 + p307 + p308 + p309 + p310 + p311 + p312 + p314 + p315 + p316 + p317 + p318 + p319 + p320 + p321 + p322 + p324 + p325 + p326 + p327 + p328 + p329 + p330 + p331 + p332 + p334 + p335 + p336 + p337 + p338 + p339 + p340 + p341 + p342 + p344 + p345 + p346 + p347 + p348 + p349 + p350 + p351 + p352 + p354 + p355 + p356 + p357 + p358 + p359 + p360 + p361 + p362 + p364 + p365 + p366 + p367 + p368 + p369 + p370 + p371 + p372 + p374 + p375 + p376 + p377 + p378 + p379 + p380 + p381 + p382 + p384 + p385 + p386 + p387 + p388 + p389 + p390 + p391 + p392 + p393 + p383 + p373 + p363 + p353 + p343 + p333 + p323 + p313 + p303 + p293 + p283 + p273 + p263 + p253 + p243 + p233 + p223 + p213 + p203 + p193) : MAX(p398) : MAX(p89) : MAX(p170) : MAX(p169) : MAX(p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12) : MAX(p24 + p23 + p22 + p21 + p20 + p19 + p18 + p17 + p16 + p15) : MAX(p13) : MAX(p1) : MAX(p13) : MAX(p491) : MAX(p443) : MAX(p112) : MAX(p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12) : MAX(p397) : MAX(p159 + p160 + p161 + p162 + p163 + p164 + p165 + p166 + p167 + p168)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p184 + p185 + p186 + p187 + p188 + p189 + p190 + p191 + p192 + p194 + p195 + p196 + p197 + p198 + p199 + p200 + p201 + p202 + p204 + p205 + p206 + p207 + p208 + p209 + p210 + p211 + p212 + p214 + p215 + p216 + p217 + p218 + p219 + p220 + p221 + p222 + p224 + p225 + p226 + p227 + p228 + p229 + p230 + p231 + p232 + p234 + p235 + p236 + p237 + p238 + p239 + p240 + p241 + p242 + p244 + p245 + p246... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1688 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: 4289 markings, 14667 edges, 858 markings/sec, 0 secs
lola: 8405 markings, 24985 edges, 823 markings/sec, 5 secs
lola: 12192 markings, 29538 edges, 757 markings/sec, 10 secs
lola: 15981 markings, 34171 edges, 758 markings/sec, 15 secs
lola: 19768 markings, 38723 edges, 757 markings/sec, 20 secs
lola: 23554 markings, 43274 edges, 757 markings/sec, 25 secs
lola: 27752 markings, 57258 edges, 840 markings/sec, 30 secs
lola: 31574 markings, 62045 edges, 764 markings/sec, 35 secs
lola: 35395 markings, 66906 edges, 764 markings/sec, 40 secs
lola: 39224 markings, 71775 edges, 766 markings/sec, 45 secs
lola: 43053 markings, 76644 edges, 766 markings/sec, 50 secs
lola: 46882 markings, 81513 edges, 766 markings/sec, 55 secs
lola: 50710 markings, 86381 edges, 766 markings/sec, 60 secs
lola: 54539 markings, 91648 edges, 766 markings/sec, 65 secs
lola: 58346 markings, 96493 edges, 761 markings/sec, 70 secs
lola: 62141 markings, 101324 edges, 759 markings/sec, 75 secs
lola: 65937 markings, 106158 edges, 759 markings/sec, 80 secs
lola: 69732 markings, 110983 edges, 759 markings/sec, 85 secs
lola: 73527 markings, 115810 edges, 759 markings/sec, 90 secs
lola: 77321 markings, 120641 edges, 759 markings/sec, 95 secs
lola: 81117 markings, 125871 edges, 759 markings/sec, 100 secs
lola: 84910 markings, 130693 edges, 759 markings/sec, 105 secs
lola: 88703 markings, 135519 edges, 759 markings/sec, 110 secs
lola: 92496 markings, 140349 edges, 759 markings/sec, 115 secs
lola: 96325 markings, 153703 edges, 766 markings/sec, 120 secs
lola: 100119 markings, 158530 edges, 759 markings/sec, 125 secs
lola: 103920 markings, 163418 edges, 760 markings/sec, 130 secs
lola: 107722 markings, 168709 edges, 760 markings/sec, 135 secs
lola: 111523 markings, 173596 edges, 760 markings/sec, 140 secs
lola: 115324 markings, 178489 edges, 760 markings/sec, 145 secs
lola: 119125 markings, 183383 edges, 760 markings/sec, 150 secs
lola: 122926 markings, 188661 edges, 760 markings/sec, 155 secs
lola: 126727 markings, 193556 edges, 760 markings/sec, 160 secs
lola: 130528 markings, 198449 edges, 760 markings/sec, 165 secs
lola: 134328 markings, 203341 edges, 760 markings/sec, 170 secs
lola: 138127 markings, 208621 edges, 760 markings/sec, 175 secs
lola: 141926 markings, 213512 edges, 760 markings/sec, 180 secs
lola: 145724 markings, 218393 edges, 760 markings/sec, 185 secs
lola: 149523 markings, 223286 edges, 760 markings/sec, 190 secs
lola: 153164 markings, 228388 edges, 728 markings/sec, 195 secs
lola: 156826 markings, 241601 edges, 732 markings/sec, 200 secs
lola: 160446 markings, 246227 edges, 724 markings/sec, 205 secs
lola: 164074 markings, 250919 edges, 726 markings/sec, 210 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(p398)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1688 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: 4265 markings, 14581 edges, 853 markings/sec, 0 secs
lola: 9992 markings, 26728 edges, 1145 markings/sec, 5 secs
lola: 17688 markings, 35846 edges, 1539 markings/sec, 10 secs
lola: 25007 markings, 46241 edges, 1464 markings/sec, 15 secs
lola: 30473 markings, 58571 edges, 1093 markings/sec, 20 secs
lola: 38275 markings, 67445 edges, 1560 markings/sec, 25 secs
lola: 46074 markings, 76547 edges, 1560 markings/sec, 30 secs
lola: 55081 markings, 87557 edges, 1801 markings/sec, 35 secs
lola: 66126 markings, 100562 edges, 2209 markings/sec, 40 secs
lola: 77245 markings, 113837 edges, 2224 markings/sec, 45 secs
lola: 87511 markings, 127767 edges, 2053 markings/sec, 50 secs
lola: 94795 markings, 141040 edges, 1457 markings/sec, 55 secs
lola: 102540 markings, 149746 edges, 1549 markings/sec, 60 secs
lola: 110315 markings, 158700 edges, 1555 markings/sec, 65 secs
lola: 118445 markings, 168795 edges, 1626 markings/sec, 70 secs
lola: 129216 markings, 181374 edges, 2154 markings/sec, 75 secs
lola: 140290 markings, 194551 edges, 2215 markings/sec, 80 secs
lola: 151350 markings, 208161 edges, 2212 markings/sec, 85 secs
lola: 159194 markings, 221353 edges, 1569 markings/sec, 90 secs
lola: 166799 markings, 232132 edges, 1521 markings/sec, 95 secs
lola: 174599 markings, 241013 edges, 1560 markings/sec, 100 secs
lola: 182364 markings, 250354 edges, 1553 markings/sec, 105 secs
lola: 192390 markings, 262364 edges, 2005 markings/sec, 110 secs
lola: 203488 markings, 275460 edges, 2220 markings/sec, 115 secs
lola: 214502 markings, 288777 edges, 2203 markings/sec, 120 secs
lola: 223583 markings, 302374 edges, 1816 markings/sec, 125 secs
lola: 231700 markings, 315367 edges, 1623 markings/sec, 130 secs
lola: 241372 markings, 327154 edges, 1934 markings/sec, 135 secs
lola: 252492 markings, 340797 edges, 2224 markings/sec, 140 secs
lola: 264016 markings, 354511 edges, 2305 markings/sec, 145 secs
lola: 275535 markings, 369267 edges, 2304 markings/sec, 150 secs
lola: 283132 markings, 382915 edges, 1519 markings/sec, 155 secs
lola: 293039 markings, 394975 edges, 1981 markings/sec, 160 secs
lola: 303827 markings, 408472 edges, 2158 markings/sec, 165 secs
lola: 315422 markings, 422237 edges, 2319 markings/sec, 170 secs
lola: 326767 markings, 435985 edges, 2269 markings/sec, 175 secs
lola: 335580 markings, 450037 edges, 1763 markings/sec, 180 secs
lola: 344865 markings, 463164 edges, 1857 markings/sec, 185 secs
lola: 355248 markings, 476286 edges, 2077 markings/sec, 190 secs
lola: 366777 markings, 489904 edges, 2306 markings/sec, 195 secs
lola: 378333 markings, 503787 edges, 2311 markings/sec, 200 secs
lola: 388278 markings, 518089 edges, 1989 markings/sec, 205 secs
lola: 396870 markings, 531628 edges, 1718 markings/sec, 210 secs
lola: 407060 markings, 544566 edges, 2038 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(p89)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1688 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: 4353 markings, 14905 edges, 871 markings/sec, 0 secs
lola: 9293 markings, 25923 edges, 988 markings/sec, 5 secs
lola: 15033 markings, 32690 edges, 1148 markings/sec, 10 secs
lola: 20764 markings, 39628 edges, 1146 markings/sec, 15 secs
lola: 26036 markings, 49916 edges, 1054 markings/sec, 20 secs
lola: 31978 markings, 60302 edges, 1188 markings/sec, 25 secs
lola: 39048 markings, 68331 edges, 1414 markings/sec, 30 secs
lola: 46123 markings, 76599 edges, 1415 markings/sec, 35 secs
lola: 54539 markings, 86883 edges, 1683 markings/sec, 40 secs
lola: 66175 markings, 100620 edges, 2327 markings/sec, 45 secs
lola: 77859 markings, 114588 edges, 2337 markings/sec, 50 secs
lola: 88322 markings, 129135 edges, 2093 markings/sec, 55 secs
lola: 95818 markings, 142192 edges, 1499 markings/sec, 60 secs
lola: 102834 markings, 150100 edges, 1403 markings/sec, 65 secs
lola: 109995 markings, 158348 edges, 1432 markings/sec, 70 secs
lola: 117149 markings, 167258 edges, 1431 markings/sec, 75 secs
lola: 128348 markings, 180329 edges, 2240 markings/sec, 80 secs
lola: 140038 markings, 194206 edges, 2338 markings/sec, 85 secs
lola: 151235 markings, 208006 edges, 2239 markings/sec, 90 secs
lola: 159211 markings, 221392 edges, 1595 markings/sec, 95 secs
lola: 166189 markings, 231422 edges, 1396 markings/sec, 100 secs
lola: 173018 markings, 239198 edges, 1366 markings/sec, 105 secs
lola: 179863 markings, 247217 edges, 1369 markings/sec, 110 secs
lola: 187826 markings, 256984 edges, 1593 markings/sec, 115 secs
lola: 199118 markings, 270269 edges, 2258 markings/sec, 120 secs
lola: 210360 markings, 283717 edges, 2248 markings/sec, 125 secs
lola: 221001 markings, 297958 edges, 2128 markings/sec, 130 secs
lola: 228382 markings, 311502 edges, 1476 markings/sec, 135 secs
lola: 238362 markings, 323351 edges, 1996 markings/sec, 140 secs
lola: 249430 markings, 337179 edges, 2214 markings/sec, 145 secs
lola: 261162 markings, 351078 edges, 2346 markings/sec, 150 secs
lola: 272910 markings, 365423 edges, 2350 markings/sec, 155 secs
lola: 281516 markings, 379627 edges, 1721 markings/sec, 160 secs
lola: 291191 markings, 392741 edges, 1935 markings/sec, 165 secs
lola: 301919 markings, 406241 edges, 2146 markings/sec, 170 secs
lola: 313687 markings, 420140 edges, 2354 markings/sec, 175 secs
lola: 325436 markings, 434326 edges, 2350 markings/sec, 180 secs
lola: 334825 markings, 448708 edges, 1878 markings/sec, 185 secs
lola: 344007 markings, 462131 edges, 1836 markings/sec, 190 secs
lola: 354430 markings, 475368 edges, 2085 markings/sec, 195 secs
lola: 366199 markings, 489184 edges, 2354 markings/sec, 200 secs
lola: 377910 markings, 503248 edges, 2342 markings/sec, 205 secs
lola: 388143 markings, 517819 edges, 2047 markings/sec, 210 secs
lola: 396786 markings, 531534 edges, 1729 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(p170)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1688 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: 7835 markings, 24202 edges, 1567 markings/sec, 0 secs
lola: 15987 markings, 33803 edges, 1630 markings/sec, 5 secs
lola: 23934 markings, 43759 edges, 1589 markings/sec, 10 secs
lola: 31927 markings, 60234 edges, 1599 markings/sec, 15 secs
lola: 39955 markings, 69355 edges, 1606 markings/sec, 20 secs
lola: 48188 markings, 79153 edges, 1647 markings/sec, 25 secs
lola: 58538 markings, 91626 edges, 2070 markings/sec, 30 secs
lola: 70271 markings, 105473 edges, 2347 markings/sec, 35 secs
lola: 82003 markings, 119703 edges, 2346 markings/sec, 40 secs
lola: 91042 markings, 133859 edges, 1808 markings/sec, 45 secs
lola: 98884 markings, 145634 edges, 1568 markings/sec, 50 secs
lola: 107052 markings, 154913 edges, 1634 markings/sec, 55 secs
lola: 115217 markings, 164647 edges, 1633 markings/sec, 60 secs
lola: 125652 markings, 177191 edges, 2087 markings/sec, 65 secs
lola: 137311 markings, 190971 edges, 2332 markings/sec, 70 secs
lola: 148940 markings, 205079 edges, 2326 markings/sec, 75 secs
lola: 157975 markings, 219210 edges, 1807 markings/sec, 80 secs
lola: 165889 markings, 231099 edges, 1583 markings/sec, 85 secs
lola: 174041 markings, 240360 edges, 1630 markings/sec, 90 secs
lola: 182181 markings, 250099 edges, 1628 markings/sec, 95 secs
lola: 192696 markings, 262707 edges, 2103 markings/sec, 100 secs
lola: 204351 markings, 276482 edges, 2331 markings/sec, 105 secs
lola: 215959 markings, 290590 edges, 2322 markings/sec, 110 secs
lola: 224912 markings, 304676 edges, 1791 markings/sec, 115 secs
lola: 233946 markings, 318047 edges, 1807 markings/sec, 120 secs
lola: 244285 markings, 331111 edges, 2068 markings/sec, 125 secs
lola: 255871 markings, 344792 edges, 2317 markings/sec, 130 secs
lola: 267556 markings, 358760 edges, 2337 markings/sec, 135 secs
lola: 277890 markings, 373263 edges, 2067 markings/sec, 140 secs
lola: 286310 markings, 386939 edges, 1684 markings/sec, 145 secs
lola: 296472 markings, 399311 edges, 2032 markings/sec, 150 secs
lola: 307864 markings, 413251 edges, 2278 markings/sec, 155 secs
lola: 319526 markings, 427112 edges, 2332 markings/sec, 160 secs
lola: 330854 markings, 441880 edges, 2266 markings/sec, 165 secs
lola: 338680 markings, 455842 edges, 1565 markings/sec, 170 secs
lola: 348812 markings, 467960 edges, 2026 markings/sec, 175 secs
lola: 359818 markings, 481670 edges, 2201 markings/sec, 180 secs
lola: 371508 markings, 495549 edges, 2338 markings/sec, 185 secs
lola: 383172 markings, 509809 edges, 2333 markings/sec, 190 secs
lola: 391544 markings, 523900 edges, 1674 markings/sec, 195 secs
lola: 401290 markings, 536964 edges, 1949 markings/sec, 200 secs
lola: 412252 markings, 550718 edges, 2192 markings/sec, 205 secs
lola: 423911 markings, 564574 edges, 2332 markings/sec, 210 secs
lola: 435467 markings, 579461 edges, 2311 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(p169)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1688 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: 4656 markings, 16015 edges, 931 markings/sec, 0 secs
lola: 11369 markings, 28326 edges, 1343 markings/sec, 5 secs
lola: 19518 markings, 38081 edges, 1630 markings/sec, 10 secs
lola: 26312 markings, 50855 edges, 1359 markings/sec, 15 secs
lola: 33541 markings, 62034 edges, 1446 markings/sec, 20 secs
lola: 41794 markings, 71504 edges, 1651 markings/sec, 25 secs
lola: 50060 markings, 81716 edges, 1653 markings/sec, 30 secs
lola: 61486 markings, 95072 edges, 2285 markings/sec, 35 secs
lola: 73283 markings, 109076 edges, 2359 markings/sec, 40 secs
lola: 85071 markings, 123678 edges, 2358 markings/sec, 45 secs
lola: 93141 markings, 137624 edges, 1614 markings/sec, 50 secs
lola: 101225 markings, 148263 edges, 1617 markings/sec, 55 secs
lola: 109501 markings, 157758 edges, 1655 markings/sec, 60 secs
lola: 118091 markings, 168328 edges, 1718 markings/sec, 65 secs
lola: 129505 markings, 181703 edges, 2283 markings/sec, 70 secs
lola: 141308 markings, 195764 edges, 2361 markings/sec, 75 secs
lola: 153032 markings, 210776 edges, 2345 markings/sec, 80 secs
lola: 160805 markings, 224374 edges, 1555 markings/sec, 85 secs
lola: 169011 markings, 234619 edges, 1641 markings/sec, 90 secs
lola: 177295 markings, 244155 edges, 1657 markings/sec, 95 secs
lola: 185921 markings, 254763 edges, 1725 markings/sec, 100 secs
lola: 197674 markings, 268563 edges, 2351 markings/sec, 105 secs
lola: 209444 markings, 282607 edges, 2354 markings/sec, 110 secs
lola: 220718 markings, 297494 edges, 2255 markings/sec, 115 secs
lola: 228516 markings, 311645 edges, 1560 markings/sec, 120 secs
lola: 238853 markings, 323948 edges, 2067 markings/sec, 125 secs
lola: 249983 markings, 337840 edges, 2226 markings/sec, 130 secs
lola: 261802 markings, 351863 edges, 2364 markings/sec, 135 secs
lola: 273600 markings, 366341 edges, 2360 markings/sec, 140 secs
lola: 282007 markings, 380553 edges, 1681 markings/sec, 145 secs
lola: 291916 markings, 393601 edges, 1982 markings/sec, 150 secs
lola: 302799 markings, 407307 edges, 2177 markings/sec, 155 secs
lola: 314570 markings, 421201 edges, 2354 markings/sec, 160 secs
lola: 326368 markings, 435506 edges, 2360 markings/sec, 165 secs
lola: 335498 markings, 449870 edges, 1826 markings/sec, 170 secs
lola: 344920 markings, 463240 edges, 1884 markings/sec, 175 secs
lola: 355574 markings, 476654 edges, 2131 markings/sec, 180 secs
lola: 367345 markings, 490552 edges, 2354 markings/sec, 185 secs
lola: 379098 markings, 504726 edges, 2351 markings/sec, 190 secs
lola: 388935 markings, 519227 edges, 1967 markings/sec, 195 secs
lola: 397908 markings, 532874 edges, 1795 markings/sec, 200 secs
lola: 408472 markings, 546235 edges, 2113 markings/sec, 205 secs
lola: 420285 markings, 560252 edges, 2363 markings/sec, 210 secs
lola: 432092 markings, 574591 edges, 2361 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(p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1688 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: 15968 markings, 21027 edges, 3194 markings/sec, 0 secs
lola: 28833 markings, 41436 edges, 2573 markings/sec, 5 secs
lola: 46571 markings, 63450 edges, 3548 markings/sec, 10 secs
lola: 58901 markings, 82893 edges, 2466 markings/sec, 15 secs
lola: 77111 markings, 106042 edges, 3642 markings/sec, 20 secs
lola: 88951 markings, 124467 edges, 2368 markings/sec, 25 secs
lola: 105921 markings, 147415 edges, 3394 markings/sec, 30 secs
lola: 120052 markings, 167484 edges, 2826 markings/sec, 35 secs
lola: 134543 markings, 188619 edges, 2898 markings/sec, 40 secs
lola: 151429 markings, 210722 edges, 3377 markings/sec, 45 secs
lola: 164078 markings, 230285 edges, 2530 markings/sec, 50 secs
lola: 180426 markings, 252813 edges, 3270 markings/sec, 55 secs
lola: 195854 markings, 274072 edges, 3086 markings/sec, 60 secs
lola: 209124 markings, 294206 edges, 2654 markings/sec, 65 secs
lola: 225451 markings, 316694 edges, 3265 markings/sec, 70 secs
lola: 241017 markings, 338329 edges, 3113 markings/sec, 75 secs
lola: 254643 markings, 358874 edges, 2725 markings/sec, 80 secs
lola: 269146 markings, 380475 edges, 2901 markings/sec, 85 secs
lola: 285374 markings, 402610 edges, 3246 markings/sec, 90 secs
lola: 300973 markings, 424880 edges, 3120 markings/sec, 95 secs
lola: 315107 markings, 445379 edges, 2827 markings/sec, 100 secs
lola: 329099 markings, 466296 edges, 2798 markings/sec, 105 secs
lola: 343347 markings, 487418 edges, 2850 markings/sec, 110 secs
lola: 358130 markings, 509169 edges, 2957 markings/sec, 115 secs
lola: 372909 markings, 530935 edges, 2956 markings/sec, 120 secs
lola: 387663 markings, 552732 edges, 2951 markings/sec, 125 secs
lola: 402571 markings, 574834 edges, 2982 markings/sec, 130 secs
lola: 417788 markings, 597044 edges, 3043 markings/sec, 135 secs
lola: 433116 markings, 619767 edges, 3066 markings/sec, 140 secs
lola: 446904 markings, 641436 edges, 2758 markings/sec, 145 secs
lola: 461594 markings, 663847 edges, 2938 markings/sec, 150 secs
lola: 476535 markings, 686926 edges, 2988 markings/sec, 155 secs
lola: 491977 markings, 710645 edges, 3088 markings/sec, 160 secs
lola: 506721 markings, 733967 edges, 2949 markings/sec, 165 secs
lola: 521093 markings, 757785 edges, 2874 markings/sec, 170 secs
lola: 536112 markings, 782578 edges, 3004 markings/sec, 175 secs
lola: 550306 markings, 807785 edges, 2839 markings/sec, 180 secs
lola: 564961 markings, 835491 edges, 2931 markings/sec, 185 secs
lola: 579497 markings, 865200 edges, 2907 markings/sec, 190 secs
lola: 599580 markings, 890348 edges, 4017 markings/sec, 195 secs
lola: 621867 markings, 916839 edges, 4457 markings/sec, 200 secs
lola: 639971 markings, 941834 edges, 3621 markings/sec, 205 secs
lola: 654524 markings, 963614 edges, 2911 markings/sec, 210 secs
lola: 673390 markings, 987801 edges, 3773 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(p24 + p23 + p22 + p21 + p20 + p19 + p18 + p17 + p16 + p15)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1688 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: 6212 markings, 21712 edges, 1242 markings/sec, 0 secs
lola: 12992 markings, 30272 edges, 1356 markings/sec, 5 secs
lola: 19872 markings, 38532 edges, 1376 markings/sec, 10 secs
lola: 26510 markings, 51561 edges, 1328 markings/sec, 15 secs
lola: 33168 markings, 61627 edges, 1332 markings/sec, 20 secs
lola: 39958 markings, 69358 edges, 1358 markings/sec, 25 secs
lola: 46774 markings, 77369 edges, 1363 markings/sec, 30 secs
lola: 54172 markings, 86468 edges, 1480 markings/sec, 35 secs
lola: 62626 markings, 96391 edges, 1691 markings/sec, 40 secs
lola: 71064 markings, 106443 edges, 1688 markings/sec, 45 secs
lola: 79497 markings, 116592 edges, 1687 markings/sec, 50 secs
lola: 87649 markings, 128014 edges, 1630 markings/sec, 55 secs
lola: 94761 markings, 141005 edges, 1422 markings/sec, 60 secs
lola: 101515 markings, 148583 edges, 1351 markings/sec, 65 secs
lola: 108291 markings, 156345 edges, 1355 markings/sec, 70 secs
lola: 114788 markings, 164112 edges, 1299 markings/sec, 75 secs
lola: 122387 markings, 173354 edges, 1520 markings/sec, 80 secs
lola: 130800 markings, 183243 edges, 1683 markings/sec, 85 secs
lola: 139206 markings, 193256 edges, 1681 markings/sec, 90 secs
lola: 147652 markings, 203483 edges, 1689 markings/sec, 95 secs
lola: 155682 markings, 215225 edges, 1606 markings/sec, 100 secs
lola: 162780 markings, 227597 edges, 1420 markings/sec, 105 secs
lola: 169626 markings, 235331 edges, 1369 markings/sec, 110 secs
lola: 176472 markings, 243189 edges, 1369 markings/sec, 115 secs
lola: 183307 markings, 251798 edges, 1367 markings/sec, 120 secs
lola: 191466 markings, 261248 edges, 1632 markings/sec, 125 secs
lola: 199954 markings, 271282 edges, 1698 markings/sec, 130 secs
lola: 208454 markings, 281411 edges, 1700 markings/sec, 135 secs
lola: 216958 markings, 291859 edges, 1701 markings/sec, 140 secs
lola: 224575 markings, 304098 edges, 1523 markings/sec, 145 secs
lola: 232060 markings, 315814 edges, 1497 markings/sec, 150 secs
lola: 239867 markings, 325220 edges, 1561 markings/sec, 155 secs
lola: 248070 markings, 335607 edges, 1641 markings/sec, 160 secs
lola: 256590 markings, 345618 edges, 1704 markings/sec, 165 secs
lola: 265074 markings, 355781 edges, 1697 markings/sec, 170 secs
lola: 273587 markings, 366310 edges, 1703 markings/sec, 175 secs
lola: 281084 markings, 378834 edges, 1499 markings/sec, 180 secs
lola: 288709 markings, 389750 edges, 1525 markings/sec, 185 secs
lola: 296455 markings, 399285 edges, 1549 markings/sec, 190 secs
lola: 304686 markings, 409511 edges, 1646 markings/sec, 195 secs
lola: 313107 markings, 419471 edges, 1684 markings/sec, 200 secs
lola: 321519 markings, 429518 edges, 1682 markings/sec, 205 secs
lola: 329920 markings, 440166 edges, 1680 markings/sec, 210 secs
lola: 337094 markings, 452823 edges, 1435 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(p13)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1688 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: 4415 markings, 15131 edges, 883 markings/sec, 0 secs
lola: 10145 markings, 26915 edges, 1146 markings/sec, 5 secs
lola: 17435 markings, 35560 edges, 1458 markings/sec, 10 secs
lola: 24671 markings, 45122 edges, 1447 markings/sec, 15 secs
lola: 29916 markings, 57974 edges, 1049 markings/sec, 20 secs
lola: 37449 markings, 66504 edges, 1507 markings/sec, 25 secs
lola: 45005 markings, 75241 edges, 1511 markings/sec, 30 secs
lola: 53309 markings, 85455 edges, 1661 markings/sec, 35 secs
lola: 64812 markings, 99004 edges, 2301 markings/sec, 40 secs
lola: 76377 markings, 112813 edges, 2313 markings/sec, 45 secs
lola: 87262 markings, 127369 edges, 2177 markings/sec, 50 secs
lola: 94843 markings, 141090 edges, 1516 markings/sec, 55 secs
lola: 102281 markings, 149457 edges, 1488 markings/sec, 60 secs
lola: 109831 markings, 158126 edges, 1510 markings/sec, 65 secs
lola: 117444 markings, 167588 edges, 1523 markings/sec, 70 secs
lola: 128516 markings, 180581 edges, 2214 markings/sec, 75 secs
lola: 140083 markings, 194257 edges, 2313 markings/sec, 80 secs
lola: 151055 markings, 207772 edges, 2194 markings/sec, 85 secs
lola: 159039 markings, 221097 edges, 1597 markings/sec, 90 secs
lola: 166587 markings, 231862 edges, 1510 markings/sec, 95 secs
lola: 174098 markings, 240423 edges, 1502 markings/sec, 100 secs
lola: 181595 markings, 249359 edges, 1499 markings/sec, 105 secs
lola: 191332 markings, 261096 edges, 1947 markings/sec, 110 secs
lola: 202996 markings, 274879 edges, 2333 markings/sec, 115 secs
lola: 214591 markings, 288879 edges, 2319 markings/sec, 120 secs
lola: 224035 markings, 303142 edges, 1889 markings/sec, 125 secs
lola: 232186 markings, 315949 edges, 1630 markings/sec, 130 secs
lola: 242377 markings, 328526 edges, 2038 markings/sec, 135 secs
lola: 253987 markings, 342586 edges, 2322 markings/sec, 140 secs
lola: 265716 markings, 356530 edges, 2346 markings/sec, 145 secs
lola: 276731 markings, 371289 edges, 2203 markings/sec, 150 secs
lola: 284839 markings, 385214 edges, 1622 markings/sec, 155 secs
lola: 295083 markings, 397517 edges, 2049 markings/sec, 160 secs
lola: 306286 markings, 411393 edges, 2241 markings/sec, 165 secs
lola: 317945 markings, 425242 edges, 2332 markings/sec, 170 secs
lola: 329591 markings, 439714 edges, 2329 markings/sec, 175 secs
lola: 337533 markings, 453703 edges, 1588 markings/sec, 180 secs
lola: 347553 markings, 466407 edges, 2004 markings/sec, 185 secs
lola: 358419 markings, 480015 edges, 2173 markings/sec, 190 secs
lola: 370103 markings, 493822 edges, 2337 markings/sec, 195 secs
lola: 381710 markings, 507956 edges, 2321 markings/sec, 200 secs
lola: 390585 markings, 522122 edges, 1775 markings/sec, 205 secs
lola: 399992 markings, 535379 edges, 1881 markings/sec, 210 secs
lola: 410750 markings, 548955 edges, 2152 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(p1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1688 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: 4347 markings, 14881 edges, 869 markings/sec, 0 secs
lola: 9131 markings, 25698 edges, 957 markings/sec, 5 secs
lola: 14491 markings, 32035 edges, 1072 markings/sec, 10 secs
lola: 19896 markings, 38558 edges, 1081 markings/sec, 15 secs
lola: 25169 markings, 46808 edges, 1055 markings/sec, 20 secs
lola: 30643 markings, 58758 edges, 1095 markings/sec, 25 secs
lola: 37784 markings, 66866 edges, 1428 markings/sec, 30 secs
lola: 44940 markings, 75170 edges, 1431 markings/sec, 35 secs
lola: 52688 markings, 84715 edges, 1550 markings/sec, 40 secs
lola: 64479 markings, 98622 edges, 2358 markings/sec, 45 secs
lola: 76286 markings, 112677 edges, 2361 markings/sec, 50 secs
lola: 87332 markings, 127492 edges, 2209 markings/sec, 55 secs
lola: 95030 markings, 141288 edges, 1540 markings/sec, 60 secs
lola: 102045 markings, 149194 edges, 1403 markings/sec, 65 secs
lola: 109185 markings, 157376 edges, 1428 markings/sec, 70 secs
lola: 116295 markings, 166336 edges, 1422 markings/sec, 75 secs
lola: 126881 markings, 178618 edges, 2117 markings/sec, 80 secs
lola: 138587 markings, 192492 edges, 2341 markings/sec, 85 secs
lola: 150325 markings, 206827 edges, 2348 markings/sec, 90 secs
lola: 158959 markings, 220919 edges, 1727 markings/sec, 95 secs
lola: 166244 markings, 231482 edges, 1457 markings/sec, 100 secs
lola: 173385 markings, 239618 edges, 1428 markings/sec, 105 secs
lola: 180497 markings, 247968 edges, 1422 markings/sec, 110 secs
lola: 189311 markings, 258733 edges, 1763 markings/sec, 115 secs
lola: 201010 markings, 272544 edges, 2340 markings/sec, 120 secs
lola: 212721 markings, 286564 edges, 2342 markings/sec, 125 secs
lola: 222785 markings, 300976 edges, 2013 markings/sec, 130 secs
lola: 231271 markings, 314866 edges, 1697 markings/sec, 135 secs
lola: 241565 markings, 327382 edges, 2059 markings/sec, 140 secs
lola: 252944 markings, 341333 edges, 2276 markings/sec, 145 secs
lola: 264610 markings, 355201 edges, 2333 markings/sec, 150 secs
lola: 275962 markings, 369987 edges, 2270 markings/sec, 155 secs
lola: 283787 markings, 383956 edges, 1565 markings/sec, 160 secs
lola: 293931 markings, 396086 edges, 2029 markings/sec, 165 secs
lola: 304957 markings, 409818 edges, 2205 markings/sec, 170 secs
lola: 316631 markings, 423680 edges, 2335 markings/sec, 175 secs
lola: 328292 markings, 437936 edges, 2332 markings/sec, 180 secs
lola: 336650 markings, 451992 edges, 1672 markings/sec, 185 secs
lola: 346380 markings, 464966 edges, 1946 markings/sec, 190 secs
lola: 357035 markings, 478380 edges, 2131 markings/sec, 195 secs
lola: 368701 markings, 492164 edges, 2333 markings/sec, 200 secs
lola: 380329 markings, 506216 edges, 2326 markings/sec, 205 secs
lola: 389655 markings, 520468 edges, 1865 markings/sec, 210 secs
lola: 398756 markings, 533891 edges, 1820 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(p13)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1688 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: 4427 markings, 15175 edges, 885 markings/sec, 0 secs
lola: 9927 markings, 26630 edges, 1100 markings/sec, 5 secs
lola: 17194 markings, 35249 edges, 1453 markings/sec, 10 secs
lola: 24480 markings, 44637 edges, 1457 markings/sec, 15 secs
lola: 29740 markings, 57736 edges, 1052 markings/sec, 20 secs
lola: 37351 markings, 66393 edges, 1522 markings/sec, 25 secs
lola: 45004 markings, 75240 edges, 1531 markings/sec, 30 secs
lola: 53443 markings, 85655 edges, 1688 markings/sec, 35 secs
lola: 64901 markings, 99105 edges, 2292 markings/sec, 40 secs
lola: 76530 markings, 112989 edges, 2326 markings/sec, 45 secs
lola: 87531 markings, 127794 edges, 2200 markings/sec, 50 secs
lola: 95260 markings, 141539 edges, 1546 markings/sec, 55 secs
lola: 102840 markings, 150106 edges, 1516 markings/sec, 60 secs
lola: 110536 markings, 158985 edges, 1539 markings/sec, 65 secs
lola: 118599 markings, 168956 edges, 1613 markings/sec, 70 secs
lola: 130065 markings, 182412 edges, 2293 markings/sec, 75 secs
lola: 141826 markings, 196377 edges, 2352 markings/sec, 80 secs
lola: 153363 markings, 211310 edges, 2307 markings/sec, 85 secs
lola: 161112 markings, 225009 edges, 1550 markings/sec, 90 secs
lola: 168777 markings, 234363 edges, 1533 markings/sec, 95 secs
lola: 176472 markings, 243189 edges, 1539 markings/sec, 100 secs
lola: 184241 markings, 252824 edges, 1554 markings/sec, 105 secs
lola: 195514 markings, 266040 edges, 2255 markings/sec, 110 secs
lola: 207270 markings, 279991 edges, 2351 markings/sec, 115 secs
lola: 219022 markings, 294592 edges, 2350 markings/sec, 120 secs
lola: 227036 markings, 308509 edges, 1603 markings/sec, 125 secs
lola: 236900 markings, 321569 edges, 1973 markings/sec, 130 secs
lola: 247805 markings, 335264 edges, 2181 markings/sec, 135 secs
lola: 259526 markings, 349144 edges, 2344 markings/sec, 140 secs
lola: 271329 markings, 363417 edges, 2361 markings/sec, 145 secs
lola: 280429 markings, 377672 edges, 1820 markings/sec, 150 secs
lola: 289675 markings, 390912 edges, 1849 markings/sec, 155 secs
lola: 300046 markings, 404045 edges, 2074 markings/sec, 160 secs
lola: 311686 markings, 417797 edges, 2328 markings/sec, 165 secs
lola: 323330 markings, 431735 edges, 2329 markings/sec, 170 secs
lola: 333366 markings, 446164 edges, 2007 markings/sec, 175 secs
lola: 341969 markings, 459718 edges, 1721 markings/sec, 180 secs
lola: 352123 markings, 472254 edges, 2031 markings/sec, 185 secs
lola: 363653 markings, 486191 edges, 2306 markings/sec, 190 secs
lola: 375230 markings, 499993 edges, 2315 markings/sec, 195 secs
lola: 386275 markings, 514648 edges, 2209 markings/sec, 200 secs
lola: 394266 markings, 528550 edges, 1598 markings/sec, 205 secs
lola: 404417 markings, 540873 edges, 2030 markings/sec, 210 secs
lola: 415740 markings, 554821 edges, 2265 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(p491)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1688 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: 4324 markings, 14802 edges, 865 markings/sec, 0 secs
lola: 8943 markings, 25485 edges, 924 markings/sec, 5 secs
lola: 13962 markings, 31398 edges, 1004 markings/sec, 10 secs
lola: 19017 markings, 37473 edges, 1011 markings/sec, 15 secs
lola: 24064 markings, 43963 edges, 1009 markings/sec, 20 secs
lola: 28973 markings, 56911 edges, 982 markings/sec, 25 secs
lola: 35983 markings, 64814 edges, 1402 markings/sec, 30 secs
lola: 43102 markings, 73018 edges, 1424 markings/sec, 35 secs
lola: 50200 markings, 81870 edges, 1420 markings/sec, 40 secs
lola: 61319 markings, 94843 edges, 2224 markings/sec, 45 secs
lola: 72980 markings, 108696 edges, 2332 markings/sec, 50 secs
lola: 84630 markings, 123084 edges, 2330 markings/sec, 55 secs
lola: 92798 markings, 136988 edges, 1634 markings/sec, 60 secs
lola: 99899 markings, 146788 edges, 1420 markings/sec, 65 secs
lola: 106967 markings, 154819 edges, 1414 markings/sec, 70 secs
lola: 114074 markings, 163191 edges, 1421 markings/sec, 75 secs
lola: 123122 markings, 174189 edges, 1810 markings/sec, 80 secs
lola: 134775 markings, 187956 edges, 2331 markings/sec, 85 secs
lola: 146472 markings, 202010 edges, 2339 markings/sec, 90 secs
lola: 156380 markings, 216421 edges, 1982 markings/sec, 95 secs
lola: 163846 markings, 228796 edges, 1493 markings/sec, 100 secs
lola: 170953 markings, 236821 edges, 1421 markings/sec, 105 secs
lola: 178027 markings, 245019 edges, 1415 markings/sec, 110 secs
lola: 185537 markings, 254340 edges, 1502 markings/sec, 115 secs
lola: 196908 markings, 267697 edges, 2274 markings/sec, 120 secs
lola: 208579 markings, 281564 edges, 2334 markings/sec, 125 secs
lola: 220100 markings, 296416 edges, 2304 markings/sec, 130 secs
lola: 227769 markings, 309949 edges, 1534 markings/sec, 135 secs
lola: 237785 markings, 322655 edges, 2003 markings/sec, 140 secs
lola: 248693 markings, 336310 edges, 2182 markings/sec, 145 secs
lola: 260413 markings, 350170 edges, 2344 markings/sec, 150 secs
lola: 272009 markings, 364302 edges, 2319 markings/sec, 155 secs
lola: 280900 markings, 378513 edges, 1778 markings/sec, 160 secs
lola: 290371 markings, 391740 edges, 1894 markings/sec, 165 secs
lola: 300985 markings, 405110 edges, 2123 markings/sec, 170 secs
lola: 312650 markings, 418889 edges, 2333 markings/sec, 175 secs
lola: 324309 markings, 432950 edges, 2332 markings/sec, 180 secs
lola: 334082 markings, 447394 edges, 1955 markings/sec, 185 secs
lola: 343016 markings, 460956 edges, 1787 markings/sec, 190 secs
lola: 353261 markings, 473964 edges, 2049 markings/sec, 195 secs
lola: 365079 markings, 487878 edges, 2364 markings/sec, 200 secs
lola: 376791 markings, 501899 edges, 2342 markings/sec, 205 secs
lola: 387385 markings, 516537 edges, 2119 markings/sec, 210 secs
lola: 395770 markings, 530348 edges, 1677 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(p443)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1688 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: 4424 markings, 15166 edges, 885 markings/sec, 0 secs
lola: 10644 markings, 27474 edges, 1244 markings/sec, 5 secs
lola: 18666 markings, 37036 edges, 1604 markings/sec, 10 secs
lola: 25706 markings, 48699 edges, 1408 markings/sec, 15 secs
lola: 32152 markings, 60483 edges, 1289 markings/sec, 20 secs
lola: 40315 markings, 69760 edges, 1633 markings/sec, 25 secs
lola: 48417 markings, 79455 edges, 1620 markings/sec, 30 secs
lola: 58869 markings, 91992 edges, 2090 markings/sec, 35 secs
lola: 70452 markings, 105685 edges, 2317 markings/sec, 40 secs
lola: 81990 markings, 119690 edges, 2308 markings/sec, 45 secs
lola: 91013 markings, 133796 edges, 1805 markings/sec, 50 secs
lola: 98892 markings, 145645 edges, 1576 markings/sec, 55 secs
lola: 106792 markings, 154627 edges, 1580 markings/sec, 60 secs
lola: 115038 markings, 164417 edges, 1649 markings/sec, 65 secs
lola: 125503 markings, 177032 edges, 2093 markings/sec, 70 secs
lola: 137210 markings, 190852 edges, 2341 markings/sec, 75 secs
lola: 148926 markings, 205064 edges, 2343 markings/sec, 80 secs
lola: 158009 markings, 219275 edges, 1817 markings/sec, 85 secs
lola: 165974 markings, 231188 edges, 1593 markings/sec, 90 secs
lola: 174227 markings, 240607 edges, 1651 markings/sec, 95 secs
lola: 182444 markings, 250457 edges, 1643 markings/sec, 100 secs
lola: 193167 markings, 263243 edges, 2145 markings/sec, 105 secs
lola: 204852 markings, 277119 edges, 2337 markings/sec, 110 secs
lola: 216539 markings, 291321 edges, 2337 markings/sec, 115 secs
lola: 225345 markings, 305452 edges, 1761 markings/sec, 120 secs
lola: 234603 markings, 318827 edges, 1852 markings/sec, 125 secs
lola: 245013 markings, 331999 edges, 2082 markings/sec, 130 secs
lola: 256736 markings, 345836 edges, 2345 markings/sec, 135 secs
lola: 268452 markings, 359862 edges, 2343 markings/sec, 140 secs
lola: 278530 markings, 374362 edges, 2016 markings/sec, 145 secs
lola: 287261 markings, 388043 edges, 1746 markings/sec, 150 secs
lola: 297474 markings, 400724 edges, 2043 markings/sec, 155 secs
lola: 309084 markings, 414700 edges, 2322 markings/sec, 160 secs
lola: 320804 markings, 428695 edges, 2344 markings/sec, 165 secs
lola: 331776 markings, 443418 edges, 2194 markings/sec, 170 secs
lola: 339924 markings, 457310 edges, 1630 markings/sec, 175 secs
lola: 350199 markings, 469676 edges, 2055 markings/sec, 180 secs
lola: 361464 markings, 483606 edges, 2253 markings/sec, 185 secs
lola: 373176 markings, 497520 edges, 2342 markings/sec, 190 secs
lola: 384650 markings, 511819 edges, 2295 markings/sec, 195 secs
lola: 392346 markings, 525426 edges, 1539 markings/sec, 200 secs
lola: 402179 markings, 538063 edges, 1967 markings/sec, 205 secs
lola: 413321 markings, 551940 edges, 2228 markings/sec, 210 secs
lola: 424889 markings, 565754 edges, 2314 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(p112)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1688 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: 4314 markings, 14757 edges, 863 markings/sec, 0 secs
lola: 8938 markings, 25478 edges, 925 markings/sec, 5 secs
lola: 13935 markings, 31367 edges, 999 markings/sec, 10 secs
lola: 19028 markings, 37485 edges, 1019 markings/sec, 15 secs
lola: 23384 markings, 42994 edges, 871 markings/sec, 20 secs
lola: 28001 markings, 55814 edges, 923 markings/sec, 25 secs
lola: 34969 markings, 63673 edges, 1394 markings/sec, 30 secs
lola: 42081 markings, 71817 edges, 1422 markings/sec, 35 secs
lola: 49182 markings, 80582 edges, 1420 markings/sec, 40 secs
lola: 59611 markings, 92836 edges, 2086 markings/sec, 45 secs
lola: 71291 markings, 106701 edges, 2336 markings/sec, 50 secs
lola: 82953 markings, 120879 edges, 2332 markings/sec, 55 secs
lola: 91726 markings, 135039 edges, 1755 markings/sec, 60 secs
lola: 98929 markings, 145692 edges, 1441 markings/sec, 65 secs
lola: 106041 markings, 153766 edges, 1422 markings/sec, 70 secs
lola: 113152 markings, 162071 edges, 1422 markings/sec, 75 secs
lola: 121660 markings, 172468 edges, 1702 markings/sec, 80 secs
lola: 133349 markings, 186264 edges, 2338 markings/sec, 85 secs
lola: 145108 markings, 200353 edges, 2352 markings/sec, 90 secs
lola: 155488 markings, 214921 edges, 2076 markings/sec, 95 secs
lola: 163071 markings, 227902 edges, 1517 markings/sec, 100 secs
lola: 170230 markings, 236011 edges, 1432 markings/sec, 105 secs
lola: 177343 markings, 244232 edges, 1423 markings/sec, 110 secs
lola: 184708 markings, 253353 edges, 1473 markings/sec, 115 secs
lola: 195702 markings, 266252 edges, 2199 markings/sec, 120 secs
lola: 207344 markings, 280082 edges, 2328 markings/sec, 125 secs
lola: 218966 markings, 294511 edges, 2324 markings/sec, 130 secs
lola: 226910 markings, 308288 edges, 1589 markings/sec, 135 secs
lola: 236645 markings, 321249 edges, 1947 markings/sec, 140 secs
lola: 247307 markings, 334672 edges, 2132 markings/sec, 145 secs
lola: 259006 markings, 348492 edges, 2340 markings/sec, 150 secs
lola: 270634 markings, 362543 edges, 2326 markings/sec, 155 secs
lola: 279973 markings, 376879 edges, 1868 markings/sec, 160 secs
lola: 289130 markings, 390262 edges, 1831 markings/sec, 165 secs
lola: 299494 markings, 403432 edges, 2073 markings/sec, 170 secs
lola: 311190 markings, 417166 edges, 2339 markings/sec, 175 secs
lola: 322837 markings, 431147 edges, 2329 markings/sec, 180 secs
lola: 333076 markings, 445660 edges, 2048 markings/sec, 185 secs
lola: 341683 markings, 459371 edges, 1721 markings/sec, 190 secs
lola: 351816 markings, 471820 edges, 2027 markings/sec, 195 secs
lola: 363374 markings, 485843 edges, 2312 markings/sec, 200 secs
lola: 374967 markings, 499686 edges, 2319 markings/sec, 205 secs
lola: 386150 markings, 514455 edges, 2237 markings/sec, 210 secs
lola: 394108 markings, 528370 edges, 1592 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(p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1688 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: 15631 markings, 20626 edges, 3126 markings/sec, 0 secs
lola: 28472 markings, 40551 edges, 2568 markings/sec, 5 secs
lola: 45604 markings, 62216 edges, 3426 markings/sec, 10 secs
lola: 57910 markings, 81756 edges, 2461 markings/sec, 15 secs
lola: 75471 markings, 103717 edges, 3512 markings/sec, 20 secs
lola: 87359 markings, 122553 edges, 2378 markings/sec, 25 secs
lola: 104586 markings, 145258 edges, 3445 markings/sec, 30 secs
lola: 117219 markings, 163998 edges, 2527 markings/sec, 35 secs
lola: 132832 markings, 185634 edges, 3123 markings/sec, 40 secs
lola: 147884 markings, 206199 edges, 3010 markings/sec, 45 secs
lola: 160971 markings, 226646 edges, 2617 markings/sec, 50 secs
lola: 178026 markings, 248897 edges, 3411 markings/sec, 55 secs
lola: 191156 markings, 268185 edges, 2626 markings/sec, 60 secs
lola: 205428 markings, 289127 edges, 2854 markings/sec, 65 secs
lola: 222423 markings, 311759 edges, 3399 markings/sec, 70 secs
lola: 235178 markings, 330893 edges, 2551 markings/sec, 75 secs
lola: 249327 markings, 352050 edges, 2830 markings/sec, 80 secs
lola: 265300 markings, 373834 edges, 3195 markings/sec, 85 secs
lola: 280524 markings, 394989 edges, 3045 markings/sec, 90 secs
lola: 293901 markings, 415319 edges, 2675 markings/sec, 95 secs
lola: 308110 markings, 436287 edges, 2842 markings/sec, 100 secs
lola: 322915 markings, 457965 edges, 2961 markings/sec, 105 secs
lola: 338424 markings, 479688 edges, 3102 markings/sec, 110 secs
lola: 353250 markings, 501387 edges, 2965 markings/sec, 115 secs
lola: 368064 markings, 523062 edges, 2963 markings/sec, 120 secs
lola: 382869 markings, 544746 edges, 2961 markings/sec, 125 secs
lola: 397092 markings, 566141 edges, 2845 markings/sec, 130 secs
lola: 411260 markings, 587567 edges, 2834 markings/sec, 135 secs
lola: 425452 markings, 609432 edges, 2838 markings/sec, 140 secs
lola: 440474 markings, 631531 edges, 3004 markings/sec, 145 secs
lola: 455869 markings, 654518 edges, 3079 markings/sec, 150 secs
lola: 469130 markings, 675704 edges, 2652 markings/sec, 155 secs
lola: 484006 markings, 698100 edges, 2975 markings/sec, 160 secs
lola: 497034 markings, 719047 edges, 2606 markings/sec, 165 secs
lola: 510476 markings, 740719 edges, 2688 markings/sec, 170 secs
lola: 524573 markings, 763389 edges, 2819 markings/sec, 175 secs
lola: 537919 markings, 786264 edges, 2669 markings/sec, 180 secs
lola: 552016 markings, 810399 edges, 2819 markings/sec, 185 secs
lola: 565037 markings, 835696 edges, 2604 markings/sec, 190 secs
lola: 578936 markings, 864497 edges, 2780 markings/sec, 195 secs
lola: 597654 markings, 888090 edges, 3744 markings/sec, 200 secs
lola: 618389 markings, 912643 edges, 4147 markings/sec, 205 secs
lola: 637074 markings, 937543 edges, 3737 markings/sec, 210 secs
lola: 651445 markings, 960070 edges, 2874 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p397)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1688 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: 4421 markings, 15154 edges, 884 markings/sec, 0 secs
lola: 9871 markings, 26565 edges, 1090 markings/sec, 5 secs
lola: 16568 markings, 34500 edges, 1339 markings/sec, 10 secs
lola: 23286 markings, 42871 edges, 1344 markings/sec, 15 secs
lola: 28379 markings, 56227 edges, 1019 markings/sec, 20 secs
lola: 35317 markings, 64051 edges, 1388 markings/sec, 25 secs
lola: 42394 markings, 72204 edges, 1415 markings/sec, 30 secs
lola: 49450 markings, 81056 edges, 1411 markings/sec, 35 secs
lola: 59985 markings, 93307 edges, 2107 markings/sec, 40 secs
lola: 71558 markings, 107011 edges, 2315 markings/sec, 45 secs
lola: 83159 markings, 121175 edges, 2320 markings/sec, 50 secs
lola: 91553 markings, 134744 edges, 1679 markings/sec, 55 secs
lola: 98347 markings, 145004 edges, 1359 markings/sec, 60 secs
lola: 105083 markings, 152674 edges, 1347 markings/sec, 65 secs
lola: 111786 markings, 160434 edges, 1341 markings/sec, 70 secs
lola: 118934 markings, 169318 edges, 1430 markings/sec, 75 secs
lola: 129954 markings, 182250 edges, 2204 markings/sec, 80 secs
lola: 141469 markings, 195958 edges, 2303 markings/sec, 85 secs
lola: 152995 markings, 210715 edges, 2305 markings/sec, 90 secs
lola: 160626 markings, 224026 edges, 1526 markings/sec, 95 secs
lola: 167719 markings, 233176 edges, 1419 markings/sec, 100 secs
lola: 174775 markings, 241207 edges, 1411 markings/sec, 105 secs
lola: 181801 markings, 249595 edges, 1405 markings/sec, 110 secs
lola: 191333 markings, 261098 edges, 1906 markings/sec, 115 secs
lola: 202891 markings, 274757 edges, 2312 markings/sec, 120 secs
lola: 214444 markings, 288701 edges, 2311 markings/sec, 125 secs
lola: 223895 markings, 302910 edges, 1890 markings/sec, 130 secs
lola: 232598 markings, 316420 edges, 1741 markings/sec, 135 secs
lola: 242677 markings, 329002 edges, 2016 markings/sec, 140 secs
lola: 254188 markings, 342810 edges, 2302 markings/sec, 145 secs
lola: 265784 markings, 356624 edges, 2319 markings/sec, 150 secs
lola: 276697 markings, 371232 edges, 2183 markings/sec, 155 secs
lola: 284701 markings, 385032 edges, 1601 markings/sec, 160 secs
lola: 294775 markings, 397123 edges, 2015 markings/sec, 165 secs
lola: 305874 markings, 410910 edges, 2220 markings/sec, 170 secs
lola: 317428 markings, 424592 edges, 2311 markings/sec, 175 secs
lola: 328943 markings, 438811 edges, 2303 markings/sec, 180 secs
lola: 337054 markings, 452742 edges, 1622 markings/sec, 185 secs
lola: 346820 markings, 465501 edges, 1953 markings/sec, 190 secs
lola: 357509 markings, 478928 edges, 2138 markings/sec, 195 secs
lola: 369020 markings, 492571 edges, 2302 markings/sec, 200 secs
lola: 380543 markings, 506508 edges, 2305 markings/sec, 205 secs
lola: 389747 markings, 520649 edges, 1841 markings/sec, 210 secs
lola: 398812 markings, 533976 edges, 1813 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p159 + p160 + p161 + p162 + p163 + p164 + p165 + p166 + p167 + p168)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1688 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: 4466 markings, 15323 edges, 893 markings/sec, 0 secs
lola: 10748 markings, 27613 edges, 1256 markings/sec, 5 secs
lola: 18827 markings, 37220 edges, 1616 markings/sec, 10 secs
lola: 25805 markings, 49063 edges, 1396 markings/sec, 15 secs
lola: 32367 markings, 60714 edges, 1312 markings/sec, 20 secs
lola: 40541 markings, 70045 edges, 1635 markings/sec, 25 secs
lola: 48651 markings, 79781 edges, 1622 markings/sec, 30 secs
lola: 59266 markings, 92444 edges, 2123 markings/sec, 35 secs
lola: 70912 markings, 106214 edges, 2329 markings/sec, 40 secs
lola: 82481 markings, 120303 edges, 2314 markings/sec, 45 secs
lola: 91324 markings, 134352 edges, 1769 markings/sec, 50 secs
lola: 99168 markings, 145942 edges, 1569 markings/sec, 55 secs
lola: 107347 markings, 155273 edges, 1636 markings/sec, 60 secs
lola: 115506 markings, 165037 edges, 1632 markings/sec, 65 secs
lola: 126067 markings, 177666 edges, 2112 markings/sec, 70 secs
lola: 137718 markings, 191432 edges, 2330 markings/sec, 75 secs
lola: 149299 markings, 205513 edges, 2316 markings/sec, 80 secs
lola: 158192 markings, 219559 edges, 1779 markings/sec, 85 secs
lola: 166068 markings, 231286 edges, 1575 markings/sec, 90 secs
lola: 174189 markings, 240567 edges, 1624 markings/sec, 95 secs
lola: 182032 markings, 249902 edges, 1569 markings/sec, 100 secs
lola: 192047 markings, 261924 edges, 2003 markings/sec, 105 secs
lola: 203576 markings, 275593 edges, 2306 markings/sec, 110 secs
lola: 215115 markings, 289534 edges, 2308 markings/sec, 115 secs
lola: 224079 markings, 303210 edges, 1793 markings/sec, 120 secs
lola: 232170 markings, 315932 edges, 1618 markings/sec, 125 secs
lola: 242180 markings, 328244 edges, 2002 markings/sec, 130 secs
lola: 253638 markings, 342124 edges, 2292 markings/sec, 135 secs
lola: 264586 markings, 355173 edges, 2190 markings/sec, 140 secs
lola: 275615 markings, 369395 edges, 2206 markings/sec, 145 secs
lola: 282719 markings, 381941 edges, 1421 markings/sec, 150 secs
lola: 292111 markings, 393849 edges, 1878 markings/sec, 155 secs
lola: 302607 markings, 407019 edges, 2099 markings/sec, 160 secs
lola: 313672 markings, 420121 edges, 2213 markings/sec, 165 secs
lola: 324861 markings, 433616 edges, 2238 markings/sec, 170 secs
lola: 334098 markings, 447419 edges, 1847 markings/sec, 175 secs
lola: 342997 markings, 460926 edges, 1780 markings/sec, 180 secs
lola: 352713 markings, 473357 edges, 1943 markings/sec, 185 secs
lola: 363808 markings, 486405 edges, 2219 markings/sec, 190 secs
lola: 375280 markings, 500050 edges, 2294 markings/sec, 195 secs
lola: 386036 markings, 514245 edges, 2151 markings/sec, 200 secs
lola: 393853 markings, 528086 edges, 1563 markings/sec, 205 secs
lola: 403247 markings, 539390 edges, 1879 markings/sec, 210 secs
lola: 414143 markings, 552936 edges, 2179 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 PolyORBNT-COL-S10J20-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J20-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J20-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J20-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J20-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J20-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J20-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J20-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J20-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J20-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J20-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J20-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J20-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J20-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J20-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J20-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496293483648

--------------------
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_PolyORBNT-COL-S10J20"
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_PolyORBNT-COL-S10J20.tgz
mv S_PolyORBNT-COL-S10J20 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_PolyORBNT-COL-S10J20, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r138-smll-149479231500047"
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 ;