About the Execution of LoLA for PolyORBLF-COL-S06J06T04
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
839.310 | 3539835.00 | 3546225.00 | 8840.00 | ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? | 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 PolyORBLF-COL-S06J06T04, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r048-smll-149440869900398
=====================================================================
--------------------
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-S06J06T04-UpperBounds-0
FORMULA_NAME PolyORBLF-COL-S06J06T04-UpperBounds-1
FORMULA_NAME PolyORBLF-COL-S06J06T04-UpperBounds-10
FORMULA_NAME PolyORBLF-COL-S06J06T04-UpperBounds-11
FORMULA_NAME PolyORBLF-COL-S06J06T04-UpperBounds-12
FORMULA_NAME PolyORBLF-COL-S06J06T04-UpperBounds-13
FORMULA_NAME PolyORBLF-COL-S06J06T04-UpperBounds-14
FORMULA_NAME PolyORBLF-COL-S06J06T04-UpperBounds-15
FORMULA_NAME PolyORBLF-COL-S06J06T04-UpperBounds-2
FORMULA_NAME PolyORBLF-COL-S06J06T04-UpperBounds-3
FORMULA_NAME PolyORBLF-COL-S06J06T04-UpperBounds-4
FORMULA_NAME PolyORBLF-COL-S06J06T04-UpperBounds-5
FORMULA_NAME PolyORBLF-COL-S06J06T04-UpperBounds-6
FORMULA_NAME PolyORBLF-COL-S06J06T04-UpperBounds-7
FORMULA_NAME PolyORBLF-COL-S06J06T04-UpperBounds-8
FORMULA_NAME PolyORBLF-COL-S06J06T04-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1494664566612
Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ PolyORBLF-COL-S06J06T04 @ 3540 seconds
----- Start make result stdout -----
lola: LoLA will run for 3540 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 7660/65536 symbol table entries, 2241 collisions
lola: preprocessing...
lola: finding significant places
lola: 506 places, 7154 transitions, 452 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2111 transition conflict sets
lola: TASK
lola: reading formula from PolyORBLF-COL-S06J06T04-UpperBounds.task
lola: MAX(p424) : MAX(p356 + p357 + p358 + p359) : MAX(p100 + p101 + p95 + p96 + p97 + p98 + p99) : MAX(p295) : MAX(p364 + p365 + p366 + p367) : MAX(p364 + p365 + p366 + p367) : MAX(p201) : MAX(p49 + p50 + p51 + p52 + p53 + p54) : MAX(p337 + p338 + p339 + p340) : MAX(p469 + p470 + p471 + p472 + p473 + p474 + p475 + p476 + p477 + p478 + p479 + p480 + p481 + p482 + p483 + p484 + p485 + p486 + p487 + p488 + p489 + p490 + p491 + p492) : MAX(p48) : MAX(p88 + p87 + p86 + p85 + p84 + p83 + p82 + p81 + p80 + p79 + p78 + p77 + p76 + p75 + p74 + p73 + p72 + p71 + p89 + p90 + p91 + p92 + p93 + p94) : MAX(p341 + p342 + p343 + p344) : MAX(p351 + p352 + p353 + p354) : MAX(p189 + p190 + p191 + p192 + p193 + p194 + p195) : MAX(p424)
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(p424)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1808 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: 13281 markings, 13310 edges, 2656 markings/sec, 0 secs
lola: 26454 markings, 26503 edges, 2635 markings/sec, 5 secs
lola: 39636 markings, 39707 edges, 2636 markings/sec, 10 secs
lola: 52758 markings, 52848 edges, 2624 markings/sec, 15 secs
lola: 65914 markings, 66025 edges, 2631 markings/sec, 20 secs
lola: 79155 markings, 79287 edges, 2648 markings/sec, 25 secs
lola: 92327 markings, 92480 edges, 2634 markings/sec, 30 secs
lola: 105418 markings, 105592 edges, 2618 markings/sec, 35 secs
lola: 118608 markings, 118802 edges, 2638 markings/sec, 40 secs
lola: 131823 markings, 132037 edges, 2643 markings/sec, 45 secs
lola: 144966 markings, 145201 edges, 2629 markings/sec, 50 secs
lola: 158106 markings, 158362 edges, 2628 markings/sec, 55 secs
lola: 171241 markings, 171517 edges, 2627 markings/sec, 60 secs
lola: 184441 markings, 184738 edges, 2640 markings/sec, 65 secs
lola: 197629 markings, 197946 edges, 2638 markings/sec, 70 secs
lola: 210755 markings, 211093 edges, 2625 markings/sec, 75 secs
lola: 223852 markings, 224210 edges, 2619 markings/sec, 80 secs
lola: 237150 markings, 237545 edges, 2660 markings/sec, 85 secs
lola: 250333 markings, 250749 edges, 2637 markings/sec, 90 secs
lola: 263506 markings, 263941 edges, 2635 markings/sec, 95 secs
lola: 276625 markings, 277081 edges, 2624 markings/sec, 100 secs
lola: 289747 markings, 290225 edges, 2624 markings/sec, 105 secs
lola: 302940 markings, 303437 edges, 2639 markings/sec, 110 secs
lola: 316133 markings, 316650 edges, 2639 markings/sec, 115 secs
lola: 329242 markings, 329781 edges, 2622 markings/sec, 120 secs
lola: 342327 markings, 342886 edges, 2617 markings/sec, 125 secs
lola: 355552 markings, 356132 edges, 2645 markings/sec, 130 secs
lola: 368724 markings, 369324 edges, 2634 markings/sec, 135 secs
lola: 381814 markings, 382435 edges, 2618 markings/sec, 140 secs
lola: 394932 markings, 395574 edges, 2624 markings/sec, 145 secs
lola: 408141 markings, 408803 edges, 2642 markings/sec, 150 secs
lola: 421273 markings, 421955 edges, 2626 markings/sec, 155 secs
lola: 434416 markings, 435120 edges, 2629 markings/sec, 160 secs
lola: 447536 markings, 448259 edges, 2624 markings/sec, 165 secs
lola: 460643 markings, 461389 edges, 2621 markings/sec, 170 secs
lola: 473849 markings, 474618 edges, 2641 markings/sec, 175 secs
lola: 486992 markings, 487781 edges, 2629 markings/sec, 180 secs
lola: 500235 markings, 501082 edges, 2649 markings/sec, 185 secs
lola: 513500 markings, 514383 edges, 2653 markings/sec, 190 secs
lola: 526651 markings, 527555 edges, 2630 markings/sec, 195 secs
lola: 539760 markings, 540684 edges, 2622 markings/sec, 200 secs
lola: 552932 markings, 553877 edges, 2634 markings/sec, 205 secs
lola: 566098 markings, 567064 edges, 2633 markings/sec, 210 secs
lola: 579259 markings, 580245 edges, 2632 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(p356 + p357 + p358 + p359)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1808 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: 13367 markings, 13400 edges, 2673 markings/sec, 0 secs
lola: 26655 markings, 26710 edges, 2658 markings/sec, 5 secs
lola: 39900 markings, 39975 edges, 2649 markings/sec, 10 secs
lola: 53116 markings, 53212 edges, 2643 markings/sec, 15 secs
lola: 66410 markings, 66527 edges, 2659 markings/sec, 20 secs
lola: 79711 markings, 79848 edges, 2660 markings/sec, 25 secs
lola: 93001 markings, 93173 edges, 2658 markings/sec, 30 secs
lola: 106293 markings, 106486 edges, 2658 markings/sec, 35 secs
lola: 119623 markings, 119837 edges, 2666 markings/sec, 40 secs
lola: 133002 markings, 133237 edges, 2676 markings/sec, 45 secs
lola: 146474 markings, 146795 edges, 2694 markings/sec, 50 secs
lola: 159871 markings, 160278 edges, 2679 markings/sec, 55 secs
lola: 173300 markings, 173756 edges, 2686 markings/sec, 60 secs
lola: 186699 markings, 187175 edges, 2680 markings/sec, 65 secs
lola: 199939 markings, 200436 edges, 2648 markings/sec, 70 secs
lola: 213221 markings, 213738 edges, 2656 markings/sec, 75 secs
lola: 226573 markings, 227112 edges, 2670 markings/sec, 80 secs
lola: 239881 markings, 240440 edges, 2662 markings/sec, 85 secs
lola: 253147 markings, 253727 edges, 2653 markings/sec, 90 secs
lola: 266411 markings, 267011 edges, 2653 markings/sec, 95 secs
lola: 279721 markings, 280343 edges, 2662 markings/sec, 100 secs
lola: 293077 markings, 293770 edges, 2671 markings/sec, 105 secs
lola: 306537 markings, 307314 edges, 2692 markings/sec, 110 secs
lola: 319807 markings, 320606 edges, 2654 markings/sec, 115 secs
lola: 333098 markings, 333921 edges, 2658 markings/sec, 120 secs
lola: 346419 markings, 347262 edges, 2664 markings/sec, 125 secs
lola: 359785 markings, 360656 edges, 2673 markings/sec, 130 secs
lola: 373116 markings, 374017 edges, 2666 markings/sec, 135 secs
lola: 386421 markings, 387343 edges, 2661 markings/sec, 140 secs
lola: 399744 markings, 400701 edges, 2665 markings/sec, 145 secs
lola: 412986 markings, 414016 edges, 2648 markings/sec, 150 secs
lola: 426385 markings, 427453 edges, 2680 markings/sec, 155 secs
lola: 439758 markings, 440910 edges, 2675 markings/sec, 160 secs
lola: 453170 markings, 454394 edges, 2682 markings/sec, 165 secs
lola: 466514 markings, 467758 edges, 2669 markings/sec, 170 secs
lola: 479767 markings, 481033 edges, 2651 markings/sec, 175 secs
lola: 493001 markings, 494286 edges, 2647 markings/sec, 180 secs
lola: 506223 markings, 507571 edges, 2644 markings/sec, 185 secs
lola: 519524 markings, 520903 edges, 2660 markings/sec, 190 secs
lola: 532803 markings, 534206 edges, 2656 markings/sec, 195 secs
lola: 546191 markings, 547695 edges, 2678 markings/sec, 200 secs
lola: 559621 markings, 561187 edges, 2686 markings/sec, 205 secs
lola: 573007 markings, 574601 edges, 2677 markings/sec, 210 secs
lola: 586336 markings, 587982 edges, 2666 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(p100 + p101 + p95 + p96 + p97 + p98 + p99)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1808 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: 13158 markings, 13187 edges, 2632 markings/sec, 0 secs
lola: 26182 markings, 26231 edges, 2605 markings/sec, 5 secs
lola: 39210 markings, 39279 edges, 2606 markings/sec, 10 secs
lola: 52188 markings, 52278 edges, 2596 markings/sec, 15 secs
lola: 65213 markings, 65323 edges, 2605 markings/sec, 20 secs
lola: 78298 markings, 78428 edges, 2617 markings/sec, 25 secs
lola: 91313 markings, 91465 edges, 2603 markings/sec, 30 secs
lola: 104289 markings, 104460 edges, 2595 markings/sec, 35 secs
lola: 117300 markings, 117492 edges, 2602 markings/sec, 40 secs
lola: 130336 markings, 130548 edges, 2607 markings/sec, 45 secs
lola: 143384 markings, 143617 edges, 2610 markings/sec, 50 secs
lola: 156371 markings, 156623 edges, 2597 markings/sec, 55 secs
lola: 169309 markings, 169582 edges, 2588 markings/sec, 60 secs
lola: 182387 markings, 182681 edges, 2616 markings/sec, 65 secs
lola: 195440 markings, 195753 edges, 2611 markings/sec, 70 secs
lola: 208412 markings, 208747 edges, 2594 markings/sec, 75 secs
lola: 221387 markings, 221741 edges, 2595 markings/sec, 80 secs
lola: 234470 markings, 234861 edges, 2617 markings/sec, 85 secs
lola: 247543 markings, 247954 edges, 2615 markings/sec, 90 secs
lola: 260608 markings, 261038 edges, 2613 markings/sec, 95 secs
lola: 273559 markings, 274011 edges, 2590 markings/sec, 100 secs
lola: 286534 markings, 287006 edges, 2595 markings/sec, 105 secs
lola: 299509 markings, 300001 edges, 2595 markings/sec, 110 secs
lola: 312221 markings, 312733 edges, 2542 markings/sec, 115 secs
lola: 324875 markings, 325407 edges, 2531 markings/sec, 120 secs
lola: 337451 markings, 338002 edges, 2515 markings/sec, 125 secs
lola: 349844 markings, 350415 edges, 2479 markings/sec, 130 secs
lola: 362438 markings, 363028 edges, 2519 markings/sec, 135 secs
lola: 374918 markings, 375529 edges, 2496 markings/sec, 140 secs
lola: 387373 markings, 388003 edges, 2491 markings/sec, 145 secs
lola: 399830 markings, 400480 edges, 2491 markings/sec, 150 secs
lola: 412602 markings, 413271 edges, 2554 markings/sec, 155 secs
lola: 425754 markings, 426443 edges, 2630 markings/sec, 160 secs
lola: 438810 markings, 439521 edges, 2611 markings/sec, 165 secs
lola: 451874 markings, 452604 edges, 2613 markings/sec, 170 secs
lola: 465010 markings, 465766 edges, 2627 markings/sec, 175 secs
lola: 478166 markings, 478941 edges, 2631 markings/sec, 180 secs
lola: 491395 markings, 492194 edges, 2646 markings/sec, 185 secs
lola: 504710 markings, 505580 edges, 2663 markings/sec, 190 secs
lola: 517860 markings, 518749 edges, 2630 markings/sec, 195 secs
lola: 531048 markings, 531959 edges, 2638 markings/sec, 200 secs
lola: 544186 markings, 545117 edges, 2628 markings/sec, 205 secs
lola: 557370 markings, 558323 edges, 2637 markings/sec, 210 secs
lola: 570587 markings, 571559 edges, 2643 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(p295)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1808 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: 11799 markings, 12290 edges, 2360 markings/sec, 0 secs
lola: 23582 markings, 24669 edges, 2357 markings/sec, 5 secs
lola: 35378 markings, 37118 edges, 2359 markings/sec, 10 secs
lola: 47129 markings, 49573 edges, 2350 markings/sec, 15 secs
lola: 58844 markings, 62000 edges, 2343 markings/sec, 20 secs
lola: 70605 markings, 74552 edges, 2352 markings/sec, 25 secs
lola: 82333 markings, 87002 edges, 2346 markings/sec, 30 secs
lola: 94009 markings, 99472 edges, 2335 markings/sec, 35 secs
lola: 105795 markings, 111996 edges, 2357 markings/sec, 40 secs
lola: 117543 markings, 124550 edges, 2350 markings/sec, 45 secs
lola: 129253 markings, 137010 edges, 2342 markings/sec, 50 secs
lola: 140940 markings, 149618 edges, 2337 markings/sec, 55 secs
lola: 153173 markings, 162611 edges, 2447 markings/sec, 60 secs
lola: 165506 markings, 175806 edges, 2467 markings/sec, 65 secs
lola: 177753 markings, 188924 edges, 2449 markings/sec, 70 secs
lola: 190033 markings, 202038 edges, 2456 markings/sec, 75 secs
lola: 202412 markings, 215340 edges, 2476 markings/sec, 80 secs
lola: 214796 markings, 228694 edges, 2477 markings/sec, 85 secs
lola: 227158 markings, 241913 edges, 2472 markings/sec, 90 secs
lola: 239505 markings, 255189 edges, 2469 markings/sec, 95 secs
lola: 251842 markings, 268398 edges, 2467 markings/sec, 100 secs
lola: 264236 markings, 281614 edges, 2479 markings/sec, 105 secs
lola: 276789 markings, 295177 edges, 2511 markings/sec, 110 secs
lola: 289086 markings, 308383 edges, 2459 markings/sec, 115 secs
lola: 301365 markings, 321567 edges, 2456 markings/sec, 120 secs
lola: 313796 markings, 335055 edges, 2486 markings/sec, 125 secs
lola: 326228 markings, 348505 edges, 2486 markings/sec, 130 secs
lola: 338627 markings, 361912 edges, 2480 markings/sec, 135 secs
lola: 350891 markings, 375061 edges, 2453 markings/sec, 140 secs
lola: 363340 markings, 388470 edges, 2490 markings/sec, 145 secs
lola: 375580 markings, 401617 edges, 2448 markings/sec, 150 secs
lola: 387894 markings, 414644 edges, 2463 markings/sec, 155 secs
lola: 400223 markings, 428004 edges, 2466 markings/sec, 160 secs
lola: 412611 markings, 441130 edges, 2478 markings/sec, 165 secs
lola: 425141 markings, 454672 edges, 2506 markings/sec, 170 secs
lola: 437553 markings, 468043 edges, 2482 markings/sec, 175 secs
lola: 449942 markings, 481441 edges, 2478 markings/sec, 180 secs
lola: 462281 markings, 494924 edges, 2468 markings/sec, 185 secs
lola: 474610 markings, 508390 edges, 2466 markings/sec, 190 secs
lola: 486855 markings, 521746 edges, 2449 markings/sec, 195 secs
lola: 499124 markings, 535034 edges, 2454 markings/sec, 200 secs
lola: 511547 markings, 548623 edges, 2485 markings/sec, 205 secs
lola: 523872 markings, 561988 edges, 2465 markings/sec, 210 secs
lola: 536288 markings, 575451 edges, 2483 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(p364 + p365 + p366 + p367)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1808 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: 12330 markings, 13307 edges, 2466 markings/sec, 0 secs
lola: 24631 markings, 26708 edges, 2460 markings/sec, 5 secs
lola: 36832 markings, 40180 edges, 2440 markings/sec, 10 secs
lola: 49084 markings, 53780 edges, 2450 markings/sec, 15 secs
lola: 61352 markings, 67348 edges, 2454 markings/sec, 20 secs
lola: 73576 markings, 81053 edges, 2445 markings/sec, 25 secs
lola: 85763 markings, 94550 edges, 2437 markings/sec, 30 secs
lola: 97996 markings, 108165 edges, 2447 markings/sec, 35 secs
lola: 110264 markings, 121739 edges, 2454 markings/sec, 40 secs
lola: 122498 markings, 135089 edges, 2447 markings/sec, 45 secs
lola: 134623 markings, 148412 edges, 2425 markings/sec, 50 secs
lola: 146820 markings, 161715 edges, 2439 markings/sec, 55 secs
lola: 159069 markings, 175245 edges, 2450 markings/sec, 60 secs
lola: 171323 markings, 188920 edges, 2451 markings/sec, 65 secs
lola: 183544 markings, 202140 edges, 2444 markings/sec, 70 secs
lola: 195776 markings, 215745 edges, 2446 markings/sec, 75 secs
lola: 207899 markings, 229109 edges, 2425 markings/sec, 80 secs
lola: 220060 markings, 242556 edges, 2432 markings/sec, 85 secs
lola: 232218 markings, 255990 edges, 2432 markings/sec, 90 secs
lola: 244402 markings, 269483 edges, 2437 markings/sec, 95 secs
lola: 256494 markings, 283008 edges, 2418 markings/sec, 100 secs
lola: 268764 markings, 296424 edges, 2454 markings/sec, 105 secs
lola: 281028 markings, 310042 edges, 2453 markings/sec, 110 secs
lola: 293216 markings, 323509 edges, 2438 markings/sec, 115 secs
lola: 305461 markings, 337047 edges, 2449 markings/sec, 120 secs
lola: 317720 markings, 350711 edges, 2452 markings/sec, 125 secs
lola: 329918 markings, 364153 edges, 2440 markings/sec, 130 secs
lola: 342045 markings, 377540 edges, 2425 markings/sec, 135 secs
lola: 354213 markings, 391063 edges, 2434 markings/sec, 140 secs
lola: 366543 markings, 404850 edges, 2466 markings/sec, 145 secs
lola: 378794 markings, 418442 edges, 2450 markings/sec, 150 secs
lola: 390992 markings, 431883 edges, 2440 markings/sec, 155 secs
lola: 403147 markings, 445327 edges, 2431 markings/sec, 160 secs
lola: 415239 markings, 458757 edges, 2418 markings/sec, 165 secs
lola: 427430 markings, 472312 edges, 2438 markings/sec, 170 secs
lola: 439479 markings, 485573 edges, 2410 markings/sec, 175 secs
lola: 451619 markings, 499108 edges, 2428 markings/sec, 180 secs
lola: 463722 markings, 512586 edges, 2421 markings/sec, 185 secs
lola: 475915 markings, 525998 edges, 2439 markings/sec, 190 secs
lola: 488099 markings, 539484 edges, 2437 markings/sec, 195 secs
lola: 500299 markings, 552772 edges, 2440 markings/sec, 200 secs
lola: 512506 markings, 566410 edges, 2441 markings/sec, 205 secs
lola: 524749 markings, 580048 edges, 2449 markings/sec, 210 secs
lola: 536933 markings, 593616 edges, 2437 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(p364 + p365 + p366 + p367)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1808 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: 11923 markings, 12858 edges, 2385 markings/sec, 0 secs
lola: 23665 markings, 25624 edges, 2348 markings/sec, 5 secs
lola: 35325 markings, 38541 edges, 2332 markings/sec, 10 secs
lola: 47012 markings, 51473 edges, 2337 markings/sec, 15 secs
lola: 58726 markings, 64519 edges, 2343 markings/sec, 20 secs
lola: 70369 markings, 77414 edges, 2329 markings/sec, 25 secs
lola: 82029 markings, 90478 edges, 2332 markings/sec, 30 secs
lola: 93681 markings, 103256 edges, 2330 markings/sec, 35 secs
lola: 105369 markings, 116285 edges, 2338 markings/sec, 40 secs
lola: 117070 markings, 129110 edges, 2340 markings/sec, 45 secs
lola: 128668 markings, 141732 edges, 2320 markings/sec, 50 secs
lola: 140348 markings, 154614 edges, 2336 markings/sec, 55 secs
lola: 151998 markings, 167345 edges, 2330 markings/sec, 60 secs
lola: 163717 markings, 180403 edges, 2344 markings/sec, 65 secs
lola: 175444 markings, 193316 edges, 2345 markings/sec, 70 secs
lola: 187084 markings, 206017 edges, 2328 markings/sec, 75 secs
lola: 198773 markings, 219064 edges, 2338 markings/sec, 80 secs
lola: 210369 markings, 231858 edges, 2319 markings/sec, 85 secs
lola: 221988 markings, 244670 edges, 2324 markings/sec, 90 secs
lola: 233600 markings, 257477 edges, 2322 markings/sec, 95 secs
lola: 245272 markings, 270425 edges, 2334 markings/sec, 100 secs
lola: 256813 markings, 283369 edges, 2308 markings/sec, 105 secs
lola: 268549 markings, 296192 edges, 2347 markings/sec, 110 secs
lola: 280273 markings, 309236 edges, 2345 markings/sec, 115 secs
lola: 291882 markings, 322013 edges, 2322 markings/sec, 120 secs
lola: 303630 markings, 335033 edges, 2350 markings/sec, 125 secs
lola: 315256 markings, 347981 edges, 2325 markings/sec, 130 secs
lola: 327000 markings, 360925 edges, 2349 markings/sec, 135 secs
lola: 338523 markings, 373655 edges, 2305 markings/sec, 140 secs
lola: 350179 markings, 386571 edges, 2331 markings/sec, 145 secs
lola: 361886 markings, 399711 edges, 2341 markings/sec, 150 secs
lola: 373639 markings, 412683 edges, 2351 markings/sec, 155 secs
lola: 385315 markings, 425632 edges, 2335 markings/sec, 160 secs
lola: 396993 markings, 438426 edges, 2336 markings/sec, 165 secs
lola: 408579 markings, 451341 edges, 2317 markings/sec, 170 secs
lola: 420134 markings, 464234 edges, 2311 markings/sec, 175 secs
lola: 431770 markings, 477110 edges, 2327 markings/sec, 180 secs
lola: 443311 markings, 489825 edges, 2308 markings/sec, 185 secs
lola: 454925 markings, 502797 edges, 2323 markings/sec, 190 secs
lola: 466475 markings, 515686 edges, 2310 markings/sec, 195 secs
lola: 478170 markings, 528471 edges, 2339 markings/sec, 200 secs
lola: 489800 markings, 541432 edges, 2326 markings/sec, 205 secs
lola: 501479 markings, 554101 edges, 2336 markings/sec, 210 secs
lola: 513095 markings, 567065 edges, 2323 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(p201)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1808 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: 12235 markings, 12703 edges, 2447 markings/sec, 0 secs
lola: 24460 markings, 25457 edges, 2445 markings/sec, 5 secs
lola: 36675 markings, 38290 edges, 2443 markings/sec, 10 secs
lola: 48839 markings, 51135 edges, 2433 markings/sec, 15 secs
lola: 60979 markings, 64023 edges, 2428 markings/sec, 20 secs
lola: 73141 markings, 77007 edges, 2432 markings/sec, 25 secs
lola: 85285 markings, 89905 edges, 2429 markings/sec, 30 secs
lola: 97426 markings, 102792 edges, 2428 markings/sec, 35 secs
lola: 109598 markings, 115713 edges, 2434 markings/sec, 40 secs
lola: 121758 markings, 128726 edges, 2432 markings/sec, 45 secs
lola: 133964 markings, 141680 edges, 2441 markings/sec, 50 secs
lola: 146115 markings, 154715 edges, 2430 markings/sec, 55 secs
lola: 158225 markings, 167713 edges, 2422 markings/sec, 60 secs
lola: 170382 markings, 180672 edges, 2431 markings/sec, 65 secs
lola: 182541 markings, 193576 edges, 2432 markings/sec, 70 secs
lola: 194675 markings, 206547 edges, 2427 markings/sec, 75 secs
lola: 206865 markings, 219468 edges, 2438 markings/sec, 80 secs
lola: 218993 markings, 232362 edges, 2426 markings/sec, 85 secs
lola: 231143 markings, 245305 edges, 2430 markings/sec, 90 secs
lola: 243284 markings, 258306 edges, 2428 markings/sec, 95 secs
lola: 255400 markings, 271332 edges, 2423 markings/sec, 100 secs
lola: 267527 markings, 284315 edges, 2425 markings/sec, 105 secs
lola: 279673 markings, 297410 edges, 2429 markings/sec, 110 secs
lola: 291794 markings, 310460 edges, 2424 markings/sec, 115 secs
lola: 303920 markings, 323523 edges, 2425 markings/sec, 120 secs
lola: 316046 markings, 336595 edges, 2425 markings/sec, 125 secs
lola: 328196 markings, 349602 edges, 2430 markings/sec, 130 secs
lola: 340359 markings, 362651 edges, 2433 markings/sec, 135 secs
lola: 352496 markings, 375818 edges, 2427 markings/sec, 140 secs
lola: 364599 markings, 388878 edges, 2421 markings/sec, 145 secs
lola: 376730 markings, 401925 edges, 2426 markings/sec, 150 secs
lola: 388810 markings, 414901 edges, 2416 markings/sec, 155 secs
lola: 400951 markings, 427875 edges, 2428 markings/sec, 160 secs
lola: 413089 markings, 441016 edges, 2428 markings/sec, 165 secs
lola: 425267 markings, 454025 edges, 2436 markings/sec, 170 secs
lola: 437428 markings, 466928 edges, 2432 markings/sec, 175 secs
lola: 449575 markings, 479876 edges, 2429 markings/sec, 180 secs
lola: 461705 markings, 492984 edges, 2426 markings/sec, 185 secs
lola: 473809 markings, 506088 edges, 2421 markings/sec, 190 secs
lola: 485897 markings, 519307 edges, 2418 markings/sec, 195 secs
lola: 498030 markings, 532537 edges, 2427 markings/sec, 200 secs
lola: 510188 markings, 545740 edges, 2432 markings/sec, 205 secs
lola: 522379 markings, 558948 edges, 2438 markings/sec, 210 secs
lola: 534584 markings, 572205 edges, 2441 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(p49 + p50 + p51 + p52 + p53 + p54)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1808 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: 13995 markings, 14023 edges, 2799 markings/sec, 0 secs
lola: 28005 markings, 28055 edges, 2802 markings/sec, 5 secs
lola: 42001 markings, 42074 edges, 2799 markings/sec, 10 secs
lola: 56061 markings, 56214 edges, 2812 markings/sec, 15 secs
lola: 70005 markings, 70185 edges, 2789 markings/sec, 20 secs
lola: 83566 markings, 83767 edges, 2712 markings/sec, 25 secs
lola: 97101 markings, 97324 edges, 2707 markings/sec, 30 secs
lola: 110670 markings, 110914 edges, 2714 markings/sec, 35 secs
lola: 124270 markings, 124535 edges, 2720 markings/sec, 40 secs
lola: 137768 markings, 138054 edges, 2700 markings/sec, 45 secs
lola: 151265 markings, 151572 edges, 2699 markings/sec, 50 secs
lola: 164877 markings, 165207 edges, 2722 markings/sec, 55 secs
lola: 178519 markings, 178868 edges, 2728 markings/sec, 60 secs
lola: 192071 markings, 192442 edges, 2710 markings/sec, 65 secs
lola: 205575 markings, 205967 edges, 2701 markings/sec, 70 secs
lola: 219185 markings, 219599 edges, 2722 markings/sec, 75 secs
lola: 232773 markings, 233233 edges, 2718 markings/sec, 80 secs
lola: 246479 markings, 247023 edges, 2741 markings/sec, 85 secs
lola: 260043 markings, 260623 edges, 2713 markings/sec, 90 secs
lola: 273552 markings, 274152 edges, 2702 markings/sec, 95 secs
lola: 287008 markings, 287630 edges, 2691 markings/sec, 100 secs
lola: 300553 markings, 301257 edges, 2709 markings/sec, 105 secs
lola: 314149 markings, 314917 edges, 2719 markings/sec, 110 secs
lola: 327665 markings, 328460 edges, 2703 markings/sec, 115 secs
lola: 341281 markings, 342135 edges, 2723 markings/sec, 120 secs
lola: 354906 markings, 355860 edges, 2725 markings/sec, 125 secs
lola: 368363 markings, 369362 edges, 2691 markings/sec, 130 secs
lola: 381874 markings, 382894 edges, 2702 markings/sec, 135 secs
lola: 395260 markings, 396351 edges, 2677 markings/sec, 140 secs
lola: 408817 markings, 409943 edges, 2711 markings/sec, 145 secs
lola: 422274 markings, 423422 edges, 2691 markings/sec, 150 secs
lola: 435696 markings, 436867 edges, 2684 markings/sec, 155 secs
lola: 449239 markings, 450482 edges, 2709 markings/sec, 160 secs
lola: 462787 markings, 464098 edges, 2710 markings/sec, 165 secs
lola: 476304 markings, 477658 edges, 2703 markings/sec, 170 secs
lola: 489828 markings, 491222 edges, 2705 markings/sec, 175 secs
lola: 503301 markings, 504731 edges, 2695 markings/sec, 180 secs
lola: 516777 markings, 518298 edges, 2695 markings/sec, 185 secs
lola: 530271 markings, 531832 edges, 2699 markings/sec, 190 secs
lola: 543825 markings, 545484 edges, 2711 markings/sec, 195 secs
lola: 557474 markings, 559232 edges, 2730 markings/sec, 200 secs
lola: 571108 markings, 572935 edges, 2727 markings/sec, 205 secs
lola: 584632 markings, 586538 edges, 2705 markings/sec, 210 secs
lola: 598229 markings, 600266 edges, 2719 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(p337 + p338 + p339 + p340)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1808 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: 12434 markings, 12867 edges, 2487 markings/sec, 0 secs
lola: 24888 markings, 26079 edges, 2491 markings/sec, 5 secs
lola: 37324 markings, 39367 edges, 2487 markings/sec, 10 secs
lola: 49668 markings, 52697 edges, 2469 markings/sec, 15 secs
lola: 62050 markings, 66114 edges, 2476 markings/sec, 20 secs
lola: 74371 markings, 79548 edges, 2464 markings/sec, 25 secs
lola: 86660 markings, 92957 edges, 2458 markings/sec, 30 secs
lola: 99091 markings, 106564 edges, 2486 markings/sec, 35 secs
lola: 111513 markings, 119941 edges, 2484 markings/sec, 40 secs
lola: 124004 markings, 133564 edges, 2498 markings/sec, 45 secs
lola: 136550 markings, 147122 edges, 2509 markings/sec, 50 secs
lola: 149090 markings, 160605 edges, 2508 markings/sec, 55 secs
lola: 161611 markings, 174355 edges, 2504 markings/sec, 60 secs
lola: 174193 markings, 188015 edges, 2516 markings/sec, 65 secs
lola: 186669 markings, 201555 edges, 2495 markings/sec, 70 secs
lola: 199422 markings, 215376 edges, 2551 markings/sec, 75 secs
lola: 211761 markings, 228628 edges, 2468 markings/sec, 80 secs
lola: 224143 markings, 241824 edges, 2476 markings/sec, 85 secs
lola: 236455 markings, 255136 edges, 2462 markings/sec, 90 secs
lola: 248877 markings, 268629 edges, 2484 markings/sec, 95 secs
lola: 261385 markings, 282158 edges, 2502 markings/sec, 100 secs
lola: 273858 markings, 295539 edges, 2495 markings/sec, 105 secs
lola: 286181 markings, 308836 edges, 2465 markings/sec, 110 secs
lola: 298810 markings, 322522 edges, 2526 markings/sec, 115 secs
lola: 311683 markings, 336430 edges, 2575 markings/sec, 120 secs
lola: 324274 markings, 350107 edges, 2518 markings/sec, 125 secs
lola: 336654 markings, 363607 edges, 2476 markings/sec, 130 secs
lola: 349114 markings, 377158 edges, 2492 markings/sec, 135 secs
lola: 361672 markings, 390729 edges, 2512 markings/sec, 140 secs
lola: 373998 markings, 403968 edges, 2465 markings/sec, 145 secs
lola: 386360 markings, 417378 edges, 2472 markings/sec, 150 secs
lola: 398699 markings, 430818 edges, 2468 markings/sec, 155 secs
lola: 411206 markings, 444487 edges, 2501 markings/sec, 160 secs
lola: 423683 markings, 458143 edges, 2495 markings/sec, 165 secs
lola: 435938 markings, 471594 edges, 2451 markings/sec, 170 secs
lola: 448546 markings, 485317 edges, 2522 markings/sec, 175 secs
lola: 460900 markings, 498768 edges, 2471 markings/sec, 180 secs
lola: 473206 markings, 512253 edges, 2461 markings/sec, 185 secs
lola: 485445 markings, 525709 edges, 2448 markings/sec, 190 secs
lola: 497866 markings, 539279 edges, 2484 markings/sec, 195 secs
lola: 510318 markings, 552837 edges, 2490 markings/sec, 200 secs
lola: 522899 markings, 566663 edges, 2516 markings/sec, 205 secs
lola: 535400 markings, 580287 edges, 2500 markings/sec, 210 secs
lola: 548174 markings, 594288 edges, 2555 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(p469 + p470 + p471 + p472 + p473 + p474 + p475 + p476 + p477 + p478 + p479 + p480 + p481 + p482 + p483 + p484 + p485 + p486 + p487 + p488 + p489 + p490 + p491 + p492)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1808 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: 12014 markings, 12512 edges, 2403 markings/sec, 0 secs
lola: 24050 markings, 25165 edges, 2407 markings/sec, 5 secs
lola: 36000 markings, 37770 edges, 2390 markings/sec, 10 secs
lola: 47967 markings, 50458 edges, 2393 markings/sec, 15 secs
lola: 59908 markings, 63127 edges, 2388 markings/sec, 20 secs
lola: 71943 markings, 75966 edges, 2407 markings/sec, 25 secs
lola: 83908 markings, 88648 edges, 2393 markings/sec, 30 secs
lola: 95852 markings, 101453 edges, 2389 markings/sec, 35 secs
lola: 107859 markings, 114202 edges, 2401 markings/sec, 40 secs
lola: 119857 markings, 127009 edges, 2400 markings/sec, 45 secs
lola: 131864 markings, 139817 edges, 2401 markings/sec, 50 secs
lola: 143754 markings, 152634 edges, 2378 markings/sec, 55 secs
lola: 155784 markings, 165397 edges, 2406 markings/sec, 60 secs
lola: 167625 markings, 178050 edges, 2368 markings/sec, 65 secs
lola: 179408 markings, 190667 edges, 2357 markings/sec, 70 secs
lola: 191214 markings, 203336 edges, 2361 markings/sec, 75 secs
lola: 203138 markings, 216113 edges, 2385 markings/sec, 80 secs
lola: 214991 markings, 228902 edges, 2371 markings/sec, 85 secs
lola: 226866 markings, 241600 edges, 2375 markings/sec, 90 secs
lola: 238681 markings, 254302 edges, 2363 markings/sec, 95 secs
lola: 250528 markings, 266988 edges, 2369 markings/sec, 100 secs
lola: 262402 markings, 279645 edges, 2375 markings/sec, 105 secs
lola: 274395 markings, 292601 edges, 2399 markings/sec, 110 secs
lola: 286228 markings, 305324 edges, 2367 markings/sec, 115 secs
lola: 298048 markings, 318043 edges, 2364 markings/sec, 120 secs
lola: 310369 markings, 331363 edges, 2464 markings/sec, 125 secs
lola: 322803 markings, 344787 edges, 2487 markings/sec, 130 secs
lola: 335193 markings, 358159 edges, 2478 markings/sec, 135 secs
lola: 347581 markings, 371544 edges, 2478 markings/sec, 140 secs
lola: 360036 markings, 384928 edges, 2491 markings/sec, 145 secs
lola: 372309 markings, 398150 edges, 2455 markings/sec, 150 secs
lola: 384410 markings, 410969 edges, 2420 markings/sec, 155 secs
lola: 396259 markings, 423686 edges, 2370 markings/sec, 160 secs
lola: 407980 markings, 436276 edges, 2344 markings/sec, 165 secs
lola: 419886 markings, 448914 edges, 2381 markings/sec, 170 secs
lola: 431923 markings, 461992 edges, 2407 markings/sec, 175 secs
lola: 443766 markings, 474687 edges, 2369 markings/sec, 180 secs
lola: 455604 markings, 487697 edges, 2368 markings/sec, 185 secs
lola: 467390 markings, 500496 edges, 2357 markings/sec, 190 secs
lola: 479081 markings, 513271 edges, 2338 markings/sec, 195 secs
lola: 490798 markings, 526008 edges, 2343 markings/sec, 200 secs
lola: 502581 markings, 538805 edges, 2357 markings/sec, 205 secs
lola: 514497 markings, 551761 edges, 2383 markings/sec, 210 secs
lola: 526325 markings, 564673 edges, 2366 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(p48)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1808 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: 12828 markings, 12860 edges, 2566 markings/sec, 0 secs
lola: 25559 markings, 25610 edges, 2546 markings/sec, 5 secs
lola: 38313 markings, 38385 edges, 2551 markings/sec, 10 secs
lola: 50995 markings, 51088 edges, 2536 markings/sec, 15 secs
lola: 63684 markings, 63796 edges, 2538 markings/sec, 20 secs
lola: 76268 markings, 76400 edges, 2517 markings/sec, 25 secs
lola: 88845 markings, 88996 edges, 2515 markings/sec, 30 secs
lola: 101396 markings, 101581 edges, 2510 markings/sec, 35 secs
lola: 113971 markings, 114176 edges, 2515 markings/sec, 40 secs
lola: 126523 markings, 126747 edges, 2510 markings/sec, 45 secs
lola: 139110 markings, 139354 edges, 2517 markings/sec, 50 secs
lola: 151732 markings, 152104 edges, 2524 markings/sec, 55 secs
lola: 164291 markings, 164713 edges, 2512 markings/sec, 60 secs
lola: 176901 markings, 177362 edges, 2522 markings/sec, 65 secs
lola: 189474 markings, 189954 edges, 2515 markings/sec, 70 secs
lola: 201990 markings, 202490 edges, 2503 markings/sec, 75 secs
lola: 214488 markings, 215007 edges, 2500 markings/sec, 80 secs
lola: 227115 markings, 227654 edges, 2525 markings/sec, 85 secs
lola: 239667 markings, 240226 edges, 2510 markings/sec, 90 secs
lola: 252205 markings, 252784 edges, 2508 markings/sec, 95 secs
lola: 264706 markings, 265304 edges, 2500 markings/sec, 100 secs
lola: 277265 markings, 277883 edges, 2512 markings/sec, 105 secs
lola: 289847 markings, 290509 edges, 2516 markings/sec, 110 secs
lola: 302591 markings, 303357 edges, 2549 markings/sec, 115 secs
lola: 315180 markings, 315971 edges, 2518 markings/sec, 120 secs
lola: 327744 markings, 328558 edges, 2513 markings/sec, 125 secs
lola: 340290 markings, 341123 edges, 2509 markings/sec, 130 secs
lola: 352937 markings, 353798 edges, 2529 markings/sec, 135 secs
lola: 365544 markings, 366427 edges, 2521 markings/sec, 140 secs
lola: 378127 markings, 379037 edges, 2517 markings/sec, 145 secs
lola: 390750 markings, 391693 edges, 2525 markings/sec, 150 secs
lola: 403279 markings, 404242 edges, 2506 markings/sec, 155 secs
lola: 415845 markings, 416897 edges, 2513 markings/sec, 160 secs
lola: 428454 markings, 429525 edges, 2522 markings/sec, 165 secs
lola: 441112 markings, 442266 edges, 2532 markings/sec, 170 secs
lola: 453781 markings, 455005 edges, 2534 markings/sec, 175 secs
lola: 466380 markings, 467623 edges, 2520 markings/sec, 180 secs
lola: 478913 markings, 480177 edges, 2507 markings/sec, 185 secs
lola: 491410 markings, 492693 edges, 2499 markings/sec, 190 secs
lola: 503873 markings, 505215 edges, 2493 markings/sec, 195 secs
lola: 516457 markings, 517832 edges, 2517 markings/sec, 200 secs
lola: 528991 markings, 530385 edges, 2507 markings/sec, 205 secs
lola: 541562 markings, 543030 edges, 2514 markings/sec, 210 secs
lola: 554328 markings, 555882 edges, 2553 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(p88 + p87 + p86 + p85 + p84 + p83 + p82 + p81 + p80 + p79 + p78 + p77 + p76 + p75 + p74 + p73 + p72 + p71 + p89 + p90 + p91 + p92 + p93 + p94)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1808 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: 12522 markings, 12933 edges, 2504 markings/sec, 0 secs
lola: 25083 markings, 26126 edges, 2512 markings/sec, 5 secs
lola: 37607 markings, 39349 edges, 2505 markings/sec, 10 secs
lola: 50129 markings, 52733 edges, 2504 markings/sec, 15 secs
lola: 62692 markings, 66285 edges, 2513 markings/sec, 20 secs
lola: 75297 markings, 79915 edges, 2521 markings/sec, 25 secs
lola: 88026 markings, 93687 edges, 2546 markings/sec, 30 secs
lola: 100778 markings, 107533 edges, 2550 markings/sec, 35 secs
lola: 113566 markings, 121442 edges, 2558 markings/sec, 40 secs
lola: 126307 markings, 135264 edges, 2548 markings/sec, 45 secs
lola: 139318 markings, 149279 edges, 2602 markings/sec, 50 secs
lola: 152270 markings, 163250 edges, 2590 markings/sec, 55 secs
lola: 164944 markings, 176949 edges, 2535 markings/sec, 60 secs
lola: 177780 markings, 190762 edges, 2567 markings/sec, 65 secs
lola: 190466 markings, 204436 edges, 2537 markings/sec, 70 secs
lola: 203393 markings, 218359 edges, 2585 markings/sec, 75 secs
lola: 216160 markings, 232204 edges, 2553 markings/sec, 80 secs
lola: 229015 markings, 246134 edges, 2571 markings/sec, 85 secs
lola: 241726 markings, 259867 edges, 2542 markings/sec, 90 secs
lola: 254713 markings, 273976 edges, 2597 markings/sec, 95 secs
lola: 267478 markings, 287773 edges, 2553 markings/sec, 100 secs
lola: 280243 markings, 301484 edges, 2553 markings/sec, 105 secs
lola: 292926 markings, 315178 edges, 2537 markings/sec, 110 secs
lola: 305594 markings, 328865 edges, 2534 markings/sec, 115 secs
lola: 318357 markings, 342546 edges, 2553 markings/sec, 120 secs
lola: 331182 markings, 356421 edges, 2565 markings/sec, 125 secs
lola: 344135 markings, 370464 edges, 2591 markings/sec, 130 secs
lola: 356905 markings, 384108 edges, 2554 markings/sec, 135 secs
lola: 369622 markings, 397695 edges, 2543 markings/sec, 140 secs
lola: 382441 markings, 411444 edges, 2564 markings/sec, 145 secs
lola: 395237 markings, 425143 edges, 2559 markings/sec, 150 secs
lola: 408299 markings, 439065 edges, 2612 markings/sec, 155 secs
lola: 421294 markings, 453232 edges, 2599 markings/sec, 160 secs
lola: 434142 markings, 467079 edges, 2570 markings/sec, 165 secs
lola: 446902 markings, 480927 edges, 2552 markings/sec, 170 secs
lola: 459657 markings, 494681 edges, 2551 markings/sec, 175 secs
lola: 472537 markings, 508515 edges, 2576 markings/sec, 180 secs
lola: 485276 markings, 522164 edges, 2548 markings/sec, 185 secs
lola: 498114 markings, 536008 edges, 2568 markings/sec, 190 secs
lola: 510633 markings, 549527 edges, 2504 markings/sec, 195 secs
lola: 523308 markings, 563232 edges, 2535 markings/sec, 200 secs
lola: 536181 markings, 577086 edges, 2575 markings/sec, 205 secs
lola: 548886 markings, 590604 edges, 2541 markings/sec, 210 secs
lola: 561531 markings, 604273 edges, 2529 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(p341 + p342 + p343 + p344)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1808 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: 12596 markings, 12624 edges, 2519 markings/sec, 0 secs
lola: 24849 markings, 24896 edges, 2451 markings/sec, 5 secs
lola: 37090 markings, 37156 edges, 2448 markings/sec, 10 secs
lola: 49670 markings, 49755 edges, 2516 markings/sec, 15 secs
lola: 61731 markings, 61836 edges, 2412 markings/sec, 20 secs
lola: 73824 markings, 73947 edges, 2419 markings/sec, 25 secs
lola: 86245 markings, 86387 edges, 2484 markings/sec, 30 secs
lola: 98655 markings, 98818 edges, 2482 markings/sec, 35 secs
lola: 110866 markings, 111047 edges, 2442 markings/sec, 40 secs
lola: 123226 markings, 123427 edges, 2472 markings/sec, 45 secs
lola: 136326 markings, 136547 edges, 2620 markings/sec, 50 secs
lola: 149410 markings, 149652 edges, 2617 markings/sec, 55 secs
lola: 162439 markings, 162701 edges, 2606 markings/sec, 60 secs
lola: 175506 markings, 175789 edges, 2613 markings/sec, 65 secs
lola: 188665 markings, 188969 edges, 2632 markings/sec, 70 secs
lola: 201416 markings, 201740 edges, 2550 markings/sec, 75 secs
lola: 214468 markings, 214811 edges, 2610 markings/sec, 80 secs
lola: 227453 markings, 227818 edges, 2597 markings/sec, 85 secs
lola: 240722 markings, 241122 edges, 2654 markings/sec, 90 secs
lola: 253697 markings, 254118 edges, 2595 markings/sec, 95 secs
lola: 266539 markings, 266980 edges, 2568 markings/sec, 100 secs
lola: 279660 markings, 280121 edges, 2624 markings/sec, 105 secs
lola: 292553 markings, 293034 edges, 2579 markings/sec, 110 secs
lola: 305360 markings, 305863 edges, 2561 markings/sec, 115 secs
lola: 318336 markings, 318857 edges, 2595 markings/sec, 120 secs
lola: 331500 markings, 332042 edges, 2633 markings/sec, 125 secs
lola: 344351 markings, 344914 edges, 2570 markings/sec, 130 secs
lola: 357357 markings, 357940 edges, 2601 markings/sec, 135 secs
lola: 370307 markings, 370909 edges, 2590 markings/sec, 140 secs
lola: 383063 markings, 383686 edges, 2551 markings/sec, 145 secs
lola: 395558 markings, 396200 edges, 2499 markings/sec, 150 secs
lola: 408501 markings, 409164 edges, 2589 markings/sec, 155 secs
lola: 421484 markings, 422166 edges, 2597 markings/sec, 160 secs
lola: 434543 markings, 435247 edges, 2612 markings/sec, 165 secs
lola: 447081 markings, 447804 edges, 2508 markings/sec, 170 secs
lola: 460045 markings, 460790 edges, 2593 markings/sec, 175 secs
lola: 472721 markings, 473489 edges, 2535 markings/sec, 180 secs
lola: 485607 markings, 486394 edges, 2577 markings/sec, 185 secs
lola: 498708 markings, 499531 edges, 2620 markings/sec, 190 secs
lola: 511141 markings, 512021 edges, 2487 markings/sec, 195 secs
lola: 524039 markings, 524938 edges, 2580 markings/sec, 200 secs
lola: 537053 markings, 537973 edges, 2603 markings/sec, 205 secs
lola: 550007 markings, 550948 edges, 2591 markings/sec, 210 secs
lola: 563080 markings, 564041 edges, 2615 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 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p351 + p352 + p353 + p354)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1808 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: 13164 markings, 13193 edges, 2633 markings/sec, 0 secs
lola: 26205 markings, 26254 edges, 2608 markings/sec, 5 secs
lola: 39253 markings, 39322 edges, 2610 markings/sec, 10 secs
lola: 52246 markings, 52336 edges, 2599 markings/sec, 15 secs
lola: 65273 markings, 65383 edges, 2605 markings/sec, 20 secs
lola: 78353 markings, 78483 edges, 2616 markings/sec, 25 secs
lola: 91391 markings, 91543 edges, 2608 markings/sec, 30 secs
lola: 104406 markings, 104577 edges, 2603 markings/sec, 35 secs
lola: 117455 markings, 117647 edges, 2610 markings/sec, 40 secs
lola: 130539 markings, 130752 edges, 2617 markings/sec, 45 secs
lola: 143605 markings, 143837 edges, 2613 markings/sec, 50 secs
lola: 156628 markings, 156881 edges, 2605 markings/sec, 55 secs
lola: 169604 markings, 169877 edges, 2595 markings/sec, 60 secs
lola: 182716 markings, 183010 edges, 2622 markings/sec, 65 secs
lola: 195791 markings, 196105 edges, 2615 markings/sec, 70 secs
lola: 208776 markings, 209111 edges, 2597 markings/sec, 75 secs
lola: 221777 markings, 222132 edges, 2600 markings/sec, 80 secs
lola: 234910 markings, 235302 edges, 2627 markings/sec, 85 secs
lola: 247999 markings, 248410 edges, 2618 markings/sec, 90 secs
lola: 261096 markings, 261527 edges, 2619 markings/sec, 95 secs
lola: 273688 markings, 274140 edges, 2518 markings/sec, 100 secs
lola: 286266 markings, 286737 edges, 2516 markings/sec, 105 secs
lola: 299383 markings, 299875 edges, 2623 markings/sec, 110 secs
lola: 312000 markings, 312512 edges, 2523 markings/sec, 115 secs
lola: 325019 markings, 325551 edges, 2604 markings/sec, 120 secs
lola: 337626 markings, 338178 edges, 2521 markings/sec, 125 secs
lola: 350265 markings, 350837 edges, 2528 markings/sec, 130 secs
lola: 363357 markings, 363948 edges, 2618 markings/sec, 135 secs
lola: 375982 markings, 376595 edges, 2525 markings/sec, 140 secs
lola: 388970 markings, 389602 edges, 2598 markings/sec, 145 secs
lola: 402041 markings, 402694 edges, 2614 markings/sec, 150 secs
lola: 414672 markings, 415345 edges, 2526 markings/sec, 155 secs
lola: 427324 markings, 428016 edges, 2530 markings/sec, 160 secs
lola: 440293 markings, 441005 edges, 2594 markings/sec, 165 secs
lola: 453276 markings, 454010 edges, 2597 markings/sec, 170 secs
lola: 466342 markings, 467100 edges, 2613 markings/sec, 175 secs
lola: 479383 markings, 480161 edges, 2608 markings/sec, 180 secs
lola: 492483 markings, 493284 edges, 2620 markings/sec, 185 secs
lola: 505647 markings, 506518 edges, 2633 markings/sec, 190 secs
lola: 518711 markings, 519602 edges, 2613 markings/sec, 195 secs
lola: 531729 markings, 532641 edges, 2604 markings/sec, 200 secs
lola: 544732 markings, 545665 edges, 2601 markings/sec, 205 secs
lola: 557814 markings, 558767 edges, 2616 markings/sec, 210 secs
lola: 570748 markings, 571721 edges, 2587 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(p189 + p190 + p191 + p192 + p193 + p194 + p195)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1808 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: 13094 markings, 13123 edges, 2619 markings/sec, 0 secs
lola: 26090 markings, 26138 edges, 2599 markings/sec, 5 secs
lola: 38698 markings, 38766 edges, 2522 markings/sec, 10 secs
lola: 51221 markings, 51309 edges, 2505 markings/sec, 15 secs
lola: 63792 markings, 63900 edges, 2514 markings/sec, 20 secs
lola: 76420 markings, 76548 edges, 2526 markings/sec, 25 secs
lola: 88989 markings, 89136 edges, 2514 markings/sec, 30 secs
lola: 101542 markings, 101709 edges, 2511 markings/sec, 35 secs
lola: 114057 markings, 114243 edges, 2503 markings/sec, 40 secs
lola: 126696 markings, 126903 edges, 2528 markings/sec, 45 secs
lola: 139292 markings, 139518 edges, 2519 markings/sec, 50 secs
lola: 151827 markings, 152073 edges, 2507 markings/sec, 55 secs
lola: 164372 markings, 164637 edges, 2509 markings/sec, 60 secs
lola: 176951 markings, 177237 edges, 2516 markings/sec, 65 secs
lola: 189567 markings, 189872 edges, 2523 markings/sec, 70 secs
lola: 202147 markings, 202472 edges, 2516 markings/sec, 75 secs
lola: 214659 markings, 215003 edges, 2502 markings/sec, 80 secs
lola: 227206 markings, 227571 edges, 2509 markings/sec, 85 secs
lola: 239890 markings, 240290 edges, 2537 markings/sec, 90 secs
lola: 252520 markings, 252938 edges, 2526 markings/sec, 95 secs
lola: 265074 markings, 265513 edges, 2511 markings/sec, 100 secs
lola: 277617 markings, 278075 edges, 2509 markings/sec, 105 secs
lola: 290179 markings, 290657 edges, 2512 markings/sec, 110 secs
lola: 302767 markings, 303264 edges, 2518 markings/sec, 115 secs
lola: 315383 markings, 315899 edges, 2523 markings/sec, 120 secs
lola: 327886 markings, 328423 edges, 2501 markings/sec, 125 secs
lola: 340417 markings, 340973 edges, 2506 markings/sec, 130 secs
lola: 353037 markings, 353613 edges, 2524 markings/sec, 135 secs
lola: 365602 markings, 366197 edges, 2513 markings/sec, 140 secs
lola: 378173 markings, 378788 edges, 2514 markings/sec, 145 secs
lola: 390672 markings, 391307 edges, 2500 markings/sec, 150 secs
lola: 403257 markings, 403912 edges, 2517 markings/sec, 155 secs
lola: 415864 markings, 416538 edges, 2521 markings/sec, 160 secs
lola: 428425 markings, 429118 edges, 2512 markings/sec, 165 secs
lola: 440960 markings, 441673 edges, 2507 markings/sec, 170 secs
lola: 453463 markings, 454197 edges, 2501 markings/sec, 175 secs
lola: 466051 markings, 466808 edges, 2518 markings/sec, 180 secs
lola: 478613 markings, 479389 edges, 2512 markings/sec, 185 secs
lola: 491249 markings, 492048 edges, 2527 markings/sec, 190 secs
lola: 503928 markings, 504797 edges, 2536 markings/sec, 195 secs
lola: 516507 markings, 517395 edges, 2516 markings/sec, 200 secs
lola: 529079 markings, 529987 edges, 2514 markings/sec, 205 secs
lola: 541592 markings, 542519 edges, 2503 markings/sec, 210 secs
lola: 554182 markings, 555130 edges, 2518 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(p424)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1808 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: 12637 markings, 12666 edges, 2527 markings/sec, 0 secs
lola: 25196 markings, 25244 edges, 2512 markings/sec, 5 secs
lola: 37740 markings, 37807 edges, 2509 markings/sec, 10 secs
lola: 49706 markings, 49792 edges, 2393 markings/sec, 15 secs
lola: 61949 markings, 62054 edges, 2449 markings/sec, 20 secs
lola: 74498 markings, 74623 edges, 2510 markings/sec, 25 secs
lola: 86653 markings, 86796 edges, 2431 markings/sec, 30 secs
lola: 98982 markings, 99145 edges, 2466 markings/sec, 35 secs
lola: 110790 markings, 110971 edges, 2362 markings/sec, 40 secs
lola: 123351 markings, 123552 edges, 2512 markings/sec, 45 secs
lola: 135463 markings, 135683 edges, 2422 markings/sec, 50 secs
lola: 147898 markings, 148138 edges, 2487 markings/sec, 55 secs
lola: 160409 markings, 160668 edges, 2502 markings/sec, 60 secs
lola: 172985 markings, 173264 edges, 2515 markings/sec, 65 secs
lola: 185594 markings, 185893 edges, 2522 markings/sec, 70 secs
lola: 198190 markings, 198508 edges, 2519 markings/sec, 75 secs
lola: 210736 markings, 211074 edges, 2509 markings/sec, 80 secs
lola: 223258 markings, 223615 edges, 2504 markings/sec, 85 secs
lola: 236147 markings, 236541 edges, 2578 markings/sec, 90 secs
lola: 249346 markings, 249760 edges, 2640 markings/sec, 95 secs
lola: 262521 markings, 262955 edges, 2635 markings/sec, 100 secs
lola: 275642 markings, 276097 edges, 2624 markings/sec, 105 secs
lola: 288763 markings, 289239 edges, 2624 markings/sec, 110 secs
lola: 301977 markings, 302473 edges, 2643 markings/sec, 115 secs
lola: 315201 markings, 315717 edges, 2645 markings/sec, 120 secs
lola: 327915 markings, 328452 edges, 2543 markings/sec, 125 secs
lola: 341107 markings, 341664 edges, 2638 markings/sec, 130 secs
lola: 354421 markings, 354999 edges, 2663 markings/sec, 135 secs
lola: 367678 markings, 368277 edges, 2651 markings/sec, 140 secs
lola: 380916 markings, 381536 edges, 2648 markings/sec, 145 secs
lola: 394157 markings, 394796 edges, 2648 markings/sec, 150 secs
lola: 407431 markings, 408093 edges, 2655 markings/sec, 155 secs
lola: 420720 markings, 421401 edges, 2658 markings/sec, 160 secs
lola: 433981 markings, 434683 edges, 2652 markings/sec, 165 secs
lola: 447202 markings, 447925 edges, 2644 markings/sec, 170 secs
lola: 460419 markings, 461164 edges, 2643 markings/sec, 175 secs
lola: 473746 markings, 474515 edges, 2665 markings/sec, 180 secs
lola: 486998 markings, 487787 edges, 2650 markings/sec, 185 secs
lola: 500369 markings, 501216 edges, 2674 markings/sec, 190 secs
lola: 513753 markings, 514636 edges, 2677 markings/sec, 195 secs
lola: 527003 markings, 527908 edges, 2650 markings/sec, 200 secs
lola: 540232 markings, 541157 edges, 2646 markings/sec, 205 secs
lola: 553529 markings, 554475 edges, 2659 markings/sec, 210 secs
lola: 566819 markings, 567786 edges, 2658 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-S06J06T04-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T04-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T04-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T04-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T04-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T04-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T04-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T04-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T04-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T04-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T04-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T04-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T04-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T04-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T04-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T04-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1494668106447
--------------------
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="PolyORBLF-COL-S06J06T04"
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/PolyORBLF-COL-S06J06T04.tgz
mv PolyORBLF-COL-S06J06T04 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 PolyORBLF-COL-S06J06T04, 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 r048-smll-149440869900398"
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 ;