Log files for model polling.18-16 and tool configuration prism_from-prism_check_ex
[5254.217, 5470.615, 5647.487, 6997.551, 6046.544]
Log file: prism_from-prism_check_ex_polling.18-16_rep1.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism %indir/property.props
Wallclock time: 5254.217 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 09:04:28 GMT+02:00 2026
Hostname: n23m0110.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4964674/tmpxjglw53xprism_from-prism_check_ex_polling.18-16_tmp_indir_/model.prism /w0/tmp/slurm_tq429871.4964674/tmpxjglw53xprism_from-prism_check_ex_polling.18-16_tmp_indir_/property.props
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4964674/tmpxjglw53xprism_from-prism_check_ex_polling.18-16_tmp_indir_/model.prism"...
Type: CTMC
Modules: server station1 station2 station3 station4 station5 station6 station7 station8 station9 station10 station11 station12 station13 station14 station15 station16 station17 station18
Actions: [] [loop1a] [loop1b] [serve1] [loop2a] [loop2b] [serve2] [loop3a] [loop3b] [serve3] [loop4a] [loop4b] [serve4] [loop5a] [loop5b] [serve5] [loop6a] [loop6b] [serve6] [loop7a] [loop7b] [serve7] [loop8a] [loop8b] [serve8] [loop9a] [loop9b] [serve9] [loop10a] [loop10b] [serve10] [loop11a] [loop11b] [serve11] [loop12a] [loop12b] [serve12] [loop13a] [loop13b] [serve13] [loop14a] [loop14b] [serve14] [loop15a] [loop15b] [serve15] [loop16a] [loop16b] [serve16] [loop17a] [loop17b] [serve17] [loop18a] [loop18b] [serve18]
Variables: s a s1 s2 s3 s4 s5 s6 s7 s8 s9 s10 s11 s12 s13 s14 s15 s16 s17 s18
Labels: "serve_s2" "serve_s1"
Parsing properties file "/w0/tmp/slurm_tq429871.4964674/tmpxjglw53xprism_from-prism_check_ex_polling.18-16_tmp_indir_/property.props"...
1 property:
(1) "s1_before_s2": P=? [ !"serve_s2" U "serve_s1" ]
---------------------------------------------------------------------
Model checking: "s1_before_s2": P=? [ !"serve_s2" U "serve_s1" ]
Building model (engine:explicit)...
Computing reachable states... 178159 382787 593515 799208 1004657 1227003 1407750 1639793 1840880 2047370 2234177 2443136 2638186 2837532 3029053 3221006 3393128 3582415 3731780 3938879 4094224 4288498 4457471 4652792 4821748 4999214 5171700 5338881 5528877 5721305 5919432 6122825 6312131 6526778 6716563 6939822 7077888 states
Reachable states exploration and model construction done in 109.759 secs.
Sorting reachable states list...
Time for model construction: 116.844 seconds.
Type: CTMC
States: 7077888 (1 initial)
Transitions: 69599232
Building embedded DTMC...
Starting probabilistic reachability...
Calculating predecessor relation for discrete-time Markov chain... done (5.72 seconds)
Starting Prob0...
Prob0 took 2.329 seconds.
Starting Prob1...
Prob1 took 3.483 seconds.
target=131072, yes=3407872, no=262144, maybe=3407872
Starting value iteration (with Jacobi)...
Iteration 3: 5.38 sec so far
Iteration 7: 10.58 sec so far
Iteration 11: 16.10 sec so far
Iteration 16: 21.68 sec so far
Iteration 21: 27.27 sec so far
Iteration 26: 32.87 sec so far
Iteration 31: 38.43 sec so far
Iteration 36: 43.98 sec so far
Iteration 41: 49.53 sec so far
Iteration 46: 55.23 sec so far
Iteration 51: 61.11 sec so far
Iteration 56: 66.93 sec so far
Iteration 61: 72.49 sec so far
Iteration 66: 78.04 sec so far
Iteration 71: 83.61 sec so far
Iteration 76: 89.17 sec so far
Iteration 81: 94.70 sec so far
Iteration 86: 100.26 sec so far
Iteration 91: 106.00 sec so far
Iteration 96: 111.80 sec so far
Iteration 101: 117.82 sec so far
Iteration 106: 123.34 sec so far
Iteration 111: 128.88 sec so far
Iteration 116: 134.42 sec so far
Iteration 121: 139.97 sec so far
Iteration 126: 145.54 sec so far
Iteration 131: 151.12 sec so far
Iteration 136: 156.69 sec so far
Iteration 141: 162.25 sec so far
Iteration 146: 167.98 sec so far
Iteration 151: 173.93 sec so far
Iteration 156: 180.00 sec so far
Iteration 161: 185.54 sec so far
Iteration 166: 191.11 sec so far
Iteration 171: 196.69 sec so far
Iteration 176: 202.27 sec so far
Iteration 181: 207.85 sec so far
Iteration 186: 213.41 sec so far
Iteration 191: 218.98 sec so far
Iteration 196: 225.03 sec so far
Iteration 201: 231.04 sec so far
Iteration 206: 236.90 sec so far
Iteration 211: 242.51 sec so far
Iteration 216: 248.08 sec so far
Iteration 221: 253.71 sec so far
Iteration 226: 259.26 sec so far
Iteration 231: 264.82 sec so far
Iteration 236: 270.39 sec so far
Iteration 241: 275.95 sec so far
Iteration 246: 281.51 sec so far
Iteration 251: 287.56 sec so far
Iteration 256: 293.28 sec so far
Iteration 261: 299.36 sec so far
Iteration 266: 304.93 sec so far
Iteration 271: 310.51 sec so far
Iteration 276: 316.07 sec so far
Iteration 281: 321.67 sec so far
Iteration 286: 327.23 sec so far
Iteration 291: 332.78 sec so far
Iteration 296: 338.31 sec so far
Iteration 301: 344.27 sec so far
Iteration 306: 350.07 sec so far
Iteration 311: 356.07 sec so far
Iteration 316: 361.64 sec so far
Iteration 321: 367.19 sec so far
Iteration 326: 372.75 sec so far
Iteration 331: 378.29 sec so far
Iteration 336: 383.85 sec so far
Iteration 341: 389.40 sec so far
Iteration 346: 394.93 sec so far
Iteration 351: 400.47 sec so far
Iteration 356: 406.15 sec so far
Iteration 361: 412.04 sec so far
Iteration 366: 417.83 sec so far
Iteration 371: 423.89 sec so far
Iteration 376: 429.44 sec so far
Iteration 381: 434.97 sec so far
Iteration 386: 440.51 sec so far
Iteration 391: 446.09 sec so far
Iteration 396: 451.66 sec so far
Iteration 401: 457.21 sec so far
Iteration 406: 463.03 sec so far
Iteration 411: 468.99 sec so far
Iteration 416: 474.78 sec so far
Iteration 421: 480.80 sec so far
Iteration 426: 486.35 sec so far
Iteration 431: 491.90 sec so far
Iteration 436: 497.44 sec so far
Iteration 441: 502.99 sec so far
Iteration 446: 508.55 sec so far
Iteration 451: 514.12 sec so far
Iteration 456: 519.67 sec so far
Iteration 461: 525.20 sec so far
Iteration 466: 531.02 sec so far
Iteration 471: 536.95 sec so far
Iteration 476: 542.77 sec so far
Iteration 481: 548.74 sec so far
Iteration 486: 554.26 sec so far
Iteration 491: 559.82 sec so far
Iteration 496: 565.36 sec so far
Iteration 501: 570.92 sec so far
Iteration 506: 576.46 sec so far
Iteration 511: 582.02 sec so far
Iteration 516: 587.57 sec so far
Iteration 521: 593.35 sec so far
Iteration 526: 599.35 sec so far
Iteration 531: 605.32 sec so far
Iteration 536: 611.09 sec so far
Iteration 541: 616.63 sec so far
Iteration 546: 622.18 sec so far
Iteration 551: 627.76 sec so far
Iteration 556: 633.33 sec so far
Iteration 561: 638.87 sec so far
Iteration 566: 644.40 sec so far
Iteration 571: 649.95 sec so far
Iteration 576: 655.49 sec so far
Iteration 581: 661.31 sec so far
Iteration 586: 667.33 sec so far
Iteration 591: 673.26 sec so far
Iteration 596: 679.07 sec so far
Iteration 601: 684.62 sec so far
Iteration 606: 690.23 sec so far
Iteration 611: 695.77 sec so far
Iteration 616: 701.33 sec so far
Iteration 621: 706.86 sec so far
Iteration 626: 712.39 sec so far
Iteration 631: 717.93 sec so far
Iteration 636: 723.87 sec so far
Iteration 641: 729.73 sec so far
Iteration 646: 735.64 sec so far
Iteration 651: 741.42 sec so far
Iteration 656: 746.97 sec so far
Iteration 661: 752.52 sec so far
Iteration 666: 758.05 sec so far
Iteration 671: 763.57 sec so far
Iteration 676: 769.10 sec so far
Iteration 681: 774.66 sec so far
Iteration 686: 780.23 sec so far
Iteration 691: 785.76 sec so far
Iteration 696: 791.37 sec so far
Iteration 701: 797.44 sec so far
Iteration 706: 803.18 sec so far
Iteration 711: 809.29 sec so far
Iteration 716: 814.83 sec so far
Iteration 721: 820.35 sec so far
Iteration 726: 825.88 sec so far
Iteration 731: 831.40 sec so far
Iteration 736: 836.92 sec so far
Iteration 741: 842.45 sec so far
Iteration 746: 847.96 sec so far
Iteration 751: 853.74 sec so far
Iteration 756: 859.72 sec so far
Iteration 761: 865.47 sec so far
Iteration 766: 871.46 sec so far
Iteration 771: 877.04 sec so far
Iteration 776: 882.57 sec so far
Iteration 781: 888.12 sec so far
Iteration 786: 893.67 sec so far
Iteration 791: 899.21 sec so far
Iteration 796: 904.74 sec so far
Iteration 801: 910.25 sec so far
Iteration 806: 915.77 sec so far
Iteration 811: 921.31 sec so far
Iteration 816: 926.98 sec so far
Iteration 821: 932.79 sec so far
Iteration 826: 938.81 sec so far
Iteration 831: 944.92 sec so far
Iteration 836: 950.52 sec so far
Iteration 841: 956.07 sec so far
Iteration 846: 961.59 sec so far
Iteration 851: 967.13 sec so far
Iteration 856: 972.64 sec so far
Iteration 861: 978.17 sec so far
Iteration 866: 983.72 sec so far
Iteration 871: 989.49 sec so far
Iteration 876: 995.35 sec so far
Iteration 881: 1001.32 sec so far
Iteration 886: 1007.27 sec so far
Iteration 891: 1013.05 sec so far
Iteration 896: 1018.61 sec so far
Iteration 901: 1024.15 sec so far
Iteration 906: 1029.73 sec so far
Iteration 911: 1035.24 sec so far
Iteration 916: 1040.74 sec so far
Iteration 921: 1046.24 sec so far
Iteration 926: 1051.74 sec so far
Iteration 931: 1057.24 sec so far
Iteration 936: 1063.09 sec so far
Iteration 941: 1068.86 sec so far
Iteration 946: 1074.82 sec so far
Iteration 951: 1080.95 sec so far
Iteration 956: 1086.53 sec so far
Iteration 961: 1092.05 sec so far
Iteration 966: 1097.58 sec so far
Iteration 971: 1103.11 sec so far
Iteration 976: 1108.67 sec so far
Iteration 981: 1114.20 sec so far
Iteration 986: 1119.93 sec so far
Iteration 991: 1125.68 sec so far
Iteration 996: 1131.47 sec so far
Iteration 1001: 1137.49 sec so far
Iteration 1006: 1143.37 sec so far
Iteration 1011: 1149.18 sec so far
Iteration 1016: 1154.73 sec so far
Iteration 1021: 1160.29 sec so far
Iteration 1026: 1165.83 sec so far
Iteration 1031: 1171.35 sec so far
Iteration 1036: 1176.86 sec so far
Iteration 1041: 1182.38 sec so far
Iteration 1046: 1187.89 sec so far
Iteration 1051: 1193.76 sec so far
Iteration 1056: 1199.41 sec so far
Iteration 1061: 1205.36 sec so far
Iteration 1066: 1211.20 sec so far
Iteration 1071: 1217.29 sec so far
Iteration 1076: 1222.89 sec so far
Iteration 1081: 1228.41 sec so far
Iteration 1086: 1233.94 sec so far
Iteration 1091: 1239.46 sec so far
Iteration 1096: 1244.99 sec so far
Iteration 1101: 1250.53 sec so far
Iteration 1106: 1256.62 sec so far
Iteration 1111: 1262.44 sec so far
Iteration 1116: 1268.34 sec so far
Iteration 1121: 1274.20 sec so far
Iteration 1126: 1280.24 sec so far
Iteration 1131: 1285.82 sec so far
Iteration 1136: 1291.41 sec so far
Iteration 1141: 1297.00 sec so far
Iteration 1146: 1302.58 sec so far
Iteration 1151: 1308.19 sec so far
Iteration 1156: 1313.82 sec so far
Iteration 1161: 1319.42 sec so far
Iteration 1166: 1325.02 sec so far
Iteration 1171: 1331.01 sec so far
Iteration 1176: 1336.87 sec so far
Iteration 1181: 1342.89 sec so far
Iteration 1186: 1348.98 sec so far
Iteration 1191: 1354.57 sec so far
Iteration 1196: 1359.62 sec so far
Iteration 1202: 1365.58 sec so far
Iteration 1208: 1371.54 sec so far
Iteration 1214: 1377.54 sec so far
Iteration 1220: 1383.54 sec so far
Iteration 1226: 1389.49 sec so far
Iteration 1231: 1394.99 sec so far
Iteration 1236: 1400.17 sec so far
Iteration 1241: 1405.26 sec so far
Iteration 1246: 1410.69 sec so far
Iteration 1251: 1415.97 sec so far
Iteration 1256: 1421.21 sec so far
Iteration 1262: 1427.20 sec so far
Iteration 1268: 1433.19 sec so far
Iteration 1274: 1439.17 sec so far
Iteration 1279: 1444.21 sec so far
Iteration 1285: 1450.21 sec so far
Iteration 1291: 1456.18 sec so far
Iteration 1296: 1461.46 sec so far
Iteration 1301: 1466.81 sec so far
Iteration 1306: 1471.94 sec so far
Iteration 1311: 1477.33 sec so far
Iteration 1316: 1482.55 sec so far
Iteration 1321: 1487.96 sec so far
Iteration 1327: 1493.93 sec so far
Iteration 1333: 1499.91 sec so far
Iteration 1338: 1504.94 sec so far
Iteration 1344: 1510.93 sec so far
Iteration 1350: 1516.91 sec so far
Iteration 1356: 1523.13 sec so far
Iteration 1361: 1528.62 sec so far
Iteration 1366: 1533.67 sec so far
Iteration 1371: 1539.04 sec so far
Iteration 1376: 1544.31 sec so far
Iteration 1381: 1549.73 sec so far
Iteration 1387: 1555.71 sec so far
Iteration 1393: 1561.68 sec so far
Iteration 1399: 1567.68 sec so far
Iteration 1405: 1573.65 sec so far
Iteration 1411: 1579.63 sec so far
Iteration 1417: 1585.62 sec so far
Iteration 1423: 1591.60 sec so far
Iteration 1429: 1597.82 sec so far
Iteration 1434: 1603.23 sec so far
Iteration 1439: 1608.40 sec so far
Iteration 1444: 1613.82 sec so far
Iteration 1448: 1619.22 sec so far
Iteration 1453: 1624.41 sec so far
Iteration 1458: 1629.67 sec so far
Iteration 1463: 1636.38 sec so far
Iteration 1467: 1642.43 sec so far
Iteration 1472: 1648.01 sec so far
Iteration 1477: 1653.01 sec so far
Iteration 1483: 1658.99 sec so far
Iteration 1488: 1664.25 sec so far
Iteration 1493: 1669.59 sec so far
Iteration 1498: 1674.86 sec so far
Iteration 1503: 1680.18 sec so far
Iteration 1508: 1685.62 sec so far
Iteration 1513: 1691.11 sec so far
Iteration 1518: 1696.24 sec so far
Iteration 1523: 1701.33 sec so far
Iteration 1528: 1706.43 sec so far
Iteration 1533: 1711.53 sec so far
Iteration 1538: 1716.61 sec so far
Iteration 1543: 1721.68 sec so far
Iteration 1548: 1726.79 sec so far
Iteration 1553: 1732.26 sec so far
Iteration 1558: 1737.42 sec so far
Iteration 1563: 1742.63 sec so far
Iteration 1568: 1747.96 sec so far
Iteration 1573: 1753.41 sec so far
Iteration 1578: 1758.57 sec so far
Iteration 1583: 1763.69 sec so far
Iteration 1588: 1768.79 sec so far
Iteration 1593: 1773.89 sec so far
Iteration 1598: 1778.98 sec so far
Iteration 1603: 1784.06 sec so far
Iteration 1608: 1789.16 sec so far
Iteration 1613: 1794.25 sec so far
Iteration 1618: 1799.35 sec so far
Iteration 1623: 1804.85 sec so far
Iteration 1628: 1810.10 sec so far
Iteration 1633: 1815.32 sec so far
Iteration 1638: 1820.67 sec so far
Iteration 1643: 1825.97 sec so far
Iteration 1648: 1831.29 sec so far
Iteration 1653: 1836.38 sec so far
Iteration 1658: 1841.45 sec so far
Iteration 1663: 1846.54 sec so far
Iteration 1668: 1851.62 sec so far
Iteration 1673: 1856.70 sec so far
Iteration 1678: 1861.80 sec so far
Iteration 1683: 1867.27 sec so far
Iteration 1688: 1872.61 sec so far
Iteration 1693: 1877.79 sec so far
Iteration 1698: 1883.14 sec so far
Iteration 1703: 1888.51 sec so far
Iteration 1708: 1893.79 sec so far
Iteration 1713: 1898.88 sec so far
Iteration 1718: 1903.96 sec so far
Iteration 1723: 1909.04 sec so far
Iteration 1728: 1914.12 sec so far
Iteration 1733: 1919.21 sec so far
Iteration 1738: 1924.31 sec so far
Iteration 1743: 1929.39 sec so far
Iteration 1748: 1934.81 sec so far
Iteration 1753: 1940.16 sec so far
Iteration 1758: 1945.42 sec so far
Iteration 1763: 1950.76 sec so far
Iteration 1768: 1956.04 sec so far
Iteration 1773: 1961.47 sec so far
Iteration 1778: 1966.56 sec so far
Iteration 1783: 1971.66 sec so far
Iteration 1788: 1976.75 sec so far
Iteration 1793: 1981.83 sec so far
Iteration 1798: 1986.91 sec so far
Iteration 1803: 1992.00 sec so far
Iteration 1808: 1997.58 sec so far
Iteration 1813: 2002.94 sec so far
Iteration 1818: 2008.18 sec so far
Iteration 1823: 2013.54 sec so far
Iteration 1828: 2018.72 sec so far
Iteration 1833: 2024.13 sec so far
Iteration 1838: 2029.22 sec so far
Iteration 1843: 2034.30 sec so far
Iteration 1848: 2039.37 sec so far
Iteration 1853: 2044.44 sec so far
Iteration 1858: 2049.53 sec so far
Iteration 1863: 2054.62 sec so far
Iteration 1868: 2059.69 sec so far
Iteration 1873: 2064.96 sec so far
Iteration 1878: 2070.38 sec so far
Iteration 1883: 2075.79 sec so far
Iteration 1888: 2080.95 sec so far
Iteration 1893: 2086.31 sec so far
Iteration 1898: 2091.76 sec so far
Iteration 1903: 2096.93 sec so far
Iteration 1908: 2102.03 sec so far
Iteration 1913: 2107.10 sec so far
Iteration 1918: 2112.19 sec so far
Iteration 1923: 2117.34 sec so far
Iteration 1927: 2123.17 sec so far
Iteration 1931: 2128.42 sec so far
Iteration 1936: 2133.62 sec so far
Iteration 1941: 2138.95 sec so far
Iteration 1946: 2145.22 sec so far
Iteration 1951: 2151.37 sec so far
Iteration 1956: 2156.77 sec so far
Iteration 1962: 2162.74 sec so far
Iteration 1968: 2168.74 sec so far
Iteration 1974: 2174.70 sec so far
Iteration 1979: 2179.83 sec so far
Iteration 1984: 2185.94 sec so far
Iteration 1989: 2190.99 sec so far
Iteration 1994: 2196.27 sec so far
Iteration 1999: 2201.97 sec so far
Iteration 2004: 2206.97 sec so far
Iteration 2010: 2212.94 sec so far
Iteration 2016: 2218.91 sec so far
Iteration 2021: 2223.92 sec so far
Iteration 2027: 2229.91 sec so far
Iteration 2032: 2235.14 sec so far
Iteration 2037: 2240.16 sec so far
Iteration 2042: 2245.26 sec so far
Iteration 2047: 2251.07 sec so far
Iteration 2052: 2256.40 sec so far
Iteration 2057: 2261.56 sec so far
Iteration 2062: 2266.76 sec so far
Iteration 2067: 2272.09 sec so far
Iteration 2072: 2277.16 sec so far
Iteration 2077: 2282.18 sec so far
Iteration 2083: 2288.18 sec so far
Iteration 2088: 2293.18 sec so far
Iteration 2093: 2298.19 sec so far
Iteration 2098: 2303.20 sec so far
Iteration 2103: 2308.32 sec so far
Iteration 2108: 2313.84 sec so far
Iteration 2114: 2319.96 sec so far
Iteration 2119: 2325.02 sec so far
Iteration 2124: 2330.32 sec so far
Iteration 2129: 2335.56 sec so far
Iteration 2134: 2340.57 sec so far
Iteration 2140: 2346.53 sec so far
Iteration 2146: 2352.49 sec so far
Iteration 2152: 2358.46 sec so far
Iteration 2158: 2364.44 sec so far
Iteration 2164: 2370.39 sec so far
Iteration 2170: 2376.37 sec so far
Iteration 2175: 2381.61 sec so far
Iteration 2180: 2386.89 sec so far
Iteration 2185: 2392.03 sec so far
Iteration 2190: 2397.32 sec so far
Iteration 2195: 2402.42 sec so far
Iteration 2200: 2407.71 sec so far
Iteration 2206: 2413.66 sec so far
Iteration 2212: 2419.65 sec so far
Iteration 2217: 2424.67 sec so far
Iteration 2223: 2430.64 sec so far
Iteration 2229: 2436.59 sec so far
Iteration 2234: 2441.79 sec so far
Iteration 2239: 2447.01 sec so far
Iteration 2244: 2452.30 sec so far
Iteration 2249: 2457.43 sec so far
Iteration 2254: 2462.64 sec so far
Iteration 2259: 2467.83 sec so far
Iteration 2264: 2472.98 sec so far
Iteration 2270: 2478.94 sec so far
Iteration 2275: 2483.94 sec so far
Iteration 2281: 2489.90 sec so far
Iteration 2287: 2495.86 sec so far
Iteration 2293: 2501.85 sec so far
Iteration 2299: 2507.80 sec so far
Iteration 2305: 2514.02 sec so far
Iteration 2310: 2519.30 sec so far
Iteration 2315: 2524.49 sec so far
Iteration 2320: 2529.49 sec so far
Iteration 2325: 2534.81 sec so far
Iteration 2330: 2540.02 sec so far
Iteration 2335: 2545.07 sec so far
Iteration 2341: 2551.05 sec so far
Iteration 2347: 2557.00 sec so far
Iteration 2352: 2562.02 sec so far
Iteration 2358: 2568.01 sec so far
Iteration 2364: 2574.02 sec so far
Iteration 2369: 2579.61 sec so far
Iteration 2374: 2584.85 sec so far
Iteration 2379: 2589.89 sec so far
Iteration 2384: 2595.20 sec so far
Iteration 2389: 2600.32 sec so far
Iteration 2394: 2605.69 sec so far
Iteration 2399: 2610.77 sec so far
Iteration 2405: 2616.78 sec so far
Iteration 2411: 2622.77 sec so far
Iteration 2416: 2627.79 sec so far
Iteration 2421: 2632.80 sec so far
Iteration 2426: 2637.80 sec so far
Iteration 2431: 2642.96 sec so far
Iteration 2436: 2648.13 sec so far
Iteration 2441: 2653.63 sec so far
Iteration 2446: 2659.11 sec so far
Iteration 2451: 2664.18 sec so far
Iteration 2456: 2669.37 sec so far
Iteration 2461: 2674.74 sec so far
Iteration 2466: 2680.04 sec so far
Iteration 2472: 2686.03 sec so far
Iteration 2478: 2692.02 sec so far
Iteration 2483: 2697.03 sec so far
Iteration 2489: 2703.02 sec so far
Iteration 2494: 2708.09 sec so far
Iteration 2499: 2713.26 sec so far
Iteration 2504: 2718.50 sec so far
Iteration 2509: 2723.93 sec so far
Iteration 2514: 2729.02 sec so far
Iteration 2519: 2734.29 sec so far
Iteration 2524: 2739.46 sec so far
Iteration 2529: 2744.78 sec so far
Iteration 2534: 2749.78 sec so far
Iteration 2540: 2755.78 sec so far
Iteration 2546: 2761.77 sec so far
Iteration 2552: 2767.76 sec so far
Iteration 2557: 2772.82 sec so far
Iteration 2562: 2777.95 sec so far
Iteration 2567: 2783.03 sec so far
Iteration 2572: 2788.23 sec so far
Iteration 2577: 2793.84 sec so far
Iteration 2582: 2798.91 sec so far
Iteration 2587: 2804.20 sec so far
Iteration 2592: 2809.41 sec so far
Iteration 2597: 2814.75 sec so far
Iteration 2602: 2819.86 sec so far
Iteration 2608: 2825.85 sec so far
Iteration 2614: 2831.89 sec so far
Iteration 2619: 2836.89 sec so far
Iteration 2624: 2841.97 sec so far
Iteration 2629: 2847.03 sec so far
Iteration 2634: 2852.31 sec so far
Iteration 2639: 2857.61 sec so far
Iteration 2644: 2862.80 sec so far
Iteration 2649: 2867.92 sec so far
Iteration 2654: 2873.31 sec so far
Iteration 2659: 2878.78 sec so far
Iteration 2665: 2884.78 sec so far
Iteration 2670: 2889.81 sec so far
Iteration 2676: 2895.79 sec so far
Iteration 2681: 2900.82 sec so far
Iteration 2686: 2905.90 sec so far
Iteration 2691: 2910.94 sec so far
Iteration 2696: 2916.05 sec so far
Iteration 2701: 2921.30 sec so far
Iteration 2706: 2926.97 sec so far
Iteration 2712: 2932.96 sec so far
Iteration 2717: 2938.51 sec so far
Iteration 2722: 2943.77 sec so far
Iteration 2727: 2949.16 sec so far
Iteration 2732: 2954.26 sec so far
Iteration 2737: 2959.38 sec so far
Iteration 2742: 2964.53 sec so far
Iteration 2747: 2969.72 sec so far
Iteration 2752: 2974.89 sec so far
Iteration 2757: 2980.02 sec so far
Iteration 2762: 2985.33 sec so far
Iteration 2767: 2990.77 sec so far
Iteration 2772: 2995.88 sec so far
Iteration 2777: 3001.08 sec so far
Iteration 2782: 3006.49 sec so far
Iteration 2787: 3011.64 sec so far
Iteration 2793: 3017.63 sec so far
Iteration 2798: 3022.64 sec so far
Iteration 2804: 3028.64 sec so far
Iteration 2809: 3033.75 sec so far
Iteration 2814: 3038.77 sec so far
Iteration 2819: 3043.78 sec so far
Iteration 2824: 3048.81 sec so far
Iteration 2829: 3053.90 sec so far
Iteration 2834: 3059.44 sec so far
Iteration 2839: 3064.59 sec so far
Iteration 2844: 3069.74 sec so far
Iteration 2849: 3075.01 sec so far
Iteration 2854: 3080.32 sec so far
Iteration 2859: 3085.45 sec so far
Iteration 2865: 3091.46 sec so far
Iteration 2870: 3096.62 sec so far
Iteration 2875: 3101.67 sec so far
Iteration 2880: 3106.70 sec so far
Iteration 2885: 3112.73 sec so far
Iteration 2889: 3118.14 sec so far
Iteration 2894: 3123.53 sec so far
Iteration 2899: 3129.06 sec so far
Iteration 2905: 3135.02 sec so far
Iteration 2911: 3140.96 sec so far
Iteration 2917: 3146.90 sec so far
Iteration 2923: 3152.84 sec so far
Iteration 2929: 3158.98 sec so far
Iteration 2933: 3163.99 sec so far
Iteration 2938: 3169.88 sec so far
Iteration 2943: 3175.24 sec so far
Iteration 2948: 3181.02 sec so far
Iteration 2952: 3186.14 sec so far
Iteration 2957: 3191.28 sec so far
Iteration 2963: 3197.17 sec so far
Iteration 2968: 3203.32 sec so far
Iteration 2973: 3208.60 sec so far
Iteration 2979: 3214.41 sec so far
Iteration 2985: 3220.24 sec so far
Iteration 2990: 3226.31 sec so far
Iteration 2995: 3231.57 sec so far
Iteration 3001: 3237.31 sec so far
Iteration 3006: 3242.57 sec so far
Iteration 3011: 3248.84 sec so far
Iteration 3016: 3254.39 sec so far
Iteration 3021: 3260.03 sec so far
Iteration 3026: 3265.04 sec so far
Iteration 3031: 3270.05 sec so far
Iteration 3037: 3275.76 sec so far
Iteration 3043: 3281.44 sec so far
Iteration 3049: 3287.12 sec so far
Iteration 3055: 3292.79 sec so far
Iteration 3061: 3298.47 sec so far
Iteration 3067: 3304.29 sec so far
Iteration 3072: 3309.44 sec so far
Iteration 3078: 3315.28 sec so far
Iteration 3084: 3321.16 sec so far
Iteration 3090: 3327.03 sec so far
Iteration 3095: 3332.05 sec so far
Iteration 3101: 3337.92 sec so far
Iteration 3107: 3343.61 sec so far
Iteration 3113: 3349.28 sec so far
Iteration 3119: 3355.00 sec so far
Iteration 3125: 3360.72 sec so far
Iteration 3131: 3366.42 sec so far
Iteration 3137: 3372.11 sec so far
Iteration 3143: 3377.94 sec so far
Iteration 3148: 3383.24 sec so far
Iteration 3154: 3388.96 sec so far
Iteration 3160: 3394.99 sec so far
Iteration 3166: 3400.80 sec so far
Iteration 3171: 3405.85 sec so far
Iteration 3177: 3411.61 sec so far
Iteration 3183: 3417.33 sec so far
Iteration 3189: 3423.02 sec so far
Iteration 3195: 3428.71 sec so far
Iteration 3201: 3434.39 sec so far
Iteration 3207: 3440.14 sec so far
Iteration 3212: 3445.20 sec so far
Iteration 3217: 3450.28 sec so far
Iteration 3223: 3456.12 sec so far
Iteration 3229: 3462.04 sec so far
Iteration 3235: 3468.15 sec so far
Iteration 3241: 3473.87 sec so far
Iteration 3247: 3479.55 sec so far
Iteration 3253: 3485.24 sec so far
Iteration 3259: 3490.92 sec so far
Iteration 3265: 3496.63 sec so far
Iteration 3271: 3502.33 sec so far
Iteration 3277: 3508.02 sec so far
Iteration 3283: 3513.85 sec so far
Iteration 3288: 3518.89 sec so far
Iteration 3293: 3523.90 sec so far
Iteration 3299: 3529.71 sec so far
Iteration 3305: 3535.66 sec so far
Iteration 3311: 3541.77 sec so far
Iteration 3317: 3547.46 sec so far
Iteration 3323: 3553.14 sec so far
Iteration 3329: 3558.83 sec so far
Iteration 3335: 3564.54 sec so far
Iteration 3341: 3570.22 sec so far
Iteration 3347: 3575.91 sec so far
Iteration 3353: 3581.85 sec so far
Iteration 3358: 3587.05 sec so far
Iteration 3364: 3592.87 sec so far
Iteration 3370: 3598.84 sec so far
Iteration 3375: 3603.89 sec so far
Iteration 3381: 3609.69 sec so far
Iteration 3387: 3615.39 sec so far
Iteration 3393: 3621.11 sec so far
Iteration 3399: 3626.80 sec so far
Iteration 3405: 3632.49 sec so far
Iteration 3411: 3638.16 sec so far
Iteration 3417: 3643.84 sec so far
Iteration 3423: 3649.51 sec so far
Iteration 3429: 3655.29 sec so far
Iteration 3434: 3660.44 sec so far
Iteration 3440: 3666.33 sec so far
Iteration 3446: 3672.20 sec so far
Iteration 3451: 3677.27 sec so far
Iteration 3456: 3682.29 sec so far
Iteration 3462: 3687.98 sec so far
Iteration 3468: 3693.66 sec so far
Iteration 3474: 3699.35 sec so far
Iteration 3480: 3705.03 sec so far
Iteration 3486: 3710.72 sec so far
Iteration 3492: 3716.41 sec so far
Iteration 3498: 3722.57 sec so far
Iteration 3504: 3728.51 sec so far
Iteration 3510: 3734.32 sec so far
Iteration 3516: 3740.24 sec so far
Iteration 3522: 3746.39 sec so far
Iteration 3528: 3752.09 sec so far
Iteration 3534: 3757.80 sec so far
Iteration 3540: 3763.47 sec so far
Iteration 3546: 3769.15 sec so far
Iteration 3552: 3774.83 sec so far
Iteration 3558: 3780.51 sec so far
Iteration 3564: 3786.19 sec so far
Iteration 3570: 3792.01 sec so far
Iteration 3575: 3797.06 sec so far
Iteration 3580: 3802.11 sec so far
Iteration 3586: 3807.92 sec so far
Iteration 3592: 3813.86 sec so far
Iteration 3598: 3819.98 sec so far
Iteration 3604: 3825.66 sec so far
Iteration 3610: 3831.34 sec so far
Iteration 3616: 3837.02 sec so far
Iteration 3622: 3842.69 sec so far
Iteration 3628: 3848.37 sec so far
Iteration 3634: 3854.04 sec so far
Iteration 3640: 3859.92 sec so far
Iteration 3645: 3865.18 sec so far
Iteration 3651: 3870.95 sec so far
Iteration 3657: 3876.96 sec so far
Iteration 3663: 3882.89 sec so far
Iteration 3669: 3888.75 sec so far
Iteration 3675: 3894.42 sec so far
Iteration 3681: 3900.10 sec so far
Iteration 3687: 3905.78 sec so far
Iteration 3693: 3911.49 sec so far
Iteration 3699: 3917.16 sec so far
Iteration 3705: 3922.86 sec so far
Iteration 3711: 3928.54 sec so far
Iteration 3717: 3934.21 sec so far
Iteration 3723: 3939.94 sec so far
Iteration 3728: 3944.99 sec so far
Iteration 3733: 3950.07 sec so far
Iteration 3739: 3955.91 sec so far
Iteration 3745: 3961.78 sec so far
Iteration 3751: 3967.93 sec so far
Iteration 3757: 3973.65 sec so far
Iteration 3763: 3979.34 sec so far
Iteration 3769: 3985.05 sec so far
Iteration 3775: 3990.75 sec so far
Iteration 3781: 3996.43 sec so far
Iteration 3787: 4002.11 sec so far
Iteration 3793: 4007.92 sec so far
Iteration 3798: 4013.25 sec so far
Iteration 3804: 4018.96 sec so far
Iteration 3810: 4025.00 sec so far
Iteration 3816: 4030.81 sec so far
Iteration 3821: 4035.84 sec so far
Iteration 3827: 4041.56 sec so far
Iteration 3833: 4047.24 sec so far
Iteration 3839: 4052.92 sec so far
Iteration 3845: 4058.61 sec so far
Iteration 3851: 4064.29 sec so far
Iteration 3857: 4069.97 sec so far
Iteration 3863: 4075.66 sec so far
Iteration 3869: 4081.37 sec so far
Iteration 3874: 4086.68 sec so far
Iteration 3880: 4092.51 sec so far
Iteration 3886: 4098.49 sec so far
Iteration 3892: 4104.31 sec so far
Iteration 3897: 4109.39 sec so far
Iteration 3903: 4115.14 sec so far
Iteration 3909: 4120.82 sec so far
Iteration 3915: 4126.50 sec so far
Iteration 3921: 4132.19 sec so far
Iteration 3927: 4137.87 sec so far
Iteration 3933: 4143.64 sec so far
Iteration 3939: 4149.58 sec so far
Iteration 3944: 4154.62 sec so far
Iteration 3950: 4160.51 sec so far
Iteration 3956: 4166.40 sec so far
Iteration 3961: 4171.45 sec so far
Iteration 3967: 4177.32 sec so far
Iteration 3973: 4183.00 sec so far
Iteration 3979: 4188.68 sec so far
Iteration 3985: 4194.38 sec so far
Iteration 3991: 4200.07 sec so far
Iteration 3997: 4205.76 sec so far
Iteration 4003: 4211.43 sec so far
Iteration 4009: 4217.23 sec so far
Iteration 4014: 4222.34 sec so far
Iteration 4020: 4228.27 sec so far
Iteration 4026: 4234.11 sec so far
Iteration 4032: 4240.02 sec so far
Iteration 4038: 4246.13 sec so far
Iteration 4044: 4251.81 sec so far
Iteration 4050: 4257.49 sec so far
Iteration 4056: 4263.17 sec so far
Iteration 4062: 4268.85 sec so far
Iteration 4068: 4274.52 sec so far
Iteration 4074: 4280.21 sec so far
Iteration 4080: 4286.10 sec so far
Iteration 4085: 4291.37 sec so far
Iteration 4091: 4297.14 sec so far
Iteration 4097: 4303.12 sec so far
Iteration 4103: 4309.04 sec so far
Iteration 4109: 4314.92 sec so far
Iteration 4115: 4320.61 sec so far
Iteration 4121: 4326.29 sec so far
Iteration 4127: 4331.97 sec so far
Iteration 4133: 4337.65 sec so far
Iteration 4139: 4343.35 sec so far
Iteration 4145: 4349.05 sec so far
Iteration 4151: 4354.73 sec so far
Iteration 4157: 4360.65 sec so far
Iteration 4162: 4365.78 sec so far
Iteration 4168: 4371.56 sec so far
Iteration 4173: 4376.60 sec so far
Iteration 4179: 4382.44 sec so far
Iteration 4184: 4387.48 sec so far
Iteration 4190: 4393.24 sec so far
Iteration 4196: 4398.91 sec so far
Iteration 4202: 4404.61 sec so far
Iteration 4208: 4410.29 sec so far
Iteration 4214: 4415.97 sec so far
Iteration 4220: 4421.76 sec so far
Iteration 4225: 4426.79 sec so far
Iteration 4230: 4431.86 sec so far
Iteration 4236: 4437.55 sec so far
Iteration 4241: 4442.66 sec so far
Iteration 4247: 4448.49 sec so far
Iteration 4252: 4453.51 sec so far
Iteration 4258: 4459.19 sec so far
Iteration 4264: 4464.90 sec so far
Iteration 4270: 4470.58 sec so far
Iteration 4276: 4476.26 sec so far
Iteration 4282: 4481.97 sec so far
Iteration 4288: 4487.65 sec so far
Iteration 4294: 4493.34 sec so far
Iteration 4300: 4499.37 sec so far
Iteration 4305: 4504.49 sec so far
Iteration 4311: 4510.26 sec so far
Iteration 4317: 4516.24 sec so far
Iteration 4323: 4522.18 sec so far
Iteration 4329: 4528.08 sec so far
Iteration 4335: 4533.79 sec so far
Iteration 4341: 4539.47 sec so far
Iteration 4347: 4545.16 sec so far
Iteration 4353: 4550.85 sec so far
Iteration 4359: 4556.53 sec so far
Iteration 4364: 4561.53 sec so far
Iteration 4369: 4566.62 sec so far
Iteration 4375: 4572.41 sec so far
Iteration 4381: 4578.34 sec so far
Iteration 4387: 4584.21 sec so far
Iteration 4392: 4589.37 sec so far
Iteration 4398: 4595.06 sec so far
Iteration 4404: 4600.74 sec so far
Iteration 4410: 4606.42 sec so far
Iteration 4416: 4612.18 sec so far
Iteration 4421: 4617.40 sec so far
Iteration 4426: 4622.62 sec so far
Iteration 4431: 4627.84 sec so far
Iteration 4436: 4633.07 sec so far
Iteration 4441: 4638.58 sec so far
Iteration 4446: 4644.31 sec so far
Iteration 4451: 4649.92 sec so far
Iteration 4456: 4655.57 sec so far
Iteration 4461: 4661.06 sec so far
Iteration 4466: 4666.78 sec so far
Iteration 4471: 4672.13 sec so far
Iteration 4476: 4677.47 sec so far
Iteration 4481: 4682.79 sec so far
Iteration 4486: 4688.12 sec so far
Iteration 4491: 4693.44 sec so far
Iteration 4496: 4698.77 sec so far
Iteration 4501: 4704.17 sec so far
Iteration 4506: 4709.97 sec so far
Iteration 4511: 4715.64 sec so far
Iteration 4516: 4721.11 sec so far
Iteration 4521: 4726.69 sec so far
Iteration 4526: 4732.46 sec so far
Iteration 4531: 4737.84 sec so far
Iteration 4536: 4743.17 sec so far
Iteration 4541: 4748.52 sec so far
Iteration 4546: 4753.85 sec so far
Iteration 4551: 4759.18 sec so far
Iteration 4556: 4764.52 sec so far
Iteration 4561: 4769.85 sec so far
Iteration 4566: 4775.30 sec so far
Iteration 4571: 4781.02 sec so far
Iteration 4576: 4786.70 sec so far
Iteration 4581: 4792.22 sec so far
Iteration 4586: 4797.85 sec so far
Iteration 4591: 4803.57 sec so far
Iteration 4596: 4808.99 sec so far
Iteration 4601: 4814.31 sec so far
Iteration 4606: 4819.64 sec so far
Iteration 4611: 4824.97 sec so far
Iteration 4616: 4830.30 sec so far
Iteration 4621: 4835.66 sec so far
Iteration 4626: 4841.04 sec so far
Iteration 4631: 4846.75 sec so far
Iteration 4636: 4852.51 sec so far
Iteration 4641: 4858.03 sec so far
Iteration 4646: 4863.59 sec so far
Iteration 4651: 4869.29 sec so far
Iteration 4656: 4874.77 sec so far
Iteration 4661: 4880.10 sec so far
Iteration 4666: 4885.45 sec so far
Iteration 4671: 4890.80 sec so far
Iteration 4676: 4896.14 sec so far
Iteration 4681: 4901.49 sec so far
Iteration 4686: 4906.85 sec so far
Iteration 4691: 4912.39 sec so far
Iteration 4696: 4918.18 sec so far
Iteration 4701: 4923.79 sec so far
Iteration 4706: 4929.31 sec so far
Iteration 4711: 4935.01 sec so far
Iteration 4716: 4940.79 sec so far
Iteration 4721: 4946.20 sec so far
Iteration 4726: 4951.56 sec so far
Iteration 4731: 4956.94 sec so far
Iteration 4736: 4962.30 sec so far
Iteration 4741: 4967.66 sec so far
Iteration 4746: 4973.04 sec so far
Iteration 4751: 4978.57 sec so far
Iteration 4756: 4984.33 sec so far
Iteration 4761: 4990.12 sec so far
Iteration 4766: 4995.67 sec so far
Iteration 4771: 5001.24 sec so far
Iteration 4776: 5007.01 sec so far
Iteration 4781: 5012.49 sec so far
Iteration 4786: 5017.87 sec so far
Iteration 4791: 5023.27 sec so far
Iteration 4796: 5028.64 sec so far
Iteration 4801: 5034.02 sec so far
Iteration 4806: 5039.38 sec so far
Iteration 4811: 5044.74 sec so far
Iteration 4816: 5050.11 sec so far
Iteration 4821: 5056.13 sec so far
Iteration 4826: 5061.69 sec so far
Iteration 4831: 5067.21 sec so far
Iteration 4836: 5072.97 sec so far
Iteration 4841: 5078.74 sec so far
Iteration 4846: 5084.10 sec so far
Iteration 4851: 5089.47 sec so far
Iteration 4856: 5094.85 sec so far
Iteration 4861: 5100.21 sec so far
Iteration 4866: 5105.58 sec so far
Iteration 4871: 5110.95 sec so far
Iteration 4876: 5116.44 sec so far
Value iteration (with Jacobi) took 4880 iterations, 172060835840 multiplications and 5121.203 seconds.
Probabilistic reachability took 5132.76 seconds.
Value in the initial state: 0.5386630172446859
Time for model checking: 5136.383 seconds.
Result: 0.5386630172446859 (+/- 5.381002200973655E-6 estimated; rel err 9.989551962371593E-6)
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-prism_check_ex_polling.18-16_rep2.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism %indir/property.props
Wallclock time: 5470.615 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 07:12:03 GMT+02:00 2026
Hostname: n23m0060.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4961661/tmpriooolrdprism_from-prism_check_ex_polling.18-16_tmp_indir_/model.prism /w0/tmp/slurm_tq429871.4961661/tmpriooolrdprism_from-prism_check_ex_polling.18-16_tmp_indir_/property.props
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4961661/tmpriooolrdprism_from-prism_check_ex_polling.18-16_tmp_indir_/model.prism"...
Type: CTMC
Modules: server station1 station2 station3 station4 station5 station6 station7 station8 station9 station10 station11 station12 station13 station14 station15 station16 station17 station18
Actions: [] [loop1a] [loop1b] [serve1] [loop2a] [loop2b] [serve2] [loop3a] [loop3b] [serve3] [loop4a] [loop4b] [serve4] [loop5a] [loop5b] [serve5] [loop6a] [loop6b] [serve6] [loop7a] [loop7b] [serve7] [loop8a] [loop8b] [serve8] [loop9a] [loop9b] [serve9] [loop10a] [loop10b] [serve10] [loop11a] [loop11b] [serve11] [loop12a] [loop12b] [serve12] [loop13a] [loop13b] [serve13] [loop14a] [loop14b] [serve14] [loop15a] [loop15b] [serve15] [loop16a] [loop16b] [serve16] [loop17a] [loop17b] [serve17] [loop18a] [loop18b] [serve18]
Variables: s a s1 s2 s3 s4 s5 s6 s7 s8 s9 s10 s11 s12 s13 s14 s15 s16 s17 s18
Labels: "serve_s2" "serve_s1"
Parsing properties file "/w0/tmp/slurm_tq429871.4961661/tmpriooolrdprism_from-prism_check_ex_polling.18-16_tmp_indir_/property.props"...
1 property:
(1) "s1_before_s2": P=? [ !"serve_s2" U "serve_s1" ]
---------------------------------------------------------------------
Model checking: "s1_before_s2": P=? [ !"serve_s2" U "serve_s1" ]
Building model (engine:explicit)...
Computing reachable states... 181166 386865 595957 812641 1014815 1251884 1442978 1672371 1886928 2084601 2299949 2500127 2721611 2909868 3129655 3312481 3530921 3710025 3922388 4101193 4314902 4495639 4704924 4885082 5074226 5245127 5448474 5643114 5863678 6052136 6256808 6477927 6670074 6897294 7077888 states
Reachable states exploration and model construction done in 104.58 secs.
Sorting reachable states list...
Time for model construction: 111.407 seconds.
Type: CTMC
States: 7077888 (1 initial)
Transitions: 69599232
Building embedded DTMC...
Starting probabilistic reachability...
Calculating predecessor relation for discrete-time Markov chain... done (5.386 seconds)
Starting Prob0...
Prob0 took 2.435 seconds.
Starting Prob1...
Prob1 took 3.771 seconds.
target=131072, yes=3407872, no=262144, maybe=3407872
Starting value iteration (with Jacobi)...
Iteration 4: 5.02 sec so far
Iteration 8: 10.07 sec so far
Iteration 12: 15.66 sec so far
Iteration 17: 21.45 sec so far
Iteration 21: 26.70 sec so far
Iteration 25: 32.33 sec so far
Iteration 30: 38.13 sec so far
Iteration 35: 43.71 sec so far
Iteration 40: 49.28 sec so far
Iteration 45: 54.87 sec so far
Iteration 50: 60.42 sec so far
Iteration 55: 65.96 sec so far
Iteration 60: 71.50 sec so far
Iteration 65: 77.24 sec so far
Iteration 70: 82.95 sec so far
Iteration 75: 88.56 sec so far
Iteration 80: 94.24 sec so far
Iteration 85: 99.75 sec so far
Iteration 90: 105.31 sec so far
Iteration 95: 110.88 sec so far
Iteration 100: 116.42 sec so far
Iteration 105: 121.91 sec so far
Iteration 110: 127.41 sec so far
Iteration 115: 132.91 sec so far
Iteration 120: 138.50 sec so far
Iteration 125: 144.03 sec so far
Iteration 130: 149.54 sec so far
Iteration 135: 155.11 sec so far
Iteration 140: 160.73 sec so far
Iteration 145: 166.24 sec so far
Iteration 150: 171.85 sec so far
Iteration 155: 177.41 sec so far
Iteration 160: 182.93 sec so far
Iteration 165: 188.44 sec so far
Iteration 170: 193.95 sec so far
Iteration 175: 199.46 sec so far
Iteration 180: 205.06 sec so far
Iteration 185: 210.60 sec so far
Iteration 190: 216.15 sec so far
Iteration 195: 221.84 sec so far
Iteration 200: 227.44 sec so far
Iteration 205: 233.00 sec so far
Iteration 210: 238.59 sec so far
Iteration 215: 244.15 sec so far
Iteration 220: 249.69 sec so far
Iteration 225: 255.19 sec so far
Iteration 230: 260.70 sec so far
Iteration 235: 266.23 sec so far
Iteration 240: 271.81 sec so far
Iteration 245: 277.38 sec so far
Iteration 250: 282.93 sec so far
Iteration 255: 288.67 sec so far
Iteration 260: 294.23 sec so far
Iteration 265: 299.78 sec so far
Iteration 270: 305.37 sec so far
Iteration 275: 310.96 sec so far
Iteration 280: 316.52 sec so far
Iteration 285: 322.07 sec so far
Iteration 290: 327.64 sec so far
Iteration 295: 333.20 sec so far
Iteration 300: 338.77 sec so far
Iteration 305: 344.32 sec so far
Iteration 310: 349.86 sec so far
Iteration 315: 355.58 sec so far
Iteration 320: 361.08 sec so far
Iteration 325: 366.63 sec so far
Iteration 330: 372.21 sec so far
Iteration 335: 377.82 sec so far
Iteration 340: 383.34 sec so far
Iteration 345: 388.84 sec so far
Iteration 350: 394.35 sec so far
Iteration 355: 399.88 sec so far
Iteration 360: 405.40 sec so far
Iteration 365: 410.94 sec so far
Iteration 370: 416.52 sec so far
Iteration 375: 422.19 sec so far
Iteration 380: 427.70 sec so far
Iteration 385: 433.25 sec so far
Iteration 390: 438.80 sec so far
Iteration 395: 444.32 sec so far
Iteration 400: 449.83 sec so far
Iteration 405: 455.35 sec so far
Iteration 410: 460.87 sec so far
Iteration 415: 466.42 sec so far
Iteration 420: 471.97 sec so far
Iteration 425: 477.50 sec so far
Iteration 430: 483.12 sec so far
Iteration 435: 488.79 sec so far
Iteration 440: 494.32 sec so far
Iteration 445: 499.89 sec so far
Iteration 450: 505.43 sec so far
Iteration 455: 510.93 sec so far
Iteration 460: 516.45 sec so far
Iteration 465: 521.97 sec so far
Iteration 470: 527.51 sec so far
Iteration 475: 533.04 sec so far
Iteration 480: 538.55 sec so far
Iteration 485: 544.14 sec so far
Iteration 490: 549.89 sec so far
Iteration 495: 555.45 sec so far
Iteration 500: 560.97 sec so far
Iteration 505: 566.48 sec so far
Iteration 510: 572.00 sec so far
Iteration 515: 577.57 sec so far
Iteration 520: 583.11 sec so far
Iteration 525: 588.62 sec so far
Iteration 530: 594.15 sec so far
Iteration 535: 599.67 sec so far
Iteration 540: 605.21 sec so far
Iteration 545: 610.77 sec so far
Iteration 550: 616.51 sec so far
Iteration 555: 622.03 sec so far
Iteration 560: 627.57 sec so far
Iteration 565: 633.08 sec so far
Iteration 570: 638.60 sec so far
Iteration 575: 644.16 sec so far
Iteration 580: 649.68 sec so far
Iteration 585: 655.22 sec so far
Iteration 590: 660.72 sec so far
Iteration 595: 666.26 sec so far
Iteration 600: 671.77 sec so far
Iteration 605: 677.29 sec so far
Iteration 610: 682.99 sec so far
Iteration 615: 688.49 sec so far
Iteration 620: 694.03 sec so far
Iteration 625: 699.56 sec so far
Iteration 630: 705.09 sec so far
Iteration 635: 710.65 sec so far
Iteration 640: 716.18 sec so far
Iteration 645: 721.68 sec so far
Iteration 650: 727.20 sec so far
Iteration 655: 732.75 sec so far
Iteration 660: 738.28 sec so far
Iteration 665: 743.86 sec so far
Iteration 670: 749.65 sec so far
Iteration 675: 755.33 sec so far
Iteration 680: 760.94 sec so far
Iteration 685: 766.59 sec so far
Iteration 690: 772.11 sec so far
Iteration 695: 777.64 sec so far
Iteration 700: 783.16 sec so far
Iteration 705: 788.69 sec so far
Iteration 710: 794.22 sec so far
Iteration 715: 799.74 sec so far
Iteration 720: 805.25 sec so far
Iteration 725: 810.79 sec so far
Iteration 730: 816.33 sec so far
Iteration 735: 821.86 sec so far
Iteration 740: 827.48 sec so far
Iteration 745: 833.06 sec so far
Iteration 750: 838.59 sec so far
Iteration 755: 844.17 sec so far
Iteration 760: 849.79 sec so far
Iteration 765: 855.33 sec so far
Iteration 770: 860.83 sec so far
Iteration 775: 866.35 sec so far
Iteration 780: 871.87 sec so far
Iteration 785: 877.41 sec so far
Iteration 790: 882.92 sec so far
Iteration 795: 888.44 sec so far
Iteration 800: 894.16 sec so far
Iteration 805: 899.67 sec so far
Iteration 810: 905.18 sec so far
Iteration 815: 910.76 sec so far
Iteration 820: 916.27 sec so far
Iteration 825: 921.77 sec so far
Iteration 830: 927.30 sec so far
Iteration 835: 932.83 sec so far
Iteration 840: 938.35 sec so far
Iteration 845: 943.92 sec so far
Iteration 850: 949.45 sec so far
Iteration 855: 954.99 sec so far
Iteration 860: 960.70 sec so far
Iteration 865: 966.21 sec so far
Iteration 870: 971.76 sec so far
Iteration 875: 977.32 sec so far
Iteration 880: 982.87 sec so far
Iteration 885: 988.43 sec so far
Iteration 890: 993.95 sec so far
Iteration 895: 999.48 sec so far
Iteration 900: 1005.03 sec so far
Iteration 905: 1010.55 sec so far
Iteration 910: 1016.10 sec so far
Iteration 915: 1021.64 sec so far
Iteration 920: 1027.33 sec so far
Iteration 925: 1032.85 sec so far
Iteration 930: 1038.39 sec so far
Iteration 935: 1043.94 sec so far
Iteration 940: 1049.49 sec so far
Iteration 945: 1055.01 sec so far
Iteration 950: 1060.54 sec so far
Iteration 955: 1066.07 sec so far
Iteration 960: 1071.61 sec so far
Iteration 965: 1077.15 sec so far
Iteration 970: 1082.68 sec so far
Iteration 975: 1088.27 sec so far
Iteration 980: 1093.96 sec so far
Iteration 985: 1099.49 sec so far
Iteration 990: 1105.04 sec so far
Iteration 995: 1110.58 sec so far
Iteration 1000: 1116.13 sec so far
Iteration 1005: 1121.65 sec so far
Iteration 1010: 1127.19 sec so far
Iteration 1015: 1132.71 sec so far
Iteration 1020: 1138.25 sec so far
Iteration 1025: 1143.82 sec so far
Iteration 1030: 1149.36 sec so far
Iteration 1035: 1155.01 sec so far
Iteration 1040: 1160.57 sec so far
Iteration 1045: 1166.08 sec so far
Iteration 1050: 1171.60 sec so far
Iteration 1055: 1177.17 sec so far
Iteration 1060: 1182.70 sec so far
Iteration 1065: 1188.21 sec so far
Iteration 1070: 1193.73 sec so far
Iteration 1075: 1199.24 sec so far
Iteration 1080: 1204.82 sec so far
Iteration 1085: 1210.36 sec so far
Iteration 1090: 1215.88 sec so far
Iteration 1095: 1221.59 sec so far
Iteration 1100: 1227.09 sec so far
Iteration 1105: 1232.60 sec so far
Iteration 1110: 1238.18 sec so far
Iteration 1115: 1243.72 sec so far
Iteration 1120: 1249.24 sec so far
Iteration 1125: 1254.77 sec so far
Iteration 1130: 1260.31 sec so far
Iteration 1135: 1265.82 sec so far
Iteration 1140: 1271.38 sec so far
Iteration 1145: 1276.89 sec so far
Iteration 1150: 1282.40 sec so far
Iteration 1155: 1288.11 sec so far
Iteration 1160: 1293.61 sec so far
Iteration 1165: 1299.12 sec so far
Iteration 1170: 1304.65 sec so far
Iteration 1175: 1310.17 sec so far
Iteration 1180: 1315.71 sec so far
Iteration 1185: 1321.21 sec so far
Iteration 1190: 1326.73 sec so far
Iteration 1195: 1332.25 sec so far
Iteration 1200: 1337.76 sec so far
Iteration 1205: 1343.28 sec so far
Iteration 1210: 1348.83 sec so far
Iteration 1215: 1354.50 sec so far
Iteration 1220: 1360.02 sec so far
Iteration 1225: 1365.52 sec so far
Iteration 1230: 1371.07 sec so far
Iteration 1235: 1376.62 sec so far
Iteration 1240: 1382.13 sec so far
Iteration 1245: 1387.63 sec so far
Iteration 1250: 1393.13 sec so far
Iteration 1255: 1398.64 sec so far
Iteration 1260: 1404.15 sec so far
Iteration 1265: 1409.67 sec so far
Iteration 1270: 1415.25 sec so far
Iteration 1275: 1420.87 sec so far
Iteration 1280: 1426.37 sec so far
Iteration 1285: 1431.89 sec so far
Iteration 1290: 1437.42 sec so far
Iteration 1295: 1442.94 sec so far
Iteration 1300: 1448.49 sec so far
Iteration 1305: 1454.00 sec so far
Iteration 1310: 1459.51 sec so far
Iteration 1315: 1465.02 sec so far
Iteration 1320: 1470.52 sec so far
Iteration 1325: 1476.02 sec so far
Iteration 1330: 1481.70 sec so far
Iteration 1335: 1487.24 sec so far
Iteration 1340: 1492.78 sec so far
Iteration 1345: 1498.30 sec so far
Iteration 1350: 1503.83 sec so far
Iteration 1355: 1509.35 sec so far
Iteration 1360: 1514.86 sec so far
Iteration 1365: 1520.37 sec so far
Iteration 1370: 1525.88 sec so far
Iteration 1375: 1531.38 sec so far
Iteration 1380: 1536.89 sec so far
Iteration 1385: 1542.42 sec so far
Iteration 1390: 1548.11 sec so far
Iteration 1395: 1553.65 sec so far
Iteration 1400: 1559.18 sec so far
Iteration 1405: 1564.70 sec so far
Iteration 1410: 1570.21 sec so far
Iteration 1415: 1575.72 sec so far
Iteration 1420: 1581.22 sec so far
Iteration 1425: 1586.73 sec so far
Iteration 1430: 1592.23 sec so far
Iteration 1435: 1597.76 sec so far
Iteration 1440: 1603.29 sec so far
Iteration 1445: 1608.82 sec so far
Iteration 1450: 1614.58 sec so far
Iteration 1455: 1620.28 sec so far
Iteration 1460: 1625.87 sec so far
Iteration 1465: 1631.53 sec so far
Iteration 1470: 1637.04 sec so far
Iteration 1475: 1642.58 sec so far
Iteration 1480: 1648.10 sec so far
Iteration 1485: 1653.62 sec so far
Iteration 1490: 1659.13 sec so far
Iteration 1495: 1664.65 sec so far
Iteration 1500: 1670.17 sec so far
Iteration 1505: 1675.71 sec so far
Iteration 1510: 1681.23 sec so far
Iteration 1515: 1686.74 sec so far
Iteration 1520: 1692.32 sec so far
Iteration 1525: 1697.96 sec so far
Iteration 1530: 1703.49 sec so far
Iteration 1535: 1709.01 sec so far
Iteration 1540: 1714.53 sec so far
Iteration 1545: 1720.04 sec so far
Iteration 1550: 1725.55 sec so far
Iteration 1555: 1731.07 sec so far
Iteration 1560: 1736.60 sec so far
Iteration 1565: 1742.11 sec so far
Iteration 1570: 1747.63 sec so far
Iteration 1575: 1753.15 sec so far
Iteration 1580: 1758.83 sec so far
Iteration 1585: 1764.37 sec so far
Iteration 1590: 1769.90 sec so far
Iteration 1595: 1775.42 sec so far
Iteration 1600: 1780.95 sec so far
Iteration 1605: 1786.47 sec so far
Iteration 1610: 1792.00 sec so far
Iteration 1615: 1797.53 sec so far
Iteration 1620: 1803.04 sec so far
Iteration 1625: 1808.56 sec so far
Iteration 1630: 1814.07 sec so far
Iteration 1635: 1819.59 sec so far
Iteration 1640: 1825.30 sec so far
Iteration 1645: 1830.79 sec so far
Iteration 1650: 1836.30 sec so far
Iteration 1655: 1841.84 sec so far
Iteration 1660: 1847.37 sec so far
Iteration 1665: 1852.91 sec so far
Iteration 1670: 1858.43 sec so far
Iteration 1675: 1863.93 sec so far
Iteration 1680: 1869.45 sec so far
Iteration 1685: 1874.97 sec so far
Iteration 1690: 1880.48 sec so far
Iteration 1695: 1886.01 sec so far
Iteration 1700: 1891.67 sec so far
Iteration 1705: 1897.20 sec so far
Iteration 1710: 1902.75 sec so far
Iteration 1715: 1908.28 sec so far
Iteration 1720: 1913.81 sec so far
Iteration 1725: 1919.34 sec so far
Iteration 1730: 1924.85 sec so far
Iteration 1735: 1930.40 sec so far
Iteration 1740: 1935.93 sec so far
Iteration 1745: 1941.44 sec so far
Iteration 1750: 1946.96 sec so far
Iteration 1755: 1952.53 sec so far
Iteration 1760: 1958.20 sec so far
Iteration 1765: 1963.72 sec so far
Iteration 1770: 1969.25 sec so far
Iteration 1775: 1974.79 sec so far
Iteration 1780: 1980.30 sec so far
Iteration 1785: 1985.80 sec so far
Iteration 1790: 1991.31 sec so far
Iteration 1795: 1996.83 sec so far
Iteration 1800: 2002.34 sec so far
Iteration 1805: 2007.86 sec so far
Iteration 1810: 2013.38 sec so far
Iteration 1815: 2019.04 sec so far
Iteration 1820: 2024.60 sec so far
Iteration 1825: 2030.13 sec so far
Iteration 1830: 2035.67 sec so far
Iteration 1835: 2041.20 sec so far
Iteration 1840: 2046.72 sec so far
Iteration 1845: 2052.23 sec so far
Iteration 1850: 2057.77 sec so far
Iteration 1855: 2063.28 sec so far
Iteration 1860: 2068.81 sec so far
Iteration 1865: 2074.31 sec so far
Iteration 1870: 2079.82 sec so far
Iteration 1875: 2085.51 sec so far
Iteration 1880: 2091.02 sec so far
Iteration 1885: 2096.55 sec so far
Iteration 1890: 2102.08 sec so far
Iteration 1895: 2107.61 sec so far
Iteration 1900: 2113.12 sec so far
Iteration 1905: 2118.63 sec so far
Iteration 1910: 2124.16 sec so far
Iteration 1915: 2129.67 sec so far
Iteration 1920: 2135.18 sec so far
Iteration 1925: 2140.69 sec so far
Iteration 1930: 2146.21 sec so far
Iteration 1935: 2151.90 sec so far
Iteration 1940: 2157.42 sec so far
Iteration 1945: 2162.94 sec so far
Iteration 1950: 2168.46 sec so far
Iteration 1955: 2173.97 sec so far
Iteration 1960: 2179.49 sec so far
Iteration 1965: 2184.99 sec so far
Iteration 1970: 2190.51 sec so far
Iteration 1975: 2196.03 sec so far
Iteration 1980: 2201.55 sec so far
Iteration 1985: 2207.06 sec so far
Iteration 1990: 2212.62 sec so far
Iteration 1995: 2218.39 sec so far
Iteration 2000: 2224.09 sec so far
Iteration 2005: 2229.71 sec so far
Iteration 2010: 2235.35 sec so far
Iteration 2015: 2240.87 sec so far
Iteration 2020: 2246.40 sec so far
Iteration 2025: 2251.94 sec so far
Iteration 2030: 2257.47 sec so far
Iteration 2035: 2263.00 sec so far
Iteration 2040: 2268.53 sec so far
Iteration 2045: 2274.09 sec so far
Iteration 2050: 2279.60 sec so far
Iteration 2055: 2285.11 sec so far
Iteration 2060: 2290.61 sec so far
Iteration 2065: 2296.22 sec so far
Iteration 2070: 2301.79 sec so far
Iteration 2075: 2307.31 sec so far
Iteration 2080: 2312.85 sec so far
Iteration 2085: 2318.37 sec so far
Iteration 2090: 2323.89 sec so far
Iteration 2095: 2329.42 sec so far
Iteration 2100: 2334.99 sec so far
Iteration 2105: 2340.54 sec so far
Iteration 2110: 2346.07 sec so far
Iteration 2115: 2351.59 sec so far
Iteration 2120: 2357.11 sec so far
Iteration 2125: 2362.82 sec so far
Iteration 2130: 2368.32 sec so far
Iteration 2135: 2373.85 sec so far
Iteration 2140: 2379.38 sec so far
Iteration 2145: 2384.92 sec so far
Iteration 2150: 2390.45 sec so far
Iteration 2155: 2395.98 sec so far
Iteration 2160: 2401.49 sec so far
Iteration 2165: 2406.99 sec so far
Iteration 2170: 2412.54 sec so far
Iteration 2175: 2418.06 sec so far
Iteration 2180: 2423.57 sec so far
Iteration 2185: 2429.28 sec so far
Iteration 2190: 2434.78 sec so far
Iteration 2195: 2440.31 sec so far
Iteration 2200: 2445.82 sec so far
Iteration 2205: 2451.36 sec so far
Iteration 2210: 2456.89 sec so far
Iteration 2215: 2462.40 sec so far
Iteration 2220: 2467.92 sec so far
Iteration 2225: 2473.45 sec so far
Iteration 2230: 2478.97 sec so far
Iteration 2235: 2484.49 sec so far
Iteration 2240: 2490.05 sec so far
Iteration 2245: 2495.72 sec so far
Iteration 2250: 2501.26 sec so far
Iteration 2255: 2506.78 sec so far
Iteration 2260: 2512.32 sec so far
Iteration 2265: 2517.85 sec so far
Iteration 2270: 2523.36 sec so far
Iteration 2275: 2528.86 sec so far
Iteration 2280: 2534.39 sec so far
Iteration 2285: 2539.91 sec so far
Iteration 2290: 2545.42 sec so far
Iteration 2295: 2550.93 sec so far
Iteration 2300: 2556.55 sec so far
Iteration 2305: 2562.14 sec so far
Iteration 2310: 2567.67 sec so far
Iteration 2315: 2573.20 sec so far
Iteration 2320: 2578.72 sec so far
Iteration 2325: 2584.23 sec so far
Iteration 2330: 2589.74 sec so far
Iteration 2335: 2595.29 sec so far
Iteration 2340: 2600.81 sec so far
Iteration 2345: 2606.32 sec so far
Iteration 2350: 2611.86 sec so far
Iteration 2355: 2617.39 sec so far
Iteration 2360: 2623.10 sec so far
Iteration 2365: 2628.61 sec so far
Iteration 2370: 2634.16 sec so far
Iteration 2375: 2639.67 sec so far
Iteration 2380: 2645.19 sec so far
Iteration 2385: 2650.70 sec so far
Iteration 2390: 2656.28 sec so far
Iteration 2395: 2661.81 sec so far
Iteration 2400: 2667.33 sec so far
Iteration 2405: 2672.85 sec so far
Iteration 2410: 2678.37 sec so far
Iteration 2415: 2683.89 sec so far
Iteration 2420: 2689.62 sec so far
Iteration 2425: 2695.15 sec so far
Iteration 2430: 2700.68 sec so far
Iteration 2435: 2706.20 sec so far
Iteration 2440: 2711.77 sec so far
Iteration 2445: 2717.30 sec so far
Iteration 2450: 2722.80 sec so far
Iteration 2455: 2728.32 sec so far
Iteration 2460: 2733.82 sec so far
Iteration 2465: 2739.34 sec so far
Iteration 2470: 2744.86 sec so far
Iteration 2475: 2750.41 sec so far
Iteration 2480: 2756.09 sec so far
Iteration 2485: 2761.62 sec so far
Iteration 2490: 2767.15 sec so far
Iteration 2495: 2772.68 sec so far
Iteration 2500: 2778.26 sec so far
Iteration 2505: 2783.78 sec so far
Iteration 2510: 2789.28 sec so far
Iteration 2515: 2794.80 sec so far
Iteration 2520: 2800.31 sec so far
Iteration 2525: 2805.83 sec so far
Iteration 2530: 2811.36 sec so far
Iteration 2535: 2816.96 sec so far
Iteration 2540: 2822.61 sec so far
Iteration 2545: 2828.13 sec so far
Iteration 2550: 2833.67 sec so far
Iteration 2555: 2839.26 sec so far
Iteration 2560: 2844.78 sec so far
Iteration 2565: 2850.31 sec so far
Iteration 2570: 2855.83 sec so far
Iteration 2575: 2861.35 sec so far
Iteration 2580: 2866.86 sec so far
Iteration 2585: 2872.40 sec so far
Iteration 2590: 2877.91 sec so far
Iteration 2595: 2883.51 sec so far
Iteration 2600: 2889.30 sec so far
Iteration 2605: 2894.85 sec so far
Iteration 2610: 2900.60 sec so far
Iteration 2615: 2906.17 sec so far
Iteration 2620: 2911.69 sec so far
Iteration 2625: 2917.22 sec so far
Iteration 2630: 2922.76 sec so far
Iteration 2635: 2928.27 sec so far
Iteration 2640: 2933.82 sec so far
Iteration 2645: 2939.35 sec so far
Iteration 2650: 2944.88 sec so far
Iteration 2655: 2950.41 sec so far
Iteration 2660: 2955.91 sec so far
Iteration 2665: 2961.51 sec so far
Iteration 2670: 2967.22 sec so far
Iteration 2675: 2972.72 sec so far
Iteration 2680: 2978.26 sec so far
Iteration 2685: 2983.78 sec so far
Iteration 2690: 2989.30 sec so far
Iteration 2695: 2994.84 sec so far
Iteration 2700: 3000.36 sec so far
Iteration 2705: 3005.88 sec so far
Iteration 2710: 3011.41 sec so far
Iteration 2715: 3016.93 sec so far
Iteration 2720: 3022.44 sec so far
Iteration 2725: 3027.99 sec so far
Iteration 2730: 3033.70 sec so far
Iteration 2735: 3039.20 sec so far
Iteration 2740: 3044.71 sec so far
Iteration 2745: 3050.24 sec so far
Iteration 2750: 3055.79 sec so far
Iteration 2755: 3061.30 sec so far
Iteration 2760: 3066.81 sec so far
Iteration 2765: 3072.34 sec so far
Iteration 2770: 3077.86 sec so far
Iteration 2775: 3083.37 sec so far
Iteration 2780: 3088.96 sec so far
Iteration 2785: 3094.53 sec so far
Iteration 2790: 3100.17 sec so far
Iteration 2795: 3105.68 sec so far
Iteration 2800: 3111.20 sec so far
Iteration 2805: 3116.76 sec so far
Iteration 2810: 3122.30 sec so far
Iteration 2815: 3127.82 sec so far
Iteration 2820: 3133.34 sec so far
Iteration 2825: 3138.86 sec so far
Iteration 2830: 3144.38 sec so far
Iteration 2835: 3149.89 sec so far
Iteration 2840: 3155.41 sec so far
Iteration 2845: 3161.16 sec so far
Iteration 2850: 3166.69 sec so far
Iteration 2855: 3172.22 sec so far
Iteration 2860: 3177.75 sec so far
Iteration 2865: 3183.28 sec so far
Iteration 2870: 3188.78 sec so far
Iteration 2875: 3194.29 sec so far
Iteration 2880: 3199.81 sec so far
Iteration 2885: 3205.32 sec so far
Iteration 2890: 3210.84 sec so far
Iteration 2895: 3216.41 sec so far
Iteration 2900: 3221.93 sec so far
Iteration 2905: 3227.62 sec so far
Iteration 2910: 3233.14 sec so far
Iteration 2915: 3238.66 sec so far
Iteration 2920: 3244.18 sec so far
Iteration 2925: 3249.69 sec so far
Iteration 2930: 3255.20 sec so far
Iteration 2935: 3260.72 sec so far
Iteration 2940: 3266.24 sec so far
Iteration 2945: 3271.75 sec so far
Iteration 2950: 3277.25 sec so far
Iteration 2955: 3282.83 sec so far
Iteration 2960: 3288.35 sec so far
Iteration 2965: 3294.03 sec so far
Iteration 2970: 3299.53 sec so far
Iteration 2975: 3305.05 sec so far
Iteration 2980: 3310.56 sec so far
Iteration 2985: 3316.07 sec so far
Iteration 2990: 3321.59 sec so far
Iteration 2995: 3327.11 sec so far
Iteration 3000: 3332.62 sec so far
Iteration 3005: 3338.12 sec so far
Iteration 3010: 3343.71 sec so far
Iteration 3015: 3349.21 sec so far
Iteration 3020: 3354.80 sec so far
Iteration 3025: 3360.43 sec so far
Iteration 3030: 3365.94 sec so far
Iteration 3035: 3371.45 sec so far
Iteration 3040: 3376.97 sec so far
Iteration 3045: 3382.48 sec so far
Iteration 3050: 3387.98 sec so far
Iteration 3055: 3393.49 sec so far
Iteration 3060: 3399.01 sec so far
Iteration 3065: 3404.53 sec so far
Iteration 3070: 3410.12 sec so far
Iteration 3075: 3415.65 sec so far
Iteration 3080: 3421.28 sec so far
Iteration 3085: 3426.89 sec so far
Iteration 3090: 3432.40 sec so far
Iteration 3095: 3437.92 sec so far
Iteration 3100: 3443.44 sec so far
Iteration 3105: 3448.99 sec so far
Iteration 3110: 3454.52 sec so far
Iteration 3115: 3460.04 sec so far
Iteration 3120: 3465.55 sec so far
Iteration 3125: 3471.15 sec so far
Iteration 3130: 3476.70 sec so far
Iteration 3135: 3482.22 sec so far
Iteration 3140: 3487.91 sec so far
Iteration 3145: 3493.43 sec so far
Iteration 3150: 3498.96 sec so far
Iteration 3155: 3504.50 sec so far
Iteration 3160: 3510.03 sec so far
Iteration 3165: 3515.56 sec so far
Iteration 3170: 3521.10 sec so far
Iteration 3175: 3526.60 sec so far
Iteration 3180: 3532.15 sec so far
Iteration 3185: 3537.75 sec so far
Iteration 3189: 3543.04 sec so far
Iteration 3193: 3548.59 sec so far
Iteration 3198: 3554.38 sec so far
Iteration 3203: 3560.48 sec so far
Iteration 3208: 3566.35 sec so far
Iteration 3212: 3571.87 sec so far
Iteration 3217: 3577.95 sec so far
Iteration 3222: 3583.43 sec so far
Iteration 3227: 3588.85 sec so far
Iteration 3232: 3594.32 sec so far
Iteration 3237: 3599.78 sec so far
Iteration 3242: 3605.18 sec so far
Iteration 3247: 3610.57 sec so far
Iteration 3252: 3616.00 sec so far
Iteration 3257: 3621.67 sec so far
Iteration 3262: 3627.19 sec so far
Iteration 3267: 3632.70 sec so far
Iteration 3272: 3638.22 sec so far
Iteration 3277: 3643.64 sec so far
Iteration 3282: 3649.06 sec so far
Iteration 3287: 3654.49 sec so far
Iteration 3292: 3659.93 sec so far
Iteration 3297: 3665.38 sec so far
Iteration 3302: 3670.78 sec so far
Iteration 3307: 3676.96 sec so far
Iteration 3311: 3682.42 sec so far
Iteration 3316: 3688.01 sec so far
Iteration 3321: 3693.44 sec so far
Iteration 3326: 3699.01 sec so far
Iteration 3331: 3704.47 sec so far
Iteration 3336: 3710.52 sec so far
Iteration 3340: 3715.99 sec so far
Iteration 3344: 3721.12 sec so far
Iteration 3349: 3726.58 sec so far
Iteration 3354: 3732.00 sec so far
Iteration 3359: 3737.34 sec so far
Iteration 3364: 3742.66 sec so far
Iteration 3369: 3748.00 sec so far
Iteration 3374: 3753.34 sec so far
Iteration 3379: 3758.68 sec so far
Iteration 3384: 3764.15 sec so far
Iteration 3389: 3769.54 sec so far
Iteration 3394: 3775.03 sec so far
Iteration 3398: 3780.45 sec so far
Iteration 3402: 3785.50 sec so far
Iteration 3407: 3790.93 sec so far
Iteration 3412: 3796.26 sec so far
Iteration 3417: 3801.61 sec so far
Iteration 3422: 3806.95 sec so far
Iteration 3427: 3812.30 sec so far
Iteration 3432: 3818.14 sec so far
Iteration 3437: 3823.46 sec so far
Iteration 3442: 3828.86 sec so far
Iteration 3447: 3834.94 sec so far
Iteration 3451: 3840.33 sec so far
Iteration 3456: 3846.01 sec so far
Iteration 3461: 3851.41 sec so far
Iteration 3466: 3856.72 sec so far
Iteration 3471: 3862.04 sec so far
Iteration 3476: 3867.35 sec so far
Iteration 3481: 3872.66 sec so far
Iteration 3486: 3877.98 sec so far
Iteration 3491: 3883.30 sec so far
Iteration 3496: 3888.61 sec so far
Iteration 3501: 3894.00 sec so far
Iteration 3505: 3899.06 sec so far
Iteration 3509: 3904.46 sec so far
Iteration 3514: 3909.94 sec so far
Iteration 3519: 3915.24 sec so far
Iteration 3524: 3920.66 sec so far
Iteration 3529: 3925.96 sec so far
Iteration 3534: 3931.63 sec so far
Iteration 3538: 3936.98 sec so far
Iteration 3543: 3942.67 sec so far
Iteration 3548: 3947.93 sec so far
Iteration 3553: 3953.23 sec so far
Iteration 3558: 3958.55 sec so far
Iteration 3563: 3964.09 sec so far
Iteration 3567: 3969.39 sec so far
Iteration 3572: 3975.35 sec so far
Iteration 3577: 3980.58 sec so far
Iteration 3582: 3985.88 sec so far
Iteration 3587: 3991.10 sec so far
Iteration 3592: 3996.34 sec so far
Iteration 3597: 4001.54 sec so far
Iteration 3602: 4006.76 sec so far
Iteration 3607: 4011.98 sec so far
Iteration 3612: 4017.20 sec so far
Iteration 3617: 4022.40 sec so far
Iteration 3622: 4027.77 sec so far
Iteration 3627: 4032.98 sec so far
Iteration 3632: 4038.18 sec so far
Iteration 3637: 4043.38 sec so far
Iteration 3642: 4048.58 sec so far
Iteration 3647: 4053.84 sec so far
Iteration 3652: 4059.05 sec so far
Iteration 3657: 4064.24 sec so far
Iteration 3662: 4069.44 sec so far
Iteration 3667: 4074.66 sec so far
Iteration 3672: 4079.87 sec so far
Iteration 3677: 4085.08 sec so far
Iteration 3682: 4090.40 sec so far
Iteration 3687: 4095.65 sec so far
Iteration 3692: 4100.85 sec so far
Iteration 3697: 4106.06 sec so far
Iteration 3702: 4111.33 sec so far
Iteration 3707: 4116.54 sec so far
Iteration 3712: 4121.74 sec so far
Iteration 3717: 4126.95 sec so far
Iteration 3722: 4132.18 sec so far
Iteration 3727: 4137.41 sec so far
Iteration 3732: 4142.62 sec so far
Iteration 3737: 4147.83 sec so far
Iteration 3742: 4153.05 sec so far
Iteration 3747: 4158.40 sec so far
Iteration 3752: 4163.61 sec so far
Iteration 3757: 4168.82 sec so far
Iteration 3762: 4174.04 sec so far
Iteration 3767: 4179.29 sec so far
Iteration 3772: 4184.49 sec so far
Iteration 3777: 4189.68 sec so far
Iteration 3782: 4194.90 sec so far
Iteration 3787: 4200.12 sec so far
Iteration 3792: 4205.33 sec so far
Iteration 3797: 4210.55 sec so far
Iteration 3802: 4215.76 sec so far
Iteration 3807: 4221.08 sec so far
Iteration 3812: 4226.32 sec so far
Iteration 3817: 4231.59 sec so far
Iteration 3822: 4236.80 sec so far
Iteration 3827: 4242.01 sec so far
Iteration 3832: 4247.21 sec so far
Iteration 3837: 4252.42 sec so far
Iteration 3842: 4257.63 sec so far
Iteration 3847: 4262.85 sec so far
Iteration 3852: 4268.06 sec so far
Iteration 3857: 4273.26 sec so far
Iteration 3862: 4278.45 sec so far
Iteration 3867: 4283.68 sec so far
Iteration 3872: 4289.05 sec so far
Iteration 3877: 4294.25 sec so far
Iteration 3882: 4299.51 sec so far
Iteration 3887: 4304.73 sec so far
Iteration 3892: 4309.93 sec so far
Iteration 3897: 4315.15 sec so far
Iteration 3902: 4320.34 sec so far
Iteration 3907: 4325.54 sec so far
Iteration 3912: 4330.74 sec so far
Iteration 3917: 4335.94 sec so far
Iteration 3922: 4341.16 sec so far
Iteration 3927: 4346.36 sec so far
Iteration 3932: 4351.69 sec so far
Iteration 3937: 4356.93 sec so far
Iteration 3942: 4362.19 sec so far
Iteration 3947: 4367.39 sec so far
Iteration 3952: 4372.61 sec so far
Iteration 3957: 4377.82 sec so far
Iteration 3962: 4383.02 sec so far
Iteration 3967: 4388.22 sec so far
Iteration 3972: 4393.41 sec so far
Iteration 3977: 4398.60 sec so far
Iteration 3982: 4403.81 sec so far
Iteration 3987: 4409.03 sec so far
Iteration 3992: 4414.27 sec so far
Iteration 3997: 4419.66 sec so far
Iteration 4002: 4425.11 sec so far
Iteration 4007: 4430.32 sec so far
Iteration 4012: 4435.74 sec so far
Iteration 4017: 4440.94 sec so far
Iteration 4022: 4446.14 sec so far
Iteration 4027: 4451.36 sec so far
Iteration 4032: 4456.57 sec so far
Iteration 4037: 4461.78 sec so far
Iteration 4042: 4467.00 sec so far
Iteration 4047: 4472.22 sec so far
Iteration 4052: 4477.42 sec so far
Iteration 4057: 4482.70 sec so far
Iteration 4062: 4487.92 sec so far
Iteration 4067: 4493.14 sec so far
Iteration 4072: 4498.43 sec so far
Iteration 4077: 4503.72 sec so far
Iteration 4082: 4508.93 sec so far
Iteration 4087: 4514.12 sec so far
Iteration 4092: 4519.32 sec so far
Iteration 4097: 4524.52 sec so far
Iteration 4102: 4529.72 sec so far
Iteration 4107: 4534.93 sec so far
Iteration 4112: 4540.13 sec so far
Iteration 4117: 4545.32 sec so far
Iteration 4122: 4550.59 sec so far
Iteration 4127: 4555.81 sec so far
Iteration 4132: 4561.01 sec so far
Iteration 4137: 4566.40 sec so far
Iteration 4142: 4571.59 sec so far
Iteration 4147: 4576.79 sec so far
Iteration 4152: 4581.99 sec so far
Iteration 4157: 4587.21 sec so far
Iteration 4162: 4592.43 sec so far
Iteration 4167: 4597.63 sec so far
Iteration 4172: 4602.84 sec so far
Iteration 4177: 4608.11 sec so far
Iteration 4182: 4613.33 sec so far
Iteration 4187: 4618.55 sec so far
Iteration 4192: 4623.76 sec so far
Iteration 4197: 4629.06 sec so far
Iteration 4202: 4634.33 sec so far
Iteration 4207: 4639.53 sec so far
Iteration 4212: 4644.75 sec so far
Iteration 4217: 4649.97 sec so far
Iteration 4222: 4655.17 sec so far
Iteration 4227: 4660.37 sec so far
Iteration 4232: 4665.64 sec so far
Iteration 4237: 4670.86 sec so far
Iteration 4242: 4676.07 sec so far
Iteration 4247: 4681.28 sec so far
Iteration 4252: 4686.48 sec so far
Iteration 4257: 4691.69 sec so far
Iteration 4262: 4697.05 sec so far
Iteration 4267: 4702.24 sec so far
Iteration 4272: 4707.43 sec so far
Iteration 4277: 4712.64 sec so far
Iteration 4282: 4717.85 sec so far
Iteration 4287: 4723.04 sec so far
Iteration 4292: 4728.24 sec so far
Iteration 4297: 4733.46 sec so far
Iteration 4302: 4738.66 sec so far
Iteration 4307: 4743.93 sec so far
Iteration 4312: 4749.13 sec so far
Iteration 4317: 4754.33 sec so far
Iteration 4322: 4759.64 sec so far
Iteration 4327: 4764.90 sec so far
Iteration 4332: 4770.11 sec so far
Iteration 4337: 4775.31 sec so far
Iteration 4342: 4780.52 sec so far
Iteration 4347: 4785.74 sec so far
Iteration 4352: 4790.96 sec so far
Iteration 4357: 4796.16 sec so far
Iteration 4362: 4801.43 sec so far
Iteration 4367: 4806.63 sec so far
Iteration 4372: 4811.83 sec so far
Iteration 4377: 4817.02 sec so far
Iteration 4382: 4822.23 sec so far
Iteration 4387: 4827.59 sec so far
Iteration 4392: 4832.79 sec so far
Iteration 4397: 4838.00 sec so far
Iteration 4402: 4843.20 sec so far
Iteration 4407: 4848.41 sec so far
Iteration 4412: 4853.65 sec so far
Iteration 4417: 4858.86 sec so far
Iteration 4422: 4864.06 sec so far
Iteration 4427: 4869.33 sec so far
Iteration 4432: 4874.53 sec so far
Iteration 4437: 4879.72 sec so far
Iteration 4442: 4884.92 sec so far
Iteration 4447: 4890.21 sec so far
Iteration 4452: 4895.48 sec so far
Iteration 4457: 4900.69 sec so far
Iteration 4462: 4905.91 sec so far
Iteration 4467: 4911.14 sec so far
Iteration 4472: 4916.37 sec so far
Iteration 4477: 4921.57 sec so far
Iteration 4482: 4926.84 sec so far
Iteration 4487: 4932.06 sec so far
Iteration 4492: 4937.25 sec so far
Iteration 4497: 4942.46 sec so far
Iteration 4502: 4947.67 sec so far
Iteration 4507: 4952.90 sec so far
Iteration 4512: 4958.28 sec so far
Iteration 4517: 4963.46 sec so far
Iteration 4522: 4968.67 sec so far
Iteration 4527: 4973.92 sec so far
Iteration 4532: 4979.14 sec so far
Iteration 4537: 4984.34 sec so far
Iteration 4542: 4989.61 sec so far
Iteration 4547: 4994.81 sec so far
Iteration 4552: 5000.00 sec so far
Iteration 4557: 5005.19 sec so far
Iteration 4562: 5010.40 sec so far
Iteration 4567: 5015.59 sec so far
Iteration 4572: 5020.91 sec so far
Iteration 4577: 5026.17 sec so far
Iteration 4582: 5031.41 sec so far
Iteration 4587: 5036.63 sec so far
Iteration 4592: 5041.84 sec so far
Iteration 4597: 5047.06 sec so far
Iteration 4602: 5052.32 sec so far
Iteration 4607: 5057.52 sec so far
Iteration 4612: 5062.72 sec so far
Iteration 4617: 5067.92 sec so far
Iteration 4622: 5073.12 sec so far
Iteration 4627: 5078.34 sec so far
Iteration 4632: 5083.55 sec so far
Iteration 4637: 5088.99 sec so far
Iteration 4642: 5094.37 sec so far
Iteration 4647: 5099.62 sec so far
Iteration 4652: 5105.01 sec so far
Iteration 4657: 5110.21 sec so far
Iteration 4662: 5115.42 sec so far
Iteration 4667: 5120.69 sec so far
Iteration 4672: 5125.89 sec so far
Iteration 4677: 5131.10 sec so far
Iteration 4682: 5136.31 sec so far
Iteration 4687: 5141.51 sec so far
Iteration 4692: 5146.71 sec so far
Iteration 4697: 5151.93 sec so far
Iteration 4702: 5157.16 sec so far
Iteration 4707: 5162.38 sec so far
Iteration 4712: 5167.69 sec so far
Iteration 4717: 5172.97 sec so far
Iteration 4722: 5178.22 sec so far
Iteration 4727: 5183.42 sec so far
Iteration 4732: 5188.62 sec so far
Iteration 4737: 5193.82 sec so far
Iteration 4742: 5199.02 sec so far
Iteration 4747: 5204.23 sec so far
Iteration 4752: 5209.44 sec so far
Iteration 4757: 5214.68 sec so far
Iteration 4762: 5219.89 sec so far
Iteration 4767: 5225.11 sec so far
Iteration 4772: 5230.33 sec so far
Iteration 4777: 5235.69 sec so far
Iteration 4782: 5240.94 sec so far
Iteration 4787: 5246.15 sec so far
Iteration 4792: 5251.35 sec so far
Iteration 4797: 5256.55 sec so far
Iteration 4802: 5261.75 sec so far
Iteration 4807: 5266.95 sec so far
Iteration 4812: 5272.17 sec so far
Iteration 4817: 5277.38 sec so far
Iteration 4822: 5282.59 sec so far
Iteration 4827: 5287.80 sec so far
Iteration 4832: 5292.99 sec so far
Iteration 4837: 5298.43 sec so far
Iteration 4842: 5303.63 sec so far
Iteration 4847: 5308.82 sec so far
Iteration 4852: 5314.04 sec so far
Iteration 4857: 5319.24 sec so far
Iteration 4862: 5324.44 sec so far
Iteration 4867: 5329.64 sec so far
Iteration 4872: 5334.88 sec so far
Iteration 4877: 5340.09 sec so far
Value iteration (with Jacobi) took 4880 iterations, 172060835840 multiplications and 5343.313 seconds.
Probabilistic reachability took 5354.943 seconds.
Value in the initial state: 0.5386630172446859
Time for model checking: 5358.368 seconds.
Result: 0.5386630172446859 (+/- 5.381002200973655E-6 estimated; rel err 9.989551962371593E-6)
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-prism_check_ex_polling.18-16_rep3.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism %indir/property.props
Wallclock time: 5647.487 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 07:13:08 GMT+02:00 2026
Hostname: n23m0049.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4961704/tmprhk_3m1oprism_from-prism_check_ex_polling.18-16_tmp_indir_/model.prism /w0/tmp/slurm_tq429871.4961704/tmprhk_3m1oprism_from-prism_check_ex_polling.18-16_tmp_indir_/property.props
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4961704/tmprhk_3m1oprism_from-prism_check_ex_polling.18-16_tmp_indir_/model.prism"...
Type: CTMC
Modules: server station1 station2 station3 station4 station5 station6 station7 station8 station9 station10 station11 station12 station13 station14 station15 station16 station17 station18
Actions: [] [loop1a] [loop1b] [serve1] [loop2a] [loop2b] [serve2] [loop3a] [loop3b] [serve3] [loop4a] [loop4b] [serve4] [loop5a] [loop5b] [serve5] [loop6a] [loop6b] [serve6] [loop7a] [loop7b] [serve7] [loop8a] [loop8b] [serve8] [loop9a] [loop9b] [serve9] [loop10a] [loop10b] [serve10] [loop11a] [loop11b] [serve11] [loop12a] [loop12b] [serve12] [loop13a] [loop13b] [serve13] [loop14a] [loop14b] [serve14] [loop15a] [loop15b] [serve15] [loop16a] [loop16b] [serve16] [loop17a] [loop17b] [serve17] [loop18a] [loop18b] [serve18]
Variables: s a s1 s2 s3 s4 s5 s6 s7 s8 s9 s10 s11 s12 s13 s14 s15 s16 s17 s18
Labels: "serve_s2" "serve_s1"
Parsing properties file "/w0/tmp/slurm_tq429871.4961704/tmprhk_3m1oprism_from-prism_check_ex_polling.18-16_tmp_indir_/property.props"...
1 property:
(1) "s1_before_s2": P=? [ !"serve_s2" U "serve_s1" ]
---------------------------------------------------------------------
Model checking: "s1_before_s2": P=? [ !"serve_s2" U "serve_s1" ]
Building model (engine:explicit)...
Computing reachable states... 189226 394243 611131 822579 1026561 1257001 1458465 1685885 1907567 2103429 2317105 2508655 2732149 2919967 3139661 3320216 3536892 3714565 3908454 4086679 4292101 4469089 4682500 4865276 5062351 5228833 5433771 5627313 5846898 6049912 6263962 6486681 6667469 6923649 7077888 states
Reachable states exploration and model construction done in 104.28 secs.
Sorting reachable states list...
Time for model construction: 111.364 seconds.
Type: CTMC
States: 7077888 (1 initial)
Transitions: 69599232
Building embedded DTMC...
Starting probabilistic reachability...
Calculating predecessor relation for discrete-time Markov chain... done (5.827 seconds)
Starting Prob0...
Prob0 took 2.621 seconds.
Starting Prob1...
Prob1 took 3.597 seconds.
target=131072, yes=3407872, no=262144, maybe=3407872
Starting value iteration (with Jacobi)...
Iteration 3: 5.07 sec so far
Iteration 7: 10.69 sec so far
Iteration 11: 15.70 sec so far
Iteration 15: 20.79 sec so far
Iteration 19: 26.22 sec so far
Iteration 24: 32.20 sec so far
Iteration 29: 38.01 sec so far
Iteration 34: 44.22 sec so far
Iteration 39: 50.16 sec so far
Iteration 44: 55.95 sec so far
Iteration 48: 61.13 sec so far
Iteration 53: 67.26 sec so far
Iteration 58: 73.51 sec so far
Iteration 63: 79.44 sec so far
Iteration 68: 85.51 sec so far
Iteration 73: 91.47 sec so far
Iteration 78: 97.54 sec so far
Iteration 83: 103.33 sec so far
Iteration 88: 109.30 sec so far
Iteration 93: 115.40 sec so far
Iteration 98: 121.24 sec so far
Iteration 103: 127.33 sec so far
Iteration 107: 132.34 sec so far
Iteration 111: 137.39 sec so far
Iteration 115: 142.49 sec so far
Iteration 120: 148.53 sec so far
Iteration 125: 154.36 sec so far
Iteration 130: 160.18 sec so far
Iteration 135: 166.10 sec so far
Iteration 140: 172.09 sec so far
Iteration 145: 178.09 sec so far
Iteration 150: 184.03 sec so far
Iteration 155: 190.06 sec so far
Iteration 160: 195.96 sec so far
Iteration 165: 201.76 sec so far
Iteration 170: 207.83 sec so far
Iteration 174: 213.05 sec so far
Iteration 178: 218.13 sec so far
Iteration 183: 224.17 sec so far
Iteration 188: 230.16 sec so far
Iteration 193: 236.00 sec so far
Iteration 198: 241.74 sec so far
Iteration 203: 247.83 sec so far
Iteration 208: 253.82 sec so far
Iteration 213: 259.73 sec so far
Iteration 217: 265.00 sec so far
Iteration 221: 270.18 sec so far
Iteration 225: 275.67 sec so far
Iteration 229: 280.77 sec so far
Iteration 234: 286.47 sec so far
Iteration 239: 292.04 sec so far
Iteration 244: 297.61 sec so far
Iteration 249: 303.18 sec so far
Iteration 254: 308.73 sec so far
Iteration 259: 314.26 sec so far
Iteration 264: 319.80 sec so far
Iteration 269: 325.35 sec so far
Iteration 274: 330.92 sec so far
Iteration 279: 336.84 sec so far
Iteration 284: 342.91 sec so far
Iteration 289: 349.01 sec so far
Iteration 294: 355.01 sec so far
Iteration 299: 360.65 sec so far
Iteration 304: 366.21 sec so far
Iteration 309: 371.83 sec so far
Iteration 314: 377.38 sec so far
Iteration 319: 382.92 sec so far
Iteration 324: 388.47 sec so far
Iteration 329: 394.21 sec so far
Iteration 334: 399.99 sec so far
Iteration 339: 406.02 sec so far
Iteration 343: 411.11 sec so far
Iteration 348: 417.05 sec so far
Iteration 353: 422.62 sec so far
Iteration 358: 428.16 sec so far
Iteration 363: 433.76 sec so far
Iteration 368: 439.33 sec so far
Iteration 373: 444.88 sec so far
Iteration 378: 450.42 sec so far
Iteration 383: 456.14 sec so far
Iteration 388: 461.84 sec so far
Iteration 393: 467.88 sec so far
Iteration 398: 473.97 sec so far
Iteration 402: 479.03 sec so far
Iteration 407: 484.64 sec so far
Iteration 412: 490.20 sec so far
Iteration 417: 495.76 sec so far
Iteration 422: 501.31 sec so far
Iteration 427: 506.89 sec so far
Iteration 432: 512.44 sec so far
Iteration 437: 518.11 sec so far
Iteration 442: 523.79 sec so far
Iteration 447: 529.81 sec so far
Iteration 452: 535.85 sec so far
Iteration 457: 542.02 sec so far
Iteration 462: 547.77 sec so far
Iteration 467: 553.34 sec so far
Iteration 472: 558.90 sec so far
Iteration 477: 564.47 sec so far
Iteration 482: 570.03 sec so far
Iteration 487: 575.59 sec so far
Iteration 492: 581.15 sec so far
Iteration 497: 586.75 sec so far
Iteration 502: 592.46 sec so far
Iteration 507: 598.17 sec so far
Iteration 512: 604.44 sec so far
Iteration 517: 610.64 sec so far
Iteration 522: 616.43 sec so far
Iteration 527: 622.01 sec so far
Iteration 532: 627.57 sec so far
Iteration 537: 633.12 sec so far
Iteration 542: 638.68 sec so far
Iteration 547: 644.23 sec so far
Iteration 552: 649.82 sec so far
Iteration 557: 655.51 sec so far
Iteration 562: 661.47 sec so far
Iteration 567: 667.45 sec so far
Iteration 571: 672.49 sec so far
Iteration 576: 678.38 sec so far
Iteration 581: 683.93 sec so far
Iteration 586: 689.48 sec so far
Iteration 591: 695.03 sec so far
Iteration 596: 700.57 sec so far
Iteration 601: 706.14 sec so far
Iteration 606: 711.70 sec so far
Iteration 611: 717.24 sec so far
Iteration 616: 722.84 sec so far
Iteration 621: 728.50 sec so far
Iteration 626: 734.71 sec so far
Iteration 631: 740.95 sec so far
Iteration 636: 746.93 sec so far
Iteration 641: 752.50 sec so far
Iteration 646: 758.06 sec so far
Iteration 651: 763.63 sec so far
Iteration 656: 769.18 sec so far
Iteration 661: 774.72 sec so far
Iteration 666: 780.29 sec so far
Iteration 671: 785.92 sec so far
Iteration 676: 791.65 sec so far
Iteration 681: 797.89 sec so far
Iteration 686: 803.98 sec so far
Iteration 691: 810.04 sec so far
Iteration 696: 815.60 sec so far
Iteration 701: 821.18 sec so far
Iteration 706: 826.78 sec so far
Iteration 711: 832.35 sec so far
Iteration 716: 837.89 sec so far
Iteration 721: 843.48 sec so far
Iteration 726: 849.05 sec so far
Iteration 731: 854.70 sec so far
Iteration 736: 860.40 sec so far
Iteration 741: 866.41 sec so far
Iteration 745: 871.55 sec so far
Iteration 750: 877.59 sec so far
Iteration 755: 883.29 sec so far
Iteration 760: 888.88 sec so far
Iteration 765: 894.45 sec so far
Iteration 770: 899.99 sec so far
Iteration 775: 905.57 sec so far
Iteration 780: 911.20 sec so far
Iteration 785: 916.77 sec so far
Iteration 790: 922.55 sec so far
Iteration 795: 928.58 sec so far
Iteration 800: 934.62 sec so far
Iteration 805: 940.80 sec so far
Iteration 810: 946.44 sec so far
Iteration 815: 952.01 sec so far
Iteration 820: 957.59 sec so far
Iteration 825: 963.15 sec so far
Iteration 830: 968.70 sec so far
Iteration 835: 974.26 sec so far
Iteration 840: 979.82 sec so far
Iteration 845: 985.42 sec so far
Iteration 850: 991.13 sec so far
Iteration 855: 997.03 sec so far
Iteration 860: 1003.21 sec so far
Iteration 864: 1008.25 sec so far
Iteration 869: 1014.04 sec so far
Iteration 874: 1019.60 sec so far
Iteration 879: 1025.17 sec so far
Iteration 884: 1030.70 sec so far
Iteration 889: 1036.24 sec so far
Iteration 894: 1041.83 sec so far
Iteration 899: 1047.43 sec so far
Iteration 904: 1053.14 sec so far
Iteration 909: 1059.00 sec so far
Iteration 914: 1065.09 sec so far
Iteration 918: 1070.17 sec so far
Iteration 923: 1076.09 sec so far
Iteration 928: 1081.66 sec so far
Iteration 933: 1087.22 sec so far
Iteration 938: 1092.76 sec so far
Iteration 943: 1098.31 sec so far
Iteration 948: 1103.84 sec so far
Iteration 953: 1109.48 sec so far
Iteration 958: 1115.04 sec so far
Iteration 963: 1120.81 sec so far
Iteration 968: 1126.55 sec so far
Iteration 973: 1132.66 sec so far
Iteration 978: 1138.90 sec so far
Iteration 983: 1144.81 sec so far
Iteration 988: 1150.35 sec so far
Iteration 993: 1155.88 sec so far
Iteration 998: 1161.44 sec so far
Iteration 1003: 1166.97 sec so far
Iteration 1008: 1172.54 sec so far
Iteration 1013: 1178.18 sec so far
Iteration 1018: 1183.94 sec so far
Iteration 1023: 1189.71 sec so far
Iteration 1028: 1195.79 sec so far
Iteration 1033: 1201.96 sec so far
Iteration 1038: 1207.91 sec so far
Iteration 1043: 1213.45 sec so far
Iteration 1048: 1219.02 sec so far
Iteration 1053: 1224.58 sec so far
Iteration 1058: 1230.13 sec so far
Iteration 1063: 1235.67 sec so far
Iteration 1068: 1241.22 sec so far
Iteration 1073: 1246.82 sec so far
Iteration 1078: 1252.45 sec so far
Iteration 1083: 1258.15 sec so far
Iteration 1088: 1264.18 sec so far
Iteration 1092: 1269.29 sec so far
Iteration 1097: 1275.38 sec so far
Iteration 1102: 1281.02 sec so far
Iteration 1107: 1286.59 sec so far
Iteration 1112: 1292.15 sec so far
Iteration 1117: 1297.71 sec so far
Iteration 1122: 1303.26 sec so far
Iteration 1127: 1308.84 sec so far
Iteration 1132: 1314.47 sec so far
Iteration 1137: 1320.19 sec so far
Iteration 1142: 1326.12 sec so far
Iteration 1147: 1332.19 sec so far
Iteration 1151: 1337.41 sec so far
Iteration 1156: 1343.31 sec so far
Iteration 1161: 1348.98 sec so far
Iteration 1166: 1354.64 sec so far
Iteration 1171: 1360.20 sec so far
Iteration 1176: 1365.78 sec so far
Iteration 1181: 1371.37 sec so far
Iteration 1186: 1376.92 sec so far
Iteration 1191: 1382.47 sec so far
Iteration 1196: 1388.07 sec so far
Iteration 1201: 1393.81 sec so far
Iteration 1206: 1399.64 sec so far
Iteration 1211: 1405.73 sec so far
Iteration 1216: 1411.83 sec so far
Iteration 1221: 1417.84 sec so far
Iteration 1226: 1423.39 sec so far
Iteration 1231: 1428.97 sec so far
Iteration 1236: 1434.54 sec so far
Iteration 1241: 1440.16 sec so far
Iteration 1246: 1445.71 sec so far
Iteration 1251: 1451.29 sec so far
Iteration 1256: 1456.98 sec so far
Iteration 1261: 1462.76 sec so far
Iteration 1266: 1468.85 sec so far
Iteration 1271: 1474.95 sec so far
Iteration 1276: 1480.88 sec so far
Iteration 1281: 1486.62 sec so far
Iteration 1286: 1492.17 sec so far
Iteration 1291: 1497.75 sec so far
Iteration 1296: 1503.33 sec so far
Iteration 1301: 1508.92 sec so far
Iteration 1306: 1514.46 sec so far
Iteration 1311: 1520.04 sec so far
Iteration 1316: 1525.78 sec so far
Iteration 1321: 1531.57 sec so far
Iteration 1326: 1537.66 sec so far
Iteration 1331: 1543.77 sec so far
Iteration 1336: 1549.85 sec so far
Iteration 1341: 1555.43 sec so far
Iteration 1346: 1561.00 sec so far
Iteration 1351: 1566.57 sec so far
Iteration 1356: 1572.13 sec so far
Iteration 1361: 1577.69 sec so far
Iteration 1366: 1583.37 sec so far
Iteration 1371: 1589.13 sec so far
Iteration 1376: 1595.05 sec so far
Iteration 1381: 1600.86 sec so far
Iteration 1385: 1605.91 sec so far
Iteration 1390: 1611.89 sec so far
Iteration 1395: 1617.63 sec so far
Iteration 1400: 1623.19 sec so far
Iteration 1405: 1628.77 sec so far
Iteration 1410: 1634.34 sec so far
Iteration 1415: 1639.91 sec so far
Iteration 1420: 1645.47 sec so far
Iteration 1425: 1651.04 sec so far
Iteration 1430: 1656.78 sec so far
Iteration 1435: 1662.52 sec so far
Iteration 1439: 1667.52 sec so far
Iteration 1444: 1673.41 sec so far
Iteration 1449: 1679.54 sec so far
Iteration 1454: 1685.38 sec so far
Iteration 1459: 1690.92 sec so far
Iteration 1464: 1696.47 sec so far
Iteration 1469: 1702.04 sec so far
Iteration 1474: 1707.59 sec so far
Iteration 1479: 1713.19 sec so far
Iteration 1484: 1719.02 sec so far
Iteration 1489: 1724.79 sec so far
Iteration 1494: 1730.97 sec so far
Iteration 1499: 1737.04 sec so far
Iteration 1504: 1742.91 sec so far
Iteration 1509: 1748.66 sec so far
Iteration 1514: 1754.22 sec so far
Iteration 1519: 1759.76 sec so far
Iteration 1524: 1765.32 sec so far
Iteration 1529: 1770.88 sec so far
Iteration 1534: 1776.43 sec so far
Iteration 1539: 1782.17 sec so far
Iteration 1544: 1787.85 sec so far
Iteration 1549: 1793.61 sec so far
Iteration 1553: 1798.62 sec so far
Iteration 1558: 1804.60 sec so far
Iteration 1563: 1810.62 sec so far
Iteration 1568: 1816.44 sec so far
Iteration 1573: 1822.00 sec so far
Iteration 1578: 1827.57 sec so far
Iteration 1583: 1833.13 sec so far
Iteration 1588: 1838.69 sec so far
Iteration 1593: 1844.38 sec so far
Iteration 1598: 1850.25 sec so far
Iteration 1603: 1855.83 sec so far
Iteration 1607: 1860.84 sec so far
Iteration 1612: 1867.01 sec so far
Iteration 1617: 1872.88 sec so far
Iteration 1622: 1878.60 sec so far
Iteration 1627: 1884.27 sec so far
Iteration 1632: 1889.82 sec so far
Iteration 1637: 1895.38 sec so far
Iteration 1642: 1900.95 sec so far
Iteration 1647: 1906.54 sec so far
Iteration 1652: 1912.10 sec so far
Iteration 1657: 1917.99 sec so far
Iteration 1662: 1923.74 sec so far
Iteration 1667: 1929.78 sec so far
Iteration 1672: 1935.70 sec so far
Iteration 1676: 1940.77 sec so far
Iteration 1681: 1946.62 sec so far
Iteration 1686: 1952.19 sec so far
Iteration 1691: 1957.75 sec so far
Iteration 1696: 1963.33 sec so far
Iteration 1701: 1968.91 sec so far
Iteration 1706: 1974.49 sec so far
Iteration 1711: 1980.43 sec so far
Iteration 1716: 1986.18 sec so far
Iteration 1721: 1992.05 sec so far
Iteration 1725: 1997.15 sec so far
Iteration 1730: 2003.04 sec so far
Iteration 1735: 2008.90 sec so far
Iteration 1740: 2014.65 sec so far
Iteration 1745: 2020.19 sec so far
Iteration 1750: 2025.77 sec so far
Iteration 1755: 2031.32 sec so far
Iteration 1760: 2036.89 sec so far
Iteration 1765: 2042.45 sec so far
Iteration 1770: 2048.38 sec so far
Iteration 1775: 2054.01 sec so far
Iteration 1780: 2059.86 sec so far
Iteration 1784: 2064.93 sec so far
Iteration 1789: 2070.86 sec so far
Iteration 1794: 2076.92 sec so far
Iteration 1799: 2082.58 sec so far
Iteration 1804: 2088.16 sec so far
Iteration 1809: 2093.73 sec so far
Iteration 1814: 2099.30 sec so far
Iteration 1819: 2104.86 sec so far
Iteration 1824: 2110.72 sec so far
Iteration 1829: 2116.61 sec so far
Iteration 1834: 2122.23 sec so far
Iteration 1838: 2127.31 sec so far
Iteration 1843: 2133.33 sec so far
Iteration 1848: 2139.28 sec so far
Iteration 1853: 2145.03 sec so far
Iteration 1858: 2150.59 sec so far
Iteration 1863: 2156.14 sec so far
Iteration 1868: 2161.71 sec so far
Iteration 1873: 2167.28 sec so far
Iteration 1878: 2172.84 sec so far
Iteration 1883: 2178.38 sec so far
Iteration 1888: 2183.99 sec so far
Iteration 1893: 2189.97 sec so far
Iteration 1898: 2195.70 sec so far
Iteration 1903: 2201.60 sec so far
Iteration 1908: 2207.86 sec so far
Iteration 1913: 2213.93 sec so far
Iteration 1918: 2219.69 sec so far
Iteration 1923: 2225.24 sec so far
Iteration 1928: 2230.80 sec so far
Iteration 1933: 2236.36 sec so far
Iteration 1938: 2241.93 sec so far
Iteration 1943: 2247.52 sec so far
Iteration 1948: 2253.58 sec so far
Iteration 1953: 2259.37 sec so far
Iteration 1958: 2265.31 sec so far
Iteration 1962: 2270.32 sec so far
Iteration 1967: 2276.49 sec so far
Iteration 1972: 2282.22 sec so far
Iteration 1977: 2287.77 sec so far
Iteration 1982: 2293.34 sec so far
Iteration 1987: 2298.89 sec so far
Iteration 1992: 2304.45 sec so far
Iteration 1997: 2310.06 sec so far
Iteration 2002: 2316.01 sec so far
Iteration 2007: 2321.82 sec so far
Iteration 2012: 2327.81 sec so far
Iteration 2017: 2333.69 sec so far
Iteration 2021: 2338.84 sec so far
Iteration 2026: 2344.74 sec so far
Iteration 2031: 2350.30 sec so far
Iteration 2036: 2355.86 sec so far
Iteration 2041: 2361.42 sec so far
Iteration 2046: 2367.00 sec so far
Iteration 2051: 2372.56 sec so far
Iteration 2056: 2378.11 sec so far
Iteration 2061: 2383.72 sec so far
Iteration 2066: 2389.80 sec so far
Iteration 2071: 2395.65 sec so far
Iteration 2076: 2401.55 sec so far
Iteration 2081: 2407.89 sec so far
Iteration 2086: 2413.92 sec so far
Iteration 2091: 2419.52 sec so far
Iteration 2096: 2425.08 sec so far
Iteration 2101: 2430.65 sec so far
Iteration 2106: 2436.21 sec so far
Iteration 2111: 2441.76 sec so far
Iteration 2116: 2447.54 sec so far
Iteration 2121: 2453.40 sec so far
Iteration 2126: 2459.15 sec so far
Iteration 2131: 2465.42 sec so far
Iteration 2136: 2471.36 sec so far
Iteration 2141: 2477.64 sec so far
Iteration 2146: 2483.20 sec so far
Iteration 2151: 2488.78 sec so far
Iteration 2156: 2494.35 sec so far
Iteration 2161: 2499.92 sec so far
Iteration 2166: 2505.50 sec so far
Iteration 2171: 2511.07 sec so far
Iteration 2176: 2516.72 sec so far
Iteration 2181: 2522.67 sec so far
Iteration 2186: 2528.43 sec so far
Iteration 2191: 2534.26 sec so far
Iteration 2196: 2540.63 sec so far
Iteration 2201: 2546.62 sec so far
Iteration 2206: 2552.41 sec so far
Iteration 2211: 2557.97 sec so far
Iteration 2216: 2563.54 sec so far
Iteration 2221: 2569.14 sec so far
Iteration 2226: 2574.69 sec so far
Iteration 2231: 2580.25 sec so far
Iteration 2236: 2586.12 sec so far
Iteration 2241: 2592.05 sec so far
Iteration 2246: 2597.66 sec so far
Iteration 2251: 2603.97 sec so far
Iteration 2256: 2610.08 sec so far
Iteration 2261: 2616.07 sec so far
Iteration 2266: 2621.63 sec so far
Iteration 2271: 2627.20 sec so far
Iteration 2276: 2632.78 sec so far
Iteration 2281: 2638.32 sec so far
Iteration 2286: 2643.88 sec so far
Iteration 2291: 2649.43 sec so far
Iteration 2296: 2655.03 sec so far
Iteration 2301: 2661.09 sec so far
Iteration 2306: 2666.83 sec so far
Iteration 2311: 2672.93 sec so far
Iteration 2316: 2679.07 sec so far
Iteration 2320: 2684.14 sec so far
Iteration 2325: 2689.76 sec so far
Iteration 2330: 2695.34 sec so far
Iteration 2335: 2700.91 sec so far
Iteration 2340: 2706.48 sec so far
Iteration 2345: 2712.03 sec so far
Iteration 2350: 2717.64 sec so far
Iteration 2355: 2723.54 sec so far
Iteration 2360: 2729.40 sec so far
Iteration 2365: 2735.14 sec so far
Iteration 2369: 2740.42 sec so far
Iteration 2374: 2746.46 sec so far
Iteration 2379: 2752.29 sec so far
Iteration 2384: 2757.85 sec so far
Iteration 2389: 2763.41 sec so far
Iteration 2394: 2768.99 sec so far
Iteration 2399: 2774.59 sec so far
Iteration 2404: 2780.14 sec so far
Iteration 2409: 2785.69 sec so far
Iteration 2414: 2791.57 sec so far
Iteration 2419: 2797.39 sec so far
Iteration 2424: 2803.26 sec so far
Iteration 2429: 2809.34 sec so far
Iteration 2434: 2815.59 sec so far
Iteration 2439: 2821.54 sec so far
Iteration 2444: 2827.10 sec so far
Iteration 2449: 2832.66 sec so far
Iteration 2454: 2838.23 sec so far
Iteration 2459: 2843.79 sec so far
Iteration 2464: 2849.36 sec so far
Iteration 2469: 2855.12 sec so far
Iteration 2474: 2861.15 sec so far
Iteration 2479: 2866.77 sec so far
Iteration 2484: 2873.29 sec so far
Iteration 2489: 2879.27 sec so far
Iteration 2494: 2885.18 sec so far
Iteration 2499: 2890.76 sec so far
Iteration 2504: 2896.32 sec so far
Iteration 2509: 2901.88 sec so far
Iteration 2514: 2907.47 sec so far
Iteration 2519: 2913.04 sec so far
Iteration 2524: 2918.63 sec so far
Iteration 2529: 2924.45 sec so far
Iteration 2534: 2930.33 sec so far
Iteration 2539: 2936.20 sec so far
Iteration 2543: 2941.26 sec so far
Iteration 2547: 2946.30 sec so far
Iteration 2552: 2952.32 sec so far
Iteration 2557: 2958.30 sec so far
Iteration 2562: 2963.86 sec so far
Iteration 2567: 2969.43 sec so far
Iteration 2572: 2975.03 sec so far
Iteration 2577: 2980.60 sec so far
Iteration 2582: 2986.19 sec so far
Iteration 2587: 2992.09 sec so far
Iteration 2592: 2997.98 sec so far
Iteration 2597: 3003.65 sec so far
Iteration 2601: 3008.78 sec so far
Iteration 2606: 3014.88 sec so far
Iteration 2611: 3020.85 sec so far
Iteration 2616: 3026.48 sec so far
Iteration 2621: 3032.05 sec so far
Iteration 2626: 3037.62 sec so far
Iteration 2631: 3043.21 sec so far
Iteration 2636: 3048.81 sec so far
Iteration 2641: 3054.37 sec so far
Iteration 2646: 3059.96 sec so far
Iteration 2651: 3066.04 sec so far
Iteration 2656: 3071.74 sec so far
Iteration 2661: 3077.76 sec so far
Iteration 2665: 3082.90 sec so far
Iteration 2669: 3087.94 sec so far
Iteration 2674: 3093.54 sec so far
Iteration 2679: 3099.09 sec so far
Iteration 2684: 3104.67 sec so far
Iteration 2689: 3110.28 sec so far
Iteration 2694: 3115.82 sec so far
Iteration 2699: 3121.40 sec so far
Iteration 2704: 3127.46 sec so far
Iteration 2709: 3133.20 sec so far
Iteration 2714: 3139.11 sec so far
Iteration 2718: 3144.14 sec so far
Iteration 2723: 3150.13 sec so far
Iteration 2728: 3156.11 sec so far
Iteration 2733: 3161.68 sec so far
Iteration 2738: 3167.27 sec so far
Iteration 2743: 3172.85 sec so far
Iteration 2748: 3178.44 sec so far
Iteration 2753: 3184.01 sec so far
Iteration 2758: 3189.82 sec so far
Iteration 2762: 3195.67 sec so far
Iteration 2766: 3201.05 sec so far
Iteration 2771: 3206.78 sec so far
Iteration 2775: 3211.86 sec so far
Iteration 2780: 3217.98 sec so far
Iteration 2784: 3223.59 sec so far
Iteration 2788: 3229.26 sec so far
Iteration 2793: 3234.91 sec so far
Iteration 2798: 3240.48 sec so far
Iteration 2803: 3246.64 sec so far
Iteration 2807: 3252.18 sec so far
Iteration 2811: 3257.34 sec so far
Iteration 2816: 3263.43 sec so far
Iteration 2821: 3269.48 sec so far
Iteration 2826: 3275.32 sec so far
Iteration 2831: 3281.17 sec so far
Iteration 2836: 3287.37 sec so far
Iteration 2841: 3292.92 sec so far
Iteration 2846: 3298.33 sec so far
Iteration 2851: 3303.74 sec so far
Iteration 2856: 3309.18 sec so far
Iteration 2861: 3314.60 sec so far
Iteration 2866: 3320.01 sec so far
Iteration 2871: 3325.70 sec so far
Iteration 2876: 3331.51 sec so far
Iteration 2881: 3337.10 sec so far
Iteration 2886: 3342.95 sec so far
Iteration 2891: 3349.17 sec so far
Iteration 2896: 3354.98 sec so far
Iteration 2901: 3360.39 sec so far
Iteration 2906: 3365.82 sec so far
Iteration 2911: 3371.26 sec so far
Iteration 2916: 3376.70 sec so far
Iteration 2921: 3382.13 sec so far
Iteration 2926: 3388.06 sec so far
Iteration 2930: 3393.58 sec so far
Iteration 2934: 3398.66 sec so far
Iteration 2939: 3404.25 sec so far
Iteration 2944: 3410.22 sec so far
Iteration 2949: 3416.07 sec so far
Iteration 2954: 3422.13 sec so far
Iteration 2959: 3427.88 sec so far
Iteration 2964: 3433.27 sec so far
Iteration 2969: 3438.66 sec so far
Iteration 2974: 3444.06 sec so far
Iteration 2979: 3449.43 sec so far
Iteration 2984: 3454.80 sec so far
Iteration 2989: 3460.71 sec so far
Iteration 2993: 3466.46 sec so far
Iteration 2997: 3471.47 sec so far
Iteration 3002: 3477.28 sec so far
Iteration 3007: 3483.53 sec so far
Iteration 3012: 3489.34 sec so far
Iteration 3017: 3495.55 sec so far
Iteration 3021: 3500.89 sec so far
Iteration 3026: 3506.25 sec so far
Iteration 3031: 3511.59 sec so far
Iteration 3036: 3516.98 sec so far
Iteration 3041: 3522.63 sec so far
Iteration 3045: 3528.08 sec so far
Iteration 3049: 3533.24 sec so far
Iteration 3054: 3538.73 sec so far
Iteration 3059: 3544.54 sec so far
Iteration 3063: 3549.73 sec so far
Iteration 3067: 3555.74 sec so far
Iteration 3072: 3561.37 sec so far
Iteration 3077: 3566.66 sec so far
Iteration 3082: 3571.86 sec so far
Iteration 3087: 3577.07 sec so far
Iteration 3092: 3582.27 sec so far
Iteration 3097: 3587.49 sec so far
Iteration 3102: 3592.73 sec so far
Iteration 3107: 3597.94 sec so far
Iteration 3112: 3603.14 sec so far
Iteration 3117: 3608.73 sec so far
Iteration 3122: 3614.18 sec so far
Iteration 3127: 3619.68 sec so far
Iteration 3132: 3625.26 sec so far
Iteration 3137: 3631.33 sec so far
Iteration 3142: 3636.89 sec so far
Iteration 3147: 3642.12 sec so far
Iteration 3152: 3647.34 sec so far
Iteration 3157: 3652.56 sec so far
Iteration 3162: 3657.78 sec so far
Iteration 3167: 3662.99 sec so far
Iteration 3172: 3668.20 sec so far
Iteration 3177: 3673.63 sec so far
Iteration 3182: 3679.33 sec so far
Iteration 3187: 3684.89 sec so far
Iteration 3192: 3690.48 sec so far
Iteration 3197: 3696.26 sec so far
Iteration 3202: 3701.93 sec so far
Iteration 3207: 3707.15 sec so far
Iteration 3212: 3712.36 sec so far
Iteration 3217: 3717.56 sec so far
Iteration 3222: 3722.79 sec so far
Iteration 3227: 3728.03 sec so far
Iteration 3232: 3733.25 sec so far
Iteration 3237: 3738.46 sec so far
Iteration 3242: 3743.92 sec so far
Iteration 3247: 3749.71 sec so far
Iteration 3252: 3755.15 sec so far
Iteration 3257: 3760.79 sec so far
Iteration 3262: 3766.40 sec so far
Iteration 3267: 3772.22 sec so far
Iteration 3272: 3777.44 sec so far
Iteration 3277: 3782.65 sec so far
Iteration 3282: 3787.87 sec so far
Iteration 3287: 3793.10 sec so far
Iteration 3292: 3798.32 sec so far
Iteration 3297: 3803.58 sec so far
Iteration 3302: 3809.19 sec so far
Iteration 3307: 3814.64 sec so far
Iteration 3312: 3820.41 sec so far
Iteration 3317: 3826.07 sec so far
Iteration 3322: 3831.68 sec so far
Iteration 3327: 3837.27 sec so far
Iteration 3332: 3842.47 sec so far
Iteration 3337: 3847.68 sec so far
Iteration 3342: 3852.88 sec so far
Iteration 3347: 3858.09 sec so far
Iteration 3352: 3863.30 sec so far
Iteration 3357: 3868.51 sec so far
Iteration 3362: 3873.77 sec so far
Iteration 3367: 3879.45 sec so far
Iteration 3372: 3884.93 sec so far
Iteration 3377: 3890.30 sec so far
Iteration 3382: 3896.25 sec so far
Iteration 3387: 3901.88 sec so far
Iteration 3392: 3907.43 sec so far
Iteration 3397: 3912.64 sec so far
Iteration 3402: 3917.84 sec so far
Iteration 3407: 3923.07 sec so far
Iteration 3412: 3928.29 sec so far
Iteration 3417: 3933.51 sec so far
Iteration 3422: 3938.75 sec so far
Iteration 3427: 3944.47 sec so far
Iteration 3432: 3950.05 sec so far
Iteration 3437: 3955.38 sec so far
Iteration 3442: 3961.18 sec so far
Iteration 3447: 3967.01 sec so far
Iteration 3452: 3972.46 sec so far
Iteration 3457: 3977.66 sec so far
Iteration 3462: 3982.86 sec so far
Iteration 3467: 3988.07 sec so far
Iteration 3472: 3993.29 sec so far
Iteration 3477: 3998.51 sec so far
Iteration 3482: 4003.74 sec so far
Iteration 3487: 4008.98 sec so far
Iteration 3492: 4014.63 sec so far
Iteration 3497: 4020.26 sec so far
Iteration 3502: 4025.57 sec so far
Iteration 3507: 4031.17 sec so far
Iteration 3512: 4037.18 sec so far
Iteration 3517: 4042.68 sec so far
Iteration 3522: 4047.88 sec so far
Iteration 3527: 4053.09 sec so far
Iteration 3532: 4058.29 sec so far
Iteration 3537: 4063.52 sec so far
Iteration 3542: 4068.74 sec so far
Iteration 3547: 4073.96 sec so far
Iteration 3552: 4079.48 sec so far
Iteration 3557: 4085.38 sec so far
Iteration 3562: 4090.91 sec so far
Iteration 3567: 4096.66 sec so far
Iteration 3572: 4102.36 sec so far
Iteration 3577: 4108.12 sec so far
Iteration 3582: 4113.33 sec so far
Iteration 3587: 4118.55 sec so far
Iteration 3592: 4123.75 sec so far
Iteration 3597: 4128.98 sec so far
Iteration 3602: 4134.22 sec so far
Iteration 3607: 4139.45 sec so far
Iteration 3612: 4144.66 sec so far
Iteration 3617: 4150.08 sec so far
Iteration 3622: 4155.59 sec so far
Iteration 3627: 4161.18 sec so far
Iteration 3632: 4166.89 sec so far
Iteration 3637: 4172.53 sec so far
Iteration 3642: 4178.34 sec so far
Iteration 3647: 4183.56 sec so far
Iteration 3652: 4188.80 sec so far
Iteration 3657: 4194.02 sec so far
Iteration 3662: 4199.26 sec so far
Iteration 3667: 4204.48 sec so far
Iteration 3672: 4209.71 sec so far
Iteration 3677: 4215.29 sec so far
Iteration 3682: 4220.68 sec so far
Iteration 3687: 4226.19 sec so far
Iteration 3692: 4232.17 sec so far
Iteration 3697: 4237.81 sec so far
Iteration 3702: 4243.41 sec so far
Iteration 3707: 4248.65 sec so far
Iteration 3712: 4253.87 sec so far
Iteration 3717: 4259.07 sec so far
Iteration 3722: 4264.28 sec so far
Iteration 3727: 4269.51 sec so far
Iteration 3732: 4274.72 sec so far
Iteration 3737: 4279.95 sec so far
Iteration 3742: 4285.55 sec so far
Iteration 3747: 4290.94 sec so far
Iteration 3752: 4296.50 sec so far
Iteration 3757: 4302.44 sec so far
Iteration 3762: 4308.07 sec so far
Iteration 3767: 4313.71 sec so far
Iteration 3772: 4318.95 sec so far
Iteration 3777: 4324.17 sec so far
Iteration 3782: 4329.39 sec so far
Iteration 3787: 4334.60 sec so far
Iteration 3792: 4339.81 sec so far
Iteration 3797: 4345.04 sec so far
Iteration 3802: 4350.74 sec so far
Iteration 3807: 4356.15 sec so far
Iteration 3812: 4361.67 sec so far
Iteration 3817: 4367.35 sec so far
Iteration 3822: 4373.39 sec so far
Iteration 3827: 4378.79 sec so far
Iteration 3832: 4384.03 sec so far
Iteration 3837: 4389.24 sec so far
Iteration 3842: 4394.49 sec so far
Iteration 3847: 4399.70 sec so far
Iteration 3852: 4404.91 sec so far
Iteration 3857: 4410.15 sec so far
Iteration 3862: 4415.70 sec so far
Iteration 3867: 4421.24 sec so far
Iteration 3872: 4426.89 sec so far
Iteration 3877: 4432.59 sec so far
Iteration 3882: 4438.50 sec so far
Iteration 3887: 4443.85 sec so far
Iteration 3892: 4449.07 sec so far
Iteration 3897: 4454.29 sec so far
Iteration 3902: 4459.50 sec so far
Iteration 3907: 4464.73 sec so far
Iteration 3912: 4469.97 sec so far
Iteration 3917: 4475.19 sec so far
Iteration 3922: 4480.46 sec so far
Iteration 3927: 4486.05 sec so far
Iteration 3932: 4491.55 sec so far
Iteration 3937: 4497.31 sec so far
Iteration 3942: 4502.96 sec so far
Iteration 3947: 4508.56 sec so far
Iteration 3952: 4514.21 sec so far
Iteration 3957: 4519.42 sec so far
Iteration 3962: 4524.62 sec so far
Iteration 3967: 4529.84 sec so far
Iteration 3972: 4535.08 sec so far
Iteration 3977: 4540.28 sec so far
Iteration 3982: 4545.66 sec so far
Iteration 3987: 4551.26 sec so far
Iteration 3992: 4556.67 sec so far
Iteration 3997: 4562.52 sec so far
Iteration 4002: 4568.17 sec so far
Iteration 4007: 4573.81 sec so far
Iteration 4012: 4579.26 sec so far
Iteration 4017: 4584.48 sec so far
Iteration 4022: 4589.69 sec so far
Iteration 4027: 4594.90 sec so far
Iteration 4032: 4600.13 sec so far
Iteration 4037: 4605.37 sec so far
Iteration 4042: 4610.64 sec so far
Iteration 4047: 4615.85 sec so far
Iteration 4052: 4621.08 sec so far
Iteration 4057: 4626.80 sec so far
Iteration 4062: 4632.25 sec so far
Iteration 4067: 4637.85 sec so far
Iteration 4072: 4643.49 sec so far
Iteration 4077: 4649.08 sec so far
Iteration 4082: 4654.70 sec so far
Iteration 4087: 4660.00 sec so far
Iteration 4092: 4665.25 sec so far
Iteration 4097: 4670.49 sec so far
Iteration 4102: 4675.72 sec so far
Iteration 4107: 4680.95 sec so far
Iteration 4112: 4686.23 sec so far
Iteration 4117: 4692.05 sec so far
Iteration 4122: 4697.42 sec so far
Iteration 4127: 4702.73 sec so far
Iteration 4132: 4708.76 sec so far
Iteration 4137: 4714.39 sec so far
Iteration 4142: 4719.89 sec so far
Iteration 4147: 4725.12 sec so far
Iteration 4152: 4730.36 sec so far
Iteration 4157: 4735.57 sec so far
Iteration 4162: 4740.80 sec so far
Iteration 4167: 4746.04 sec so far
Iteration 4172: 4751.26 sec so far
Iteration 4177: 4756.56 sec so far
Iteration 4182: 4762.30 sec so far
Iteration 4187: 4767.65 sec so far
Iteration 4192: 4773.01 sec so far
Iteration 4197: 4778.70 sec so far
Iteration 4202: 4784.61 sec so far
Iteration 4207: 4790.27 sec so far
Iteration 4212: 4795.49 sec so far
Iteration 4217: 4800.70 sec so far
Iteration 4222: 4805.95 sec so far
Iteration 4227: 4811.21 sec so far
Iteration 4232: 4816.43 sec so far
Iteration 4237: 4821.74 sec so far
Iteration 4242: 4827.27 sec so far
Iteration 4247: 4832.93 sec so far
Iteration 4252: 4838.30 sec so far
Iteration 4257: 4843.89 sec so far
Iteration 4262: 4849.95 sec so far
Iteration 4267: 4855.41 sec so far
Iteration 4272: 4860.64 sec so far
Iteration 4277: 4865.87 sec so far
Iteration 4282: 4871.10 sec so far
Iteration 4287: 4876.33 sec so far
Iteration 4292: 4881.60 sec so far
Iteration 4297: 4886.83 sec so far
Iteration 4302: 4892.21 sec so far
Iteration 4307: 4897.62 sec so far
Iteration 4312: 4903.27 sec so far
Iteration 4317: 4908.65 sec so far
Iteration 4322: 4914.30 sec so far
Iteration 4327: 4919.91 sec so far
Iteration 4332: 4925.78 sec so far
Iteration 4337: 4931.01 sec so far
Iteration 4342: 4936.21 sec so far
Iteration 4347: 4941.44 sec so far
Iteration 4352: 4946.69 sec so far
Iteration 4357: 4951.89 sec so far
Iteration 4362: 4957.33 sec so far
Iteration 4367: 4962.90 sec so far
Iteration 4372: 4968.31 sec so far
Iteration 4377: 4973.99 sec so far
Iteration 4382: 4979.66 sec so far
Iteration 4387: 4985.30 sec so far
Iteration 4392: 4990.89 sec so far
Iteration 4397: 4996.12 sec so far
Iteration 4402: 5001.34 sec so far
Iteration 4407: 5006.57 sec so far
Iteration 4412: 5011.79 sec so far
Iteration 4417: 5017.03 sec so far
Iteration 4422: 5022.43 sec so far
Iteration 4427: 5027.67 sec so far
Iteration 4432: 5033.26 sec so far
Iteration 4437: 5038.64 sec so far
Iteration 4442: 5044.20 sec so far
Iteration 4447: 5049.93 sec so far
Iteration 4452: 5055.53 sec so far
Iteration 4457: 5061.17 sec so far
Iteration 4462: 5066.41 sec so far
Iteration 4467: 5071.65 sec so far
Iteration 4472: 5076.88 sec so far
Iteration 4477: 5082.10 sec so far
Iteration 4482: 5087.48 sec so far
Iteration 4487: 5092.75 sec so far
Iteration 4492: 5098.43 sec so far
Iteration 4497: 5103.81 sec so far
Iteration 4502: 5109.13 sec so far
Iteration 4507: 5115.14 sec so far
Iteration 4512: 5120.74 sec so far
Iteration 4517: 5126.21 sec so far
Iteration 4522: 5131.43 sec so far
Iteration 4527: 5136.64 sec so far
Iteration 4532: 5141.86 sec so far
Iteration 4537: 5147.09 sec so far
Iteration 4542: 5152.40 sec so far
Iteration 4547: 5157.70 sec so far
Iteration 4552: 5162.90 sec so far
Iteration 4557: 5168.56 sec so far
Iteration 4562: 5173.96 sec so far
Iteration 4567: 5179.24 sec so far
Iteration 4572: 5184.81 sec so far
Iteration 4577: 5190.86 sec so far
Iteration 4582: 5196.41 sec so far
Iteration 4587: 5201.62 sec so far
Iteration 4592: 5206.85 sec so far
Iteration 4597: 5212.08 sec so far
Iteration 4602: 5217.39 sec so far
Iteration 4607: 5222.73 sec so far
Iteration 4612: 5227.96 sec so far
Iteration 4617: 5233.40 sec so far
Iteration 4622: 5239.06 sec so far
Iteration 4627: 5244.44 sec so far
Iteration 4632: 5250.07 sec so far
Iteration 4637: 5255.81 sec so far
Iteration 4642: 5261.47 sec so far
Iteration 4647: 5266.71 sec so far
Iteration 4652: 5271.92 sec so far
Iteration 4657: 5277.13 sec so far
Iteration 4662: 5282.35 sec so far
Iteration 4667: 5287.77 sec so far
Iteration 4672: 5292.99 sec so far
Iteration 4677: 5298.20 sec so far
Iteration 4682: 5303.59 sec so far
Iteration 4687: 5309.25 sec so far
Iteration 4692: 5314.65 sec so far
Iteration 4697: 5320.23 sec so far
Iteration 4702: 5325.88 sec so far
Iteration 4707: 5331.76 sec so far
Iteration 4712: 5336.97 sec so far
Iteration 4717: 5342.19 sec so far
Iteration 4722: 5347.42 sec so far
Iteration 4727: 5352.83 sec so far
Iteration 4732: 5358.04 sec so far
Iteration 4737: 5363.26 sec so far
Iteration 4742: 5368.74 sec so far
Iteration 4747: 5374.24 sec so far
Iteration 4752: 5379.79 sec so far
Iteration 4757: 5385.43 sec so far
Iteration 4762: 5391.05 sec so far
Iteration 4767: 5396.67 sec so far
Iteration 4772: 5402.00 sec so far
Iteration 4777: 5407.22 sec so far
Iteration 4782: 5412.42 sec so far
Iteration 4787: 5417.78 sec so far
Iteration 4792: 5423.06 sec so far
Iteration 4797: 5428.28 sec so far
Iteration 4802: 5433.50 sec so far
Iteration 4807: 5439.00 sec so far
Iteration 4812: 5444.49 sec so far
Iteration 4817: 5449.89 sec so far
Iteration 4822: 5455.68 sec so far
Iteration 4827: 5461.32 sec so far
Iteration 4832: 5466.95 sec so far
Iteration 4837: 5472.29 sec so far
Iteration 4842: 5477.51 sec so far
Iteration 4847: 5482.80 sec so far
Iteration 4852: 5488.26 sec so far
Iteration 4857: 5493.60 sec so far
Iteration 4862: 5498.92 sec so far
Iteration 4867: 5504.68 sec so far
Iteration 4872: 5510.06 sec so far
Iteration 4877: 5515.41 sec so far
Value iteration (with Jacobi) took 4880 iterations, 172060835840 multiplications and 5519.021 seconds.
Probabilistic reachability took 5531.091 seconds.
Value in the initial state: 0.5386630172446859
Time for model checking: 5535.058 seconds.
Result: 0.5386630172446859 (+/- 5.381002200973655E-6 estimated; rel err 9.989551962371593E-6)
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-prism_check_ex_polling.18-16_rep4.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism %indir/property.props
Wallclock time: 6997.551 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 09:39:38 GMT+02:00 2026
Hostname: r23m0202.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4966412/tmpbij2mkgnprism_from-prism_check_ex_polling.18-16_tmp_indir_/model.prism /w0/tmp/slurm_tq429871.4966412/tmpbij2mkgnprism_from-prism_check_ex_polling.18-16_tmp_indir_/property.props
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4966412/tmpbij2mkgnprism_from-prism_check_ex_polling.18-16_tmp_indir_/model.prism"...
Type: CTMC
Modules: server station1 station2 station3 station4 station5 station6 station7 station8 station9 station10 station11 station12 station13 station14 station15 station16 station17 station18
Actions: [] [loop1a] [loop1b] [serve1] [loop2a] [loop2b] [serve2] [loop3a] [loop3b] [serve3] [loop4a] [loop4b] [serve4] [loop5a] [loop5b] [serve5] [loop6a] [loop6b] [serve6] [loop7a] [loop7b] [serve7] [loop8a] [loop8b] [serve8] [loop9a] [loop9b] [serve9] [loop10a] [loop10b] [serve10] [loop11a] [loop11b] [serve11] [loop12a] [loop12b] [serve12] [loop13a] [loop13b] [serve13] [loop14a] [loop14b] [serve14] [loop15a] [loop15b] [serve15] [loop16a] [loop16b] [serve16] [loop17a] [loop17b] [serve17] [loop18a] [loop18b] [serve18]
Variables: s a s1 s2 s3 s4 s5 s6 s7 s8 s9 s10 s11 s12 s13 s14 s15 s16 s17 s18
Labels: "serve_s2" "serve_s1"
Parsing properties file "/w0/tmp/slurm_tq429871.4966412/tmpbij2mkgnprism_from-prism_check_ex_polling.18-16_tmp_indir_/property.props"...
1 property:
(1) "s1_before_s2": P=? [ !"serve_s2" U "serve_s1" ]
---------------------------------------------------------------------
Model checking: "s1_before_s2": P=? [ !"serve_s2" U "serve_s1" ]
Building model (engine:explicit)...
Computing reachable states... 166551 358689 565743 749677 947771 1157285 1333431 1535889 1726149 1912973 2103263 2313626 2486988 2675525 2860631 3048664 3229708 3399155 3583369 3736080 3903809 4060278 4237852 4383111 4547651 4723520 4872431 5048640 5194552 5361634 5546058 5718085 5907289 6098704 6291036 6506275 6688234 6905757 7077888 states
Reachable states exploration and model construction done in 116.582 secs.
Sorting reachable states list...
Time for model construction: 123.649 seconds.
Type: CTMC
States: 7077888 (1 initial)
Transitions: 69599232
Building embedded DTMC...
Starting probabilistic reachability...
Calculating predecessor relation for discrete-time Markov chain... done (8.037 seconds)
Starting Prob0...
Prob0 took 3.242 seconds.
Starting Prob1...
Prob1 took 4.313 seconds.
target=131072, yes=3407872, no=262144, maybe=3407872
Starting value iteration (with Jacobi)...
Iteration 4: 5.76 sec so far
Iteration 8: 11.67 sec so far
Iteration 12: 17.53 sec so far
Iteration 16: 22.91 sec so far
Iteration 20: 27.95 sec so far
Iteration 24: 33.25 sec so far
Iteration 28: 38.29 sec so far
Iteration 32: 43.30 sec so far
Iteration 37: 49.52 sec so far
Iteration 41: 55.45 sec so far
Iteration 45: 61.64 sec so far
Iteration 49: 67.16 sec so far
Iteration 53: 72.39 sec so far
Iteration 57: 77.95 sec so far
Iteration 61: 83.83 sec so far
Iteration 65: 89.38 sec so far
Iteration 70: 95.50 sec so far
Iteration 75: 101.72 sec so far
Iteration 80: 107.92 sec so far
Iteration 85: 113.98 sec so far
Iteration 89: 119.13 sec so far
Iteration 93: 124.70 sec so far
Iteration 97: 129.98 sec so far
Iteration 101: 135.59 sec so far
Iteration 105: 141.15 sec so far
Iteration 109: 147.55 sec so far
Iteration 113: 153.92 sec so far
Iteration 117: 159.19 sec so far
Iteration 122: 165.26 sec so far
Iteration 127: 171.48 sec so far
Iteration 132: 177.67 sec so far
Iteration 137: 183.82 sec so far
Iteration 141: 189.03 sec so far
Iteration 145: 194.37 sec so far
Iteration 149: 199.88 sec so far
Iteration 153: 205.22 sec so far
Iteration 157: 211.35 sec so far
Iteration 161: 217.15 sec so far
Iteration 165: 223.66 sec so far
Iteration 169: 229.18 sec so far
Iteration 174: 235.23 sec so far
Iteration 178: 240.24 sec so far
Iteration 183: 246.46 sec so far
Iteration 188: 252.62 sec so far
Iteration 192: 257.72 sec so far
Iteration 196: 262.99 sec so far
Iteration 200: 269.11 sec so far
Iteration 204: 275.26 sec so far
Iteration 208: 281.46 sec so far
Iteration 212: 286.56 sec so far
Iteration 216: 292.09 sec so far
Iteration 220: 297.81 sec so far
Iteration 224: 302.94 sec so far
Iteration 229: 309.09 sec so far
Iteration 233: 314.12 sec so far
Iteration 238: 320.29 sec so far
Iteration 242: 325.35 sec so far
Iteration 246: 330.65 sec so far
Iteration 250: 336.50 sec so far
Iteration 254: 342.87 sec so far
Iteration 258: 349.06 sec so far
Iteration 262: 354.33 sec so far
Iteration 266: 359.74 sec so far
Iteration 270: 365.54 sec so far
Iteration 274: 370.79 sec so far
Iteration 279: 376.83 sec so far
Iteration 283: 381.98 sec so far
Iteration 288: 388.13 sec so far
Iteration 293: 394.75 sec so far
Iteration 297: 400.30 sec so far
Iteration 301: 406.56 sec so far
Iteration 305: 412.05 sec so far
Iteration 309: 417.34 sec so far
Iteration 313: 422.47 sec so far
Iteration 317: 428.08 sec so far
Iteration 321: 434.01 sec so far
Iteration 325: 439.27 sec so far
Iteration 329: 444.41 sec so far
Iteration 333: 449.68 sec so far
Iteration 337: 454.95 sec so far
Iteration 341: 460.36 sec so far
Iteration 345: 466.74 sec so far
Iteration 349: 472.00 sec so far
Iteration 353: 477.18 sec so far
Iteration 357: 482.35 sec so far
Iteration 361: 487.46 sec so far
Iteration 365: 493.50 sec so far
Iteration 369: 499.16 sec so far
Iteration 373: 504.24 sec so far
Iteration 377: 509.40 sec so far
Iteration 381: 514.56 sec so far
Iteration 385: 519.74 sec so far
Iteration 389: 525.01 sec so far
Iteration 393: 531.08 sec so far
Iteration 397: 537.11 sec so far
Iteration 401: 542.32 sec so far
Iteration 405: 547.39 sec so far
Iteration 409: 552.99 sec so far
Iteration 413: 558.90 sec so far
Iteration 417: 564.03 sec so far
Iteration 421: 569.12 sec so far
Iteration 425: 574.30 sec so far
Iteration 429: 579.89 sec so far
Iteration 433: 585.50 sec so far
Iteration 437: 591.51 sec so far
Iteration 441: 597.37 sec so far
Iteration 445: 602.39 sec so far
Iteration 450: 608.67 sec so far
Iteration 454: 614.35 sec so far
Iteration 458: 620.06 sec so far
Iteration 462: 625.23 sec so far
Iteration 466: 630.39 sec so far
Iteration 470: 635.57 sec so far
Iteration 474: 640.64 sec so far
Iteration 478: 646.21 sec so far
Iteration 482: 651.97 sec so far
Iteration 486: 657.79 sec so far
Iteration 490: 663.65 sec so far
Iteration 494: 669.24 sec so far
Iteration 498: 675.02 sec so far
Iteration 502: 680.14 sec so far
Iteration 506: 685.24 sec so far
Iteration 510: 690.40 sec so far
Iteration 514: 695.54 sec so far
Iteration 518: 700.60 sec so far
Iteration 522: 706.42 sec so far
Iteration 526: 712.43 sec so far
Iteration 530: 718.51 sec so far
Iteration 534: 724.65 sec so far
Iteration 538: 730.44 sec so far
Iteration 542: 735.66 sec so far
Iteration 547: 741.81 sec so far
Iteration 552: 748.06 sec so far
Iteration 556: 753.13 sec so far
Iteration 560: 758.16 sec so far
Iteration 564: 763.50 sec so far
Iteration 568: 768.89 sec so far
Iteration 572: 774.23 sec so far
Iteration 576: 780.37 sec so far
Iteration 579: 785.58 sec so far
Iteration 583: 791.78 sec so far
Iteration 587: 797.04 sec so far
Iteration 592: 803.22 sec so far
Iteration 597: 809.34 sec so far
Iteration 601: 814.37 sec so far
Iteration 605: 819.51 sec so far
Iteration 609: 824.92 sec so far
Iteration 613: 830.11 sec so far
Iteration 617: 836.39 sec so far
Iteration 621: 842.70 sec so far
Iteration 625: 848.69 sec so far
Iteration 629: 854.61 sec so far
Iteration 633: 859.68 sec so far
Iteration 638: 865.78 sec so far
Iteration 642: 870.95 sec so far
Iteration 646: 876.11 sec so far
Iteration 651: 882.27 sec so far
Iteration 655: 888.10 sec so far
Iteration 659: 893.89 sec so far
Iteration 663: 898.95 sec so far
Iteration 667: 904.67 sec so far
Iteration 671: 910.26 sec so far
Iteration 675: 916.18 sec so far
Iteration 679: 922.58 sec so far
Iteration 683: 927.82 sec so far
Iteration 688: 934.22 sec so far
Iteration 692: 939.98 sec so far
Iteration 696: 945.28 sec so far
Iteration 701: 951.35 sec so far
Iteration 705: 956.51 sec so far
Iteration 709: 961.84 sec so far
Iteration 713: 967.44 sec so far
Iteration 717: 973.48 sec so far
Iteration 721: 979.86 sec so far
Iteration 725: 986.08 sec so far
Iteration 729: 991.90 sec so far
Iteration 733: 996.97 sec so far
Iteration 738: 1003.08 sec so far
Iteration 743: 1009.24 sec so far
Iteration 747: 1014.30 sec so far
Iteration 751: 1019.42 sec so far
Iteration 755: 1024.63 sec so far
Iteration 759: 1030.37 sec so far
Iteration 763: 1036.63 sec so far
Iteration 767: 1042.82 sec so far
Iteration 771: 1048.84 sec so far
Iteration 775: 1053.99 sec so far
Iteration 779: 1059.04 sec so far
Iteration 783: 1064.36 sec so far
Iteration 787: 1069.74 sec so far
Iteration 791: 1075.06 sec so far
Iteration 795: 1080.96 sec so far
Iteration 799: 1086.60 sec so far
Iteration 803: 1092.08 sec so far
Iteration 807: 1097.64 sec so far
Iteration 811: 1103.40 sec so far
Iteration 815: 1109.19 sec so far
Iteration 819: 1114.56 sec so far
Iteration 823: 1119.69 sec so far
Iteration 827: 1125.79 sec so far
Iteration 831: 1131.42 sec so far
Iteration 835: 1136.49 sec so far
Iteration 839: 1141.57 sec so far
Iteration 843: 1147.33 sec so far
Iteration 847: 1152.38 sec so far
Iteration 851: 1157.70 sec so far
Iteration 855: 1162.98 sec so far
Iteration 859: 1168.41 sec so far
Iteration 863: 1174.51 sec so far
Iteration 867: 1180.08 sec so far
Iteration 871: 1185.34 sec so far
Iteration 875: 1190.71 sec so far
Iteration 879: 1196.20 sec so far
Iteration 883: 1201.35 sec so far
Iteration 887: 1206.47 sec so far
Iteration 891: 1211.63 sec so far
Iteration 895: 1217.57 sec so far
Iteration 899: 1223.32 sec so far
Iteration 903: 1229.16 sec so far
Iteration 907: 1235.17 sec so far
Iteration 911: 1240.45 sec so far
Iteration 915: 1245.46 sec so far
Iteration 919: 1250.78 sec so far
Iteration 923: 1255.99 sec so far
Iteration 927: 1261.38 sec so far
Iteration 931: 1266.95 sec so far
Iteration 935: 1272.33 sec so far
Iteration 939: 1277.81 sec so far
Iteration 943: 1283.30 sec so far
Iteration 946: 1288.35 sec so far
Iteration 950: 1294.70 sec so far
Iteration 954: 1300.88 sec so far
Iteration 957: 1305.89 sec so far
Iteration 961: 1311.82 sec so far
Iteration 965: 1317.49 sec so far
Iteration 969: 1323.22 sec so far
Iteration 973: 1328.47 sec so far
Iteration 977: 1333.62 sec so far
Iteration 981: 1338.77 sec so far
Iteration 985: 1343.94 sec so far
Iteration 989: 1349.92 sec so far
Iteration 993: 1355.66 sec so far
Iteration 997: 1361.81 sec so far
Iteration 1001: 1367.42 sec so far
Iteration 1005: 1372.47 sec so far
Iteration 1009: 1377.66 sec so far
Iteration 1013: 1382.95 sec so far
Iteration 1017: 1388.21 sec so far
Iteration 1021: 1393.56 sec so far
Iteration 1025: 1398.79 sec so far
Iteration 1029: 1404.50 sec so far
Iteration 1033: 1410.01 sec so far
Iteration 1037: 1416.30 sec so far
Iteration 1041: 1422.85 sec so far
Iteration 1045: 1429.93 sec so far
Iteration 1049: 1435.79 sec so far
Iteration 1053: 1441.07 sec so far
Iteration 1057: 1446.58 sec so far
Iteration 1061: 1452.24 sec so far
Iteration 1065: 1457.63 sec so far
Iteration 1069: 1463.14 sec so far
Iteration 1073: 1468.52 sec so far
Iteration 1077: 1474.71 sec so far
Iteration 1080: 1479.91 sec so far
Iteration 1084: 1486.84 sec so far
Iteration 1088: 1492.97 sec so far
Iteration 1092: 1499.23 sec so far
Iteration 1096: 1504.80 sec so far
Iteration 1100: 1510.95 sec so far
Iteration 1104: 1516.79 sec so far
Iteration 1108: 1522.52 sec so far
Iteration 1112: 1527.85 sec so far
Iteration 1116: 1533.60 sec so far
Iteration 1119: 1538.77 sec so far
Iteration 1123: 1545.24 sec so far
Iteration 1126: 1550.88 sec so far
Iteration 1129: 1556.01 sec so far
Iteration 1133: 1562.33 sec so far
Iteration 1137: 1568.28 sec so far
Iteration 1141: 1574.07 sec so far
Iteration 1145: 1579.72 sec so far
Iteration 1149: 1585.39 sec so far
Iteration 1153: 1590.94 sec so far
Iteration 1157: 1596.46 sec so far
Iteration 1161: 1601.86 sec so far
Iteration 1164: 1606.90 sec so far
Iteration 1168: 1612.62 sec so far
Iteration 1171: 1617.74 sec so far
Iteration 1175: 1624.04 sec so far
Iteration 1179: 1629.79 sec so far
Iteration 1183: 1635.30 sec so far
Iteration 1187: 1640.79 sec so far
Iteration 1191: 1646.35 sec so far
Iteration 1195: 1652.11 sec so far
Iteration 1199: 1657.40 sec so far
Iteration 1203: 1663.13 sec so far
Iteration 1207: 1669.35 sec so far
Iteration 1211: 1675.75 sec so far
Iteration 1215: 1682.01 sec so far
Iteration 1219: 1688.33 sec so far
Iteration 1223: 1694.11 sec so far
Iteration 1227: 1699.80 sec so far
Iteration 1231: 1705.38 sec so far
Iteration 1235: 1711.29 sec so far
Iteration 1239: 1716.81 sec so far
Iteration 1243: 1722.24 sec so far
Iteration 1247: 1727.97 sec so far
Iteration 1251: 1733.83 sec so far
Iteration 1255: 1740.11 sec so far
Iteration 1259: 1745.84 sec so far
Iteration 1263: 1752.12 sec so far
Iteration 1267: 1758.78 sec so far
Iteration 1271: 1764.24 sec so far
Iteration 1275: 1769.67 sec so far
Iteration 1279: 1775.15 sec so far
Iteration 1283: 1780.93 sec so far
Iteration 1287: 1786.59 sec so far
Iteration 1291: 1792.86 sec so far
Iteration 1295: 1799.00 sec so far
Iteration 1298: 1804.07 sec so far
Iteration 1302: 1810.34 sec so far
Iteration 1305: 1815.78 sec so far
Iteration 1309: 1821.19 sec so far
Iteration 1313: 1826.78 sec so far
Iteration 1317: 1832.45 sec so far
Iteration 1321: 1837.83 sec so far
Iteration 1325: 1843.53 sec so far
Iteration 1329: 1849.01 sec so far
Iteration 1333: 1854.56 sec so far
Iteration 1337: 1860.50 sec so far
Iteration 1341: 1866.96 sec so far
Iteration 1345: 1873.11 sec so far
Iteration 1349: 1879.56 sec so far
Iteration 1352: 1884.65 sec so far
Iteration 1356: 1890.77 sec so far
Iteration 1360: 1896.22 sec so far
Iteration 1364: 1901.59 sec so far
Iteration 1368: 1907.15 sec so far
Iteration 1372: 1912.65 sec so far
Iteration 1376: 1918.32 sec so far
Iteration 1380: 1924.64 sec so far
Iteration 1384: 1931.14 sec so far
Iteration 1388: 1937.58 sec so far
Iteration 1391: 1942.94 sec so far
Iteration 1395: 1948.89 sec so far
Iteration 1399: 1954.58 sec so far
Iteration 1403: 1960.13 sec so far
Iteration 1407: 1965.45 sec so far
Iteration 1411: 1971.06 sec so far
Iteration 1415: 1976.51 sec so far
Iteration 1419: 1981.97 sec so far
Iteration 1423: 1987.43 sec so far
Iteration 1427: 1993.81 sec so far
Iteration 1430: 1998.83 sec so far
Iteration 1434: 2004.90 sec so far
Iteration 1437: 2009.98 sec so far
Iteration 1441: 2016.28 sec so far
Iteration 1445: 2022.08 sec so far
Iteration 1449: 2027.86 sec so far
Iteration 1453: 2033.28 sec so far
Iteration 1457: 2038.68 sec so far
Iteration 1461: 2044.07 sec so far
Iteration 1465: 2049.60 sec so far
Iteration 1469: 2055.53 sec so far
Iteration 1473: 2062.29 sec so far
Iteration 1477: 2068.41 sec so far
Iteration 1481: 2075.34 sec so far
Iteration 1485: 2081.52 sec so far
Iteration 1489: 2087.47 sec so far
Iteration 1493: 2093.17 sec so far
Iteration 1497: 2098.87 sec so far
Iteration 1501: 2104.69 sec so far
Iteration 1505: 2110.20 sec so far
Iteration 1509: 2115.58 sec so far
Iteration 1513: 2121.54 sec so far
Iteration 1517: 2127.48 sec so far
Iteration 1521: 2133.88 sec so far
Iteration 1525: 2140.41 sec so far
Iteration 1528: 2145.76 sec so far
Iteration 1532: 2151.84 sec so far
Iteration 1536: 2157.43 sec so far
Iteration 1540: 2163.29 sec so far
Iteration 1544: 2169.11 sec so far
Iteration 1548: 2174.77 sec so far
Iteration 1552: 2180.36 sec so far
Iteration 1556: 2186.09 sec so far
Iteration 1560: 2192.70 sec so far
Iteration 1564: 2198.59 sec so far
Iteration 1568: 2205.49 sec so far
Iteration 1571: 2210.69 sec so far
Iteration 1575: 2216.56 sec so far
Iteration 1579: 2222.37 sec so far
Iteration 1583: 2228.27 sec so far
Iteration 1587: 2234.06 sec so far
Iteration 1591: 2239.76 sec so far
Iteration 1595: 2245.30 sec so far
Iteration 1599: 2251.10 sec so far
Iteration 1603: 2256.83 sec so far
Iteration 1607: 2263.59 sec so far
Iteration 1611: 2269.52 sec so far
Iteration 1615: 2276.48 sec so far
Iteration 1619: 2282.85 sec so far
Iteration 1623: 2288.73 sec so far
Iteration 1627: 2294.53 sec so far
Iteration 1631: 2300.55 sec so far
Iteration 1635: 2306.35 sec so far
Iteration 1639: 2312.00 sec so far
Iteration 1643: 2318.12 sec so far
Iteration 1647: 2323.97 sec so far
Iteration 1651: 2330.34 sec so far
Iteration 1655: 2336.44 sec so far
Iteration 1659: 2343.38 sec so far
Iteration 1663: 2349.18 sec so far
Iteration 1667: 2354.85 sec so far
Iteration 1671: 2360.84 sec so far
Iteration 1675: 2366.84 sec so far
Iteration 1679: 2372.47 sec so far
Iteration 1683: 2377.98 sec so far
Iteration 1687: 2383.61 sec so far
Iteration 1691: 2389.64 sec so far
Iteration 1695: 2395.31 sec so far
Iteration 1699: 2401.99 sec so far
Iteration 1703: 2408.06 sec so far
Iteration 1707: 2414.22 sec so far
Iteration 1711: 2420.19 sec so far
Iteration 1715: 2425.80 sec so far
Iteration 1719: 2431.90 sec so far
Iteration 1723: 2437.57 sec so far
Iteration 1727: 2443.41 sec so far
Iteration 1731: 2449.48 sec so far
Iteration 1735: 2455.74 sec so far
Iteration 1738: 2460.81 sec so far
Iteration 1742: 2467.47 sec so far
Iteration 1746: 2473.47 sec so far
Iteration 1750: 2479.56 sec so far
Iteration 1754: 2485.24 sec so far
Iteration 1758: 2490.73 sec so far
Iteration 1762: 2496.44 sec so far
Iteration 1766: 2502.07 sec so far
Iteration 1770: 2507.79 sec so far
Iteration 1774: 2513.62 sec so far
Iteration 1778: 2519.62 sec so far
Iteration 1782: 2526.06 sec so far
Iteration 1786: 2532.45 sec so far
Iteration 1790: 2538.57 sec so far
Iteration 1794: 2545.63 sec so far
Iteration 1798: 2551.32 sec so far
Iteration 1802: 2557.18 sec so far
Iteration 1806: 2562.70 sec so far
Iteration 1810: 2568.32 sec so far
Iteration 1814: 2574.06 sec so far
Iteration 1818: 2579.98 sec so far
Iteration 1822: 2585.64 sec so far
Iteration 1825: 2590.65 sec so far
Iteration 1828: 2595.71 sec so far
Iteration 1832: 2602.51 sec so far
Iteration 1835: 2607.63 sec so far
Iteration 1839: 2613.52 sec so far
Iteration 1843: 2618.98 sec so far
Iteration 1847: 2624.56 sec so far
Iteration 1851: 2630.18 sec so far
Iteration 1855: 2635.60 sec so far
Iteration 1859: 2641.20 sec so far
Iteration 1863: 2646.79 sec so far
Iteration 1867: 2652.45 sec so far
Iteration 1871: 2658.62 sec so far
Iteration 1875: 2664.86 sec so far
Iteration 1879: 2671.38 sec so far
Iteration 1882: 2676.50 sec so far
Iteration 1886: 2682.62 sec so far
Iteration 1890: 2688.63 sec so far
Iteration 1894: 2694.11 sec so far
Iteration 1898: 2699.66 sec so far
Iteration 1902: 2705.29 sec so far
Iteration 1906: 2710.95 sec so far
Iteration 1910: 2716.70 sec so far
Iteration 1914: 2722.70 sec so far
Iteration 1918: 2729.07 sec so far
Iteration 1921: 2734.09 sec so far
Iteration 1925: 2740.30 sec so far
Iteration 1929: 2747.40 sec so far
Iteration 1933: 2753.13 sec so far
Iteration 1937: 2758.64 sec so far
Iteration 1941: 2764.08 sec so far
Iteration 1945: 2769.63 sec so far
Iteration 1949: 2775.12 sec so far
Iteration 1953: 2780.78 sec so far
Iteration 1957: 2786.67 sec so far
Iteration 1961: 2792.57 sec so far
Iteration 1965: 2798.32 sec so far
Iteration 1969: 2805.09 sec so far
Iteration 1973: 2811.44 sec so far
Iteration 1977: 2817.68 sec so far
Iteration 1981: 2824.50 sec so far
Iteration 1985: 2829.95 sec so far
Iteration 1989: 2835.59 sec so far
Iteration 1993: 2841.12 sec so far
Iteration 1997: 2846.86 sec so far
Iteration 2001: 2852.56 sec so far
Iteration 2005: 2858.52 sec so far
Iteration 2009: 2864.65 sec so far
Iteration 2013: 2871.23 sec so far
Iteration 2017: 2877.90 sec so far
Iteration 2020: 2883.01 sec so far
Iteration 2024: 2889.19 sec so far
Iteration 2028: 2894.70 sec so far
Iteration 2032: 2900.17 sec so far
Iteration 2036: 2905.68 sec so far
Iteration 2040: 2911.34 sec so far
Iteration 2044: 2916.94 sec so far
Iteration 2048: 2922.65 sec so far
Iteration 2052: 2928.53 sec so far
Iteration 2056: 2934.43 sec so far
Iteration 2060: 2941.20 sec so far
Iteration 2064: 2947.21 sec so far
Iteration 2068: 2953.60 sec so far
Iteration 2072: 2960.51 sec so far
Iteration 2076: 2966.15 sec so far
Iteration 2080: 2971.76 sec so far
Iteration 2084: 2977.34 sec so far
Iteration 2088: 2982.90 sec so far
Iteration 2092: 2988.52 sec so far
Iteration 2096: 2994.11 sec so far
Iteration 2100: 3000.08 sec so far
Iteration 2104: 3006.41 sec so far
Iteration 2108: 3012.81 sec so far
Iteration 2112: 3019.82 sec so far
Iteration 2116: 3026.15 sec so far
Iteration 2120: 3031.67 sec so far
Iteration 2124: 3037.24 sec so far
Iteration 2128: 3042.68 sec so far
Iteration 2132: 3048.05 sec so far
Iteration 2136: 3053.38 sec so far
Iteration 2140: 3058.60 sec so far
Iteration 2144: 3063.94 sec so far
Iteration 2148: 3069.30 sec so far
Iteration 2152: 3075.13 sec so far
Iteration 2156: 3081.34 sec so far
Iteration 2160: 3087.09 sec so far
Iteration 2164: 3093.28 sec so far
Iteration 2168: 3099.25 sec so far
Iteration 2173: 3105.56 sec so far
Iteration 2177: 3111.06 sec so far
Iteration 2181: 3116.08 sec so far
Iteration 2186: 3122.33 sec so far
Iteration 2191: 3128.55 sec so far
Iteration 2196: 3134.78 sec so far
Iteration 2200: 3140.33 sec so far
Iteration 2204: 3146.06 sec so far
Iteration 2208: 3151.70 sec so far
Iteration 2212: 3157.89 sec so far
Iteration 2216: 3163.96 sec so far
Iteration 2220: 3169.16 sec so far
Iteration 2224: 3174.56 sec so far
Iteration 2228: 3179.84 sec so far
Iteration 2232: 3185.00 sec so far
Iteration 2237: 3191.17 sec so far
Iteration 2242: 3197.42 sec so far
Iteration 2247: 3203.67 sec so far
Iteration 2251: 3209.19 sec so far
Iteration 2255: 3215.34 sec so far
Iteration 2259: 3221.36 sec so far
Iteration 2263: 3227.20 sec so far
Iteration 2267: 3234.04 sec so far
Iteration 2271: 3239.62 sec so far
Iteration 2275: 3244.91 sec so far
Iteration 2279: 3250.15 sec so far
Iteration 2283: 3255.21 sec so far
Iteration 2287: 3260.37 sec so far
Iteration 2291: 3265.49 sec so far
Iteration 2295: 3270.68 sec so far
Iteration 2299: 3276.28 sec so far
Iteration 2303: 3282.39 sec so far
Iteration 2307: 3288.12 sec so far
Iteration 2311: 3294.31 sec so far
Iteration 2314: 3299.33 sec so far
Iteration 2318: 3304.98 sec so far
Iteration 2322: 3310.42 sec so far
Iteration 2326: 3315.76 sec so far
Iteration 2330: 3320.99 sec so far
Iteration 2334: 3326.19 sec so far
Iteration 2338: 3331.43 sec so far
Iteration 2342: 3336.74 sec so far
Iteration 2346: 3342.00 sec so far
Iteration 2350: 3347.49 sec so far
Iteration 2354: 3353.49 sec so far
Iteration 2358: 3359.79 sec so far
Iteration 2362: 3366.42 sec so far
Iteration 2366: 3372.93 sec so far
Iteration 2370: 3378.64 sec so far
Iteration 2374: 3384.09 sec so far
Iteration 2378: 3389.53 sec so far
Iteration 2382: 3394.82 sec so far
Iteration 2386: 3400.36 sec so far
Iteration 2390: 3405.97 sec so far
Iteration 2394: 3411.47 sec so far
Iteration 2398: 3417.64 sec so far
Iteration 2402: 3424.31 sec so far
Iteration 2406: 3430.42 sec so far
Iteration 2409: 3435.51 sec so far
Iteration 2412: 3440.51 sec so far
Iteration 2416: 3446.29 sec so far
Iteration 2420: 3452.22 sec so far
Iteration 2424: 3458.01 sec so far
Iteration 2428: 3463.61 sec so far
Iteration 2432: 3468.95 sec so far
Iteration 2436: 3474.55 sec so far
Iteration 2440: 3480.12 sec so far
Iteration 2444: 3485.73 sec so far
Iteration 2448: 3491.89 sec so far
Iteration 2452: 3498.34 sec so far
Iteration 2456: 3504.57 sec so far
Iteration 2459: 3509.94 sec so far
Iteration 2463: 3516.19 sec so far
Iteration 2467: 3522.24 sec so far
Iteration 2471: 3528.18 sec so far
Iteration 2475: 3533.90 sec so far
Iteration 2479: 3539.84 sec so far
Iteration 2483: 3545.39 sec so far
Iteration 2487: 3550.84 sec so far
Iteration 2491: 3557.09 sec so far
Iteration 2495: 3563.51 sec so far
Iteration 2499: 3569.99 sec so far
Iteration 2503: 3576.11 sec so far
Iteration 2507: 3581.84 sec so far
Iteration 2511: 3587.43 sec so far
Iteration 2515: 3593.16 sec so far
Iteration 2519: 3598.82 sec so far
Iteration 2523: 3604.33 sec so far
Iteration 2527: 3609.99 sec so far
Iteration 2531: 3615.41 sec so far
Iteration 2535: 3620.67 sec so far
Iteration 2539: 3626.11 sec so far
Iteration 2543: 3632.00 sec so far
Iteration 2547: 3638.23 sec so far
Iteration 2551: 3644.09 sec so far
Iteration 2554: 3649.16 sec so far
Iteration 2558: 3654.94 sec so far
Iteration 2562: 3660.26 sec so far
Iteration 2566: 3665.62 sec so far
Iteration 2570: 3671.05 sec so far
Iteration 2574: 3676.39 sec so far
Iteration 2578: 3681.56 sec so far
Iteration 2582: 3686.57 sec so far
Iteration 2586: 3691.97 sec so far
Iteration 2590: 3697.57 sec so far
Iteration 2594: 3703.16 sec so far
Iteration 2598: 3709.04 sec so far
Iteration 2602: 3715.63 sec so far
Iteration 2606: 3721.08 sec so far
Iteration 2610: 3726.45 sec so far
Iteration 2614: 3731.82 sec so far
Iteration 2618: 3737.22 sec so far
Iteration 2622: 3742.56 sec so far
Iteration 2626: 3748.02 sec so far
Iteration 2630: 3753.14 sec so far
Iteration 2634: 3758.33 sec so far
Iteration 2637: 3763.43 sec so far
Iteration 2641: 3770.15 sec so far
Iteration 2645: 3775.85 sec so far
Iteration 2649: 3781.88 sec so far
Iteration 2653: 3787.94 sec so far
Iteration 2657: 3794.37 sec so far
Iteration 2661: 3799.83 sec so far
Iteration 2665: 3805.27 sec so far
Iteration 2669: 3810.70 sec so far
Iteration 2673: 3816.24 sec so far
Iteration 2677: 3821.55 sec so far
Iteration 2681: 3826.87 sec so far
Iteration 2685: 3832.59 sec so far
Iteration 2689: 3838.80 sec so far
Iteration 2693: 3844.77 sec so far
Iteration 2696: 3849.92 sec so far
Iteration 2699: 3855.12 sec so far
Iteration 2702: 3860.68 sec so far
Iteration 2706: 3866.54 sec so far
Iteration 2710: 3872.49 sec so far
Iteration 2714: 3878.02 sec so far
Iteration 2718: 3884.49 sec so far
Iteration 2721: 3889.58 sec so far
Iteration 2725: 3895.48 sec so far
Iteration 2729: 3901.14 sec so far
Iteration 2733: 3906.75 sec so far
Iteration 2737: 3912.79 sec so far
Iteration 2740: 3918.59 sec so far
Iteration 2743: 3924.21 sec so far
Iteration 2746: 3929.38 sec so far
Iteration 2750: 3936.01 sec so far
Iteration 2754: 3941.88 sec so far
Iteration 2757: 3947.02 sec so far
Iteration 2760: 3952.34 sec so far
Iteration 2764: 3958.05 sec so far
Iteration 2768: 3963.73 sec so far
Iteration 2772: 3969.31 sec so far
Iteration 2776: 3975.40 sec so far
Iteration 2779: 3981.09 sec so far
Iteration 2782: 3986.40 sec so far
Iteration 2786: 3992.54 sec so far
Iteration 2789: 3997.72 sec so far
Iteration 2793: 4004.55 sec so far
Iteration 2796: 4009.68 sec so far
Iteration 2800: 4015.72 sec so far
Iteration 2804: 4021.00 sec so far
Iteration 2808: 4026.14 sec so far
Iteration 2812: 4031.83 sec so far
Iteration 2816: 4037.97 sec so far
Iteration 2820: 4044.23 sec so far
Iteration 2824: 4050.03 sec so far
Iteration 2828: 4056.09 sec so far
Iteration 2832: 4061.86 sec so far
Iteration 2836: 4067.76 sec so far
Iteration 2839: 4073.25 sec so far
Iteration 2843: 4078.87 sec so far
Iteration 2848: 4085.00 sec so far
Iteration 2852: 4090.54 sec so far
Iteration 2856: 4095.59 sec so far
Iteration 2861: 4101.52 sec so far
Iteration 2866: 4107.52 sec so far
Iteration 2870: 4112.63 sec so far
Iteration 2874: 4117.91 sec so far
Iteration 2878: 4123.26 sec so far
Iteration 2882: 4128.52 sec so far
Iteration 2886: 4134.11 sec so far
Iteration 2890: 4139.65 sec so far
Iteration 2894: 4144.70 sec so far
Iteration 2898: 4149.76 sec so far
Iteration 2902: 4154.81 sec so far
Iteration 2906: 4159.92 sec so far
Iteration 2910: 4165.11 sec so far
Iteration 2914: 4170.21 sec so far
Iteration 2918: 4175.25 sec so far
Iteration 2923: 4181.48 sec so far
Iteration 2927: 4186.55 sec so far
Iteration 2931: 4191.92 sec so far
Iteration 2935: 4197.34 sec so far
Iteration 2939: 4202.94 sec so far
Iteration 2943: 4208.45 sec so far
Iteration 2947: 4213.95 sec so far
Iteration 2951: 4219.25 sec so far
Iteration 2955: 4224.52 sec so far
Iteration 2959: 4229.68 sec so far
Iteration 2963: 4234.84 sec so far
Iteration 2967: 4240.06 sec so far
Iteration 2971: 4245.34 sec so far
Iteration 2975: 4250.57 sec so far
Iteration 2979: 4256.12 sec so far
Iteration 2983: 4261.74 sec so far
Iteration 2987: 4267.36 sec so far
Iteration 2991: 4273.21 sec so far
Iteration 2995: 4278.90 sec so far
Iteration 2999: 4284.30 sec so far
Iteration 3003: 4289.77 sec so far
Iteration 3007: 4295.17 sec so far
Iteration 3011: 4300.75 sec so far
Iteration 3015: 4306.23 sec so far
Iteration 3019: 4311.62 sec so far
Iteration 3023: 4316.96 sec so far
Iteration 3027: 4322.13 sec so far
Iteration 3031: 4328.13 sec so far
Iteration 3035: 4333.97 sec so far
Iteration 3039: 4339.76 sec so far
Iteration 3043: 4345.92 sec so far
Iteration 3047: 4352.24 sec so far
Iteration 3051: 4357.80 sec so far
Iteration 3055: 4363.29 sec so far
Iteration 3059: 4368.72 sec so far
Iteration 3063: 4374.32 sec so far
Iteration 3067: 4379.81 sec so far
Iteration 3071: 4385.30 sec so far
Iteration 3075: 4390.99 sec so far
Iteration 3079: 4396.96 sec so far
Iteration 3083: 4402.95 sec so far
Iteration 3087: 4409.27 sec so far
Iteration 3091: 4415.45 sec so far
Iteration 3095: 4421.46 sec so far
Iteration 3099: 4427.17 sec so far
Iteration 3103: 4432.66 sec so far
Iteration 3107: 4438.14 sec so far
Iteration 3111: 4443.84 sec so far
Iteration 3115: 4449.46 sec so far
Iteration 3119: 4454.88 sec so far
Iteration 3123: 4460.00 sec so far
Iteration 3127: 4465.52 sec so far
Iteration 3131: 4471.15 sec so far
Iteration 3135: 4476.74 sec so far
Iteration 3139: 4482.42 sec so far
Iteration 3143: 4488.30 sec so far
Iteration 3147: 4493.82 sec so far
Iteration 3151: 4499.26 sec so far
Iteration 3155: 4504.70 sec so far
Iteration 3159: 4509.99 sec so far
Iteration 3163: 4515.35 sec so far
Iteration 3167: 4520.69 sec so far
Iteration 3171: 4525.81 sec so far
Iteration 3175: 4530.92 sec so far
Iteration 3179: 4536.54 sec so far
Iteration 3183: 4542.33 sec so far
Iteration 3187: 4547.75 sec so far
Iteration 3191: 4553.30 sec so far
Iteration 3195: 4558.61 sec so far
Iteration 3199: 4563.73 sec so far
Iteration 3204: 4569.91 sec so far
Iteration 3209: 4576.06 sec so far
Iteration 3213: 4581.10 sec so far
Iteration 3217: 4586.25 sec so far
Iteration 3221: 4591.29 sec so far
Iteration 3226: 4597.26 sec so far
Iteration 3231: 4603.88 sec so far
Iteration 3235: 4609.34 sec so far
Iteration 3239: 4614.69 sec so far
Iteration 3243: 4620.19 sec so far
Iteration 3247: 4625.94 sec so far
Iteration 3251: 4631.24 sec so far
Iteration 3255: 4636.35 sec so far
Iteration 3259: 4641.43 sec so far
Iteration 3263: 4646.56 sec so far
Iteration 3267: 4651.69 sec so far
Iteration 3271: 4656.73 sec so far
Iteration 3276: 4662.82 sec so far
Iteration 3280: 4668.07 sec so far
Iteration 3284: 4673.53 sec so far
Iteration 3288: 4679.00 sec so far
Iteration 3292: 4684.58 sec so far
Iteration 3296: 4690.38 sec so far
Iteration 3300: 4696.29 sec so far
Iteration 3304: 4701.62 sec so far
Iteration 3308: 4706.81 sec so far
Iteration 3312: 4711.99 sec so far
Iteration 3316: 4717.30 sec so far
Iteration 3320: 4722.63 sec so far
Iteration 3324: 4727.91 sec so far
Iteration 3329: 4734.21 sec so far
Iteration 3333: 4739.41 sec so far
Iteration 3337: 4745.30 sec so far
Iteration 3341: 4751.15 sec so far
Iteration 3345: 4756.87 sec so far
Iteration 3349: 4763.04 sec so far
Iteration 3353: 4769.04 sec so far
Iteration 3357: 4774.81 sec so far
Iteration 3361: 4780.43 sec so far
Iteration 3365: 4785.90 sec so far
Iteration 3369: 4791.51 sec so far
Iteration 3373: 4797.08 sec so far
Iteration 3377: 4802.63 sec so far
Iteration 3381: 4808.05 sec so far
Iteration 3385: 4813.81 sec so far
Iteration 3389: 4819.62 sec so far
Iteration 3393: 4825.57 sec so far
Iteration 3397: 4831.73 sec so far
Iteration 3401: 4837.47 sec so far
Iteration 3405: 4842.72 sec so far
Iteration 3409: 4848.53 sec so far
Iteration 3413: 4854.21 sec so far
Iteration 3417: 4859.88 sec so far
Iteration 3421: 4865.66 sec so far
Iteration 3425: 4871.20 sec so far
Iteration 3429: 4876.70 sec so far
Iteration 3433: 4882.20 sec so far
Iteration 3437: 4887.49 sec so far
Iteration 3441: 4892.81 sec so far
Iteration 3445: 4898.44 sec so far
Iteration 3449: 4904.39 sec so far
Iteration 3453: 4910.04 sec so far
Iteration 3457: 4915.65 sec so far
Iteration 3461: 4922.00 sec so far
Iteration 3465: 4927.46 sec so far
Iteration 3469: 4932.60 sec so far
Iteration 3473: 4937.83 sec so far
Iteration 3477: 4943.13 sec so far
Iteration 3481: 4948.46 sec so far
Iteration 3485: 4953.86 sec so far
Iteration 3489: 4959.00 sec so far
Iteration 3493: 4964.40 sec so far
Iteration 3497: 4970.17 sec so far
Iteration 3501: 4975.50 sec so far
Iteration 3505: 4980.97 sec so far
Iteration 3508: 4986.08 sec so far
Iteration 3512: 4991.24 sec so far
Iteration 3516: 4996.27 sec so far
Iteration 3520: 5001.49 sec so far
Iteration 3524: 5006.51 sec so far
Iteration 3528: 5011.55 sec so far
Iteration 3532: 5016.55 sec so far
Iteration 3536: 5021.56 sec so far
Iteration 3541: 5027.60 sec so far
Iteration 3546: 5033.73 sec so far
Iteration 3550: 5039.08 sec so far
Iteration 3554: 5044.59 sec so far
Iteration 3558: 5049.86 sec so far
Iteration 3562: 5055.48 sec so far
Iteration 3566: 5061.30 sec so far
Iteration 3571: 5067.47 sec so far
Iteration 3575: 5072.60 sec so far
Iteration 3579: 5077.77 sec so far
Iteration 3583: 5082.86 sec so far
Iteration 3587: 5087.92 sec so far
Iteration 3592: 5094.09 sec so far
Iteration 3596: 5099.41 sec so far
Iteration 3600: 5104.85 sec so far
Iteration 3604: 5110.22 sec so far
Iteration 3608: 5115.80 sec so far
Iteration 3612: 5121.67 sec so far
Iteration 3616: 5127.27 sec so far
Iteration 3620: 5132.40 sec so far
Iteration 3624: 5137.58 sec so far
Iteration 3628: 5142.73 sec so far
Iteration 3632: 5147.85 sec so far
Iteration 3636: 5153.15 sec so far
Iteration 3640: 5158.36 sec so far
Iteration 3645: 5164.47 sec so far
Iteration 3650: 5170.59 sec so far
Iteration 3654: 5175.85 sec so far
Iteration 3658: 5181.49 sec so far
Iteration 3662: 5186.98 sec so far
Iteration 3666: 5192.79 sec so far
Iteration 3670: 5198.90 sec so far
Iteration 3674: 5204.69 sec so far
Iteration 3678: 5209.91 sec so far
Iteration 3682: 5214.98 sec so far
Iteration 3687: 5221.08 sec so far
Iteration 3692: 5227.26 sec so far
Iteration 3697: 5233.31 sec so far
Iteration 3701: 5238.35 sec so far
Iteration 3705: 5243.68 sec so far
Iteration 3709: 5249.07 sec so far
Iteration 3713: 5254.41 sec so far
Iteration 3717: 5260.11 sec so far
Iteration 3721: 5265.66 sec so far
Iteration 3725: 5270.70 sec so far
Iteration 3729: 5275.80 sec so far
Iteration 3733: 5280.86 sec so far
Iteration 3737: 5285.89 sec so far
Iteration 3741: 5290.96 sec so far
Iteration 3745: 5295.97 sec so far
Iteration 3750: 5302.03 sec so far
Iteration 3755: 5308.14 sec so far
Iteration 3759: 5313.28 sec so far
Iteration 3763: 5318.65 sec so far
Iteration 3767: 5324.04 sec so far
Iteration 3771: 5329.65 sec so far
Iteration 3775: 5335.27 sec so far
Iteration 3779: 5340.91 sec so far
Iteration 3783: 5346.25 sec so far
Iteration 3787: 5351.51 sec so far
Iteration 3791: 5356.71 sec so far
Iteration 3795: 5361.84 sec so far
Iteration 3799: 5366.92 sec so far
Iteration 3804: 5373.17 sec so far
Iteration 3808: 5378.23 sec so far
Iteration 3812: 5383.79 sec so far
Iteration 3816: 5389.53 sec so far
Iteration 3820: 5395.04 sec so far
Iteration 3824: 5401.39 sec so far
Iteration 3828: 5407.05 sec so far
Iteration 3832: 5412.37 sec so far
Iteration 3836: 5417.65 sec so far
Iteration 3840: 5423.10 sec so far
Iteration 3844: 5428.63 sec so far
Iteration 3848: 5434.26 sec so far
Iteration 3852: 5439.57 sec so far
Iteration 3856: 5444.75 sec so far
Iteration 3860: 5450.03 sec so far
Iteration 3864: 5455.82 sec so far
Iteration 3868: 5461.79 sec so far
Iteration 3872: 5467.78 sec so far
Iteration 3876: 5473.92 sec so far
Iteration 3880: 5480.38 sec so far
Iteration 3884: 5486.13 sec so far
Iteration 3888: 5491.64 sec so far
Iteration 3892: 5496.94 sec so far
Iteration 3896: 5502.52 sec so far
Iteration 3900: 5507.94 sec so far
Iteration 3904: 5513.25 sec so far
Iteration 3908: 5518.76 sec so far
Iteration 3912: 5524.70 sec so far
Iteration 3916: 5530.58 sec so far
Iteration 3920: 5536.64 sec so far
Iteration 3924: 5542.95 sec so far
Iteration 3928: 5548.58 sec so far
Iteration 3932: 5554.48 sec so far
Iteration 3936: 5560.11 sec so far
Iteration 3940: 5565.68 sec so far
Iteration 3944: 5571.26 sec so far
Iteration 3948: 5577.12 sec so far
Iteration 3952: 5582.62 sec so far
Iteration 3956: 5587.95 sec so far
Iteration 3960: 5593.84 sec so far
Iteration 3964: 5599.68 sec so far
Iteration 3968: 5605.38 sec so far
Iteration 3972: 5611.39 sec so far
Iteration 3976: 5617.01 sec so far
Iteration 3980: 5622.74 sec so far
Iteration 3984: 5628.12 sec so far
Iteration 3988: 5633.41 sec so far
Iteration 3992: 5638.69 sec so far
Iteration 3996: 5643.92 sec so far
Iteration 4000: 5649.28 sec so far
Iteration 4004: 5654.71 sec so far
Iteration 4008: 5660.49 sec so far
Iteration 4012: 5666.12 sec so far
Iteration 4016: 5671.73 sec so far
Iteration 4020: 5677.82 sec so far
Iteration 4024: 5683.32 sec so far
Iteration 4029: 5689.78 sec so far
Iteration 4033: 5695.14 sec so far
Iteration 4037: 5700.20 sec so far
Iteration 4041: 5705.28 sec so far
Iteration 4045: 5710.42 sec so far
Iteration 4049: 5715.59 sec so far
Iteration 4053: 5720.72 sec so far
Iteration 4057: 5725.75 sec so far
Iteration 4061: 5730.96 sec so far
Iteration 4065: 5736.51 sec so far
Iteration 4069: 5742.19 sec so far
Iteration 4073: 5747.83 sec so far
Iteration 4077: 5753.47 sec so far
Iteration 4081: 5758.51 sec so far
Iteration 4085: 5763.62 sec so far
Iteration 4089: 5768.74 sec so far
Iteration 4093: 5773.81 sec so far
Iteration 4097: 5778.83 sec so far
Iteration 4101: 5783.90 sec so far
Iteration 4105: 5789.07 sec so far
Iteration 4109: 5794.31 sec so far
Iteration 4113: 5799.74 sec so far
Iteration 4117: 5805.14 sec so far
Iteration 4121: 5810.88 sec so far
Iteration 4125: 5816.68 sec so far
Iteration 4129: 5822.02 sec so far
Iteration 4134: 5828.23 sec so far
Iteration 4138: 5833.45 sec so far
Iteration 4142: 5838.61 sec so far
Iteration 4146: 5843.77 sec so far
Iteration 4150: 5849.04 sec so far
Iteration 4154: 5854.36 sec so far
Iteration 4158: 5859.77 sec so far
Iteration 4162: 5865.04 sec so far
Iteration 4166: 5870.62 sec so far
Iteration 4170: 5876.11 sec so far
Iteration 4174: 5881.82 sec so far
Iteration 4178: 5887.53 sec so far
Iteration 4182: 5893.49 sec so far
Iteration 4186: 5898.90 sec so far
Iteration 4190: 5904.31 sec so far
Iteration 4194: 5909.86 sec so far
Iteration 4198: 5915.40 sec so far
Iteration 4202: 5920.96 sec so far
Iteration 4206: 5926.51 sec so far
Iteration 4210: 5931.86 sec so far
Iteration 4214: 5937.90 sec so far
Iteration 4218: 5943.88 sec so far
Iteration 4222: 5949.72 sec so far
Iteration 4226: 5955.76 sec so far
Iteration 4230: 5961.98 sec so far
Iteration 4234: 5967.40 sec so far
Iteration 4238: 5973.04 sec so far
Iteration 4242: 5978.50 sec so far
Iteration 4246: 5984.07 sec so far
Iteration 4250: 5989.73 sec so far
Iteration 4254: 5995.36 sec so far
Iteration 4258: 6001.11 sec so far
Iteration 4262: 6006.90 sec so far
Iteration 4266: 6012.86 sec so far
Iteration 4270: 6018.73 sec so far
Iteration 4274: 6024.80 sec so far
Iteration 4278: 6031.10 sec so far
Iteration 4282: 6037.15 sec so far
Iteration 4286: 6042.87 sec so far
Iteration 4290: 6048.40 sec so far
Iteration 4294: 6053.96 sec so far
Iteration 4298: 6059.50 sec so far
Iteration 4302: 6064.99 sec so far
Iteration 4306: 6070.66 sec so far
Iteration 4310: 6077.14 sec so far
Iteration 4314: 6083.10 sec so far
Iteration 4318: 6088.97 sec so far
Iteration 4322: 6094.96 sec so far
Iteration 4326: 6100.51 sec so far
Iteration 4330: 6105.58 sec so far
Iteration 4334: 6110.85 sec so far
Iteration 4338: 6116.23 sec so far
Iteration 4342: 6121.58 sec so far
Iteration 4346: 6126.88 sec so far
Iteration 4350: 6132.27 sec so far
Iteration 4354: 6137.75 sec so far
Iteration 4358: 6143.15 sec so far
Iteration 4362: 6148.94 sec so far
Iteration 4366: 6154.68 sec so far
Iteration 4370: 6160.27 sec so far
Iteration 4374: 6165.77 sec so far
Iteration 4378: 6171.66 sec so far
Iteration 4382: 6176.92 sec so far
Iteration 4387: 6183.31 sec so far
Iteration 4392: 6189.50 sec so far
Iteration 4396: 6194.52 sec so far
Iteration 4400: 6199.56 sec so far
Iteration 4404: 6204.69 sec so far
Iteration 4408: 6209.86 sec so far
Iteration 4412: 6215.31 sec so far
Iteration 4416: 6220.85 sec so far
Iteration 4420: 6225.95 sec so far
Iteration 4424: 6231.34 sec so far
Iteration 4428: 6237.05 sec so far
Iteration 4432: 6242.09 sec so far
Iteration 4437: 6248.16 sec so far
Iteration 4442: 6254.25 sec so far
Iteration 4447: 6260.38 sec so far
Iteration 4452: 6266.64 sec so far
Iteration 4456: 6271.64 sec so far
Iteration 4460: 6276.71 sec so far
Iteration 4464: 6281.89 sec so far
Iteration 4468: 6287.23 sec so far
Iteration 4472: 6292.75 sec so far
Iteration 4476: 6298.44 sec so far
Iteration 4480: 6304.16 sec so far
Iteration 4484: 6309.98 sec so far
Iteration 4488: 6315.52 sec so far
Iteration 4493: 6321.73 sec so far
Iteration 4498: 6328.00 sec so far
Iteration 4502: 6333.02 sec so far
Iteration 4506: 6338.21 sec so far
Iteration 4510: 6343.36 sec so far
Iteration 4514: 6348.70 sec so far
Iteration 4518: 6354.59 sec so far
Iteration 4522: 6360.65 sec so far
Iteration 4526: 6366.70 sec so far
Iteration 4530: 6372.91 sec so far
Iteration 4534: 6378.44 sec so far
Iteration 4538: 6383.59 sec so far
Iteration 4542: 6388.88 sec so far
Iteration 4546: 6394.17 sec so far
Iteration 4550: 6399.57 sec so far
Iteration 4554: 6405.13 sec so far
Iteration 4558: 6410.72 sec so far
Iteration 4562: 6416.15 sec so far
Iteration 4566: 6421.66 sec so far
Iteration 4570: 6427.56 sec so far
Iteration 4574: 6433.88 sec so far
Iteration 4578: 6440.53 sec so far
Iteration 4582: 6446.93 sec so far
Iteration 4586: 6452.60 sec so far
Iteration 4590: 6457.85 sec so far
Iteration 4594: 6462.94 sec so far
Iteration 4598: 6468.33 sec so far
Iteration 4602: 6473.73 sec so far
Iteration 4606: 6479.57 sec so far
Iteration 4610: 6485.24 sec so far
Iteration 4614: 6491.07 sec so far
Iteration 4618: 6497.48 sec so far
Iteration 4622: 6503.96 sec so far
Iteration 4626: 6510.43 sec so far
Iteration 4630: 6516.79 sec so far
Iteration 4634: 6522.24 sec so far
Iteration 4638: 6527.59 sec so far
Iteration 4642: 6532.80 sec so far
Iteration 4646: 6538.15 sec so far
Iteration 4650: 6543.75 sec so far
Iteration 4654: 6549.51 sec so far
Iteration 4658: 6555.06 sec so far
Iteration 4662: 6560.69 sec so far
Iteration 4666: 6566.48 sec so far
Iteration 4670: 6573.01 sec so far
Iteration 4674: 6578.79 sec so far
Iteration 4678: 6584.79 sec so far
Iteration 4682: 6590.42 sec so far
Iteration 4686: 6595.44 sec so far
Iteration 4690: 6600.46 sec so far
Iteration 4695: 6606.82 sec so far
Iteration 4699: 6611.82 sec so far
Iteration 4703: 6617.05 sec so far
Iteration 4707: 6622.42 sec so far
Iteration 4711: 6627.95 sec so far
Iteration 4715: 6633.87 sec so far
Iteration 4719: 6639.82 sec so far
Iteration 4723: 6645.63 sec so far
Iteration 4727: 6651.43 sec so far
Iteration 4731: 6657.66 sec so far
Iteration 4736: 6663.70 sec so far
Iteration 4741: 6669.77 sec so far
Iteration 4746: 6675.78 sec so far
Iteration 4751: 6681.79 sec so far
Iteration 4755: 6686.86 sec so far
Iteration 4759: 6691.87 sec so far
Iteration 4763: 6697.06 sec so far
Iteration 4767: 6702.38 sec so far
Iteration 4771: 6707.83 sec so far
Iteration 4775: 6713.48 sec so far
Iteration 4779: 6719.04 sec so far
Iteration 4783: 6724.61 sec so far
Iteration 4787: 6730.20 sec so far
Iteration 4792: 6736.24 sec so far
Iteration 4797: 6742.34 sec so far
Iteration 4802: 6748.45 sec so far
Iteration 4806: 6753.51 sec so far
Iteration 4810: 6758.54 sec so far
Iteration 4814: 6763.57 sec so far
Iteration 4818: 6768.65 sec so far
Iteration 4822: 6774.19 sec so far
Iteration 4826: 6779.89 sec so far
Iteration 4830: 6785.82 sec so far
Iteration 4834: 6791.93 sec so far
Iteration 4838: 6797.21 sec so far
Iteration 4843: 6803.24 sec so far
Iteration 4847: 6808.33 sec so far
Iteration 4851: 6813.34 sec so far
Iteration 4856: 6819.61 sec so far
Iteration 4860: 6824.76 sec so far
Iteration 4864: 6829.76 sec so far
Iteration 4868: 6834.82 sec so far
Iteration 4872: 6839.96 sec so far
Iteration 4876: 6845.88 sec so far
Value iteration (with Jacobi) took 4880 iterations, 172060835840 multiplications and 6851.893 seconds.
Probabilistic reachability took 6867.547 seconds.
Value in the initial state: 0.5386630172446859
Time for model checking: 6872.31 seconds.
Result: 0.5386630172446859 (+/- 5.381002200973655E-6 estimated; rel err 9.989551962371593E-6)
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-prism_check_ex_polling.18-16_rep5.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism %indir/property.props
Wallclock time: 6046.544 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 07:23:44 GMT+02:00 2026
Hostname: n23m0237.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4962120/tmpmw7r4hs3prism_from-prism_check_ex_polling.18-16_tmp_indir_/model.prism /w0/tmp/slurm_tq429871.4962120/tmpmw7r4hs3prism_from-prism_check_ex_polling.18-16_tmp_indir_/property.props
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4962120/tmpmw7r4hs3prism_from-prism_check_ex_polling.18-16_tmp_indir_/model.prism"...
Type: CTMC
Modules: server station1 station2 station3 station4 station5 station6 station7 station8 station9 station10 station11 station12 station13 station14 station15 station16 station17 station18
Actions: [] [loop1a] [loop1b] [serve1] [loop2a] [loop2b] [serve2] [loop3a] [loop3b] [serve3] [loop4a] [loop4b] [serve4] [loop5a] [loop5b] [serve5] [loop6a] [loop6b] [serve6] [loop7a] [loop7b] [serve7] [loop8a] [loop8b] [serve8] [loop9a] [loop9b] [serve9] [loop10a] [loop10b] [serve10] [loop11a] [loop11b] [serve11] [loop12a] [loop12b] [serve12] [loop13a] [loop13b] [serve13] [loop14a] [loop14b] [serve14] [loop15a] [loop15b] [serve15] [loop16a] [loop16b] [serve16] [loop17a] [loop17b] [serve17] [loop18a] [loop18b] [serve18]
Variables: s a s1 s2 s3 s4 s5 s6 s7 s8 s9 s10 s11 s12 s13 s14 s15 s16 s17 s18
Labels: "serve_s2" "serve_s1"
Parsing properties file "/w0/tmp/slurm_tq429871.4962120/tmpmw7r4hs3prism_from-prism_check_ex_polling.18-16_tmp_indir_/property.props"...
1 property:
(1) "s1_before_s2": P=? [ !"serve_s2" U "serve_s1" ]
---------------------------------------------------------------------
Model checking: "s1_before_s2": P=? [ !"serve_s2" U "serve_s1" ]
Building model (engine:explicit)...
Computing reachable states... 171804 375380 577314 781640 984138 1193801 1380111 1608876 1781344 2001270 2142253 2353928 2511034 2698822 2866114 3030067 3187362 3330480 3523311 3657118 3833455 3987280 4151674 4335589 4489785 4675738 4831391 5008649 5167851 5341606 5534872 5726464 5891322 6063901 6238197 6432502 6599866 6811202 7007123 7077888 states
Reachable states exploration and model construction done in 117.937 secs.
Sorting reachable states list...
Time for model construction: 126.003 seconds.
Type: CTMC
States: 7077888 (1 initial)
Transitions: 69599232
Building embedded DTMC...
Starting probabilistic reachability...
Calculating predecessor relation for discrete-time Markov chain... done (6.153 seconds)
Starting Prob0...
Prob0 took 2.706 seconds.
Starting Prob1...
Prob1 took 3.515 seconds.
target=131072, yes=3407872, no=262144, maybe=3407872
Starting value iteration (with Jacobi)...
Iteration 4: 6.01 sec so far
Iteration 9: 12.01 sec so far
Iteration 14: 17.99 sec so far
Iteration 18: 23.00 sec so far
Iteration 22: 28.02 sec so far
Iteration 26: 33.07 sec so far
Iteration 30: 38.09 sec so far
Iteration 34: 43.19 sec so far
Iteration 38: 48.35 sec so far
Iteration 42: 53.44 sec so far
Iteration 47: 59.35 sec so far
Iteration 52: 65.22 sec so far
Iteration 57: 71.12 sec so far
Iteration 62: 77.05 sec so far
Iteration 67: 82.92 sec so far
Iteration 71: 87.95 sec so far
Iteration 75: 92.97 sec so far
Iteration 80: 99.14 sec so far
Iteration 84: 104.24 sec so far
Iteration 88: 109.45 sec so far
Iteration 92: 114.54 sec so far
Iteration 97: 120.69 sec so far
Iteration 102: 126.69 sec so far
Iteration 107: 132.56 sec so far
Iteration 112: 138.47 sec so far
Iteration 117: 144.41 sec so far
Iteration 122: 150.35 sec so far
Iteration 126: 155.36 sec so far
Iteration 130: 160.41 sec so far
Iteration 134: 165.55 sec so far
Iteration 138: 170.73 sec so far
Iteration 142: 175.82 sec so far
Iteration 146: 180.85 sec so far
Iteration 150: 185.87 sec so far
Iteration 155: 191.83 sec so far
Iteration 160: 197.70 sec so far
Iteration 165: 203.72 sec so far
Iteration 170: 209.68 sec so far
Iteration 175: 215.64 sec so far
Iteration 179: 220.69 sec so far
Iteration 183: 225.78 sec so far
Iteration 187: 230.83 sec so far
Iteration 191: 235.86 sec so far
Iteration 195: 240.96 sec so far
Iteration 199: 246.13 sec so far
Iteration 203: 251.30 sec so far
Iteration 208: 257.25 sec so far
Iteration 213: 263.10 sec so far
Iteration 218: 268.96 sec so far
Iteration 223: 274.84 sec so far
Iteration 228: 280.68 sec so far
Iteration 232: 285.69 sec so far
Iteration 236: 290.74 sec so far
Iteration 241: 296.87 sec so far
Iteration 245: 301.89 sec so far
Iteration 249: 307.03 sec so far
Iteration 253: 312.27 sec so far
Iteration 258: 318.39 sec so far
Iteration 263: 324.41 sec so far
Iteration 268: 330.26 sec so far
Iteration 273: 336.10 sec so far
Iteration 278: 341.96 sec so far
Iteration 283: 347.82 sec so far
Iteration 287: 352.85 sec so far
Iteration 291: 357.92 sec so far
Iteration 295: 362.98 sec so far
Iteration 299: 368.11 sec so far
Iteration 303: 373.29 sec so far
Iteration 307: 378.33 sec so far
Iteration 312: 384.45 sec so far
Iteration 317: 390.46 sec so far
Iteration 322: 396.29 sec so far
Iteration 327: 402.12 sec so far
Iteration 332: 407.98 sec so far
Iteration 337: 413.84 sec so far
Iteration 341: 418.87 sec so far
Iteration 345: 423.98 sec so far
Iteration 349: 429.14 sec so far
Iteration 353: 434.33 sec so far
Iteration 357: 439.40 sec so far
Iteration 362: 445.52 sec so far
Iteration 366: 450.60 sec so far
Iteration 371: 456.54 sec so far
Iteration 376: 462.41 sec so far
Iteration 381: 468.25 sec so far
Iteration 386: 474.17 sec so far
Iteration 391: 480.08 sec so far
Iteration 395: 485.14 sec so far
Iteration 399: 490.31 sec so far
Iteration 403: 495.51 sec so far
Iteration 407: 500.60 sec so far
Iteration 412: 506.72 sec so far
Iteration 417: 513.08 sec so far
Iteration 422: 519.18 sec so far
Iteration 427: 525.10 sec so far
Iteration 432: 530.95 sec so far
Iteration 437: 536.78 sec so far
Iteration 442: 542.79 sec so far
Iteration 446: 547.90 sec so far
Iteration 450: 552.93 sec so far
Iteration 454: 557.98 sec so far
Iteration 459: 564.13 sec so far
Iteration 463: 569.19 sec so far
Iteration 467: 574.37 sec so far
Iteration 471: 579.48 sec so far
Iteration 476: 585.38 sec so far
Iteration 481: 591.34 sec so far
Iteration 486: 597.34 sec so far
Iteration 491: 603.26 sec so far
Iteration 496: 609.12 sec so far
Iteration 500: 614.13 sec so far
Iteration 504: 619.17 sec so far
Iteration 508: 624.19 sec so far
Iteration 513: 630.42 sec so far
Iteration 517: 635.59 sec so far
Iteration 521: 640.70 sec so far
Iteration 526: 646.77 sec so far
Iteration 531: 652.71 sec so far
Iteration 536: 658.54 sec so far
Iteration 541: 664.51 sec so far
Iteration 546: 670.41 sec so far
Iteration 551: 676.27 sec so far
Iteration 556: 682.12 sec so far
Iteration 561: 688.00 sec so far
Iteration 566: 693.85 sec so far
Iteration 570: 698.87 sec so far
Iteration 574: 703.95 sec so far
Iteration 578: 709.14 sec so far
Iteration 582: 714.38 sec so far
Iteration 586: 719.39 sec so far
Iteration 590: 724.41 sec so far
Iteration 594: 729.42 sec so far
Iteration 599: 735.39 sec so far
Iteration 604: 741.20 sec so far
Iteration 609: 747.04 sec so far
Iteration 614: 752.90 sec so far
Iteration 619: 758.77 sec so far
Iteration 624: 765.08 sec so far
Iteration 628: 770.26 sec so far
Iteration 632: 775.39 sec so far
Iteration 636: 780.46 sec so far
Iteration 640: 785.51 sec so far
Iteration 644: 790.52 sec so far
Iteration 648: 795.60 sec so far
Iteration 653: 801.49 sec so far
Iteration 658: 807.36 sec so far
Iteration 663: 813.21 sec so far
Iteration 668: 819.03 sec so far
Iteration 673: 824.88 sec so far
Iteration 677: 829.97 sec so far
Iteration 681: 835.27 sec so far
Iteration 685: 840.54 sec so far
Iteration 689: 845.55 sec so far
Iteration 693: 850.56 sec so far
Iteration 698: 856.71 sec so far
Iteration 702: 861.82 sec so far
Iteration 707: 867.67 sec so far
Iteration 712: 873.55 sec so far
Iteration 717: 879.43 sec so far
Iteration 722: 885.33 sec so far
Iteration 727: 891.19 sec so far
Iteration 731: 896.48 sec so far
Iteration 735: 901.75 sec so far
Iteration 739: 906.78 sec so far
Iteration 743: 911.80 sec so far
Iteration 747: 916.81 sec so far
Iteration 752: 923.14 sec so far
Iteration 757: 929.19 sec so far
Iteration 762: 935.05 sec so far
Iteration 767: 940.87 sec so far
Iteration 772: 946.71 sec so far
Iteration 777: 952.69 sec so far
Iteration 781: 957.89 sec so far
Iteration 785: 962.96 sec so far
Iteration 789: 967.97 sec so far
Iteration 794: 974.11 sec so far
Iteration 798: 979.13 sec so far
Iteration 802: 984.29 sec so far
Iteration 806: 989.46 sec so far
Iteration 811: 995.29 sec so far
Iteration 816: 1001.16 sec so far
Iteration 821: 1007.00 sec so far
Iteration 826: 1012.86 sec so far
Iteration 831: 1018.97 sec so far
Iteration 835: 1024.09 sec so far
Iteration 839: 1029.13 sec so far
Iteration 844: 1035.31 sec so far
Iteration 848: 1040.41 sec so far
Iteration 852: 1045.57 sec so far
Iteration 856: 1050.65 sec so far
Iteration 861: 1056.76 sec so far
Iteration 866: 1062.63 sec so far
Iteration 871: 1068.43 sec so far
Iteration 876: 1074.55 sec so far
Iteration 881: 1080.56 sec so far
Iteration 886: 1086.47 sec so far
Iteration 891: 1092.78 sec so far
Iteration 895: 1097.94 sec so far
Iteration 900: 1104.07 sec so far
Iteration 905: 1110.27 sec so far
Iteration 909: 1115.39 sec so far
Iteration 913: 1120.53 sec so far
Iteration 918: 1126.36 sec so far
Iteration 923: 1132.21 sec so far
Iteration 928: 1138.24 sec so far
Iteration 933: 1144.34 sec so far
Iteration 938: 1150.31 sec so far
Iteration 943: 1156.42 sec so far
Iteration 948: 1162.76 sec so far
Iteration 952: 1167.84 sec so far
Iteration 956: 1172.87 sec so far
Iteration 961: 1178.99 sec so far
Iteration 966: 1185.32 sec so far
Iteration 971: 1191.30 sec so far
Iteration 975: 1196.34 sec so far
Iteration 980: 1202.35 sec so far
Iteration 985: 1208.28 sec so far
Iteration 990: 1214.12 sec so far
Iteration 995: 1220.32 sec so far
Iteration 1000: 1226.43 sec so far
Iteration 1005: 1232.66 sec so far
Iteration 1009: 1237.78 sec so far
Iteration 1013: 1242.88 sec so far
Iteration 1018: 1249.01 sec so far
Iteration 1023: 1255.14 sec so far
Iteration 1027: 1260.21 sec so far
Iteration 1032: 1266.32 sec so far
Iteration 1037: 1272.23 sec so far
Iteration 1042: 1278.07 sec so far
Iteration 1047: 1283.89 sec so far
Iteration 1052: 1290.38 sec so far
Iteration 1057: 1296.50 sec so far
Iteration 1062: 1302.65 sec so far
Iteration 1066: 1307.79 sec so far
Iteration 1070: 1312.99 sec so far
Iteration 1074: 1318.29 sec so far
Iteration 1079: 1324.31 sec so far
Iteration 1084: 1330.21 sec so far
Iteration 1089: 1336.05 sec so far
Iteration 1094: 1341.91 sec so far
Iteration 1099: 1347.83 sec so far
Iteration 1104: 1353.94 sec so far
Iteration 1109: 1360.32 sec so far
Iteration 1113: 1365.39 sec so far
Iteration 1118: 1371.44 sec so far
Iteration 1122: 1376.44 sec so far
Iteration 1126: 1381.60 sec so far
Iteration 1130: 1387.02 sec so far
Iteration 1135: 1392.94 sec so far
Iteration 1140: 1398.83 sec so far
Iteration 1145: 1404.65 sec so far
Iteration 1150: 1410.52 sec so far
Iteration 1155: 1416.41 sec so far
Iteration 1159: 1421.54 sec so far
Iteration 1163: 1426.54 sec so far
Iteration 1168: 1432.61 sec so far
Iteration 1172: 1437.93 sec so far
Iteration 1176: 1443.52 sec so far
Iteration 1180: 1448.73 sec so far
Iteration 1185: 1454.64 sec so far
Iteration 1190: 1460.48 sec so far
Iteration 1195: 1466.31 sec so far
Iteration 1200: 1472.14 sec so far
Iteration 1205: 1477.92 sec so far
Iteration 1210: 1484.06 sec so far
Iteration 1215: 1490.19 sec so far
Iteration 1219: 1495.24 sec so far
Iteration 1223: 1500.39 sec so far
Iteration 1227: 1506.05 sec so far
Iteration 1231: 1511.32 sec so far
Iteration 1235: 1516.34 sec so far
Iteration 1240: 1522.23 sec so far
Iteration 1245: 1528.01 sec so far
Iteration 1250: 1533.77 sec so far
Iteration 1255: 1539.62 sec so far
Iteration 1260: 1545.45 sec so far
Iteration 1265: 1551.64 sec so far
Iteration 1269: 1556.81 sec so far
Iteration 1273: 1562.51 sec so far
Iteration 1277: 1567.78 sec so far
Iteration 1282: 1573.98 sec so far
Iteration 1287: 1580.34 sec so far
Iteration 1292: 1586.14 sec so far
Iteration 1297: 1591.99 sec so far
Iteration 1302: 1597.82 sec so far
Iteration 1307: 1603.59 sec so far
Iteration 1312: 1609.36 sec so far
Iteration 1317: 1615.42 sec so far
Iteration 1322: 1621.88 sec so far
Iteration 1326: 1627.71 sec so far
Iteration 1330: 1632.90 sec so far
Iteration 1335: 1639.03 sec so far
Iteration 1340: 1645.35 sec so far
Iteration 1345: 1651.21 sec so far
Iteration 1350: 1657.05 sec so far
Iteration 1355: 1662.85 sec so far
Iteration 1360: 1668.64 sec so far
Iteration 1365: 1674.42 sec so far
Iteration 1369: 1679.74 sec so far
Iteration 1373: 1685.14 sec so far
Iteration 1377: 1690.16 sec so far
Iteration 1382: 1696.34 sec so far
Iteration 1386: 1701.49 sec so far
Iteration 1390: 1706.51 sec so far
Iteration 1395: 1712.56 sec so far
Iteration 1400: 1718.37 sec so far
Iteration 1405: 1724.16 sec so far
Iteration 1410: 1729.98 sec so far
Iteration 1415: 1735.77 sec so far
Iteration 1420: 1741.63 sec so far
Iteration 1424: 1747.52 sec so far
Iteration 1428: 1752.64 sec so far
Iteration 1432: 1757.78 sec so far
Iteration 1436: 1762.80 sec so far
Iteration 1440: 1767.86 sec so far
Iteration 1445: 1773.92 sec so far
Iteration 1450: 1780.07 sec so far
Iteration 1455: 1785.86 sec so far
Iteration 1460: 1791.66 sec so far
Iteration 1465: 1797.54 sec so far
Iteration 1469: 1803.14 sec so far
Iteration 1474: 1809.01 sec so far
Iteration 1478: 1814.08 sec so far
Iteration 1482: 1819.13 sec so far
Iteration 1486: 1824.25 sec so far
Iteration 1491: 1830.36 sec so far
Iteration 1495: 1835.37 sec so far
Iteration 1500: 1841.52 sec so far
Iteration 1505: 1847.52 sec so far
Iteration 1510: 1853.30 sec so far
Iteration 1515: 1859.07 sec so far
Iteration 1519: 1864.21 sec so far
Iteration 1523: 1869.48 sec so far
Iteration 1528: 1875.61 sec so far
Iteration 1532: 1880.63 sec so far
Iteration 1536: 1885.85 sec so far
Iteration 1540: 1890.88 sec so far
Iteration 1544: 1895.92 sec so far
Iteration 1549: 1902.02 sec so far
Iteration 1554: 1908.27 sec so far
Iteration 1559: 1914.26 sec so far
Iteration 1564: 1920.51 sec so far
Iteration 1568: 1925.70 sec so far
Iteration 1572: 1930.71 sec so far
Iteration 1577: 1936.59 sec so far
Iteration 1582: 1942.46 sec so far
Iteration 1586: 1947.49 sec so far
Iteration 1590: 1952.51 sec so far
Iteration 1595: 1958.58 sec so far
Iteration 1599: 1963.58 sec so far
Iteration 1604: 1970.04 sec so far
Iteration 1609: 1976.02 sec so far
Iteration 1614: 1981.84 sec so far
Iteration 1618: 1987.10 sec so far
Iteration 1622: 1992.19 sec so far
Iteration 1627: 1998.22 sec so far
Iteration 1632: 2004.06 sec so far
Iteration 1637: 2009.86 sec so far
Iteration 1642: 2015.73 sec so far
Iteration 1647: 2021.51 sec so far
Iteration 1652: 2027.50 sec so far
Iteration 1657: 2033.69 sec so far
Iteration 1661: 2038.82 sec so far
Iteration 1665: 2044.12 sec so far
Iteration 1669: 2049.72 sec so far
Iteration 1673: 2054.83 sec so far
Iteration 1678: 2061.05 sec so far
Iteration 1683: 2066.84 sec so far
Iteration 1688: 2072.78 sec so far
Iteration 1693: 2078.62 sec so far
Iteration 1698: 2084.47 sec so far
Iteration 1703: 2090.34 sec so far
Iteration 1707: 2095.48 sec so far
Iteration 1711: 2100.53 sec so far
Iteration 1716: 2106.87 sec so far
Iteration 1720: 2112.54 sec so far
Iteration 1724: 2117.95 sec so far
Iteration 1728: 2123.26 sec so far
Iteration 1733: 2129.11 sec so far
Iteration 1738: 2135.02 sec so far
Iteration 1743: 2140.80 sec so far
Iteration 1748: 2146.65 sec so far
Iteration 1753: 2152.42 sec so far
Iteration 1758: 2158.55 sec so far
Iteration 1763: 2164.78 sec so far
Iteration 1767: 2170.57 sec so far
Iteration 1771: 2175.96 sec so far
Iteration 1775: 2181.00 sec so far
Iteration 1779: 2186.01 sec so far
Iteration 1784: 2192.12 sec so far
Iteration 1789: 2197.94 sec so far
Iteration 1794: 2203.71 sec so far
Iteration 1799: 2209.56 sec so far
Iteration 1804: 2215.36 sec so far
Iteration 1809: 2221.18 sec so far
Iteration 1813: 2226.24 sec so far
Iteration 1818: 2232.59 sec so far
Iteration 1822: 2237.96 sec so far
Iteration 1826: 2243.14 sec so far
Iteration 1830: 2248.22 sec so far
Iteration 1834: 2253.24 sec so far
Iteration 1839: 2259.24 sec so far
Iteration 1844: 2265.02 sec so far
Iteration 1849: 2270.78 sec so far
Iteration 1854: 2276.62 sec so far
Iteration 1859: 2282.45 sec so far
Iteration 1864: 2288.63 sec so far
Iteration 1868: 2293.66 sec so far
Iteration 1872: 2299.61 sec so far
Iteration 1876: 2304.69 sec so far
Iteration 1880: 2309.82 sec so far
Iteration 1884: 2314.99 sec so far
Iteration 1889: 2321.08 sec so far
Iteration 1894: 2326.93 sec so far
Iteration 1899: 2332.67 sec so far
Iteration 1904: 2338.48 sec so far
Iteration 1909: 2344.29 sec so far
Iteration 1914: 2350.11 sec so far
Iteration 1919: 2356.24 sec so far
Iteration 1923: 2361.68 sec so far
Iteration 1927: 2367.39 sec so far
Iteration 1931: 2372.69 sec so far
Iteration 1936: 2378.85 sec so far
Iteration 1940: 2384.01 sec so far
Iteration 1945: 2389.94 sec so far
Iteration 1950: 2395.74 sec so far
Iteration 1955: 2401.56 sec so far
Iteration 1960: 2407.32 sec so far
Iteration 1965: 2413.14 sec so far
Iteration 1970: 2419.45 sec so far
Iteration 1974: 2425.48 sec so far
Iteration 1978: 2430.69 sec so far
Iteration 1982: 2435.76 sec so far
Iteration 1986: 2440.94 sec so far
Iteration 1990: 2446.06 sec so far
Iteration 1995: 2452.15 sec so far
Iteration 2000: 2457.94 sec so far
Iteration 2005: 2463.73 sec so far
Iteration 2010: 2469.55 sec so far
Iteration 2015: 2475.35 sec so far
Iteration 2020: 2481.19 sec so far
Iteration 2025: 2487.43 sec so far
Iteration 2029: 2493.45 sec so far
Iteration 2033: 2498.67 sec so far
Iteration 2037: 2503.77 sec so far
Iteration 2042: 2509.80 sec so far
Iteration 2047: 2516.19 sec so far
Iteration 2052: 2521.97 sec so far
Iteration 2057: 2527.77 sec so far
Iteration 2062: 2533.70 sec so far
Iteration 2067: 2539.56 sec so far
Iteration 2072: 2545.32 sec so far
Iteration 2076: 2550.67 sec so far
Iteration 2080: 2556.18 sec so far
Iteration 2084: 2561.19 sec so far
Iteration 2089: 2567.41 sec so far
Iteration 2094: 2573.63 sec so far
Iteration 2099: 2579.63 sec so far
Iteration 2104: 2585.69 sec so far
Iteration 2109: 2591.48 sec so far
Iteration 2114: 2597.31 sec so far
Iteration 2119: 2603.09 sec so far
Iteration 2124: 2608.91 sec so far
Iteration 2129: 2614.74 sec so far
Iteration 2133: 2620.13 sec so far
Iteration 2137: 2626.14 sec so far
Iteration 2141: 2631.20 sec so far
Iteration 2145: 2636.24 sec so far
Iteration 2150: 2642.59 sec so far
Iteration 2154: 2647.70 sec so far
Iteration 2159: 2653.50 sec so far
Iteration 2164: 2659.30 sec so far
Iteration 2169: 2665.13 sec so far
Iteration 2174: 2670.92 sec so far
Iteration 2179: 2676.72 sec so far
Iteration 2183: 2682.22 sec so far
Iteration 2187: 2687.44 sec so far
Iteration 2191: 2692.47 sec so far
Iteration 2196: 2698.76 sec so far
Iteration 2200: 2703.86 sec so far
Iteration 2205: 2709.95 sec so far
Iteration 2210: 2716.12 sec so far
Iteration 2215: 2721.93 sec so far
Iteration 2220: 2727.70 sec so far
Iteration 2225: 2733.57 sec so far
Iteration 2230: 2739.36 sec so far
Iteration 2235: 2745.39 sec so far
Iteration 2239: 2751.27 sec so far
Iteration 2243: 2756.37 sec so far
Iteration 2248: 2762.56 sec so far
Iteration 2253: 2768.84 sec so far
Iteration 2257: 2773.88 sec so far
Iteration 2262: 2779.94 sec so far
Iteration 2267: 2785.78 sec so far
Iteration 2272: 2791.58 sec so far
Iteration 2277: 2797.37 sec so far
Iteration 2282: 2803.18 sec so far
Iteration 2287: 2809.31 sec so far
Iteration 2291: 2814.89 sec so far
Iteration 2295: 2820.08 sec so far
Iteration 2299: 2825.16 sec so far
Iteration 2303: 2830.24 sec so far
Iteration 2308: 2836.31 sec so far
Iteration 2313: 2842.52 sec so far
Iteration 2318: 2848.64 sec so far
Iteration 2323: 2854.40 sec so far
Iteration 2328: 2860.23 sec so far
Iteration 2333: 2866.02 sec so far
Iteration 2338: 2871.85 sec so far
Iteration 2343: 2878.59 sec so far
Iteration 2347: 2883.95 sec so far
Iteration 2351: 2889.05 sec so far
Iteration 2355: 2894.07 sec so far
Iteration 2359: 2899.18 sec so far
Iteration 2363: 2904.28 sec so far
Iteration 2368: 2910.36 sec so far
Iteration 2373: 2916.22 sec so far
Iteration 2378: 2922.04 sec so far
Iteration 2383: 2927.88 sec so far
Iteration 2388: 2933.72 sec so far
Iteration 2392: 2938.86 sec so far
Iteration 2396: 2944.41 sec so far
Iteration 2400: 2949.47 sec so far
Iteration 2405: 2955.80 sec so far
Iteration 2409: 2960.88 sec so far
Iteration 2414: 2966.95 sec so far
Iteration 2419: 2973.18 sec so far
Iteration 2424: 2979.23 sec so far
Iteration 2429: 2985.03 sec so far
Iteration 2434: 2990.79 sec so far
Iteration 2439: 2996.61 sec so far
Iteration 2444: 3002.43 sec so far
Iteration 2448: 3007.57 sec so far
Iteration 2452: 3013.29 sec so far
Iteration 2456: 3018.52 sec so far
Iteration 2460: 3023.56 sec so far
Iteration 2465: 3029.76 sec so far
Iteration 2469: 3034.81 sec so far
Iteration 2474: 3040.90 sec so far
Iteration 2479: 3046.71 sec so far
Iteration 2484: 3052.53 sec so far
Iteration 2489: 3058.39 sec so far
Iteration 2494: 3064.34 sec so far
Iteration 2498: 3069.63 sec so far
Iteration 2502: 3074.93 sec so far
Iteration 2506: 3080.03 sec so far
Iteration 2510: 3085.03 sec so far
Iteration 2515: 3091.48 sec so far
Iteration 2520: 3097.53 sec so far
Iteration 2525: 3103.58 sec so far
Iteration 2530: 3109.61 sec so far
Iteration 2535: 3115.38 sec so far
Iteration 2540: 3121.18 sec so far
Iteration 2545: 3127.00 sec so far
Iteration 2550: 3132.83 sec so far
Iteration 2554: 3138.04 sec so far
Iteration 2558: 3143.93 sec so far
Iteration 2563: 3150.03 sec so far
Iteration 2567: 3155.06 sec so far
Iteration 2571: 3160.06 sec so far
Iteration 2575: 3165.08 sec so far
Iteration 2580: 3171.19 sec so far
Iteration 2585: 3177.02 sec so far
Iteration 2590: 3182.84 sec so far
Iteration 2595: 3188.66 sec so far
Iteration 2600: 3194.79 sec so far
Iteration 2604: 3200.17 sec so far
Iteration 2608: 3205.35 sec so far
Iteration 2613: 3211.48 sec so far
Iteration 2617: 3216.64 sec so far
Iteration 2621: 3221.65 sec so far
Iteration 2626: 3227.73 sec so far
Iteration 2631: 3233.87 sec so far
Iteration 2636: 3240.04 sec so far
Iteration 2641: 3245.83 sec so far
Iteration 2646: 3251.61 sec so far
Iteration 2651: 3257.43 sec so far
Iteration 2656: 3263.43 sec so far
Iteration 2660: 3269.18 sec so far
Iteration 2664: 3274.46 sec so far
Iteration 2669: 3280.61 sec so far
Iteration 2674: 3287.08 sec so far
Iteration 2679: 3293.17 sec so far
Iteration 2684: 3299.34 sec so far
Iteration 2689: 3305.51 sec so far
Iteration 2694: 3311.30 sec so far
Iteration 2699: 3317.07 sec so far
Iteration 2704: 3322.91 sec so far
Iteration 2708: 3328.34 sec so far
Iteration 2712: 3333.58 sec so far
Iteration 2716: 3339.31 sec so far
Iteration 2720: 3345.41 sec so far
Iteration 2724: 3350.51 sec so far
Iteration 2729: 3356.90 sec so far
Iteration 2733: 3362.41 sec so far
Iteration 2737: 3367.72 sec so far
Iteration 2741: 3373.58 sec so far
Iteration 2745: 3378.62 sec so far
Iteration 2749: 3383.88 sec so far
Iteration 2754: 3389.64 sec so far
Iteration 2759: 3395.42 sec so far
Iteration 2763: 3401.07 sec so far
Iteration 2767: 3406.35 sec so far
Iteration 2772: 3412.45 sec so far
Iteration 2777: 3418.62 sec so far
Iteration 2782: 3424.59 sec so far
Iteration 2787: 3430.86 sec so far
Iteration 2792: 3436.64 sec so far
Iteration 2797: 3442.30 sec so far
Iteration 2802: 3447.82 sec so far
Iteration 2807: 3453.65 sec so far
Iteration 2811: 3458.76 sec so far
Iteration 2815: 3463.88 sec so far
Iteration 2820: 3469.76 sec so far
Iteration 2825: 3475.48 sec so far
Iteration 2830: 3481.61 sec so far
Iteration 2835: 3487.64 sec so far
Iteration 2840: 3493.64 sec so far
Iteration 2845: 3499.82 sec so far
Iteration 2850: 3505.83 sec so far
Iteration 2855: 3511.95 sec so far
Iteration 2860: 3517.92 sec so far
Iteration 2865: 3523.59 sec so far
Iteration 2870: 3529.60 sec so far
Iteration 2874: 3534.88 sec so far
Iteration 2879: 3540.86 sec so far
Iteration 2884: 3546.81 sec so far
Iteration 2889: 3552.84 sec so far
Iteration 2894: 3558.86 sec so far
Iteration 2898: 3565.15 sec so far
Iteration 2902: 3570.85 sec so far
Iteration 2907: 3576.91 sec so far
Iteration 2912: 3583.02 sec so far
Iteration 2917: 3588.69 sec so far
Iteration 2921: 3593.82 sec so far
Iteration 2925: 3598.91 sec so far
Iteration 2930: 3604.66 sec so far
Iteration 2935: 3610.35 sec so far
Iteration 2940: 3616.54 sec so far
Iteration 2944: 3621.75 sec so far
Iteration 2948: 3627.66 sec so far
Iteration 2952: 3632.97 sec so far
Iteration 2957: 3639.26 sec so far
Iteration 2962: 3645.30 sec so far
Iteration 2967: 3650.98 sec so far
Iteration 2972: 3656.61 sec so far
Iteration 2976: 3661.66 sec so far
Iteration 2980: 3667.82 sec so far
Iteration 2984: 3673.01 sec so far
Iteration 2989: 3679.24 sec so far
Iteration 2994: 3685.11 sec so far
Iteration 2999: 3691.08 sec so far
Iteration 3004: 3697.01 sec so far
Iteration 3009: 3702.84 sec so far
Iteration 3014: 3708.90 sec so far
Iteration 3019: 3714.68 sec so far
Iteration 3024: 3720.18 sec so far
Iteration 3029: 3725.72 sec so far
Iteration 3033: 3730.92 sec so far
Iteration 3038: 3736.85 sec so far
Iteration 3043: 3742.72 sec so far
Iteration 3048: 3748.78 sec so far
Iteration 3053: 3754.59 sec so far
Iteration 3058: 3760.53 sec so far
Iteration 3063: 3766.57 sec so far
Iteration 3068: 3772.30 sec so far
Iteration 3073: 3778.25 sec so far
Iteration 3078: 3783.82 sec so far
Iteration 3083: 3789.36 sec so far
Iteration 3088: 3794.91 sec so far
Iteration 3093: 3801.18 sec so far
Iteration 3098: 3807.10 sec so far
Iteration 3103: 3813.35 sec so far
Iteration 3108: 3819.18 sec so far
Iteration 3113: 3825.02 sec so far
Iteration 3118: 3831.22 sec so far
Iteration 3123: 3837.12 sec so far
Iteration 3128: 3843.00 sec so far
Iteration 3133: 3848.62 sec so far
Iteration 3138: 3854.16 sec so far
Iteration 3143: 3859.85 sec so far
Iteration 3147: 3864.99 sec so far
Iteration 3152: 3870.85 sec so far
Iteration 3157: 3876.77 sec so far
Iteration 3162: 3883.03 sec so far
Iteration 3167: 3888.91 sec so far
Iteration 3172: 3894.70 sec so far
Iteration 3177: 3900.73 sec so far
Iteration 3182: 3906.66 sec so far
Iteration 3187: 3912.25 sec so far
Iteration 3192: 3917.83 sec so far
Iteration 3197: 3923.41 sec so far
Iteration 3202: 3929.01 sec so far
Iteration 3206: 3934.02 sec so far
Iteration 3210: 3939.22 sec so far
Iteration 3215: 3945.17 sec so far
Iteration 3220: 3951.05 sec so far
Iteration 3225: 3957.23 sec so far
Iteration 3230: 3963.15 sec so far
Iteration 3235: 3968.96 sec so far
Iteration 3240: 3974.78 sec so far
Iteration 3245: 3980.36 sec so far
Iteration 3250: 3985.90 sec so far
Iteration 3255: 3991.48 sec so far
Iteration 3260: 3997.62 sec so far
Iteration 3265: 4003.80 sec so far
Iteration 3269: 4008.81 sec so far
Iteration 3274: 4014.81 sec so far
Iteration 3279: 4020.65 sec so far
Iteration 3284: 4026.57 sec so far
Iteration 3289: 4032.60 sec so far
Iteration 3294: 4038.41 sec so far
Iteration 3299: 4043.98 sec so far
Iteration 3304: 4049.52 sec so far
Iteration 3309: 4055.06 sec so far
Iteration 3314: 4060.63 sec so far
Iteration 3319: 4066.28 sec so far
Iteration 3323: 4071.56 sec so far
Iteration 3327: 4076.57 sec so far
Iteration 3332: 4082.63 sec so far
Iteration 3337: 4088.81 sec so far
Iteration 3342: 4094.63 sec so far
Iteration 3347: 4100.50 sec so far
Iteration 3352: 4106.21 sec so far
Iteration 3357: 4111.73 sec so far
Iteration 3362: 4117.32 sec so far
Iteration 3367: 4122.89 sec so far
Iteration 3372: 4128.50 sec so far
Iteration 3377: 4134.82 sec so far
Iteration 3381: 4140.26 sec so far
Iteration 3386: 4146.27 sec so far
Iteration 3391: 4152.07 sec so far
Iteration 3396: 4158.22 sec so far
Iteration 3401: 4164.05 sec so far
Iteration 3406: 4169.89 sec so far
Iteration 3411: 4175.43 sec so far
Iteration 3416: 4181.06 sec so far
Iteration 3421: 4186.59 sec so far
Iteration 3426: 4192.15 sec so far
Iteration 3431: 4197.75 sec so far
Iteration 3436: 4203.64 sec so far
Iteration 3440: 4209.22 sec so far
Iteration 3444: 4214.41 sec so far
Iteration 3449: 4220.36 sec so far
Iteration 3454: 4226.19 sec so far
Iteration 3459: 4232.21 sec so far
Iteration 3464: 4237.75 sec so far
Iteration 3469: 4243.33 sec so far
Iteration 3474: 4248.90 sec so far
Iteration 3479: 4254.43 sec so far
Iteration 3484: 4260.01 sec so far
Iteration 3489: 4266.15 sec so far
Iteration 3493: 4271.62 sec so far
Iteration 3498: 4277.66 sec so far
Iteration 3503: 4283.80 sec so far
Iteration 3508: 4289.75 sec so far
Iteration 3513: 4295.54 sec so far
Iteration 3518: 4301.45 sec so far
Iteration 3523: 4306.95 sec so far
Iteration 3528: 4312.52 sec so far
Iteration 3533: 4318.15 sec so far
Iteration 3538: 4323.65 sec so far
Iteration 3543: 4329.22 sec so far
Iteration 3548: 4335.15 sec so far
Iteration 3552: 4340.59 sec so far
Iteration 3556: 4345.87 sec so far
Iteration 3561: 4351.89 sec so far
Iteration 3566: 4357.83 sec so far
Iteration 3571: 4363.77 sec so far
Iteration 3576: 4369.32 sec so far
Iteration 3581: 4374.88 sec so far
Iteration 3586: 4380.52 sec so far
Iteration 3591: 4386.05 sec so far
Iteration 3596: 4391.57 sec so far
Iteration 3601: 4397.51 sec so far
Iteration 3605: 4402.81 sec so far
Iteration 3609: 4407.97 sec so far
Iteration 3614: 4414.10 sec so far
Iteration 3619: 4420.16 sec so far
Iteration 3624: 4425.99 sec so far
Iteration 3629: 4431.88 sec so far
Iteration 3634: 4437.44 sec so far
Iteration 3639: 4443.01 sec so far
Iteration 3644: 4448.63 sec so far
Iteration 3649: 4454.11 sec so far
Iteration 3654: 4459.68 sec so far
Iteration 3659: 4465.49 sec so far
Iteration 3663: 4470.56 sec so far
Iteration 3667: 4476.26 sec so far
Iteration 3672: 4482.30 sec so far
Iteration 3677: 4488.25 sec so far
Iteration 3682: 4494.32 sec so far
Iteration 3687: 4499.87 sec so far
Iteration 3692: 4505.43 sec so far
Iteration 3697: 4511.04 sec so far
Iteration 3702: 4516.59 sec so far
Iteration 3707: 4522.13 sec so far
Iteration 3712: 4528.07 sec so far
Iteration 3716: 4533.08 sec so far
Iteration 3720: 4538.35 sec so far
Iteration 3725: 4544.45 sec so far
Iteration 3730: 4550.68 sec so far
Iteration 3735: 4556.51 sec so far
Iteration 3740: 4562.33 sec so far
Iteration 3745: 4567.90 sec so far
Iteration 3750: 4573.44 sec so far
Iteration 3755: 4578.98 sec so far
Iteration 3760: 4584.54 sec so far
Iteration 3765: 4590.11 sec so far
Iteration 3770: 4595.89 sec so far
Iteration 3775: 4602.11 sec so far
Iteration 3779: 4607.57 sec so far
Iteration 3783: 4612.62 sec so far
Iteration 3788: 4618.62 sec so far
Iteration 3793: 4624.79 sec so far
Iteration 3798: 4630.36 sec so far
Iteration 3803: 4635.94 sec so far
Iteration 3808: 4641.49 sec so far
Iteration 3813: 4647.06 sec so far
Iteration 3818: 4652.60 sec so far
Iteration 3823: 4658.53 sec so far
Iteration 3828: 4664.39 sec so far
Iteration 3832: 4669.69 sec so far
Iteration 3836: 4674.76 sec so far
Iteration 3841: 4681.13 sec so far
Iteration 3846: 4687.01 sec so far
Iteration 3851: 4692.70 sec so far
Iteration 3856: 4698.28 sec so far
Iteration 3861: 4703.67 sec so far
Iteration 3866: 4709.20 sec so far
Iteration 3871: 4714.76 sec so far
Iteration 3876: 4720.33 sec so far
Iteration 3881: 4725.82 sec so far
Iteration 3886: 4731.41 sec so far
Iteration 3891: 4737.01 sec so far
Iteration 3896: 4742.84 sec so far
Iteration 3901: 4748.82 sec so far
Iteration 3906: 4755.66 sec so far
Iteration 3910: 4760.69 sec so far
Iteration 3915: 4766.69 sec so far
Iteration 3920: 4772.58 sec so far
Iteration 3925: 4778.15 sec so far
Iteration 3930: 4783.70 sec so far
Iteration 3935: 4789.31 sec so far
Iteration 3940: 4794.87 sec so far
Iteration 3945: 4800.40 sec so far
Iteration 3950: 4806.31 sec so far
Iteration 3955: 4812.31 sec so far
Iteration 3959: 4817.43 sec so far
Iteration 3963: 4822.79 sec so far
Iteration 3968: 4828.94 sec so far
Iteration 3973: 4834.83 sec so far
Iteration 3978: 4840.69 sec so far
Iteration 3983: 4846.22 sec so far
Iteration 3988: 4851.82 sec so far
Iteration 3993: 4857.36 sec so far
Iteration 3998: 4862.91 sec so far
Iteration 4003: 4868.53 sec so far
Iteration 4008: 4874.39 sec so far
Iteration 4013: 4880.40 sec so far
Iteration 4018: 4886.96 sec so far
Iteration 4022: 4892.10 sec so far
Iteration 4027: 4898.34 sec so far
Iteration 4032: 4904.17 sec so far
Iteration 4037: 4909.77 sec so far
Iteration 4042: 4915.35 sec so far
Iteration 4047: 4920.93 sec so far
Iteration 4052: 4926.51 sec so far
Iteration 4057: 4932.09 sec so far
Iteration 4062: 4937.92 sec so far
Iteration 4067: 4943.88 sec so far
Iteration 4071: 4949.40 sec so far
Iteration 4075: 4954.56 sec so far
Iteration 4080: 4960.50 sec so far
Iteration 4085: 4966.44 sec so far
Iteration 4090: 4972.30 sec so far
Iteration 4095: 4977.84 sec so far
Iteration 4100: 4983.40 sec so far
Iteration 4105: 4989.00 sec so far
Iteration 4110: 4994.58 sec so far
Iteration 4115: 5000.16 sec so far
Iteration 4120: 5006.17 sec so far
Iteration 4125: 5012.03 sec so far
Iteration 4129: 5017.05 sec so far
Iteration 4133: 5022.28 sec so far
Iteration 4137: 5027.51 sec so far
Iteration 4142: 5033.58 sec so far
Iteration 4147: 5039.19 sec so far
Iteration 4152: 5044.74 sec so far
Iteration 4157: 5050.31 sec so far
Iteration 4162: 5055.85 sec so far
Iteration 4167: 5061.44 sec so far
Iteration 4172: 5067.38 sec so far
Iteration 4177: 5073.21 sec so far
Iteration 4182: 5079.09 sec so far
Iteration 4186: 5084.31 sec so far
Iteration 4190: 5089.85 sec so far
Iteration 4195: 5095.87 sec so far
Iteration 4200: 5101.79 sec so far
Iteration 4205: 5107.37 sec so far
Iteration 4210: 5112.92 sec so far
Iteration 4215: 5118.49 sec so far
Iteration 4220: 5124.01 sec so far
Iteration 4225: 5129.66 sec so far
Iteration 4230: 5135.51 sec so far
Iteration 4235: 5141.71 sec so far
Iteration 4240: 5147.55 sec so far
Iteration 4245: 5154.03 sec so far
Iteration 4249: 5159.34 sec so far
Iteration 4254: 5165.40 sec so far
Iteration 4259: 5171.03 sec so far
Iteration 4264: 5176.60 sec so far
Iteration 4269: 5182.16 sec so far
Iteration 4274: 5187.78 sec so far
Iteration 4279: 5193.48 sec so far
Iteration 4284: 5199.49 sec so far
Iteration 4289: 5205.46 sec so far
Iteration 4294: 5211.47 sec so far
Iteration 4298: 5216.54 sec so far
Iteration 4302: 5222.18 sec so far
Iteration 4307: 5228.22 sec so far
Iteration 4312: 5234.05 sec so far
Iteration 4317: 5239.60 sec so far
Iteration 4322: 5245.14 sec so far
Iteration 4327: 5250.79 sec so far
Iteration 4332: 5256.39 sec so far
Iteration 4337: 5261.91 sec so far
Iteration 4342: 5268.10 sec so far
Iteration 4347: 5274.05 sec so far
Iteration 4352: 5279.88 sec so far
Iteration 4357: 5286.66 sec so far
Iteration 4361: 5291.77 sec so far
Iteration 4366: 5297.76 sec so far
Iteration 4371: 5303.40 sec so far
Iteration 4376: 5308.96 sec so far
Iteration 4381: 5314.50 sec so far
Iteration 4386: 5320.10 sec so far
Iteration 4391: 5325.72 sec so far
Iteration 4396: 5331.57 sec so far
Iteration 4401: 5337.53 sec so far
Iteration 4406: 5343.62 sec so far
Iteration 4410: 5348.65 sec so far
Iteration 4414: 5353.94 sec so far
Iteration 4419: 5360.26 sec so far
Iteration 4424: 5366.01 sec so far
Iteration 4429: 5371.57 sec so far
Iteration 4434: 5377.11 sec so far
Iteration 4439: 5382.70 sec so far
Iteration 4444: 5388.30 sec so far
Iteration 4449: 5393.99 sec so far
Iteration 4454: 5400.13 sec so far
Iteration 4459: 5405.96 sec so far
Iteration 4464: 5411.85 sec so far
Iteration 4469: 5418.35 sec so far
Iteration 4473: 5423.66 sec so far
Iteration 4478: 5429.69 sec so far
Iteration 4483: 5435.28 sec so far
Iteration 4488: 5440.89 sec so far
Iteration 4493: 5446.47 sec so far
Iteration 4498: 5452.00 sec so far
Iteration 4503: 5457.63 sec so far
Iteration 4508: 5463.54 sec so far
Iteration 4513: 5469.56 sec so far
Iteration 4518: 5475.41 sec so far
Iteration 4522: 5480.74 sec so far
Iteration 4526: 5486.00 sec so far
Iteration 4530: 5491.05 sec so far
Iteration 4535: 5496.87 sec so far
Iteration 4540: 5502.39 sec so far
Iteration 4545: 5507.95 sec so far
Iteration 4550: 5513.53 sec so far
Iteration 4555: 5519.14 sec so far
Iteration 4560: 5524.84 sec so far
Iteration 4565: 5530.98 sec so far
Iteration 4570: 5536.82 sec so far
Iteration 4575: 5542.73 sec so far
Iteration 4580: 5548.94 sec so far
Iteration 4584: 5554.17 sec so far
Iteration 4588: 5559.53 sec so far
Iteration 4593: 5565.17 sec so far
Iteration 4598: 5570.72 sec so far
Iteration 4603: 5576.32 sec so far
Iteration 4608: 5581.87 sec so far
Iteration 4613: 5587.49 sec so far
Iteration 4618: 5593.28 sec so far
Iteration 4623: 5599.23 sec so far
Iteration 4628: 5605.38 sec so far
Iteration 4633: 5611.24 sec so far
Iteration 4637: 5616.45 sec so far
Iteration 4641: 5621.79 sec so far
Iteration 4646: 5627.76 sec so far
Iteration 4651: 5633.34 sec so far
Iteration 4656: 5638.89 sec so far
Iteration 4661: 5644.47 sec so far
Iteration 4666: 5650.08 sec so far
Iteration 4671: 5655.73 sec so far
Iteration 4676: 5661.92 sec so far
Iteration 4681: 5667.75 sec so far
Iteration 4686: 5673.57 sec so far
Iteration 4691: 5679.70 sec so far
Iteration 4695: 5684.72 sec so far
Iteration 4699: 5690.13 sec so far
Iteration 4704: 5696.09 sec so far
Iteration 4709: 5701.69 sec so far
Iteration 4714: 5707.25 sec so far
Iteration 4719: 5712.83 sec so far
Iteration 4724: 5718.43 sec so far
Iteration 4729: 5724.22 sec so far
Iteration 4734: 5730.17 sec so far
Iteration 4739: 5736.37 sec so far
Iteration 4744: 5742.21 sec so far
Iteration 4749: 5748.37 sec so far
Iteration 4753: 5754.01 sec so far
Iteration 4758: 5759.82 sec so far
Iteration 4763: 5765.46 sec so far
Iteration 4768: 5771.04 sec so far
Iteration 4773: 5776.59 sec so far
Iteration 4778: 5782.15 sec so far
Iteration 4783: 5788.07 sec so far
Iteration 4788: 5793.93 sec so far
Iteration 4793: 5799.75 sec so far
Iteration 4798: 5805.88 sec so far
Iteration 4803: 5811.73 sec so far
Iteration 4808: 5818.30 sec so far
Iteration 4812: 5823.53 sec so far
Iteration 4817: 5829.23 sec so far
Iteration 4822: 5834.88 sec so far
Iteration 4827: 5840.46 sec so far
Iteration 4832: 5846.07 sec so far
Iteration 4837: 5851.57 sec so far
Iteration 4842: 5857.83 sec so far
Iteration 4847: 5863.73 sec so far
Iteration 4852: 5869.58 sec so far
Iteration 4857: 5875.65 sec so far
Iteration 4861: 5880.69 sec so far
Iteration 4865: 5885.93 sec so far
Iteration 4870: 5891.91 sec so far
Iteration 4875: 5897.56 sec so far
Value iteration (with Jacobi) took 4880 iterations, 172060835840 multiplications and 5903.243 seconds.
Probabilistic reachability took 5915.66 seconds.
Value in the initial state: 0.5386630172446859
Time for model checking: 5919.594 seconds.
Result: 0.5386630172446859 (+/- 5.381002200973655E-6 estimated; rel err 9.989551962371593E-6)
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g