QBF Solver Evaluation Portal
qbflib.orgInstances of family Strategic_Companies solved by qube4.0
QBFEVAL'06
| Instance | Result | Time | |
|---|---|---|---|
| x5.6 | UNSAT | 0.01 | |
| x5.2 | UNSAT | 0.01 | |
| x5.9 | UNSAT | 0.01 | |
| x10.8 | UNSAT | 0.01 | |
| x10.3 | UNSAT | 0.02 | |
| x5.0 | SAT | 0.02 | |
| x10.4 | SAT | 0.02 | |
| x5.1 | UNSAT | 0.02 | |
| x5.3 | UNSAT | 0.02 | |
| x10.5 | UNSAT | 0.02 | |
| x5.4 | UNSAT | 0.02 | |
| x10.0 | UNSAT | 0.02 | |
| x10.6 | UNSAT | 0.02 | |
| x5.8 | UNSAT | 0.03 | |
| x15.2 | UNSAT | 0.03 | |
| x15.8 | SAT | 0.03 | |
| x10.1 | UNSAT | 0.03 | |
| x10.7 | SAT | 0.03 | |
| x15.4 | UNSAT | 0.03 | |
| x10.2 | UNSAT | 0.03 | |
| x5.5 | UNSAT | 0.04 | |
| x10.9 | UNSAT | 0.04 | |
| x15.5 | UNSAT | 0.04 | |
| x5.7 | UNSAT | 0.04 | |
| x15.6 | UNSAT | 0.04 | |
| x15.1 | SAT | 0.04 | |
| x15.7 | UNSAT | 0.04 | |
| x15.3 | SAT | 0.04 | |
| x20.1 | UNSAT | 0.05 | |
| x15.0 | UNSAT | 0.05 | |
| x25.6 | UNSAT | 0.05 | |
| x20.4 | UNSAT | 0.05 | |
| x15.9 | UNSAT | 0.05 | |
| x20.5 | SAT | 0.06 | |
| x30.7 | UNSAT | 0.07 | |
| x25.4 | UNSAT | 0.07 | |
| x20.2 | SAT | 0.07 | |
| x20.8 | SAT | 0.07 | |
| x25.7 | UNSAT | 0.07 | |
| x20.0 | SAT | 0.08 | |
| x20.6 | SAT | 0.08 | |
| x20.3 | UNSAT | 0.08 | |
| x20.9 | SAT | 0.08 | |
| x30.2 | UNSAT | 0.08 | |
| x20.7 | SAT | 0.09 | |
| x25.9 | UNSAT | 0.1 | |
| x25.5 | UNSAT | 0.12 | |
| x35.0 | UNSAT | 0.12 | |
| x30.5 | UNSAT | 0.14 | |
| x45.6 | UNSAT | 0.14 | |
| x25.2 | SAT | 0.15 | |
| x25.0 | SAT | 0.15 | |
| x40.4 | UNSAT | 0.15 | |
| x25.1 | SAT | 0.16 | |
| x25.3 | UNSAT | 0.16 | |
| x45.0 | UNSAT | 0.17 | |
| x25.8 | UNSAT | 0.18 | |
| x40.8 | UNSAT | 0.21 | |
| x30.9 | UNSAT | 0.22 | |
| x40.3 | UNSAT | 0.23 | |
| x35.3 | UNSAT | 0.25 | |
| x30.8 | UNSAT | 0.26 | |
| x45.9 | UNSAT | 0.26 | |
| x45.4 | UNSAT | 0.28 | |
| x50.4 | UNSAT | 0.28 | |
| x40.9 | UNSAT | 0.28 | |
| x30.4 | SAT | 0.29 | |
| x55.3 | UNSAT | 0.3 | |
| x35.6 | UNSAT | 0.31 | |
| x30.1 | UNSAT | 0.33 | |
| x30.6 | SAT | 0.34 | |
| x40.0 | UNSAT | 0.34 | |
| x70.0 | UNSAT | 0.35 | |
| x30.3 | SAT | 0.35 | |
| x35.7 | UNSAT | 0.38 | |
| x35.5 | UNSAT | 0.39 | |
| x70.8 | UNSAT | 0.42 | |
| x30.0 | UNSAT | 0.43 | |
| x35.2 | SAT | 0.47 | |
| x50.0 | UNSAT | 0.48 | |
| x75.5 | UNSAT | 0.51 | |
| x70.5 | UNSAT | 0.52 | |
| x40.1 | UNSAT | 0.53 | |
| x70.7 | UNSAT | 0.56 | |
| x55.4 | UNSAT | 0.57 | |
| x75.1 | UNSAT | 0.57 | |
| x85.4 | UNSAT | 0.58 | |
| x50.8 | UNSAT | 0.61 | |
| x60.6 | UNSAT | 0.63 | |
| x35.8 | SAT | 0.64 | |
| x45.8 | UNSAT | 0.65 | |
| x35.9 | SAT | 0.71 | |
| x75.9 | UNSAT | 0.71 | |
| x75.2 | UNSAT | 0.72 | |
| x35.4 | UNSAT | 0.73 | |
| x40.5 | UNSAT | 0.74 | |
| x100.4 | UNSAT | 0.75 | |
| x45.1 | UNSAT | 0.76 | |
| x60.0 | UNSAT | 0.77 | |
| x55.9 | UNSAT | 0.8 | |
| x85.8 | UNSAT | 0.8 | |
| x75.6 | UNSAT | 0.81 | |
| x45.2 | UNSAT | 0.81 | |
| x50.7 | UNSAT | 0.82 | |
| x50.3 | UNSAT | 0.84 | |
| x55.1 | UNSAT | 0.84 | |
| x55.8 | UNSAT | 0.85 | |
| x35.1 | SAT | 0.9 | |
| x60.1 | UNSAT | 0.93 | |
| x50.6 | UNSAT | 0.97 | |
| x40.6 | UNSAT | 0.99 | |
| x85.1 | UNSAT | 1 | |
| x105.2 | UNSAT | 1.01 | |
| x75.3 | UNSAT | 1.01 | |
| x45.5 | UNSAT | 1.02 | |
| x65.7 | UNSAT | 1.04 | |
| x40.2 | UNSAT | 1.05 | |
| x60.9 | UNSAT | 1.05 | |
| x100.0 | UNSAT | 1.1 | |
| x75.8 | UNSAT | 1.12 | |
| x60.8 | UNSAT | 1.12 | |
| x120.0 | UNSAT | 1.22 | |
| x50.9 | UNSAT | 1.39 | |
| x80.3 | UNSAT | 1.39 | |
| x80.4 | UNSAT | 1.43 | |
| x120.5 | UNSAT | 1.52 | |
| x85.6 | UNSAT | 1.56 | |
| x65.6 | UNSAT | 1.6 | |
| x60.5 | UNSAT | 1.68 | |
| x60.3 | UNSAT | 1.71 | |
| x95.4 | UNSAT | 1.72 | |
| x60.4 | UNSAT | 1.83 | |
| x55.7 | UNSAT | 1.83 | |
| x60.7 | UNSAT | 1.85 | |
| x85.2 | UNSAT | 1.86 | |
| x70.2 | UNSAT | 1.91 | |
| x105.6 | UNSAT | 2.15 | |
| x40.7 | SAT | 2.18 | |
| x45.3 | SAT | 2.22 | |
| x95.0 | UNSAT | 2.23 | |
| x50.2 | UNSAT | 2.25 | |
| x65.8 | UNSAT | 2.27 | |
| x90.4 | UNSAT | 2.29 | |
| x65.2 | UNSAT | 2.41 | |
| x115.1 | UNSAT | 2.41 | |
| x85.3 | UNSAT | 2.63 | |
| x110.9 | UNSAT | 2.68 | |
| x50.1 | UNSAT | 2.77 | |
| x95.5 | UNSAT | 2.77 | |
| x65.9 | UNSAT | 2.86 | |
| x90.2 | UNSAT | 2.94 | |
| x135.6 | UNSAT | 3.04 | |
| x145.8 | UNSAT | 3.06 | |
| x100.2 | UNSAT | 3.09 | |
| x65.4 | UNSAT | 3.16 | |
| x110.6 | UNSAT | 3.16 | |
| x60.2 | UNSAT | 3.19 | |
| x80.5 | UNSAT | 3.27 | |
| x80.6 | UNSAT | 3.28 | |
| x160.4 | UNSAT | 3.46 | |
| x75.4 | UNSAT | 3.48 | |
| x70.3 | UNSAT | 3.65 | |
| x90.1 | UNSAT | 3.66 | |
| x70.9 | UNSAT | 3.77 | |
| x105.1 | UNSAT | 3.88 | |
| x70.6 | UNSAT | 4.13 | |
| x90.7 | UNSAT | 4.14 | |
| x115.6 | UNSAT | 4.17 | |
| x105.0 | UNSAT | 4.27 | |
| x45.7 | SAT | 4.37 | |
| x125.0 | UNSAT | 4.37 | |
| x120.9 | UNSAT | 4.5 | |
| x55.2 | UNSAT | 4.62 | |
| x115.2 | UNSAT | 4.67 | |
| x165.9 | UNSAT | 5.16 | |
| x130.2 | UNSAT | 5.3 | |
| x155.1 | UNSAT | 5.47 | |
| x90.3 | UNSAT | 5.5 | |
| x100.1 | UNSAT | 5.63 | |
| x50.5 | UNSAT | 5.73 | |
| x85.5 | UNSAT | 5.76 | |
| x85.7 | UNSAT | 5.86 | |
| x65.0 | UNSAT | 6.23 | |
| x65.5 | UNSAT | 6.25 | |
| x140.9 | UNSAT | 6.35 | |
| x55.6 | UNSAT | 6.38 | |
| x150.6 | UNSAT | 6.38 | |
| x115.8 | UNSAT | 6.43 | |
| x120.3 | UNSAT | 6.57 | |
| x95.2 | UNSAT | 6.58 | |
| x65.3 | UNSAT | 7 | |
| x130.5 | UNSAT | 7.21 | |
| x95.6 | UNSAT | 7.53 | |
| x130.7 | UNSAT | 7.56 | |
| x120.2 | UNSAT | 7.96 | |
| x80.1 | UNSAT | 8.06 | |
| x105.7 | UNSAT | 8.63 | |
| x70.4 | UNSAT | 8.81 | |
| x95.7 | UNSAT | 8.91 | |
| x175.9 | UNSAT | 9.88 | |
| x100.6 | UNSAT | 9.93 | |
| x80.8 | UNSAT | 10 | |
| x85.9 | UNSAT | 10.87 | |
| x145.3 | UNSAT | 11.15 | |
| x125.8 | UNSAT | 11.24 | |
| x105.8 | UNSAT | 11.53 | |
| x130.3 | UNSAT | 11.8 | |
| x55.5 | SAT | 12.03 | |
| x130.4 | UNSAT | 13.03 | |
| x75.7 | UNSAT | 13.05 | |
| x90.6 | UNSAT | 13.17 | |
| x100.3 | UNSAT | 13.56 | |
| x150.5 | UNSAT | 13.93 | |
| x120.1 | UNSAT | 13.93 | |
| x105.5 | UNSAT | 14.1 | |
| x80.2 | UNSAT | 14.64 | |
| x125.9 | UNSAT | 15.03 | |
| x140.5 | UNSAT | 16.28 | |
| x100.5 | UNSAT | 16.86 | |
| x95.8 | UNSAT | 16.88 | |
| x95.1 | UNSAT | 16.93 | |
| x155.5 | UNSAT | 17.35 | |
| x90.8 | UNSAT | 17.68 | |
| x220.9 | UNSAT | 17.91 | |
| x175.6 | UNSAT | 18.13 | |
| x175.8 | UNSAT | 18.69 | |
| x70.1 | UNSAT | 18.76 | |
| x80.7 | UNSAT | 19.02 | |
| x110.5 | UNSAT | 19.2 | |
| x120.6 | UNSAT | 20.25 | |
| x110.2 | UNSAT | 20.53 | |
| x125.6 | UNSAT | 20.82 | |
| x155.3 | UNSAT | 20.92 | |
| x110.4 | UNSAT | 21.16 | |
| x195.6 | UNSAT | 21.28 | |
| x95.3 | UNSAT | 22.16 | |
| x180.7 | UNSAT | 22.45 | |
| x55.0 | UNSAT | 23.63 | |
| x85.0 | UNSAT | 24.11 | |
| x170.4 | UNSAT | 24.88 | |
| x110.1 | UNSAT | 26.15 | |
| x80.9 | UNSAT | 27.07 | |
| x160.3 | UNSAT | 27.38 | |
| x155.8 | UNSAT | 28.32 | |
| x215.5 | UNSAT | 28.85 | |
| x115.9 | UNSAT | 29.77 | |
| x135.9 | UNSAT | 31.67 | |
| x90.9 | UNSAT | 34.4 | |
| x205.3 | UNSAT | 35.38 | |
| x140.7 | UNSAT | 36.26 | |
| x65.1 | UNSAT | 37.38 | |
| x135.2 | UNSAT | 38 | |
| x75.0 | UNSAT | 39.19 | |
| x110.0 | UNSAT | 39.65 | |
| x130.6 | UNSAT | 41.43 | |
| x115.4 | UNSAT | 45.25 | |
| x165.6 | UNSAT | 46.93 | |
| x150.2 | UNSAT | 46.94 | |
| x125.2 | UNSAT | 48.15 | |
| x205.4 | UNSAT | 52.68 | |
| x100.9 | UNSAT | 53.91 | |
| x105.9 | UNSAT | 53.94 | |
| x135.7 | UNSAT | 56.62 | |
| x80.0 | UNSAT | 56.64 | |
| x145.0 | UNSAT | 59.99 | |
| x140.4 | UNSAT | 62 | |
| x125.7 | UNSAT | 65.26 | |
| x100.8 | UNSAT | 67.34 | |
| x105.3 | UNSAT | 67.36 | |
| x125.4 | UNSAT | 71.52 | |
| x110.8 | UNSAT | 74.21 | |
| x160.7 | UNSAT | 74.5 | |
| x150.7 | UNSAT | 77.45 | |
| x200.1 | UNSAT | 77.84 | |
| x115.3 | UNSAT | 83.66 | |
| x90.5 | UNSAT | 85.72 | |
| x160.1 | UNSAT | 89.1 | |
| x115.5 | UNSAT | 90.27 | |
| x125.3 | UNSAT | 94.67 | |
| x240.5 | UNSAT | 101.61 | |
| x175.2 | UNSAT | 103.52 | |
| x150.4 | UNSAT | 104.84 | |
| x245.1 | UNSAT | 110.18 | |
| x120.8 | UNSAT | 110.28 | |
| x145.1 | UNSAT | 117.28 | |
| x165.8 | UNSAT | 118.86 | |
| x165.7 | UNSAT | 123.47 | |
| x220.3 | UNSAT | 123.7 | |
| x185.5 | UNSAT | 126.44 | |
| x150.0 | UNSAT | 131.05 | |
| x215.8 | UNSAT | 137.3 | |
| x190.2 | UNSAT | 137.99 | |
| x185.8 | UNSAT | 138.06 | |
| x145.4 | UNSAT | 147.05 | |
| x210.2 | UNSAT | 161.26 | |
| x175.3 | UNSAT | 162.04 | |
| x90.0 | UNSAT | 164.58 | |
| x150.8 | UNSAT | 173.34 | |
| x190.8 | UNSAT | 178.19 | |
| x140.6 | UNSAT | 185.75 | |
| x100.7 | UNSAT | 196.65 | |
| x160.9 | UNSAT | 202.73 | |
| x160.8 | UNSAT | 211.74 | |
| x165.3 | UNSAT | 215.7 | |
| x225.7 | UNSAT | 225.12 | |
| x190.7 | UNSAT | 246.38 | |
| x245.7 | UNSAT | 249.36 | |
| x130.9 | UNSAT | 286.61 | |
| x250.2 | UNSAT | 299.89 | |
| x160.6 | UNSAT | 319.77 | |
| x210.4 | UNSAT | 322.76 | |
| x130.8 | UNSAT | 351.65 | |
| x165.4 | UNSAT | 360.02 | |
| x140.0 | UNSAT | 376.28 | |
| x105.4 | UNSAT | 377.93 | |
| x230.6 | UNSAT | 397.93 | |
| x155.6 | UNSAT | 410.05 | |
| x115.0 | UNSAT | 431.25 | |
| x220.7 | UNSAT | 434.41 | |
| x165.0 | UNSAT | 445.47 | |
| x250.4 | UNSAT | 465.41 | |
| x110.7 | UNSAT | 467.69 | |
| x230.4 | UNSAT | 468.05 | |
| x195.2 | UNSAT | 478.96 | |
| x140.8 | UNSAT | 486.78 | |
| x115.7 | UNSAT | 487.16 | |
| x125.1 | UNSAT | 488.5 | |
| x215.0 | UNSAT | 535.56 | |
| x235.4 | UNSAT | 565.19 | |
| x235.0 | UNSAT | 598.74 | |
| x185.0 | UNSAT | 610.74 | |
| x135.1 | UNSAT | 690.33 | |
| x155.9 | UNSAT | 698.3 | |
| x180.3 | UNSAT | 883.48 | |
| x135.5 | UNSAT | 918.75 | |
| x140.3 | UNSAT | 952.9 | |
| x190.0 | UNSAT | 961.23 | |
| x190.3 | UNSAT | 968.57 | |
| x235.7 | UNSAT | 988.28 | |
| x210.0 | UNSAT | 996.38 | |
| x125.5 | UNSAT | 1137.45 | |
| x120.7 | UNSAT | 1159.09 | |
| x180.2 | UNSAT | 1163.41 | |
| x220.6 | UNSAT | 1215.53 | |
| x155.0 | UNSAT | 1239.95 | |
| x195.7 | UNSAT | 1245.45 | |
| x130.1 | UNSAT | 1263.38 | |
| x230.7 | UNSAT | 1337.6 | |
| x95.9 | UNSAT | 1359.31 | |
| x195.5 | UNSAT | 1398.92 | |
| x185.6 | UNSAT | 1466.32 | |
| x245.9 | UNSAT | 1508.31 | |
| x190.5 | UNSAT | 1514.6 | |
| x200.3 | UNSAT | 1544.99 | |
| x250.0 | UNSAT | 1682.46 | |
| x175.1 | UNSAT | 1707.37 | |
| x130.0 | UNSAT | 1772.85 | |
| x155.2 | UNSAT | 2033.8 | |
| x205.0 | UNSAT | 2251.61 | |
| x240.0 | UNSAT | 2473.76 | |
| x150.9 | UNSAT | 2533.19 | |
| x170.8 | UNSAT | 3218.71 | |
| x160.0 | UNSAT | 3440.13 | |
| x200.6 | UNSAT | 3988.03 | |
| x245.6 | UNSAT | 4112.45 | |
| x225.0 | UNSAT | 4290.29 | |
| x175.5 | UNSAT | 4352.22 | |
| x135.8 | UNSAT | 4392.08 | |
| x240.2 | UNSAT | 4761.22 | |
| x205.5 | UNSAT | 4950.24 | |
| x155.4 | UNSAT | 4972.19 | |
| x205.6 | UNSAT | 4980.79 | |
| x170.3 | UNSAT | 5020.59 | |
| x210.6 | UNSAT | 5284.96 | |
| x185.4 | UNSAT | 5478.41 | |
| x150.1 | UNSAT | 5879.05 | |
| x400.1 | FAIL | 5998.4 | |
| x400.9 | FAIL | 5998.54 | |
| x400.6 | FAIL | 5998.75 | |
| x400.5 | FAIL | 5998.86 | |
| x350.4 | FAIL | 5998.88 | |
| x400.8 | FAIL | 5998.9 | |
| x350.0 | FAIL | 5998.97 | |
| x350.7 | FAIL | 5999.11 | |
| x400.7 | FAIL | 5999.17 | |
| x400.3 | FAIL | 5999.17 | |
| x300.7 | FAIL | 5999.23 | |
| x350.1 | FAIL | 5999.32 | |
| x350.8 | FAIL | 5999.34 | |
| x350.9 | FAIL | 5999.41 | |
| x400.4 | FAIL | 5999.42 | |
| x300.9 | FAIL | 5999.44 | |
| x350.3 | FAIL | 5999.45 | |
| x400.0 | FAIL | 5999.45 | |
| x400.2 | FAIL | 5999.46 | |
| x350.5 | FAIL | 5999.5 | |
| x300.6 | FAIL | 5999.53 | |
| x300.8 | FAIL | 5999.54 | |
| x350.6 | FAIL | 5999.56 | |
| x300.3 | FAIL | 5999.57 | |
| x300.1 | FAIL | 5999.6 | |
| x350.2 | FAIL | 5999.68 | |
| x300.4 | FAIL | 5999.73 | |
| x300.2 | FAIL | 5999.87 | |
| x300.5 | FAIL | 6000 | |
| x300.0 | FAIL | 6000.08 | |
| x235.9 | FAIL | 6000.12 | |
| x250.3 | FAIL | 6000.22 | |
| x240.8 | FAIL | 6000.24 | |
| x240.4 | FAIL | 6000.24 | |
| x245.8 | FAIL | 6000.25 | |
| x240.1 | FAIL | 6000.29 | |
| x250.8 | FAIL | 6000.3 | |
| x245.4 | FAIL | 6000.3 | |
| x235.3 | FAIL | 6000.31 | |
| x225.4 | FAIL | 6000.31 | |
| x250.6 | FAIL | 6000.34 | |
| x220.4 | FAIL | 6000.35 | |
| x250.5 | FAIL | 6000.36 | |
| x245.0 | FAIL | 6000.36 | |
| x200.0 | FAIL | 6000.36 | |
| x240.3 | FAIL | 6000.38 | |
| x225.3 | FAIL | 6000.38 | |
| x230.2 | FAIL | 6000.38 | |
| x240.9 | FAIL | 6000.39 | |
| x215.3 | FAIL | 6000.39 | |
| x250.7 | FAIL | 6000.39 | |
| x195.8 | FAIL | 6000.39 | |
| x230.0 | FAIL | 6000.41 | |
| x230.8 | FAIL | 6000.41 | |
| x230.9 | FAIL | 6000.41 | |
| x215.1 | FAIL | 6000.42 | |
| x230.5 | FAIL | 6000.42 | |
| x225.1 | FAIL | 6000.42 | |
| x215.4 | FAIL | 6000.43 | |
| x240.6 | FAIL | 6000.43 | |
| x245.5 | FAIL | 6000.44 | |
| x235.2 | FAIL | 6000.44 | |
| x210.7 | FAIL | 6000.44 | |
| x225.9 | FAIL | 6000.44 | |
| x245.2 | FAIL | 6000.44 | |
| x235.6 | FAIL | 6000.44 | |
| x245.3 | FAIL | 6000.44 | |
| x235.8 | FAIL | 6000.44 | |
| x205.2 | FAIL | 6000.45 | |
| x250.1 | FAIL | 6000.45 | |
| x230.3 | FAIL | 6000.46 | |
| x235.1 | FAIL | 6000.46 | |
| x220.8 | FAIL | 6000.46 | |
| x200.4 | FAIL | 6000.46 | |
| x220.2 | FAIL | 6000.46 | |
| x195.9 | FAIL | 6000.46 | |
| x215.2 | FAIL | 6000.48 | |
| x215.6 | FAIL | 6000.48 | |
| x205.8 | FAIL | 6000.48 | |
| x215.9 | FAIL | 6000.49 | |
| x225.6 | FAIL | 6000.5 | |
| x225.8 | FAIL | 6000.5 | |
| x215.7 | FAIL | 6000.5 | |
| x180.8 | FAIL | 6000.5 | |
| x240.7 | FAIL | 6000.51 | |
| x200.9 | FAIL | 6000.51 | |
| x195.4 | FAIL | 6000.51 | |
| x180.1 | FAIL | 6000.52 | |
| x170.2 | FAIL | 6000.52 | |
| x180.6 | FAIL | 6000.52 | |
| x205.7 | FAIL | 6000.52 | |
| x220.5 | FAIL | 6000.52 | |
| x220.0 | FAIL | 6000.53 | |
| x210.8 | FAIL | 6000.53 | |
| x225.5 | FAIL | 6000.54 | |
| x185.9 | FAIL | 6000.54 | |
| x180.5 | FAIL | 6000.54 | |
| x200.5 | FAIL | 6000.54 | |
| x145.7 | FAIL | 6000.54 | |
| x195.3 | FAIL | 6000.55 | |
| x170.7 | FAIL | 6000.55 | |
| x220.1 | FAIL | 6000.55 | |
| x170.9 | FAIL | 6000.55 | |
| x195.1 | FAIL | 6000.55 | |
| x210.9 | FAIL | 6000.55 | |
| x155.7 | FAIL | 6000.55 | |
| x175.4 | FAIL | 6000.56 | |
| x195.0 | FAIL | 6000.56 | |
| x230.1 | FAIL | 6000.56 | |
| x200.8 | FAIL | 6000.56 | |
| x145.2 | FAIL | 6000.57 | |
| x200.2 | FAIL | 6000.57 | |
| x185.2 | FAIL | 6000.57 | |
| x170.1 | FAIL | 6000.57 | |
| x175.0 | FAIL | 6000.57 | |
| x200.7 | FAIL | 6000.57 | |
| x210.1 | FAIL | 6000.57 | |
| x205.9 | FAIL | 6000.57 | |
| x210.3 | FAIL | 6000.58 | |
| x185.1 | FAIL | 6000.58 | |
| x210.5 | FAIL | 6000.58 | |
| x160.2 | FAIL | 6000.59 | |
| x190.9 | FAIL | 6000.59 | |
| x145.5 | FAIL | 6000.6 | |
| x225.2 | FAIL | 6000.6 | |
| x190.4 | FAIL | 6000.6 | |
| x190.6 | FAIL | 6000.61 | |
| x165.2 | FAIL | 6000.61 | |
| x185.3 | FAIL | 6000.61 | |
| x140.2 | FAIL | 6000.61 | |
| x205.1 | FAIL | 6000.61 | |
| x175.7 | FAIL | 6000.62 | |
| x160.5 | FAIL | 6000.63 | |
| x190.1 | FAIL | 6000.63 | |
| x170.6 | FAIL | 6000.64 | |
| x235.5 | FAIL | 6000.64 | |
| x145.6 | FAIL | 6000.64 | |
| x250.9 | FAIL | 6000.64 | |
| x145.9 | FAIL | 6000.65 | |
| x170.5 | FAIL | 6000.66 | |
| x150.3 | FAIL | 6000.66 | |
| x180.0 | FAIL | 6000.66 | |
| x165.1 | FAIL | 6000.67 | |
| x140.1 | FAIL | 6000.67 | |
| x180.9 | FAIL | 6000.68 | |
| x185.7 | FAIL | 6000.68 | |
| x135.4 | FAIL | 6000.68 | |
| x110.3 | FAIL | 6000.7 | |
| x165.5 | FAIL | 6000.7 | |
| x135.3 | FAIL | 6000.7 | |
| x120.4 | FAIL | 6000.72 | |
| x170.0 | FAIL | 6000.73 | |
| x180.4 | FAIL | 6000.73 | |
| x135.0 | FAIL | 6000.74 |