About the Execution of LoLA for S_PolyORBLF-COL-S06J06T04
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
797.620 | 3539734.00 | 3550032.00 | 11234.10 | ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
.................................................................................
=====================================================================
Generated by BenchKit 2-3254
Executing tool lola
Input is S_PolyORBLF-COL-S06J06T04, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r128-smll-149441681500398
=====================================================================
--------------------
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 1496429355873
Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_PolyORBLF-COL-S06J06T04: translating COL Petri net model.pnml into LoLA format
===========================================================================================
translating COL Petri net complete
checking for too many tokens
===========================================================================================
S_PolyORBLF-COL-S06J06T04: translating COL formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
----- Start make result stdout -----
UpperBounds @ S_PolyORBLF-COL-S06J06T04 @ 3538 seconds
----- Start make result stdout -----
lola: LoLA will run for 3538 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(p217) : MAX(p201 + p202 + p203 + p204) : MAX(p265 + p266 + p267 + p268 + p269 + p270 + p271) : MAX(p505) : MAX(p0 + p1 + p2 + p3) : MAX(p0 + p1 + p2 + p3) : MAX(p162) : MAX(p145 + p146 + p147 + p148 + p149 + p150) : MAX(p52 + p51 + p50 + p53) : MAX(p72 + p71 + p70 + p69 + p68 + p67 + p66 + p65 + p64 + p63 + p62 + p61 + p60 + p59 + p58 + p57 + p56 + p55 + p73 + p74 + p75 + p76 + p77 + p78) : MAX(p184) : MAX(p396 + p397 + p398 + p399 + p400 + p401 + p402 + p403 + p404 + p405 + p406 + p407 + p408 + p409 + p410 + p411 + p412 + p413 + p414 + p415 + p416 + p417 + p418 + p419) : MAX(p176 + p177 + p178 + p179) : MAX(p197 + p198 + p199 + p200) : MAX(p283 + p284 + p285 + p286 + p287 + p288 + p289) : MAX(p217)
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(p217)
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: 13417 markings, 14183 edges, 2683 markings/sec, 0 secs
lola: 27622 markings, 28844 edges, 2841 markings/sec, 5 secs
lola: 41797 markings, 43512 edges, 2835 markings/sec, 10 secs
lola: 55717 markings, 58214 edges, 2784 markings/sec, 15 secs
lola: 69716 markings, 72929 edges, 2800 markings/sec, 20 secs
lola: 83460 markings, 87165 edges, 2749 markings/sec, 25 secs
lola: 97329 markings, 101453 edges, 2774 markings/sec, 30 secs
lola: 111317 markings, 115987 edges, 2798 markings/sec, 35 secs
lola: 124951 markings, 130064 edges, 2727 markings/sec, 40 secs
lola: 138259 markings, 143881 edges, 2662 markings/sec, 45 secs
lola: 151849 markings, 157926 edges, 2718 markings/sec, 50 secs
lola: 165833 markings, 172366 edges, 2797 markings/sec, 55 secs
lola: 179855 markings, 186845 edges, 2804 markings/sec, 60 secs
lola: 193583 markings, 200976 edges, 2746 markings/sec, 65 secs
lola: 207035 markings, 214884 edges, 2690 markings/sec, 70 secs
lola: 220777 markings, 229082 edges, 2748 markings/sec, 75 secs
lola: 234778 markings, 243547 edges, 2800 markings/sec, 80 secs
lola: 248445 markings, 258497 edges, 2733 markings/sec, 85 secs
lola: 262717 markings, 273539 edges, 2854 markings/sec, 90 secs
lola: 276710 markings, 287975 edges, 2799 markings/sec, 95 secs
lola: 290654 markings, 302412 edges, 2789 markings/sec, 100 secs
lola: 304507 markings, 316684 edges, 2771 markings/sec, 105 secs
lola: 318476 markings, 331110 edges, 2794 markings/sec, 110 secs
lola: 332439 markings, 345529 edges, 2793 markings/sec, 115 secs
lola: 346321 markings, 359903 edges, 2776 markings/sec, 120 secs
lola: 360175 markings, 374177 edges, 2771 markings/sec, 125 secs
lola: 374177 markings, 388635 edges, 2800 markings/sec, 130 secs
lola: 388124 markings, 403076 edges, 2789 markings/sec, 135 secs
lola: 401962 markings, 417367 edges, 2768 markings/sec, 140 secs
lola: 415899 markings, 431709 edges, 2787 markings/sec, 145 secs
lola: 429759 markings, 446025 edges, 2772 markings/sec, 150 secs
lola: 443741 markings, 460810 edges, 2796 markings/sec, 155 secs
lola: 457605 markings, 475247 edges, 2773 markings/sec, 160 secs
lola: 471513 markings, 489849 edges, 2782 markings/sec, 165 secs
lola: 485479 markings, 504755 edges, 2793 markings/sec, 170 secs
lola: 499343 markings, 519393 edges, 2773 markings/sec, 175 secs
lola: 513347 markings, 534103 edges, 2801 markings/sec, 180 secs
lola: 527139 markings, 549189 edges, 2758 markings/sec, 185 secs
lola: 540963 markings, 563828 edges, 2765 markings/sec, 190 secs
lola: 554827 markings, 578098 edges, 2773 markings/sec, 195 secs
lola: 568734 markings, 593879 edges, 2781 markings/sec, 200 secs
lola: 582569 markings, 608586 edges, 2767 markings/sec, 205 secs
lola: 596543 markings, 622987 edges, 2795 markings/sec, 210 secs
lola: 610407 markings, 637497 edges, 2773 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(p201 + p202 + p203 + p204)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 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: 14063 markings, 23639 edges, 2813 markings/sec, 0 secs
lola: 28470 markings, 38097 edges, 2881 markings/sec, 5 secs
lola: 42816 markings, 52492 edges, 2869 markings/sec, 10 secs
lola: 57211 markings, 67039 edges, 2879 markings/sec, 15 secs
lola: 71646 markings, 81544 edges, 2887 markings/sec, 20 secs
lola: 85972 markings, 95924 edges, 2865 markings/sec, 25 secs
lola: 100109 markings, 110113 edges, 2827 markings/sec, 30 secs
lola: 114533 markings, 124691 edges, 2885 markings/sec, 35 secs
lola: 128921 markings, 139151 edges, 2878 markings/sec, 40 secs
lola: 143323 markings, 153704 edges, 2880 markings/sec, 45 secs
lola: 157663 markings, 168098 edges, 2868 markings/sec, 50 secs
lola: 172088 markings, 182689 edges, 2885 markings/sec, 55 secs
lola: 186523 markings, 197277 edges, 2887 markings/sec, 60 secs
lola: 200869 markings, 211671 edges, 2869 markings/sec, 65 secs
lola: 215283 markings, 226249 edges, 2883 markings/sec, 70 secs
lola: 229695 markings, 240810 edges, 2882 markings/sec, 75 secs
lola: 244063 markings, 255229 edges, 2874 markings/sec, 80 secs
lola: 258377 markings, 269691 edges, 2863 markings/sec, 85 secs
lola: 272741 markings, 284128 edges, 2873 markings/sec, 90 secs
lola: 287178 markings, 298846 edges, 2887 markings/sec, 95 secs
lola: 301508 markings, 313227 edges, 2866 markings/sec, 100 secs
lola: 315937 markings, 327940 edges, 2886 markings/sec, 105 secs
lola: 330250 markings, 342340 edges, 2863 markings/sec, 110 secs
lola: 344575 markings, 356716 edges, 2865 markings/sec, 115 secs
lola: 358934 markings, 371129 edges, 2872 markings/sec, 120 secs
lola: 373202 markings, 385711 edges, 2854 markings/sec, 125 secs
lola: 387383 markings, 399941 edges, 2836 markings/sec, 130 secs
lola: 401108 markings, 413714 edges, 2745 markings/sec, 135 secs
lola: 414785 markings, 427592 edges, 2735 markings/sec, 140 secs
lola: 428458 markings, 441313 edges, 2735 markings/sec, 145 secs
lola: 442135 markings, 455041 edges, 2735 markings/sec, 150 secs
lola: 455828 markings, 468975 edges, 2739 markings/sec, 155 secs
lola: 469612 markings, 483149 edges, 2757 markings/sec, 160 secs
lola: 484036 markings, 497758 edges, 2885 markings/sec, 165 secs
lola: 498426 markings, 512196 edges, 2878 markings/sec, 170 secs
lola: 512827 markings, 527003 edges, 2880 markings/sec, 175 secs
lola: 527319 markings, 541611 edges, 2898 markings/sec, 180 secs
lola: 541795 markings, 556156 edges, 2895 markings/sec, 185 secs
lola: 556243 markings, 571179 edges, 2890 markings/sec, 190 secs
lola: 570562 markings, 585780 edges, 2864 markings/sec, 195 secs
lola: 585064 markings, 600445 edges, 2900 markings/sec, 200 secs
lola: 599472 markings, 615386 edges, 2882 markings/sec, 205 secs
lola: 613858 markings, 629929 edges, 2877 markings/sec, 210 secs
lola: 628216 markings, 644564 edges, 2872 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(p265 + p266 + p267 + p268 + p269 + p270 + p271)
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: 13316 markings, 14082 edges, 2663 markings/sec, 0 secs
lola: 26639 markings, 27860 edges, 2665 markings/sec, 5 secs
lola: 39931 markings, 41572 edges, 2658 markings/sec, 10 secs
lola: 53184 markings, 55534 edges, 2651 markings/sec, 15 secs
lola: 66379 markings, 69515 edges, 2639 markings/sec, 20 secs
lola: 79666 markings, 83219 edges, 2657 markings/sec, 25 secs
lola: 92888 markings, 96897 edges, 2644 markings/sec, 30 secs
lola: 106135 markings, 110565 edges, 2649 markings/sec, 35 secs
lola: 119353 markings, 124276 edges, 2644 markings/sec, 40 secs
lola: 132584 markings, 138017 edges, 2646 markings/sec, 45 secs
lola: 145856 markings, 151707 edges, 2654 markings/sec, 50 secs
lola: 159097 markings, 165439 edges, 2648 markings/sec, 55 secs
lola: 172287 markings, 179048 edges, 2638 markings/sec, 60 secs
lola: 185639 markings, 192819 edges, 2670 markings/sec, 65 secs
lola: 198929 markings, 206512 edges, 2658 markings/sec, 70 secs
lola: 212173 markings, 220174 edges, 2649 markings/sec, 75 secs
lola: 225461 markings, 233917 edges, 2658 markings/sec, 80 secs
lola: 238738 markings, 247731 edges, 2655 markings/sec, 85 secs
lola: 251870 markings, 262050 edges, 2626 markings/sec, 90 secs
lola: 265284 markings, 276206 edges, 2683 markings/sec, 95 secs
lola: 278618 markings, 289959 edges, 2667 markings/sec, 100 secs
lola: 291865 markings, 303661 edges, 2649 markings/sec, 105 secs
lola: 305003 markings, 317217 edges, 2628 markings/sec, 110 secs
lola: 318290 markings, 330924 edges, 2657 markings/sec, 115 secs
lola: 331544 markings, 344596 edges, 2651 markings/sec, 120 secs
lola: 344738 markings, 358281 edges, 2639 markings/sec, 125 secs
lola: 357886 markings, 371847 edges, 2630 markings/sec, 130 secs
lola: 371220 markings, 385601 edges, 2667 markings/sec, 135 secs
lola: 384607 markings, 399406 edges, 2677 markings/sec, 140 secs
lola: 398626 markings, 413881 edges, 2804 markings/sec, 145 secs
lola: 411837 markings, 427548 edges, 2642 markings/sec, 150 secs
lola: 424434 markings, 440547 edges, 2519 markings/sec, 155 secs
lola: 437024 markings, 453660 edges, 2518 markings/sec, 160 secs
lola: 450494 markings, 467853 edges, 2694 markings/sec, 165 secs
lola: 464041 markings, 481995 edges, 2709 markings/sec, 170 secs
lola: 477246 markings, 495928 edges, 2641 markings/sec, 175 secs
lola: 490382 markings, 509860 edges, 2627 markings/sec, 180 secs
lola: 503616 markings, 523805 edges, 2647 markings/sec, 185 secs
lola: 516898 markings, 538089 edges, 2656 markings/sec, 190 secs
lola: 529905 markings, 552220 edges, 2601 markings/sec, 195 secs
lola: 543048 markings, 565977 edges, 2629 markings/sec, 200 secs
lola: 556197 markings, 579759 edges, 2630 markings/sec, 205 secs
lola: 569413 markings, 594598 edges, 2643 markings/sec, 210 secs
lola: 582544 markings, 608561 edges, 2626 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(p505)
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: 13255 markings, 42033 edges, 2651 markings/sec, 0 secs
lola: 26518 markings, 81405 edges, 2653 markings/sec, 5 secs
lola: 39740 markings, 120821 edges, 2644 markings/sec, 10 secs
lola: 53116 markings, 157750 edges, 2675 markings/sec, 15 secs
lola: 66539 markings, 194833 edges, 2685 markings/sec, 20 secs
lola: 80069 markings, 217312 edges, 2706 markings/sec, 25 secs
lola: 93420 markings, 248228 edges, 2670 markings/sec, 30 secs
lola: 106874 markings, 275722 edges, 2691 markings/sec, 35 secs
lola: 120284 markings, 312081 edges, 2682 markings/sec, 40 secs
lola: 133744 markings, 342956 edges, 2692 markings/sec, 45 secs
lola: 147106 markings, 372741 edges, 2672 markings/sec, 50 secs
lola: 160516 markings, 406861 edges, 2682 markings/sec, 55 secs
lola: 173934 markings, 447327 edges, 2684 markings/sec, 60 secs
lola: 187395 markings, 482831 edges, 2692 markings/sec, 65 secs
lola: 200646 markings, 517216 edges, 2650 markings/sec, 70 secs
lola: 213895 markings, 550519 edges, 2650 markings/sec, 75 secs
lola: 227462 markings, 580341 edges, 2713 markings/sec, 80 secs
lola: 241005 markings, 604807 edges, 2709 markings/sec, 85 secs
lola: 254447 markings, 632289 edges, 2688 markings/sec, 90 secs
lola: 267859 markings, 655559 edges, 2682 markings/sec, 95 secs
lola: 281349 markings, 677915 edges, 2698 markings/sec, 100 secs
lola: 294836 markings, 701121 edges, 2697 markings/sec, 105 secs
lola: 308286 markings, 723767 edges, 2690 markings/sec, 110 secs
lola: 321631 markings, 756215 edges, 2669 markings/sec, 115 secs
lola: 335037 markings, 781802 edges, 2681 markings/sec, 120 secs
lola: 348406 markings, 808747 edges, 2674 markings/sec, 125 secs
lola: 361862 markings, 831541 edges, 2691 markings/sec, 130 secs
lola: 375279 markings, 854545 edges, 2683 markings/sec, 135 secs
lola: 388738 markings, 884296 edges, 2692 markings/sec, 140 secs
lola: 402030 markings, 919520 edges, 2658 markings/sec, 145 secs
lola: 415421 markings, 948635 edges, 2678 markings/sec, 150 secs
lola: 428824 markings, 973953 edges, 2681 markings/sec, 155 secs
lola: 442259 markings, 995564 edges, 2687 markings/sec, 160 secs
lola: 455678 markings, 1022062 edges, 2684 markings/sec, 165 secs
lola: 469157 markings, 1044713 edges, 2696 markings/sec, 170 secs
lola: 482567 markings, 1068128 edges, 2682 markings/sec, 175 secs
lola: 495916 markings, 1091010 edges, 2670 markings/sec, 180 secs
lola: 509397 markings, 1114354 edges, 2696 markings/sec, 185 secs
lola: 522765 markings, 1137152 edges, 2674 markings/sec, 190 secs
lola: 536218 markings, 1164598 edges, 2691 markings/sec, 195 secs
lola: 549601 markings, 1187840 edges, 2677 markings/sec, 200 secs
lola: 562998 markings, 1215225 edges, 2679 markings/sec, 205 secs
lola: 576341 markings, 1240156 edges, 2669 markings/sec, 210 secs
lola: 589755 markings, 1268039 edges, 2683 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p0 + p1 + p2 + p3)
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: 11673 markings, 38113 edges, 2335 markings/sec, 0 secs
lola: 24652 markings, 60390 edges, 2596 markings/sec, 5 secs
lola: 37376 markings, 88806 edges, 2545 markings/sec, 10 secs
lola: 50592 markings, 107346 edges, 2643 markings/sec, 15 secs
lola: 63904 markings, 123815 edges, 2662 markings/sec, 20 secs
lola: 76926 markings, 158795 edges, 2604 markings/sec, 25 secs
lola: 90268 markings, 180685 edges, 2668 markings/sec, 30 secs
lola: 103503 markings, 203461 edges, 2647 markings/sec, 35 secs
lola: 116151 markings, 241551 edges, 2530 markings/sec, 40 secs
lola: 128585 markings, 274193 edges, 2487 markings/sec, 45 secs
lola: 141280 markings, 297091 edges, 2539 markings/sec, 50 secs
lola: 153886 markings, 324615 edges, 2521 markings/sec, 55 secs
lola: 167334 markings, 339185 edges, 2690 markings/sec, 60 secs
lola: 180645 markings, 353555 edges, 2662 markings/sec, 65 secs
lola: 193857 markings, 371400 edges, 2642 markings/sec, 70 secs
lola: 207233 markings, 386512 edges, 2675 markings/sec, 75 secs
lola: 220483 markings, 403628 edges, 2650 markings/sec, 80 secs
lola: 233654 markings, 423199 edges, 2634 markings/sec, 85 secs
lola: 246628 markings, 443485 edges, 2595 markings/sec, 90 secs
lola: 259652 markings, 468354 edges, 2605 markings/sec, 95 secs
lola: 272904 markings, 484514 edges, 2650 markings/sec, 100 secs
lola: 286194 markings, 499788 edges, 2658 markings/sec, 105 secs
lola: 299345 markings, 520179 edges, 2630 markings/sec, 110 secs
lola: 312532 markings, 543120 edges, 2637 markings/sec, 115 secs
lola: 325700 markings, 558167 edges, 2634 markings/sec, 120 secs
lola: 338994 markings, 575859 edges, 2659 markings/sec, 125 secs
lola: 352263 markings, 591054 edges, 2654 markings/sec, 130 secs
lola: 365568 markings, 607139 edges, 2661 markings/sec, 135 secs
lola: 378378 markings, 625852 edges, 2562 markings/sec, 140 secs
lola: 390923 markings, 642961 edges, 2509 markings/sec, 145 secs
lola: 403506 markings, 659288 edges, 2517 markings/sec, 150 secs
lola: 416192 markings, 674144 edges, 2537 markings/sec, 155 secs
lola: 429162 markings, 691465 edges, 2594 markings/sec, 160 secs
lola: 442383 markings, 707624 edges, 2644 markings/sec, 165 secs
lola: 455329 markings, 728586 edges, 2589 markings/sec, 170 secs
lola: 468454 markings, 748840 edges, 2625 markings/sec, 175 secs
lola: 481621 markings, 764393 edges, 2633 markings/sec, 180 secs
lola: 494885 markings, 783876 edges, 2653 markings/sec, 185 secs
lola: 508045 markings, 799438 edges, 2632 markings/sec, 190 secs
lola: 521131 markings, 815510 edges, 2617 markings/sec, 195 secs
lola: 534109 markings, 830678 edges, 2596 markings/sec, 200 secs
lola: 546669 markings, 845338 edges, 2512 markings/sec, 205 secs
lola: 559326 markings, 866376 edges, 2531 markings/sec, 210 secs
lola: 572532 markings, 881804 edges, 2641 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(p0 + p1 + p2 + p3)
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: 12213 markings, 39223 edges, 2443 markings/sec, 0 secs
lola: 25210 markings, 61655 edges, 2599 markings/sec, 5 secs
lola: 37945 markings, 89402 edges, 2547 markings/sec, 10 secs
lola: 51192 markings, 108518 edges, 2649 markings/sec, 15 secs
lola: 64510 markings, 125443 edges, 2664 markings/sec, 20 secs
lola: 77559 markings, 159438 edges, 2610 markings/sec, 25 secs
lola: 90925 markings, 181461 edges, 2673 markings/sec, 30 secs
lola: 104189 markings, 205993 edges, 2653 markings/sec, 35 secs
lola: 116947 markings, 244520 edges, 2552 markings/sec, 40 secs
lola: 129833 markings, 275525 edges, 2577 markings/sec, 45 secs
lola: 142620 markings, 300462 edges, 2557 markings/sec, 50 secs
lola: 154698 markings, 325427 edges, 2416 markings/sec, 55 secs
lola: 167841 markings, 339737 edges, 2629 markings/sec, 60 secs
lola: 181192 markings, 354117 edges, 2670 markings/sec, 65 secs
lola: 194450 markings, 372245 edges, 2652 markings/sec, 70 secs
lola: 207880 markings, 387186 edges, 2686 markings/sec, 75 secs
lola: 221164 markings, 405233 edges, 2657 markings/sec, 80 secs
lola: 234409 markings, 424046 edges, 2649 markings/sec, 85 secs
lola: 247401 markings, 444330 edges, 2598 markings/sec, 90 secs
lola: 260485 markings, 469216 edges, 2617 markings/sec, 95 secs
lola: 273742 markings, 485445 edges, 2651 markings/sec, 100 secs
lola: 287018 markings, 502935 edges, 2655 markings/sec, 105 secs
lola: 300237 markings, 521098 edges, 2644 markings/sec, 110 secs
lola: 313460 markings, 544098 edges, 2645 markings/sec, 115 secs
lola: 326629 markings, 559388 edges, 2634 markings/sec, 120 secs
lola: 339944 markings, 576926 edges, 2663 markings/sec, 125 secs
lola: 353270 markings, 592205 edges, 2665 markings/sec, 130 secs
lola: 366591 markings, 608998 edges, 2664 markings/sec, 135 secs
lola: 379829 markings, 627688 edges, 2648 markings/sec, 140 secs
lola: 393082 markings, 645199 edges, 2651 markings/sec, 145 secs
lola: 406416 markings, 662332 edges, 2667 markings/sec, 150 secs
lola: 419824 markings, 678111 edges, 2682 markings/sec, 155 secs
lola: 433110 markings, 696568 edges, 2657 markings/sec, 160 secs
lola: 446417 markings, 712252 edges, 2661 markings/sec, 165 secs
lola: 459340 markings, 737566 edges, 2585 markings/sec, 170 secs
lola: 472601 markings, 753910 edges, 2652 markings/sec, 175 secs
lola: 485898 markings, 770986 edges, 2659 markings/sec, 180 secs
lola: 499112 markings, 789442 edges, 2643 markings/sec, 185 secs
lola: 512406 markings, 804600 edges, 2659 markings/sec, 190 secs
lola: 525636 markings, 820760 edges, 2646 markings/sec, 195 secs
lola: 539010 markings, 836424 edges, 2675 markings/sec, 200 secs
lola: 552250 markings, 854871 edges, 2648 markings/sec, 205 secs
lola: 565559 markings, 873177 edges, 2662 markings/sec, 210 secs
lola: 578693 markings, 893180 edges, 2627 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(p162)
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: 13416 markings, 45105 edges, 2683 markings/sec, 0 secs
lola: 26306 markings, 82869 edges, 2578 markings/sec, 5 secs
lola: 39587 markings, 122579 edges, 2656 markings/sec, 10 secs
lola: 53110 markings, 160660 edges, 2705 markings/sec, 15 secs
lola: 66650 markings, 198056 edges, 2708 markings/sec, 20 secs
lola: 80162 markings, 232616 edges, 2702 markings/sec, 25 secs
lola: 93855 markings, 260802 edges, 2739 markings/sec, 30 secs
lola: 107370 markings, 291335 edges, 2703 markings/sec, 35 secs
lola: 120853 markings, 325622 edges, 2697 markings/sec, 40 secs
lola: 134354 markings, 360263 edges, 2700 markings/sec, 45 secs
lola: 147313 markings, 394145 edges, 2592 markings/sec, 50 secs
lola: 160866 markings, 419653 edges, 2711 markings/sec, 55 secs
lola: 174521 markings, 442471 edges, 2731 markings/sec, 60 secs
lola: 188119 markings, 467481 edges, 2720 markings/sec, 65 secs
lola: 201546 markings, 502920 edges, 2685 markings/sec, 70 secs
lola: 215183 markings, 526445 edges, 2727 markings/sec, 75 secs
lola: 228656 markings, 556107 edges, 2695 markings/sec, 80 secs
lola: 242118 markings, 584004 edges, 2692 markings/sec, 85 secs
lola: 255574 markings, 614184 edges, 2691 markings/sec, 90 secs
lola: 269213 markings, 638841 edges, 2728 markings/sec, 95 secs
lola: 282828 markings, 664771 edges, 2723 markings/sec, 100 secs
lola: 295767 markings, 690569 edges, 2588 markings/sec, 105 secs
lola: 309008 markings, 726651 edges, 2648 markings/sec, 110 secs
lola: 322657 markings, 753699 edges, 2730 markings/sec, 115 secs
lola: 336308 markings, 776296 edges, 2730 markings/sec, 120 secs
lola: 349819 markings, 810815 edges, 2702 markings/sec, 125 secs
lola: 363390 markings, 836685 edges, 2714 markings/sec, 130 secs
lola: 376841 markings, 866267 edges, 2690 markings/sec, 135 secs
lola: 390440 markings, 892383 edges, 2720 markings/sec, 140 secs
lola: 404100 markings, 915584 edges, 2732 markings/sec, 145 secs
lola: 417678 markings, 946289 edges, 2716 markings/sec, 150 secs
lola: 431293 markings, 971853 edges, 2723 markings/sec, 155 secs
lola: 444844 markings, 999623 edges, 2710 markings/sec, 160 secs
lola: 458413 markings, 1028879 edges, 2714 markings/sec, 165 secs
lola: 472098 markings, 1051916 edges, 2737 markings/sec, 170 secs
lola: 485719 markings, 1077043 edges, 2724 markings/sec, 175 secs
lola: 499263 markings, 1103123 edges, 2709 markings/sec, 180 secs
lola: 512834 markings, 1128267 edges, 2714 markings/sec, 185 secs
lola: 526296 markings, 1151671 edges, 2692 markings/sec, 190 secs
lola: 539908 markings, 1177803 edges, 2722 markings/sec, 195 secs
lola: 553585 markings, 1201950 edges, 2735 markings/sec, 200 secs
lola: 567232 markings, 1228304 edges, 2729 markings/sec, 205 secs
lola: 580878 markings, 1251005 edges, 2729 markings/sec, 210 secs
lola: 594489 markings, 1274554 edges, 2722 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(p145 + p146 + p147 + p148 + p149 + p150)
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: 14381 markings, 16798 edges, 2876 markings/sec, 0 secs
lola: 28740 markings, 31243 edges, 2872 markings/sec, 5 secs
lola: 43079 markings, 45608 edges, 2868 markings/sec, 10 secs
lola: 57342 markings, 59899 edges, 2853 markings/sec, 15 secs
lola: 71756 markings, 74512 edges, 2883 markings/sec, 20 secs
lola: 85938 markings, 88719 edges, 2836 markings/sec, 25 secs
lola: 100197 markings, 103004 edges, 2852 markings/sec, 30 secs
lola: 114401 markings, 117234 edges, 2841 markings/sec, 35 secs
lola: 128672 markings, 131530 edges, 2854 markings/sec, 40 secs
lola: 142897 markings, 145780 edges, 2845 markings/sec, 45 secs
lola: 157112 markings, 160192 edges, 2843 markings/sec, 50 secs
lola: 171546 markings, 174738 edges, 2887 markings/sec, 55 secs
lola: 185894 markings, 189110 edges, 2870 markings/sec, 60 secs
lola: 200162 markings, 203404 edges, 2854 markings/sec, 65 secs
lola: 214513 markings, 217781 edges, 2870 markings/sec, 70 secs
lola: 228872 markings, 232165 edges, 2872 markings/sec, 75 secs
lola: 243187 markings, 246507 edges, 2863 markings/sec, 80 secs
lola: 257473 markings, 260819 edges, 2857 markings/sec, 85 secs
lola: 271872 markings, 275243 edges, 2880 markings/sec, 90 secs
lola: 286215 markings, 289612 edges, 2869 markings/sec, 95 secs
lola: 300478 markings, 303899 edges, 2853 markings/sec, 100 secs
lola: 314871 markings, 318318 edges, 2879 markings/sec, 105 secs
lola: 329214 markings, 332686 edges, 2869 markings/sec, 110 secs
lola: 343485 markings, 346984 edges, 2854 markings/sec, 115 secs
lola: 357812 markings, 361346 edges, 2865 markings/sec, 120 secs
lola: 372162 markings, 375926 edges, 2870 markings/sec, 125 secs
lola: 386593 markings, 390600 edges, 2886 markings/sec, 130 secs
lola: 401033 markings, 405332 edges, 2888 markings/sec, 135 secs
lola: 415527 markings, 420178 edges, 2899 markings/sec, 140 secs
lola: 429901 markings, 434776 edges, 2875 markings/sec, 145 secs
lola: 444372 markings, 449458 edges, 2894 markings/sec, 150 secs
lola: 458653 markings, 463992 edges, 2856 markings/sec, 155 secs
lola: 473066 markings, 478718 edges, 2883 markings/sec, 160 secs
lola: 487398 markings, 493236 edges, 2866 markings/sec, 165 secs
lola: 501961 markings, 508153 edges, 2913 markings/sec, 170 secs
lola: 516067 markings, 522513 edges, 2821 markings/sec, 175 secs
lola: 529726 markings, 536500 edges, 2732 markings/sec, 180 secs
lola: 543660 markings, 550696 edges, 2787 markings/sec, 185 secs
lola: 557406 markings, 564636 edges, 2749 markings/sec, 190 secs
lola: 571174 markings, 578642 edges, 2754 markings/sec, 195 secs
lola: 584985 markings, 592677 edges, 2762 markings/sec, 200 secs
lola: 598705 markings, 606620 edges, 2744 markings/sec, 205 secs
lola: 612719 markings, 621085 edges, 2803 markings/sec, 210 secs
lola: 626497 markings, 634937 edges, 2756 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(p52 + p51 + p50 + p53)
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: 13772 markings, 14062 edges, 2754 markings/sec, 0 secs
lola: 27351 markings, 27928 edges, 2716 markings/sec, 5 secs
lola: 40852 markings, 41765 edges, 2700 markings/sec, 10 secs
lola: 54381 markings, 55582 edges, 2706 markings/sec, 15 secs
lola: 67965 markings, 69478 edges, 2717 markings/sec, 20 secs
lola: 81533 markings, 83382 edges, 2714 markings/sec, 25 secs
lola: 95009 markings, 97145 edges, 2695 markings/sec, 30 secs
lola: 108567 markings, 111014 edges, 2712 markings/sec, 35 secs
lola: 122146 markings, 124880 edges, 2716 markings/sec, 40 secs
lola: 135679 markings, 138750 edges, 2707 markings/sec, 45 secs
lola: 149156 markings, 152538 edges, 2695 markings/sec, 50 secs
lola: 162757 markings, 166427 edges, 2720 markings/sec, 55 secs
lola: 176326 markings, 180282 edges, 2714 markings/sec, 60 secs
lola: 189813 markings, 194081 edges, 2697 markings/sec, 65 secs
lola: 203341 markings, 207937 edges, 2706 markings/sec, 70 secs
lola: 216936 markings, 221841 edges, 2719 markings/sec, 75 secs
lola: 230629 markings, 235865 edges, 2739 markings/sec, 80 secs
lola: 244249 markings, 249772 edges, 2724 markings/sec, 85 secs
lola: 257805 markings, 263659 edges, 2711 markings/sec, 90 secs
lola: 271284 markings, 277430 edges, 2696 markings/sec, 95 secs
lola: 284885 markings, 291343 edges, 2720 markings/sec, 100 secs
lola: 298448 markings, 305193 edges, 2713 markings/sec, 105 secs
lola: 311946 markings, 319027 edges, 2700 markings/sec, 110 secs
lola: 325437 markings, 332806 edges, 2698 markings/sec, 115 secs
lola: 339358 markings, 347039 edges, 2784 markings/sec, 120 secs
lola: 353427 markings, 361445 edges, 2814 markings/sec, 125 secs
lola: 367392 markings, 375722 edges, 2793 markings/sec, 130 secs
lola: 381456 markings, 390099 edges, 2813 markings/sec, 135 secs
lola: 395501 markings, 404456 edges, 2809 markings/sec, 140 secs
lola: 409513 markings, 418804 edges, 2802 markings/sec, 145 secs
lola: 423483 markings, 433086 edges, 2794 markings/sec, 150 secs
lola: 437649 markings, 447571 edges, 2833 markings/sec, 155 secs
lola: 451705 markings, 461939 edges, 2811 markings/sec, 160 secs
lola: 465667 markings, 476238 edges, 2792 markings/sec, 165 secs
lola: 479678 markings, 490562 edges, 2802 markings/sec, 170 secs
lola: 493520 markings, 504691 edges, 2768 markings/sec, 175 secs
lola: 507050 markings, 518558 edges, 2706 markings/sec, 180 secs
lola: 520535 markings, 532329 edges, 2697 markings/sec, 185 secs
lola: 534445 markings, 546527 edges, 2782 markings/sec, 190 secs
lola: 548480 markings, 560874 edges, 2807 markings/sec, 195 secs
lola: 562448 markings, 575179 edges, 2794 markings/sec, 200 secs
lola: 576439 markings, 589483 edges, 2798 markings/sec, 205 secs
lola: 590515 markings, 603871 edges, 2815 markings/sec, 210 secs
lola: 604541 markings, 618234 edges, 2805 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(p72 + p71 + p70 + p69 + p68 + p67 + p66 + p65 + p64 + p63 + p62 + p61 + p60 + p59 + p58 + p57 + p56 + p55 + p73 + p74 + p75 + p76 + p77 + p78)
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: 13494 markings, 45352 edges, 2699 markings/sec, 0 secs
lola: 26662 markings, 84241 edges, 2634 markings/sec, 5 secs
lola: 40052 markings, 123779 edges, 2678 markings/sec, 10 secs
lola: 53648 markings, 162109 edges, 2719 markings/sec, 15 secs
lola: 67244 markings, 198886 edges, 2719 markings/sec, 20 secs
lola: 80853 markings, 224430 edges, 2722 markings/sec, 25 secs
lola: 94322 markings, 261722 edges, 2694 markings/sec, 30 secs
lola: 107831 markings, 292261 edges, 2702 markings/sec, 35 secs
lola: 121343 markings, 325645 edges, 2702 markings/sec, 40 secs
lola: 134813 markings, 357803 edges, 2694 markings/sec, 45 secs
lola: 148150 markings, 390488 edges, 2667 markings/sec, 50 secs
lola: 161601 markings, 421235 edges, 2690 markings/sec, 55 secs
lola: 174789 markings, 449088 edges, 2638 markings/sec, 60 secs
lola: 187431 markings, 487274 edges, 2528 markings/sec, 65 secs
lola: 200283 markings, 512591 edges, 2570 markings/sec, 70 secs
lola: 213274 markings, 535877 edges, 2598 markings/sec, 75 secs
lola: 226746 markings, 561901 edges, 2694 markings/sec, 80 secs
lola: 240271 markings, 588586 edges, 2705 markings/sec, 85 secs
lola: 253688 markings, 619096 edges, 2683 markings/sec, 90 secs
lola: 266964 markings, 641850 edges, 2655 markings/sec, 95 secs
lola: 279588 markings, 667926 edges, 2525 markings/sec, 100 secs
lola: 292351 markings, 694429 edges, 2553 markings/sec, 105 secs
lola: 305138 markings, 716536 edges, 2557 markings/sec, 110 secs
lola: 317845 markings, 748228 edges, 2541 markings/sec, 115 secs
lola: 330824 markings, 773284 edges, 2596 markings/sec, 120 secs
lola: 343951 markings, 801366 edges, 2625 markings/sec, 125 secs
lola: 357012 markings, 830569 edges, 2612 markings/sec, 130 secs
lola: 370058 markings, 852883 edges, 2609 markings/sec, 135 secs
lola: 383588 markings, 875218 edges, 2706 markings/sec, 140 secs
lola: 396602 markings, 898887 edges, 2603 markings/sec, 145 secs
lola: 409345 markings, 924488 edges, 2549 markings/sec, 150 secs
lola: 422474 markings, 952464 edges, 2626 markings/sec, 155 secs
lola: 435631 markings, 977586 edges, 2631 markings/sec, 160 secs
lola: 448684 markings, 1004059 edges, 2611 markings/sec, 165 secs
lola: 461618 markings, 1029367 edges, 2587 markings/sec, 170 secs
lola: 474955 markings, 1052729 edges, 2667 markings/sec, 175 secs
lola: 488204 markings, 1077741 edges, 2650 markings/sec, 180 secs
lola: 501669 markings, 1100157 edges, 2693 markings/sec, 185 secs
lola: 514937 markings, 1125512 edges, 2654 markings/sec, 190 secs
lola: 528184 markings, 1150504 edges, 2649 markings/sec, 195 secs
lola: 541336 markings, 1175379 edges, 2630 markings/sec, 200 secs
lola: 554766 markings, 1200920 edges, 2686 markings/sec, 205 secs
lola: 568119 markings, 1224127 edges, 2671 markings/sec, 210 secs
lola: 581575 markings, 1246307 edges, 2691 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(p184)
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: 14281 markings, 16806 edges, 2856 markings/sec, 0 secs
lola: 28513 markings, 31087 edges, 2846 markings/sec, 5 secs
lola: 42766 markings, 45388 edges, 2851 markings/sec, 10 secs
lola: 57041 markings, 59808 edges, 2855 markings/sec, 15 secs
lola: 71273 markings, 74090 edges, 2846 markings/sec, 20 secs
lola: 85345 markings, 88213 edges, 2814 markings/sec, 25 secs
lola: 99318 markings, 102235 edges, 2795 markings/sec, 30 secs
lola: 113443 markings, 116418 edges, 2825 markings/sec, 35 secs
lola: 127539 markings, 130646 edges, 2819 markings/sec, 40 secs
lola: 141606 markings, 144763 edges, 2813 markings/sec, 45 secs
lola: 155246 markings, 158452 edges, 2728 markings/sec, 50 secs
lola: 169284 markings, 172539 edges, 2808 markings/sec, 55 secs
lola: 183438 markings, 186743 edges, 2831 markings/sec, 60 secs
lola: 197339 markings, 200695 edges, 2780 markings/sec, 65 secs
lola: 211408 markings, 214813 edges, 2814 markings/sec, 70 secs
lola: 225606 markings, 229059 edges, 2840 markings/sec, 75 secs
lola: 239747 markings, 243254 edges, 2828 markings/sec, 80 secs
lola: 253815 markings, 257370 edges, 2814 markings/sec, 85 secs
lola: 267974 markings, 271579 edges, 2832 markings/sec, 90 secs
lola: 282132 markings, 285786 edges, 2832 markings/sec, 95 secs
lola: 296219 markings, 299923 edges, 2817 markings/sec, 100 secs
lola: 310312 markings, 314065 edges, 2819 markings/sec, 105 secs
lola: 324479 markings, 328377 edges, 2833 markings/sec, 110 secs
lola: 338541 markings, 342487 edges, 2812 markings/sec, 115 secs
lola: 352741 markings, 356740 edges, 2840 markings/sec, 120 secs
lola: 366896 markings, 370943 edges, 2831 markings/sec, 125 secs
lola: 380975 markings, 385073 edges, 2816 markings/sec, 130 secs
lola: 395082 markings, 399232 edges, 2821 markings/sec, 135 secs
lola: 409248 markings, 413446 edges, 2833 markings/sec, 140 secs
lola: 423338 markings, 427587 edges, 2818 markings/sec, 145 secs
lola: 437393 markings, 441691 edges, 2811 markings/sec, 150 secs
lola: 451561 markings, 455908 edges, 2834 markings/sec, 155 secs
lola: 465698 markings, 470093 edges, 2827 markings/sec, 160 secs
lola: 479770 markings, 484219 edges, 2814 markings/sec, 165 secs
lola: 493871 markings, 498369 edges, 2820 markings/sec, 170 secs
lola: 508010 markings, 512556 edges, 2828 markings/sec, 175 secs
lola: 522215 markings, 526899 edges, 2841 markings/sec, 180 secs
lola: 536374 markings, 541106 edges, 2832 markings/sec, 185 secs
lola: 550463 markings, 555246 edges, 2818 markings/sec, 190 secs
lola: 564482 markings, 569313 edges, 2804 markings/sec, 195 secs
lola: 578654 markings, 583537 edges, 2834 markings/sec, 200 secs
lola: 592783 markings, 597714 edges, 2826 markings/sec, 205 secs
lola: 606823 markings, 611805 edges, 2808 markings/sec, 210 secs
lola: 620927 markings, 625960 edges, 2821 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(p396 + p397 + p398 + p399 + p400 + p401 + p402 + p403 + p404 + p405 + p406 + p407 + p408 + p409 + p410 + p411 + p412 + p413 + p414 + p415 + p416 + p417 + p418 + p419)
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: 14157 markings, 16569 edges, 2831 markings/sec, 0 secs
lola: 28291 markings, 30788 edges, 2827 markings/sec, 5 secs
lola: 42413 markings, 44935 edges, 2824 markings/sec, 10 secs
lola: 56453 markings, 59002 edges, 2808 markings/sec, 15 secs
lola: 70680 markings, 73408 edges, 2845 markings/sec, 20 secs
lola: 84653 markings, 87405 edges, 2795 markings/sec, 25 secs
lola: 98702 markings, 101479 edges, 2810 markings/sec, 30 secs
lola: 112699 markings, 115502 edges, 2799 markings/sec, 35 secs
lola: 126752 markings, 129581 edges, 2811 markings/sec, 40 secs
lola: 140831 markings, 143685 edges, 2816 markings/sec, 45 secs
lola: 154790 markings, 157771 edges, 2792 markings/sec, 50 secs
lola: 168999 markings, 172135 edges, 2842 markings/sec, 55 secs
lola: 183065 markings, 186225 edges, 2813 markings/sec, 60 secs
lola: 197052 markings, 200238 edges, 2797 markings/sec, 65 secs
lola: 211048 markings, 214259 edges, 2799 markings/sec, 70 secs
lola: 225131 markings, 228367 edges, 2817 markings/sec, 75 secs
lola: 239154 markings, 242415 edges, 2805 markings/sec, 80 secs
lola: 253128 markings, 256413 edges, 2795 markings/sec, 85 secs
lola: 267200 markings, 270511 edges, 2814 markings/sec, 90 secs
lola: 281233 markings, 284568 edges, 2807 markings/sec, 95 secs
lola: 295197 markings, 298559 edges, 2793 markings/sec, 100 secs
lola: 309210 markings, 312597 edges, 2803 markings/sec, 105 secs
lola: 322947 markings, 326358 edges, 2747 markings/sec, 110 secs
lola: 336924 markings, 340360 edges, 2795 markings/sec, 115 secs
lola: 350602 markings, 354062 edges, 2736 markings/sec, 120 secs
lola: 364602 markings, 368184 edges, 2800 markings/sec, 125 secs
lola: 378760 markings, 382556 edges, 2832 markings/sec, 130 secs
lola: 392994 markings, 397017 edges, 2847 markings/sec, 135 secs
lola: 407170 markings, 411560 edges, 2835 markings/sec, 140 secs
lola: 421601 markings, 426267 edges, 2886 markings/sec, 145 secs
lola: 435871 markings, 440664 edges, 2854 markings/sec, 150 secs
lola: 450048 markings, 455034 edges, 2835 markings/sec, 155 secs
lola: 464307 markings, 469643 edges, 2852 markings/sec, 160 secs
lola: 478591 markings, 484197 edges, 2857 markings/sec, 165 secs
lola: 492872 markings, 498618 edges, 2856 markings/sec, 170 secs
lola: 507333 markings, 513353 edges, 2892 markings/sec, 175 secs
lola: 521702 markings, 528074 edges, 2874 markings/sec, 180 secs
lola: 535920 markings, 542546 edges, 2844 markings/sec, 185 secs
lola: 550354 markings, 557154 edges, 2887 markings/sec, 190 secs
lola: 564665 markings, 571780 edges, 2862 markings/sec, 195 secs
lola: 578899 markings, 586183 edges, 2847 markings/sec, 200 secs
lola: 593312 markings, 600848 edges, 2883 markings/sec, 205 secs
lola: 607653 markings, 615355 edges, 2868 markings/sec, 210 secs
lola: 621916 markings, 629978 edges, 2853 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(p176 + p177 + p178 + p179)
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: 14379 markings, 14503 edges, 2876 markings/sec, 0 secs
lola: 28667 markings, 28840 edges, 2858 markings/sec, 5 secs
lola: 42890 markings, 43115 edges, 2845 markings/sec, 10 secs
lola: 57198 markings, 57472 edges, 2862 markings/sec, 15 secs
lola: 71495 markings, 71820 edges, 2859 markings/sec, 20 secs
lola: 85733 markings, 86110 edges, 2848 markings/sec, 25 secs
lola: 99970 markings, 100396 edges, 2847 markings/sec, 30 secs
lola: 114296 markings, 114773 edges, 2865 markings/sec, 35 secs
lola: 128541 markings, 129069 edges, 2849 markings/sec, 40 secs
lola: 142738 markings, 143315 edges, 2839 markings/sec, 45 secs
lola: 157058 markings, 157684 edges, 2864 markings/sec, 50 secs
lola: 171339 markings, 172016 edges, 2856 markings/sec, 55 secs
lola: 185530 markings, 186258 edges, 2838 markings/sec, 60 secs
lola: 199750 markings, 200532 edges, 2844 markings/sec, 65 secs
lola: 214006 markings, 214997 edges, 2851 markings/sec, 70 secs
lola: 228346 markings, 229843 edges, 2868 markings/sec, 75 secs
lola: 242571 markings, 244117 edges, 2845 markings/sec, 80 secs
lola: 256875 markings, 258473 edges, 2861 markings/sec, 85 secs
lola: 271140 markings, 272790 edges, 2853 markings/sec, 90 secs
lola: 285445 markings, 287146 edges, 2861 markings/sec, 95 secs
lola: 299625 markings, 301378 edges, 2836 markings/sec, 100 secs
lola: 313783 markings, 315588 edges, 2832 markings/sec, 105 secs
lola: 327983 markings, 329839 edges, 2840 markings/sec, 110 secs
lola: 342145 markings, 344050 edges, 2832 markings/sec, 115 secs
lola: 356305 markings, 358939 edges, 2832 markings/sec, 120 secs
lola: 370533 markings, 373687 edges, 2846 markings/sec, 125 secs
lola: 384717 markings, 388098 edges, 2837 markings/sec, 130 secs
lola: 398913 markings, 402346 edges, 2839 markings/sec, 135 secs
lola: 413103 markings, 416584 edges, 2838 markings/sec, 140 secs
lola: 427417 markings, 430950 edges, 2863 markings/sec, 145 secs
lola: 441696 markings, 445281 edges, 2856 markings/sec, 150 secs
lola: 455882 markings, 459516 edges, 2837 markings/sec, 155 secs
lola: 470164 markings, 473849 edges, 2856 markings/sec, 160 secs
lola: 484424 markings, 488157 edges, 2852 markings/sec, 165 secs
lola: 498629 markings, 502414 edges, 2841 markings/sec, 170 secs
lola: 512803 markings, 516644 edges, 2835 markings/sec, 175 secs
lola: 527159 markings, 531322 edges, 2871 markings/sec, 180 secs
lola: 541395 markings, 546013 edges, 2847 markings/sec, 185 secs
lola: 555687 markings, 560438 edges, 2858 markings/sec, 190 secs
lola: 569856 markings, 574751 edges, 2834 markings/sec, 195 secs
lola: 584218 markings, 589476 edges, 2872 markings/sec, 200 secs
lola: 598439 markings, 604346 edges, 2844 markings/sec, 205 secs
lola: 612710 markings, 618666 edges, 2854 markings/sec, 210 secs
lola: 626968 markings, 633523 edges, 2852 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(p197 + p198 + p199 + p200)
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: 13571 markings, 13832 edges, 2714 markings/sec, 0 secs
lola: 27052 markings, 27528 edges, 2696 markings/sec, 5 secs
lola: 40415 markings, 41107 edges, 2673 markings/sec, 10 secs
lola: 53833 markings, 54724 edges, 2684 markings/sec, 15 secs
lola: 67304 markings, 68394 edges, 2694 markings/sec, 20 secs
lola: 80709 markings, 82031 edges, 2681 markings/sec, 25 secs
lola: 94063 markings, 95584 edges, 2671 markings/sec, 30 secs
lola: 107488 markings, 109225 edges, 2685 markings/sec, 35 secs
lola: 120912 markings, 122848 edges, 2685 markings/sec, 40 secs
lola: 134285 markings, 136452 edges, 2675 markings/sec, 45 secs
lola: 147625 markings, 149991 edges, 2668 markings/sec, 50 secs
lola: 161077 markings, 163660 edges, 2690 markings/sec, 55 secs
lola: 174518 markings, 177316 edges, 2688 markings/sec, 60 secs
lola: 187852 markings, 190866 edges, 2667 markings/sec, 65 secs
lola: 201197 markings, 204411 edges, 2669 markings/sec, 70 secs
lola: 214596 markings, 218151 edges, 2680 markings/sec, 75 secs
lola: 228101 markings, 232309 edges, 2701 markings/sec, 80 secs
lola: 241449 markings, 245872 edges, 2670 markings/sec, 85 secs
lola: 254855 markings, 259494 edges, 2681 markings/sec, 90 secs
lola: 268241 markings, 273096 edges, 2677 markings/sec, 95 secs
lola: 281621 markings, 286675 edges, 2676 markings/sec, 100 secs
lola: 295012 markings, 300282 edges, 2678 markings/sec, 105 secs
lola: 308353 markings, 313820 edges, 2668 markings/sec, 110 secs
lola: 321763 markings, 327446 edges, 2682 markings/sec, 115 secs
lola: 335138 markings, 341036 edges, 2675 markings/sec, 120 secs
lola: 348518 markings, 354648 edges, 2676 markings/sec, 125 secs
lola: 361896 markings, 368972 edges, 2676 markings/sec, 130 secs
lola: 375341 markings, 383174 edges, 2689 markings/sec, 135 secs
lola: 388752 markings, 396840 edges, 2682 markings/sec, 140 secs
lola: 402126 markings, 410430 edges, 2675 markings/sec, 145 secs
lola: 415411 markings, 423930 edges, 2657 markings/sec, 150 secs
lola: 428837 markings, 437556 edges, 2685 markings/sec, 155 secs
lola: 442203 markings, 451120 edges, 2673 markings/sec, 160 secs
lola: 455510 markings, 464643 edges, 2661 markings/sec, 165 secs
lola: 468812 markings, 478161 edges, 2660 markings/sec, 170 secs
lola: 482227 markings, 491775 edges, 2683 markings/sec, 175 secs
lola: 495578 markings, 505341 edges, 2670 markings/sec, 180 secs
lola: 508868 markings, 518847 edges, 2658 markings/sec, 185 secs
lola: 522204 markings, 532395 edges, 2667 markings/sec, 190 secs
lola: 535717 markings, 546490 edges, 2703 markings/sec, 195 secs
lola: 548965 markings, 560227 edges, 2650 markings/sec, 200 secs
lola: 562372 markings, 573916 edges, 2681 markings/sec, 205 secs
lola: 575644 markings, 587497 edges, 2654 markings/sec, 210 secs
lola: 589060 markings, 601275 edges, 2683 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(p283 + p284 + p285 + p286 + p287 + p288 + p289)
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: 14085 markings, 14889 edges, 2817 markings/sec, 0 secs
lola: 28257 markings, 29517 edges, 2834 markings/sec, 5 secs
lola: 42360 markings, 44076 edges, 2821 markings/sec, 10 secs
lola: 56374 markings, 58990 edges, 2803 markings/sec, 15 secs
lola: 70468 markings, 73718 edges, 2819 markings/sec, 20 secs
lola: 84530 markings, 88273 edges, 2812 markings/sec, 25 secs
lola: 98512 markings, 102711 edges, 2796 markings/sec, 30 secs
lola: 112588 markings, 117321 edges, 2815 markings/sec, 35 secs
lola: 126568 markings, 131719 edges, 2796 markings/sec, 40 secs
lola: 140641 markings, 146339 edges, 2815 markings/sec, 45 secs
lola: 154716 markings, 160907 edges, 2815 markings/sec, 50 secs
lola: 168684 markings, 175294 edges, 2794 markings/sec, 55 secs
lola: 182757 markings, 189824 edges, 2815 markings/sec, 60 secs
lola: 196858 markings, 204365 edges, 2820 markings/sec, 65 secs
lola: 210917 markings, 218880 edges, 2812 markings/sec, 70 secs
lola: 225000 markings, 233419 edges, 2817 markings/sec, 75 secs
lola: 239059 markings, 248052 edges, 2812 markings/sec, 80 secs
lola: 253025 markings, 263244 edges, 2793 markings/sec, 85 secs
lola: 267234 markings, 278196 edges, 2842 markings/sec, 90 secs
lola: 281298 markings, 292716 edges, 2813 markings/sec, 95 secs
lola: 295317 markings, 307227 edges, 2804 markings/sec, 100 secs
lola: 309274 markings, 321639 edges, 2791 markings/sec, 105 secs
lola: 323401 markings, 336223 edges, 2825 markings/sec, 110 secs
lola: 337475 markings, 350753 edges, 2815 markings/sec, 115 secs
lola: 351437 markings, 365171 edges, 2792 markings/sec, 120 secs
lola: 365468 markings, 379659 edges, 2806 markings/sec, 125 secs
lola: 379550 markings, 394197 edges, 2816 markings/sec, 130 secs
lola: 393553 markings, 408692 edges, 2801 markings/sec, 135 secs
lola: 407495 markings, 423090 edges, 2788 markings/sec, 140 secs
lola: 421558 markings, 437558 edges, 2813 markings/sec, 145 secs
lola: 435632 markings, 452126 edges, 2815 markings/sec, 150 secs
lola: 449673 markings, 466958 edges, 2808 markings/sec, 155 secs
lola: 463703 markings, 481580 edges, 2806 markings/sec, 160 secs
lola: 477725 markings, 496418 edges, 2804 markings/sec, 165 secs
lola: 491640 markings, 511156 edges, 2783 markings/sec, 170 secs
lola: 505685 markings, 525912 edges, 2809 markings/sec, 175 secs
lola: 519810 markings, 541156 edges, 2825 markings/sec, 180 secs
lola: 533585 markings, 556070 edges, 2755 markings/sec, 185 secs
lola: 547576 markings, 570619 edges, 2798 markings/sec, 190 secs
lola: 561550 markings, 585951 edges, 2795 markings/sec, 195 secs
lola: 575490 markings, 600887 edges, 2788 markings/sec, 200 secs
lola: 589544 markings, 615775 edges, 2811 markings/sec, 205 secs
lola: 603475 markings, 630337 edges, 2786 markings/sec, 210 secs
lola: 617543 markings, 644861 edges, 2814 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(p217)
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: 14070 markings, 14875 edges, 2814 markings/sec, 0 secs
lola: 28221 markings, 29481 edges, 2830 markings/sec, 5 secs
lola: 42295 markings, 44011 edges, 2815 markings/sec, 10 secs
lola: 56298 markings, 58914 edges, 2801 markings/sec, 15 secs
lola: 70368 markings, 73618 edges, 2814 markings/sec, 20 secs
lola: 84426 markings, 88169 edges, 2812 markings/sec, 25 secs
lola: 98403 markings, 102571 edges, 2795 markings/sec, 30 secs
lola: 112491 markings, 117199 edges, 2818 markings/sec, 35 secs
lola: 126452 markings, 131603 edges, 2792 markings/sec, 40 secs
lola: 140523 markings, 146221 edges, 2814 markings/sec, 45 secs
lola: 154585 markings, 160765 edges, 2812 markings/sec, 50 secs
lola: 168544 markings, 175154 edges, 2792 markings/sec, 55 secs
lola: 182618 markings, 189685 edges, 2815 markings/sec, 60 secs
lola: 196723 markings, 204230 edges, 2821 markings/sec, 65 secs
lola: 210786 markings, 218749 edges, 2813 markings/sec, 70 secs
lola: 224870 markings, 233289 edges, 2817 markings/sec, 75 secs
lola: 238942 markings, 247935 edges, 2814 markings/sec, 80 secs
lola: 252903 markings, 263122 edges, 2792 markings/sec, 85 secs
lola: 267099 markings, 278061 edges, 2839 markings/sec, 90 secs
lola: 281172 markings, 292590 edges, 2815 markings/sec, 95 secs
lola: 295203 markings, 307112 edges, 2806 markings/sec, 100 secs
lola: 309175 markings, 321540 edges, 2794 markings/sec, 105 secs
lola: 323304 markings, 336126 edges, 2826 markings/sec, 110 secs
lola: 337382 markings, 350629 edges, 2816 markings/sec, 115 secs
lola: 351335 markings, 365069 edges, 2791 markings/sec, 120 secs
lola: 365370 markings, 379561 edges, 2807 markings/sec, 125 secs
lola: 379445 markings, 394092 edges, 2815 markings/sec, 130 secs
lola: 393453 markings, 408592 edges, 2802 markings/sec, 135 secs
lola: 407404 markings, 422999 edges, 2790 markings/sec, 140 secs
lola: 421465 markings, 437465 edges, 2812 markings/sec, 145 secs
lola: 435533 markings, 452027 edges, 2814 markings/sec, 150 secs
lola: 449569 markings, 466854 edges, 2807 markings/sec, 155 secs
lola: 463723 markings, 481600 edges, 2831 markings/sec, 160 secs
lola: 477611 markings, 496293 edges, 2778 markings/sec, 165 secs
lola: 491348 markings, 510864 edges, 2747 markings/sec, 170 secs
lola: 505116 markings, 525343 edges, 2754 markings/sec, 175 secs
lola: 519067 markings, 540374 edges, 2790 markings/sec, 180 secs
lola: 532231 markings, 554609 edges, 2633 markings/sec, 185 secs
lola: 546306 markings, 569311 edges, 2815 markings/sec, 190 secs
lola: 560173 markings, 584400 edges, 2773 markings/sec, 195 secs
lola: 574119 markings, 599447 edges, 2789 markings/sec, 200 secs
lola: 588240 markings, 614433 edges, 2824 markings/sec, 205 secs
lola: 602286 markings, 628944 edges, 2809 markings/sec, 210 secs
lola: 616436 markings, 643717 edges, 2830 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 1496432895607
--------------------
content from stderr:
----- Start make prepare stderr -----
----- Start make result stderr -----
----- Start make result stderr -----
----- Kill lola and sara stderr -----
----- Finished stderr -----
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="S_PolyORBLF-COL-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/S_PolyORBLF-COL-S06J06T04.tgz
mv S_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 S_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 r128-smll-149441681500398"
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 ;