0: MAYBE ( 31.22 ms) problems-ari-cops/1503.ari 1: MAYBE ( 14.43 ms) problems-ari-cops/1504.ari 2: YES ( 23.29 ms) problems-ari-cops/1505.ari 3: YES ( 13.38 ms) problems-ari-cops/1506.ari 4: YES ( 29.68 ms) problems-ari-cops/1507.ari 5: YES ( 26.94 ms) problems-ari-cops/1508.ari 6: YES ( 27.26 ms) problems-ari-cops/1509.ari 7: YES ( 22.69 ms) problems-ari-cops/1510.ari 8: YES ( 20.66 ms) problems-ari-cops/1511.ari 9: YES ( 11.97 ms) problems-ari-cops/1512.ari 10: YES ( 20.72 ms) problems-ari-cops/1513.ari 11: MAYBE ( 40.32 ms) problems-ari-cops/1514.ari 12: YES ( 24.54 ms) problems-ari-cops/1515.ari 13: MAYBE ( 30.30 ms) problems-ari-cops/1516.ari 14: YES ( 24.96 ms) problems-ari-cops/1517.ari 15: YES ( 21.17 ms) problems-ari-cops/1518.ari 16: YES ( 24.03 ms) problems-ari-cops/1519.ari 17: YES ( 21.52 ms) problems-ari-cops/1520.ari 18: MAYBE ( 19.10 ms) problems-ari-cops/1521.ari 19: YES ( 16.83 ms) problems-ari-cops/1522.ari 20: YES ( 22.12 ms) problems-ari-cops/1523.ari 21: YES ( 2.33 ms) problems-ari-cops/1524.ari 22: YES ( 1.95 ms) problems-ari-cops/1525.ari 23: YES ( 28.36 ms) problems-ari-cops/1526.ari 24: YES ( 2.16 ms) problems-ari-cops/1527.ari 25: MAYBE ( 25.80 ms) problems-ari-cops/1528.ari 26: MAYBE ( 23.26 ms) problems-ari-cops/1529.ari 27: MAYBE ( 28.83 ms) problems-ari-cops/1530.ari 28: MAYBE ( 31.84 ms) problems-ari-cops/1531.ari 29: YES ( 22.93 ms) problems-ari-cops/1532.ari 30: MAYBE ( 16.87 ms) problems-ari-cops/1533.ari 31: YES ( 21.90 ms) problems-ari-cops/1534.ari 32: MAYBE ( 43.15 ms) problems-ari-cops/1535.ari 33: YES ( 10.24 ms) problems-ari-cops/1536.ari 34: YES ( 20.40 ms) problems-ari-cops/1537.ari 35: YES ( 12.04 ms) problems-ari-cops/1538.ari 36: MAYBE ( 26.60 ms) problems-ari-cops/1539.ari 37: YES ( 12.04 ms) problems-ari-cops/1540.ari 38: YES ( 15.71 ms) problems-ari-cops/1541.ari 39: MAYBE ( 34.88 ms) problems-ari-cops/1542.ari 40: MAYBE ( 205.18 ms) problems-ari-cops/1543.ari 41: YES ( 26.72 ms) problems-ari-cops/1544.ari 42: YES ( 30.89 ms) problems-ari-cops/1545.ari 43: YES ( 2.47 ms) problems-ari-cops/1546.ari 44: YES ( 21.98 ms) problems-ari-cops/1547.ari 45: YES ( 11.47 ms) problems-ari-cops/1548.ari 46: MAYBE ( 13.01 ms) problems-ari-cops/1549.ari 47: MAYBE ( 48.70 ms) problems-ari-cops/1550.ari 48: YES ( 22.08 ms) problems-ari-cops/1551.ari 49: YES ( 13.17 ms) problems-ari-cops/1552.ari 50: YES ( 11.78 ms) problems-ari-cops/1553.ari 51: YES ( 13.98 ms) problems-ari-cops/1554.ari 52: YES ( 22.84 ms) problems-ari-cops/1555.ari 53: YES ( 13.98 ms) problems-ari-cops/1556.ari 54: YES ( 26.18 ms) problems-ari-cops/1557.ari 55: MAYBE ( 38.00 ms) problems-ari-cops/1558.ari 56: YES ( 25.37 ms) problems-ari-cops/1559.ari 57: MAYBE ( 11.75 ms) problems-ari-cops/1560.ari 58: YES ( 26.10 ms) problems-ari-cops/1561.ari 59: YES ( 26.26 ms) problems-ari-cops/1562.ari 60: YES ( 27.60 ms) problems-ari-cops/1563.ari 61: YES ( 30.78 ms) problems-ari-cops/1564.ari 62: YES ( 24.28 ms) problems-ari-cops/1565.ari 63: YES ( 26.42 ms) problems-ari-cops/1566.ari 64: YES ( 25.17 ms) problems-ari-cops/1567.ari 65: YES ( 23.08 ms) problems-ari-cops/1568.ari 66: YES ( 13.58 ms) problems-ari-cops/1569.ari 67: YES ( 2.43 ms) problems-ari-cops/1570.ari 68: MAYBE ( 24.38 ms) problems-ari-cops/1571.ari 69: YES ( 11.84 ms) problems-ari-cops/1572.ari 70: YES ( 11.71 ms) problems-ari-cops/1573.ari 71: MAYBE ( 49.07 ms) problems-ari-cops/1574.ari 72: MAYBE ( 42.21 ms) problems-ari-cops/1575.ari 73: MAYBE ( 17.02 ms) problems-ari-cops/1576.ari 74: MAYBE ( 19.14 ms) problems-ari-cops/1577.ari 75: YES ( 12.94 ms) problems-ari-cops/1578.ari 76: YES ( 12.90 ms) problems-ari-cops/1579.ari 77: YES ( 12.95 ms) problems-ari-cops/1580.ari 78: YES ( 12.49 ms) problems-ari-cops/1581.ari 79: YES ( 12.37 ms) problems-ari-cops/1582.ari 80: YES ( 12.00 ms) problems-ari-cops/1583.ari 81: MAYBE ( 19.41 ms) problems-ari-cops/1584.ari 82: MAYBE ( 19.41 ms) problems-ari-cops/1585.ari 83: YES ( 14.50 ms) problems-ari-cops/1586.ari 84: MAYBE ( 39.15 ms) problems-ari-cops/1587.ari 85: YES ( 15.05 ms) problems-ari-cops/1588.ari 86: YES ( 15.50 ms) problems-ari-cops/1589.ari 87: YES ( 48.72 ms) problems-ari-cops/1590.ari 88: YES ( 12.41 ms) problems-ari-cops/1591.ari 89: YES ( 20.74 ms) problems-ari-cops/1592.ari 90: MAYBE ( 23.59 ms) problems-ari-cops/1593.ari 91: YES ( 20.60 ms) problems-ari-cops/1594.ari 92: YES ( 12.14 ms) problems-ari-cops/1595.ari 93: MAYBE ( 150.42 ms) problems-ari-cops/1596.ari 94: YES ( 23.28 ms) problems-ari-cops/1597.ari 95: YES ( 21.21 ms) problems-ari-cops/1598.ari 96: YES ( 18.91 ms) problems-ari-cops/1599.ari 97: YES ( 20.50 ms) problems-ari-cops/1600.ari 98: YES ( 2.40 ms) problems-ari-cops/1601.ari 99: YES ( 17.04 ms) problems-ari-cops/1602.ari 100: YES ( 2.26 ms) problems-ari-cops/1603.ari 101: MAYBE ( 29.49 ms) problems-ari-cops/1604.ari 102: MAYBE ( 19.47 ms) problems-ari-cops/1605.ari 103: MAYBE ( 18.45 ms) problems-ari-cops/1608.ari 104: YES ( 2.57 ms) problems-ari-cops/1609.ari 105: MAYBE ( 48.89 ms) problems-ari-cops/1610.ari 106: MAYBE ( 138.17 ms) problems-ari-cops/1611.ari 107: YES ( 2.95 ms) problems-ari-cops/1614.ari 108: YES ( 43.36 ms) problems-ari-cops/1615.ari 109: YES ( 2.72 ms) problems-ari-cops/1616.ari 110: YES ( 9.87 ms) problems-ari-cops/1617.ari 111: MAYBE ( 16.12 ms) problems-ari-cops/1620.ari 112: YES ( 2.31 ms) problems-ari-cops/1623.ari 113: Timeout ( 10001.53 ms) problems-ari-cops/1645.ari 114: MAYBE ( 2296.59 ms) problems-ari-cops/1646.ari Benchmark Files in "problems-ari-cops": Files: 115 Yes: 79 No: 0 Maybe: 35 Timeout: 1 Error: 0 AVG Time: 0.13 s Total Time: 15.05 s Total Time (Yes): 1.40 s Total Time (No): 0.00 s Total Time (Maybe): 3.65 s