0: YES ( 46.77 ms) problems-ari-cops/1503.ari 1: YES ( 55.61 ms) problems-ari-cops/1504.ari 2: NO ( 54.08 ms) problems-ari-cops/1505.ari 3: NO ( 50.59 ms) problems-ari-cops/1506.ari 4: NO ( 56.46 ms) problems-ari-cops/1507.ari 5: YES ( 28.38 ms) problems-ari-cops/1508.ari 6: NO ( 55.02 ms) problems-ari-cops/1509.ari 7: YES ( 29.10 ms) problems-ari-cops/1510.ari 8: YES ( 27.45 ms) problems-ari-cops/1511.ari 9: YES ( 26.90 ms) problems-ari-cops/1512.ari 10: YES ( 28.84 ms) problems-ari-cops/1513.ari 11: NO ( 57.40 ms) problems-ari-cops/1514.ari 12: YES ( 27.83 ms) problems-ari-cops/1515.ari 13: YES ( 27.50 ms) problems-ari-cops/1516.ari 14: YES ( 29.65 ms) problems-ari-cops/1517.ari 15: YES ( 27.83 ms) problems-ari-cops/1518.ari 16: YES ( 28.36 ms) problems-ari-cops/1519.ari 17: YES ( 27.26 ms) problems-ari-cops/1520.ari 18: MAYBE ( 3811.83 ms) problems-ari-cops/1521.ari 19: YES ( 28.06 ms) problems-ari-cops/1522.ari 20: YES ( 30.20 ms) problems-ari-cops/1523.ari 21: NO ( 42.81 ms) problems-ari-cops/1524.ari 22: YES ( 43.85 ms) problems-ari-cops/1525.ari 23: NO ( 863.36 ms) problems-ari-cops/1526.ari 24: YES ( 45.38 ms) problems-ari-cops/1527.ari 25: YES ( 224.78 ms) problems-ari-cops/1528.ari 26: YES ( 159.04 ms) problems-ari-cops/1529.ari 27: Timeout ( 10012.83 ms) problems-ari-cops/1530.ari 28: Timeout ( 10014.78 ms) problems-ari-cops/1531.ari 29: YES ( 57.50 ms) problems-ari-cops/1532.ari 30: YES ( 48.71 ms) problems-ari-cops/1533.ari 31: YES ( 27.76 ms) problems-ari-cops/1534.ari 32: YES ( 30.21 ms) problems-ari-cops/1535.ari 33: YES ( 27.38 ms) problems-ari-cops/1536.ari 34: YES ( 27.71 ms) problems-ari-cops/1537.ari 35: YES ( 28.49 ms) problems-ari-cops/1538.ari 36: NO ( 56.11 ms) problems-ari-cops/1539.ari 37: YES ( 27.52 ms) problems-ari-cops/1540.ari 38: Timeout ( 10010.01 ms) problems-ari-cops/1541.ari 39: NO ( 657.29 ms) problems-ari-cops/1542.ari 40: YES ( 31.67 ms) problems-ari-cops/1543.ari 41: YES ( 28.38 ms) problems-ari-cops/1544.ari 42: YES ( 33.77 ms) problems-ari-cops/1545.ari 43: Timeout ( 10009.71 ms) problems-ari-cops/1546.ari 44: YES ( 27.00 ms) problems-ari-cops/1547.ari 45: YES ( 27.94 ms) problems-ari-cops/1548.ari 46: YES ( 31.65 ms) problems-ari-cops/1549.ari 47: Timeout ( 10010.07 ms) problems-ari-cops/1550.ari 48: YES ( 27.35 ms) problems-ari-cops/1551.ari 49: YES ( 27.57 ms) problems-ari-cops/1552.ari 50: NO ( 45.65 ms) problems-ari-cops/1553.ari 51: YES ( 27.70 ms) problems-ari-cops/1554.ari 52: NO ( 54.53 ms) problems-ari-cops/1555.ari 53: YES ( 27.95 ms) problems-ari-cops/1556.ari 54: NO ( 50.21 ms) problems-ari-cops/1557.ari 55: NO ( 57.52 ms) problems-ari-cops/1558.ari 56: NO ( 52.29 ms) problems-ari-cops/1559.ari 57: YES ( 29.16 ms) problems-ari-cops/1560.ari 58: NO ( 54.77 ms) problems-ari-cops/1561.ari 59: NO ( 58.20 ms) problems-ari-cops/1562.ari 60: NO ( 53.24 ms) problems-ari-cops/1563.ari 61: NO ( 57.12 ms) problems-ari-cops/1564.ari 62: NO ( 49.75 ms) problems-ari-cops/1565.ari 63: NO ( 54.33 ms) problems-ari-cops/1566.ari 64: NO ( 49.52 ms) problems-ari-cops/1567.ari 65: YES ( 29.91 ms) problems-ari-cops/1568.ari 66: YES ( 27.40 ms) problems-ari-cops/1569.ari 67: NO ( 136.02 ms) problems-ari-cops/1570.ari 68: YES ( 29.55 ms) problems-ari-cops/1571.ari 69: YES ( 28.66 ms) problems-ari-cops/1572.ari 70: YES ( 27.13 ms) problems-ari-cops/1573.ari 71: YES ( 28.53 ms) problems-ari-cops/1574.ari 72: YES ( 29.73 ms) problems-ari-cops/1575.ari 73: YES ( 26.47 ms) problems-ari-cops/1576.ari 74: YES ( 28.55 ms) problems-ari-cops/1577.ari 75: YES ( 29.08 ms) problems-ari-cops/1578.ari 76: YES ( 27.39 ms) problems-ari-cops/1579.ari 77: YES ( 28.47 ms) problems-ari-cops/1580.ari 78: YES ( 27.46 ms) problems-ari-cops/1581.ari 79: YES ( 28.12 ms) problems-ari-cops/1582.ari 80: YES ( 33.39 ms) problems-ari-cops/1583.ari 81: YES ( 27.52 ms) problems-ari-cops/1584.ari 82: YES ( 29.22 ms) problems-ari-cops/1585.ari 83: YES ( 17.57 ms) problems-ari-cops/1586.ari 84: YES ( 28.07 ms) problems-ari-cops/1587.ari 85: YES ( 29.66 ms) problems-ari-cops/1588.ari 86: YES ( 28.67 ms) problems-ari-cops/1589.ari 87: YES ( 29.46 ms) problems-ari-cops/1590.ari 88: YES ( 26.98 ms) problems-ari-cops/1591.ari 89: YES ( 31.32 ms) problems-ari-cops/1592.ari 90: NO ( 50.56 ms) problems-ari-cops/1593.ari 91: NO ( 56.81 ms) problems-ari-cops/1594.ari 92: YES ( 27.45 ms) problems-ari-cops/1595.ari 93: YES ( 31.22 ms) problems-ari-cops/1596.ari 94: YES ( 27.23 ms) problems-ari-cops/1597.ari 95: NO ( 53.59 ms) problems-ari-cops/1598.ari 96: YES ( 27.59 ms) problems-ari-cops/1599.ari 97: NO ( 50.44 ms) problems-ari-cops/1600.ari 98: YES ( 27.25 ms) problems-ari-cops/1601.ari 99: YES ( 28.97 ms) problems-ari-cops/1602.ari 100: YES ( 45.43 ms) problems-ari-cops/1603.ari 101: YES ( 53.20 ms) problems-ari-cops/1604.ari 102: YES ( 27.46 ms) problems-ari-cops/1605.ari 103: YES ( 172.17 ms) problems-ari-cops/1608.ari 104: MAYBE ( 2733.32 ms) problems-ari-cops/1609.ari 105: Timeout ( 10010.64 ms) problems-ari-cops/1610.ari 106: Timeout ( 10011.86 ms) problems-ari-cops/1611.ari 107: YES ( 264.04 ms) problems-ari-cops/1614.ari 108: MAYBE ( 6569.43 ms) problems-ari-cops/1615.ari 109: NO ( 295.83 ms) problems-ari-cops/1616.ari 110: YES ( 72.84 ms) problems-ari-cops/1617.ari 111: YES ( 96.88 ms) problems-ari-cops/1620.ari 112: NO ( 42.18 ms) problems-ari-cops/1623.ari 113: Timeout ( 10013.03 ms) problems-ari-cops/1645.ari 114: Timeout ( 10014.76 ms) problems-ari-cops/1646.ari Benchmark Files in "problems-ari-cops": Files: 115 Yes: 75 No: 28 Maybe: 3 Timeout: 9 Error: 0 AVG Time: 0.95 s Total Time: 109.56 s Total Time (Yes): 3.12 s Total Time (No): 3.22 s Total Time (Maybe): 13.11 s Orthogonal: 0 Weakly Orthogonal: 0 Strongly Closed: 40 Parallel Closed: 0 Almost Parallel Closed: 0 Development Closed: 0 Almost Development Closed: 34 Two Different Normal Forms Found: 28 Newman's Lemma: 1 Toyama 81: 0