Instance | Result | Time | |
---|---|---|---|
x5.6 | UNSAT | 0 | |
x5.1 | UNSAT | 0 | |
x5.7 | UNSAT | 0 | |
x5.3 | UNSAT | 0 | |
x5.4 | UNSAT | 0.01 | |
x5.5 | UNSAT | 0.01 | |
x5.2 | UNSAT | 0.01 | |
x5.9 | UNSAT | 0.01 | |
x10.6 | UNSAT | 0.02 | |
x10.7 | SAT | 0.02 | |
x10.2 | UNSAT | 0.02 | |
x10.8 | UNSAT | 0.02 | |
x10.3 | UNSAT | 0.02 | |
x10.9 | UNSAT | 0.02 | |
x5.8 | UNSAT | 0.02 | |
x10.0 | UNSAT | 0.03 | |
x5.0 | SAT | 0.03 | |
x10.1 | UNSAT | 0.04 | |
x10.4 | SAT | 0.04 | |
x10.5 | UNSAT | 0.04 | |
x15.5 | UNSAT | 0.08 | |
x15.8 | SAT | 0.1 | |
x15.6 | UNSAT | 0.1 | |
x15.2 | UNSAT | 0.12 | |
x15.3 | SAT | 0.13 | |
x15.9 | UNSAT | 0.13 | |
x15.0 | UNSAT | 0.13 | |
x15.7 | UNSAT | 0.13 | |
x15.4 | UNSAT | 0.14 | |
x15.1 | SAT | 0.14 | |
x20.8 | SAT | 0.57 | |
x20.6 | SAT | 0.7 | |
x20.5 | SAT | 0.73 | |
x20.0 | SAT | 0.74 | |
x20.4 | UNSAT | 0.78 | |
x20.1 | UNSAT | 0.99 | |
x20.3 | UNSAT | 1.02 | |
x20.2 | SAT | 1.18 | |
x20.9 | SAT | 1.22 | |
x20.7 | SAT | 1.42 | |
x25.8 | UNSAT | 3.09 | |
x25.3 | UNSAT | 4.25 | |
x25.9 | UNSAT | 4.71 | |
x25.0 | SAT | 4.89 | |
x25.7 | UNSAT | 4.96 | |
x25.2 | SAT | 5 | |
x25.4 | UNSAT | 5.64 | |
x25.5 | UNSAT | 5.83 | |
x25.6 | UNSAT | 7.18 | |
x25.1 | SAT | 10.91 | |
x30.4 | SAT | 15.72 | |
x30.1 | UNSAT | 18.84 | |
x30.6 | SAT | 23.41 | |
x30.8 | UNSAT | 26.73 | |
x30.2 | UNSAT | 27.06 | |
x30.9 | UNSAT | 28.64 | |
x30.5 | UNSAT | 39.09 | |
x115.4 | FAIL | 40.43 | |
x110.9 | FAIL | 42.34 | |
x115.1 | FAIL | 42.7 | |
x50.7 | FAIL | 43.01 | |
x110.3 | FAIL | 43.13 | |
x115.6 | FAIL | 43.62 | |
x50.9 | FAIL | 43.66 | |
x120.3 | FAIL | 43.9 | |
x110.4 | FAIL | 43.97 | |
x70.2 | FAIL | 44.03 | |
x55.5 | FAIL | 44.15 | |
x70.3 | FAIL | 44.81 | |
x75.6 | FAIL | 44.93 | |
x70.0 | FAIL | 45.36 | |
x115.5 | FAIL | 45.47 | |
x70.9 | FAIL | 45.62 | |
x115.0 | FAIL | 45.7 | |
x70.6 | FAIL | 46.18 | |
x120.1 | FAIL | 46.32 | |
x50.8 | FAIL | 46.32 | |
x50.4 | FAIL | 46.34 | |
x50.5 | FAIL | 46.4 | |
x110.5 | FAIL | 46.49 | |
x120.8 | FAIL | 46.55 | |
x120.4 | FAIL | 46.67 | |
x120.2 | FAIL | 46.84 | |
x110.8 | FAIL | 47.63 | |
x70.7 | FAIL | 47.67 | |
x110.2 | FAIL | 47.71 | |
x75.2 | FAIL | 47.75 | |
x75.7 | FAIL | 48 | |
x80.0 | FAIL | 48.28 | |
x75.9 | FAIL | 48.32 | |
x50.1 | FAIL | 48.64 | |
x120.5 | FAIL | 48.74 | |
x125.2 | FAIL | 48.76 | |
x110.7 | FAIL | 48.8 | |
x50.0 | FAIL | 48.83 | |
x115.7 | FAIL | 49.27 | |
x120.6 | FAIL | 49.61 | |
x115.9 | FAIL | 49.76 | |
x115.2 | FAIL | 50.04 | |
x130.0 | FAIL | 50.07 | |
x40.2 | FAIL | 50.09 | |
x75.4 | FAIL | 50.53 | |
x125.8 | FAIL | 50.68 | |
x75.3 | FAIL | 51.07 | |
x120.7 | FAIL | 51.11 | |
x115.8 | FAIL | 51.19 | |
x125.1 | FAIL | 51.38 | |
x80.4 | FAIL | 51.65 | |
x55.1 | FAIL | 51.66 | |
x125.9 | FAIL | 51.71 | |
x125.7 | FAIL | 51.76 | |
x130.6 | FAIL | 51.78 | |
x70.5 | FAIL | 51.84 | |
x115.3 | FAIL | 52.07 | |
x130.2 | FAIL | 52.07 | |
x80.9 | FAIL | 52.32 | |
x125.0 | FAIL | 52.62 | |
x350.5 | FAIL | 52.68 | |
x60.0 | FAIL | 52.71 | |
x60.1 | FAIL | 52.83 | |
x130.1 | FAIL | 53.05 | |
x120.0 | FAIL | 53.16 | |
x85.5 | FAIL | 53.18 | |
x55.2 | FAIL | 53.36 | |
x125.5 | FAIL | 53.44 | |
x135.3 | FAIL | 53.6 | |
x130.9 | FAIL | 53.7 | |
x75.8 | FAIL | 53.72 | |
x130.5 | FAIL | 53.8 | |
x70.4 | FAIL | 54.03 | |
x130.4 | FAIL | 54.17 | |
x70.8 | FAIL | 54.18 | |
x120.9 | FAIL | 54.19 | |
x130.8 | FAIL | 54.2 | |
x85.6 | FAIL | 54.55 | |
x60.6 | FAIL | 54.71 | |
x55.9 | FAIL | 55.25 | |
x40.7 | FAIL | 55.32 | |
x125.6 | FAIL | 55.95 | |
x135.0 | FAIL | 56.1 | |
x400.6 | FAIL | 56.11 | |
x110.6 | FAIL | 56.19 | |
x130.3 | FAIL | 56.29 | |
x45.7 | FAIL | 56.43 | |
x55.6 | FAIL | 56.45 | |
x125.3 | FAIL | 56.7 | |
x135.1 | FAIL | 56.87 | |
x60.9 | FAIL | 57.03 | |
x135.4 | FAIL | 57.13 | |
x60.8 | FAIL | 57.26 | |
x60.7 | FAIL | 57.43 | |
x60.2 | FAIL | 57.49 | |
x30.0 | UNSAT | 57.5 | |
x45.3 | FAIL | 57.53 | |
x135.6 | FAIL | 57.71 | |
x55.4 | FAIL | 57.72 | |
x135.9 | FAIL | 57.79 | |
x70.1 | FAIL | 57.81 | |
x135.7 | FAIL | 57.86 | |
x60.5 | FAIL | 57.94 | |
x80.7 | FAIL | 58.07 | |
x125.4 | FAIL | 58.1 | |
x140.8 | FAIL | 58.57 | |
x55.7 | FAIL | 58.64 | |
x85.4 | FAIL | 58.83 | |
x45.1 | FAIL | 58.87 | |
x85.2 | FAIL | 59.22 | |
x80.1 | FAIL | 59.38 | |
x85.7 | FAIL | 59.44 | |
x135.8 | FAIL | 59.79 | |
x60.3 | FAIL | 59.9 | |
x80.6 | FAIL | 60.12 | |
x90.6 | FAIL | 60.21 | |
x60.4 | FAIL | 60.21 | |
x85.9 | FAIL | 60.26 | |
x75.5 | FAIL | 60.59 | |
x80.5 | FAIL | 60.72 | |
x140.9 | FAIL | 60.73 | |
x85.8 | FAIL | 60.87 | |
x80.2 | FAIL | 60.94 | |
x30.7 | UNSAT | 61.09 | |
x80.3 | FAIL | 61.27 | |
x140.2 | FAIL | 61.4 | |
x95.3 | FAIL | 61.49 | |
x135.2 | FAIL | 61.52 | |
x75.0 | FAIL | 61.62 | |
x140.5 | FAIL | 61.71 | |
x140.3 | FAIL | 61.75 | |
x135.5 | FAIL | 61.79 | |
x75.1 | FAIL | 61.86 | |
x90.5 | FAIL | 61.99 | |
x140.0 | FAIL | 62.33 | |
x65.0 | FAIL | 62.39 | |
x95.7 | FAIL | 62.44 | |
x95.0 | FAIL | 62.69 | |
x95.5 | FAIL | 62.7 | |
x140.1 | FAIL | 63.41 | |
x350.4 | FAIL | 63.51 | |
x140.7 | FAIL | 63.51 | |
x45.4 | FAIL | 64.03 | |
x90.7 | FAIL | 64.12 | |
x65.9 | FAIL | 64.13 | |
x65.5 | FAIL | 64.15 | |
x40.4 | FAIL | 64.54 | |
x45.6 | FAIL | 64.6 | |
x90.4 | FAIL | 65.08 | |
x180.5 | FAIL | 65.45 | |
x85.1 | FAIL | 65.51 | |
x350.0 | FAIL | 65.66 | |
x350.2 | FAIL | 65.73 | |
x65.7 | FAIL | 65.85 | |
x100.6 | FAIL | 65.98 | |
x55.0 | FAIL | 66.15 | |
x145.9 | FAIL | 66.36 | |
x50.2 | FAIL | 66.36 | |
x145.6 | FAIL | 66.46 | |
x100.1 | FAIL | 66.51 | |
x350.9 | FAIL | 66.64 | |
x145.2 | FAIL | 67.03 | |
x140.6 | FAIL | 67.09 | |
x90.3 | FAIL | 67.13 | |
x100.0 | FAIL | 67.2 | |
x130.7 | FAIL | 67.41 | |
x90.2 | FAIL | 67.46 | |
x90.8 | FAIL | 67.47 | |
x90.1 | FAIL | 67.5 | |
x145.7 | FAIL | 67.69 | |
x85.3 | FAIL | 67.75 | |
x95.6 | FAIL | 67.76 | |
x190.1 | FAIL | 68.05 | |
x65.6 | FAIL | 68.28 | |
x100.2 | FAIL | 68.74 | |
x90.9 | FAIL | 68.75 | |
x100.4 | FAIL | 68.77 | |
x400.0 | FAIL | 68.77 | |
x400.4 | FAIL | 68.89 | |
x90.0 | FAIL | 68.96 | |
x50.3 | FAIL | 69.51 | |
x100.8 | FAIL | 69.67 | |
x180.7 | FAIL | 70.22 | |
x180.3 | FAIL | 70.23 | |
x185.1 | FAIL | 70.26 | |
x95.9 | FAIL | 70.36 | |
x95.4 | FAIL | 70.77 | |
x350.3 | FAIL | 71.21 | |
x400.2 | FAIL | 71.23 | |
x105.2 | FAIL | 71.24 | |
x180.4 | FAIL | 71.32 | |
x190.0 | FAIL | 71.68 | |
x180.2 | FAIL | 71.71 | |
x140.4 | FAIL | 72.08 | |
x145.4 | FAIL | 72.25 | |
x150.4 | FAIL | 72.26 | |
x185.9 | FAIL | 72.28 | |
x40.1 | FAIL | 72.41 | |
x35.0 | FAIL | 72.44 | |
x45.8 | FAIL | 72.48 | |
x185.5 | FAIL | 72.63 | |
x95.8 | FAIL | 72.69 | |
x150.6 | FAIL | 72.74 | |
x145.3 | FAIL | 72.84 | |
x95.1 | FAIL | 73.08 | |
x40.3 | FAIL | 73.14 | |
x185.3 | FAIL | 73.24 | |
x150.5 | FAIL | 73.37 | |
x100.9 | FAIL | 73.55 | |
x145.5 | FAIL | 73.69 | |
x35.1 | FAIL | 73.82 | |
x95.2 | FAIL | 73.91 | |
x185.4 | FAIL | 73.97 | |
x195.0 | FAIL | 74.07 | |
x180.0 | FAIL | 74.07 | |
x100.3 | FAIL | 74.33 | |
x155.5 | FAIL | 74.4 | |
x45.9 | FAIL | 74.41 | |
x150.8 | FAIL | 74.74 | |
x65.4 | FAIL | 74.96 | |
x185.0 | FAIL | 75.05 | |
x150.2 | FAIL | 75.08 | |
x85.0 | FAIL | 75.17 | |
x195.9 | FAIL | 75.45 | |
x105.7 | FAIL | 75.68 | |
x100.7 | FAIL | 75.83 | |
x190.4 | FAIL | 75.87 | |
x65.8 | FAIL | 75.89 | |
x145.0 | FAIL | 75.97 | |
x150.7 | FAIL | 76.02 | |
x190.5 | FAIL | 76.13 | |
x40.6 | FAIL | 76.32 | |
x190.9 | FAIL | 76.52 | |
x150.9 | FAIL | 76.55 | |
x150.1 | FAIL | 76.64 | |
x180.8 | FAIL | 76.68 | |
x45.5 | FAIL | 76.7 | |
x30.3 | SAT | 76.87 | |
x195.1 | FAIL | 76.91 | |
x185.7 | FAIL | 77.47 | |
x105.6 | FAIL | 77.49 | |
x400.9 | FAIL | 77.52 | |
x205.5 | FAIL | 77.57 | |
x65.3 | FAIL | 77.6 | |
x145.8 | FAIL | 77.99 | |
x185.6 | FAIL | 78.12 | |
x190.7 | FAIL | 78.12 | |
x105.0 | FAIL | 78.14 | |
x55.3 | FAIL | 78.18 | |
x190.8 | FAIL | 78.19 | |
x195.5 | FAIL | 78.31 | |
x190.2 | FAIL | 78.33 | |
x350.7 | FAIL | 78.47 | |
x55.8 | FAIL | 78.62 | |
x40.5 | FAIL | 78.89 | |
x155.3 | FAIL | 78.89 | |
x195.6 | FAIL | 79.08 | |
x105.8 | FAIL | 79.24 | |
x155.7 | FAIL | 79.28 | |
x105.1 | FAIL | 79.47 | |
x150.3 | FAIL | 79.87 | |
x155.6 | FAIL | 80.02 | |
x160.5 | FAIL | 80.3 | |
x195.2 | FAIL | 80.5 | |
x200.6 | FAIL | 80.91 | |
x65.1 | FAIL | 80.91 | |
x155.8 | FAIL | 80.94 | |
x170.4 | FAIL | 80.97 | |
x110.0 | FAIL | 81.11 | |
x145.1 | FAIL | 81.18 | |
x165.1 | FAIL | 81.36 | |
x185.8 | FAIL | 81.42 | |
x195.3 | FAIL | 81.58 | |
x100.5 | FAIL | 81.6 | |
x45.2 | FAIL | 81.77 | |
x155.2 | FAIL | 81.79 | |
x190.6 | FAIL | 81.84 | |
x160.3 | FAIL | 81.86 | |
x155.9 | FAIL | 81.89 | |
x65.2 | FAIL | 81.97 | |
x190.3 | FAIL | 82 | |
x40.8 | FAIL | 82.27 | |
x165.5 | FAIL | 82.43 | |
x160.9 | FAIL | 83.04 | |
x205.2 | FAIL | 83.72 | |
x200.0 | FAIL | 83.73 | |
x195.4 | FAIL | 83.82 | |
x220.9 | FAIL | 83.87 | |
x155.1 | FAIL | 83.89 | |
x150.0 | FAIL | 83.96 | |
x80.8 | FAIL | 84.32 | |
x205.9 | FAIL | 84.41 | |
x400.8 | FAIL | 84.62 | |
x105.9 | FAIL | 85 | |
x155.4 | FAIL | 85.23 | |
x105.4 | FAIL | 85.27 | |
x200.8 | FAIL | 85.91 | |
x105.5 | FAIL | 86.27 | |
x210.6 | FAIL | 86.3 | |
x210.9 | FAIL | 86.63 | |
x160.0 | FAIL | 86.65 | |
x160.6 | FAIL | 86.83 | |
x155.0 | FAIL | 86.92 | |
x200.9 | FAIL | 87 | |
x160.4 | FAIL | 87.31 | |
x200.4 | FAIL | 87.33 | |
x205.7 | FAIL | 87.67 | |
x200.7 | FAIL | 88.13 | |
x200.5 | FAIL | 88.29 | |
x105.3 | FAIL | 88.54 | |
x160.2 | FAIL | 88.61 | |
x50.6 | FAIL | 88.86 | |
x165.3 | FAIL | 88.87 | |
x400.5 | FAIL | 89.16 | |
x170.9 | FAIL | 89.23 | |
x165.4 | FAIL | 89.29 | |
x245.2 | FAIL | 89.4 | |
x165.6 | FAIL | 89.4 | |
x205.3 | FAIL | 90 | |
x400.7 | FAIL | 90.12 | |
x195.7 | FAIL | 90.34 | |
x400.1 | FAIL | 90.39 | |
x165.2 | FAIL | 90.39 | |
x350.8 | FAIL | 90.5 | |
x170.8 | FAIL | 90.79 | |
x205.4 | FAIL | 91.01 | |
x210.5 | FAIL | 91.02 | |
x165.7 | FAIL | 91.48 | |
x40.0 | FAIL | 91.54 | |
x195.8 | FAIL | 91.61 | |
x215.5 | FAIL | 91.7 | |
x210.8 | FAIL | 92.12 | |
x200.3 | FAIL | 92.39 | |
x350.6 | FAIL | 92.52 | |
x215.6 | FAIL | 92.83 | |
x160.8 | FAIL | 92.83 | |
x210.7 | FAIL | 92.9 | |
x165.9 | FAIL | 93.4 | |
x175.2 | FAIL | 93.6 | |
x160.1 | FAIL | 93.81 | |
x205.1 | FAIL | 93.84 | |
x40.9 | FAIL | 94.02 | |
x170.7 | FAIL | 94.48 | |
x245.0 | FAIL | 94.59 | |
x205.0 | FAIL | 94.66 | |
x200.2 | FAIL | 95.66 | |
x45.0 | FAIL | 95.76 | |
x220.2 | FAIL | 95.76 | |
x165.0 | FAIL | 95.87 | |
x225.2 | FAIL | 95.95 | |
x205.8 | FAIL | 96.01 | |
x215.7 | FAIL | 96.26 | |
x350.1 | FAIL | 96.43 | |
x170.1 | FAIL | 96.58 | |
x165.8 | FAIL | 96.73 | |
x215.3 | FAIL | 96.87 | |
x215.0 | FAIL | 97.54 | |
x170.6 | FAIL | 97.76 | |
x215.2 | FAIL | 97.76 | |
x220.0 | FAIL | 97.8 | |
x210.4 | FAIL | 97.92 | |
x210.3 | FAIL | 97.98 | |
x220.7 | FAIL | 98.15 | |
x220.1 | FAIL | 98.43 | |
x245.4 | FAIL | 98.51 | |
x220.4 | FAIL | 98.67 | |
x215.8 | FAIL | 98.68 | |
x235.4 | FAIL | 98.96 | |
x35.4 | FAIL | 99.03 | |
x210.2 | FAIL | 99.04 | |
x215.4 | FAIL | 99.36 | |
x400.3 | FAIL | 99.51 | |
x170.3 | FAIL | 99.89 | |
x170.0 | FAIL | 100.22 | |
x220.8 | FAIL | 100.6 | |
x220.6 | FAIL | 100.78 | |
x220.5 | FAIL | 101.14 | |
x230.4 | FAIL | 101.24 | |
x210.0 | FAIL | 101.3 | |
x235.3 | FAIL | 101.76 | |
x110.1 | FAIL | 102.12 | |
x215.9 | FAIL | 102.17 | |
x210.1 | FAIL | 102.36 | |
x185.2 | FAIL | 102.72 | |
x175.1 | FAIL | 103.2 | |
x215.1 | FAIL | 103.63 | |
x225.3 | FAIL | 103.65 | |
x230.0 | FAIL | 103.88 | |
x225.8 | FAIL | 103.94 | |
x235.2 | FAIL | 104.29 | |
x225.7 | FAIL | 104.54 | |
x160.7 | FAIL | 104.93 | |
x230.2 | FAIL | 104.96 | |
x225.0 | FAIL | 105.44 | |
x240.0 | FAIL | 105.48 | |
x250.6 | FAIL | 105.49 | |
x230.1 | FAIL | 105.61 | |
x235.8 | FAIL | 105.71 | |
x245.6 | FAIL | 106 | |
x170.2 | FAIL | 106.04 | |
x300.8 | FAIL | 106.09 | |
x245.9 | FAIL | 106.17 | |
x240.5 | FAIL | 106.36 | |
x225.4 | FAIL | 106.43 | |
x300.1 | FAIL | 107.07 | |
x225.6 | FAIL | 107.18 | |
x230.5 | FAIL | 107.25 | |
x175.7 | FAIL | 107.36 | |
x175.6 | FAIL | 108.61 | |
x230.9 | FAIL | 109.08 | |
x225.5 | FAIL | 109.09 | |
x230.8 | FAIL | 109.2 | |
x235.1 | FAIL | 109.22 | |
x230.7 | FAIL | 109.42 | |
x240.6 | FAIL | 109.83 | |
x250.9 | FAIL | 109.85 | |
x250.8 | FAIL | 110 | |
x230.3 | FAIL | 110.36 | |
x240.3 | FAIL | 110.51 | |
x240.4 | FAIL | 110.55 | |
x250.4 | FAIL | 111.14 | |
x245.1 | FAIL | 111.32 | |
x235.0 | FAIL | 111.47 | |
x170.5 | FAIL | 111.56 | |
x245.3 | FAIL | 112.05 | |
x240.7 | FAIL | 112.33 | |
x245.5 | FAIL | 112.45 | |
x235.5 | FAIL | 113.74 | |
x235.7 | FAIL | 113.79 | |
x240.9 | FAIL | 115.14 | |
x245.8 | FAIL | 116.34 | |
x235.9 | FAIL | 116.75 | |
x175.4 | FAIL | 116.75 | |
x250.2 | FAIL | 116.92 | |
x175.3 | FAIL | 117.34 | |
x35.7 | FAIL | 118.18 | |
x240.1 | FAIL | 118.2 | |
x235.6 | FAIL | 118.49 | |
x35.2 | SAT | 118.55 | |
x245.7 | FAIL | 119.42 | |
x250.0 | FAIL | 119.58 | |
x240.2 | FAIL | 120.16 | |
x175.5 | FAIL | 121.42 | |
x250.5 | FAIL | 122.05 | |
x300.9 | FAIL | 122.12 | |
x250.3 | FAIL | 122.49 | |
x230.6 | FAIL | 122.77 | |
x300.6 | FAIL | 122.82 | |
x250.1 | FAIL | 125.71 | |
x180.1 | FAIL | 125.72 | |
x240.8 | FAIL | 127.68 | |
x175.9 | FAIL | 129.63 | |
x175.8 | FAIL | 130.02 | |
x300.3 | FAIL | 130.28 | |
x200.1 | FAIL | 130.29 | |
x250.7 | FAIL | 132.79 | |
x300.0 | FAIL | 134.58 | |
x180.9 | FAIL | 134.85 | |
x175.0 | FAIL | 135.09 | |
x35.9 | FAIL | 135.32 | |
x35.8 | SAT | 135.72 | |
x35.5 | UNSAT | 140.09 | |
x300.5 | FAIL | 140.56 | |
x35.3 | FAIL | 141.59 | |
x300.2 | FAIL | 142.52 | |
x205.6 | FAIL | 147.47 | |
x300.7 | FAIL | 147.75 | |
x220.3 | FAIL | 151.81 | |
x300.4 | FAIL | 151.99 | |
x180.6 | FAIL | 155.38 | |
x225.1 | FAIL | 156.63 | |
x225.9 | FAIL | 156.64 | |
x35.6 | UNSAT | 212.72 |