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

--------------------
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 1496454846092


Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_PolyORBLF-PT-S04J04T06: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete


checking for too many tokens
===========================================================================================
S_PolyORBLF-PT-S04J04T06: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_PolyORBLF-PT-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, 872 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(P_1099) : MAX(ScheduleTaskE_Check_1 + ScheduleTaskE_Check_2 + ScheduleTaskE_Check_3 + ScheduleTaskE_Check_4 + ScheduleTaskE_Check_5 + ScheduleTaskE_Check_6) : MAX(IsMonitoring) : MAX(IsMonitoring) : MAX(PollingAbort) : MAX(NotifyEventJobCompletedE_1 + NotifyEventJobCompletedE_2 + NotifyEventJobCompletedE_3 + NotifyEventJobCompletedE_4 + NotifyEventJobCompletedE_5 + NotifyEventJobCompletedE_6) : MAX(MarkerWrite) : MAX(P_1095) : MAX(P_2579_4_1 + P_2579_4_2 + P_2579_4_3 + P_2579_4_4 + P_2579_5_1 + P_2579_5_2 + P_2579_5_3 + P_2579_5_4 + P_2579_6_1 + P_2579_6_2 + P_2579_6_3 + P_2579_6_4 + P_2579_2_4 + P_2579_2_3 + P_2579_2_2 + P_2579_2_1 + P_2579_1_4 + P_2579_1_3 + P_2579_1_2 + P_2579_1_1 + P_2579_3_1 + P_2579_3_2 + P_2579_3_3 + P_2579_3_4) : MAX(Abort_Check_Sources_E_1 + Abort_Check_Sources_E_2 + Abort_Check_Sources_E_3 + Abort_Check_Sources_E_4 + Abort_Check_Sources_E_5 + Abort_Check_Sources_E_6) : MAX(Insert_Source_E_1 + Insert_Source_E_2 + Insert_Source_E_3 + Insert_Source_E_4 + Insert_Source_E_5 + Insert_Source_E_6) : MAX(P_1716) : MAX(QueueJobE_1 + QueueJobE_2 + QueueJobE_3 + QueueJobE_4 + QueueJobE_5 + QueueJobE_6) : MAX(Idle_1 + Idle_2 + Idle_3 + Idle_4 + Idle_5 + Idle_6) : MAX(NotifyEventSourceAddedB_1 + NotifyEventSourceAddedB_2 + NotifyEventSourceAddedB_3 + NotifyEventSourceAddedB_4 + NotifyEventSourceAddedB_5 + NotifyEventSourceAddedB_6) : MAX(ModifiedSrc_1 + ModifiedSrc_2 + ModifiedSrc_3 + ModifiedSrc_4)
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(P_1099)
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: 46032 markings, 51183 edges, 9206 markings/sec, 0 secs
lola: 89782 markings, 101635 edges, 8750 markings/sec, 5 secs
lola: 133160 markings, 152830 edges, 8676 markings/sec, 10 secs
lola: 176019 markings, 204052 edges, 8572 markings/sec, 15 secs
lola: 218788 markings, 255946 edges, 8554 markings/sec, 20 secs
lola: 261030 markings, 308730 edges, 8448 markings/sec, 25 secs
lola: 303283 markings, 362009 edges, 8451 markings/sec, 30 secs
lola: 347358 markings, 416608 edges, 8815 markings/sec, 35 secs
lola: 391339 markings, 472558 edges, 8796 markings/sec, 40 secs
lola: 435695 markings, 528573 edges, 8871 markings/sec, 45 secs
lola: 479615 markings, 585470 edges, 8784 markings/sec, 50 secs
lola: 523688 markings, 641989 edges, 8815 markings/sec, 55 secs
lola: 567552 markings, 697860 edges, 8773 markings/sec, 60 secs
lola: 611452 markings, 754486 edges, 8780 markings/sec, 65 secs
lola: 654844 markings, 809579 edges, 8678 markings/sec, 70 secs
lola: 698868 markings, 866642 edges, 8805 markings/sec, 75 secs
lola: 742650 markings, 923646 edges, 8756 markings/sec, 80 secs
lola: 786856 markings, 980986 edges, 8841 markings/sec, 85 secs
lola: 830721 markings, 1038711 edges, 8773 markings/sec, 90 secs
lola: 874707 markings, 1095918 edges, 8797 markings/sec, 95 secs
lola: 918811 markings, 1152787 edges, 8821 markings/sec, 100 secs
lola: 962818 markings, 1208717 edges, 8801 markings/sec, 105 secs
lola: 1006981 markings, 1267593 edges, 8833 markings/sec, 110 secs
lola: 1050914 markings, 1323945 edges, 8787 markings/sec, 115 secs
lola: 1095069 markings, 1381635 edges, 8831 markings/sec, 120 secs
lola: 1139121 markings, 1438637 edges, 8810 markings/sec, 125 secs
lola: 1183285 markings, 1496410 edges, 8833 markings/sec, 130 secs
lola: 1227135 markings, 1554166 edges, 8770 markings/sec, 135 secs
lola: 1271221 markings, 1611328 edges, 8817 markings/sec, 140 secs
lola: 1314942 markings, 1668583 edges, 8744 markings/sec, 145 secs
lola: 1358270 markings, 1724889 edges, 8666 markings/sec, 150 secs
lola: 1401486 markings, 1781130 edges, 8643 markings/sec, 155 secs
lola: 1444763 markings, 1837676 edges, 8655 markings/sec, 160 secs
lola: 1488912 markings, 1895309 edges, 8830 markings/sec, 165 secs
lola: 1532734 markings, 1952238 edges, 8764 markings/sec, 170 secs
lola: 1576917 markings, 2009560 edges, 8837 markings/sec, 175 secs
lola: 1620908 markings, 2067440 edges, 8798 markings/sec, 180 secs
lola: 1664933 markings, 2125467 edges, 8805 markings/sec, 185 secs
lola: 1708855 markings, 2183263 edges, 8784 markings/sec, 190 secs
lola: 1752715 markings, 2241285 edges, 8772 markings/sec, 195 secs
lola: 1796773 markings, 2298882 edges, 8812 markings/sec, 200 secs
lola: 1840556 markings, 2356951 edges, 8757 markings/sec, 205 secs
lola: 1884675 markings, 2414233 edges, 8824 markings/sec, 210 secs
lola: 1928646 markings, 2471492 edges, 8794 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(ScheduleTaskE_Check_1 + ScheduleTaskE_Check_2 + ScheduleTaskE_Check_3 + ScheduleTaskE_Check_4 + ScheduleTaskE_Check_5 + ScheduleTaskE_Check_6)
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: 48576 markings, 51498 edges, 9715 markings/sec, 0 secs
lola: 97005 markings, 105641 edges, 9686 markings/sec, 5 secs
lola: 145633 markings, 160421 edges, 9726 markings/sec, 10 secs
lola: 194245 markings, 216690 edges, 9722 markings/sec, 15 secs
lola: 242701 markings, 276339 edges, 9691 markings/sec, 20 secs
lola: 291465 markings, 335910 edges, 9753 markings/sec, 25 secs
lola: 340034 markings, 392584 edges, 9714 markings/sec, 30 secs
lola: 389336 markings, 451541 edges, 9860 markings/sec, 35 secs
lola: 438556 markings, 511386 edges, 9844 markings/sec, 40 secs
lola: 487159 markings, 569581 edges, 9721 markings/sec, 45 secs
lola: 535548 markings, 629760 edges, 9678 markings/sec, 50 secs
lola: 584193 markings, 690559 edges, 9729 markings/sec, 55 secs
lola: 632720 markings, 751021 edges, 9705 markings/sec, 60 secs
lola: 681779 markings, 808896 edges, 9812 markings/sec, 65 secs
lola: 731150 markings, 872560 edges, 9874 markings/sec, 70 secs
lola: 780341 markings, 934290 edges, 9838 markings/sec, 75 secs
lola: 829397 markings, 996148 edges, 9811 markings/sec, 80 secs
lola: 878519 markings, 1057410 edges, 9824 markings/sec, 85 secs
lola: 926776 markings, 1115032 edges, 9651 markings/sec, 90 secs
lola: 976473 markings, 1174497 edges, 9939 markings/sec, 95 secs
lola: 1024259 markings, 1234891 edges, 9557 markings/sec, 100 secs
lola: 1073527 markings, 1297487 edges, 9854 markings/sec, 105 secs
lola: 1122623 markings, 1357474 edges, 9819 markings/sec, 110 secs
lola: 1172403 markings, 1420976 edges, 9956 markings/sec, 115 secs
lola: 1222135 markings, 1485763 edges, 9946 markings/sec, 120 secs
lola: 1271501 markings, 1547897 edges, 9873 markings/sec, 125 secs
lola: 1321261 markings, 1610882 edges, 9952 markings/sec, 130 secs
lola: 1370007 markings, 1674536 edges, 9749 markings/sec, 135 secs
lola: 1419791 markings, 1735564 edges, 9957 markings/sec, 140 secs
lola: 1469106 markings, 1797342 edges, 9863 markings/sec, 145 secs
lola: 1518044 markings, 1861179 edges, 9788 markings/sec, 150 secs
lola: 1567268 markings, 1923125 edges, 9845 markings/sec, 155 secs
lola: 1617233 markings, 1986618 edges, 9993 markings/sec, 160 secs
lola: 1667074 markings, 2048551 edges, 9968 markings/sec, 165 secs
lola: 1716110 markings, 2109590 edges, 9807 markings/sec, 170 secs
lola: 1765234 markings, 2172315 edges, 9825 markings/sec, 175 secs
lola: 1813755 markings, 2232825 edges, 9704 markings/sec, 180 secs
lola: 1863211 markings, 2295440 edges, 9891 markings/sec, 185 secs
lola: 1912824 markings, 2358203 edges, 9923 markings/sec, 190 secs
lola: 1961646 markings, 2418744 edges, 9764 markings/sec, 195 secs
lola: 2011247 markings, 2482621 edges, 9920 markings/sec, 200 secs
lola: 2060900 markings, 2547908 edges, 9931 markings/sec, 205 secs
lola: 2110484 markings, 2607137 edges, 9917 markings/sec, 210 secs
lola: 2158779 markings, 2669645 edges, 9659 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(IsMonitoring)
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: 48971 markings, 51906 edges, 9794 markings/sec, 0 secs
lola: 97803 markings, 106493 edges, 9766 markings/sec, 5 secs
lola: 146717 markings, 161967 edges, 9783 markings/sec, 10 secs
lola: 195927 markings, 218512 edges, 9842 markings/sec, 15 secs
lola: 244776 markings, 278653 edges, 9770 markings/sec, 20 secs
lola: 294037 markings, 339061 edges, 9852 markings/sec, 25 secs
lola: 343742 markings, 396346 edges, 9941 markings/sec, 30 secs
lola: 393958 markings, 456341 edges, 10043 markings/sec, 35 secs
lola: 444193 markings, 517375 edges, 10047 markings/sec, 40 secs
lola: 493692 markings, 577787 edges, 9900 markings/sec, 45 secs
lola: 542164 markings, 639283 edges, 9694 markings/sec, 50 secs
lola: 591253 markings, 698762 edges, 9818 markings/sec, 55 secs
lola: 640105 markings, 759679 edges, 9770 markings/sec, 60 secs
lola: 689304 markings, 818939 edges, 9840 markings/sec, 65 secs
lola: 738784 markings, 882271 edges, 9896 markings/sec, 70 secs
lola: 788156 markings, 944150 edges, 9874 markings/sec, 75 secs
lola: 837914 markings, 1006475 edges, 9952 markings/sec, 80 secs
lola: 887045 markings, 1068096 edges, 9826 markings/sec, 85 secs
lola: 935637 markings, 1126606 edges, 9718 markings/sec, 90 secs
lola: 985396 markings, 1185013 edges, 9952 markings/sec, 95 secs
lola: 1033490 markings, 1246198 edges, 9619 markings/sec, 100 secs
lola: 1082967 markings, 1309088 edges, 9895 markings/sec, 105 secs
lola: 1132575 markings, 1369887 edges, 9922 markings/sec, 110 secs
lola: 1182638 markings, 1434696 edges, 10013 markings/sec, 115 secs
lola: 1232911 markings, 1498957 edges, 10055 markings/sec, 120 secs
lola: 1282438 markings, 1562647 edges, 9905 markings/sec, 125 secs
lola: 1332113 markings, 1623958 edges, 9935 markings/sec, 130 secs
lola: 1382022 markings, 1689571 edges, 9982 markings/sec, 135 secs
lola: 1431589 markings, 1750918 edges, 9913 markings/sec, 140 secs
lola: 1481240 markings, 1813076 edges, 9930 markings/sec, 145 secs
lola: 1530014 markings, 1876103 edges, 9755 markings/sec, 150 secs
lola: 1580483 markings, 1940150 edges, 10094 markings/sec, 155 secs
lola: 1630245 markings, 2003492 edges, 9952 markings/sec, 160 secs
lola: 1680292 markings, 2064615 edges, 10009 markings/sec, 165 secs
lola: 1729241 markings, 2127130 edges, 9790 markings/sec, 170 secs
lola: 1778789 markings, 2188333 edges, 9910 markings/sec, 175 secs
lola: 1828227 markings, 2250783 edges, 9888 markings/sec, 180 secs
lola: 1877390 markings, 2313408 edges, 9833 markings/sec, 185 secs
lola: 1925885 markings, 2376060 edges, 9699 markings/sec, 190 secs
lola: 1972596 markings, 2433182 edges, 9342 markings/sec, 195 secs
lola: 2021300 markings, 2495838 edges, 9741 markings/sec, 200 secs
lola: 2069376 markings, 2557659 edges, 9615 markings/sec, 205 secs
lola: 2117578 markings, 2616790 edges, 9640 markings/sec, 210 secs
lola: 2164682 markings, 2677040 edges, 9421 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(IsMonitoring)
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: 28170 markings, 29209 edges, 5634 markings/sec, 0 secs
lola: 56151 markings, 60653 edges, 5596 markings/sec, 5 secs
lola: 84381 markings, 91680 edges, 5646 markings/sec, 10 secs
lola: 112909 markings, 123258 edges, 5706 markings/sec, 15 secs
lola: 141163 markings, 155102 edges, 5651 markings/sec, 20 secs
lola: 169606 markings, 188166 edges, 5689 markings/sec, 25 secs
lola: 197853 markings, 220942 edges, 5649 markings/sec, 30 secs
lola: 225945 markings, 255399 edges, 5618 markings/sec, 35 secs
lola: 254350 markings, 290392 edges, 5681 markings/sec, 40 secs
lola: 282742 markings, 325327 edges, 5678 markings/sec, 45 secs
lola: 310941 markings, 358169 edges, 5640 markings/sec, 50 secs
lola: 339176 markings, 391712 edges, 5647 markings/sec, 55 secs
lola: 367414 markings, 425297 edges, 5648 markings/sec, 60 secs
lola: 396321 markings, 459048 edges, 5781 markings/sec, 65 secs
lola: 424946 markings, 494652 edges, 5725 markings/sec, 70 secs
lola: 453597 markings, 527984 edges, 5730 markings/sec, 75 secs
lola: 481655 markings, 562682 edges, 5612 markings/sec, 80 secs
lola: 509953 markings, 597624 edges, 5660 markings/sec, 85 secs
lola: 537980 markings, 633180 edges, 5605 markings/sec, 90 secs
lola: 566341 markings, 668699 edges, 5672 markings/sec, 95 secs
lola: 594548 markings, 702303 edges, 5641 markings/sec, 100 secs
lola: 622739 markings, 738566 edges, 5638 markings/sec, 105 secs
lola: 651217 markings, 771747 edges, 5696 markings/sec, 110 secs
lola: 679438 markings, 806116 edges, 5644 markings/sec, 115 secs
lola: 708395 markings, 842800 edges, 5791 markings/sec, 120 secs
lola: 736806 markings, 879798 edges, 5682 markings/sec, 125 secs
lola: 765480 markings, 915263 edges, 5735 markings/sec, 130 secs
lola: 793763 markings, 951626 edges, 5657 markings/sec, 135 secs
lola: 822527 markings, 987135 edges, 5753 markings/sec, 140 secs
lola: 851393 markings, 1023334 edges, 5773 markings/sec, 145 secs
lola: 879852 markings, 1059285 edges, 5692 markings/sec, 150 secs
lola: 907889 markings, 1091173 edges, 5607 markings/sec, 155 secs
lola: 936199 markings, 1127270 edges, 5662 markings/sec, 160 secs
lola: 964937 markings, 1160518 edges, 5748 markings/sec, 165 secs
lola: 993387 markings, 1195754 edges, 5690 markings/sec, 170 secs
lola: 1021138 markings, 1230875 edges, 5550 markings/sec, 175 secs
lola: 1049442 markings, 1265564 edges, 5661 markings/sec, 180 secs
lola: 1078305 markings, 1303678 edges, 5773 markings/sec, 185 secs
lola: 1106548 markings, 1337802 edges, 5649 markings/sec, 190 secs
lola: 1135604 markings, 1373561 edges, 5811 markings/sec, 195 secs
lola: 1164276 markings, 1410609 edges, 5734 markings/sec, 200 secs
lola: 1193737 markings, 1448462 edges, 5892 markings/sec, 205 secs
lola: 1222672 markings, 1486385 edges, 5787 markings/sec, 210 secs
lola: 1251396 markings, 1521844 edges, 5745 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(PollingAbort)
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: 55322 markings, 59256 edges, 11064 markings/sec, 0 secs
lola: 110592 markings, 118632 edges, 11054 markings/sec, 5 secs
lola: 165991 markings, 179090 edges, 11080 markings/sec, 10 secs
lola: 220794 markings, 239322 edges, 10961 markings/sec, 15 secs
lola: 276094 markings, 300039 edges, 11060 markings/sec, 20 secs
lola: 330915 markings, 360967 edges, 10964 markings/sec, 25 secs
lola: 385715 markings, 421849 edges, 10960 markings/sec, 30 secs
lola: 440473 markings, 483489 edges, 10952 markings/sec, 35 secs
lola: 496977 markings, 546590 edges, 11301 markings/sec, 40 secs
lola: 553368 markings, 610181 edges, 11278 markings/sec, 45 secs
lola: 610420 markings, 674684 edges, 11410 markings/sec, 50 secs
lola: 667685 markings, 739293 edges, 11453 markings/sec, 55 secs
lola: 723893 markings, 802763 edges, 11242 markings/sec, 60 secs
lola: 779766 markings, 866805 edges, 11175 markings/sec, 65 secs
lola: 836526 markings, 931581 edges, 11352 markings/sec, 70 secs
lola: 893176 markings, 995798 edges, 11330 markings/sec, 75 secs
lola: 948918 markings, 1060662 edges, 11148 markings/sec, 80 secs
lola: 1005041 markings, 1125711 edges, 11225 markings/sec, 85 secs
lola: 1060732 markings, 1189808 edges, 11138 markings/sec, 90 secs
lola: 1116533 markings, 1254098 edges, 11160 markings/sec, 95 secs
lola: 1172482 markings, 1318924 edges, 11190 markings/sec, 100 secs
lola: 1228710 markings, 1382427 edges, 11246 markings/sec, 105 secs
lola: 1284517 markings, 1444670 edges, 11161 markings/sec, 110 secs
lola: 1340511 markings, 1507879 edges, 11199 markings/sec, 115 secs
lola: 1396561 markings, 1571749 edges, 11210 markings/sec, 120 secs
lola: 1452864 markings, 1636147 edges, 11261 markings/sec, 125 secs
lola: 1509699 markings, 1701446 edges, 11367 markings/sec, 130 secs
lola: 1565365 markings, 1765546 edges, 11133 markings/sec, 135 secs
lola: 1620906 markings, 1829580 edges, 11108 markings/sec, 140 secs
lola: 1676201 markings, 1894224 edges, 11059 markings/sec, 145 secs
lola: 1732143 markings, 1956901 edges, 11188 markings/sec, 150 secs
lola: 1787996 markings, 2020940 edges, 11171 markings/sec, 155 secs
lola: 1843990 markings, 2085807 edges, 11199 markings/sec, 160 secs
lola: 1899620 markings, 2150118 edges, 11126 markings/sec, 165 secs
lola: 1955056 markings, 2212784 edges, 11087 markings/sec, 170 secs
lola: 2010961 markings, 2277158 edges, 11181 markings/sec, 175 secs
lola: 2067097 markings, 2340588 edges, 11227 markings/sec, 180 secs
lola: 2122996 markings, 2403722 edges, 11180 markings/sec, 185 secs
lola: 2178393 markings, 2468313 edges, 11079 markings/sec, 190 secs
lola: 2233863 markings, 2532528 edges, 11094 markings/sec, 195 secs
lola: 2289307 markings, 2595647 edges, 11089 markings/sec, 200 secs
lola: 2345019 markings, 2659532 edges, 11142 markings/sec, 205 secs
lola: 2400006 markings, 2724837 edges, 10997 markings/sec, 210 secs
lola: 2454658 markings, 2788559 edges, 10930 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(NotifyEventJobCompletedE_1 + NotifyEventJobCompletedE_2 + NotifyEventJobCompletedE_3 + NotifyEventJobCompletedE_4 + NotifyEventJobCompletedE_5 + NotifyEventJobCompletedE_6)
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: 35577 markings, 37424 edges, 7115 markings/sec, 0 secs
lola: 70859 markings, 75130 edges, 7056 markings/sec, 5 secs
lola: 105772 markings, 113942 edges, 6983 markings/sec, 10 secs
lola: 140350 markings, 152595 edges, 6916 markings/sec, 15 secs
lola: 174615 markings, 190829 edges, 6853 markings/sec, 20 secs
lola: 208716 markings, 229683 edges, 6820 markings/sec, 25 secs
lola: 242819 markings, 268508 edges, 6821 markings/sec, 30 secs
lola: 276555 markings, 308364 edges, 6747 markings/sec, 35 secs
lola: 310412 markings, 347182 edges, 6771 markings/sec, 40 secs
lola: 343602 markings, 387536 edges, 6638 markings/sec, 45 secs
lola: 377192 markings, 427049 edges, 6718 markings/sec, 50 secs
lola: 410082 markings, 468027 edges, 6578 markings/sec, 55 secs
lola: 451512 markings, 519733 edges, 8286 markings/sec, 60 secs
lola: 504639 markings, 585172 edges, 10625 markings/sec, 65 secs
lola: 558459 markings, 650346 edges, 10764 markings/sec, 70 secs
lola: 611473 markings, 717070 edges, 10603 markings/sec, 75 secs
lola: 664717 markings, 785921 edges, 10649 markings/sec, 80 secs
lola: 718105 markings, 852493 edges, 10678 markings/sec, 85 secs
lola: 771776 markings, 920459 edges, 10734 markings/sec, 90 secs
lola: 824465 markings, 985570 edges, 10538 markings/sec, 95 secs
lola: 876802 markings, 1052848 edges, 10467 markings/sec, 100 secs
lola: 929773 markings, 1118972 edges, 10594 markings/sec, 105 secs
lola: 982334 markings, 1185103 edges, 10512 markings/sec, 110 secs
lola: 1031998 markings, 1248561 edges, 9933 markings/sec, 115 secs
lola: 1083234 markings, 1313857 edges, 10247 markings/sec, 120 secs
lola: 1134466 markings, 1377268 edges, 10246 markings/sec, 125 secs
lola: 1185989 markings, 1441887 edges, 10305 markings/sec, 130 secs
lola: 1238576 markings, 1507986 edges, 10517 markings/sec, 135 secs
lola: 1291566 markings, 1576694 edges, 10598 markings/sec, 140 secs
lola: 1342424 markings, 1641338 edges, 10172 markings/sec, 145 secs
lola: 1391380 markings, 1706116 edges, 9791 markings/sec, 150 secs
lola: 1441320 markings, 1770812 edges, 9988 markings/sec, 155 secs
lola: 1491629 markings, 1838159 edges, 10062 markings/sec, 160 secs
lola: 1543562 markings, 1907833 edges, 10387 markings/sec, 165 secs
lola: 1594275 markings, 1974319 edges, 10143 markings/sec, 170 secs
lola: 1643090 markings, 2040070 edges, 9763 markings/sec, 175 secs
lola: 1695727 markings, 2109431 edges, 10527 markings/sec, 180 secs
lola: 1746631 markings, 2175104 edges, 10181 markings/sec, 185 secs
lola: 1797771 markings, 2243819 edges, 10228 markings/sec, 190 secs
lola: 1845856 markings, 2308585 edges, 9617 markings/sec, 195 secs
lola: 1894002 markings, 2373408 edges, 9629 markings/sec, 200 secs
lola: 1942255 markings, 2438023 edges, 9651 markings/sec, 205 secs
lola: 1992672 markings, 2504209 edges, 10083 markings/sec, 210 secs
lola: 2040620 markings, 2568206 edges, 9590 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(MarkerWrite)
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: 34869 markings, 38962 edges, 6974 markings/sec, 0 secs
lola: 69833 markings, 79932 edges, 6993 markings/sec, 5 secs
lola: 104680 markings, 121986 edges, 6969 markings/sec, 10 secs
lola: 139516 markings, 164341 edges, 6967 markings/sec, 15 secs
lola: 174235 markings, 206730 edges, 6944 markings/sec, 20 secs
lola: 209006 markings, 249774 edges, 6954 markings/sec, 25 secs
lola: 243620 markings, 293736 edges, 6923 markings/sec, 30 secs
lola: 278257 markings, 339106 edges, 6927 markings/sec, 35 secs
lola: 312710 markings, 384644 edges, 6891 markings/sec, 40 secs
lola: 347136 markings, 429106 edges, 6885 markings/sec, 45 secs
lola: 381511 markings, 473031 edges, 6875 markings/sec, 50 secs
lola: 415886 markings, 516875 edges, 6875 markings/sec, 55 secs
lola: 450176 markings, 561242 edges, 6858 markings/sec, 60 secs
lola: 484545 markings, 605794 edges, 6874 markings/sec, 65 secs
lola: 518812 markings, 650164 edges, 6853 markings/sec, 70 secs
lola: 552995 markings, 695672 edges, 6837 markings/sec, 75 secs
lola: 587316 markings, 741514 edges, 6864 markings/sec, 80 secs
lola: 621575 markings, 786236 edges, 6852 markings/sec, 85 secs
lola: 655722 markings, 831922 edges, 6829 markings/sec, 90 secs
lola: 689878 markings, 878121 edges, 6831 markings/sec, 95 secs
lola: 724094 markings, 922714 edges, 6843 markings/sec, 100 secs
lola: 758353 markings, 966980 edges, 6852 markings/sec, 105 secs
lola: 792490 markings, 1011450 edges, 6827 markings/sec, 110 secs
lola: 826714 markings, 1056222 edges, 6845 markings/sec, 115 secs
lola: 860962 markings, 1101897 edges, 6850 markings/sec, 120 secs
lola: 894961 markings, 1146881 edges, 6800 markings/sec, 125 secs
lola: 929062 markings, 1191673 edges, 6820 markings/sec, 130 secs
lola: 963191 markings, 1236957 edges, 6826 markings/sec, 135 secs
lola: 997233 markings, 1282514 edges, 6808 markings/sec, 140 secs
lola: 1031292 markings, 1328485 edges, 6812 markings/sec, 145 secs
lola: 1065379 markings, 1373401 edges, 6817 markings/sec, 150 secs
lola: 1099190 markings, 1419726 edges, 6762 markings/sec, 155 secs
lola: 1130400 markings, 1461487 edges, 6242 markings/sec, 160 secs
lola: 1160172 markings, 1500388 edges, 5954 markings/sec, 165 secs
lola: 1192534 markings, 1543045 edges, 6472 markings/sec, 170 secs
lola: 1226053 markings, 1587198 edges, 6704 markings/sec, 175 secs
lola: 1260088 markings, 1632103 edges, 6807 markings/sec, 180 secs
lola: 1294155 markings, 1677097 edges, 6813 markings/sec, 185 secs
lola: 1328199 markings, 1721326 edges, 6809 markings/sec, 190 secs
lola: 1362199 markings, 1765918 edges, 6800 markings/sec, 195 secs
lola: 1396125 markings, 1812120 edges, 6785 markings/sec, 200 secs
lola: 1430085 markings, 1857449 edges, 6792 markings/sec, 205 secs
lola: 1464072 markings, 1902047 edges, 6797 markings/sec, 210 secs
lola: 1498107 markings, 1946909 edges, 6807 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(P_1095)
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: 54616 markings, 60808 edges, 10923 markings/sec, 0 secs
lola: 107600 markings, 121751 edges, 10597 markings/sec, 5 secs
lola: 159592 markings, 183682 edges, 10398 markings/sec, 10 secs
lola: 211567 markings, 246579 edges, 10395 markings/sec, 15 secs
lola: 262551 markings, 309750 edges, 10197 markings/sec, 20 secs
lola: 313686 markings, 374248 edges, 10227 markings/sec, 25 secs
lola: 365080 markings, 438142 edges, 10279 markings/sec, 30 secs
lola: 415736 markings, 502358 edges, 10131 markings/sec, 35 secs
lola: 466569 markings, 567331 edges, 10167 markings/sec, 40 secs
lola: 517605 markings, 632112 edges, 10207 markings/sec, 45 secs
lola: 569169 markings, 697633 edges, 10313 markings/sec, 50 secs
lola: 620269 markings, 763104 edges, 10220 markings/sec, 55 secs
lola: 671208 markings, 828725 edges, 10188 markings/sec, 60 secs
lola: 722317 markings, 893298 edges, 10222 markings/sec, 65 secs
lola: 772540 markings, 958959 edges, 10045 markings/sec, 70 secs
lola: 823747 markings, 1024795 edges, 10241 markings/sec, 75 secs
lola: 875106 markings, 1091486 edges, 10272 markings/sec, 80 secs
lola: 926523 markings, 1156903 edges, 10283 markings/sec, 85 secs
lola: 977815 markings, 1222361 edges, 10258 markings/sec, 90 secs
lola: 1028830 markings, 1288000 edges, 10203 markings/sec, 95 secs
lola: 1079513 markings, 1354317 edges, 10137 markings/sec, 100 secs
lola: 1130597 markings, 1420536 edges, 10217 markings/sec, 105 secs
lola: 1180987 markings, 1486290 edges, 10078 markings/sec, 110 secs
lola: 1231651 markings, 1551724 edges, 10133 markings/sec, 115 secs
lola: 1282831 markings, 1618621 edges, 10236 markings/sec, 120 secs
lola: 1334024 markings, 1684962 edges, 10239 markings/sec, 125 secs
lola: 1385216 markings, 1751463 edges, 10238 markings/sec, 130 secs
lola: 1436252 markings, 1818200 edges, 10207 markings/sec, 135 secs
lola: 1487464 markings, 1884358 edges, 10242 markings/sec, 140 secs
lola: 1538533 markings, 1950470 edges, 10214 markings/sec, 145 secs
lola: 1589772 markings, 2017747 edges, 10248 markings/sec, 150 secs
lola: 1640557 markings, 2084834 edges, 10157 markings/sec, 155 secs
lola: 1691732 markings, 2150946 edges, 10235 markings/sec, 160 secs
lola: 1742813 markings, 2217774 edges, 10216 markings/sec, 165 secs
lola: 1793396 markings, 2283949 edges, 10117 markings/sec, 170 secs
lola: 1844107 markings, 2350799 edges, 10142 markings/sec, 175 secs
lola: 1895268 markings, 2416982 edges, 10232 markings/sec, 180 secs
lola: 1946171 markings, 2482809 edges, 10181 markings/sec, 185 secs
lola: 1997166 markings, 2549573 edges, 10199 markings/sec, 190 secs
lola: 2048168 markings, 2616645 edges, 10200 markings/sec, 195 secs
lola: 2099073 markings, 2683958 edges, 10181 markings/sec, 200 secs
lola: 2149776 markings, 2751702 edges, 10141 markings/sec, 205 secs
lola: 2200815 markings, 2821096 edges, 10208 markings/sec, 210 secs
lola: 2251483 markings, 2887990 edges, 10134 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(P_2579_4_1 + P_2579_4_2 + P_2579_4_3 + P_2579_4_4 + P_2579_5_1 + P_2579_5_2 + P_2579_5_3 + P_2579_5_4 + P_2579_6_1 + P_2579_6_2 + P_2579_6_3 + P_2579_6_4 + P_2579_2_4 + P_2579_2_3 + P_2579_2_2 + P_2579_2_1 + P_2579_1_4 + P_2579_1_3 + P_2579_1_2 + P_2579_1_1 + P_2579_3_1 + P_2579_3_2 + P_2579_3_3 + P_2579_3_4)
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: 53759 markings, 58240 edges, 10752 markings/sec, 0 secs
lola: 104738 markings, 114704 edges, 10196 markings/sec, 5 secs
lola: 155113 markings, 170704 edges, 10075 markings/sec, 10 secs
lola: 206147 markings, 226441 edges, 10207 markings/sec, 15 secs
lola: 256518 markings, 282068 edges, 10074 markings/sec, 20 secs
lola: 307177 markings, 338196 edges, 10132 markings/sec, 25 secs
lola: 357854 markings, 394589 edges, 10135 markings/sec, 30 secs
lola: 408239 markings, 450433 edges, 10077 markings/sec, 35 secs
lola: 458879 markings, 507563 edges, 10128 markings/sec, 40 secs
lola: 510447 markings, 566315 edges, 10314 markings/sec, 45 secs
lola: 563811 markings, 626860 edges, 10673 markings/sec, 50 secs
lola: 616561 markings, 687209 edges, 10550 markings/sec, 55 secs
lola: 669466 markings, 747374 edges, 10581 markings/sec, 60 secs
lola: 721767 markings, 807270 edges, 10460 markings/sec, 65 secs
lola: 774286 markings, 867419 edges, 10504 markings/sec, 70 secs
lola: 826430 markings, 925577 edges, 10429 markings/sec, 75 secs
lola: 879506 markings, 985540 edges, 10615 markings/sec, 80 secs
lola: 932106 markings, 1045159 edges, 10520 markings/sec, 85 secs
lola: 984784 markings, 1104499 edges, 10536 markings/sec, 90 secs
lola: 1037333 markings, 1165386 edges, 10510 markings/sec, 95 secs
lola: 1089906 markings, 1226044 edges, 10515 markings/sec, 100 secs
lola: 1142241 markings, 1287846 edges, 10467 markings/sec, 105 secs
lola: 1194562 markings, 1347037 edges, 10464 markings/sec, 110 secs
lola: 1247154 markings, 1407293 edges, 10518 markings/sec, 115 secs
lola: 1299567 markings, 1468237 edges, 10483 markings/sec, 120 secs
lola: 1348970 markings, 1526132 edges, 9881 markings/sec, 125 secs
lola: 1400442 markings, 1586594 edges, 10294 markings/sec, 130 secs
lola: 1445688 markings, 1637728 edges, 9049 markings/sec, 135 secs
lola: 1494793 markings, 1694733 edges, 9821 markings/sec, 140 secs
lola: 1546099 markings, 1755116 edges, 10261 markings/sec, 145 secs
lola: 1596895 markings, 1814204 edges, 10159 markings/sec, 150 secs
lola: 1644263 markings, 1868286 edges, 9474 markings/sec, 155 secs
lola: 1695515 markings, 1927603 edges, 10250 markings/sec, 160 secs
lola: 1746260 markings, 1985271 edges, 10149 markings/sec, 165 secs
lola: 1797742 markings, 2045337 edges, 10296 markings/sec, 170 secs
lola: 1848843 markings, 2104493 edges, 10220 markings/sec, 175 secs
lola: 1899864 markings, 2163960 edges, 10204 markings/sec, 180 secs
lola: 1951685 markings, 2223472 edges, 10364 markings/sec, 185 secs
lola: 2003289 markings, 2282152 edges, 10321 markings/sec, 190 secs
lola: 2054987 markings, 2341773 edges, 10340 markings/sec, 195 secs
lola: 2106137 markings, 2400246 edges, 10230 markings/sec, 200 secs
lola: 2156848 markings, 2459919 edges, 10142 markings/sec, 205 secs
lola: 2208011 markings, 2518866 edges, 10233 markings/sec, 210 secs
lola: 2259252 markings, 2579009 edges, 10248 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(Abort_Check_Sources_E_1 + Abort_Check_Sources_E_2 + Abort_Check_Sources_E_3 + Abort_Check_Sources_E_4 + Abort_Check_Sources_E_5 + Abort_Check_Sources_E_6)
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: 56451 markings, 60462 edges, 11290 markings/sec, 0 secs
lola: 112748 markings, 120877 edges, 11259 markings/sec, 5 secs
lola: 169225 markings, 182617 edges, 11295 markings/sec, 10 secs
lola: 225026 markings, 243973 edges, 11160 markings/sec, 15 secs
lola: 281115 markings, 305719 edges, 11218 markings/sec, 20 secs
lola: 337026 markings, 367587 edges, 11182 markings/sec, 25 secs
lola: 392720 markings, 430335 edges, 11139 markings/sec, 30 secs
lola: 448415 markings, 492405 edges, 11139 markings/sec, 35 secs
lola: 503438 markings, 553718 edges, 11005 markings/sec, 40 secs
lola: 558318 markings, 615834 edges, 10976 markings/sec, 45 secs
lola: 613975 markings, 678783 edges, 11131 markings/sec, 50 secs
lola: 669638 markings, 741304 edges, 11133 markings/sec, 55 secs
lola: 724353 markings, 803241 edges, 10943 markings/sec, 60 secs
lola: 779072 markings, 865952 edges, 10944 markings/sec, 65 secs
lola: 834199 markings, 929036 edges, 11025 markings/sec, 70 secs
lola: 889618 markings, 991400 edges, 11084 markings/sec, 75 secs
lola: 943721 markings, 1054592 edges, 10821 markings/sec, 80 secs
lola: 998400 markings, 1118364 edges, 10936 markings/sec, 85 secs
lola: 1052664 markings, 1180441 edges, 10853 markings/sec, 90 secs
lola: 1106920 markings, 1242840 edges, 10851 markings/sec, 95 secs
lola: 1161419 markings, 1306131 edges, 10900 markings/sec, 100 secs
lola: 1216244 markings, 1368555 edges, 10965 markings/sec, 105 secs
lola: 1270686 markings, 1429013 edges, 10888 markings/sec, 110 secs
lola: 1325023 markings, 1490752 edges, 10867 markings/sec, 115 secs
lola: 1380340 markings, 1553400 edges, 11063 markings/sec, 120 secs
lola: 1435687 markings, 1616331 edges, 11069 markings/sec, 125 secs
lola: 1491139 markings, 1680775 edges, 11090 markings/sec, 130 secs
lola: 1546424 markings, 1742844 edges, 11057 markings/sec, 135 secs
lola: 1600486 markings, 1806629 edges, 10812 markings/sec, 140 secs
lola: 1654858 markings, 1869154 edges, 10874 markings/sec, 145 secs
lola: 1709887 markings, 1931435 edges, 11006 markings/sec, 150 secs
lola: 1764213 markings, 1993800 edges, 10865 markings/sec, 155 secs
lola: 1819299 markings, 2056842 edges, 11017 markings/sec, 160 secs
lola: 1873778 markings, 2120006 edges, 10896 markings/sec, 165 secs
lola: 1928030 markings, 2182395 edges, 10850 markings/sec, 170 secs
lola: 1982877 markings, 2245268 edges, 10969 markings/sec, 175 secs
lola: 2038549 markings, 2308381 edges, 11134 markings/sec, 180 secs
lola: 2094167 markings, 2371173 edges, 11124 markings/sec, 185 secs
lola: 2148939 markings, 2434364 edges, 10954 markings/sec, 190 secs
lola: 2203210 markings, 2497210 edges, 10854 markings/sec, 195 secs
lola: 2258097 markings, 2560036 edges, 10977 markings/sec, 200 secs
lola: 2312906 markings, 2621867 edges, 10962 markings/sec, 205 secs
lola: 2367840 markings, 2687096 edges, 10987 markings/sec, 210 secs
lola: 2422227 markings, 2749753 edges, 10877 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(Insert_Source_E_1 + Insert_Source_E_2 + Insert_Source_E_3 + Insert_Source_E_4 + Insert_Source_E_5 + Insert_Source_E_6)
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: 52878 markings, 55350 edges, 10576 markings/sec, 0 secs
lola: 104184 markings, 111048 edges, 10261 markings/sec, 5 secs
lola: 155609 markings, 167098 edges, 10285 markings/sec, 10 secs
lola: 205398 markings, 223633 edges, 9958 markings/sec, 15 secs
lola: 257076 markings, 280565 edges, 10336 markings/sec, 20 secs
lola: 309339 markings, 338171 edges, 10453 markings/sec, 25 secs
lola: 364703 markings, 398697 edges, 11073 markings/sec, 30 secs
lola: 419265 markings, 460446 edges, 10912 markings/sec, 35 secs
lola: 474188 markings, 521467 edges, 10985 markings/sec, 40 secs
lola: 528840 markings, 583669 edges, 10930 markings/sec, 45 secs
lola: 584201 markings, 644680 edges, 11072 markings/sec, 50 secs
lola: 639327 markings, 705296 edges, 11025 markings/sec, 55 secs
lola: 694073 markings, 766120 edges, 10949 markings/sec, 60 secs
lola: 750226 markings, 827374 edges, 11231 markings/sec, 65 secs
lola: 805572 markings, 888747 edges, 11069 markings/sec, 70 secs
lola: 860910 markings, 950295 edges, 11068 markings/sec, 75 secs
lola: 916277 markings, 1012297 edges, 11073 markings/sec, 80 secs
lola: 972401 markings, 1074059 edges, 11225 markings/sec, 85 secs
lola: 1027959 markings, 1136541 edges, 11112 markings/sec, 90 secs
lola: 1083749 markings, 1198066 edges, 11158 markings/sec, 95 secs
lola: 1138778 markings, 1260842 edges, 11006 markings/sec, 100 secs
lola: 1194083 markings, 1322324 edges, 11061 markings/sec, 105 secs
lola: 1250240 markings, 1384503 edges, 11231 markings/sec, 110 secs
lola: 1305962 markings, 1446904 edges, 11144 markings/sec, 115 secs
lola: 1361414 markings, 1508487 edges, 11090 markings/sec, 120 secs
lola: 1417656 markings, 1571104 edges, 11248 markings/sec, 125 secs
lola: 1473837 markings, 1634262 edges, 11236 markings/sec, 130 secs
lola: 1530019 markings, 1696846 edges, 11236 markings/sec, 135 secs
lola: 1586616 markings, 1759319 edges, 11319 markings/sec, 140 secs
lola: 1642703 markings, 1821410 edges, 11217 markings/sec, 145 secs
lola: 1699886 markings, 1884438 edges, 11437 markings/sec, 150 secs
lola: 1756145 markings, 1947123 edges, 11252 markings/sec, 155 secs
lola: 1812749 markings, 2009817 edges, 11321 markings/sec, 160 secs
lola: 1869312 markings, 2072497 edges, 11313 markings/sec, 165 secs
lola: 1925903 markings, 2135478 edges, 11318 markings/sec, 170 secs
lola: 1981899 markings, 2198209 edges, 11199 markings/sec, 175 secs
lola: 2037965 markings, 2260667 edges, 11213 markings/sec, 180 secs
lola: 2094882 markings, 2324105 edges, 11383 markings/sec, 185 secs
lola: 2151088 markings, 2386413 edges, 11241 markings/sec, 190 secs
lola: 2207829 markings, 2449439 edges, 11348 markings/sec, 195 secs
lola: 2264278 markings, 2512582 edges, 11290 markings/sec, 200 secs
lola: 2321093 markings, 2575660 edges, 11363 markings/sec, 205 secs
lola: 2377837 markings, 2639049 edges, 11349 markings/sec, 210 secs
lola: 2434057 markings, 2700991 edges, 11244 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(P_1716)
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: 43318 markings, 56293 edges, 8664 markings/sec, 0 secs
lola: 85266 markings, 113858 edges, 8390 markings/sec, 5 secs
lola: 126683 markings, 172488 edges, 8283 markings/sec, 10 secs
lola: 168416 markings, 230185 edges, 8347 markings/sec, 15 secs
lola: 210076 markings, 289087 edges, 8332 markings/sec, 20 secs
lola: 251656 markings, 348525 edges, 8316 markings/sec, 25 secs
lola: 293534 markings, 407484 edges, 8376 markings/sec, 30 secs
lola: 335201 markings, 466908 edges, 8333 markings/sec, 35 secs
lola: 375980 markings, 523961 edges, 8156 markings/sec, 40 secs
lola: 418066 markings, 584293 edges, 8417 markings/sec, 45 secs
lola: 460298 markings, 644301 edges, 8446 markings/sec, 50 secs
lola: 501899 markings, 703053 edges, 8320 markings/sec, 55 secs
lola: 544421 markings, 763498 edges, 8504 markings/sec, 60 secs
lola: 586611 markings, 823762 edges, 8438 markings/sec, 65 secs
lola: 629420 markings, 883771 edges, 8562 markings/sec, 70 secs
lola: 669690 markings, 940479 edges, 8054 markings/sec, 75 secs
lola: 711718 markings, 1000315 edges, 8406 markings/sec, 80 secs
lola: 754425 markings, 1061164 edges, 8541 markings/sec, 85 secs
lola: 796355 markings, 1121250 edges, 8386 markings/sec, 90 secs
lola: 837660 markings, 1179935 edges, 8261 markings/sec, 95 secs
lola: 878924 markings, 1239479 edges, 8253 markings/sec, 100 secs
lola: 920074 markings, 1299365 edges, 8230 markings/sec, 105 secs
lola: 962495 markings, 1361106 edges, 8484 markings/sec, 110 secs
lola: 1004004 markings, 1422174 edges, 8302 markings/sec, 115 secs
lola: 1045355 markings, 1482013 edges, 8270 markings/sec, 120 secs
lola: 1086662 markings, 1541952 edges, 8261 markings/sec, 125 secs
lola: 1129107 markings, 1602172 edges, 8489 markings/sec, 130 secs
lola: 1171016 markings, 1662547 edges, 8382 markings/sec, 135 secs
lola: 1212891 markings, 1721920 edges, 8375 markings/sec, 140 secs
lola: 1254254 markings, 1782712 edges, 8273 markings/sec, 145 secs
lola: 1294878 markings, 1842172 edges, 8125 markings/sec, 150 secs
lola: 1336171 markings, 1900524 edges, 8259 markings/sec, 155 secs
lola: 1377680 markings, 1960502 edges, 8302 markings/sec, 160 secs
lola: 1419086 markings, 2020483 edges, 8281 markings/sec, 165 secs
lola: 1460414 markings, 2077871 edges, 8266 markings/sec, 170 secs
lola: 1502550 markings, 2138668 edges, 8427 markings/sec, 175 secs
lola: 1544487 markings, 2200250 edges, 8387 markings/sec, 180 secs
lola: 1586538 markings, 2260907 edges, 8410 markings/sec, 185 secs
lola: 1628675 markings, 2321343 edges, 8427 markings/sec, 190 secs
lola: 1671347 markings, 2382402 edges, 8534 markings/sec, 195 secs
lola: 1712077 markings, 2443134 edges, 8146 markings/sec, 200 secs
lola: 1753537 markings, 2504151 edges, 8292 markings/sec, 205 secs
lola: 1795424 markings, 2564624 edges, 8377 markings/sec, 210 secs
lola: 1836541 markings, 2623457 edges, 8223 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(QueueJobE_1 + QueueJobE_2 + QueueJobE_3 + QueueJobE_4 + QueueJobE_5 + QueueJobE_6)
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: 34672 markings, 38702 edges, 6934 markings/sec, 0 secs
lola: 69237 markings, 79249 edges, 6913 markings/sec, 5 secs
lola: 103660 markings, 120808 edges, 6885 markings/sec, 10 secs
lola: 138052 markings, 162563 edges, 6878 markings/sec, 15 secs
lola: 172380 markings, 204538 edges, 6866 markings/sec, 20 secs
lola: 206597 markings, 246771 edges, 6843 markings/sec, 25 secs
lola: 240864 markings, 290113 edges, 6853 markings/sec, 30 secs
lola: 275172 markings, 335047 edges, 6862 markings/sec, 35 secs
lola: 309395 markings, 380402 edges, 6845 markings/sec, 40 secs
lola: 343634 markings, 424769 edges, 6848 markings/sec, 45 secs
lola: 377846 markings, 468324 edges, 6842 markings/sec, 50 secs
lola: 412057 markings, 511765 edges, 6842 markings/sec, 55 secs
lola: 446114 markings, 556122 edges, 6811 markings/sec, 60 secs
lola: 480318 markings, 600008 edges, 6841 markings/sec, 65 secs
lola: 514438 markings, 644475 edges, 6824 markings/sec, 70 secs
lola: 548500 markings, 689691 edges, 6812 markings/sec, 75 secs
lola: 582593 markings, 735175 edges, 6819 markings/sec, 80 secs
lola: 616715 markings, 779675 edges, 6824 markings/sec, 85 secs
lola: 650716 markings, 825256 edges, 6800 markings/sec, 90 secs
lola: 684713 markings, 871185 edges, 6799 markings/sec, 95 secs
lola: 718638 markings, 915619 edges, 6785 markings/sec, 100 secs
lola: 752733 markings, 959619 edges, 6819 markings/sec, 105 secs
lola: 786713 markings, 1003961 edges, 6796 markings/sec, 110 secs
lola: 820757 markings, 1048159 edges, 6809 markings/sec, 115 secs
lola: 854842 markings, 1093736 edges, 6817 markings/sec, 120 secs
lola: 888774 markings, 1138479 edges, 6786 markings/sec, 125 secs
lola: 922651 markings, 1183487 edges, 6775 markings/sec, 130 secs
lola: 956559 markings, 1228056 edges, 6782 markings/sec, 135 secs
lola: 990488 markings, 1273844 edges, 6786 markings/sec, 140 secs
lola: 1024360 markings, 1318908 edges, 6774 markings/sec, 145 secs
lola: 1058274 markings, 1364051 edges, 6783 markings/sec, 150 secs
lola: 1092087 markings, 1409642 edges, 6763 markings/sec, 155 secs
lola: 1125947 markings, 1455675 edges, 6772 markings/sec, 160 secs
lola: 1159841 markings, 1499985 edges, 6779 markings/sec, 165 secs
lola: 1193681 markings, 1544412 edges, 6768 markings/sec, 170 secs
lola: 1227541 markings, 1589084 edges, 6772 markings/sec, 175 secs
lola: 1261409 markings, 1633769 edges, 6774 markings/sec, 180 secs
lola: 1295284 markings, 1678587 edges, 6775 markings/sec, 185 secs
lola: 1329099 markings, 1722597 edges, 6763 markings/sec, 190 secs
lola: 1362917 markings, 1766982 edges, 6764 markings/sec, 195 secs
lola: 1396641 markings, 1812786 edges, 6745 markings/sec, 200 secs
lola: 1430407 markings, 1857833 edges, 6753 markings/sec, 205 secs
lola: 1464172 markings, 1902198 edges, 6753 markings/sec, 210 secs
lola: 1498016 markings, 1946751 edges, 6769 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(Idle_1 + Idle_2 + Idle_3 + Idle_4 + Idle_5 + Idle_6)
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: 46770 markings, 48326 edges, 9354 markings/sec, 0 secs
lola: 93401 markings, 97976 edges, 9326 markings/sec, 5 secs
lola: 139130 markings, 149462 edges, 9146 markings/sec, 10 secs
lola: 184348 markings, 201120 edges, 9044 markings/sec, 15 secs
lola: 229749 markings, 253309 edges, 9080 markings/sec, 20 secs
lola: 275551 markings, 305112 edges, 9160 markings/sec, 25 secs
lola: 320701 markings, 358537 edges, 9030 markings/sec, 30 secs
lola: 364407 markings, 408765 edges, 8741 markings/sec, 35 secs
lola: 409465 markings, 461526 edges, 9012 markings/sec, 40 secs
lola: 455060 markings, 513124 edges, 9119 markings/sec, 45 secs
lola: 500574 markings, 565434 edges, 9103 markings/sec, 50 secs
lola: 546266 markings, 617134 edges, 9138 markings/sec, 55 secs
lola: 591948 markings, 669007 edges, 9136 markings/sec, 60 secs
lola: 637817 markings, 721612 edges, 9174 markings/sec, 65 secs
lola: 683950 markings, 774709 edges, 9227 markings/sec, 70 secs
lola: 730068 markings, 827010 edges, 9224 markings/sec, 75 secs
lola: 775385 markings, 879687 edges, 9063 markings/sec, 80 secs
lola: 821454 markings, 932881 edges, 9214 markings/sec, 85 secs
lola: 867229 markings, 986537 edges, 9155 markings/sec, 90 secs
lola: 913065 markings, 1040065 edges, 9167 markings/sec, 95 secs
lola: 959022 markings, 1093375 edges, 9191 markings/sec, 100 secs
lola: 1004562 markings, 1146665 edges, 9108 markings/sec, 105 secs
lola: 1049914 markings, 1199153 edges, 9070 markings/sec, 110 secs
lola: 1095459 markings, 1253010 edges, 9109 markings/sec, 115 secs
lola: 1141309 markings, 1306952 edges, 9170 markings/sec, 120 secs
lola: 1187257 markings, 1360803 edges, 9190 markings/sec, 125 secs
lola: 1233056 markings, 1414345 edges, 9160 markings/sec, 130 secs
lola: 1278619 markings, 1469252 edges, 9113 markings/sec, 135 secs
lola: 1324312 markings, 1523003 edges, 9139 markings/sec, 140 secs
lola: 1369924 markings, 1577285 edges, 9122 markings/sec, 145 secs
lola: 1415801 markings, 1630245 edges, 9175 markings/sec, 150 secs
lola: 1462192 markings, 1685160 edges, 9278 markings/sec, 155 secs
lola: 1508125 markings, 1739802 edges, 9187 markings/sec, 160 secs
lola: 1553737 markings, 1794458 edges, 9122 markings/sec, 165 secs
lola: 1599624 markings, 1850266 edges, 9177 markings/sec, 170 secs
lola: 1645749 markings, 1904694 edges, 9225 markings/sec, 175 secs
lola: 1691632 markings, 1959227 edges, 9177 markings/sec, 180 secs
lola: 1737665 markings, 2014091 edges, 9207 markings/sec, 185 secs
lola: 1784366 markings, 2069029 edges, 9340 markings/sec, 190 secs
lola: 1830412 markings, 2123047 edges, 9209 markings/sec, 195 secs
lola: 1876376 markings, 2177589 edges, 9193 markings/sec, 200 secs
lola: 1922775 markings, 2233508 edges, 9280 markings/sec, 205 secs
lola: 1969392 markings, 2288853 edges, 9323 markings/sec, 210 secs
lola: 2015822 markings, 2343307 edges, 9286 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(NotifyEventSourceAddedB_1 + NotifyEventSourceAddedB_2 + NotifyEventSourceAddedB_3 + NotifyEventSourceAddedB_4 + NotifyEventSourceAddedB_5 + NotifyEventSourceAddedB_6)
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: 56541 markings, 59331 edges, 11308 markings/sec, 0 secs
lola: 111425 markings, 119060 edges, 10977 markings/sec, 5 secs
lola: 166299 markings, 179072 edges, 10975 markings/sec, 10 secs
lola: 220231 markings, 239985 edges, 10786 markings/sec, 15 secs
lola: 274739 markings, 299913 edges, 10902 markings/sec, 20 secs
lola: 331039 markings, 361902 edges, 11260 markings/sec, 25 secs
lola: 387825 markings, 424519 edges, 11357 markings/sec, 30 secs
lola: 443506 markings, 487346 edges, 11136 markings/sec, 35 secs
lola: 499606 markings, 550479 edges, 11220 markings/sec, 40 secs
lola: 555594 markings, 613433 edges, 11198 markings/sec, 45 secs
lola: 612278 markings, 675697 edges, 11337 markings/sec, 50 secs
lola: 668550 markings, 737653 edges, 11254 markings/sec, 55 secs
lola: 725335 markings, 800363 edges, 11357 markings/sec, 60 secs
lola: 782383 markings, 862841 edges, 11410 markings/sec, 65 secs
lola: 839199 markings, 925663 edges, 11363 markings/sec, 70 secs
lola: 895702 markings, 989240 edges, 11301 markings/sec, 75 secs
lola: 952519 markings, 1052514 edges, 11363 markings/sec, 80 secs
lola: 1010352 markings, 1116214 edges, 11567 markings/sec, 85 secs
lola: 1066644 markings, 1179189 edges, 11258 markings/sec, 90 secs
lola: 1122967 markings, 1243581 edges, 11265 markings/sec, 95 secs
lola: 1180034 markings, 1306531 edges, 11413 markings/sec, 100 secs
lola: 1236871 markings, 1369875 edges, 11367 markings/sec, 105 secs
lola: 1294074 markings, 1433621 edges, 11441 markings/sec, 110 secs
lola: 1351075 markings, 1496369 edges, 11400 markings/sec, 115 secs
lola: 1407645 markings, 1560128 edges, 11314 markings/sec, 120 secs
lola: 1464932 markings, 1624491 edges, 11457 markings/sec, 125 secs
lola: 1521802 markings, 1687499 edges, 11374 markings/sec, 130 secs
lola: 1578718 markings, 1750571 edges, 11383 markings/sec, 135 secs
lola: 1635684 markings, 1813644 edges, 11393 markings/sec, 140 secs
lola: 1693241 markings, 1877291 edges, 11511 markings/sec, 145 secs
lola: 1750619 markings, 1941145 edges, 11476 markings/sec, 150 secs
lola: 1807834 markings, 2004359 edges, 11443 markings/sec, 155 secs
lola: 1865096 markings, 2067677 edges, 11452 markings/sec, 160 secs
lola: 1922136 markings, 2131417 edges, 11408 markings/sec, 165 secs
lola: 1978879 markings, 2194850 edges, 11349 markings/sec, 170 secs
lola: 2035549 markings, 2258071 edges, 11334 markings/sec, 175 secs
lola: 2093232 markings, 2322317 edges, 11537 markings/sec, 180 secs
lola: 2150192 markings, 2385424 edges, 11392 markings/sec, 185 secs
lola: 2207583 markings, 2449176 edges, 11478 markings/sec, 190 secs
lola: 2264783 markings, 2513129 edges, 11440 markings/sec, 195 secs
lola: 2322338 markings, 2577064 edges, 11511 markings/sec, 200 secs
lola: 2379762 markings, 2641149 edges, 11485 markings/sec, 205 secs
lola: 2436921 markings, 2704068 edges, 11432 markings/sec, 210 secs
lola: 2494437 markings, 2767971 edges, 11503 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(ModifiedSrc_1 + ModifiedSrc_2 + ModifiedSrc_3 + ModifiedSrc_4)
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: 54620 markings, 61698 edges, 10924 markings/sec, 0 secs
lola: 107020 markings, 123669 edges, 10480 markings/sec, 5 secs
lola: 159414 markings, 185885 edges, 10479 markings/sec, 10 secs
lola: 211101 markings, 249212 edges, 10337 markings/sec, 15 secs
lola: 262241 markings, 312613 edges, 10228 markings/sec, 20 secs
lola: 312898 markings, 376908 edges, 10131 markings/sec, 25 secs
lola: 363148 markings, 442415 edges, 10050 markings/sec, 30 secs
lola: 413465 markings, 506906 edges, 10063 markings/sec, 35 secs
lola: 464212 markings, 571598 edges, 10149 markings/sec, 40 secs
lola: 515172 markings, 636220 edges, 10192 markings/sec, 45 secs
lola: 565917 markings, 701553 edges, 10149 markings/sec, 50 secs
lola: 616385 markings, 766615 edges, 10094 markings/sec, 55 secs
lola: 667776 markings, 833705 edges, 10278 markings/sec, 60 secs
lola: 718364 markings, 900205 edges, 10118 markings/sec, 65 secs
lola: 769346 markings, 966593 edges, 10196 markings/sec, 70 secs
lola: 820222 markings, 1032463 edges, 10175 markings/sec, 75 secs
lola: 871153 markings, 1098402 edges, 10186 markings/sec, 80 secs
lola: 922579 markings, 1164652 edges, 10285 markings/sec, 85 secs
lola: 973153 markings, 1231370 edges, 10115 markings/sec, 90 secs
lola: 1024011 markings, 1297111 edges, 10172 markings/sec, 95 secs
lola: 1074700 markings, 1362065 edges, 10138 markings/sec, 100 secs
lola: 1125545 markings, 1427950 edges, 10169 markings/sec, 105 secs
lola: 1176712 markings, 1494423 edges, 10233 markings/sec, 110 secs
lola: 1227693 markings, 1560870 edges, 10196 markings/sec, 115 secs
lola: 1278062 markings, 1627200 edges, 10074 markings/sec, 120 secs
lola: 1329527 markings, 1693821 edges, 10293 markings/sec, 125 secs
lola: 1380690 markings, 1760565 edges, 10233 markings/sec, 130 secs
lola: 1430720 markings, 1827100 edges, 10006 markings/sec, 135 secs
lola: 1480951 markings, 1893039 edges, 10046 markings/sec, 140 secs
lola: 1532402 markings, 1960343 edges, 10290 markings/sec, 145 secs
lola: 1581378 markings, 2025063 edges, 9795 markings/sec, 150 secs
lola: 1632740 markings, 2091973 edges, 10272 markings/sec, 155 secs
lola: 1683620 markings, 2157438 edges, 10176 markings/sec, 160 secs
lola: 1732113 markings, 2222697 edges, 9699 markings/sec, 165 secs
lola: 1781865 markings, 2289473 edges, 9950 markings/sec, 170 secs
lola: 1833284 markings, 2356628 edges, 10284 markings/sec, 175 secs
lola: 1884655 markings, 2424582 edges, 10274 markings/sec, 180 secs
lola: 1936143 markings, 2491617 edges, 10298 markings/sec, 185 secs
lola: 1987649 markings, 2558730 edges, 10301 markings/sec, 190 secs
lola: 2038423 markings, 2627252 edges, 10155 markings/sec, 195 secs
lola: 2089396 markings, 2693850 edges, 10195 markings/sec, 200 secs
lola: 2140012 markings, 2761819 edges, 10123 markings/sec, 205 secs
lola: 2190591 markings, 2829573 edges, 10116 markings/sec, 210 secs
lola: 2241689 markings, 2896845 edges, 10220 markings/sec, 215 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
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 1496458386378

--------------------
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-PT-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/S_PolyORBLF-PT-S04J04T06.tgz
mv S_PolyORBLF-PT-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 S_PolyORBLF-PT-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 r128-smll-149441681600452"
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 ;