Log files for model polling.18-16 and tool configuration prism_from-umb_check_ex
[4909.745, 5047.44, 4570.202, 4398.647, 4210.482]
Log file: prism_from-umb_check_ex_polling.18-16_rep1.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.umb %indir/property.props
Wallclock time: 4909.745 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 07:12:04 GMT+02:00 2026
Hostname: n23m0048.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex -importmodel /w0/tmp/slurm_tq429871.4961655/tmp3sm8__qyprism_from-umb_check_ex_polling.18-16_tmp_indir_/prism.model.umb /w0/tmp/slurm_tq429871.4961655/tmp3sm8__qyprism_from-umb_check_ex_polling.18-16_tmp_indir_/property.props
Importing model from "prism.model.umb"...
Type: CTMC
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: x
Labels: "serve_s2" "serve_s1"
Parsing properties file "/w0/tmp/slurm_tq429871.4961655/tmp3sm8__qyprism_from-umb_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)...
Time for model construction: 7.295 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.719 seconds)
Starting Prob0...
Prob0 took 2.598 seconds.
Starting Prob1...
Prob1 took 4.133 seconds.
target=131072, yes=3407872, no=262144, maybe=3407872
Starting value iteration (with Jacobi)...
Iteration 5: 5.04 sec so far
Iteration 10: 10.51 sec so far
Iteration 15: 15.67 sec so far
Iteration 20: 21.08 sec so far
Iteration 25: 26.58 sec so far
Iteration 30: 31.71 sec so far
Iteration 35: 36.80 sec so far
Iteration 40: 41.91 sec so far
Iteration 45: 47.00 sec so far
Iteration 50: 52.11 sec so far
Iteration 55: 57.18 sec so far
Iteration 60: 62.90 sec so far
Iteration 65: 68.03 sec so far
Iteration 71: 73.81 sec so far
Iteration 76: 78.85 sec so far
Iteration 81: 83.93 sec so far
Iteration 87: 89.82 sec so far
Iteration 92: 94.91 sec so far
Iteration 97: 99.95 sec so far
Iteration 102: 105.02 sec so far
Iteration 107: 110.13 sec so far
Iteration 112: 115.72 sec so far
Iteration 117: 121.03 sec so far
Iteration 122: 126.19 sec so far
Iteration 127: 131.47 sec so far
Iteration 133: 137.27 sec so far
Iteration 139: 143.04 sec so far
Iteration 145: 148.80 sec so far
Iteration 151: 154.56 sec so far
Iteration 157: 160.52 sec so far
Iteration 162: 165.63 sec so far
Iteration 167: 171.02 sec so far
Iteration 172: 176.86 sec so far
Iteration 177: 182.34 sec so far
Iteration 182: 187.79 sec so far
Iteration 188: 193.65 sec so far
Iteration 194: 199.44 sec so far
Iteration 200: 205.14 sec so far
Iteration 206: 210.98 sec so far
Iteration 212: 216.81 sec so far
Iteration 218: 222.62 sec so far
Iteration 223: 227.73 sec so far
Iteration 228: 233.63 sec so far
Iteration 233: 239.10 sec so far
Iteration 238: 244.76 sec so far
Iteration 244: 250.63 sec so far
Iteration 249: 255.68 sec so far
Iteration 255: 261.62 sec so far
Iteration 261: 267.38 sec so far
Iteration 267: 273.10 sec so far
Iteration 273: 278.89 sec so far
Iteration 278: 283.93 sec so far
Iteration 283: 289.44 sec so far
Iteration 288: 295.11 sec so far
Iteration 293: 300.75 sec so far
Iteration 298: 305.86 sec so far
Iteration 304: 311.78 sec so far
Iteration 309: 316.84 sec so far
Iteration 314: 321.98 sec so far
Iteration 320: 327.91 sec so far
Iteration 326: 333.73 sec so far
Iteration 332: 339.51 sec so far
Iteration 338: 345.26 sec so far
Iteration 343: 350.31 sec so far
Iteration 348: 355.59 sec so far
Iteration 353: 361.43 sec so far
Iteration 358: 366.75 sec so far
Iteration 363: 372.07 sec so far
Iteration 368: 377.12 sec so far
Iteration 374: 383.22 sec so far
Iteration 379: 388.23 sec so far
Iteration 385: 394.09 sec so far
Iteration 391: 399.91 sec so far
Iteration 397: 405.76 sec so far
Iteration 402: 411.02 sec so far
Iteration 407: 416.89 sec so far
Iteration 412: 422.52 sec so far
Iteration 417: 428.45 sec so far
Iteration 422: 433.67 sec so far
Iteration 427: 438.83 sec so far
Iteration 432: 444.00 sec so far
Iteration 437: 449.05 sec so far
Iteration 442: 454.14 sec so far
Iteration 448: 460.06 sec so far
Iteration 454: 465.88 sec so far
Iteration 460: 471.73 sec so far
Iteration 465: 476.92 sec so far
Iteration 470: 482.86 sec so far
Iteration 475: 488.50 sec so far
Iteration 480: 493.98 sec so far
Iteration 485: 499.48 sec so far
Iteration 490: 504.66 sec so far
Iteration 495: 509.83 sec so far
Iteration 500: 514.91 sec so far
Iteration 505: 520.00 sec so far
Iteration 511: 525.88 sec so far
Iteration 517: 531.70 sec so far
Iteration 522: 537.20 sec so far
Iteration 527: 542.48 sec so far
Iteration 532: 547.93 sec so far
Iteration 537: 553.47 sec so far
Iteration 542: 558.65 sec so far
Iteration 547: 563.72 sec so far
Iteration 552: 568.93 sec so far
Iteration 557: 574.18 sec so far
Iteration 562: 579.38 sec so far
Iteration 567: 584.46 sec so far
Iteration 573: 590.37 sec so far
Iteration 579: 596.09 sec so far
Iteration 585: 602.10 sec so far
Iteration 590: 607.89 sec so far
Iteration 595: 613.08 sec so far
Iteration 600: 618.37 sec so far
Iteration 605: 623.60 sec so far
Iteration 611: 629.45 sec so far
Iteration 616: 634.61 sec so far
Iteration 621: 639.68 sec so far
Iteration 626: 644.78 sec so far
Iteration 631: 649.95 sec so far
Iteration 636: 655.18 sec so far
Iteration 641: 660.61 sec so far
Iteration 646: 666.04 sec so far
Iteration 651: 671.74 sec so far
Iteration 656: 677.03 sec so far
Iteration 661: 682.19 sec so far
Iteration 667: 687.99 sec so far
Iteration 673: 693.86 sec so far
Iteration 678: 699.03 sec so far
Iteration 683: 704.23 sec so far
Iteration 688: 709.34 sec so far
Iteration 693: 714.44 sec so far
Iteration 698: 719.61 sec so far
Iteration 703: 724.85 sec so far
Iteration 708: 730.29 sec so far
Iteration 713: 735.56 sec so far
Iteration 718: 741.15 sec so far
Iteration 724: 747.39 sec so far
Iteration 730: 753.36 sec so far
Iteration 736: 759.24 sec so far
Iteration 741: 764.44 sec so far
Iteration 746: 769.51 sec so far
Iteration 751: 774.61 sec so far
Iteration 756: 779.79 sec so far
Iteration 761: 784.97 sec so far
Iteration 766: 790.25 sec so far
Iteration 771: 796.13 sec so far
Iteration 776: 801.67 sec so far
Iteration 781: 806.79 sec so far
Iteration 786: 811.94 sec so far
Iteration 792: 817.83 sec so far
Iteration 798: 823.71 sec so far
Iteration 803: 828.77 sec so far
Iteration 808: 834.07 sec so far
Iteration 813: 839.19 sec so far
Iteration 818: 844.35 sec so far
Iteration 823: 849.51 sec so far
Iteration 828: 854.76 sec so far
Iteration 833: 860.11 sec so far
Iteration 838: 865.78 sec so far
Iteration 843: 871.19 sec so far
Iteration 848: 876.34 sec so far
Iteration 853: 881.46 sec so far
Iteration 859: 887.35 sec so far
Iteration 865: 893.18 sec so far
Iteration 870: 898.51 sec so far
Iteration 875: 903.86 sec so far
Iteration 880: 908.96 sec so far
Iteration 885: 914.13 sec so far
Iteration 890: 919.42 sec so far
Iteration 895: 925.48 sec so far
Iteration 900: 931.14 sec so far
Iteration 905: 936.27 sec so far
Iteration 910: 941.38 sec so far
Iteration 916: 947.24 sec so far
Iteration 922: 953.13 sec so far
Iteration 928: 959.08 sec so far
Iteration 933: 964.40 sec so far
Iteration 938: 969.60 sec so far
Iteration 943: 974.76 sec so far
Iteration 948: 979.95 sec so far
Iteration 953: 985.32 sec so far
Iteration 958: 990.94 sec so far
Iteration 963: 996.72 sec so far
Iteration 968: 1001.79 sec so far
Iteration 973: 1007.12 sec so far
Iteration 979: 1013.00 sec so far
Iteration 985: 1018.84 sec so far
Iteration 991: 1024.99 sec so far
Iteration 996: 1030.17 sec so far
Iteration 1001: 1035.33 sec so far
Iteration 1006: 1040.57 sec so far
Iteration 1011: 1045.98 sec so far
Iteration 1016: 1051.91 sec so far
Iteration 1021: 1057.85 sec so far
Iteration 1026: 1063.03 sec so far
Iteration 1031: 1068.40 sec so far
Iteration 1037: 1074.29 sec so far
Iteration 1043: 1080.16 sec so far
Iteration 1049: 1086.06 sec so far
Iteration 1054: 1091.26 sec so far
Iteration 1059: 1096.43 sec so far
Iteration 1064: 1101.61 sec so far
Iteration 1069: 1106.74 sec so far
Iteration 1074: 1112.12 sec so far
Iteration 1079: 1117.97 sec so far
Iteration 1084: 1123.45 sec so far
Iteration 1089: 1129.11 sec so far
Iteration 1094: 1134.14 sec so far
Iteration 1099: 1139.36 sec so far
Iteration 1105: 1145.36 sec so far
Iteration 1111: 1151.18 sec so far
Iteration 1116: 1156.36 sec so far
Iteration 1121: 1161.54 sec so far
Iteration 1126: 1166.76 sec so far
Iteration 1131: 1172.06 sec so far
Iteration 1136: 1178.18 sec so far
Iteration 1141: 1183.76 sec so far
Iteration 1146: 1189.77 sec so far
Iteration 1151: 1194.87 sec so far
Iteration 1156: 1199.99 sec so far
Iteration 1162: 1205.85 sec so far
Iteration 1168: 1211.77 sec so far
Iteration 1174: 1217.71 sec so far
Iteration 1179: 1222.92 sec so far
Iteration 1184: 1228.16 sec so far
Iteration 1189: 1233.47 sec so far
Iteration 1194: 1238.88 sec so far
Iteration 1199: 1244.54 sec so far
Iteration 1204: 1250.19 sec so far
Iteration 1209: 1255.73 sec so far
Iteration 1214: 1261.07 sec so far
Iteration 1220: 1266.97 sec so far
Iteration 1226: 1272.92 sec so far
Iteration 1232: 1278.82 sec so far
Iteration 1238: 1284.67 sec so far
Iteration 1244: 1290.60 sec so far
Iteration 1250: 1296.46 sec so far
Iteration 1255: 1301.67 sec so far
Iteration 1260: 1307.27 sec so far
Iteration 1265: 1313.13 sec so far
Iteration 1270: 1318.66 sec so far
Iteration 1275: 1324.35 sec so far
Iteration 1280: 1329.63 sec so far
Iteration 1285: 1334.74 sec so far
Iteration 1291: 1340.63 sec so far
Iteration 1297: 1346.48 sec so far
Iteration 1303: 1352.33 sec so far
Iteration 1309: 1358.27 sec so far
Iteration 1315: 1364.13 sec so far
Iteration 1320: 1369.23 sec so far
Iteration 1325: 1374.77 sec so far
Iteration 1330: 1380.13 sec so far
Iteration 1335: 1386.14 sec so far
Iteration 1340: 1391.61 sec so far
Iteration 1345: 1397.19 sec so far
Iteration 1350: 1402.37 sec so far
Iteration 1356: 1408.21 sec so far
Iteration 1362: 1414.07 sec so far
Iteration 1368: 1419.96 sec so far
Iteration 1374: 1425.85 sec so far
Iteration 1379: 1430.88 sec so far
Iteration 1384: 1436.45 sec so far
Iteration 1389: 1442.17 sec so far
Iteration 1394: 1448.11 sec so far
Iteration 1399: 1453.40 sec so far
Iteration 1404: 1459.02 sec so far
Iteration 1409: 1464.36 sec so far
Iteration 1415: 1470.22 sec so far
Iteration 1421: 1476.09 sec so far
Iteration 1427: 1482.00 sec so far
Iteration 1433: 1487.82 sec so far
Iteration 1439: 1493.63 sec so far
Iteration 1444: 1498.87 sec so far
Iteration 1449: 1504.47 sec so far
Iteration 1454: 1510.18 sec so far
Iteration 1459: 1516.18 sec so far
Iteration 1464: 1521.88 sec so far
Iteration 1469: 1527.23 sec so far
Iteration 1474: 1532.50 sec so far
Iteration 1480: 1538.35 sec so far
Iteration 1486: 1544.26 sec so far
Iteration 1492: 1550.15 sec so far
Iteration 1498: 1556.08 sec so far
Iteration 1503: 1561.35 sec so far
Iteration 1508: 1566.78 sec so far
Iteration 1513: 1572.73 sec so far
Iteration 1518: 1578.19 sec so far
Iteration 1523: 1583.59 sec so far
Iteration 1528: 1589.03 sec so far
Iteration 1533: 1594.34 sec so far
Iteration 1539: 1600.25 sec so far
Iteration 1545: 1606.09 sec so far
Iteration 1551: 1611.96 sec so far
Iteration 1557: 1617.81 sec so far
Iteration 1563: 1623.63 sec so far
Iteration 1568: 1629.02 sec so far
Iteration 1573: 1634.74 sec so far
Iteration 1578: 1640.35 sec so far
Iteration 1583: 1646.28 sec so far
Iteration 1588: 1651.92 sec so far
Iteration 1593: 1657.14 sec so far
Iteration 1598: 1662.34 sec so far
Iteration 1604: 1668.18 sec so far
Iteration 1610: 1674.05 sec so far
Iteration 1616: 1679.88 sec so far
Iteration 1621: 1684.91 sec so far
Iteration 1626: 1690.22 sec so far
Iteration 1631: 1695.60 sec so far
Iteration 1636: 1701.77 sec so far
Iteration 1641: 1707.26 sec so far
Iteration 1646: 1712.78 sec so far
Iteration 1651: 1718.04 sec so far
Iteration 1656: 1723.28 sec so far
Iteration 1661: 1728.48 sec so far
Iteration 1667: 1734.29 sec so far
Iteration 1673: 1740.13 sec so far
Iteration 1679: 1745.99 sec so far
Iteration 1685: 1751.96 sec so far
Iteration 1690: 1757.33 sec so far
Iteration 1695: 1762.85 sec so far
Iteration 1700: 1768.79 sec so far
Iteration 1705: 1774.16 sec so far
Iteration 1710: 1779.79 sec so far
Iteration 1715: 1785.08 sec so far
Iteration 1720: 1790.22 sec so far
Iteration 1726: 1796.04 sec so far
Iteration 1732: 1801.70 sec so far
Iteration 1738: 1807.50 sec so far
Iteration 1744: 1813.78 sec so far
Iteration 1749: 1818.90 sec so far
Iteration 1754: 1824.10 sec so far
Iteration 1759: 1829.78 sec so far
Iteration 1764: 1834.83 sec so far
Iteration 1769: 1840.42 sec so far
Iteration 1774: 1845.64 sec so far
Iteration 1779: 1850.83 sec so far
Iteration 1784: 1856.08 sec so far
Iteration 1789: 1861.48 sec so far
Iteration 1794: 1866.73 sec so far
Iteration 1799: 1871.84 sec so far
Iteration 1805: 1877.78 sec so far
Iteration 1810: 1882.96 sec so far
Iteration 1815: 1888.41 sec so far
Iteration 1820: 1893.71 sec so far
Iteration 1825: 1898.99 sec so far
Iteration 1830: 1904.58 sec so far
Iteration 1835: 1909.77 sec so far
Iteration 1840: 1914.88 sec so far
Iteration 1845: 1920.01 sec so far
Iteration 1850: 1925.21 sec so far
Iteration 1855: 1930.64 sec so far
Iteration 1860: 1936.00 sec so far
Iteration 1865: 1941.16 sec so far
Iteration 1870: 1946.42 sec so far
Iteration 1875: 1951.86 sec so far
Iteration 1880: 1957.19 sec so far
Iteration 1885: 1962.54 sec so far
Iteration 1890: 1967.56 sec so far
Iteration 1895: 1972.84 sec so far
Iteration 1900: 1978.19 sec so far
Iteration 1905: 1983.47 sec so far
Iteration 1910: 1988.60 sec so far
Iteration 1915: 1993.68 sec so far
Iteration 1920: 1998.81 sec so far
Iteration 1925: 2003.98 sec so far
Iteration 1931: 2009.88 sec so far
Iteration 1936: 2015.14 sec so far
Iteration 1941: 2020.20 sec so far
Iteration 1946: 2025.83 sec so far
Iteration 1951: 2031.10 sec so far
Iteration 1956: 2036.82 sec so far
Iteration 1961: 2042.13 sec so far
Iteration 1966: 2047.42 sec so far
Iteration 1971: 2052.93 sec so far
Iteration 1976: 2058.21 sec so far
Iteration 1981: 2063.37 sec so far
Iteration 1986: 2068.53 sec so far
Iteration 1991: 2073.93 sec so far
Iteration 1996: 2079.00 sec so far
Iteration 2001: 2084.62 sec so far
Iteration 2006: 2090.03 sec so far
Iteration 2011: 2095.09 sec so far
Iteration 2016: 2100.67 sec so far
Iteration 2021: 2105.88 sec so far
Iteration 2026: 2111.01 sec so far
Iteration 2031: 2116.15 sec so far
Iteration 2036: 2121.31 sec so far
Iteration 2041: 2126.58 sec so far
Iteration 2046: 2132.10 sec so far
Iteration 2052: 2138.00 sec so far
Iteration 2057: 2143.35 sec so far
Iteration 2062: 2148.73 sec so far
Iteration 2067: 2154.04 sec so far
Iteration 2072: 2159.45 sec so far
Iteration 2077: 2164.76 sec so far
Iteration 2082: 2170.41 sec so far
Iteration 2087: 2175.63 sec so far
Iteration 2092: 2180.81 sec so far
Iteration 2097: 2186.01 sec so far
Iteration 2102: 2191.21 sec so far
Iteration 2107: 2196.58 sec so far
Iteration 2112: 2202.01 sec so far
Iteration 2117: 2207.39 sec so far
Iteration 2122: 2212.68 sec so far
Iteration 2127: 2218.01 sec so far
Iteration 2132: 2223.39 sec so far
Iteration 2138: 2229.30 sec so far
Iteration 2143: 2234.52 sec so far
Iteration 2148: 2239.81 sec so far
Iteration 2153: 2245.07 sec so far
Iteration 2158: 2250.29 sec so far
Iteration 2163: 2255.53 sec so far
Iteration 2168: 2260.76 sec so far
Iteration 2173: 2266.39 sec so far
Iteration 2178: 2271.56 sec so far
Iteration 2183: 2276.75 sec so far
Iteration 2188: 2282.39 sec so far
Iteration 2193: 2287.47 sec so far
Iteration 2198: 2292.82 sec so far
Iteration 2203: 2298.01 sec so far
Iteration 2208: 2303.23 sec so far
Iteration 2213: 2308.43 sec so far
Iteration 2218: 2313.78 sec so far
Iteration 2223: 2319.10 sec so far
Iteration 2228: 2324.24 sec so far
Iteration 2233: 2329.94 sec so far
Iteration 2238: 2335.15 sec so far
Iteration 2243: 2340.84 sec so far
Iteration 2248: 2345.89 sec so far
Iteration 2253: 2351.07 sec so far
Iteration 2258: 2356.13 sec so far
Iteration 2263: 2361.16 sec so far
Iteration 2268: 2366.51 sec so far
Iteration 2273: 2371.74 sec so far
Iteration 2278: 2376.99 sec so far
Iteration 2283: 2382.23 sec so far
Iteration 2288: 2387.55 sec so far
Iteration 2293: 2393.23 sec so far
Iteration 2298: 2398.46 sec so far
Iteration 2303: 2403.92 sec so far
Iteration 2308: 2409.07 sec so far
Iteration 2313: 2414.25 sec so far
Iteration 2318: 2419.58 sec so far
Iteration 2324: 2425.45 sec so far
Iteration 2330: 2431.33 sec so far
Iteration 2336: 2437.29 sec so far
Iteration 2342: 2443.37 sec so far
Iteration 2347: 2448.59 sec so far
Iteration 2352: 2454.23 sec so far
Iteration 2357: 2459.53 sec so far
Iteration 2362: 2465.50 sec so far
Iteration 2367: 2471.05 sec so far
Iteration 2372: 2476.36 sec so far
Iteration 2377: 2481.53 sec so far
Iteration 2383: 2487.41 sec so far
Iteration 2389: 2493.31 sec so far
Iteration 2395: 2499.21 sec so far
Iteration 2401: 2505.11 sec so far
Iteration 2406: 2510.26 sec so far
Iteration 2411: 2515.43 sec so far
Iteration 2416: 2520.61 sec so far
Iteration 2421: 2526.35 sec so far
Iteration 2426: 2531.92 sec so far
Iteration 2431: 2537.54 sec so far
Iteration 2436: 2543.14 sec so far
Iteration 2441: 2548.53 sec so far
Iteration 2447: 2554.49 sec so far
Iteration 2453: 2560.39 sec so far
Iteration 2459: 2566.24 sec so far
Iteration 2465: 2572.13 sec so far
Iteration 2470: 2577.44 sec so far
Iteration 2475: 2583.22 sec so far
Iteration 2480: 2588.68 sec so far
Iteration 2485: 2594.27 sec so far
Iteration 2490: 2600.45 sec so far
Iteration 2495: 2605.97 sec so far
Iteration 2500: 2611.24 sec so far
Iteration 2506: 2616.98 sec so far
Iteration 2512: 2622.80 sec so far
Iteration 2518: 2628.72 sec so far
Iteration 2524: 2634.59 sec so far
Iteration 2530: 2640.46 sec so far
Iteration 2536: 2646.34 sec so far
Iteration 2541: 2651.34 sec so far
Iteration 2546: 2657.03 sec so far
Iteration 2551: 2662.52 sec so far
Iteration 2556: 2668.45 sec so far
Iteration 2561: 2674.05 sec so far
Iteration 2566: 2679.42 sec so far
Iteration 2571: 2684.58 sec so far
Iteration 2576: 2689.78 sec so far
Iteration 2582: 2695.68 sec so far
Iteration 2588: 2701.59 sec so far
Iteration 2594: 2707.56 sec so far
Iteration 2599: 2712.76 sec so far
Iteration 2604: 2717.93 sec so far
Iteration 2609: 2723.90 sec so far
Iteration 2614: 2729.95 sec so far
Iteration 2619: 2735.69 sec so far
Iteration 2624: 2740.93 sec so far
Iteration 2629: 2746.18 sec so far
Iteration 2634: 2751.60 sec so far
Iteration 2639: 2756.66 sec so far
Iteration 2645: 2762.53 sec so far
Iteration 2651: 2768.40 sec so far
Iteration 2657: 2774.26 sec so far
Iteration 2662: 2779.39 sec so far
Iteration 2667: 2784.61 sec so far
Iteration 2672: 2790.51 sec so far
Iteration 2677: 2796.05 sec so far
Iteration 2682: 2801.33 sec so far
Iteration 2687: 2806.89 sec so far
Iteration 2692: 2812.14 sec so far
Iteration 2697: 2817.61 sec so far
Iteration 2703: 2823.46 sec so far
Iteration 2709: 2829.37 sec so far
Iteration 2715: 2835.23 sec so far
Iteration 2721: 2841.58 sec so far
Iteration 2727: 2847.55 sec so far
Iteration 2732: 2853.53 sec so far
Iteration 2737: 2859.09 sec so far
Iteration 2742: 2864.93 sec so far
Iteration 2747: 2870.09 sec so far
Iteration 2752: 2875.24 sec so far
Iteration 2757: 2880.38 sec so far
Iteration 2762: 2885.53 sec so far
Iteration 2768: 2891.35 sec so far
Iteration 2774: 2897.20 sec so far
Iteration 2780: 2903.09 sec so far
Iteration 2785: 2908.31 sec so far
Iteration 2790: 2913.38 sec so far
Iteration 2795: 2919.37 sec so far
Iteration 2800: 2925.35 sec so far
Iteration 2805: 2930.69 sec so far
Iteration 2810: 2936.19 sec so far
Iteration 2815: 2941.41 sec so far
Iteration 2820: 2946.83 sec so far
Iteration 2825: 2951.85 sec so far
Iteration 2831: 2957.65 sec so far
Iteration 2837: 2963.56 sec so far
Iteration 2842: 2968.82 sec so far
Iteration 2847: 2974.24 sec so far
Iteration 2852: 2979.49 sec so far
Iteration 2857: 2985.23 sec so far
Iteration 2862: 2990.98 sec so far
Iteration 2867: 2996.11 sec so far
Iteration 2872: 3001.22 sec so far
Iteration 2877: 3006.35 sec so far
Iteration 2882: 3011.51 sec so far
Iteration 2887: 3016.61 sec so far
Iteration 2893: 3022.45 sec so far
Iteration 2899: 3028.29 sec so far
Iteration 2904: 3033.37 sec so far
Iteration 2909: 3038.62 sec so far
Iteration 2914: 3043.85 sec so far
Iteration 2919: 3049.79 sec so far
Iteration 2924: 3055.47 sec so far
Iteration 2929: 3061.07 sec so far
Iteration 2934: 3066.27 sec so far
Iteration 2939: 3071.44 sec so far
Iteration 2944: 3076.70 sec so far
Iteration 2949: 3081.78 sec so far
Iteration 2955: 3087.60 sec so far
Iteration 2960: 3092.65 sec so far
Iteration 2965: 3097.98 sec so far
Iteration 2970: 3103.29 sec so far
Iteration 2975: 3108.64 sec so far
Iteration 2980: 3113.99 sec so far
Iteration 2985: 3119.67 sec so far
Iteration 2990: 3124.95 sec so far
Iteration 2995: 3130.11 sec so far
Iteration 3000: 3135.30 sec so far
Iteration 3005: 3140.53 sec so far
Iteration 3010: 3145.77 sec so far
Iteration 3016: 3151.61 sec so far
Iteration 3022: 3157.47 sec so far
Iteration 3027: 3162.79 sec so far
Iteration 3032: 3167.82 sec so far
Iteration 3037: 3173.37 sec so far
Iteration 3042: 3178.98 sec so far
Iteration 3047: 3184.38 sec so far
Iteration 3052: 3190.01 sec so far
Iteration 3057: 3195.15 sec so far
Iteration 3062: 3200.25 sec so far
Iteration 3067: 3205.36 sec so far
Iteration 3072: 3210.39 sec so far
Iteration 3078: 3216.26 sec so far
Iteration 3084: 3222.23 sec so far
Iteration 3089: 3227.59 sec so far
Iteration 3094: 3232.92 sec so far
Iteration 3099: 3238.26 sec so far
Iteration 3104: 3243.65 sec so far
Iteration 3110: 3249.60 sec so far
Iteration 3116: 3255.47 sec so far
Iteration 3121: 3260.67 sec so far
Iteration 3126: 3265.99 sec so far
Iteration 3131: 3271.38 sec so far
Iteration 3136: 3276.53 sec so far
Iteration 3141: 3281.64 sec so far
Iteration 3146: 3286.92 sec so far
Iteration 3151: 3292.47 sec so far
Iteration 3156: 3297.56 sec so far
Iteration 3161: 3303.20 sec so far
Iteration 3166: 3308.24 sec so far
Iteration 3171: 3313.55 sec so far
Iteration 3177: 3319.47 sec so far
Iteration 3182: 3324.57 sec so far
Iteration 3187: 3329.72 sec so far
Iteration 3192: 3334.93 sec so far
Iteration 3197: 3340.36 sec so far
Iteration 3202: 3345.76 sec so far
Iteration 3207: 3351.29 sec so far
Iteration 3212: 3357.00 sec so far
Iteration 3217: 3362.41 sec so far
Iteration 3222: 3367.47 sec so far
Iteration 3227: 3372.75 sec so far
Iteration 3233: 3378.65 sec so far
Iteration 3239: 3384.51 sec so far
Iteration 3244: 3389.64 sec so far
Iteration 3249: 3394.80 sec so far
Iteration 3254: 3399.94 sec so far
Iteration 3259: 3405.18 sec so far
Iteration 3264: 3410.47 sec so far
Iteration 3269: 3416.07 sec so far
Iteration 3274: 3421.28 sec so far
Iteration 3279: 3426.73 sec so far
Iteration 3284: 3431.97 sec so far
Iteration 3290: 3438.15 sec so far
Iteration 3296: 3443.77 sec so far
Iteration 3302: 3449.37 sec so far
Iteration 3308: 3454.97 sec so far
Iteration 3314: 3460.57 sec so far
Iteration 3320: 3466.16 sec so far
Iteration 3326: 3471.76 sec so far
Iteration 3331: 3476.76 sec so far
Iteration 3336: 3481.87 sec so far
Iteration 3341: 3486.88 sec so far
Iteration 3346: 3492.07 sec so far
Iteration 3352: 3497.96 sec so far
Iteration 3358: 3503.73 sec so far
Iteration 3364: 3509.33 sec so far
Iteration 3370: 3514.92 sec so far
Iteration 3376: 3520.50 sec so far
Iteration 3382: 3526.07 sec so far
Iteration 3388: 3531.71 sec so far
Iteration 3394: 3537.42 sec so far
Iteration 3400: 3543.55 sec so far
Iteration 3406: 3549.28 sec so far
Iteration 3411: 3554.65 sec so far
Iteration 3416: 3559.66 sec so far
Iteration 3421: 3564.72 sec so far
Iteration 3427: 3570.36 sec so far
Iteration 3433: 3575.98 sec so far
Iteration 3439: 3581.57 sec so far
Iteration 3445: 3587.16 sec so far
Iteration 3451: 3592.78 sec so far
Iteration 3457: 3598.39 sec so far
Iteration 3462: 3603.44 sec so far
Iteration 3467: 3608.54 sec so far
Iteration 3472: 3613.55 sec so far
Iteration 3477: 3618.74 sec so far
Iteration 3483: 3624.66 sec so far
Iteration 3489: 3630.44 sec so far
Iteration 3495: 3636.19 sec so far
Iteration 3501: 3641.78 sec so far
Iteration 3507: 3647.38 sec so far
Iteration 3513: 3652.97 sec so far
Iteration 3519: 3658.56 sec so far
Iteration 3525: 3664.15 sec so far
Iteration 3531: 3670.22 sec so far
Iteration 3537: 3675.92 sec so far
Iteration 3542: 3681.28 sec so far
Iteration 3547: 3686.34 sec so far
Iteration 3552: 3691.41 sec so far
Iteration 3558: 3697.05 sec so far
Iteration 3564: 3702.66 sec so far
Iteration 3570: 3708.26 sec so far
Iteration 3576: 3713.85 sec so far
Iteration 3582: 3719.45 sec so far
Iteration 3588: 3725.06 sec so far
Iteration 3593: 3730.10 sec so far
Iteration 3598: 3735.35 sec so far
Iteration 3603: 3740.36 sec so far
Iteration 3608: 3745.56 sec so far
Iteration 3613: 3750.57 sec so far
Iteration 3619: 3756.32 sec so far
Iteration 3625: 3761.93 sec so far
Iteration 3631: 3767.54 sec so far
Iteration 3637: 3773.14 sec so far
Iteration 3643: 3778.73 sec so far
Iteration 3649: 3784.33 sec so far
Iteration 3655: 3789.94 sec so far
Iteration 3661: 3795.61 sec so far
Iteration 3666: 3800.82 sec so far
Iteration 3672: 3806.91 sec so far
Iteration 3677: 3812.20 sec so far
Iteration 3683: 3818.23 sec so far
Iteration 3689: 3823.89 sec so far
Iteration 3695: 3829.66 sec so far
Iteration 3701: 3835.24 sec so far
Iteration 3707: 3840.84 sec so far
Iteration 3713: 3846.42 sec so far
Iteration 3719: 3852.01 sec so far
Iteration 3725: 3858.14 sec so far
Iteration 3731: 3863.98 sec so far
Iteration 3736: 3869.37 sec so far
Iteration 3742: 3875.14 sec so far
Iteration 3747: 3880.22 sec so far
Iteration 3753: 3885.82 sec so far
Iteration 3759: 3891.41 sec so far
Iteration 3765: 3897.01 sec so far
Iteration 3771: 3902.59 sec so far
Iteration 3777: 3908.17 sec so far
Iteration 3783: 3913.74 sec so far
Iteration 3789: 3919.37 sec so far
Iteration 3794: 3924.42 sec so far
Iteration 3800: 3930.63 sec so far
Iteration 3805: 3935.72 sec so far
Iteration 3810: 3940.81 sec so far
Iteration 3815: 3945.84 sec so far
Iteration 3821: 3951.48 sec so far
Iteration 3827: 3957.07 sec so far
Iteration 3833: 3962.66 sec so far
Iteration 3839: 3968.26 sec so far
Iteration 3845: 3973.86 sec so far
Iteration 3851: 3979.48 sec so far
Iteration 3856: 3984.68 sec so far
Iteration 3862: 3990.55 sec so far
Iteration 3867: 3996.02 sec so far
Iteration 3873: 4001.75 sec so far
Iteration 3878: 4006.83 sec so far
Iteration 3884: 4012.44 sec so far
Iteration 3890: 4018.03 sec so far
Iteration 3896: 4023.64 sec so far
Iteration 3902: 4029.39 sec so far
Iteration 3908: 4035.00 sec so far
Iteration 3914: 4040.58 sec so far
Iteration 3920: 4046.28 sec so far
Iteration 3925: 4051.34 sec so far
Iteration 3931: 4057.40 sec so far
Iteration 3936: 4062.49 sec so far
Iteration 3941: 4067.59 sec so far
Iteration 3947: 4073.48 sec so far
Iteration 3953: 4079.06 sec so far
Iteration 3959: 4084.65 sec so far
Iteration 3965: 4090.23 sec so far
Iteration 3971: 4095.83 sec so far
Iteration 3977: 4101.43 sec so far
Iteration 3983: 4107.28 sec so far
Iteration 3989: 4113.20 sec so far
Iteration 3994: 4118.49 sec so far
Iteration 3999: 4123.64 sec so far
Iteration 4005: 4129.80 sec so far
Iteration 4011: 4135.53 sec so far
Iteration 4017: 4141.11 sec so far
Iteration 4023: 4146.70 sec so far
Iteration 4029: 4152.28 sec so far
Iteration 4035: 4157.86 sec so far
Iteration 4041: 4163.44 sec so far
Iteration 4047: 4169.02 sec so far
Iteration 4053: 4174.83 sec so far
Iteration 4058: 4179.99 sec so far
Iteration 4064: 4185.88 sec so far
Iteration 4069: 4191.23 sec so far
Iteration 4075: 4197.02 sec so far
Iteration 4081: 4202.84 sec so far
Iteration 4087: 4208.45 sec so far
Iteration 4093: 4214.04 sec so far
Iteration 4099: 4219.64 sec so far
Iteration 4105: 4225.23 sec so far
Iteration 4111: 4230.81 sec so far
Iteration 4116: 4235.84 sec so far
Iteration 4122: 4241.75 sec so far
Iteration 4127: 4246.83 sec so far
Iteration 4133: 4252.65 sec so far
Iteration 4139: 4257.87 sec so far
Iteration 4145: 4262.91 sec so far
Iteration 4152: 4268.70 sec so far
Iteration 4159: 4274.49 sec so far
Iteration 4166: 4280.29 sec so far
Iteration 4173: 4286.07 sec so far
Iteration 4180: 4291.85 sec so far
Iteration 4186: 4296.97 sec so far
Iteration 4192: 4302.54 sec so far
Iteration 4198: 4307.85 sec so far
Iteration 4204: 4313.60 sec so far
Iteration 4210: 4318.74 sec so far
Iteration 4216: 4324.02 sec so far
Iteration 4223: 4329.79 sec so far
Iteration 4230: 4335.57 sec so far
Iteration 4237: 4341.35 sec so far
Iteration 4244: 4347.12 sec so far
Iteration 4251: 4352.90 sec so far
Iteration 4257: 4358.07 sec so far
Iteration 4263: 4363.16 sec so far
Iteration 4269: 4368.54 sec so far
Iteration 4275: 4373.84 sec so far
Iteration 4281: 4378.90 sec so far
Iteration 4287: 4384.13 sec so far
Iteration 4294: 4389.90 sec so far
Iteration 4301: 4395.68 sec so far
Iteration 4308: 4401.45 sec so far
Iteration 4315: 4407.21 sec so far
Iteration 4322: 4412.98 sec so far
Iteration 4329: 4418.77 sec so far
Iteration 4336: 4424.55 sec so far
Iteration 4342: 4429.82 sec so far
Iteration 4348: 4435.21 sec so far
Iteration 4354: 4440.42 sec so far
Iteration 4360: 4445.64 sec so far
Iteration 4366: 4450.83 sec so far
Iteration 4373: 4456.62 sec so far
Iteration 4380: 4462.39 sec so far
Iteration 4387: 4468.18 sec so far
Iteration 4394: 4473.95 sec so far
Iteration 4401: 4479.73 sec so far
Iteration 4408: 4485.72 sec so far
Iteration 4414: 4490.77 sec so far
Iteration 4420: 4496.19 sec so far
Iteration 4426: 4501.56 sec so far
Iteration 4432: 4506.62 sec so far
Iteration 4438: 4511.79 sec so far
Iteration 4445: 4517.56 sec so far
Iteration 4452: 4523.34 sec so far
Iteration 4459: 4529.11 sec so far
Iteration 4466: 4534.91 sec so far
Iteration 4473: 4540.71 sec so far
Iteration 4480: 4546.51 sec so far
Iteration 4486: 4551.53 sec so far
Iteration 4492: 4556.79 sec so far
Iteration 4498: 4562.20 sec so far
Iteration 4504: 4567.39 sec so far
Iteration 4510: 4572.56 sec so far
Iteration 4516: 4577.76 sec so far
Iteration 4523: 4583.53 sec so far
Iteration 4530: 4589.30 sec so far
Iteration 4537: 4595.07 sec so far
Iteration 4544: 4600.85 sec so far
Iteration 4551: 4606.63 sec so far
Iteration 4557: 4611.75 sec so far
Iteration 4563: 4617.00 sec so far
Iteration 4569: 4622.24 sec so far
Iteration 4575: 4627.56 sec so far
Iteration 4581: 4632.77 sec so far
Iteration 4587: 4637.80 sec so far
Iteration 4594: 4643.56 sec so far
Iteration 4601: 4649.32 sec so far
Iteration 4608: 4655.09 sec so far
Iteration 4615: 4660.87 sec so far
Iteration 4622: 4666.64 sec so far
Iteration 4629: 4672.40 sec so far
Iteration 4636: 4678.16 sec so far
Iteration 4643: 4683.96 sec so far
Iteration 4649: 4689.11 sec so far
Iteration 4655: 4694.37 sec so far
Iteration 4661: 4699.81 sec so far
Iteration 4667: 4704.96 sec so far
Iteration 4673: 4710.23 sec so far
Iteration 4680: 4716.05 sec so far
Iteration 4687: 4721.84 sec so far
Iteration 4694: 4727.63 sec so far
Iteration 4701: 4733.42 sec so far
Iteration 4708: 4739.20 sec so far
Iteration 4714: 4744.33 sec so far
Iteration 4720: 4749.45 sec so far
Iteration 4726: 4754.73 sec so far
Iteration 4732: 4760.17 sec so far
Iteration 4738: 4765.24 sec so far
Iteration 4744: 4770.53 sec so far
Iteration 4751: 4776.34 sec so far
Iteration 4758: 4782.13 sec so far
Iteration 4765: 4787.92 sec so far
Iteration 4772: 4793.71 sec so far
Iteration 4779: 4799.49 sec so far
Iteration 4786: 4805.28 sec so far
Iteration 4793: 4811.22 sec so far
Iteration 4799: 4816.35 sec so far
Iteration 4805: 4821.68 sec so far
Iteration 4811: 4827.03 sec so far
Iteration 4817: 4832.13 sec so far
Iteration 4823: 4837.44 sec so far
Iteration 4830: 4843.22 sec so far
Iteration 4837: 4849.01 sec so far
Iteration 4844: 4854.82 sec so far
Iteration 4851: 4860.62 sec so far
Iteration 4858: 4866.43 sec so far
Iteration 4865: 4872.48 sec so far
Iteration 4871: 4877.55 sec so far
Iteration 4877: 4882.97 sec so far
Value iteration (with Jacobi) took 4880 iterations, 172060835840 multiplications and 4885.862 seconds.
Probabilistic reachability took 4898.338 seconds.
Value in the initial state: 0.5386630172446859
Time for model checking: 4901.479 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-umb_check_ex_polling.18-16_rep2.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.umb %indir/property.props
Wallclock time: 5047.440 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 09:16:00 GMT+02:00 2026
Hostname: r23m0207.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex -importmodel /w0/tmp/slurm_tq429871.4965199/tmpxiq_xy67prism_from-umb_check_ex_polling.18-16_tmp_indir_/prism.model.umb /w0/tmp/slurm_tq429871.4965199/tmpxiq_xy67prism_from-umb_check_ex_polling.18-16_tmp_indir_/property.props
Importing model from "prism.model.umb"...
Type: CTMC
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: x
Labels: "serve_s2" "serve_s1"
Parsing properties file "/w0/tmp/slurm_tq429871.4965199/tmpxiq_xy67prism_from-umb_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)...
Time for model construction: 6.834 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.872 seconds)
Starting Prob0...
Prob0 took 2.785 seconds.
Starting Prob1...
Prob1 took 4.335 seconds.
target=131072, yes=3407872, no=262144, maybe=3407872
Starting value iteration (with Jacobi)...
Iteration 5: 5.41 sec so far
Iteration 10: 10.93 sec so far
Iteration 15: 16.35 sec so far
Iteration 20: 21.52 sec so far
Iteration 25: 26.78 sec so far
Iteration 31: 32.60 sec so far
Iteration 37: 38.32 sec so far
Iteration 43: 44.08 sec so far
Iteration 49: 49.86 sec so far
Iteration 54: 55.22 sec so far
Iteration 59: 60.83 sec so far
Iteration 64: 65.87 sec so far
Iteration 70: 71.99 sec so far
Iteration 75: 77.00 sec so far
Iteration 80: 82.37 sec so far
Iteration 86: 88.25 sec so far
Iteration 92: 94.14 sec so far
Iteration 98: 99.89 sec so far
Iteration 104: 105.66 sec so far
Iteration 110: 111.41 sec so far
Iteration 115: 116.70 sec so far
Iteration 120: 121.72 sec so far
Iteration 125: 127.32 sec so far
Iteration 130: 132.34 sec so far
Iteration 135: 137.44 sec so far
Iteration 140: 142.75 sec so far
Iteration 146: 148.60 sec so far
Iteration 151: 153.62 sec so far
Iteration 157: 159.56 sec so far
Iteration 163: 165.26 sec so far
Iteration 169: 171.33 sec so far
Iteration 174: 176.61 sec so far
Iteration 179: 181.76 sec so far
Iteration 184: 186.88 sec so far
Iteration 190: 192.83 sec so far
Iteration 195: 198.24 sec so far
Iteration 200: 203.27 sec so far
Iteration 206: 209.15 sec so far
Iteration 212: 215.07 sec so far
Iteration 217: 220.10 sec so far
Iteration 223: 226.09 sec so far
Iteration 228: 231.26 sec so far
Iteration 233: 236.53 sec so far
Iteration 238: 241.81 sec so far
Iteration 244: 247.80 sec so far
Iteration 250: 253.66 sec so far
Iteration 255: 259.05 sec so far
Iteration 260: 264.05 sec so far
Iteration 266: 269.89 sec so far
Iteration 272: 275.74 sec so far
Iteration 277: 280.81 sec so far
Iteration 282: 285.91 sec so far
Iteration 287: 291.52 sec so far
Iteration 292: 296.53 sec so far
Iteration 297: 302.10 sec so far
Iteration 303: 307.87 sec so far
Iteration 309: 313.65 sec so far
Iteration 314: 318.75 sec so far
Iteration 320: 324.85 sec so far
Iteration 326: 330.71 sec so far
Iteration 332: 336.57 sec so far
Iteration 337: 341.60 sec so far
Iteration 342: 346.61 sec so far
Iteration 348: 352.53 sec so far
Iteration 353: 357.68 sec so far
Iteration 358: 363.12 sec so far
Iteration 364: 369.19 sec so far
Iteration 369: 374.44 sec so far
Iteration 375: 380.15 sec so far
Iteration 380: 385.50 sec so far
Iteration 386: 391.37 sec so far
Iteration 391: 396.38 sec so far
Iteration 397: 402.22 sec so far
Iteration 402: 407.34 sec so far
Iteration 407: 412.41 sec so far
Iteration 412: 417.63 sec so far
Iteration 417: 423.13 sec so far
Iteration 422: 428.14 sec so far
Iteration 427: 433.57 sec so far
Iteration 433: 439.37 sec so far
Iteration 439: 445.53 sec so far
Iteration 445: 451.40 sec so far
Iteration 451: 457.34 sec so far
Iteration 457: 463.17 sec so far
Iteration 462: 468.31 sec so far
Iteration 467: 473.33 sec so far
Iteration 472: 479.08 sec so far
Iteration 477: 484.31 sec so far
Iteration 482: 489.48 sec so far
Iteration 487: 494.73 sec so far
Iteration 493: 500.46 sec so far
Iteration 498: 505.65 sec so far
Iteration 504: 511.34 sec so far
Iteration 510: 517.22 sec so far
Iteration 516: 523.17 sec so far
Iteration 522: 529.13 sec so far
Iteration 528: 535.09 sec so far
Iteration 533: 540.10 sec so far
Iteration 538: 545.25 sec so far
Iteration 543: 550.82 sec so far
Iteration 548: 556.09 sec so far
Iteration 553: 561.26 sec so far
Iteration 558: 566.29 sec so far
Iteration 564: 572.12 sec so far
Iteration 569: 577.29 sec so far
Iteration 575: 583.17 sec so far
Iteration 581: 588.98 sec so far
Iteration 586: 593.99 sec so far
Iteration 592: 600.02 sec so far
Iteration 597: 605.49 sec so far
Iteration 602: 610.75 sec so far
Iteration 607: 616.22 sec so far
Iteration 612: 621.71 sec so far
Iteration 618: 627.46 sec so far
Iteration 623: 632.62 sec so far
Iteration 629: 638.35 sec so far
Iteration 635: 644.06 sec so far
Iteration 641: 649.84 sec so far
Iteration 646: 654.92 sec so far
Iteration 652: 660.91 sec so far
Iteration 658: 666.84 sec so far
Iteration 664: 673.18 sec so far
Iteration 669: 678.77 sec so far
Iteration 674: 684.16 sec so far
Iteration 679: 689.66 sec so far
Iteration 685: 695.35 sec so far
Iteration 691: 701.47 sec so far
Iteration 697: 707.16 sec so far
Iteration 703: 713.00 sec so far
Iteration 709: 718.82 sec so far
Iteration 715: 724.79 sec so far
Iteration 720: 729.95 sec so far
Iteration 725: 735.49 sec so far
Iteration 730: 741.27 sec so far
Iteration 735: 746.73 sec so far
Iteration 740: 751.78 sec so far
Iteration 746: 757.59 sec so far
Iteration 751: 762.69 sec so far
Iteration 757: 768.39 sec so far
Iteration 763: 774.08 sec so far
Iteration 768: 779.09 sec so far
Iteration 774: 784.93 sec so far
Iteration 780: 790.86 sec so far
Iteration 785: 795.87 sec so far
Iteration 790: 801.09 sec so far
Iteration 795: 806.67 sec so far
Iteration 800: 812.30 sec so far
Iteration 805: 817.81 sec so far
Iteration 811: 823.57 sec so far
Iteration 817: 829.66 sec so far
Iteration 823: 835.36 sec so far
Iteration 829: 841.08 sec so far
Iteration 835: 847.08 sec so far
Iteration 841: 853.01 sec so far
Iteration 847: 859.29 sec so far
Iteration 852: 864.75 sec so far
Iteration 857: 870.41 sec so far
Iteration 862: 876.07 sec so far
Iteration 868: 881.93 sec so far
Iteration 874: 887.98 sec so far
Iteration 880: 893.70 sec so far
Iteration 886: 899.42 sec so far
Iteration 892: 905.13 sec so far
Iteration 898: 911.04 sec so far
Iteration 904: 916.90 sec so far
Iteration 909: 921.93 sec so far
Iteration 914: 927.03 sec so far
Iteration 919: 932.92 sec so far
Iteration 924: 938.39 sec so far
Iteration 929: 943.74 sec so far
Iteration 934: 948.80 sec so far
Iteration 940: 954.74 sec so far
Iteration 946: 960.58 sec so far
Iteration 952: 966.21 sec so far
Iteration 958: 971.84 sec so far
Iteration 964: 977.73 sec so far
Iteration 969: 982.80 sec so far
Iteration 974: 988.47 sec so far
Iteration 979: 993.75 sec so far
Iteration 984: 999.22 sec so far
Iteration 989: 1005.00 sec so far
Iteration 995: 1010.91 sec so far
Iteration 1000: 1015.97 sec so far
Iteration 1006: 1021.62 sec so far
Iteration 1012: 1027.31 sec so far
Iteration 1018: 1033.05 sec so far
Iteration 1024: 1038.92 sec so far
Iteration 1030: 1044.83 sec so far
Iteration 1036: 1050.62 sec so far
Iteration 1041: 1056.18 sec so far
Iteration 1046: 1061.96 sec so far
Iteration 1051: 1067.59 sec so far
Iteration 1056: 1073.01 sec so far
Iteration 1062: 1078.94 sec so far
Iteration 1067: 1084.05 sec so far
Iteration 1073: 1089.72 sec so far
Iteration 1079: 1095.45 sec so far
Iteration 1085: 1101.15 sec so far
Iteration 1091: 1107.07 sec so far
Iteration 1096: 1112.19 sec so far
Iteration 1101: 1118.13 sec so far
Iteration 1106: 1123.45 sec so far
Iteration 1111: 1128.95 sec so far
Iteration 1116: 1134.21 sec so far
Iteration 1121: 1139.26 sec so far
Iteration 1126: 1144.49 sec so far
Iteration 1132: 1150.16 sec so far
Iteration 1138: 1155.95 sec so far
Iteration 1144: 1161.63 sec so far
Iteration 1150: 1167.34 sec so far
Iteration 1156: 1173.00 sec so far
Iteration 1162: 1178.68 sec so far
Iteration 1167: 1183.99 sec so far
Iteration 1172: 1189.42 sec so far
Iteration 1177: 1195.08 sec so far
Iteration 1182: 1200.33 sec so far
Iteration 1187: 1205.51 sec so far
Iteration 1193: 1211.90 sec so far
Iteration 1198: 1216.94 sec so far
Iteration 1204: 1222.86 sec so far
Iteration 1210: 1228.49 sec so far
Iteration 1216: 1234.17 sec so far
Iteration 1222: 1240.12 sec so far
Iteration 1227: 1245.30 sec so far
Iteration 1232: 1251.14 sec so far
Iteration 1237: 1256.21 sec so far
Iteration 1242: 1261.68 sec so far
Iteration 1247: 1266.71 sec so far
Iteration 1252: 1272.04 sec so far
Iteration 1257: 1277.20 sec so far
Iteration 1263: 1283.15 sec so far
Iteration 1269: 1289.00 sec so far
Iteration 1275: 1294.70 sec so far
Iteration 1281: 1300.38 sec so far
Iteration 1287: 1306.13 sec so far
Iteration 1293: 1312.27 sec so far
Iteration 1298: 1317.75 sec so far
Iteration 1303: 1323.61 sec so far
Iteration 1308: 1328.95 sec so far
Iteration 1313: 1334.77 sec so far
Iteration 1318: 1339.80 sec so far
Iteration 1323: 1345.38 sec so far
Iteration 1328: 1350.41 sec so far
Iteration 1334: 1356.14 sec so far
Iteration 1340: 1361.87 sec so far
Iteration 1346: 1367.58 sec so far
Iteration 1351: 1372.74 sec so far
Iteration 1356: 1378.03 sec so far
Iteration 1361: 1384.06 sec so far
Iteration 1366: 1389.28 sec so far
Iteration 1371: 1394.72 sec so far
Iteration 1377: 1400.78 sec so far
Iteration 1382: 1405.82 sec so far
Iteration 1387: 1410.84 sec so far
Iteration 1392: 1415.93 sec so far
Iteration 1398: 1421.76 sec so far
Iteration 1404: 1427.62 sec so far
Iteration 1410: 1433.35 sec so far
Iteration 1416: 1439.14 sec so far
Iteration 1422: 1445.23 sec so far
Iteration 1426: 1450.29 sec so far
Iteration 1431: 1456.32 sec so far
Iteration 1436: 1462.27 sec so far
Iteration 1441: 1467.44 sec so far
Iteration 1446: 1472.77 sec so far
Iteration 1451: 1478.11 sec so far
Iteration 1456: 1483.17 sec so far
Iteration 1462: 1488.95 sec so far
Iteration 1468: 1494.77 sec so far
Iteration 1473: 1499.79 sec so far
Iteration 1479: 1505.73 sec so far
Iteration 1484: 1511.56 sec so far
Iteration 1489: 1517.43 sec so far
Iteration 1494: 1523.20 sec so far
Iteration 1499: 1528.24 sec so far
Iteration 1504: 1533.32 sec so far
Iteration 1509: 1538.77 sec so far
Iteration 1514: 1543.82 sec so far
Iteration 1520: 1549.69 sec so far
Iteration 1526: 1555.39 sec so far
Iteration 1532: 1561.19 sec so far
Iteration 1538: 1566.87 sec so far
Iteration 1544: 1572.74 sec so far
Iteration 1549: 1577.88 sec so far
Iteration 1554: 1584.10 sec so far
Iteration 1559: 1589.48 sec so far
Iteration 1564: 1595.01 sec so far
Iteration 1569: 1600.41 sec so far
Iteration 1575: 1606.50 sec so far
Iteration 1581: 1612.45 sec so far
Iteration 1587: 1618.21 sec so far
Iteration 1593: 1623.94 sec so far
Iteration 1599: 1629.74 sec so far
Iteration 1605: 1635.67 sec so far
Iteration 1610: 1641.12 sec so far
Iteration 1615: 1647.07 sec so far
Iteration 1620: 1652.88 sec so far
Iteration 1625: 1658.47 sec so far
Iteration 1630: 1663.54 sec so far
Iteration 1635: 1668.99 sec so far
Iteration 1640: 1674.12 sec so far
Iteration 1646: 1679.98 sec so far
Iteration 1652: 1685.73 sec so far
Iteration 1658: 1691.44 sec so far
Iteration 1664: 1697.11 sec so far
Iteration 1670: 1702.86 sec so far
Iteration 1675: 1708.21 sec so far
Iteration 1680: 1713.56 sec so far
Iteration 1685: 1719.50 sec so far
Iteration 1690: 1725.09 sec so far
Iteration 1695: 1730.94 sec so far
Iteration 1700: 1736.08 sec so far
Iteration 1705: 1741.27 sec so far
Iteration 1711: 1747.13 sec so far
Iteration 1717: 1752.81 sec so far
Iteration 1723: 1758.52 sec so far
Iteration 1729: 1764.29 sec so far
Iteration 1735: 1770.45 sec so far
Iteration 1740: 1775.95 sec so far
Iteration 1745: 1781.59 sec so far
Iteration 1750: 1787.40 sec so far
Iteration 1755: 1792.66 sec so far
Iteration 1760: 1797.67 sec so far
Iteration 1765: 1802.74 sec so far
Iteration 1771: 1808.69 sec so far
Iteration 1777: 1814.38 sec so far
Iteration 1783: 1820.11 sec so far
Iteration 1789: 1825.85 sec so far
Iteration 1795: 1831.53 sec so far
Iteration 1801: 1837.80 sec so far
Iteration 1806: 1843.27 sec so far
Iteration 1811: 1848.89 sec so far
Iteration 1816: 1854.82 sec so far
Iteration 1821: 1860.59 sec so far
Iteration 1826: 1865.73 sec so far
Iteration 1831: 1870.88 sec so far
Iteration 1837: 1876.71 sec so far
Iteration 1843: 1882.43 sec so far
Iteration 1849: 1888.16 sec so far
Iteration 1855: 1893.95 sec so far
Iteration 1860: 1899.16 sec so far
Iteration 1865: 1904.44 sec so far
Iteration 1870: 1910.78 sec so far
Iteration 1875: 1916.19 sec so far
Iteration 1880: 1921.97 sec so far
Iteration 1885: 1927.11 sec so far
Iteration 1890: 1932.32 sec so far
Iteration 1895: 1937.38 sec so far
Iteration 1901: 1943.16 sec so far
Iteration 1907: 1948.84 sec so far
Iteration 1913: 1954.58 sec so far
Iteration 1918: 1959.84 sec so far
Iteration 1923: 1964.84 sec so far
Iteration 1928: 1971.13 sec so far
Iteration 1933: 1976.48 sec so far
Iteration 1938: 1982.28 sec so far
Iteration 1943: 1987.39 sec so far
Iteration 1948: 1992.57 sec so far
Iteration 1954: 1998.54 sec so far
Iteration 1959: 2003.62 sec so far
Iteration 1965: 2009.36 sec so far
Iteration 1971: 2015.04 sec so far
Iteration 1976: 2020.38 sec so far
Iteration 1982: 2026.36 sec so far
Iteration 1987: 2032.31 sec so far
Iteration 1992: 2037.70 sec so far
Iteration 1997: 2043.33 sec so far
Iteration 2002: 2048.40 sec so far
Iteration 2007: 2053.58 sec so far
Iteration 2013: 2059.61 sec so far
Iteration 2018: 2064.76 sec so far
Iteration 2024: 2070.61 sec so far
Iteration 2030: 2076.33 sec so far
Iteration 2036: 2082.04 sec so far
Iteration 2042: 2087.76 sec so far
Iteration 2047: 2093.17 sec so far
Iteration 2052: 2098.82 sec so far
Iteration 2057: 2104.55 sec so far
Iteration 2062: 2110.36 sec so far
Iteration 2067: 2115.57 sec so far
Iteration 2072: 2120.70 sec so far
Iteration 2077: 2126.04 sec so far
Iteration 2083: 2131.97 sec so far
Iteration 2089: 2137.78 sec so far
Iteration 2095: 2143.46 sec so far
Iteration 2101: 2149.24 sec so far
Iteration 2106: 2154.72 sec so far
Iteration 2111: 2160.20 sec so far
Iteration 2116: 2165.84 sec so far
Iteration 2121: 2171.59 sec so far
Iteration 2126: 2176.76 sec so far
Iteration 2131: 2181.93 sec so far
Iteration 2136: 2187.13 sec so far
Iteration 2141: 2192.18 sec so far
Iteration 2146: 2197.21 sec so far
Iteration 2152: 2203.00 sec so far
Iteration 2158: 2208.72 sec so far
Iteration 2164: 2214.40 sec so far
Iteration 2169: 2219.65 sec so far
Iteration 2175: 2225.57 sec so far
Iteration 2180: 2231.72 sec so far
Iteration 2185: 2237.32 sec so far
Iteration 2190: 2243.03 sec so far
Iteration 2195: 2248.21 sec so far
Iteration 2200: 2253.43 sec so far
Iteration 2205: 2258.50 sec so far
Iteration 2210: 2263.63 sec so far
Iteration 2216: 2269.42 sec so far
Iteration 2222: 2275.13 sec so far
Iteration 2228: 2281.42 sec so far
Iteration 2233: 2286.46 sec so far
Iteration 2238: 2291.81 sec so far
Iteration 2243: 2297.74 sec so far
Iteration 2248: 2303.32 sec so far
Iteration 2253: 2308.57 sec so far
Iteration 2258: 2313.78 sec so far
Iteration 2264: 2319.73 sec so far
Iteration 2269: 2324.76 sec so far
Iteration 2274: 2329.89 sec so far
Iteration 2280: 2335.65 sec so far
Iteration 2285: 2340.67 sec so far
Iteration 2290: 2346.19 sec so far
Iteration 2295: 2351.51 sec so far
Iteration 2300: 2356.92 sec so far
Iteration 2305: 2362.74 sec so far
Iteration 2311: 2368.79 sec so far
Iteration 2316: 2374.02 sec so far
Iteration 2321: 2379.07 sec so far
Iteration 2326: 2384.08 sec so far
Iteration 2331: 2389.10 sec so far
Iteration 2336: 2394.12 sec so far
Iteration 2342: 2399.95 sec so far
Iteration 2348: 2405.64 sec so far
Iteration 2354: 2411.98 sec so far
Iteration 2359: 2417.09 sec so far
Iteration 2364: 2422.36 sec so far
Iteration 2369: 2428.10 sec so far
Iteration 2374: 2433.36 sec so far
Iteration 2379: 2438.44 sec so far
Iteration 2384: 2443.61 sec so far
Iteration 2390: 2449.53 sec so far
Iteration 2395: 2454.57 sec so far
Iteration 2400: 2459.77 sec so far
Iteration 2405: 2464.97 sec so far
Iteration 2410: 2470.16 sec so far
Iteration 2415: 2475.56 sec so far
Iteration 2420: 2481.41 sec so far
Iteration 2425: 2486.87 sec so far
Iteration 2430: 2491.92 sec so far
Iteration 2435: 2497.30 sec so far
Iteration 2441: 2503.05 sec so far
Iteration 2446: 2508.28 sec so far
Iteration 2452: 2514.17 sec so far
Iteration 2457: 2519.20 sec so far
Iteration 2462: 2524.25 sec so far
Iteration 2467: 2529.35 sec so far
Iteration 2472: 2534.64 sec so far
Iteration 2477: 2540.11 sec so far
Iteration 2482: 2545.33 sec so far
Iteration 2487: 2551.16 sec so far
Iteration 2492: 2556.53 sec so far
Iteration 2497: 2561.59 sec so far
Iteration 2502: 2566.99 sec so far
Iteration 2508: 2572.74 sec so far
Iteration 2513: 2578.11 sec so far
Iteration 2518: 2583.23 sec so far
Iteration 2523: 2588.29 sec so far
Iteration 2528: 2593.34 sec so far
Iteration 2533: 2598.42 sec so far
Iteration 2538: 2603.88 sec so far
Iteration 2543: 2609.82 sec so far
Iteration 2548: 2615.24 sec so far
Iteration 2553: 2620.97 sec so far
Iteration 2558: 2626.06 sec so far
Iteration 2564: 2631.90 sec so far
Iteration 2570: 2637.77 sec so far
Iteration 2576: 2643.82 sec so far
Iteration 2581: 2648.85 sec so far
Iteration 2586: 2653.88 sec so far
Iteration 2591: 2658.90 sec so far
Iteration 2596: 2663.91 sec so far
Iteration 2601: 2668.98 sec so far
Iteration 2606: 2674.71 sec so far
Iteration 2611: 2679.78 sec so far
Iteration 2616: 2685.12 sec so far
Iteration 2621: 2690.72 sec so far
Iteration 2626: 2696.02 sec so far
Iteration 2632: 2701.90 sec so far
Iteration 2637: 2707.03 sec so far
Iteration 2643: 2713.01 sec so far
Iteration 2648: 2718.17 sec so far
Iteration 2653: 2723.26 sec so far
Iteration 2658: 2728.31 sec so far
Iteration 2663: 2733.63 sec so far
Iteration 2668: 2739.41 sec so far
Iteration 2673: 2744.83 sec so far
Iteration 2678: 2750.23 sec so far
Iteration 2683: 2755.70 sec so far
Iteration 2689: 2761.41 sec so far
Iteration 2695: 2767.40 sec so far
Iteration 2701: 2773.27 sec so far
Iteration 2706: 2778.29 sec so far
Iteration 2711: 2783.45 sec so far
Iteration 2716: 2788.55 sec so far
Iteration 2721: 2793.58 sec so far
Iteration 2726: 2798.65 sec so far
Iteration 2731: 2803.93 sec so far
Iteration 2736: 2809.52 sec so far
Iteration 2741: 2814.86 sec so far
Iteration 2746: 2820.30 sec so far
Iteration 2751: 2825.77 sec so far
Iteration 2757: 2831.51 sec so far
Iteration 2762: 2836.66 sec so far
Iteration 2768: 2842.51 sec so far
Iteration 2774: 2848.67 sec so far
Iteration 2779: 2853.76 sec so far
Iteration 2784: 2858.82 sec so far
Iteration 2789: 2864.12 sec so far
Iteration 2794: 2869.92 sec so far
Iteration 2799: 2875.30 sec so far
Iteration 2804: 2880.70 sec so far
Iteration 2809: 2886.16 sec so far
Iteration 2815: 2891.87 sec so far
Iteration 2821: 2897.85 sec so far
Iteration 2827: 2903.70 sec so far
Iteration 2832: 2908.70 sec so far
Iteration 2837: 2913.84 sec so far
Iteration 2842: 2918.95 sec so far
Iteration 2847: 2923.97 sec so far
Iteration 2852: 2929.03 sec so far
Iteration 2857: 2934.30 sec so far
Iteration 2862: 2939.89 sec so far
Iteration 2867: 2945.22 sec so far
Iteration 2872: 2950.60 sec so far
Iteration 2877: 2956.10 sec so far
Iteration 2883: 2961.88 sec so far
Iteration 2888: 2967.04 sec so far
Iteration 2894: 2972.92 sec so far
Iteration 2900: 2979.11 sec so far
Iteration 2905: 2984.18 sec so far
Iteration 2910: 2989.23 sec so far
Iteration 2915: 2994.50 sec so far
Iteration 2920: 3000.30 sec so far
Iteration 2925: 3005.72 sec so far
Iteration 2930: 3011.12 sec so far
Iteration 2935: 3016.49 sec so far
Iteration 2941: 3022.32 sec so far
Iteration 2947: 3028.29 sec so far
Iteration 2953: 3034.13 sec so far
Iteration 2958: 3039.15 sec so far
Iteration 2963: 3044.32 sec so far
Iteration 2968: 3049.39 sec so far
Iteration 2973: 3054.42 sec so far
Iteration 2978: 3059.46 sec so far
Iteration 2983: 3064.59 sec so far
Iteration 2988: 3070.08 sec so far
Iteration 2993: 3075.39 sec so far
Iteration 2998: 3080.77 sec so far
Iteration 3003: 3086.38 sec so far
Iteration 3008: 3091.39 sec so far
Iteration 3014: 3097.45 sec so far
Iteration 3019: 3102.46 sec so far
Iteration 3025: 3108.36 sec so far
Iteration 3030: 3113.49 sec so far
Iteration 3035: 3118.69 sec so far
Iteration 3040: 3123.84 sec so far
Iteration 3045: 3129.21 sec so far
Iteration 3050: 3134.99 sec so far
Iteration 3055: 3140.35 sec so far
Iteration 3060: 3145.43 sec so far
Iteration 3065: 3150.83 sec so far
Iteration 3071: 3156.56 sec so far
Iteration 3076: 3161.76 sec so far
Iteration 3082: 3167.61 sec so far
Iteration 3088: 3173.54 sec so far
Iteration 3093: 3178.66 sec so far
Iteration 3098: 3183.89 sec so far
Iteration 3103: 3188.92 sec so far
Iteration 3108: 3193.96 sec so far
Iteration 3113: 3199.21 sec so far
Iteration 3118: 3204.80 sec so far
Iteration 3123: 3210.19 sec so far
Iteration 3128: 3215.26 sec so far
Iteration 3133: 3220.80 sec so far
Iteration 3139: 3226.69 sec so far
Iteration 3144: 3231.84 sec so far
Iteration 3150: 3237.74 sec so far
Iteration 3155: 3242.75 sec so far
Iteration 3160: 3247.83 sec so far
Iteration 3165: 3253.10 sec so far
Iteration 3170: 3258.63 sec so far
Iteration 3175: 3263.80 sec so far
Iteration 3180: 3269.73 sec so far
Iteration 3185: 3274.76 sec so far
Iteration 3190: 3280.08 sec so far
Iteration 3196: 3285.92 sec so far
Iteration 3201: 3290.93 sec so far
Iteration 3206: 3295.95 sec so far
Iteration 3211: 3301.02 sec so far
Iteration 3216: 3306.03 sec so far
Iteration 3221: 3311.04 sec so far
Iteration 3226: 3316.06 sec so far
Iteration 3231: 3321.12 sec so far
Iteration 3236: 3326.80 sec so far
Iteration 3241: 3331.84 sec so far
Iteration 3246: 3337.19 sec so far
Iteration 3251: 3342.80 sec so far
Iteration 3256: 3348.11 sec so far
Iteration 3262: 3354.01 sec so far
Iteration 3267: 3359.14 sec so far
Iteration 3273: 3365.07 sec so far
Iteration 3278: 3370.16 sec so far
Iteration 3283: 3375.35 sec so far
Iteration 3288: 3380.39 sec so far
Iteration 3293: 3385.57 sec so far
Iteration 3298: 3391.17 sec so far
Iteration 3303: 3396.78 sec so far
Iteration 3308: 3402.19 sec so far
Iteration 3313: 3407.57 sec so far
Iteration 3319: 3413.48 sec so far
Iteration 3325: 3419.47 sec so far
Iteration 3331: 3425.34 sec so far
Iteration 3337: 3431.51 sec so far
Iteration 3342: 3436.59 sec so far
Iteration 3347: 3441.61 sec so far
Iteration 3352: 3446.64 sec so far
Iteration 3357: 3451.70 sec so far
Iteration 3362: 3457.39 sec so far
Iteration 3367: 3462.62 sec so far
Iteration 3372: 3467.95 sec so far
Iteration 3377: 3473.54 sec so far
Iteration 3382: 3478.80 sec so far
Iteration 3388: 3484.59 sec so far
Iteration 3393: 3489.73 sec so far
Iteration 3399: 3495.66 sec so far
Iteration 3404: 3500.83 sec so far
Iteration 3409: 3506.01 sec so far
Iteration 3414: 3511.08 sec so far
Iteration 3419: 3516.39 sec so far
Iteration 3424: 3521.97 sec so far
Iteration 3429: 3527.68 sec so far
Iteration 3434: 3532.96 sec so far
Iteration 3439: 3538.35 sec so far
Iteration 3445: 3544.14 sec so far
Iteration 3451: 3550.12 sec so far
Iteration 3457: 3555.97 sec so far
Iteration 3463: 3562.13 sec so far
Iteration 3468: 3567.16 sec so far
Iteration 3473: 3572.17 sec so far
Iteration 3478: 3577.21 sec so far
Iteration 3483: 3582.27 sec so far
Iteration 3488: 3587.95 sec so far
Iteration 3493: 3593.28 sec so far
Iteration 3498: 3598.63 sec so far
Iteration 3503: 3604.22 sec so far
Iteration 3508: 3609.40 sec so far
Iteration 3514: 3615.20 sec so far
Iteration 3519: 3620.34 sec so far
Iteration 3525: 3626.27 sec so far
Iteration 3530: 3631.42 sec so far
Iteration 3535: 3636.59 sec so far
Iteration 3540: 3641.67 sec so far
Iteration 3545: 3646.98 sec so far
Iteration 3550: 3652.49 sec so far
Iteration 3555: 3658.30 sec so far
Iteration 3560: 3663.45 sec so far
Iteration 3565: 3668.94 sec so far
Iteration 3571: 3674.79 sec so far
Iteration 3577: 3680.77 sec so far
Iteration 3583: 3686.45 sec so far
Iteration 3589: 3692.14 sec so far
Iteration 3595: 3697.89 sec so far
Iteration 3601: 3703.90 sec so far
Iteration 3606: 3709.06 sec so far
Iteration 3611: 3714.34 sec so far
Iteration 3616: 3719.55 sec so far
Iteration 3621: 3725.49 sec so far
Iteration 3626: 3731.29 sec so far
Iteration 3631: 3736.45 sec so far
Iteration 3636: 3741.54 sec so far
Iteration 3642: 3747.33 sec so far
Iteration 3648: 3753.18 sec so far
Iteration 3654: 3758.94 sec so far
Iteration 3660: 3764.83 sec so far
Iteration 3665: 3769.96 sec so far
Iteration 3670: 3775.24 sec so far
Iteration 3675: 3780.46 sec so far
Iteration 3680: 3786.60 sec so far
Iteration 3685: 3792.26 sec so far
Iteration 3690: 3797.48 sec so far
Iteration 3695: 3802.67 sec so far
Iteration 3701: 3808.43 sec so far
Iteration 3707: 3814.34 sec so far
Iteration 3713: 3820.06 sec so far
Iteration 3719: 3825.76 sec so far
Iteration 3724: 3830.84 sec so far
Iteration 3729: 3835.87 sec so far
Iteration 3734: 3840.90 sec so far
Iteration 3739: 3845.96 sec so far
Iteration 3744: 3851.53 sec so far
Iteration 3749: 3857.41 sec so far
Iteration 3754: 3862.99 sec so far
Iteration 3759: 3868.73 sec so far
Iteration 3764: 3873.73 sec so far
Iteration 3770: 3879.64 sec so far
Iteration 3776: 3885.43 sec so far
Iteration 3782: 3891.18 sec so far
Iteration 3788: 3897.06 sec so far
Iteration 3793: 3902.07 sec so far
Iteration 3798: 3907.10 sec so far
Iteration 3803: 3912.93 sec so far
Iteration 3808: 3918.56 sec so far
Iteration 3813: 3924.04 sec so far
Iteration 3818: 3929.82 sec so far
Iteration 3824: 3935.73 sec so far
Iteration 3829: 3940.80 sec so far
Iteration 3835: 3946.48 sec so far
Iteration 3841: 3952.15 sec so far
Iteration 3847: 3957.89 sec so far
Iteration 3853: 3963.90 sec so far
Iteration 3858: 3969.06 sec so far
Iteration 3863: 3974.19 sec so far
Iteration 3868: 3979.57 sec so far
Iteration 3873: 3984.83 sec so far
Iteration 3878: 3991.18 sec so far
Iteration 3883: 3996.41 sec so far
Iteration 3888: 4001.74 sec so far
Iteration 3894: 4007.58 sec so far
Iteration 3900: 4013.53 sec so far
Iteration 3906: 4019.28 sec so far
Iteration 3912: 4025.15 sec so far
Iteration 3917: 4030.23 sec so far
Iteration 3922: 4035.30 sec so far
Iteration 3927: 4040.67 sec so far
Iteration 3932: 4046.12 sec so far
Iteration 3937: 4052.28 sec so far
Iteration 3942: 4057.40 sec so far
Iteration 3947: 4062.84 sec so far
Iteration 3953: 4068.61 sec so far
Iteration 3958: 4073.64 sec so far
Iteration 3964: 4079.32 sec so far
Iteration 3970: 4085.05 sec so far
Iteration 3976: 4091.02 sec so far
Iteration 3981: 4096.03 sec so far
Iteration 3987: 4101.96 sec so far
Iteration 3992: 4107.38 sec so far
Iteration 3997: 4112.94 sec so far
Iteration 4002: 4118.51 sec so far
Iteration 4007: 4124.44 sec so far
Iteration 4012: 4129.91 sec so far
Iteration 4018: 4135.89 sec so far
Iteration 4024: 4141.77 sec so far
Iteration 4030: 4147.55 sec so far
Iteration 4036: 4153.28 sec so far
Iteration 4042: 4159.29 sec so far
Iteration 4047: 4164.45 sec so far
Iteration 4052: 4169.81 sec so far
Iteration 4057: 4175.01 sec so far
Iteration 4062: 4180.98 sec so far
Iteration 4067: 4186.48 sec so far
Iteration 4072: 4191.82 sec so far
Iteration 4078: 4197.76 sec so far
Iteration 4084: 4203.72 sec so far
Iteration 4090: 4209.42 sec so far
Iteration 4096: 4215.11 sec so far
Iteration 4102: 4221.07 sec so far
Iteration 4107: 4226.07 sec so far
Iteration 4112: 4231.08 sec so far
Iteration 4117: 4236.13 sec so far
Iteration 4122: 4241.73 sec so far
Iteration 4127: 4247.52 sec so far
Iteration 4132: 4253.11 sec so far
Iteration 4137: 4258.84 sec so far
Iteration 4142: 4263.88 sec so far
Iteration 4148: 4269.69 sec so far
Iteration 4154: 4275.56 sec so far
Iteration 4160: 4281.32 sec so far
Iteration 4166: 4287.19 sec so far
Iteration 4172: 4293.11 sec so far
Iteration 4177: 4298.80 sec so far
Iteration 4182: 4304.03 sec so far
Iteration 4187: 4309.57 sec so far
Iteration 4192: 4315.31 sec so far
Iteration 4197: 4320.81 sec so far
Iteration 4203: 4326.62 sec so far
Iteration 4209: 4332.53 sec so far
Iteration 4215: 4338.27 sec so far
Iteration 4221: 4344.03 sec so far
Iteration 4227: 4349.87 sec so far
Iteration 4232: 4354.98 sec so far
Iteration 4237: 4360.02 sec so far
Iteration 4242: 4365.05 sec so far
Iteration 4247: 4370.36 sec so far
Iteration 4252: 4376.24 sec so far
Iteration 4257: 4382.05 sec so far
Iteration 4262: 4387.33 sec so far
Iteration 4267: 4392.78 sec so far
Iteration 4273: 4398.50 sec so far
Iteration 4279: 4404.45 sec so far
Iteration 4285: 4410.18 sec so far
Iteration 4291: 4416.12 sec so far
Iteration 4297: 4422.04 sec so far
Iteration 4302: 4427.06 sec so far
Iteration 4307: 4432.86 sec so far
Iteration 4312: 4438.45 sec so far
Iteration 4317: 4443.98 sec so far
Iteration 4322: 4449.63 sec so far
Iteration 4327: 4454.67 sec so far
Iteration 4333: 4460.49 sec so far
Iteration 4339: 4466.39 sec so far
Iteration 4345: 4472.09 sec so far
Iteration 4351: 4477.86 sec so far
Iteration 4357: 4483.56 sec so far
Iteration 4363: 4489.32 sec so far
Iteration 4369: 4495.02 sec so far
Iteration 4374: 4500.38 sec so far
Iteration 4379: 4506.19 sec so far
Iteration 4384: 4511.70 sec so far
Iteration 4389: 4517.34 sec so far
Iteration 4394: 4522.91 sec so far
Iteration 4400: 4528.86 sec so far
Iteration 4405: 4533.91 sec so far
Iteration 4411: 4539.64 sec so far
Iteration 4417: 4545.40 sec so far
Iteration 4423: 4551.10 sec so far
Iteration 4429: 4556.88 sec so far
Iteration 4434: 4562.36 sec so far
Iteration 4439: 4567.68 sec so far
Iteration 4444: 4573.30 sec so far
Iteration 4449: 4579.08 sec so far
Iteration 4454: 4584.80 sec so far
Iteration 4459: 4589.83 sec so far
Iteration 4464: 4595.01 sec so far
Iteration 4470: 4600.77 sec so far
Iteration 4476: 4606.49 sec so far
Iteration 4482: 4612.24 sec so far
Iteration 4488: 4617.97 sec so far
Iteration 4494: 4623.66 sec so far
Iteration 4499: 4628.69 sec so far
Iteration 4504: 4634.26 sec so far
Iteration 4509: 4640.10 sec so far
Iteration 4514: 4646.10 sec so far
Iteration 4519: 4651.99 sec so far
Iteration 4524: 4657.14 sec so far
Iteration 4529: 4662.17 sec so far
Iteration 4534: 4667.19 sec so far
Iteration 4540: 4672.89 sec so far
Iteration 4546: 4678.61 sec so far
Iteration 4552: 4684.35 sec so far
Iteration 4558: 4690.14 sec so far
Iteration 4563: 4695.82 sec so far
Iteration 4568: 4701.65 sec so far
Iteration 4573: 4707.24 sec so far
Iteration 4578: 4713.09 sec so far
Iteration 4583: 4718.26 sec so far
Iteration 4589: 4724.58 sec so far
Iteration 4595: 4730.42 sec so far
Iteration 4601: 4736.08 sec so far
Iteration 4607: 4741.84 sec so far
Iteration 4613: 4747.53 sec so far
Iteration 4619: 4753.27 sec so far
Iteration 4624: 4758.36 sec so far
Iteration 4629: 4763.72 sec so far
Iteration 4634: 4769.38 sec so far
Iteration 4639: 4775.45 sec so far
Iteration 4644: 4780.90 sec so far
Iteration 4649: 4786.51 sec so far
Iteration 4655: 4792.48 sec so far
Iteration 4661: 4798.43 sec so far
Iteration 4667: 4804.12 sec so far
Iteration 4673: 4809.86 sec so far
Iteration 4679: 4815.53 sec so far
Iteration 4685: 4821.25 sec so far
Iteration 4690: 4827.01 sec so far
Iteration 4695: 4832.69 sec so far
Iteration 4700: 4838.32 sec so far
Iteration 4705: 4844.12 sec so far
Iteration 4710: 4849.45 sec so far
Iteration 4715: 4854.60 sec so far
Iteration 4721: 4860.47 sec so far
Iteration 4727: 4866.13 sec so far
Iteration 4733: 4871.89 sec so far
Iteration 4739: 4877.57 sec so far
Iteration 4745: 4883.28 sec so far
Iteration 4750: 4888.38 sec so far
Iteration 4755: 4893.50 sec so far
Iteration 4760: 4899.03 sec so far
Iteration 4765: 4905.15 sec so far
Iteration 4770: 4910.91 sec so far
Iteration 4775: 4916.40 sec so far
Iteration 4780: 4921.76 sec so far
Iteration 4786: 4927.56 sec so far
Iteration 4792: 4933.53 sec so far
Iteration 4798: 4939.23 sec so far
Iteration 4804: 4944.92 sec so far
Iteration 4810: 4950.63 sec so far
Iteration 4815: 4955.73 sec so far
Iteration 4820: 4961.70 sec so far
Iteration 4825: 4967.47 sec so far
Iteration 4830: 4973.20 sec so far
Iteration 4835: 4978.81 sec so far
Iteration 4841: 4984.80 sec so far
Iteration 4846: 4989.96 sec so far
Iteration 4852: 4995.63 sec so far
Iteration 4858: 5001.35 sec so far
Iteration 4864: 5007.06 sec so far
Iteration 4870: 5012.76 sec so far
Iteration 4876: 5018.85 sec so far
Value iteration (with Jacobi) took 4880 iterations, 172060835840 multiplications and 5023.12 seconds.
Probabilistic reachability took 5036.2 seconds.
Value in the initial state: 0.5386630172446859
Time for model checking: 5039.478 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-umb_check_ex_polling.18-16_rep3.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.umb %indir/property.props
Wallclock time: 4570.202 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 09:31:15 GMT+02:00 2026
Hostname: n23m0291.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex -importmodel /w0/tmp/slurm_tq429871.4965994/tmp2etkuepuprism_from-umb_check_ex_polling.18-16_tmp_indir_/prism.model.umb /w0/tmp/slurm_tq429871.4965994/tmp2etkuepuprism_from-umb_check_ex_polling.18-16_tmp_indir_/property.props
Importing model from "prism.model.umb"...
Type: CTMC
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: x
Labels: "serve_s2" "serve_s1"
Parsing properties file "/w0/tmp/slurm_tq429871.4965994/tmp2etkuepuprism_from-umb_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)...
Time for model construction: 6.559 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.228 seconds)
Starting Prob0...
Prob0 took 2.353 seconds.
Starting Prob1...
Prob1 took 3.477 seconds.
target=131072, yes=3407872, no=262144, maybe=3407872
Starting value iteration (with Jacobi)...
Iteration 6: 5.74 sec so far
Iteration 12: 11.53 sec so far
Iteration 18: 17.31 sec so far
Iteration 23: 22.32 sec so far
Iteration 28: 27.61 sec so far
Iteration 34: 33.48 sec so far
Iteration 40: 39.08 sec so far
Iteration 46: 44.73 sec so far
Iteration 52: 50.36 sec so far
Iteration 58: 56.02 sec so far
Iteration 64: 61.62 sec so far
Iteration 70: 67.26 sec so far
Iteration 75: 72.28 sec so far
Iteration 81: 78.00 sec so far
Iteration 87: 83.92 sec so far
Iteration 93: 89.77 sec so far
Iteration 99: 95.37 sec so far
Iteration 105: 101.25 sec so far
Iteration 111: 107.04 sec so far
Iteration 117: 112.67 sec so far
Iteration 123: 118.49 sec so far
Iteration 129: 124.17 sec so far
Iteration 134: 129.30 sec so far
Iteration 140: 135.19 sec so far
Iteration 146: 140.88 sec so far
Iteration 152: 146.59 sec so far
Iteration 158: 152.51 sec so far
Iteration 164: 158.16 sec so far
Iteration 170: 163.88 sec so far
Iteration 175: 168.92 sec so far
Iteration 181: 174.59 sec so far
Iteration 187: 180.23 sec so far
Iteration 193: 186.07 sec so far
Iteration 198: 191.38 sec so far
Iteration 204: 197.04 sec so far
Iteration 210: 202.70 sec so far
Iteration 216: 208.37 sec so far
Iteration 221: 213.40 sec so far
Iteration 227: 219.20 sec so far
Iteration 233: 224.82 sec so far
Iteration 239: 230.52 sec so far
Iteration 244: 235.74 sec so far
Iteration 250: 241.44 sec so far
Iteration 255: 246.68 sec so far
Iteration 261: 252.55 sec so far
Iteration 267: 258.20 sec so far
Iteration 273: 263.87 sec so far
Iteration 279: 269.70 sec so far
Iteration 285: 275.31 sec so far
Iteration 291: 280.99 sec so far
Iteration 297: 286.92 sec so far
Iteration 303: 292.87 sec so far
Iteration 309: 298.55 sec so far
Iteration 315: 304.40 sec so far
Iteration 320: 309.42 sec so far
Iteration 325: 315.06 sec so far
Iteration 330: 320.14 sec so far
Iteration 336: 325.97 sec so far
Iteration 342: 331.61 sec so far
Iteration 348: 337.27 sec so far
Iteration 354: 343.00 sec so far
Iteration 360: 349.05 sec so far
Iteration 366: 354.71 sec so far
Iteration 372: 360.47 sec so far
Iteration 377: 365.48 sec so far
Iteration 382: 370.61 sec so far
Iteration 387: 376.49 sec so far
Iteration 393: 382.42 sec so far
Iteration 399: 388.25 sec so far
Iteration 405: 394.01 sec so far
Iteration 411: 399.67 sec so far
Iteration 417: 405.27 sec so far
Iteration 423: 411.29 sec so far
Iteration 429: 417.04 sec so far
Iteration 435: 422.72 sec so far
Iteration 441: 428.46 sec so far
Iteration 446: 433.90 sec so far
Iteration 451: 439.19 sec so far
Iteration 456: 444.32 sec so far
Iteration 461: 449.57 sec so far
Iteration 467: 455.33 sec so far
Iteration 473: 461.02 sec so far
Iteration 479: 466.67 sec so far
Iteration 485: 472.30 sec so far
Iteration 490: 477.53 sec so far
Iteration 496: 483.43 sec so far
Iteration 502: 489.12 sec so far
Iteration 508: 494.73 sec so far
Iteration 513: 499.86 sec so far
Iteration 518: 505.61 sec so far
Iteration 523: 510.82 sec so far
Iteration 529: 516.70 sec so far
Iteration 535: 522.38 sec so far
Iteration 541: 528.14 sec so far
Iteration 547: 533.93 sec so far
Iteration 553: 539.75 sec so far
Iteration 559: 545.47 sec so far
Iteration 565: 551.15 sec so far
Iteration 571: 556.91 sec so far
Iteration 576: 562.43 sec so far
Iteration 581: 568.36 sec so far
Iteration 586: 573.84 sec so far
Iteration 591: 579.00 sec so far
Iteration 597: 584.88 sec so far
Iteration 603: 590.61 sec so far
Iteration 609: 596.33 sec so far
Iteration 615: 602.00 sec so far
Iteration 621: 607.71 sec so far
Iteration 627: 613.58 sec so far
Iteration 633: 619.19 sec so far
Iteration 639: 625.00 sec so far
Iteration 644: 630.21 sec so far
Iteration 649: 635.24 sec so far
Iteration 654: 640.38 sec so far
Iteration 660: 646.11 sec so far
Iteration 666: 652.04 sec so far
Iteration 671: 657.78 sec so far
Iteration 677: 663.50 sec so far
Iteration 683: 669.31 sec so far
Iteration 689: 675.00 sec so far
Iteration 695: 680.68 sec so far
Iteration 700: 685.74 sec so far
Iteration 705: 690.81 sec so far
Iteration 710: 695.87 sec so far
Iteration 715: 700.90 sec so far
Iteration 721: 706.82 sec so far
Iteration 726: 712.03 sec so far
Iteration 731: 717.25 sec so far
Iteration 736: 722.53 sec so far
Iteration 741: 727.83 sec so far
Iteration 747: 733.70 sec so far
Iteration 753: 739.36 sec so far
Iteration 759: 745.03 sec so far
Iteration 765: 750.83 sec so far
Iteration 770: 756.41 sec so far
Iteration 775: 761.48 sec so far
Iteration 780: 766.52 sec so far
Iteration 786: 772.21 sec so far
Iteration 792: 778.05 sec so far
Iteration 797: 783.10 sec so far
Iteration 802: 788.11 sec so far
Iteration 807: 793.22 sec so far
Iteration 813: 798.99 sec so far
Iteration 819: 804.69 sec so far
Iteration 825: 810.37 sec so far
Iteration 830: 815.50 sec so far
Iteration 836: 821.79 sec so far
Iteration 842: 827.62 sec so far
Iteration 848: 833.29 sec so far
Iteration 854: 839.10 sec so far
Iteration 860: 844.93 sec so far
Iteration 865: 849.95 sec so far
Iteration 870: 855.25 sec so far
Iteration 876: 861.05 sec so far
Iteration 882: 866.79 sec so far
Iteration 888: 872.46 sec so far
Iteration 894: 878.10 sec so far
Iteration 900: 884.29 sec so far
Iteration 905: 889.41 sec so far
Iteration 911: 895.25 sec so far
Iteration 917: 900.90 sec so far
Iteration 923: 906.52 sec so far
Iteration 929: 912.65 sec so far
Iteration 934: 917.68 sec so far
Iteration 940: 923.61 sec so far
Iteration 946: 929.45 sec so far
Iteration 952: 935.09 sec so far
Iteration 958: 940.80 sec so far
Iteration 963: 946.27 sec so far
Iteration 968: 951.29 sec so far
Iteration 974: 957.03 sec so far
Iteration 980: 962.69 sec so far
Iteration 986: 968.33 sec so far
Iteration 992: 974.17 sec so far
Iteration 998: 980.03 sec so far
Iteration 1003: 985.07 sec so far
Iteration 1008: 990.14 sec so far
Iteration 1013: 995.23 sec so far
Iteration 1019: 1000.98 sec so far
Iteration 1025: 1006.66 sec so far
Iteration 1030: 1012.14 sec so far
Iteration 1035: 1017.30 sec so far
Iteration 1041: 1023.02 sec so far
Iteration 1047: 1028.77 sec so far
Iteration 1053: 1034.44 sec so far
Iteration 1059: 1040.17 sec so far
Iteration 1065: 1045.88 sec so far
Iteration 1071: 1051.52 sec so far
Iteration 1077: 1057.37 sec so far
Iteration 1083: 1063.20 sec so far
Iteration 1088: 1068.37 sec so far
Iteration 1093: 1074.22 sec so far
Iteration 1099: 1080.12 sec so far
Iteration 1105: 1085.76 sec so far
Iteration 1111: 1091.50 sec so far
Iteration 1117: 1097.12 sec so far
Iteration 1123: 1102.89 sec so far
Iteration 1129: 1108.60 sec so far
Iteration 1135: 1114.25 sec so far
Iteration 1141: 1119.90 sec so far
Iteration 1147: 1125.57 sec so far
Iteration 1152: 1130.65 sec so far
Iteration 1157: 1136.26 sec so far
Iteration 1162: 1141.38 sec so far
Iteration 1167: 1146.40 sec so far
Iteration 1173: 1152.05 sec so far
Iteration 1179: 1157.79 sec so far
Iteration 1185: 1163.43 sec so far
Iteration 1191: 1169.34 sec so far
Iteration 1197: 1175.04 sec so far
Iteration 1203: 1180.70 sec so far
Iteration 1209: 1186.34 sec so far
Iteration 1215: 1191.98 sec so far
Iteration 1220: 1197.61 sec so far
Iteration 1225: 1202.88 sec so far
Iteration 1231: 1208.79 sec so far
Iteration 1237: 1214.44 sec so far
Iteration 1243: 1220.13 sec so far
Iteration 1249: 1225.85 sec so far
Iteration 1255: 1231.51 sec so far
Iteration 1261: 1237.22 sec so far
Iteration 1267: 1242.91 sec so far
Iteration 1273: 1248.53 sec so far
Iteration 1279: 1254.34 sec so far
Iteration 1284: 1259.39 sec so far
Iteration 1289: 1264.63 sec so far
Iteration 1294: 1269.96 sec so far
Iteration 1299: 1274.99 sec so far
Iteration 1305: 1280.64 sec so far
Iteration 1311: 1286.30 sec so far
Iteration 1317: 1292.05 sec so far
Iteration 1323: 1297.67 sec so far
Iteration 1329: 1303.40 sec so far
Iteration 1335: 1309.07 sec so far
Iteration 1341: 1314.71 sec so far
Iteration 1347: 1321.00 sec so far
Iteration 1352: 1326.11 sec so far
Iteration 1357: 1331.22 sec so far
Iteration 1363: 1337.18 sec so far
Iteration 1369: 1342.84 sec so far
Iteration 1375: 1348.47 sec so far
Iteration 1381: 1354.20 sec so far
Iteration 1387: 1359.81 sec so far
Iteration 1393: 1365.46 sec so far
Iteration 1399: 1371.10 sec so far
Iteration 1405: 1376.73 sec so far
Iteration 1411: 1382.54 sec so far
Iteration 1416: 1387.79 sec so far
Iteration 1421: 1392.84 sec so far
Iteration 1426: 1398.44 sec so far
Iteration 1432: 1404.35 sec so far
Iteration 1438: 1410.02 sec so far
Iteration 1444: 1415.68 sec so far
Iteration 1450: 1421.38 sec so far
Iteration 1456: 1427.01 sec so far
Iteration 1462: 1432.68 sec so far
Iteration 1468: 1438.32 sec so far
Iteration 1474: 1444.03 sec so far
Iteration 1479: 1449.26 sec so far
Iteration 1484: 1454.28 sec so far
Iteration 1489: 1459.56 sec so far
Iteration 1494: 1464.70 sec so far
Iteration 1500: 1470.47 sec so far
Iteration 1506: 1476.19 sec so far
Iteration 1512: 1481.86 sec so far
Iteration 1518: 1487.56 sec so far
Iteration 1524: 1493.23 sec so far
Iteration 1530: 1498.86 sec so far
Iteration 1536: 1504.49 sec so far
Iteration 1542: 1510.14 sec so far
Iteration 1547: 1515.27 sec so far
Iteration 1552: 1520.41 sec so far
Iteration 1557: 1526.18 sec so far
Iteration 1563: 1532.08 sec so far
Iteration 1569: 1537.79 sec so far
Iteration 1575: 1543.55 sec so far
Iteration 1581: 1549.20 sec so far
Iteration 1587: 1554.95 sec so far
Iteration 1593: 1560.58 sec so far
Iteration 1599: 1566.24 sec so far
Iteration 1605: 1571.99 sec so far
Iteration 1610: 1577.07 sec so far
Iteration 1615: 1582.08 sec so far
Iteration 1620: 1587.21 sec so far
Iteration 1625: 1592.27 sec so far
Iteration 1630: 1597.28 sec so far
Iteration 1636: 1603.04 sec so far
Iteration 1642: 1608.77 sec so far
Iteration 1648: 1614.43 sec so far
Iteration 1654: 1620.16 sec so far
Iteration 1660: 1625.87 sec so far
Iteration 1666: 1631.49 sec so far
Iteration 1672: 1637.34 sec so far
Iteration 1677: 1642.42 sec so far
Iteration 1682: 1647.47 sec so far
Iteration 1687: 1652.59 sec so far
Iteration 1693: 1658.25 sec so far
Iteration 1699: 1663.90 sec so far
Iteration 1705: 1669.87 sec so far
Iteration 1710: 1674.88 sec so far
Iteration 1715: 1679.91 sec so far
Iteration 1721: 1685.61 sec so far
Iteration 1727: 1691.33 sec so far
Iteration 1733: 1697.00 sec so far
Iteration 1738: 1702.07 sec so far
Iteration 1743: 1707.63 sec so far
Iteration 1749: 1713.48 sec so far
Iteration 1755: 1719.12 sec so far
Iteration 1761: 1724.78 sec so far
Iteration 1767: 1730.42 sec so far
Iteration 1772: 1735.44 sec so far
Iteration 1777: 1740.49 sec so far
Iteration 1782: 1745.53 sec so far
Iteration 1788: 1751.29 sec so far
Iteration 1794: 1757.04 sec so far
Iteration 1800: 1762.66 sec so far
Iteration 1805: 1767.70 sec so far
Iteration 1810: 1773.13 sec so far
Iteration 1815: 1778.17 sec so far
Iteration 1821: 1783.87 sec so far
Iteration 1827: 1789.53 sec so far
Iteration 1833: 1795.18 sec so far
Iteration 1839: 1800.83 sec so far
Iteration 1844: 1805.92 sec so far
Iteration 1849: 1811.06 sec so far
Iteration 1855: 1816.82 sec so far
Iteration 1861: 1822.56 sec so far
Iteration 1866: 1827.79 sec so far
Iteration 1871: 1832.97 sec so far
Iteration 1877: 1838.90 sec so far
Iteration 1883: 1844.79 sec so far
Iteration 1889: 1850.53 sec so far
Iteration 1895: 1856.24 sec so far
Iteration 1901: 1861.90 sec so far
Iteration 1907: 1867.78 sec so far
Iteration 1913: 1873.70 sec so far
Iteration 1918: 1878.78 sec so far
Iteration 1924: 1884.68 sec so far
Iteration 1930: 1890.46 sec so far
Iteration 1935: 1895.59 sec so far
Iteration 1940: 1900.70 sec so far
Iteration 1945: 1905.77 sec so far
Iteration 1950: 1910.78 sec so far
Iteration 1956: 1916.55 sec so far
Iteration 1962: 1922.21 sec so far
Iteration 1968: 1927.88 sec so far
Iteration 1974: 1933.52 sec so far
Iteration 1979: 1938.56 sec so far
Iteration 1984: 1943.62 sec so far
Iteration 1990: 1949.48 sec so far
Iteration 1995: 1954.68 sec so far
Iteration 2000: 1960.07 sec so far
Iteration 2006: 1965.75 sec so far
Iteration 2012: 1971.40 sec so far
Iteration 2018: 1977.40 sec so far
Iteration 2024: 1983.15 sec so far
Iteration 2030: 1988.90 sec so far
Iteration 2036: 1994.53 sec so far
Iteration 2042: 2000.31 sec so far
Iteration 2048: 2006.17 sec so far
Iteration 2053: 2011.24 sec so far
Iteration 2059: 2017.10 sec so far
Iteration 2064: 2022.43 sec so far
Iteration 2069: 2027.66 sec so far
Iteration 2075: 2033.38 sec so far
Iteration 2081: 2039.08 sec so far
Iteration 2087: 2044.99 sec so far
Iteration 2093: 2050.77 sec so far
Iteration 2099: 2056.43 sec so far
Iteration 2105: 2062.05 sec so far
Iteration 2111: 2067.92 sec so far
Iteration 2117: 2073.80 sec so far
Iteration 2122: 2079.12 sec so far
Iteration 2127: 2084.59 sec so far
Iteration 2133: 2090.45 sec so far
Iteration 2139: 2096.22 sec so far
Iteration 2145: 2101.88 sec so far
Iteration 2151: 2107.53 sec so far
Iteration 2157: 2113.51 sec so far
Iteration 2163: 2119.16 sec so far
Iteration 2169: 2124.83 sec so far
Iteration 2175: 2130.50 sec so far
Iteration 2181: 2136.48 sec so far
Iteration 2186: 2141.69 sec so far
Iteration 2191: 2146.90 sec so far
Iteration 2196: 2152.07 sec so far
Iteration 2201: 2157.18 sec so far
Iteration 2206: 2162.23 sec so far
Iteration 2212: 2167.98 sec so far
Iteration 2218: 2173.70 sec so far
Iteration 2224: 2179.44 sec so far
Iteration 2230: 2185.19 sec so far
Iteration 2236: 2190.93 sec so far
Iteration 2242: 2196.68 sec so far
Iteration 2248: 2202.41 sec so far
Iteration 2254: 2208.43 sec so far
Iteration 2259: 2213.45 sec so far
Iteration 2264: 2218.66 sec so far
Iteration 2270: 2224.53 sec so far
Iteration 2276: 2230.26 sec so far
Iteration 2282: 2235.97 sec so far
Iteration 2288: 2241.72 sec so far
Iteration 2294: 2247.43 sec so far
Iteration 2300: 2253.18 sec so far
Iteration 2306: 2258.84 sec so far
Iteration 2312: 2264.57 sec so far
Iteration 2318: 2270.30 sec so far
Iteration 2324: 2276.16 sec so far
Iteration 2329: 2281.60 sec so far
Iteration 2334: 2286.66 sec so far
Iteration 2340: 2292.38 sec so far
Iteration 2346: 2298.12 sec so far
Iteration 2352: 2303.84 sec so far
Iteration 2358: 2309.59 sec so far
Iteration 2364: 2315.30 sec so far
Iteration 2370: 2321.03 sec so far
Iteration 2376: 2326.77 sec so far
Iteration 2382: 2332.53 sec so far
Iteration 2387: 2337.68 sec so far
Iteration 2392: 2343.10 sec so far
Iteration 2398: 2348.87 sec so far
Iteration 2404: 2354.60 sec so far
Iteration 2410: 2360.39 sec so far
Iteration 2416: 2366.14 sec so far
Iteration 2422: 2371.87 sec so far
Iteration 2428: 2377.58 sec so far
Iteration 2434: 2383.29 sec so far
Iteration 2440: 2389.03 sec so far
Iteration 2446: 2394.74 sec so far
Iteration 2452: 2400.80 sec so far
Iteration 2457: 2405.86 sec so far
Iteration 2462: 2410.93 sec so far
Iteration 2468: 2416.83 sec so far
Iteration 2474: 2422.56 sec so far
Iteration 2480: 2428.30 sec so far
Iteration 2486: 2434.03 sec so far
Iteration 2492: 2439.76 sec so far
Iteration 2498: 2445.49 sec so far
Iteration 2504: 2451.22 sec so far
Iteration 2510: 2456.93 sec so far
Iteration 2515: 2462.15 sec so far
Iteration 2520: 2467.25 sec so far
Iteration 2525: 2472.30 sec so far
Iteration 2531: 2478.02 sec so far
Iteration 2537: 2483.75 sec so far
Iteration 2543: 2489.48 sec so far
Iteration 2549: 2495.22 sec so far
Iteration 2555: 2500.93 sec so far
Iteration 2561: 2506.64 sec so far
Iteration 2567: 2512.35 sec so far
Iteration 2573: 2518.06 sec so far
Iteration 2579: 2523.81 sec so far
Iteration 2585: 2529.51 sec so far
Iteration 2591: 2535.51 sec so far
Iteration 2596: 2540.52 sec so far
Iteration 2601: 2545.74 sec so far
Iteration 2607: 2551.66 sec so far
Iteration 2613: 2557.40 sec so far
Iteration 2619: 2563.09 sec so far
Iteration 2625: 2568.86 sec so far
Iteration 2631: 2574.59 sec so far
Iteration 2637: 2580.33 sec so far
Iteration 2643: 2586.05 sec so far
Iteration 2649: 2591.74 sec so far
Iteration 2654: 2597.00 sec so far
Iteration 2659: 2602.12 sec so far
Iteration 2664: 2607.18 sec so far
Iteration 2670: 2612.92 sec so far
Iteration 2676: 2618.64 sec so far
Iteration 2682: 2624.38 sec so far
Iteration 2688: 2630.12 sec so far
Iteration 2694: 2635.85 sec so far
Iteration 2700: 2641.58 sec so far
Iteration 2706: 2647.31 sec so far
Iteration 2712: 2653.01 sec so far
Iteration 2718: 2658.78 sec so far
Iteration 2723: 2664.04 sec so far
Iteration 2728: 2669.14 sec so far
Iteration 2733: 2674.26 sec so far
Iteration 2739: 2680.00 sec so far
Iteration 2745: 2685.71 sec so far
Iteration 2751: 2691.44 sec so far
Iteration 2757: 2697.18 sec so far
Iteration 2763: 2702.91 sec so far
Iteration 2769: 2708.63 sec so far
Iteration 2775: 2714.33 sec so far
Iteration 2781: 2720.42 sec so far
Iteration 2786: 2725.45 sec so far
Iteration 2791: 2730.59 sec so far
Iteration 2797: 2736.45 sec so far
Iteration 2803: 2742.17 sec so far
Iteration 2809: 2747.90 sec so far
Iteration 2815: 2753.63 sec so far
Iteration 2821: 2759.35 sec so far
Iteration 2827: 2765.06 sec so far
Iteration 2833: 2770.78 sec so far
Iteration 2839: 2776.51 sec so far
Iteration 2845: 2782.21 sec so far
Iteration 2850: 2787.28 sec so far
Iteration 2855: 2792.28 sec so far
Iteration 2860: 2797.64 sec so far
Iteration 2866: 2803.37 sec so far
Iteration 2872: 2809.07 sec so far
Iteration 2878: 2814.83 sec so far
Iteration 2884: 2820.53 sec so far
Iteration 2890: 2826.28 sec so far
Iteration 2896: 2831.99 sec so far
Iteration 2902: 2837.70 sec so far
Iteration 2908: 2843.58 sec so far
Iteration 2913: 2848.68 sec so far
Iteration 2918: 2853.80 sec so far
Iteration 2923: 2858.87 sec so far
Iteration 2929: 2864.57 sec so far
Iteration 2935: 2870.30 sec so far
Iteration 2941: 2876.03 sec so far
Iteration 2947: 2881.75 sec so far
Iteration 2953: 2887.46 sec so far
Iteration 2959: 2893.20 sec so far
Iteration 2965: 2898.90 sec so far
Iteration 2971: 2904.66 sec so far
Iteration 2977: 2910.38 sec so far
Iteration 2982: 2915.45 sec so far
Iteration 2987: 2920.85 sec so far
Iteration 2993: 2926.73 sec so far
Iteration 2999: 2932.44 sec so far
Iteration 3005: 2938.20 sec so far
Iteration 3011: 2943.90 sec so far
Iteration 3017: 2949.65 sec so far
Iteration 3023: 2955.36 sec so far
Iteration 3029: 2961.17 sec so far
Iteration 3035: 2966.84 sec so far
Iteration 3041: 2972.61 sec so far
Iteration 3046: 2977.95 sec so far
Iteration 3052: 2983.86 sec so far
Iteration 3058: 2989.54 sec so far
Iteration 3064: 2994.83 sec so far
Iteration 3070: 2999.92 sec so far
Iteration 3076: 3005.00 sec so far
Iteration 3082: 3010.08 sec so far
Iteration 3088: 3015.17 sec so far
Iteration 3094: 3020.26 sec so far
Iteration 3100: 3025.34 sec so far
Iteration 3106: 3030.46 sec so far
Iteration 3112: 3035.53 sec so far
Iteration 3118: 3041.22 sec so far
Iteration 3124: 3046.73 sec so far
Iteration 3130: 3051.95 sec so far
Iteration 3136: 3057.03 sec so far
Iteration 3142: 3062.10 sec so far
Iteration 3148: 3067.18 sec so far
Iteration 3154: 3072.25 sec so far
Iteration 3160: 3077.34 sec so far
Iteration 3166: 3082.42 sec so far
Iteration 3172: 3087.53 sec so far
Iteration 3178: 3092.59 sec so far
Iteration 3184: 3097.92 sec so far
Iteration 3190: 3103.34 sec so far
Iteration 3196: 3108.57 sec so far
Iteration 3202: 3113.65 sec so far
Iteration 3208: 3118.70 sec so far
Iteration 3214: 3123.76 sec so far
Iteration 3220: 3128.83 sec so far
Iteration 3226: 3133.88 sec so far
Iteration 3232: 3138.92 sec so far
Iteration 3238: 3143.96 sec so far
Iteration 3244: 3149.04 sec so far
Iteration 3250: 3154.08 sec so far
Iteration 3256: 3159.11 sec so far
Iteration 3262: 3164.49 sec so far
Iteration 3268: 3169.70 sec so far
Iteration 3274: 3175.04 sec so far
Iteration 3280: 3180.09 sec so far
Iteration 3286: 3185.15 sec so far
Iteration 3292: 3190.20 sec so far
Iteration 3298: 3195.26 sec so far
Iteration 3304: 3200.36 sec so far
Iteration 3310: 3205.45 sec so far
Iteration 3316: 3210.51 sec so far
Iteration 3322: 3215.56 sec so far
Iteration 3328: 3220.68 sec so far
Iteration 3334: 3226.17 sec so far
Iteration 3340: 3231.48 sec so far
Iteration 3346: 3236.60 sec so far
Iteration 3352: 3241.64 sec so far
Iteration 3358: 3246.70 sec so far
Iteration 3364: 3251.76 sec so far
Iteration 3370: 3256.82 sec so far
Iteration 3376: 3261.89 sec so far
Iteration 3382: 3266.97 sec so far
Iteration 3388: 3272.05 sec so far
Iteration 3394: 3277.10 sec so far
Iteration 3400: 3282.16 sec so far
Iteration 3406: 3287.46 sec so far
Iteration 3412: 3292.62 sec so far
Iteration 3418: 3298.09 sec so far
Iteration 3424: 3303.13 sec so far
Iteration 3430: 3308.18 sec so far
Iteration 3436: 3313.24 sec so far
Iteration 3442: 3318.31 sec so far
Iteration 3448: 3323.39 sec so far
Iteration 3454: 3328.44 sec so far
Iteration 3460: 3333.50 sec so far
Iteration 3466: 3338.56 sec so far
Iteration 3472: 3343.63 sec so far
Iteration 3478: 3349.02 sec so far
Iteration 3484: 3354.51 sec so far
Iteration 3490: 3359.55 sec so far
Iteration 3496: 3364.59 sec so far
Iteration 3502: 3369.66 sec so far
Iteration 3508: 3374.74 sec so far
Iteration 3514: 3379.80 sec so far
Iteration 3520: 3384.87 sec so far
Iteration 3526: 3389.94 sec so far
Iteration 3532: 3395.00 sec so far
Iteration 3538: 3400.05 sec so far
Iteration 3544: 3405.09 sec so far
Iteration 3550: 3410.23 sec so far
Iteration 3556: 3415.67 sec so far
Iteration 3562: 3421.02 sec so far
Iteration 3568: 3426.13 sec so far
Iteration 3574: 3431.19 sec so far
Iteration 3580: 3436.25 sec so far
Iteration 3586: 3441.33 sec so far
Iteration 3592: 3446.40 sec so far
Iteration 3598: 3451.45 sec so far
Iteration 3604: 3456.51 sec so far
Iteration 3610: 3461.54 sec so far
Iteration 3616: 3466.62 sec so far
Iteration 3622: 3471.94 sec so far
Iteration 3628: 3477.39 sec so far
Iteration 3634: 3482.57 sec so far
Iteration 3640: 3487.65 sec so far
Iteration 3646: 3492.71 sec so far
Iteration 3652: 3497.76 sec so far
Iteration 3658: 3502.84 sec so far
Iteration 3664: 3507.93 sec so far
Iteration 3670: 3513.00 sec so far
Iteration 3676: 3518.06 sec so far
Iteration 3682: 3523.12 sec so far
Iteration 3688: 3528.17 sec so far
Iteration 3694: 3533.25 sec so far
Iteration 3700: 3538.67 sec so far
Iteration 3706: 3543.98 sec so far
Iteration 3712: 3549.24 sec so far
Iteration 3718: 3554.31 sec so far
Iteration 3724: 3559.37 sec so far
Iteration 3730: 3564.46 sec so far
Iteration 3736: 3569.54 sec so far
Iteration 3742: 3574.61 sec so far
Iteration 3748: 3579.68 sec so far
Iteration 3754: 3584.76 sec so far
Iteration 3760: 3589.83 sec so far
Iteration 3766: 3595.08 sec so far
Iteration 3772: 3600.53 sec so far
Iteration 3778: 3605.83 sec so far
Iteration 3784: 3610.90 sec so far
Iteration 3790: 3615.98 sec so far
Iteration 3796: 3621.05 sec so far
Iteration 3802: 3626.12 sec so far
Iteration 3808: 3631.19 sec so far
Iteration 3814: 3636.25 sec so far
Iteration 3820: 3641.29 sec so far
Iteration 3826: 3646.39 sec so far
Iteration 3832: 3651.45 sec so far
Iteration 3838: 3656.50 sec so far
Iteration 3844: 3661.91 sec so far
Iteration 3850: 3667.09 sec so far
Iteration 3856: 3672.48 sec so far
Iteration 3862: 3677.53 sec so far
Iteration 3868: 3682.59 sec so far
Iteration 3874: 3687.68 sec so far
Iteration 3880: 3692.75 sec so far
Iteration 3886: 3697.84 sec so far
Iteration 3892: 3702.91 sec so far
Iteration 3898: 3707.99 sec so far
Iteration 3904: 3713.06 sec so far
Iteration 3910: 3718.15 sec so far
Iteration 3916: 3723.59 sec so far
Iteration 3922: 3728.94 sec so far
Iteration 3928: 3734.16 sec so far
Iteration 3934: 3739.20 sec so far
Iteration 3940: 3744.27 sec so far
Iteration 3946: 3749.35 sec so far
Iteration 3952: 3754.40 sec so far
Iteration 3958: 3759.45 sec so far
Iteration 3964: 3764.50 sec so far
Iteration 3970: 3769.58 sec so far
Iteration 3976: 3774.64 sec so far
Iteration 3982: 3779.72 sec so far
Iteration 3988: 3784.78 sec so far
Iteration 3994: 3789.83 sec so far
Iteration 4000: 3795.23 sec so far
Iteration 4006: 3800.49 sec so far
Iteration 4012: 3805.83 sec so far
Iteration 4018: 3810.91 sec so far
Iteration 4024: 3816.00 sec so far
Iteration 4030: 3821.07 sec so far
Iteration 4036: 3826.12 sec so far
Iteration 4042: 3831.21 sec so far
Iteration 4048: 3836.30 sec so far
Iteration 4054: 3841.36 sec so far
Iteration 4060: 3846.41 sec so far
Iteration 4066: 3851.62 sec so far
Iteration 4072: 3857.11 sec so far
Iteration 4078: 3862.45 sec so far
Iteration 4084: 3867.55 sec so far
Iteration 4090: 3872.62 sec so far
Iteration 4096: 3877.69 sec so far
Iteration 4102: 3882.77 sec so far
Iteration 4108: 3887.83 sec so far
Iteration 4114: 3892.91 sec so far
Iteration 4120: 3897.98 sec so far
Iteration 4126: 3903.06 sec so far
Iteration 4132: 3908.14 sec so far
Iteration 4138: 3913.22 sec so far
Iteration 4144: 3918.59 sec so far
Iteration 4150: 3923.78 sec so far
Iteration 4156: 3929.26 sec so far
Iteration 4162: 3934.32 sec so far
Iteration 4168: 3939.39 sec so far
Iteration 4174: 3944.46 sec so far
Iteration 4180: 3949.53 sec so far
Iteration 4186: 3954.61 sec so far
Iteration 4192: 3959.68 sec so far
Iteration 4198: 3964.75 sec so far
Iteration 4204: 3969.82 sec so far
Iteration 4210: 3974.89 sec so far
Iteration 4216: 3980.31 sec so far
Iteration 4222: 3985.81 sec so far
Iteration 4228: 3990.89 sec so far
Iteration 4234: 3995.94 sec so far
Iteration 4240: 4001.00 sec so far
Iteration 4246: 4006.07 sec so far
Iteration 4252: 4011.14 sec so far
Iteration 4258: 4016.21 sec so far
Iteration 4264: 4021.27 sec so far
Iteration 4270: 4026.34 sec so far
Iteration 4276: 4031.41 sec so far
Iteration 4282: 4036.49 sec so far
Iteration 4288: 4041.71 sec so far
Iteration 4294: 4047.16 sec so far
Iteration 4300: 4052.52 sec so far
Iteration 4306: 4057.59 sec so far
Iteration 4312: 4062.68 sec so far
Iteration 4318: 4067.75 sec so far
Iteration 4324: 4072.83 sec so far
Iteration 4330: 4077.89 sec so far
Iteration 4336: 4082.94 sec so far
Iteration 4342: 4088.01 sec so far
Iteration 4348: 4093.09 sec so far
Iteration 4354: 4098.29 sec so far
Iteration 4360: 4103.58 sec so far
Iteration 4366: 4109.08 sec so far
Iteration 4372: 4114.15 sec so far
Iteration 4378: 4119.21 sec so far
Iteration 4384: 4124.28 sec so far
Iteration 4390: 4129.33 sec so far
Iteration 4396: 4134.40 sec so far
Iteration 4402: 4139.46 sec so far
Iteration 4408: 4144.54 sec so far
Iteration 4414: 4149.61 sec so far
Iteration 4420: 4154.67 sec so far
Iteration 4426: 4159.75 sec so far
Iteration 4432: 4164.84 sec so far
Iteration 4438: 4169.94 sec so far
Iteration 4444: 4175.32 sec so far
Iteration 4450: 4180.84 sec so far
Iteration 4456: 4185.89 sec so far
Iteration 4462: 4190.94 sec so far
Iteration 4468: 4196.00 sec so far
Iteration 4474: 4201.06 sec so far
Iteration 4480: 4206.13 sec so far
Iteration 4486: 4211.20 sec so far
Iteration 4492: 4216.26 sec so far
Iteration 4498: 4221.33 sec so far
Iteration 4504: 4226.43 sec so far
Iteration 4510: 4231.81 sec so far
Iteration 4516: 4237.04 sec so far
Iteration 4522: 4242.46 sec so far
Iteration 4528: 4247.53 sec so far
Iteration 4534: 4252.59 sec so far
Iteration 4540: 4257.67 sec so far
Iteration 4546: 4262.75 sec so far
Iteration 4552: 4267.81 sec so far
Iteration 4558: 4272.88 sec so far
Iteration 4564: 4277.93 sec so far
Iteration 4570: 4282.98 sec so far
Iteration 4576: 4288.08 sec so far
Iteration 4582: 4293.17 sec so far
Iteration 4588: 4298.46 sec so far
Iteration 4594: 4303.91 sec so far
Iteration 4600: 4309.15 sec so far
Iteration 4606: 4314.23 sec so far
Iteration 4612: 4319.30 sec so far
Iteration 4618: 4324.36 sec so far
Iteration 4624: 4329.45 sec so far
Iteration 4630: 4334.52 sec so far
Iteration 4636: 4339.59 sec so far
Iteration 4642: 4344.69 sec so far
Iteration 4648: 4349.76 sec so far
Iteration 4654: 4355.03 sec so far
Iteration 4660: 4360.22 sec so far
Iteration 4666: 4365.75 sec so far
Iteration 4672: 4370.79 sec so far
Iteration 4678: 4375.85 sec so far
Iteration 4684: 4380.91 sec so far
Iteration 4690: 4385.97 sec so far
Iteration 4696: 4391.03 sec so far
Iteration 4702: 4396.10 sec so far
Iteration 4708: 4401.18 sec so far
Iteration 4714: 4406.27 sec so far
Iteration 4720: 4411.36 sec so far
Iteration 4726: 4416.44 sec so far
Iteration 4732: 4421.67 sec so far
Iteration 4738: 4427.11 sec so far
Iteration 4744: 4432.40 sec so far
Iteration 4750: 4437.47 sec so far
Iteration 4756: 4442.55 sec so far
Iteration 4762: 4447.62 sec so far
Iteration 4768: 4452.69 sec so far
Iteration 4774: 4457.75 sec so far
Iteration 4780: 4462.82 sec so far
Iteration 4786: 4467.92 sec so far
Iteration 4792: 4473.01 sec so far
Iteration 4798: 4478.17 sec so far
Iteration 4804: 4483.50 sec so far
Iteration 4810: 4488.95 sec so far
Iteration 4816: 4494.07 sec so far
Iteration 4822: 4499.15 sec so far
Iteration 4828: 4504.22 sec so far
Iteration 4834: 4509.29 sec so far
Iteration 4840: 4514.36 sec so far
Iteration 4846: 4519.42 sec so far
Iteration 4852: 4524.49 sec so far
Iteration 4858: 4529.56 sec so far
Iteration 4864: 4534.64 sec so far
Iteration 4870: 4539.72 sec so far
Iteration 4876: 4544.80 sec so far
Value iteration (with Jacobi) took 4880 iterations, 172060835840 multiplications and 4548.454 seconds.
Probabilistic reachability took 4559.538 seconds.
Value in the initial state: 0.5386630172446859
Time for model checking: 4562.595 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-umb_check_ex_polling.18-16_rep4.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.umb %indir/property.props
Wallclock time: 4398.647 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 09:59:54 GMT+02:00 2026
Hostname: n23m0291.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex -importmodel /w0/tmp/slurm_tq429871.4967327/tmpaksh2cq4prism_from-umb_check_ex_polling.18-16_tmp_indir_/prism.model.umb /w0/tmp/slurm_tq429871.4967327/tmpaksh2cq4prism_from-umb_check_ex_polling.18-16_tmp_indir_/property.props
Importing model from "prism.model.umb"...
Type: CTMC
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: x
Labels: "serve_s2" "serve_s1"
Parsing properties file "/w0/tmp/slurm_tq429871.4967327/tmpaksh2cq4prism_from-umb_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)...
Time for model construction: 6.871 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.269 seconds)
Starting Prob0...
Prob0 took 2.573 seconds.
Starting Prob1...
Prob1 took 4.041 seconds.
target=131072, yes=3407872, no=262144, maybe=3407872
Starting value iteration (with Jacobi)...
Iteration 5: 5.47 sec so far
Iteration 10: 11.11 sec so far
Iteration 15: 16.71 sec so far
Iteration 20: 22.73 sec so far
Iteration 25: 28.06 sec so far
Iteration 30: 33.48 sec so far
Iteration 36: 39.43 sec so far
Iteration 42: 45.40 sec so far
Iteration 48: 51.33 sec so far
Iteration 54: 57.28 sec so far
Iteration 59: 62.94 sec so far
Iteration 64: 68.43 sec so far
Iteration 69: 73.98 sec so far
Iteration 74: 79.98 sec so far
Iteration 79: 85.47 sec so far
Iteration 84: 91.02 sec so far
Iteration 89: 96.03 sec so far
Iteration 95: 102.02 sec so far
Iteration 101: 108.04 sec so far
Iteration 106: 113.05 sec so far
Iteration 111: 118.23 sec so far
Iteration 116: 123.75 sec so far
Iteration 120: 129.02 sec so far
Iteration 125: 134.71 sec so far
Iteration 130: 140.14 sec so far
Iteration 135: 145.49 sec so far
Iteration 140: 150.89 sec so far
Iteration 145: 156.59 sec so far
Iteration 150: 161.63 sec so far
Iteration 155: 166.67 sec so far
Iteration 160: 171.80 sec so far
Iteration 165: 176.88 sec so far
Iteration 170: 182.81 sec so far
Iteration 175: 188.24 sec so far
Iteration 180: 193.75 sec so far
Iteration 185: 199.58 sec so far
Iteration 190: 204.98 sec so far
Iteration 195: 210.27 sec so far
Iteration 200: 215.63 sec so far
Iteration 205: 221.14 sec so far
Iteration 210: 226.67 sec so far
Iteration 216: 232.62 sec so far
Iteration 221: 238.25 sec so far
Iteration 226: 243.81 sec so far
Iteration 231: 249.07 sec so far
Iteration 236: 254.12 sec so far
Iteration 241: 259.69 sec so far
Iteration 246: 265.35 sec so far
Iteration 251: 270.81 sec so far
Iteration 256: 276.11 sec so far
Iteration 261: 281.54 sec so far
Iteration 266: 287.03 sec so far
Iteration 271: 292.63 sec so far
Iteration 277: 298.56 sec so far
Iteration 282: 303.87 sec so far
Iteration 287: 309.43 sec so far
Iteration 292: 315.21 sec so far
Iteration 297: 320.39 sec so far
Iteration 302: 325.86 sec so far
Iteration 307: 331.74 sec so far
Iteration 312: 337.32 sec so far
Iteration 317: 342.60 sec so far
Iteration 322: 347.92 sec so far
Iteration 327: 353.28 sec so far
Iteration 332: 358.79 sec so far
Iteration 337: 364.19 sec so far
Iteration 342: 369.78 sec so far
Iteration 347: 375.51 sec so far
Iteration 352: 380.56 sec so far
Iteration 357: 385.59 sec so far
Iteration 362: 390.91 sec so far
Iteration 367: 396.29 sec so far
Iteration 372: 401.77 sec so far
Iteration 377: 407.88 sec so far
Iteration 382: 413.35 sec so far
Iteration 387: 418.81 sec so far
Iteration 392: 424.15 sec so far
Iteration 397: 429.45 sec so far
Iteration 402: 434.69 sec so far
Iteration 407: 440.52 sec so far
Iteration 413: 446.27 sec so far
Iteration 419: 452.03 sec so far
Iteration 425: 457.81 sec so far
Iteration 431: 463.57 sec so far
Iteration 437: 469.35 sec so far
Iteration 443: 475.07 sec so far
Iteration 449: 480.81 sec so far
Iteration 455: 486.57 sec so far
Iteration 460: 491.94 sec so far
Iteration 465: 497.26 sec so far
Iteration 470: 502.59 sec so far
Iteration 476: 508.32 sec so far
Iteration 482: 514.10 sec so far
Iteration 488: 519.82 sec so far
Iteration 494: 525.62 sec so far
Iteration 500: 531.40 sec so far
Iteration 506: 537.24 sec so far
Iteration 512: 543.13 sec so far
Iteration 518: 548.85 sec so far
Iteration 524: 555.03 sec so far
Iteration 529: 560.11 sec so far
Iteration 534: 565.86 sec so far
Iteration 540: 571.61 sec so far
Iteration 546: 577.39 sec so far
Iteration 552: 583.16 sec so far
Iteration 558: 588.94 sec so far
Iteration 564: 594.68 sec so far
Iteration 570: 600.46 sec so far
Iteration 576: 606.20 sec so far
Iteration 582: 612.09 sec so far
Iteration 587: 617.19 sec so far
Iteration 592: 622.99 sec so far
Iteration 597: 628.03 sec so far
Iteration 603: 633.77 sec so far
Iteration 609: 639.73 sec so far
Iteration 615: 645.50 sec so far
Iteration 621: 651.27 sec so far
Iteration 627: 657.03 sec so far
Iteration 633: 662.76 sec so far
Iteration 639: 668.53 sec so far
Iteration 645: 674.26 sec so far
Iteration 651: 680.55 sec so far
Iteration 656: 685.64 sec so far
Iteration 661: 691.38 sec so far
Iteration 667: 697.15 sec so far
Iteration 673: 702.89 sec so far
Iteration 679: 708.65 sec so far
Iteration 685: 714.41 sec so far
Iteration 691: 720.16 sec so far
Iteration 697: 725.92 sec so far
Iteration 703: 731.69 sec so far
Iteration 709: 737.76 sec so far
Iteration 714: 743.18 sec so far
Iteration 719: 748.50 sec so far
Iteration 724: 753.92 sec so far
Iteration 730: 759.68 sec so far
Iteration 736: 765.45 sec so far
Iteration 742: 771.21 sec so far
Iteration 748: 776.97 sec so far
Iteration 754: 782.72 sec so far
Iteration 760: 788.47 sec so far
Iteration 766: 794.21 sec so far
Iteration 772: 799.97 sec so far
Iteration 777: 805.24 sec so far
Iteration 782: 810.34 sec so far
Iteration 787: 815.86 sec so far
Iteration 792: 821.04 sec so far
Iteration 798: 826.80 sec so far
Iteration 804: 832.55 sec so far
Iteration 810: 838.31 sec so far
Iteration 815: 843.36 sec so far
Iteration 821: 849.13 sec so far
Iteration 827: 854.85 sec so far
Iteration 833: 860.78 sec so far
Iteration 838: 866.08 sec so far
Iteration 843: 871.16 sec so far
Iteration 848: 876.91 sec so far
Iteration 854: 882.62 sec so far
Iteration 860: 888.37 sec so far
Iteration 866: 894.12 sec so far
Iteration 872: 899.87 sec so far
Iteration 878: 905.60 sec so far
Iteration 884: 911.34 sec so far
Iteration 890: 917.06 sec so far
Iteration 896: 922.80 sec so far
Iteration 901: 927.95 sec so far
Iteration 906: 933.09 sec so far
Iteration 911: 938.43 sec so far
Iteration 916: 944.11 sec so far
Iteration 922: 949.85 sec so far
Iteration 928: 955.58 sec so far
Iteration 934: 961.30 sec so far
Iteration 940: 967.05 sec so far
Iteration 946: 972.76 sec so far
Iteration 952: 978.52 sec so far
Iteration 958: 984.25 sec so far
Iteration 963: 989.51 sec so far
Iteration 968: 995.14 sec so far
Iteration 973: 1000.50 sec so far
Iteration 979: 1006.24 sec so far
Iteration 985: 1012.00 sec so far
Iteration 991: 1017.71 sec so far
Iteration 997: 1023.47 sec so far
Iteration 1003: 1029.18 sec so far
Iteration 1009: 1034.96 sec so far
Iteration 1015: 1040.71 sec so far
Iteration 1021: 1046.68 sec so far
Iteration 1026: 1051.78 sec so far
Iteration 1031: 1056.91 sec so far
Iteration 1036: 1062.76 sec so far
Iteration 1041: 1067.77 sec so far
Iteration 1047: 1073.49 sec so far
Iteration 1053: 1079.27 sec so far
Iteration 1059: 1084.99 sec so far
Iteration 1065: 1090.75 sec so far
Iteration 1071: 1096.49 sec so far
Iteration 1077: 1102.25 sec so far
Iteration 1083: 1107.98 sec so far
Iteration 1088: 1113.22 sec so far
Iteration 1093: 1118.95 sec so far
Iteration 1098: 1124.27 sec so far
Iteration 1104: 1130.11 sec so far
Iteration 1110: 1135.87 sec so far
Iteration 1116: 1141.66 sec so far
Iteration 1122: 1147.57 sec so far
Iteration 1128: 1153.30 sec so far
Iteration 1134: 1159.03 sec so far
Iteration 1140: 1164.78 sec so far
Iteration 1146: 1170.53 sec so far
Iteration 1152: 1176.29 sec so far
Iteration 1158: 1182.20 sec so far
Iteration 1163: 1187.50 sec so far
Iteration 1168: 1193.05 sec so far
Iteration 1173: 1198.32 sec so far
Iteration 1179: 1204.04 sec so far
Iteration 1185: 1209.79 sec so far
Iteration 1191: 1215.51 sec so far
Iteration 1197: 1221.28 sec so far
Iteration 1203: 1227.00 sec so far
Iteration 1209: 1232.76 sec so far
Iteration 1215: 1238.48 sec so far
Iteration 1220: 1243.72 sec so far
Iteration 1225: 1249.29 sec so far
Iteration 1230: 1254.55 sec so far
Iteration 1235: 1259.57 sec so far
Iteration 1241: 1265.28 sec so far
Iteration 1247: 1271.16 sec so far
Iteration 1253: 1276.28 sec so far
Iteration 1259: 1281.37 sec so far
Iteration 1265: 1286.49 sec so far
Iteration 1271: 1291.58 sec so far
Iteration 1277: 1296.70 sec so far
Iteration 1283: 1301.78 sec so far
Iteration 1289: 1306.92 sec so far
Iteration 1294: 1312.25 sec so far
Iteration 1300: 1317.78 sec so far
Iteration 1305: 1323.55 sec so far
Iteration 1311: 1328.60 sec so far
Iteration 1317: 1333.64 sec so far
Iteration 1323: 1338.67 sec so far
Iteration 1329: 1343.71 sec so far
Iteration 1335: 1348.74 sec so far
Iteration 1341: 1353.77 sec so far
Iteration 1347: 1358.79 sec so far
Iteration 1353: 1363.83 sec so far
Iteration 1359: 1369.10 sec so far
Iteration 1365: 1374.47 sec so far
Iteration 1371: 1379.85 sec so far
Iteration 1377: 1385.09 sec so far
Iteration 1383: 1390.12 sec so far
Iteration 1389: 1395.15 sec so far
Iteration 1395: 1400.18 sec so far
Iteration 1401: 1405.21 sec so far
Iteration 1407: 1410.23 sec so far
Iteration 1413: 1415.26 sec so far
Iteration 1419: 1420.29 sec so far
Iteration 1425: 1425.33 sec so far
Iteration 1431: 1430.36 sec so far
Iteration 1437: 1435.45 sec so far
Iteration 1443: 1440.85 sec so far
Iteration 1449: 1446.53 sec so far
Iteration 1455: 1451.68 sec so far
Iteration 1461: 1456.71 sec so far
Iteration 1467: 1461.74 sec so far
Iteration 1473: 1466.77 sec so far
Iteration 1479: 1471.80 sec so far
Iteration 1485: 1476.82 sec so far
Iteration 1491: 1481.84 sec so far
Iteration 1497: 1486.88 sec so far
Iteration 1503: 1492.00 sec so far
Iteration 1509: 1497.29 sec so far
Iteration 1515: 1502.62 sec so far
Iteration 1521: 1507.98 sec so far
Iteration 1527: 1513.01 sec so far
Iteration 1533: 1518.04 sec so far
Iteration 1539: 1523.06 sec so far
Iteration 1545: 1528.09 sec so far
Iteration 1551: 1533.13 sec so far
Iteration 1557: 1538.15 sec so far
Iteration 1563: 1543.18 sec so far
Iteration 1569: 1548.22 sec so far
Iteration 1575: 1553.25 sec so far
Iteration 1581: 1558.27 sec so far
Iteration 1587: 1563.43 sec so far
Iteration 1593: 1568.73 sec so far
Iteration 1599: 1574.04 sec so far
Iteration 1605: 1579.38 sec so far
Iteration 1611: 1584.42 sec so far
Iteration 1617: 1589.44 sec so far
Iteration 1623: 1594.46 sec so far
Iteration 1629: 1599.48 sec so far
Iteration 1635: 1604.51 sec so far
Iteration 1641: 1609.57 sec so far
Iteration 1647: 1614.60 sec so far
Iteration 1653: 1619.63 sec so far
Iteration 1659: 1624.97 sec so far
Iteration 1665: 1630.22 sec so far
Iteration 1671: 1635.55 sec so far
Iteration 1677: 1640.73 sec so far
Iteration 1683: 1645.76 sec so far
Iteration 1689: 1650.80 sec so far
Iteration 1695: 1655.82 sec so far
Iteration 1701: 1660.86 sec so far
Iteration 1707: 1665.91 sec so far
Iteration 1713: 1670.95 sec so far
Iteration 1719: 1675.97 sec so far
Iteration 1725: 1680.99 sec so far
Iteration 1731: 1686.02 sec so far
Iteration 1737: 1691.25 sec so far
Iteration 1743: 1696.59 sec so far
Iteration 1749: 1702.07 sec so far
Iteration 1755: 1707.11 sec so far
Iteration 1761: 1712.15 sec so far
Iteration 1767: 1717.18 sec so far
Iteration 1773: 1722.19 sec so far
Iteration 1779: 1727.25 sec so far
Iteration 1785: 1732.27 sec so far
Iteration 1791: 1737.29 sec so far
Iteration 1797: 1742.31 sec so far
Iteration 1803: 1747.56 sec so far
Iteration 1809: 1752.72 sec so far
Iteration 1815: 1758.13 sec so far
Iteration 1821: 1763.43 sec so far
Iteration 1827: 1768.45 sec so far
Iteration 1833: 1773.48 sec so far
Iteration 1839: 1778.52 sec so far
Iteration 1845: 1783.55 sec so far
Iteration 1851: 1788.59 sec so far
Iteration 1857: 1793.61 sec so far
Iteration 1863: 1798.64 sec so far
Iteration 1869: 1803.68 sec so far
Iteration 1875: 1808.72 sec so far
Iteration 1881: 1813.78 sec so far
Iteration 1887: 1819.11 sec so far
Iteration 1893: 1824.51 sec so far
Iteration 1899: 1829.80 sec so far
Iteration 1905: 1834.83 sec so far
Iteration 1911: 1839.86 sec so far
Iteration 1917: 1844.90 sec so far
Iteration 1923: 1849.94 sec so far
Iteration 1929: 1854.96 sec so far
Iteration 1935: 1859.99 sec so far
Iteration 1941: 1865.01 sec so far
Iteration 1947: 1870.05 sec so far
Iteration 1953: 1875.29 sec so far
Iteration 1959: 1880.64 sec so far
Iteration 1965: 1886.12 sec so far
Iteration 1971: 1891.15 sec so far
Iteration 1977: 1896.17 sec so far
Iteration 1983: 1901.20 sec so far
Iteration 1989: 1906.25 sec so far
Iteration 1995: 1911.28 sec so far
Iteration 2001: 1916.31 sec so far
Iteration 2007: 1921.35 sec so far
Iteration 2013: 1926.36 sec so far
Iteration 2019: 1931.39 sec so far
Iteration 2025: 1936.43 sec so far
Iteration 2031: 1941.81 sec so far
Iteration 2037: 1946.99 sec so far
Iteration 2043: 1952.49 sec so far
Iteration 2049: 1957.54 sec so far
Iteration 2055: 1962.56 sec so far
Iteration 2061: 1967.61 sec so far
Iteration 2067: 1972.64 sec so far
Iteration 2073: 1977.66 sec so far
Iteration 2079: 1982.69 sec so far
Iteration 2085: 1987.69 sec so far
Iteration 2091: 1992.72 sec so far
Iteration 2097: 1997.90 sec so far
Iteration 2103: 2003.24 sec so far
Iteration 2109: 2008.58 sec so far
Iteration 2115: 2013.77 sec so far
Iteration 2121: 2018.80 sec so far
Iteration 2127: 2023.83 sec so far
Iteration 2133: 2028.87 sec so far
Iteration 2139: 2033.89 sec so far
Iteration 2145: 2038.92 sec so far
Iteration 2151: 2043.95 sec so far
Iteration 2157: 2048.97 sec so far
Iteration 2163: 2054.00 sec so far
Iteration 2169: 2059.01 sec so far
Iteration 2175: 2064.26 sec so far
Iteration 2181: 2069.43 sec so far
Iteration 2187: 2074.91 sec so far
Iteration 2193: 2080.13 sec so far
Iteration 2199: 2085.18 sec so far
Iteration 2205: 2090.22 sec so far
Iteration 2211: 2095.25 sec so far
Iteration 2217: 2100.27 sec so far
Iteration 2223: 2105.32 sec so far
Iteration 2229: 2110.33 sec so far
Iteration 2235: 2115.36 sec so far
Iteration 2241: 2120.41 sec so far
Iteration 2247: 2125.80 sec so far
Iteration 2253: 2131.01 sec so far
Iteration 2259: 2136.49 sec so far
Iteration 2265: 2141.52 sec so far
Iteration 2271: 2146.58 sec so far
Iteration 2277: 2151.59 sec so far
Iteration 2283: 2156.63 sec so far
Iteration 2289: 2161.65 sec so far
Iteration 2295: 2166.68 sec so far
Iteration 2301: 2171.70 sec so far
Iteration 2307: 2176.72 sec so far
Iteration 2313: 2181.74 sec so far
Iteration 2319: 2186.94 sec so far
Iteration 2325: 2192.13 sec so far
Iteration 2331: 2197.53 sec so far
Iteration 2337: 2202.78 sec so far
Iteration 2343: 2207.90 sec so far
Iteration 2349: 2212.93 sec so far
Iteration 2355: 2217.98 sec so far
Iteration 2361: 2222.99 sec so far
Iteration 2367: 2228.01 sec so far
Iteration 2373: 2233.02 sec so far
Iteration 2379: 2238.05 sec so far
Iteration 2385: 2243.07 sec so far
Iteration 2391: 2248.35 sec so far
Iteration 2397: 2253.49 sec so far
Iteration 2403: 2259.00 sec so far
Iteration 2409: 2264.17 sec so far
Iteration 2415: 2269.21 sec so far
Iteration 2421: 2274.24 sec so far
Iteration 2427: 2279.28 sec so far
Iteration 2433: 2284.30 sec so far
Iteration 2439: 2289.32 sec so far
Iteration 2445: 2294.34 sec so far
Iteration 2451: 2299.37 sec so far
Iteration 2457: 2304.38 sec so far
Iteration 2463: 2309.41 sec so far
Iteration 2469: 2314.65 sec so far
Iteration 2475: 2320.04 sec so far
Iteration 2481: 2325.30 sec so far
Iteration 2487: 2330.53 sec so far
Iteration 2493: 2335.55 sec so far
Iteration 2499: 2340.57 sec so far
Iteration 2505: 2345.61 sec so far
Iteration 2511: 2350.63 sec so far
Iteration 2517: 2355.65 sec so far
Iteration 2523: 2360.67 sec so far
Iteration 2529: 2365.70 sec so far
Iteration 2535: 2370.81 sec so far
Iteration 2541: 2376.11 sec so far
Iteration 2547: 2381.63 sec so far
Iteration 2553: 2386.84 sec so far
Iteration 2559: 2391.88 sec so far
Iteration 2565: 2396.91 sec so far
Iteration 2571: 2401.94 sec so far
Iteration 2577: 2406.97 sec so far
Iteration 2583: 2412.00 sec so far
Iteration 2589: 2417.01 sec so far
Iteration 2595: 2422.03 sec so far
Iteration 2601: 2427.05 sec so far
Iteration 2607: 2432.09 sec so far
Iteration 2613: 2437.11 sec so far
Iteration 2619: 2442.17 sec so far
Iteration 2625: 2447.55 sec so far
Iteration 2631: 2453.10 sec so far
Iteration 2637: 2458.24 sec so far
Iteration 2643: 2463.27 sec so far
Iteration 2649: 2468.30 sec so far
Iteration 2655: 2473.33 sec so far
Iteration 2661: 2478.36 sec so far
Iteration 2667: 2483.38 sec so far
Iteration 2673: 2488.39 sec so far
Iteration 2679: 2493.41 sec so far
Iteration 2685: 2498.48 sec so far
Iteration 2691: 2503.83 sec so far
Iteration 2697: 2509.14 sec so far
Iteration 2703: 2514.53 sec so far
Iteration 2709: 2519.57 sec so far
Iteration 2715: 2524.61 sec so far
Iteration 2721: 2529.64 sec so far
Iteration 2727: 2534.68 sec so far
Iteration 2733: 2539.72 sec so far
Iteration 2739: 2544.76 sec so far
Iteration 2745: 2549.78 sec so far
Iteration 2751: 2554.80 sec so far
Iteration 2757: 2559.83 sec so far
Iteration 2763: 2564.85 sec so far
Iteration 2769: 2570.02 sec so far
Iteration 2775: 2575.35 sec so far
Iteration 2781: 2580.64 sec so far
Iteration 2787: 2585.95 sec so far
Iteration 2793: 2590.96 sec so far
Iteration 2799: 2595.98 sec so far
Iteration 2805: 2601.01 sec so far
Iteration 2811: 2606.04 sec so far
Iteration 2817: 2611.07 sec so far
Iteration 2823: 2616.09 sec so far
Iteration 2829: 2621.12 sec so far
Iteration 2835: 2626.17 sec so far
Iteration 2841: 2631.55 sec so far
Iteration 2847: 2636.90 sec so far
Iteration 2853: 2642.19 sec so far
Iteration 2859: 2647.29 sec so far
Iteration 2865: 2652.34 sec so far
Iteration 2871: 2657.37 sec so far
Iteration 2877: 2662.41 sec so far
Iteration 2883: 2667.44 sec so far
Iteration 2889: 2672.47 sec so far
Iteration 2895: 2677.50 sec so far
Iteration 2901: 2682.51 sec so far
Iteration 2907: 2687.57 sec so far
Iteration 2913: 2692.65 sec so far
Iteration 2919: 2697.94 sec so far
Iteration 2925: 2703.30 sec so far
Iteration 2931: 2708.69 sec so far
Iteration 2937: 2713.73 sec so far
Iteration 2943: 2718.76 sec so far
Iteration 2949: 2723.78 sec so far
Iteration 2955: 2728.81 sec so far
Iteration 2961: 2733.84 sec so far
Iteration 2967: 2738.86 sec so far
Iteration 2973: 2743.90 sec so far
Iteration 2979: 2748.93 sec so far
Iteration 2985: 2754.22 sec so far
Iteration 2991: 2759.45 sec so far
Iteration 2997: 2764.87 sec so far
Iteration 3003: 2770.05 sec so far
Iteration 3009: 2775.08 sec so far
Iteration 3015: 2780.10 sec so far
Iteration 3021: 2785.12 sec so far
Iteration 3027: 2790.15 sec so far
Iteration 3033: 2795.19 sec so far
Iteration 3039: 2800.22 sec so far
Iteration 3045: 2805.27 sec so far
Iteration 3051: 2810.30 sec so far
Iteration 3057: 2815.33 sec so far
Iteration 3063: 2820.55 sec so far
Iteration 3069: 2825.94 sec so far
Iteration 3075: 2831.43 sec so far
Iteration 3081: 2836.50 sec so far
Iteration 3087: 2841.54 sec so far
Iteration 3093: 2846.59 sec so far
Iteration 3099: 2851.64 sec so far
Iteration 3105: 2856.68 sec so far
Iteration 3111: 2861.74 sec so far
Iteration 3117: 2866.80 sec so far
Iteration 3123: 2871.86 sec so far
Iteration 3129: 2877.12 sec so far
Iteration 3135: 2882.30 sec so far
Iteration 3141: 2887.78 sec so far
Iteration 3147: 2893.01 sec so far
Iteration 3153: 2898.04 sec so far
Iteration 3159: 2903.08 sec so far
Iteration 3165: 2908.12 sec so far
Iteration 3171: 2913.17 sec so far
Iteration 3177: 2918.21 sec so far
Iteration 3183: 2923.26 sec so far
Iteration 3189: 2928.33 sec so far
Iteration 3195: 2933.37 sec so far
Iteration 3201: 2938.42 sec so far
Iteration 3207: 2943.64 sec so far
Iteration 3213: 2948.96 sec so far
Iteration 3219: 2954.46 sec so far
Iteration 3225: 2959.59 sec so far
Iteration 3231: 2964.63 sec so far
Iteration 3237: 2969.67 sec so far
Iteration 3243: 2974.71 sec so far
Iteration 3249: 2979.75 sec so far
Iteration 3255: 2984.79 sec so far
Iteration 3261: 2989.85 sec so far
Iteration 3267: 2994.89 sec so far
Iteration 3273: 3000.07 sec so far
Iteration 3279: 3005.32 sec so far
Iteration 3285: 3010.68 sec so far
Iteration 3291: 3016.03 sec so far
Iteration 3297: 3021.06 sec so far
Iteration 3303: 3026.09 sec so far
Iteration 3309: 3031.13 sec so far
Iteration 3315: 3036.16 sec so far
Iteration 3321: 3041.20 sec so far
Iteration 3327: 3046.25 sec so far
Iteration 3333: 3051.30 sec so far
Iteration 3339: 3056.34 sec so far
Iteration 3345: 3061.70 sec so far
Iteration 3351: 3066.83 sec so far
Iteration 3357: 3072.33 sec so far
Iteration 3363: 3077.51 sec so far
Iteration 3369: 3082.55 sec so far
Iteration 3375: 3087.59 sec so far
Iteration 3381: 3092.63 sec so far
Iteration 3387: 3097.66 sec so far
Iteration 3393: 3102.70 sec so far
Iteration 3399: 3107.75 sec so far
Iteration 3405: 3112.79 sec so far
Iteration 3411: 3117.83 sec so far
Iteration 3417: 3122.88 sec so far
Iteration 3423: 3127.92 sec so far
Iteration 3429: 3133.29 sec so far
Iteration 3435: 3138.43 sec so far
Iteration 3441: 3143.95 sec so far
Iteration 3447: 3149.09 sec so far
Iteration 3453: 3154.15 sec so far
Iteration 3459: 3159.18 sec so far
Iteration 3465: 3164.24 sec so far
Iteration 3471: 3169.29 sec so far
Iteration 3477: 3174.33 sec so far
Iteration 3483: 3179.37 sec so far
Iteration 3489: 3184.43 sec so far
Iteration 3495: 3189.57 sec so far
Iteration 3501: 3194.95 sec so far
Iteration 3507: 3200.27 sec so far
Iteration 3513: 3205.64 sec so far
Iteration 3519: 3210.70 sec so far
Iteration 3525: 3215.75 sec so far
Iteration 3531: 3220.80 sec so far
Iteration 3537: 3225.87 sec so far
Iteration 3543: 3230.92 sec so far
Iteration 3549: 3235.97 sec so far
Iteration 3555: 3241.01 sec so far
Iteration 3561: 3246.07 sec so far
Iteration 3567: 3251.12 sec so far
Iteration 3573: 3256.48 sec so far
Iteration 3579: 3261.65 sec so far
Iteration 3585: 3267.18 sec so far
Iteration 3591: 3272.33 sec so far
Iteration 3597: 3277.38 sec so far
Iteration 3603: 3282.42 sec so far
Iteration 3609: 3287.50 sec so far
Iteration 3615: 3292.54 sec so far
Iteration 3621: 3297.59 sec so far
Iteration 3627: 3302.63 sec so far
Iteration 3633: 3307.67 sec so far
Iteration 3639: 3312.82 sec so far
Iteration 3645: 3318.21 sec so far
Iteration 3651: 3323.50 sec so far
Iteration 3657: 3328.88 sec so far
Iteration 3663: 3333.92 sec so far
Iteration 3669: 3338.98 sec so far
Iteration 3675: 3344.04 sec so far
Iteration 3681: 3349.11 sec so far
Iteration 3687: 3354.16 sec so far
Iteration 3693: 3359.22 sec so far
Iteration 3699: 3364.28 sec so far
Iteration 3705: 3369.33 sec so far
Iteration 3711: 3374.38 sec so far
Iteration 3717: 3379.43 sec so far
Iteration 3723: 3384.75 sec so far
Iteration 3729: 3390.10 sec so far
Iteration 3735: 3395.42 sec so far
Iteration 3741: 3400.66 sec so far
Iteration 3747: 3405.73 sec so far
Iteration 3753: 3410.79 sec so far
Iteration 3759: 3415.84 sec so far
Iteration 3765: 3420.88 sec so far
Iteration 3771: 3425.93 sec so far
Iteration 3777: 3430.99 sec so far
Iteration 3783: 3436.05 sec so far
Iteration 3789: 3441.20 sec so far
Iteration 3795: 3446.51 sec so far
Iteration 3801: 3452.02 sec so far
Iteration 3807: 3457.22 sec so far
Iteration 3813: 3462.28 sec so far
Iteration 3819: 3467.35 sec so far
Iteration 3825: 3472.40 sec so far
Iteration 3831: 3477.44 sec so far
Iteration 3837: 3482.49 sec so far
Iteration 3843: 3487.53 sec so far
Iteration 3849: 3492.58 sec so far
Iteration 3855: 3497.62 sec so far
Iteration 3861: 3502.66 sec so far
Iteration 3867: 3507.94 sec so far
Iteration 3873: 3513.31 sec so far
Iteration 3879: 3518.62 sec so far
Iteration 3885: 3523.85 sec so far
Iteration 3891: 3528.91 sec so far
Iteration 3897: 3533.96 sec so far
Iteration 3903: 3539.01 sec so far
Iteration 3909: 3544.07 sec so far
Iteration 3915: 3549.12 sec so far
Iteration 3921: 3554.17 sec so far
Iteration 3927: 3559.22 sec so far
Iteration 3933: 3564.28 sec so far
Iteration 3939: 3569.67 sec so far
Iteration 3945: 3575.17 sec so far
Iteration 3951: 3580.41 sec so far
Iteration 3957: 3585.49 sec so far
Iteration 3963: 3590.55 sec so far
Iteration 3969: 3595.59 sec so far
Iteration 3975: 3600.64 sec so far
Iteration 3981: 3605.68 sec so far
Iteration 3987: 3610.73 sec so far
Iteration 3993: 3615.78 sec so far
Iteration 3999: 3620.83 sec so far
Iteration 4005: 3625.88 sec so far
Iteration 4011: 3630.92 sec so far
Iteration 4017: 3635.98 sec so far
Iteration 4023: 3641.38 sec so far
Iteration 4029: 3646.80 sec so far
Iteration 4035: 3652.11 sec so far
Iteration 4041: 3657.19 sec so far
Iteration 4047: 3662.24 sec so far
Iteration 4053: 3667.30 sec so far
Iteration 4059: 3672.35 sec so far
Iteration 4065: 3677.41 sec so far
Iteration 4071: 3682.46 sec so far
Iteration 4077: 3687.51 sec so far
Iteration 4083: 3692.55 sec so far
Iteration 4089: 3697.77 sec so far
Iteration 4095: 3703.14 sec so far
Iteration 4101: 3708.70 sec so far
Iteration 4107: 3713.75 sec so far
Iteration 4113: 3718.80 sec so far
Iteration 4119: 3723.85 sec so far
Iteration 4125: 3728.90 sec so far
Iteration 4131: 3733.95 sec so far
Iteration 4137: 3739.00 sec so far
Iteration 4143: 3744.04 sec so far
Iteration 4149: 3749.08 sec so far
Iteration 4155: 3754.13 sec so far
Iteration 4161: 3759.19 sec so far
Iteration 4167: 3764.60 sec so far
Iteration 4173: 3770.02 sec so far
Iteration 4179: 3775.32 sec so far
Iteration 4185: 3780.39 sec so far
Iteration 4191: 3785.44 sec so far
Iteration 4197: 3790.49 sec so far
Iteration 4203: 3795.53 sec so far
Iteration 4209: 3800.58 sec so far
Iteration 4215: 3805.62 sec so far
Iteration 4221: 3810.67 sec so far
Iteration 4227: 3815.73 sec so far
Iteration 4233: 3820.96 sec so far
Iteration 4239: 3826.35 sec so far
Iteration 4245: 3831.90 sec so far
Iteration 4251: 3836.95 sec so far
Iteration 4257: 3842.00 sec so far
Iteration 4263: 3847.06 sec so far
Iteration 4269: 3852.11 sec so far
Iteration 4275: 3857.16 sec so far
Iteration 4281: 3862.22 sec so far
Iteration 4287: 3867.28 sec so far
Iteration 4293: 3872.32 sec so far
Iteration 4299: 3877.38 sec so far
Iteration 4305: 3882.45 sec so far
Iteration 4311: 3887.87 sec so far
Iteration 4317: 3893.18 sec so far
Iteration 4323: 3898.59 sec so far
Iteration 4329: 3903.66 sec so far
Iteration 4335: 3908.71 sec so far
Iteration 4341: 3913.76 sec so far
Iteration 4347: 3918.81 sec so far
Iteration 4353: 3923.86 sec so far
Iteration 4359: 3928.91 sec so far
Iteration 4365: 3933.95 sec so far
Iteration 4371: 3939.01 sec so far
Iteration 4377: 3944.21 sec so far
Iteration 4383: 3949.61 sec so far
Iteration 4389: 3955.18 sec so far
Iteration 4395: 3960.26 sec so far
Iteration 4401: 3965.32 sec so far
Iteration 4407: 3970.38 sec so far
Iteration 4413: 3975.43 sec so far
Iteration 4419: 3980.47 sec so far
Iteration 4425: 3985.53 sec so far
Iteration 4431: 3990.57 sec so far
Iteration 4437: 3995.62 sec so far
Iteration 4443: 4000.68 sec so far
Iteration 4449: 4005.75 sec so far
Iteration 4455: 4011.18 sec so far
Iteration 4461: 4016.35 sec so far
Iteration 4467: 4021.88 sec so far
Iteration 4473: 4026.99 sec so far
Iteration 4479: 4032.05 sec so far
Iteration 4485: 4037.12 sec so far
Iteration 4491: 4042.18 sec so far
Iteration 4497: 4047.23 sec so far
Iteration 4503: 4052.28 sec so far
Iteration 4509: 4057.33 sec so far
Iteration 4515: 4062.39 sec so far
Iteration 4521: 4067.57 sec so far
Iteration 4527: 4072.99 sec so far
Iteration 4533: 4078.35 sec so far
Iteration 4539: 4083.62 sec so far
Iteration 4545: 4088.68 sec so far
Iteration 4551: 4093.74 sec so far
Iteration 4557: 4098.79 sec so far
Iteration 4563: 4103.85 sec so far
Iteration 4569: 4108.89 sec so far
Iteration 4575: 4113.95 sec so far
Iteration 4581: 4118.98 sec so far
Iteration 4587: 4124.03 sec so far
Iteration 4593: 4129.10 sec so far
Iteration 4599: 4134.47 sec so far
Iteration 4605: 4139.62 sec so far
Iteration 4611: 4145.16 sec so far
Iteration 4617: 4150.32 sec so far
Iteration 4623: 4155.38 sec so far
Iteration 4629: 4160.44 sec so far
Iteration 4635: 4165.49 sec so far
Iteration 4641: 4170.53 sec so far
Iteration 4647: 4175.58 sec so far
Iteration 4653: 4180.61 sec so far
Iteration 4659: 4185.68 sec so far
Iteration 4665: 4190.82 sec so far
Iteration 4671: 4196.22 sec so far
Iteration 4677: 4201.49 sec so far
Iteration 4683: 4206.85 sec so far
Iteration 4689: 4211.89 sec so far
Iteration 4695: 4216.94 sec so far
Iteration 4701: 4221.97 sec so far
Iteration 4707: 4227.01 sec so far
Iteration 4713: 4232.05 sec so far
Iteration 4719: 4237.11 sec so far
Iteration 4725: 4242.16 sec so far
Iteration 4731: 4247.25 sec so far
Iteration 4737: 4252.30 sec so far
Iteration 4743: 4257.35 sec so far
Iteration 4749: 4262.63 sec so far
Iteration 4755: 4268.05 sec so far
Iteration 4761: 4273.28 sec so far
Iteration 4767: 4278.57 sec so far
Iteration 4773: 4283.62 sec so far
Iteration 4779: 4288.69 sec so far
Iteration 4785: 4293.74 sec so far
Iteration 4791: 4298.80 sec so far
Iteration 4797: 4303.84 sec so far
Iteration 4803: 4308.93 sec so far
Iteration 4809: 4313.98 sec so far
Iteration 4815: 4319.21 sec so far
Iteration 4821: 4324.43 sec so far
Iteration 4827: 4329.85 sec so far
Iteration 4833: 4335.16 sec so far
Iteration 4839: 4340.24 sec so far
Iteration 4845: 4345.28 sec so far
Iteration 4851: 4350.34 sec so far
Iteration 4857: 4355.39 sec so far
Iteration 4863: 4360.43 sec so far
Iteration 4869: 4365.49 sec so far
Iteration 4875: 4370.54 sec so far
Value iteration (with Jacobi) took 4880 iterations, 172060835840 multiplications and 4374.865 seconds.
Probabilistic reachability took 4387.77 seconds.
Value in the initial state: 0.5386630172446859
Time for model checking: 4390.922 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-umb_check_ex_polling.18-16_rep5.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.umb %indir/property.props
Wallclock time: 4210.482 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 07:46:58 GMT+02:00 2026
Hostname: n23m0258.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex -importmodel /w0/tmp/slurm_tq429871.4963147/tmp1wiu35ohprism_from-umb_check_ex_polling.18-16_tmp_indir_/prism.model.umb /w0/tmp/slurm_tq429871.4963147/tmp1wiu35ohprism_from-umb_check_ex_polling.18-16_tmp_indir_/property.props
Importing model from "prism.model.umb"...
Type: CTMC
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: x
Labels: "serve_s2" "serve_s1"
Parsing properties file "/w0/tmp/slurm_tq429871.4963147/tmp1wiu35ohprism_from-umb_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)...
Time for model construction: 6.684 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.254 seconds)
Starting Prob0...
Prob0 took 2.412 seconds.
Starting Prob1...
Prob1 took 3.883 seconds.
target=131072, yes=3407872, no=262144, maybe=3407872
Starting value iteration (with Jacobi)...
Iteration 6: 5.77 sec so far
Iteration 12: 11.66 sec so far
Iteration 17: 16.71 sec so far
Iteration 22: 21.76 sec so far
Iteration 27: 26.85 sec so far
Iteration 33: 32.49 sec so far
Iteration 39: 38.16 sec so far
Iteration 45: 43.82 sec so far
Iteration 51: 49.48 sec so far
Iteration 56: 54.55 sec so far
Iteration 61: 59.67 sec so far
Iteration 66: 64.69 sec so far
Iteration 71: 69.80 sec so far
Iteration 77: 75.47 sec so far
Iteration 83: 81.21 sec so far
Iteration 89: 86.82 sec so far
Iteration 95: 92.49 sec so far
Iteration 101: 98.12 sec so far
Iteration 107: 103.78 sec so far
Iteration 113: 109.44 sec so far
Iteration 119: 114.50 sec so far
Iteration 125: 120.15 sec so far
Iteration 130: 125.75 sec so far
Iteration 136: 131.24 sec so far
Iteration 142: 136.27 sec so far
Iteration 148: 141.30 sec so far
Iteration 154: 146.33 sec so far
Iteration 160: 151.36 sec so far
Iteration 166: 156.40 sec so far
Iteration 172: 161.44 sec so far
Iteration 178: 166.47 sec so far
Iteration 184: 171.57 sec so far
Iteration 190: 176.92 sec so far
Iteration 196: 182.18 sec so far
Iteration 202: 187.27 sec so far
Iteration 208: 192.29 sec so far
Iteration 214: 197.31 sec so far
Iteration 220: 202.34 sec so far
Iteration 226: 207.36 sec so far
Iteration 232: 212.37 sec so far
Iteration 238: 217.39 sec so far
Iteration 244: 222.42 sec so far
Iteration 250: 227.45 sec so far
Iteration 256: 232.78 sec so far
Iteration 262: 238.12 sec so far
Iteration 268: 243.22 sec so far
Iteration 274: 248.25 sec so far
Iteration 280: 253.26 sec so far
Iteration 286: 258.30 sec so far
Iteration 292: 263.32 sec so far
Iteration 298: 268.35 sec so far
Iteration 304: 273.37 sec so far
Iteration 310: 278.38 sec so far
Iteration 316: 283.43 sec so far
Iteration 322: 288.44 sec so far
Iteration 328: 293.46 sec so far
Iteration 334: 298.94 sec so far
Iteration 340: 304.16 sec so far
Iteration 346: 309.27 sec so far
Iteration 352: 314.29 sec so far
Iteration 358: 319.32 sec so far
Iteration 364: 324.35 sec so far
Iteration 370: 329.37 sec so far
Iteration 376: 334.39 sec so far
Iteration 382: 339.40 sec so far
Iteration 388: 344.44 sec so far
Iteration 394: 349.47 sec so far
Iteration 400: 354.89 sec so far
Iteration 406: 360.14 sec so far
Iteration 412: 365.24 sec so far
Iteration 418: 370.27 sec so far
Iteration 424: 375.30 sec so far
Iteration 430: 380.33 sec so far
Iteration 436: 385.35 sec so far
Iteration 442: 390.36 sec so far
Iteration 448: 395.38 sec so far
Iteration 454: 400.41 sec so far
Iteration 460: 405.45 sec so far
Iteration 466: 410.48 sec so far
Iteration 472: 415.51 sec so far
Iteration 478: 420.85 sec so far
Iteration 484: 426.19 sec so far
Iteration 490: 431.29 sec so far
Iteration 496: 436.32 sec so far
Iteration 502: 441.34 sec so far
Iteration 508: 446.38 sec so far
Iteration 514: 451.40 sec so far
Iteration 520: 456.42 sec so far
Iteration 526: 461.46 sec so far
Iteration 532: 466.50 sec so far
Iteration 538: 471.53 sec so far
Iteration 544: 476.88 sec so far
Iteration 550: 482.23 sec so far
Iteration 556: 487.34 sec so far
Iteration 562: 492.37 sec so far
Iteration 568: 497.40 sec so far
Iteration 574: 502.43 sec so far
Iteration 580: 507.46 sec so far
Iteration 586: 512.49 sec so far
Iteration 592: 517.51 sec so far
Iteration 598: 522.56 sec so far
Iteration 604: 527.59 sec so far
Iteration 610: 532.62 sec so far
Iteration 616: 537.65 sec so far
Iteration 622: 542.99 sec so far
Iteration 628: 548.33 sec so far
Iteration 634: 553.41 sec so far
Iteration 640: 558.44 sec so far
Iteration 646: 563.47 sec so far
Iteration 652: 568.49 sec so far
Iteration 658: 573.50 sec so far
Iteration 664: 578.53 sec so far
Iteration 670: 583.59 sec so far
Iteration 676: 588.62 sec so far
Iteration 682: 593.63 sec so far
Iteration 688: 598.89 sec so far
Iteration 694: 604.28 sec so far
Iteration 700: 609.42 sec so far
Iteration 706: 614.45 sec so far
Iteration 712: 619.48 sec so far
Iteration 718: 624.52 sec so far
Iteration 724: 629.55 sec so far
Iteration 730: 634.58 sec so far
Iteration 736: 639.60 sec so far
Iteration 742: 644.64 sec so far
Iteration 748: 649.67 sec so far
Iteration 754: 654.69 sec so far
Iteration 760: 659.71 sec so far
Iteration 766: 665.05 sec so far
Iteration 772: 670.39 sec so far
Iteration 778: 675.50 sec so far
Iteration 784: 680.52 sec so far
Iteration 790: 685.54 sec so far
Iteration 796: 690.57 sec so far
Iteration 802: 695.58 sec so far
Iteration 808: 700.62 sec so far
Iteration 814: 705.67 sec so far
Iteration 820: 710.70 sec so far
Iteration 826: 715.73 sec so far
Iteration 832: 721.08 sec so far
Iteration 838: 726.43 sec so far
Iteration 844: 731.53 sec so far
Iteration 850: 736.56 sec so far
Iteration 856: 741.59 sec so far
Iteration 862: 746.62 sec so far
Iteration 868: 751.66 sec so far
Iteration 874: 756.68 sec so far
Iteration 880: 761.71 sec so far
Iteration 886: 766.74 sec so far
Iteration 892: 771.76 sec so far
Iteration 898: 776.79 sec so far
Iteration 904: 781.82 sec so far
Iteration 910: 787.12 sec so far
Iteration 916: 792.51 sec so far
Iteration 922: 797.61 sec so far
Iteration 928: 802.64 sec so far
Iteration 934: 807.67 sec so far
Iteration 940: 812.71 sec so far
Iteration 946: 817.73 sec so far
Iteration 952: 822.78 sec so far
Iteration 958: 827.81 sec so far
Iteration 964: 832.85 sec so far
Iteration 970: 837.94 sec so far
Iteration 976: 843.17 sec so far
Iteration 982: 848.58 sec so far
Iteration 988: 853.74 sec so far
Iteration 994: 858.78 sec so far
Iteration 1000: 863.79 sec so far
Iteration 1006: 868.82 sec so far
Iteration 1012: 873.85 sec so far
Iteration 1018: 878.87 sec so far
Iteration 1024: 883.92 sec so far
Iteration 1030: 888.94 sec so far
Iteration 1036: 893.96 sec so far
Iteration 1042: 898.98 sec so far
Iteration 1048: 904.00 sec so far
Iteration 1054: 909.12 sec so far
Iteration 1060: 914.23 sec so far
Iteration 1066: 919.56 sec so far
Iteration 1072: 924.82 sec so far
Iteration 1078: 929.92 sec so far
Iteration 1084: 934.94 sec so far
Iteration 1090: 939.98 sec so far
Iteration 1096: 945.02 sec so far
Iteration 1102: 950.04 sec so far
Iteration 1108: 955.07 sec so far
Iteration 1114: 960.09 sec so far
Iteration 1120: 965.11 sec so far
Iteration 1126: 970.27 sec so far
Iteration 1132: 975.64 sec so far
Iteration 1138: 980.92 sec so far
Iteration 1144: 986.03 sec so far
Iteration 1150: 991.08 sec so far
Iteration 1156: 996.11 sec so far
Iteration 1162: 1001.17 sec so far
Iteration 1168: 1006.21 sec so far
Iteration 1174: 1011.22 sec so far
Iteration 1180: 1016.25 sec so far
Iteration 1186: 1021.27 sec so far
Iteration 1192: 1026.30 sec so far
Iteration 1198: 1031.34 sec so far
Iteration 1204: 1036.53 sec so far
Iteration 1210: 1041.77 sec so far
Iteration 1216: 1047.08 sec so far
Iteration 1222: 1052.30 sec so far
Iteration 1228: 1057.37 sec so far
Iteration 1234: 1062.43 sec so far
Iteration 1240: 1067.48 sec so far
Iteration 1246: 1072.52 sec so far
Iteration 1252: 1077.54 sec so far
Iteration 1258: 1082.56 sec so far
Iteration 1264: 1087.59 sec so far
Iteration 1270: 1092.66 sec so far
Iteration 1276: 1097.87 sec so far
Iteration 1282: 1103.17 sec so far
Iteration 1288: 1108.53 sec so far
Iteration 1294: 1113.69 sec so far
Iteration 1300: 1118.72 sec so far
Iteration 1306: 1123.79 sec so far
Iteration 1312: 1128.83 sec so far
Iteration 1318: 1133.87 sec so far
Iteration 1324: 1138.89 sec so far
Iteration 1330: 1143.92 sec so far
Iteration 1336: 1148.96 sec so far
Iteration 1342: 1153.98 sec so far
Iteration 1348: 1159.01 sec so far
Iteration 1354: 1164.37 sec so far
Iteration 1360: 1169.58 sec so far
Iteration 1366: 1174.85 sec so far
Iteration 1372: 1180.13 sec so far
Iteration 1378: 1185.25 sec so far
Iteration 1384: 1190.29 sec so far
Iteration 1390: 1195.34 sec so far
Iteration 1396: 1200.38 sec so far
Iteration 1402: 1205.42 sec so far
Iteration 1408: 1210.44 sec so far
Iteration 1414: 1215.48 sec so far
Iteration 1420: 1220.51 sec so far
Iteration 1426: 1225.95 sec so far
Iteration 1432: 1231.28 sec so far
Iteration 1438: 1236.67 sec so far
Iteration 1444: 1241.81 sec so far
Iteration 1450: 1246.84 sec so far
Iteration 1456: 1251.88 sec so far
Iteration 1462: 1256.92 sec so far
Iteration 1468: 1261.97 sec so far
Iteration 1474: 1267.01 sec so far
Iteration 1480: 1272.05 sec so far
Iteration 1486: 1277.11 sec so far
Iteration 1492: 1282.16 sec so far
Iteration 1498: 1287.38 sec so far
Iteration 1504: 1292.66 sec so far
Iteration 1510: 1297.94 sec so far
Iteration 1516: 1303.48 sec so far
Iteration 1522: 1308.64 sec so far
Iteration 1528: 1313.68 sec so far
Iteration 1534: 1318.71 sec so far
Iteration 1540: 1323.77 sec so far
Iteration 1546: 1328.82 sec so far
Iteration 1552: 1333.86 sec so far
Iteration 1558: 1338.89 sec so far
Iteration 1564: 1343.94 sec so far
Iteration 1570: 1349.37 sec so far
Iteration 1576: 1354.64 sec so far
Iteration 1582: 1360.14 sec so far
Iteration 1588: 1365.35 sec so far
Iteration 1594: 1370.47 sec so far
Iteration 1600: 1375.51 sec so far
Iteration 1606: 1380.56 sec so far
Iteration 1612: 1385.62 sec so far
Iteration 1618: 1390.64 sec so far
Iteration 1624: 1395.69 sec so far
Iteration 1630: 1400.72 sec so far
Iteration 1636: 1405.77 sec so far
Iteration 1642: 1410.80 sec so far
Iteration 1648: 1416.41 sec so far
Iteration 1654: 1421.68 sec so far
Iteration 1660: 1427.01 sec so far
Iteration 1666: 1432.31 sec so far
Iteration 1672: 1437.40 sec so far
Iteration 1678: 1442.45 sec so far
Iteration 1684: 1447.50 sec so far
Iteration 1690: 1452.53 sec so far
Iteration 1696: 1457.56 sec so far
Iteration 1702: 1462.60 sec so far
Iteration 1708: 1467.64 sec so far
Iteration 1714: 1472.97 sec so far
Iteration 1720: 1478.43 sec so far
Iteration 1726: 1483.90 sec so far
Iteration 1732: 1489.17 sec so far
Iteration 1738: 1494.29 sec so far
Iteration 1744: 1499.33 sec so far
Iteration 1750: 1504.37 sec so far
Iteration 1756: 1509.41 sec so far
Iteration 1762: 1514.44 sec so far
Iteration 1768: 1519.48 sec so far
Iteration 1774: 1524.52 sec so far
Iteration 1780: 1529.57 sec so far
Iteration 1786: 1534.60 sec so far
Iteration 1792: 1540.14 sec so far
Iteration 1798: 1545.41 sec so far
Iteration 1804: 1550.71 sec so far
Iteration 1810: 1556.14 sec so far
Iteration 1816: 1561.26 sec so far
Iteration 1822: 1566.30 sec so far
Iteration 1828: 1571.36 sec so far
Iteration 1834: 1576.41 sec so far
Iteration 1840: 1581.46 sec so far
Iteration 1846: 1586.51 sec so far
Iteration 1852: 1591.55 sec so far
Iteration 1858: 1596.64 sec so far
Iteration 1864: 1602.34 sec so far
Iteration 1870: 1607.63 sec so far
Iteration 1876: 1612.98 sec so far
Iteration 1882: 1618.19 sec so far
Iteration 1888: 1623.24 sec so far
Iteration 1894: 1628.29 sec so far
Iteration 1900: 1633.34 sec so far
Iteration 1906: 1638.38 sec so far
Iteration 1912: 1643.43 sec so far
Iteration 1918: 1648.48 sec so far
Iteration 1924: 1653.53 sec so far
Iteration 1930: 1658.56 sec so far
Iteration 1936: 1664.08 sec so far
Iteration 1942: 1669.31 sec so far
Iteration 1948: 1674.66 sec so far
Iteration 1954: 1680.11 sec so far
Iteration 1960: 1685.24 sec so far
Iteration 1966: 1690.27 sec so far
Iteration 1972: 1695.33 sec so far
Iteration 1978: 1700.36 sec so far
Iteration 1984: 1705.41 sec so far
Iteration 1990: 1710.44 sec so far
Iteration 1996: 1715.50 sec so far
Iteration 2002: 1720.67 sec so far
Iteration 2008: 1726.31 sec so far
Iteration 2014: 1731.43 sec so far
Iteration 2020: 1736.96 sec so far
Iteration 2026: 1742.16 sec so far
Iteration 2032: 1747.21 sec so far
Iteration 2038: 1752.24 sec so far
Iteration 2044: 1757.30 sec so far
Iteration 2050: 1762.34 sec so far
Iteration 2056: 1767.40 sec so far
Iteration 2062: 1772.44 sec so far
Iteration 2068: 1777.50 sec so far
Iteration 2074: 1782.55 sec so far
Iteration 2080: 1788.13 sec so far
Iteration 2086: 1793.34 sec so far
Iteration 2092: 1798.66 sec so far
Iteration 2098: 1803.98 sec so far
Iteration 2104: 1809.20 sec so far
Iteration 2110: 1814.24 sec so far
Iteration 2116: 1819.29 sec so far
Iteration 2122: 1824.32 sec so far
Iteration 2128: 1829.37 sec so far
Iteration 2134: 1834.40 sec so far
Iteration 2140: 1839.43 sec so far
Iteration 2146: 1844.62 sec so far
Iteration 2152: 1850.20 sec so far
Iteration 2158: 1855.30 sec so far
Iteration 2164: 1860.84 sec so far
Iteration 2170: 1866.03 sec so far
Iteration 2176: 1871.06 sec so far
Iteration 2182: 1876.10 sec so far
Iteration 2188: 1881.13 sec so far
Iteration 2194: 1886.17 sec so far
Iteration 2200: 1891.21 sec so far
Iteration 2206: 1896.26 sec so far
Iteration 2212: 1901.32 sec so far
Iteration 2218: 1906.38 sec so far
Iteration 2224: 1911.47 sec so far
Iteration 2230: 1917.15 sec so far
Iteration 2236: 1922.47 sec so far
Iteration 2242: 1927.80 sec so far
Iteration 2248: 1933.00 sec so far
Iteration 2254: 1938.05 sec so far
Iteration 2260: 1943.09 sec so far
Iteration 2266: 1948.13 sec so far
Iteration 2272: 1953.17 sec so far
Iteration 2278: 1958.21 sec so far
Iteration 2284: 1963.27 sec so far
Iteration 2290: 1968.39 sec so far
Iteration 2296: 1973.91 sec so far
Iteration 2302: 1979.17 sec so far
Iteration 2308: 1984.69 sec so far
Iteration 2314: 1989.83 sec so far
Iteration 2320: 1994.95 sec so far
Iteration 2326: 1999.98 sec so far
Iteration 2332: 2005.02 sec so far
Iteration 2338: 2010.07 sec so far
Iteration 2344: 2015.11 sec so far
Iteration 2350: 2020.16 sec so far
Iteration 2356: 2025.21 sec so far
Iteration 2362: 2030.24 sec so far
Iteration 2368: 2035.27 sec so far
Iteration 2374: 2040.52 sec so far
Iteration 2380: 2045.95 sec so far
Iteration 2386: 2051.16 sec so far
Iteration 2392: 2056.69 sec so far
Iteration 2398: 2061.78 sec so far
Iteration 2404: 2066.90 sec so far
Iteration 2410: 2071.94 sec so far
Iteration 2416: 2076.98 sec so far
Iteration 2422: 2082.03 sec so far
Iteration 2428: 2087.07 sec so far
Iteration 2434: 2092.11 sec so far
Iteration 2440: 2097.14 sec so far
Iteration 2446: 2102.78 sec so far
Iteration 2452: 2107.91 sec so far
Iteration 2458: 2113.32 sec so far
Iteration 2464: 2118.66 sec so far
Iteration 2470: 2123.74 sec so far
Iteration 2476: 2128.76 sec so far
Iteration 2482: 2133.80 sec so far
Iteration 2488: 2138.81 sec so far
Iteration 2494: 2143.87 sec so far
Iteration 2500: 2148.89 sec so far
Iteration 2506: 2153.93 sec so far
Iteration 2512: 2158.95 sec so far
Iteration 2518: 2164.11 sec so far
Iteration 2524: 2169.60 sec so far
Iteration 2530: 2174.77 sec so far
Iteration 2536: 2180.21 sec so far
Iteration 2542: 2185.43 sec so far
Iteration 2548: 2190.53 sec so far
Iteration 2554: 2195.57 sec so far
Iteration 2560: 2200.60 sec so far
Iteration 2566: 2205.67 sec so far
Iteration 2572: 2210.70 sec so far
Iteration 2578: 2215.72 sec so far
Iteration 2584: 2220.75 sec so far
Iteration 2590: 2226.37 sec so far
Iteration 2596: 2231.49 sec so far
Iteration 2602: 2236.86 sec so far
Iteration 2608: 2242.21 sec so far
Iteration 2614: 2247.33 sec so far
Iteration 2620: 2252.35 sec so far
Iteration 2626: 2257.40 sec so far
Iteration 2632: 2262.44 sec so far
Iteration 2638: 2267.49 sec so far
Iteration 2644: 2272.52 sec so far
Iteration 2650: 2277.56 sec so far
Iteration 2656: 2282.58 sec so far
Iteration 2662: 2287.61 sec so far
Iteration 2668: 2293.01 sec so far
Iteration 2674: 2298.37 sec so far
Iteration 2680: 2303.64 sec so far
Iteration 2686: 2309.08 sec so far
Iteration 2692: 2314.19 sec so far
Iteration 2698: 2319.22 sec so far
Iteration 2704: 2324.28 sec so far
Iteration 2710: 2329.32 sec so far
Iteration 2716: 2334.35 sec so far
Iteration 2722: 2339.39 sec so far
Iteration 2728: 2344.43 sec so far
Iteration 2734: 2349.66 sec so far
Iteration 2740: 2355.19 sec so far
Iteration 2746: 2360.49 sec so far
Iteration 2752: 2365.79 sec so far
Iteration 2758: 2371.01 sec so far
Iteration 2764: 2376.06 sec so far
Iteration 2770: 2381.11 sec so far
Iteration 2776: 2386.17 sec so far
Iteration 2782: 2391.22 sec so far
Iteration 2788: 2396.27 sec so far
Iteration 2794: 2401.31 sec so far
Iteration 2800: 2406.36 sec so far
Iteration 2806: 2411.40 sec so far
Iteration 2812: 2416.81 sec so far
Iteration 2818: 2422.25 sec so far
Iteration 2824: 2427.54 sec so far
Iteration 2830: 2433.00 sec so far
Iteration 2836: 2438.13 sec so far
Iteration 2842: 2443.21 sec so far
Iteration 2848: 2448.26 sec so far
Iteration 2854: 2453.31 sec so far
Iteration 2860: 2458.36 sec so far
Iteration 2866: 2463.39 sec so far
Iteration 2872: 2468.45 sec so far
Iteration 2878: 2473.61 sec so far
Iteration 2883: 2478.63 sec so far
Iteration 2889: 2483.72 sec so far
Iteration 2895: 2489.26 sec so far
Iteration 2901: 2494.47 sec so far
Iteration 2907: 2499.52 sec so far
Iteration 2913: 2504.59 sec so far
Iteration 2919: 2509.63 sec so far
Iteration 2925: 2514.66 sec so far
Iteration 2931: 2519.69 sec so far
Iteration 2937: 2524.72 sec so far
Iteration 2943: 2529.74 sec so far
Iteration 2949: 2534.76 sec so far
Iteration 2955: 2540.01 sec so far
Iteration 2961: 2545.35 sec so far
Iteration 2967: 2550.67 sec so far
Iteration 2973: 2555.98 sec so far
Iteration 2979: 2561.26 sec so far
Iteration 2985: 2566.32 sec so far
Iteration 2991: 2571.35 sec so far
Iteration 2997: 2576.40 sec so far
Iteration 3003: 2581.44 sec so far
Iteration 3009: 2586.48 sec so far
Iteration 3015: 2591.51 sec so far
Iteration 3021: 2596.67 sec so far
Iteration 3027: 2602.15 sec so far
Iteration 3033: 2607.24 sec so far
Iteration 3039: 2612.78 sec so far
Iteration 3045: 2617.92 sec so far
Iteration 3051: 2623.05 sec so far
Iteration 3057: 2628.11 sec so far
Iteration 3063: 2633.15 sec so far
Iteration 3069: 2638.19 sec so far
Iteration 3075: 2643.22 sec so far
Iteration 3081: 2648.26 sec so far
Iteration 3087: 2653.30 sec so far
Iteration 3093: 2658.34 sec so far
Iteration 3099: 2663.37 sec so far
Iteration 3105: 2668.41 sec so far
Iteration 3111: 2673.49 sec so far
Iteration 3117: 2679.05 sec so far
Iteration 3123: 2684.39 sec so far
Iteration 3129: 2689.70 sec so far
Iteration 3135: 2694.92 sec so far
Iteration 3141: 2699.97 sec so far
Iteration 3147: 2705.01 sec so far
Iteration 3153: 2710.05 sec so far
Iteration 3159: 2715.08 sec so far
Iteration 3165: 2720.12 sec so far
Iteration 3171: 2725.15 sec so far
Iteration 3177: 2730.23 sec so far
Iteration 3183: 2735.64 sec so far
Iteration 3189: 2740.88 sec so far
Iteration 3195: 2746.41 sec so far
Iteration 3201: 2751.55 sec so far
Iteration 3207: 2756.66 sec so far
Iteration 3213: 2761.70 sec so far
Iteration 3219: 2766.73 sec so far
Iteration 3225: 2771.76 sec so far
Iteration 3231: 2776.78 sec so far
Iteration 3237: 2781.81 sec so far
Iteration 3243: 2786.84 sec so far
Iteration 3249: 2791.88 sec so far
Iteration 3255: 2796.92 sec so far
Iteration 3261: 2802.35 sec so far
Iteration 3267: 2807.55 sec so far
Iteration 3273: 2812.86 sec so far
Iteration 3279: 2818.31 sec so far
Iteration 3285: 2823.42 sec so far
Iteration 3291: 2828.45 sec so far
Iteration 3297: 2833.50 sec so far
Iteration 3303: 2838.54 sec so far
Iteration 3309: 2843.58 sec so far
Iteration 3315: 2848.63 sec so far
Iteration 3321: 2853.68 sec so far
Iteration 3327: 2858.71 sec so far
Iteration 3333: 2864.29 sec so far
Iteration 3339: 2869.38 sec so far
Iteration 3345: 2874.91 sec so far
Iteration 3351: 2880.17 sec so far
Iteration 3357: 2885.21 sec so far
Iteration 3363: 2890.24 sec so far
Iteration 3369: 2895.29 sec so far
Iteration 3375: 2900.33 sec so far
Iteration 3381: 2905.37 sec so far
Iteration 3387: 2910.41 sec so far
Iteration 3393: 2915.46 sec so far
Iteration 3399: 2920.51 sec so far
Iteration 3405: 2925.58 sec so far
Iteration 3411: 2930.90 sec so far
Iteration 3417: 2936.24 sec so far
Iteration 3423: 2941.43 sec so far
Iteration 3429: 2946.99 sec so far
Iteration 3435: 2952.10 sec so far
Iteration 3441: 2957.14 sec so far
Iteration 3447: 2962.18 sec so far
Iteration 3453: 2967.22 sec so far
Iteration 3459: 2972.26 sec so far
Iteration 3465: 2977.29 sec so far
Iteration 3471: 2982.34 sec so far
Iteration 3477: 2987.54 sec so far
Iteration 3483: 2992.93 sec so far
Iteration 3489: 2998.18 sec so far
Iteration 3495: 3003.45 sec so far
Iteration 3501: 3008.81 sec so far
Iteration 3507: 3013.89 sec so far
Iteration 3513: 3018.93 sec so far
Iteration 3519: 3023.96 sec so far
Iteration 3525: 3029.00 sec so far
Iteration 3531: 3034.03 sec so far
Iteration 3537: 3039.07 sec so far
Iteration 3543: 3044.14 sec so far
Iteration 3549: 3049.17 sec so far
Iteration 3555: 3054.33 sec so far
Iteration 3561: 3059.82 sec so far
Iteration 3567: 3064.96 sec so far
Iteration 3573: 3070.46 sec so far
Iteration 3579: 3075.63 sec so far
Iteration 3585: 3080.70 sec so far
Iteration 3591: 3085.75 sec so far
Iteration 3597: 3090.79 sec so far
Iteration 3603: 3095.82 sec so far
Iteration 3609: 3100.88 sec so far
Iteration 3615: 3105.93 sec so far
Iteration 3621: 3110.97 sec so far
Iteration 3627: 3116.42 sec so far
Iteration 3633: 3121.65 sec so far
Iteration 3639: 3126.92 sec so far
Iteration 3645: 3132.32 sec so far
Iteration 3651: 3137.43 sec so far
Iteration 3657: 3142.48 sec so far
Iteration 3663: 3147.52 sec so far
Iteration 3669: 3152.55 sec so far
Iteration 3675: 3157.59 sec so far
Iteration 3681: 3162.65 sec so far
Iteration 3687: 3167.70 sec so far
Iteration 3693: 3172.73 sec so far
Iteration 3699: 3177.77 sec so far
Iteration 3705: 3183.19 sec so far
Iteration 3711: 3188.42 sec so far
Iteration 3717: 3193.92 sec so far
Iteration 3723: 3199.14 sec so far
Iteration 3729: 3204.26 sec so far
Iteration 3735: 3209.31 sec so far
Iteration 3741: 3214.34 sec so far
Iteration 3747: 3219.38 sec so far
Iteration 3753: 3224.45 sec so far
Iteration 3759: 3229.49 sec so far
Iteration 3765: 3234.53 sec so far
Iteration 3771: 3240.05 sec so far
Iteration 3777: 3245.28 sec so far
Iteration 3783: 3250.56 sec so far
Iteration 3789: 3255.97 sec so far
Iteration 3795: 3261.08 sec so far
Iteration 3801: 3266.12 sec so far
Iteration 3807: 3271.17 sec so far
Iteration 3813: 3276.20 sec so far
Iteration 3819: 3281.24 sec so far
Iteration 3825: 3286.30 sec so far
Iteration 3831: 3291.33 sec so far
Iteration 3837: 3296.36 sec so far
Iteration 3843: 3301.39 sec so far
Iteration 3849: 3306.70 sec so far
Iteration 3855: 3311.98 sec so far
Iteration 3861: 3317.34 sec so far
Iteration 3867: 3322.69 sec so far
Iteration 3873: 3327.81 sec so far
Iteration 3879: 3332.84 sec so far
Iteration 3885: 3337.89 sec so far
Iteration 3891: 3342.96 sec so far
Iteration 3897: 3348.00 sec so far
Iteration 3903: 3353.03 sec so far
Iteration 3909: 3358.06 sec so far
Iteration 3915: 3363.58 sec so far
Iteration 3921: 3368.83 sec so far
Iteration 3927: 3374.12 sec so far
Iteration 3933: 3379.60 sec so far
Iteration 3939: 3384.70 sec so far
Iteration 3945: 3389.73 sec so far
Iteration 3951: 3394.76 sec so far
Iteration 3957: 3399.78 sec so far
Iteration 3963: 3404.84 sec so far
Iteration 3969: 3409.88 sec so far
Iteration 3975: 3414.92 sec so far
Iteration 3981: 3419.96 sec so far
Iteration 3987: 3425.00 sec so far
Iteration 3993: 3430.25 sec so far
Iteration 3999: 3435.46 sec so far
Iteration 4005: 3440.68 sec so far
Iteration 4011: 3446.18 sec so far
Iteration 4017: 3451.29 sec so far
Iteration 4023: 3456.33 sec so far
Iteration 4029: 3461.38 sec so far
Iteration 4035: 3466.44 sec so far
Iteration 4041: 3471.46 sec so far
Iteration 4047: 3476.49 sec so far
Iteration 4053: 3481.51 sec so far
Iteration 4059: 3486.64 sec so far
Iteration 4065: 3491.92 sec so far
Iteration 4071: 3497.13 sec so far
Iteration 4077: 3502.42 sec so far
Iteration 4083: 3507.75 sec so far
Iteration 4089: 3512.78 sec so far
Iteration 4095: 3517.80 sec so far
Iteration 4101: 3522.85 sec so far
Iteration 4107: 3527.90 sec so far
Iteration 4113: 3532.93 sec so far
Iteration 4119: 3537.96 sec so far
Iteration 4125: 3542.99 sec so far
Iteration 4131: 3548.01 sec so far
Iteration 4137: 3553.03 sec so far
Iteration 4143: 3558.07 sec so far
Iteration 4149: 3563.46 sec so far
Iteration 4155: 3568.69 sec so far
Iteration 4161: 3573.99 sec so far
Iteration 4167: 3579.30 sec so far
Iteration 4173: 3584.41 sec so far
Iteration 4179: 3589.45 sec so far
Iteration 4185: 3594.49 sec so far
Iteration 4191: 3599.53 sec so far
Iteration 4197: 3604.57 sec so far
Iteration 4203: 3609.61 sec so far
Iteration 4209: 3614.65 sec so far
Iteration 4215: 3619.87 sec so far
Iteration 4221: 3625.15 sec so far
Iteration 4227: 3630.55 sec so far
Iteration 4233: 3635.86 sec so far
Iteration 4239: 3641.00 sec so far
Iteration 4245: 3646.05 sec so far
Iteration 4251: 3651.08 sec so far
Iteration 4257: 3656.13 sec so far
Iteration 4263: 3661.17 sec so far
Iteration 4269: 3666.21 sec so far
Iteration 4275: 3671.23 sec so far
Iteration 4281: 3676.26 sec so far
Iteration 4287: 3681.29 sec so far
Iteration 4293: 3686.59 sec so far
Iteration 4299: 3691.74 sec so far
Iteration 4305: 3697.03 sec so far
Iteration 4311: 3702.49 sec so far
Iteration 4317: 3707.61 sec so far
Iteration 4323: 3712.64 sec so far
Iteration 4329: 3717.67 sec so far
Iteration 4335: 3722.71 sec so far
Iteration 4341: 3727.74 sec so far
Iteration 4347: 3732.78 sec so far
Iteration 4353: 3737.82 sec so far
Iteration 4359: 3742.89 sec so far
Iteration 4365: 3748.30 sec so far
Iteration 4371: 3753.51 sec so far
Iteration 4377: 3758.87 sec so far
Iteration 4383: 3764.14 sec so far
Iteration 4389: 3769.19 sec so far
Iteration 4395: 3774.22 sec so far
Iteration 4401: 3779.26 sec so far
Iteration 4407: 3784.28 sec so far
Iteration 4413: 3789.31 sec so far
Iteration 4419: 3794.35 sec so far
Iteration 4425: 3799.38 sec so far
Iteration 4431: 3804.40 sec so far
Iteration 4437: 3809.67 sec so far
Iteration 4443: 3814.84 sec so far
Iteration 4449: 3820.13 sec so far
Iteration 4455: 3825.63 sec so far
Iteration 4461: 3830.75 sec so far
Iteration 4467: 3835.79 sec so far
Iteration 4473: 3840.82 sec so far
Iteration 4479: 3845.84 sec so far
Iteration 4485: 3850.87 sec so far
Iteration 4491: 3855.90 sec so far
Iteration 4497: 3860.93 sec so far
Iteration 4503: 3865.95 sec so far
Iteration 4509: 3871.33 sec so far
Iteration 4515: 3876.42 sec so far
Iteration 4521: 3881.93 sec so far
Iteration 4527: 3887.23 sec so far
Iteration 4533: 3892.28 sec so far
Iteration 4539: 3897.31 sec so far
Iteration 4545: 3902.36 sec so far
Iteration 4551: 3907.38 sec so far
Iteration 4557: 3912.42 sec so far
Iteration 4563: 3917.44 sec so far
Iteration 4569: 3922.47 sec so far
Iteration 4575: 3927.49 sec so far
Iteration 4581: 3932.53 sec so far
Iteration 4587: 3937.56 sec so far
Iteration 4593: 3942.76 sec so far
Iteration 4599: 3948.02 sec so far
Iteration 4605: 3953.30 sec so far
Iteration 4611: 3958.56 sec so far
Iteration 4617: 3963.90 sec so far
Iteration 4623: 3968.93 sec so far
Iteration 4629: 3973.97 sec so far
Iteration 4635: 3979.00 sec so far
Iteration 4641: 3984.03 sec so far
Iteration 4647: 3989.06 sec so far
Iteration 4653: 3994.09 sec so far
Iteration 4659: 3999.13 sec so far
Iteration 4665: 4004.47 sec so far
Iteration 4671: 4009.66 sec so far
Iteration 4677: 4015.11 sec so far
Iteration 4683: 4020.43 sec so far
Iteration 4689: 4025.50 sec so far
Iteration 4695: 4030.54 sec so far
Iteration 4701: 4035.57 sec so far
Iteration 4707: 4040.61 sec so far
Iteration 4713: 4045.64 sec so far
Iteration 4719: 4050.68 sec so far
Iteration 4725: 4055.71 sec so far
Iteration 4731: 4060.76 sec so far
Iteration 4737: 4065.82 sec so far
Iteration 4743: 4071.22 sec so far
Iteration 4749: 4076.36 sec so far
Iteration 4755: 4081.68 sec so far
Iteration 4761: 4087.04 sec so far
Iteration 4767: 4092.16 sec so far
Iteration 4773: 4097.19 sec so far
Iteration 4779: 4102.22 sec so far
Iteration 4785: 4107.26 sec so far
Iteration 4791: 4112.30 sec so far
Iteration 4797: 4117.34 sec so far
Iteration 4803: 4122.39 sec so far
Iteration 4809: 4127.51 sec so far
Iteration 4815: 4132.86 sec so far
Iteration 4821: 4138.16 sec so far
Iteration 4827: 4143.47 sec so far
Iteration 4833: 4148.68 sec so far
Iteration 4839: 4153.73 sec so far
Iteration 4845: 4158.77 sec so far
Iteration 4851: 4163.81 sec so far
Iteration 4857: 4168.85 sec so far
Iteration 4863: 4173.88 sec so far
Iteration 4869: 4178.92 sec so far
Iteration 4875: 4183.98 sec so far
Value iteration (with Jacobi) took 4880 iterations, 172060835840 multiplications and 4188.282 seconds.
Probabilistic reachability took 4199.855 seconds.
Value in the initial state: 0.5386630172446859
Time for model checking: 4202.854 seconds.
Result: 0.5386630172446859 (+/- 5.381002200973655E-6 estimated; rel err 9.989551962371593E-6)
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g