Instance | Solver | Result | Time | |
---|---|---|---|---|
Q_3-3_v-100-100_r-11.0 | xb-bid-qsts | SAT | 31.71 | |
Q_3-3_v-100-100_r-11.2 | xb-bid-qsts | SAT | 27.83 | |
Q_3-3_v-100-100_r-11.3 | xb-bid-qsts | SAT | 28.21 | |
Q_3-3_v-100-100_r-11.4 | xb-bid-qsts | SAT | 28.23 | |
Q_3-3_v-100-100_r-11.9 | xb-bid-qsts | SAT | 27.91 | |
Q_3-3_v-100-100_r-13.1 | xb-bid-qsts | SAT | 27.9 | |
Q_3-3_v-100-100_r-13.4 | xb-bid-qsts | SAT | 31.68 | |
Q_3-3_v-100-100_r-13.7 | xb-bid-qsts | SAT | 26.19 | |
Q_3-3_v-100-100_r-13.8 | xb-bid-qsts | SAT | 28.67 | |
Q_3-3_v-100-100_r-15.5 | xb-bid-qsts | SAT | 31.67 | |
Q_3-3_v-100-100_r-17.0 | xb-bid-qsts | SAT | 28.86 | |
Q_3-3_v-100-100_r-17.8 | xb-bid-qsts | SAT | 31.93 | |
Q_3-3_v-100-100_r-19.1 | aqua-s2v | UNSAT | 3.73 |