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-S04J04T06, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r048-smll-149440869800317
=====================================================================

--------------------
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-S04J04T06-UpperBounds-0
FORMULA_NAME PolyORBLF-COL-S04J04T06-UpperBounds-1
FORMULA_NAME PolyORBLF-COL-S04J04T06-UpperBounds-10
FORMULA_NAME PolyORBLF-COL-S04J04T06-UpperBounds-11
FORMULA_NAME PolyORBLF-COL-S04J04T06-UpperBounds-12
FORMULA_NAME PolyORBLF-COL-S04J04T06-UpperBounds-13
FORMULA_NAME PolyORBLF-COL-S04J04T06-UpperBounds-14
FORMULA_NAME PolyORBLF-COL-S04J04T06-UpperBounds-15
FORMULA_NAME PolyORBLF-COL-S04J04T06-UpperBounds-2
FORMULA_NAME PolyORBLF-COL-S04J04T06-UpperBounds-3
FORMULA_NAME PolyORBLF-COL-S04J04T06-UpperBounds-4
FORMULA_NAME PolyORBLF-COL-S04J04T06-UpperBounds-5
FORMULA_NAME PolyORBLF-COL-S04J04T06-UpperBounds-6
FORMULA_NAME PolyORBLF-COL-S04J04T06-UpperBounds-7
FORMULA_NAME PolyORBLF-COL-S04J04T06-UpperBounds-8
FORMULA_NAME PolyORBLF-COL-S04J04T06-UpperBounds-9

=== Now, execution of the tool begins

BK_START 1494621743317


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ PolyORBLF-COL-S04J04T06 @ 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: 3552/65536 symbol table entries, 457 collisions
lola: preprocessing...
lola: finding significant places
lola: 554 places, 2998 transitions, 504 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1821 transition conflict sets
lola: TASK
lola: reading formula from PolyORBLF-COL-S04J04T06-UpperBounds.task
lola: MAX(p392) : MAX(p386 + p387 + p388 + p389 + p390 + p391) : MAX(p83) : MAX(p83) : MAX(p394) : MAX(p65 + p64 + p63 + p62 + p61 + p60) : MAX(p292) : MAX(p528) : MAX(p530 + p531 + p532 + p533 + p534 + p535 + p536 + p537 + p538 + p539 + p540 + p541 + p542 + p543 + p544 + p545 + p546 + p547 + p548 + p549 + p550 + p551 + p552 + p553) : MAX(p464 + p465 + p466 + p467 + p468 + p469) : MAX(p294 + p295 + p296 + p297 + p298 + p299) : MAX(p90) : MAX(p6 + p7 + p8 + p9 + p10 + p11) : MAX(p71 + p72 + p73 + p74 + p75 + p76) : MAX(p95 + p94 + p93 + p92 + p91 + p96) : MAX(p56 + p57 + p58 + p59)
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(p392)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2016 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: 40864 markings, 44118 edges, 8173 markings/sec, 0 secs
lola: 81384 markings, 89882 edges, 8104 markings/sec, 5 secs
lola: 121621 markings, 136368 edges, 8047 markings/sec, 10 secs
lola: 161519 markings, 186001 edges, 7980 markings/sec, 15 secs
lola: 201548 markings, 233697 edges, 8006 markings/sec, 20 secs
lola: 241202 markings, 282769 edges, 7931 markings/sec, 25 secs
lola: 280867 markings, 331560 edges, 7933 markings/sec, 30 secs
lola: 320671 markings, 379825 edges, 7961 markings/sec, 35 secs
lola: 360312 markings, 429520 edges, 7928 markings/sec, 40 secs
lola: 399790 markings, 479325 edges, 7896 markings/sec, 45 secs
lola: 439066 markings, 530858 edges, 7855 markings/sec, 50 secs
lola: 478183 markings, 580452 edges, 7823 markings/sec, 55 secs
lola: 515587 markings, 628613 edges, 7481 markings/sec, 60 secs
lola: 553231 markings, 676054 edges, 7529 markings/sec, 65 secs
lola: 590966 markings, 722685 edges, 7547 markings/sec, 70 secs
lola: 628503 markings, 770036 edges, 7507 markings/sec, 75 secs
lola: 666068 markings, 816627 edges, 7513 markings/sec, 80 secs
lola: 703532 markings, 863984 edges, 7493 markings/sec, 85 secs
lola: 741160 markings, 911551 edges, 7526 markings/sec, 90 secs
lola: 778740 markings, 959257 edges, 7516 markings/sec, 95 secs
lola: 817059 markings, 1009454 edges, 7664 markings/sec, 100 secs
lola: 855872 markings, 1061788 edges, 7763 markings/sec, 105 secs
lola: 894695 markings, 1114118 edges, 7765 markings/sec, 110 secs
lola: 933896 markings, 1163799 edges, 7840 markings/sec, 115 secs
lola: 972898 markings, 1212848 edges, 7800 markings/sec, 120 secs
lola: 1011914 markings, 1262963 edges, 7803 markings/sec, 125 secs
lola: 1051039 markings, 1313383 edges, 7825 markings/sec, 130 secs
lola: 1090003 markings, 1364152 edges, 7793 markings/sec, 135 secs
lola: 1128914 markings, 1415246 edges, 7782 markings/sec, 140 secs
lola: 1167742 markings, 1465957 edges, 7766 markings/sec, 145 secs
lola: 1206679 markings, 1516367 edges, 7787 markings/sec, 150 secs
lola: 1245584 markings, 1566884 edges, 7781 markings/sec, 155 secs
lola: 1284511 markings, 1618423 edges, 7785 markings/sec, 160 secs
lola: 1323407 markings, 1669138 edges, 7779 markings/sec, 165 secs
lola: 1362313 markings, 1719064 edges, 7781 markings/sec, 170 secs
lola: 1401197 markings, 1770811 edges, 7777 markings/sec, 175 secs
lola: 1440109 markings, 1820525 edges, 7782 markings/sec, 180 secs
lola: 1478950 markings, 1870297 edges, 7768 markings/sec, 185 secs
lola: 1517989 markings, 1920546 edges, 7808 markings/sec, 190 secs
lola: 1556775 markings, 1970951 edges, 7757 markings/sec, 195 secs
lola: 1595548 markings, 2022256 edges, 7755 markings/sec, 200 secs
lola: 1634538 markings, 2071869 edges, 7798 markings/sec, 205 secs
lola: 1673422 markings, 2121266 edges, 7777 markings/sec, 210 secs
lola: 1712287 markings, 2173007 edges, 7773 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(p386 + p387 + p388 + p389 + p390 + p391)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2016 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: 42324 markings, 44652 edges, 8465 markings/sec, 0 secs
lola: 83999 markings, 88629 edges, 8335 markings/sec, 5 secs
lola: 125416 markings, 134871 edges, 8283 markings/sec, 10 secs
lola: 166535 markings, 180770 edges, 8224 markings/sec, 15 secs
lola: 207530 markings, 228705 edges, 8199 markings/sec, 20 secs
lola: 248430 markings, 276314 edges, 8180 markings/sec, 25 secs
lola: 289015 markings, 325297 edges, 8117 markings/sec, 30 secs
lola: 329570 markings, 373041 edges, 8111 markings/sec, 35 secs
lola: 370221 markings, 420570 edges, 8130 markings/sec, 40 secs
lola: 410621 markings, 469589 edges, 8080 markings/sec, 45 secs
lola: 451188 markings, 516093 edges, 8113 markings/sec, 50 secs
lola: 491867 markings, 563843 edges, 8136 markings/sec, 55 secs
lola: 532268 markings, 611983 edges, 8080 markings/sec, 60 secs
lola: 572464 markings, 658182 edges, 8039 markings/sec, 65 secs
lola: 610980 markings, 703745 edges, 7703 markings/sec, 70 secs
lola: 649938 markings, 750392 edges, 7792 markings/sec, 75 secs
lola: 690408 markings, 796669 edges, 8094 markings/sec, 80 secs
lola: 730870 markings, 843685 edges, 8092 markings/sec, 85 secs
lola: 771471 markings, 890910 edges, 8120 markings/sec, 90 secs
lola: 811877 markings, 936825 edges, 8081 markings/sec, 95 secs
lola: 852337 markings, 983207 edges, 8092 markings/sec, 100 secs
lola: 892766 markings, 1030192 edges, 8086 markings/sec, 105 secs
lola: 933093 markings, 1077772 edges, 8065 markings/sec, 110 secs
lola: 973398 markings, 1123884 edges, 8061 markings/sec, 115 secs
lola: 1013823 markings, 1170600 edges, 8085 markings/sec, 120 secs
lola: 1053987 markings, 1217905 edges, 8033 markings/sec, 125 secs
lola: 1094316 markings, 1265112 edges, 8066 markings/sec, 130 secs
lola: 1134417 markings, 1313123 edges, 8020 markings/sec, 135 secs
lola: 1174853 markings, 1360931 edges, 8087 markings/sec, 140 secs
lola: 1215223 markings, 1410329 edges, 8074 markings/sec, 145 secs
lola: 1255494 markings, 1459028 edges, 8054 markings/sec, 150 secs
lola: 1295783 markings, 1506149 edges, 8058 markings/sec, 155 secs
lola: 1336001 markings, 1553537 edges, 8044 markings/sec, 160 secs
lola: 1376045 markings, 1602860 edges, 8009 markings/sec, 165 secs
lola: 1416150 markings, 1649952 edges, 8021 markings/sec, 170 secs
lola: 1456122 markings, 1697993 edges, 7994 markings/sec, 175 secs
lola: 1496099 markings, 1746907 edges, 7995 markings/sec, 180 secs
lola: 1534883 markings, 1794807 edges, 7757 markings/sec, 185 secs
lola: 1573208 markings, 1841450 edges, 7665 markings/sec, 190 secs
lola: 1611488 markings, 1887652 edges, 7656 markings/sec, 195 secs
lola: 1649742 markings, 1933519 edges, 7651 markings/sec, 200 secs
lola: 1687882 markings, 1980349 edges, 7628 markings/sec, 205 secs
lola: 1725939 markings, 2026885 edges, 7611 markings/sec, 210 secs
lola: 1764178 markings, 2072957 edges, 7648 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(p83)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2016 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: 40851 markings, 43114 edges, 8170 markings/sec, 0 secs
lola: 81037 markings, 85528 edges, 8037 markings/sec, 5 secs
lola: 121058 markings, 129909 edges, 8004 markings/sec, 10 secs
lola: 160652 markings, 174545 edges, 7919 markings/sec, 15 secs
lola: 200324 markings, 221157 edges, 7934 markings/sec, 20 secs
lola: 239917 markings, 266424 edges, 7919 markings/sec, 25 secs
lola: 279256 markings, 313473 edges, 7868 markings/sec, 30 secs
lola: 318478 markings, 358940 edges, 7844 markings/sec, 35 secs
lola: 357673 markings, 405519 edges, 7839 markings/sec, 40 secs
lola: 396938 markings, 451014 edges, 7853 markings/sec, 45 secs
lola: 435882 markings, 498341 edges, 7789 markings/sec, 50 secs
lola: 475087 markings, 544261 edges, 7841 markings/sec, 55 secs
lola: 514215 markings, 590132 edges, 7826 markings/sec, 60 secs
lola: 553184 markings, 635786 edges, 7794 markings/sec, 65 secs
lola: 592152 markings, 681376 edges, 7794 markings/sec, 70 secs
lola: 631163 markings, 727952 edges, 7802 markings/sec, 75 secs
lola: 670127 markings, 773436 edges, 7793 markings/sec, 80 secs
lola: 709109 markings, 818307 edges, 7796 markings/sec, 85 secs
lola: 748184 markings, 863597 edges, 7815 markings/sec, 90 secs
lola: 787092 markings, 909609 edges, 7782 markings/sec, 95 secs
lola: 826140 markings, 953161 edges, 7810 markings/sec, 100 secs
lola: 864961 markings, 998538 edges, 7764 markings/sec, 105 secs
lola: 903929 markings, 1043002 edges, 7794 markings/sec, 110 secs
lola: 942649 markings, 1089052 edges, 7744 markings/sec, 115 secs
lola: 981460 markings, 1133465 edges, 7762 markings/sec, 120 secs
lola: 1020343 markings, 1178131 edges, 7777 markings/sec, 125 secs
lola: 1058915 markings, 1223858 edges, 7714 markings/sec, 130 secs
lola: 1097817 markings, 1269438 edges, 7780 markings/sec, 135 secs
lola: 1136344 markings, 1315465 edges, 7705 markings/sec, 140 secs
lola: 1175115 markings, 1361207 edges, 7754 markings/sec, 145 secs
lola: 1213763 markings, 1408334 edges, 7730 markings/sec, 150 secs
lola: 1252314 markings, 1455168 edges, 7710 markings/sec, 155 secs
lola: 1290961 markings, 1500431 edges, 7729 markings/sec, 160 secs
lola: 1329479 markings, 1545712 edges, 7704 markings/sec, 165 secs
lola: 1367903 markings, 1593517 edges, 7685 markings/sec, 170 secs
lola: 1406518 markings, 1638792 edges, 7723 markings/sec, 175 secs
lola: 1445064 markings, 1684790 edges, 7709 markings/sec, 180 secs
lola: 1483468 markings, 1732438 edges, 7681 markings/sec, 185 secs
lola: 1522115 markings, 1779506 edges, 7729 markings/sec, 190 secs
lola: 1560509 markings, 1826156 edges, 7679 markings/sec, 195 secs
lola: 1599041 markings, 1872408 edges, 7706 markings/sec, 200 secs
lola: 1637508 markings, 1918511 edges, 7693 markings/sec, 205 secs
lola: 1675819 markings, 1966029 edges, 7662 markings/sec, 210 secs
lola: 1714122 markings, 2012411 edges, 7661 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(p83)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2016 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: 40658 markings, 42908 edges, 8132 markings/sec, 0 secs
lola: 80760 markings, 85244 edges, 8020 markings/sec, 5 secs
lola: 120634 markings, 129356 edges, 7975 markings/sec, 10 secs
lola: 160086 markings, 173956 edges, 7890 markings/sec, 15 secs
lola: 199630 markings, 220370 edges, 7909 markings/sec, 20 secs
lola: 239035 markings, 265484 edges, 7881 markings/sec, 25 secs
lola: 278204 markings, 312306 edges, 7834 markings/sec, 30 secs
lola: 317387 markings, 357696 edges, 7837 markings/sec, 35 secs
lola: 356521 markings, 404225 edges, 7827 markings/sec, 40 secs
lola: 395705 markings, 449637 edges, 7837 markings/sec, 45 secs
lola: 434560 markings, 496849 edges, 7771 markings/sec, 50 secs
lola: 473696 markings, 542622 edges, 7827 markings/sec, 55 secs
lola: 512819 markings, 588509 edges, 7825 markings/sec, 60 secs
lola: 551810 markings, 634139 edges, 7798 markings/sec, 65 secs
lola: 590768 markings, 679807 edges, 7792 markings/sec, 70 secs
lola: 629720 markings, 726151 edges, 7790 markings/sec, 75 secs
lola: 668667 markings, 771794 edges, 7789 markings/sec, 80 secs
lola: 707647 markings, 816583 edges, 7796 markings/sec, 85 secs
lola: 746735 markings, 861866 edges, 7818 markings/sec, 90 secs
lola: 785614 markings, 908118 edges, 7776 markings/sec, 95 secs
lola: 824677 markings, 951544 edges, 7813 markings/sec, 100 secs
lola: 863516 markings, 996889 edges, 7768 markings/sec, 105 secs
lola: 902525 markings, 1041416 edges, 7802 markings/sec, 110 secs
lola: 941308 markings, 1087537 edges, 7757 markings/sec, 115 secs
lola: 980114 markings, 1131893 edges, 7761 markings/sec, 120 secs
lola: 1019070 markings, 1176672 edges, 7791 markings/sec, 125 secs
lola: 1057721 markings, 1222232 edges, 7730 markings/sec, 130 secs
lola: 1096587 markings, 1267968 edges, 7773 markings/sec, 135 secs
lola: 1135196 markings, 1313988 edges, 7722 markings/sec, 140 secs
lola: 1173911 markings, 1359796 edges, 7743 markings/sec, 145 secs
lola: 1212554 markings, 1406900 edges, 7729 markings/sec, 150 secs
lola: 1251073 markings, 1453686 edges, 7704 markings/sec, 155 secs
lola: 1289671 markings, 1498784 edges, 7720 markings/sec, 160 secs
lola: 1328061 markings, 1544148 edges, 7678 markings/sec, 165 secs
lola: 1366509 markings, 1591737 edges, 7690 markings/sec, 170 secs
lola: 1405062 markings, 1637105 edges, 7711 markings/sec, 175 secs
lola: 1443504 markings, 1682990 edges, 7688 markings/sec, 180 secs
lola: 1481936 markings, 1730471 edges, 7686 markings/sec, 185 secs
lola: 1520485 markings, 1777616 edges, 7710 markings/sec, 190 secs
lola: 1558853 markings, 1824150 edges, 7674 markings/sec, 195 secs
lola: 1597347 markings, 1870333 edges, 7699 markings/sec, 200 secs
lola: 1635762 markings, 1916227 edges, 7683 markings/sec, 205 secs
lola: 1674067 markings, 1963861 edges, 7661 markings/sec, 210 secs
lola: 1712315 markings, 2010365 edges, 7650 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(p394)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2016 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: 39479 markings, 42635 edges, 7896 markings/sec, 0 secs
lola: 78417 markings, 86879 edges, 7788 markings/sec, 5 secs
lola: 117107 markings, 131852 edges, 7738 markings/sec, 10 secs
lola: 155592 markings, 177691 edges, 7697 markings/sec, 15 secs
lola: 193835 markings, 223771 edges, 7649 markings/sec, 20 secs
lola: 231968 markings, 269885 edges, 7627 markings/sec, 25 secs
lola: 270189 markings, 318922 edges, 7644 markings/sec, 30 secs
lola: 308312 markings, 368286 edges, 7625 markings/sec, 35 secs
lola: 346137 markings, 415099 edges, 7565 markings/sec, 40 secs
lola: 384227 markings, 462415 edges, 7618 markings/sec, 45 secs
lola: 422095 markings, 509757 edges, 7574 markings/sec, 50 secs
lola: 459852 markings, 559456 edges, 7551 markings/sec, 55 secs
lola: 497606 markings, 606988 edges, 7551 markings/sec, 60 secs
lola: 535424 markings, 654324 edges, 7564 markings/sec, 65 secs
lola: 572856 markings, 703615 edges, 7486 markings/sec, 70 secs
lola: 610483 markings, 751747 edges, 7525 markings/sec, 75 secs
lola: 648250 markings, 799626 edges, 7553 markings/sec, 80 secs
lola: 685792 markings, 850178 edges, 7508 markings/sec, 85 secs
lola: 723284 markings, 899187 edges, 7498 markings/sec, 90 secs
lola: 760858 markings, 948606 edges, 7515 markings/sec, 95 secs
lola: 795349 markings, 993541 edges, 6898 markings/sec, 100 secs
lola: 828006 markings, 1034650 edges, 6531 markings/sec, 105 secs
lola: 862460 markings, 1079323 edges, 6891 markings/sec, 110 secs
lola: 896686 markings, 1122533 edges, 6845 markings/sec, 115 secs
lola: 935362 markings, 1172359 edges, 7735 markings/sec, 120 secs
lola: 974404 markings, 1224900 edges, 7808 markings/sec, 125 secs
lola: 1013468 markings, 1275606 edges, 7813 markings/sec, 130 secs
lola: 1052510 markings, 1327861 edges, 7808 markings/sec, 135 secs
lola: 1091515 markings, 1377982 edges, 7801 markings/sec, 140 secs
lola: 1130323 markings, 1428906 edges, 7762 markings/sec, 145 secs
lola: 1169239 markings, 1480535 edges, 7783 markings/sec, 150 secs
lola: 1208312 markings, 1530326 edges, 7815 markings/sec, 155 secs
lola: 1247223 markings, 1580762 edges, 7782 markings/sec, 160 secs
lola: 1286231 markings, 1631774 edges, 7802 markings/sec, 165 secs
lola: 1325498 markings, 1681863 edges, 7853 markings/sec, 170 secs
lola: 1364583 markings, 1731526 edges, 7817 markings/sec, 175 secs
lola: 1403672 markings, 1781364 edges, 7818 markings/sec, 180 secs
lola: 1442617 markings, 1832027 edges, 7789 markings/sec, 185 secs
lola: 1481554 markings, 1882871 edges, 7787 markings/sec, 190 secs
lola: 1520235 markings, 1934233 edges, 7736 markings/sec, 195 secs
lola: 1559230 markings, 1984743 edges, 7799 markings/sec, 200 secs
lola: 1597748 markings, 2035626 edges, 7704 markings/sec, 205 secs
lola: 1636663 markings, 2085888 edges, 7783 markings/sec, 210 secs
lola: 1675678 markings, 2135236 edges, 7803 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(p65 + p64 + p63 + p62 + p61 + p60)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2016 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: 39446 markings, 42235 edges, 7889 markings/sec, 0 secs
lola: 78431 markings, 87224 edges, 7797 markings/sec, 5 secs
lola: 117118 markings, 133392 edges, 7737 markings/sec, 10 secs
lola: 155801 markings, 179076 edges, 7737 markings/sec, 15 secs
lola: 194483 markings, 224520 edges, 7736 markings/sec, 20 secs
lola: 233075 markings, 270887 edges, 7718 markings/sec, 25 secs
lola: 271441 markings, 317965 edges, 7673 markings/sec, 30 secs
lola: 309938 markings, 364107 edges, 7699 markings/sec, 35 secs
lola: 348299 markings, 411333 edges, 7672 markings/sec, 40 secs
lola: 386471 markings, 459914 edges, 7634 markings/sec, 45 secs
lola: 424747 markings, 507096 edges, 7655 markings/sec, 50 secs
lola: 463029 markings, 554919 edges, 7656 markings/sec, 55 secs
lola: 501186 markings, 602929 edges, 7631 markings/sec, 60 secs
lola: 539375 markings, 652446 edges, 7638 markings/sec, 65 secs
lola: 577859 markings, 701692 edges, 7697 markings/sec, 70 secs
lola: 616279 markings, 751597 edges, 7684 markings/sec, 75 secs
lola: 654682 markings, 801182 edges, 7681 markings/sec, 80 secs
lola: 692916 markings, 851415 edges, 7647 markings/sec, 85 secs
lola: 731161 markings, 901686 edges, 7649 markings/sec, 90 secs
lola: 769463 markings, 951675 edges, 7660 markings/sec, 95 secs
lola: 807786 markings, 1000952 edges, 7665 markings/sec, 100 secs
lola: 846036 markings, 1050677 edges, 7650 markings/sec, 105 secs
lola: 884219 markings, 1101285 edges, 7637 markings/sec, 110 secs
lola: 922381 markings, 1151509 edges, 7632 markings/sec, 115 secs
lola: 960604 markings, 1201662 edges, 7645 markings/sec, 120 secs
lola: 998763 markings, 1252552 edges, 7632 markings/sec, 125 secs
lola: 1037052 markings, 1302124 edges, 7658 markings/sec, 130 secs
lola: 1075466 markings, 1351527 edges, 7683 markings/sec, 135 secs
lola: 1113735 markings, 1401058 edges, 7654 markings/sec, 140 secs
lola: 1151886 markings, 1451647 edges, 7630 markings/sec, 145 secs
lola: 1189864 markings, 1502128 edges, 7596 markings/sec, 150 secs
lola: 1228171 markings, 1551924 edges, 7661 markings/sec, 155 secs
lola: 1266175 markings, 1603351 edges, 7601 markings/sec, 160 secs
lola: 1304236 markings, 1653666 edges, 7612 markings/sec, 165 secs
lola: 1342411 markings, 1704161 edges, 7635 markings/sec, 170 secs
lola: 1380574 markings, 1753968 edges, 7633 markings/sec, 175 secs
lola: 1418409 markings, 1805189 edges, 7567 markings/sec, 180 secs
lola: 1456294 markings, 1855767 edges, 7577 markings/sec, 185 secs
lola: 1494279 markings, 1906524 edges, 7597 markings/sec, 190 secs
lola: 1532018 markings, 1957777 edges, 7548 markings/sec, 195 secs
lola: 1570052 markings, 2008470 edges, 7607 markings/sec, 200 secs
lola: 1608050 markings, 2059402 edges, 7600 markings/sec, 205 secs
lola: 1646062 markings, 2110328 edges, 7602 markings/sec, 210 secs
lola: 1683988 markings, 2161203 edges, 7585 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(p292)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2016 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: 40493 markings, 45982 edges, 8099 markings/sec, 0 secs
lola: 80683 markings, 91590 edges, 8038 markings/sec, 5 secs
lola: 120626 markings, 138563 edges, 7989 markings/sec, 10 secs
lola: 160439 markings, 185398 edges, 7963 markings/sec, 15 secs
lola: 200150 markings, 233213 edges, 7942 markings/sec, 20 secs
lola: 239685 markings, 281958 edges, 7907 markings/sec, 25 secs
lola: 279137 markings, 330346 edges, 7890 markings/sec, 30 secs
lola: 318659 markings, 379672 edges, 7904 markings/sec, 35 secs
lola: 358133 markings, 428955 edges, 7895 markings/sec, 40 secs
lola: 397479 markings, 478831 edges, 7869 markings/sec, 45 secs
lola: 436852 markings, 527274 edges, 7875 markings/sec, 50 secs
lola: 476035 markings, 575526 edges, 7837 markings/sec, 55 secs
lola: 515190 markings, 625499 edges, 7831 markings/sec, 60 secs
lola: 554217 markings, 676016 edges, 7805 markings/sec, 65 secs
lola: 593406 markings, 726678 edges, 7838 markings/sec, 70 secs
lola: 632457 markings, 776637 edges, 7810 markings/sec, 75 secs
lola: 671502 markings, 825571 edges, 7809 markings/sec, 80 secs
lola: 710497 markings, 875196 edges, 7799 markings/sec, 85 secs
lola: 749396 markings, 925353 edges, 7780 markings/sec, 90 secs
lola: 788286 markings, 975328 edges, 7778 markings/sec, 95 secs
lola: 827283 markings, 1025438 edges, 7799 markings/sec, 100 secs
lola: 865987 markings, 1079449 edges, 7741 markings/sec, 105 secs
lola: 904614 markings, 1130102 edges, 7725 markings/sec, 110 secs
lola: 943559 markings, 1180097 edges, 7789 markings/sec, 115 secs
lola: 982262 markings, 1232016 edges, 7741 markings/sec, 120 secs
lola: 1021050 markings, 1282762 edges, 7758 markings/sec, 125 secs
lola: 1059873 markings, 1332406 edges, 7765 markings/sec, 130 secs
lola: 1098696 markings, 1382547 edges, 7765 markings/sec, 135 secs
lola: 1137400 markings, 1432617 edges, 7741 markings/sec, 140 secs
lola: 1176177 markings, 1484248 edges, 7755 markings/sec, 145 secs
lola: 1215000 markings, 1534594 edges, 7765 markings/sec, 150 secs
lola: 1253673 markings, 1585114 edges, 7735 markings/sec, 155 secs
lola: 1292559 markings, 1634788 edges, 7777 markings/sec, 160 secs
lola: 1331309 markings, 1685302 edges, 7750 markings/sec, 165 secs
lola: 1370114 markings, 1735578 edges, 7761 markings/sec, 170 secs
lola: 1408622 markings, 1787635 edges, 7702 markings/sec, 175 secs
lola: 1447103 markings, 1838468 edges, 7696 markings/sec, 180 secs
lola: 1485774 markings, 1888119 edges, 7734 markings/sec, 185 secs
lola: 1524568 markings, 1937758 edges, 7759 markings/sec, 190 secs
lola: 1563299 markings, 1988111 edges, 7746 markings/sec, 195 secs
lola: 1601897 markings, 2038079 edges, 7720 markings/sec, 200 secs
lola: 1640448 markings, 2087877 edges, 7710 markings/sec, 205 secs
lola: 1679191 markings, 2138195 edges, 7749 markings/sec, 210 secs
lola: 1718029 markings, 2188767 edges, 7768 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(p528)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2016 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: 40991 markings, 44046 edges, 8198 markings/sec, 0 secs
lola: 81697 markings, 90114 edges, 8141 markings/sec, 5 secs
lola: 122395 markings, 136602 edges, 8140 markings/sec, 10 secs
lola: 162890 markings, 183503 edges, 8099 markings/sec, 15 secs
lola: 203210 markings, 231435 edges, 8064 markings/sec, 20 secs
lola: 243240 markings, 281389 edges, 8006 markings/sec, 25 secs
lola: 283340 markings, 329308 edges, 8020 markings/sec, 30 secs
lola: 323273 markings, 380353 edges, 7987 markings/sec, 35 secs
lola: 358720 markings, 424308 edges, 7089 markings/sec, 40 secs
lola: 393775 markings, 466459 edges, 7011 markings/sec, 45 secs
lola: 430322 markings, 510920 edges, 7309 markings/sec, 50 secs
lola: 465011 markings, 555733 edges, 6938 markings/sec, 55 secs
lola: 498911 markings, 598160 edges, 6780 markings/sec, 60 secs
lola: 533975 markings, 643288 edges, 7013 markings/sec, 65 secs
lola: 572617 markings, 690513 edges, 7728 markings/sec, 70 secs
lola: 611266 markings, 740968 edges, 7730 markings/sec, 75 secs
lola: 648962 markings, 788523 edges, 7539 markings/sec, 80 secs
lola: 686052 markings, 834588 edges, 7418 markings/sec, 85 secs
lola: 723919 markings, 882035 edges, 7573 markings/sec, 90 secs
lola: 765058 markings, 932962 edges, 8228 markings/sec, 95 secs
lola: 804651 markings, 982072 edges, 7919 markings/sec, 100 secs
lola: 846243 markings, 1033679 edges, 8318 markings/sec, 105 secs
lola: 887265 markings, 1084771 edges, 8204 markings/sec, 110 secs
lola: 928345 markings, 1136292 edges, 8216 markings/sec, 115 secs
lola: 969034 markings, 1190387 edges, 8138 markings/sec, 120 secs
lola: 1009739 markings, 1242071 edges, 8141 markings/sec, 125 secs
lola: 1050478 markings, 1294089 edges, 8148 markings/sec, 130 secs
lola: 1090977 markings, 1347191 edges, 8100 markings/sec, 135 secs
lola: 1131789 markings, 1398383 edges, 8162 markings/sec, 140 secs
lola: 1172502 markings, 1450821 edges, 8143 markings/sec, 145 secs
lola: 1213343 markings, 1501864 edges, 8168 markings/sec, 150 secs
lola: 1253938 markings, 1554016 edges, 8119 markings/sec, 155 secs
lola: 1294817 markings, 1604645 edges, 8176 markings/sec, 160 secs
lola: 1335300 markings, 1657586 edges, 8097 markings/sec, 165 secs
lola: 1376043 markings, 1710385 edges, 8149 markings/sec, 170 secs
lola: 1416688 markings, 1762321 edges, 8129 markings/sec, 175 secs
lola: 1457366 markings, 1813805 edges, 8136 markings/sec, 180 secs
lola: 1497947 markings, 1865227 edges, 8116 markings/sec, 185 secs
lola: 1538502 markings, 1917070 edges, 8111 markings/sec, 190 secs
lola: 1579174 markings, 1968060 edges, 8134 markings/sec, 195 secs
lola: 1619792 markings, 2022943 edges, 8124 markings/sec, 200 secs
lola: 1660464 markings, 2075785 edges, 8134 markings/sec, 205 secs
lola: 1701055 markings, 2128191 edges, 8118 markings/sec, 210 secs
lola: 1741538 markings, 2182204 edges, 8097 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(p530 + p531 + p532 + p533 + p534 + p535 + p536 + p537 + p538 + p539 + p540 + p541 + p542 + p543 + p544 + p545 + p546 + p547 + p548 + p549 + p550 + p551 + p552 + p553)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2016 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: 40127 markings, 43413 edges, 8025 markings/sec, 0 secs
lola: 79887 markings, 88621 edges, 7952 markings/sec, 5 secs
lola: 119220 markings, 135147 edges, 7867 markings/sec, 10 secs
lola: 158280 markings, 183049 edges, 7812 markings/sec, 15 secs
lola: 197207 markings, 231371 edges, 7785 markings/sec, 20 secs
lola: 236290 markings, 278455 edges, 7817 markings/sec, 25 secs
lola: 275255 markings, 325856 edges, 7793 markings/sec, 30 secs
lola: 314072 markings, 373330 edges, 7763 markings/sec, 35 secs
lola: 352653 markings, 422007 edges, 7716 markings/sec, 40 secs
lola: 391759 markings, 470155 edges, 7821 markings/sec, 45 secs
lola: 430512 markings, 518180 edges, 7751 markings/sec, 50 secs
lola: 469438 markings, 566496 edges, 7785 markings/sec, 55 secs
lola: 508401 markings, 614889 edges, 7793 markings/sec, 60 secs
lola: 547126 markings, 664197 edges, 7745 markings/sec, 65 secs
lola: 585972 markings, 712625 edges, 7769 markings/sec, 70 secs
lola: 624815 markings, 761102 edges, 7769 markings/sec, 75 secs
lola: 663409 markings, 811928 edges, 7719 markings/sec, 80 secs
lola: 702218 markings, 860188 edges, 7762 markings/sec, 85 secs
lola: 740632 markings, 909443 edges, 7683 markings/sec, 90 secs
lola: 779303 markings, 958412 edges, 7734 markings/sec, 95 secs
lola: 817748 markings, 1007399 edges, 7689 markings/sec, 100 secs
lola: 856142 markings, 1057785 edges, 7679 markings/sec, 105 secs
lola: 894714 markings, 1107260 edges, 7714 markings/sec, 110 secs
lola: 933196 markings, 1156220 edges, 7696 markings/sec, 115 secs
lola: 971818 markings, 1205487 edges, 7724 markings/sec, 120 secs
lola: 1010352 markings, 1254627 edges, 7707 markings/sec, 125 secs
lola: 1048376 markings, 1304634 edges, 7605 markings/sec, 130 secs
lola: 1086617 markings, 1354742 edges, 7648 markings/sec, 135 secs
lola: 1124835 markings, 1404528 edges, 7644 markings/sec, 140 secs
lola: 1163353 markings, 1453519 edges, 7704 markings/sec, 145 secs
lola: 1201844 markings, 1503099 edges, 7698 markings/sec, 150 secs
lola: 1240105 markings, 1552730 edges, 7652 markings/sec, 155 secs
lola: 1278594 markings, 1603065 edges, 7698 markings/sec, 160 secs
lola: 1317034 markings, 1653140 edges, 7688 markings/sec, 165 secs
lola: 1355463 markings, 1703463 edges, 7686 markings/sec, 170 secs
lola: 1393738 markings, 1752532 edges, 7655 markings/sec, 175 secs
lola: 1432065 markings, 1803621 edges, 7665 markings/sec, 180 secs
lola: 1470109 markings, 1854920 edges, 7609 markings/sec, 185 secs
lola: 1508485 markings, 1903572 edges, 7675 markings/sec, 190 secs
lola: 1546741 markings, 1951971 edges, 7651 markings/sec, 195 secs
lola: 1584975 markings, 2001409 edges, 7647 markings/sec, 200 secs
lola: 1623211 markings, 2050917 edges, 7647 markings/sec, 205 secs
lola: 1661437 markings, 2101255 edges, 7645 markings/sec, 210 secs
lola: 1699553 markings, 2149887 edges, 7623 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(p464 + p465 + p466 + p467 + p468 + p469)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2016 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: 41007 markings, 44339 edges, 8201 markings/sec, 0 secs
lola: 81316 markings, 90331 edges, 8062 markings/sec, 5 secs
lola: 121395 markings, 136813 edges, 8016 markings/sec, 10 secs
lola: 161152 markings, 184533 edges, 7951 markings/sec, 15 secs
lola: 200730 markings, 232132 edges, 7916 markings/sec, 20 secs
lola: 240144 markings, 280009 edges, 7883 markings/sec, 25 secs
lola: 279733 markings, 330781 edges, 7918 markings/sec, 30 secs
lola: 319129 markings, 381339 edges, 7879 markings/sec, 35 secs
lola: 358282 markings, 430278 edges, 7831 markings/sec, 40 secs
lola: 397730 markings, 478729 edges, 7890 markings/sec, 45 secs
lola: 436850 markings, 529095 edges, 7824 markings/sec, 50 secs
lola: 475794 markings, 579335 edges, 7789 markings/sec, 55 secs
lola: 514747 markings, 628839 edges, 7791 markings/sec, 60 secs
lola: 553826 markings, 678604 edges, 7816 markings/sec, 65 secs
lola: 592486 markings, 728546 edges, 7732 markings/sec, 70 secs
lola: 631597 markings, 778553 edges, 7822 markings/sec, 75 secs
lola: 670357 markings, 829236 edges, 7752 markings/sec, 80 secs
lola: 709165 markings, 880825 edges, 7762 markings/sec, 85 secs
lola: 747790 markings, 931355 edges, 7725 markings/sec, 90 secs
lola: 786336 markings, 981611 edges, 7709 markings/sec, 95 secs
lola: 824977 markings, 1030534 edges, 7728 markings/sec, 100 secs
lola: 863987 markings, 1081211 edges, 7802 markings/sec, 105 secs
lola: 903324 markings, 1130813 edges, 7867 markings/sec, 110 secs
lola: 942454 markings, 1181102 edges, 7826 markings/sec, 115 secs
lola: 981266 markings, 1233573 edges, 7762 markings/sec, 120 secs
lola: 1020133 markings, 1283509 edges, 7773 markings/sec, 125 secs
lola: 1059124 markings, 1336450 edges, 7798 markings/sec, 130 secs
lola: 1097992 markings, 1386001 edges, 7774 markings/sec, 135 secs
lola: 1136591 markings, 1438203 edges, 7720 markings/sec, 140 secs
lola: 1175649 markings, 1488415 edges, 7812 markings/sec, 145 secs
lola: 1214677 markings, 1538455 edges, 7806 markings/sec, 150 secs
lola: 1253684 markings, 1589322 edges, 7801 markings/sec, 155 secs
lola: 1292577 markings, 1639936 edges, 7779 markings/sec, 160 secs
lola: 1331724 markings, 1689885 edges, 7829 markings/sec, 165 secs
lola: 1370893 markings, 1739323 edges, 7834 markings/sec, 170 secs
lola: 1409808 markings, 1789548 edges, 7783 markings/sec, 175 secs
lola: 1448814 markings, 1840163 edges, 7801 markings/sec, 180 secs
lola: 1487689 markings, 1891754 edges, 7775 markings/sec, 185 secs
lola: 1526480 markings, 1942951 edges, 7758 markings/sec, 190 secs
lola: 1565486 markings, 1993132 edges, 7801 markings/sec, 195 secs
lola: 1604100 markings, 2044000 edges, 7723 markings/sec, 200 secs
lola: 1643093 markings, 2094015 edges, 7799 markings/sec, 205 secs
lola: 1682073 markings, 2143546 edges, 7796 markings/sec, 210 secs
lola: 1720988 markings, 2199706 edges, 7783 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(p294 + p295 + p296 + p297 + p298 + p299)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2016 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: 40251 markings, 42715 edges, 8050 markings/sec, 0 secs
lola: 79743 markings, 86255 edges, 7898 markings/sec, 5 secs
lola: 118928 markings, 131123 edges, 7837 markings/sec, 10 secs
lola: 157984 markings, 175622 edges, 7811 markings/sec, 15 secs
lola: 196530 markings, 221920 edges, 7709 markings/sec, 20 secs
lola: 235123 markings, 267298 edges, 7719 markings/sec, 25 secs
lola: 273658 markings, 314761 edges, 7707 markings/sec, 30 secs
lola: 312004 markings, 365170 edges, 7669 markings/sec, 35 secs
lola: 350282 markings, 412509 edges, 7656 markings/sec, 40 secs
lola: 388499 markings, 459083 edges, 7643 markings/sec, 45 secs
lola: 426090 markings, 505153 edges, 7518 markings/sec, 50 secs
lola: 464508 markings, 551780 edges, 7684 markings/sec, 55 secs
lola: 502963 markings, 599763 edges, 7691 markings/sec, 60 secs
lola: 541335 markings, 647978 edges, 7674 markings/sec, 65 secs
lola: 579911 markings, 695604 edges, 7715 markings/sec, 70 secs
lola: 618671 markings, 743253 edges, 7752 markings/sec, 75 secs
lola: 657440 markings, 790357 edges, 7754 markings/sec, 80 secs
lola: 695968 markings, 837815 edges, 7706 markings/sec, 85 secs
lola: 734370 markings, 885998 edges, 7680 markings/sec, 90 secs
lola: 772781 markings, 933561 edges, 7682 markings/sec, 95 secs
lola: 810845 markings, 982739 edges, 7613 markings/sec, 100 secs
lola: 848977 markings, 1030505 edges, 7626 markings/sec, 105 secs
lola: 887190 markings, 1078970 edges, 7643 markings/sec, 110 secs
lola: 925400 markings, 1126940 edges, 7642 markings/sec, 115 secs
lola: 963475 markings, 1175143 edges, 7615 markings/sec, 120 secs
lola: 1001450 markings, 1223940 edges, 7595 markings/sec, 125 secs
lola: 1039594 markings, 1270995 edges, 7629 markings/sec, 130 secs
lola: 1077840 markings, 1318655 edges, 7649 markings/sec, 135 secs
lola: 1115962 markings, 1366681 edges, 7624 markings/sec, 140 secs
lola: 1153945 markings, 1414612 edges, 7597 markings/sec, 145 secs
lola: 1191973 markings, 1462732 edges, 7606 markings/sec, 150 secs
lola: 1230026 markings, 1510133 edges, 7611 markings/sec, 155 secs
lola: 1268133 markings, 1557779 edges, 7621 markings/sec, 160 secs
lola: 1306209 markings, 1606669 edges, 7615 markings/sec, 165 secs
lola: 1344274 markings, 1655214 edges, 7613 markings/sec, 170 secs
lola: 1382438 markings, 1702650 edges, 7633 markings/sec, 175 secs
lola: 1420606 markings, 1750097 edges, 7634 markings/sec, 180 secs
lola: 1458674 markings, 1798514 edges, 7614 markings/sec, 185 secs
lola: 1497028 markings, 1845018 edges, 7671 markings/sec, 190 secs
lola: 1535279 markings, 1891856 edges, 7650 markings/sec, 195 secs
lola: 1573456 markings, 1939081 edges, 7635 markings/sec, 200 secs
lola: 1611609 markings, 1985945 edges, 7631 markings/sec, 205 secs
lola: 1649490 markings, 2033824 edges, 7576 markings/sec, 210 secs
lola: 1687753 markings, 2080987 edges, 7653 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(p90)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2016 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: 40586 markings, 46889 edges, 8117 markings/sec, 0 secs
lola: 80926 markings, 95972 edges, 8068 markings/sec, 5 secs
lola: 121020 markings, 145051 edges, 8019 markings/sec, 10 secs
lola: 161154 markings, 193668 edges, 8027 markings/sec, 15 secs
lola: 200847 markings, 242550 edges, 7939 markings/sec, 20 secs
lola: 240436 markings, 291295 edges, 7918 markings/sec, 25 secs
lola: 280051 markings, 340462 edges, 7923 markings/sec, 30 secs
lola: 319317 markings, 389642 edges, 7853 markings/sec, 35 secs
lola: 358636 markings, 439079 edges, 7864 markings/sec, 40 secs
lola: 397975 markings, 488316 edges, 7868 markings/sec, 45 secs
lola: 437232 markings, 538230 edges, 7851 markings/sec, 50 secs
lola: 476636 markings, 587523 edges, 7881 markings/sec, 55 secs
lola: 515883 markings, 637107 edges, 7849 markings/sec, 60 secs
lola: 555087 markings, 686935 edges, 7841 markings/sec, 65 secs
lola: 594078 markings, 737445 edges, 7798 markings/sec, 70 secs
lola: 633141 markings, 787161 edges, 7813 markings/sec, 75 secs
lola: 672291 markings, 836776 edges, 7830 markings/sec, 80 secs
lola: 711325 markings, 886505 edges, 7807 markings/sec, 85 secs
lola: 750324 markings, 937778 edges, 7800 markings/sec, 90 secs
lola: 789253 markings, 988295 edges, 7786 markings/sec, 95 secs
lola: 828162 markings, 1038289 edges, 7782 markings/sec, 100 secs
lola: 867090 markings, 1088422 edges, 7786 markings/sec, 105 secs
lola: 906101 markings, 1137687 edges, 7802 markings/sec, 110 secs
lola: 945093 markings, 1187574 edges, 7798 markings/sec, 115 secs
lola: 983800 markings, 1239275 edges, 7741 markings/sec, 120 secs
lola: 1022595 markings, 1290010 edges, 7759 markings/sec, 125 secs
lola: 1061513 markings, 1339905 edges, 7784 markings/sec, 130 secs
lola: 1100375 markings, 1390632 edges, 7772 markings/sec, 135 secs
lola: 1138967 markings, 1441361 edges, 7718 markings/sec, 140 secs
lola: 1177612 markings, 1491734 edges, 7729 markings/sec, 145 secs
lola: 1216441 markings, 1542741 edges, 7766 markings/sec, 150 secs
lola: 1255123 markings, 1592901 edges, 7736 markings/sec, 155 secs
lola: 1293769 markings, 1643156 edges, 7729 markings/sec, 160 secs
lola: 1330898 markings, 1691283 edges, 7426 markings/sec, 165 secs
lola: 1369822 markings, 1741459 edges, 7785 markings/sec, 170 secs
lola: 1408032 markings, 1792156 edges, 7642 markings/sec, 175 secs
lola: 1446453 markings, 1841915 edges, 7684 markings/sec, 180 secs
lola: 1485217 markings, 1892933 edges, 7753 markings/sec, 185 secs
lola: 1524112 markings, 1943549 edges, 7779 markings/sec, 190 secs
lola: 1563328 markings, 1995665 edges, 7843 markings/sec, 195 secs
lola: 1602394 markings, 2045583 edges, 7813 markings/sec, 200 secs
lola: 1640797 markings, 2095766 edges, 7681 markings/sec, 205 secs
lola: 1678164 markings, 2145227 edges, 7473 markings/sec, 210 secs
lola: 1716854 markings, 2198302 edges, 7738 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(p6 + p7 + p8 + p9 + p10 + p11)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2016 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: 38846 markings, 44056 edges, 7769 markings/sec, 0 secs
lola: 78781 markings, 89329 edges, 7987 markings/sec, 5 secs
lola: 118493 markings, 136021 edges, 7942 markings/sec, 10 secs
lola: 158041 markings, 182621 edges, 7910 markings/sec, 15 secs
lola: 197513 markings, 230177 edges, 7894 markings/sec, 20 secs
lola: 236836 markings, 278426 edges, 7865 markings/sec, 25 secs
lola: 276088 markings, 326445 edges, 7850 markings/sec, 30 secs
lola: 315368 markings, 375372 edges, 7856 markings/sec, 35 secs
lola: 354580 markings, 424304 edges, 7842 markings/sec, 40 secs
lola: 393697 markings, 474089 edges, 7823 markings/sec, 45 secs
lola: 432865 markings, 522108 edges, 7834 markings/sec, 50 secs
lola: 471850 markings, 570674 edges, 7797 markings/sec, 55 secs
lola: 510833 markings, 619651 edges, 7797 markings/sec, 60 secs
lola: 549669 markings, 670092 edges, 7767 markings/sec, 65 secs
lola: 588549 markings, 720913 edges, 7776 markings/sec, 70 secs
lola: 627512 markings, 770006 edges, 7793 markings/sec, 75 secs
lola: 666325 markings, 819000 edges, 7763 markings/sec, 80 secs
lola: 705029 markings, 867982 edges, 7741 markings/sec, 85 secs
lola: 743720 markings, 917922 edges, 7738 markings/sec, 90 secs
lola: 782352 markings, 967725 edges, 7726 markings/sec, 95 secs
lola: 821113 markings, 1017361 edges, 7752 markings/sec, 100 secs
lola: 859631 markings, 1069652 edges, 7704 markings/sec, 105 secs
lola: 898034 markings, 1121581 edges, 7681 markings/sec, 110 secs
lola: 936659 markings, 1171312 edges, 7725 markings/sec, 115 secs
lola: 975183 markings, 1222747 edges, 7705 markings/sec, 120 secs
lola: 1013655 markings, 1273674 edges, 7694 markings/sec, 125 secs
lola: 1052285 markings, 1322811 edges, 7726 markings/sec, 130 secs
lola: 1090802 markings, 1372045 edges, 7703 markings/sec, 135 secs
lola: 1129318 markings, 1422499 edges, 7703 markings/sec, 140 secs
lola: 1167849 markings, 1473575 edges, 7706 markings/sec, 145 secs
lola: 1206533 markings, 1522786 edges, 7737 markings/sec, 150 secs
lola: 1244915 markings, 1573467 edges, 7676 markings/sec, 155 secs
lola: 1283456 markings, 1623281 edges, 7708 markings/sec, 160 secs
lola: 1322083 markings, 1672863 edges, 7725 markings/sec, 165 secs
lola: 1360597 markings, 1723317 edges, 7703 markings/sec, 170 secs
lola: 1398937 markings, 1775560 edges, 7668 markings/sec, 175 secs
lola: 1437264 markings, 1825497 edges, 7665 markings/sec, 180 secs
lola: 1475737 markings, 1874896 edges, 7695 markings/sec, 185 secs
lola: 1514293 markings, 1924692 edges, 7711 markings/sec, 190 secs
lola: 1552786 markings, 1974303 edges, 7699 markings/sec, 195 secs
lola: 1591182 markings, 2024353 edges, 7679 markings/sec, 200 secs
lola: 1629204 markings, 2073195 edges, 7604 markings/sec, 205 secs
lola: 1665913 markings, 2121215 edges, 7342 markings/sec, 210 secs
lola: 1702105 markings, 2167508 edges, 7238 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(p71 + p72 + p73 + p74 + p75 + p76)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2016 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: 40840 markings, 44190 edges, 8168 markings/sec, 0 secs
lola: 81505 markings, 89541 edges, 8133 markings/sec, 5 secs
lola: 122205 markings, 134920 edges, 8140 markings/sec, 10 secs
lola: 162549 markings, 180769 edges, 8069 markings/sec, 15 secs
lola: 202835 markings, 227029 edges, 8057 markings/sec, 20 secs
lola: 243375 markings, 272231 edges, 8108 markings/sec, 25 secs
lola: 283664 markings, 317184 edges, 8058 markings/sec, 30 secs
lola: 323832 markings, 363230 edges, 8034 markings/sec, 35 secs
lola: 364055 markings, 408473 edges, 8045 markings/sec, 40 secs
lola: 403925 markings, 453609 edges, 7974 markings/sec, 45 secs
lola: 443880 markings, 498837 edges, 7991 markings/sec, 50 secs
lola: 483627 markings, 545144 edges, 7949 markings/sec, 55 secs
lola: 523248 markings, 590253 edges, 7924 markings/sec, 60 secs
lola: 563346 markings, 634960 edges, 8020 markings/sec, 65 secs
lola: 603126 markings, 680190 edges, 7956 markings/sec, 70 secs
lola: 642852 markings, 726416 edges, 7945 markings/sec, 75 secs
lola: 682588 markings, 771960 edges, 7947 markings/sec, 80 secs
lola: 722359 markings, 817441 edges, 7954 markings/sec, 85 secs
lola: 761987 markings, 862872 edges, 7926 markings/sec, 90 secs
lola: 801683 markings, 909322 edges, 7939 markings/sec, 95 secs
lola: 841448 markings, 954592 edges, 7953 markings/sec, 100 secs
lola: 881127 markings, 999913 edges, 7936 markings/sec, 105 secs
lola: 920689 markings, 1046291 edges, 7912 markings/sec, 110 secs
lola: 960218 markings, 1091856 edges, 7906 markings/sec, 115 secs
lola: 999692 markings, 1138118 edges, 7895 markings/sec, 120 secs
lola: 1039069 markings, 1184472 edges, 7875 markings/sec, 125 secs
lola: 1078644 markings, 1230152 edges, 7915 markings/sec, 130 secs
lola: 1118071 markings, 1276394 edges, 7885 markings/sec, 135 secs
lola: 1157573 markings, 1322254 edges, 7900 markings/sec, 140 secs
lola: 1196972 markings, 1367915 edges, 7880 markings/sec, 145 secs
lola: 1236210 markings, 1414913 edges, 7848 markings/sec, 150 secs
lola: 1275545 markings, 1462042 edges, 7867 markings/sec, 155 secs
lola: 1315057 markings, 1507631 edges, 7902 markings/sec, 160 secs
lola: 1354378 markings, 1554226 edges, 7864 markings/sec, 165 secs
lola: 1393521 markings, 1601331 edges, 7829 markings/sec, 170 secs
lola: 1432824 markings, 1648187 edges, 7861 markings/sec, 175 secs
lola: 1472013 markings, 1694786 edges, 7838 markings/sec, 180 secs
lola: 1511332 markings, 1741472 edges, 7864 markings/sec, 185 secs
lola: 1550587 markings, 1787919 edges, 7851 markings/sec, 190 secs
lola: 1589876 markings, 1835089 edges, 7858 markings/sec, 195 secs
lola: 1629239 markings, 1881303 edges, 7873 markings/sec, 200 secs
lola: 1668276 markings, 1928606 edges, 7807 markings/sec, 205 secs
lola: 1707366 markings, 1975786 edges, 7818 markings/sec, 210 secs
lola: 1746541 markings, 2022469 edges, 7835 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(p95 + p94 + p93 + p92 + p91 + p96)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2016 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: 41259 markings, 43961 edges, 8252 markings/sec, 0 secs
lola: 82041 markings, 88826 edges, 8156 markings/sec, 5 secs
lola: 122400 markings, 134844 edges, 8072 markings/sec, 10 secs
lola: 162378 markings, 182419 edges, 7996 markings/sec, 15 secs
lola: 202376 markings, 229244 edges, 8000 markings/sec, 20 secs
lola: 242057 markings, 276681 edges, 7936 markings/sec, 25 secs
lola: 281733 markings, 325898 edges, 7935 markings/sec, 30 secs
lola: 321182 markings, 376190 edges, 7890 markings/sec, 35 secs
lola: 360585 markings, 424308 edges, 7881 markings/sec, 40 secs
lola: 400150 markings, 472605 edges, 7913 markings/sec, 45 secs
lola: 439546 markings, 520624 edges, 7879 markings/sec, 50 secs
lola: 478728 markings, 569884 edges, 7836 markings/sec, 55 secs
lola: 518165 markings, 617695 edges, 7887 markings/sec, 60 secs
lola: 557486 markings, 665820 edges, 7864 markings/sec, 65 secs
lola: 596933 markings, 713563 edges, 7889 markings/sec, 70 secs
lola: 635855 markings, 763471 edges, 7784 markings/sec, 75 secs
lola: 675051 markings, 812097 edges, 7839 markings/sec, 80 secs
lola: 713951 markings, 862033 edges, 7780 markings/sec, 85 secs
lola: 752926 markings, 912088 edges, 7795 markings/sec, 90 secs
lola: 791977 markings, 961099 edges, 7810 markings/sec, 95 secs
lola: 831291 markings, 1008351 edges, 7863 markings/sec, 100 secs
lola: 870270 markings, 1057767 edges, 7796 markings/sec, 105 secs
lola: 909308 markings, 1106623 edges, 7808 markings/sec, 110 secs
lola: 948102 markings, 1156388 edges, 7759 markings/sec, 115 secs
lola: 986802 markings, 1206244 edges, 7740 markings/sec, 120 secs
lola: 1023636 markings, 1253966 edges, 7367 markings/sec, 125 secs
lola: 1062317 markings, 1302523 edges, 7736 markings/sec, 130 secs
lola: 1100740 markings, 1352601 edges, 7685 markings/sec, 135 secs
lola: 1139304 markings, 1400966 edges, 7713 markings/sec, 140 secs
lola: 1178003 markings, 1449075 edges, 7740 markings/sec, 145 secs
lola: 1216701 markings, 1497934 edges, 7740 markings/sec, 150 secs
lola: 1255322 markings, 1547397 edges, 7724 markings/sec, 155 secs
lola: 1294064 markings, 1596306 edges, 7748 markings/sec, 160 secs
lola: 1332736 markings, 1647580 edges, 7734 markings/sec, 165 secs
lola: 1371479 markings, 1696043 edges, 7749 markings/sec, 170 secs
lola: 1410222 markings, 1745924 edges, 7749 markings/sec, 175 secs
lola: 1448941 markings, 1793468 edges, 7744 markings/sec, 180 secs
lola: 1487560 markings, 1841678 edges, 7724 markings/sec, 185 secs
lola: 1526250 markings, 1889989 edges, 7738 markings/sec, 190 secs
lola: 1564949 markings, 1937849 edges, 7740 markings/sec, 195 secs
lola: 1603709 markings, 1986013 edges, 7752 markings/sec, 200 secs
lola: 1642448 markings, 2034403 edges, 7748 markings/sec, 205 secs
lola: 1681185 markings, 2083920 edges, 7747 markings/sec, 210 secs
lola: 1719860 markings, 2132708 edges, 7735 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(p56 + p57 + p58 + p59)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2016 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: 25511 markings, 27157 edges, 5102 markings/sec, 0 secs
lola: 50658 markings, 55234 edges, 5029 markings/sec, 5 secs
lola: 75839 markings, 83900 edges, 5036 markings/sec, 10 secs
lola: 100774 markings, 112889 edges, 4987 markings/sec, 15 secs
lola: 125463 markings, 141873 edges, 4938 markings/sec, 20 secs
lola: 150145 markings, 172233 edges, 4936 markings/sec, 25 secs
lola: 174754 markings, 203254 edges, 4922 markings/sec, 30 secs
lola: 199312 markings, 233203 edges, 4912 markings/sec, 35 secs
lola: 223753 markings, 263151 edges, 4888 markings/sec, 40 secs
lola: 248123 markings, 293251 edges, 4874 markings/sec, 45 secs
lola: 272524 markings, 323587 edges, 4880 markings/sec, 50 secs
lola: 297011 markings, 354352 edges, 4897 markings/sec, 55 secs
lola: 321389 markings, 384463 edges, 4876 markings/sec, 60 secs
lola: 345799 markings, 414031 edges, 4882 markings/sec, 65 secs
lola: 370102 markings, 444097 edges, 4861 markings/sec, 70 secs
lola: 394515 markings, 474268 edges, 4883 markings/sec, 75 secs
lola: 418918 markings, 504888 edges, 4881 markings/sec, 80 secs
lola: 443249 markings, 535522 edges, 4866 markings/sec, 85 secs
lola: 467341 markings, 567158 edges, 4818 markings/sec, 90 secs
lola: 491652 markings, 599019 edges, 4862 markings/sec, 95 secs
lola: 515971 markings, 628961 edges, 4864 markings/sec, 100 secs
lola: 539702 markings, 660791 edges, 4746 markings/sec, 105 secs
lola: 563955 markings, 691433 edges, 4851 markings/sec, 110 secs
lola: 588054 markings, 723035 edges, 4820 markings/sec, 115 secs
lola: 612167 markings, 753469 edges, 4823 markings/sec, 120 secs
lola: 636368 markings, 784548 edges, 4840 markings/sec, 125 secs
lola: 660518 markings, 815803 edges, 4830 markings/sec, 130 secs
lola: 684723 markings, 846396 edges, 4841 markings/sec, 135 secs
lola: 708995 markings, 877058 edges, 4854 markings/sec, 140 secs
lola: 733077 markings, 907076 edges, 4816 markings/sec, 145 secs
lola: 757248 markings, 938255 edges, 4834 markings/sec, 150 secs
lola: 781081 markings, 970496 edges, 4767 markings/sec, 155 secs
lola: 804992 markings, 1001696 edges, 4782 markings/sec, 160 secs
lola: 828856 markings, 1033138 edges, 4773 markings/sec, 165 secs
lola: 852575 markings, 1065370 edges, 4744 markings/sec, 170 secs
lola: 876612 markings, 1095999 edges, 4807 markings/sec, 175 secs
lola: 900608 markings, 1128867 edges, 4799 markings/sec, 180 secs
lola: 924573 markings, 1159722 edges, 4793 markings/sec, 185 secs
lola: 948580 markings, 1190185 edges, 4801 markings/sec, 190 secs
lola: 972481 markings, 1221782 edges, 4780 markings/sec, 195 secs
lola: 996438 markings, 1252873 edges, 4791 markings/sec, 200 secs
lola: 1020391 markings, 1283927 edges, 4791 markings/sec, 205 secs
lola: 1044338 markings, 1314096 edges, 4789 markings/sec, 210 secs
lola: 1068292 markings, 1345063 edges, 4791 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-S04J04T06-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T06-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T06-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T06-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T06-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T06-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T06-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T06-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T06-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T06-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T06-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T06-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T06-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T06-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T06-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T06-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494625283224

--------------------
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-S04J04T06"
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-S04J04T06.tgz
mv PolyORBLF-COL-S04J04T06 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-S04J04T06, 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-149440869800317"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' UpperBounds.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;