Instance | Solver | Result | Time | |
---|---|---|---|---|
Q_2-3_v-80-100_r-11.0 | Qute_default | UNSAT | 17.29 | |
Q_2-3_v-80-100_r-11.2 | qbfrelay-limited-depqbf | UNSAT | 4.82 | |
Q_2-3_v-80-100_r-11.3 | qbfrelay-limited-depqbf | UNSAT | 1.33 | |
Q_2-3_v-80-100_r-11.4 | heretiq | UNSAT | 38.16 | |
Q_2-3_v-80-100_r-11.5 | Qute_default | UNSAT | 250.22 | |
Q_2-3_v-80-100_r-11.6 | prefix-opt-depqbf | UNSAT | 10.17 | |
Q_2-3_v-80-100_r-11.7 | heretiq | UNSAT | 104.7 | |
Q_2-3_v-80-100_r-11.8 | Qute_default | UNSAT | 27.88 | |
Q_2-3_v-80-100_r-11.9 | heretiq | UNSAT | 189.67 | |
Q_2-3_v-80-100_r-13.0 | prefix-opt-depqbf | UNSAT | 0.04 | |
Q_2-3_v-80-100_r-13.1 | prefix-opt-depqbf | UNSAT | 0.05 | |
Q_2-3_v-80-100_r-13.4 | HQSpre_solver | UNSAT | 0.01 | |
Q_2-3_v-80-100_r-13.5 | prefix-opt-depqbf | UNSAT | 0.06 | |
Q_2-3_v-80-100_r-13.6 | prefix-opt-depqbf | UNSAT | 0.06 | |
Q_2-3_v-80-100_r-13.7 | prefix-opt-depqbf | UNSAT | 0.03 | |
Q_2-3_v-80-100_r-13.8 | prefix-opt-depqbf | UNSAT | 0.12 |