Instance | Solver | Result | Time | |
---|---|---|---|---|
Q_2-3_v-80-100_r-11.0 | Qute_rrs | UNSAT | 11.11 | |
Q_2-3_v-80-100_r-11.2 | depqbf_prefix_opt_qdo | UNSAT | 3.49 | |
Q_2-3_v-80-100_r-11.3 | depqbf_prefix_opt_qdo | UNSAT | 0.99 | |
Q_2-3_v-80-100_r-11.4 | depqbf_prefix_opt_qdo | UNSAT | 50.93 | |
Q_2-3_v-80-100_r-11.5 | Qute_default | UNSAT | 251.45 | |
Q_2-3_v-80-100_r-11.6 | depqbf_prefix_opt_qdo | UNSAT | 9.18 | |
Q_2-3_v-80-100_r-11.8 | Qute_rrs | UNSAT | 161.43 | |
Q_2-3_v-80-100_r-11.9 | Qute_rrs | UNSAT | 83.26 | |
Q_2-3_v-80-100_r-13.0 | depqbf_prefix_opt_qdo | UNSAT | 0 | |
Q_2-3_v-80-100_r-13.1 | depqbf_prefix_opt_qdo | UNSAT | 0 | |
Q_2-3_v-80-100_r-13.2 | depqbf_pre_QxQBH | UNSAT | 0 | |
Q_2-3_v-80-100_r-13.3 | Caqe-bloqqer-qdo | UNSAT | 0 | |
Q_2-3_v-80-100_r-13.4 | Qute_default | UNSAT | 0 | |
Q_2-3_v-80-100_r-13.5 | depqbf_prefix_opt_qdo | UNSAT | 0 | |
Q_2-3_v-80-100_r-13.6 | Caqe-bloqqer-qdo | UNSAT | 0 | |
Q_2-3_v-80-100_r-13.7 | Caqe-bloqqer-qdo | UNSAT | 0 | |
Q_2-3_v-80-100_r-13.8 | depqbf_prefix_opt_qdo | UNSAT | 0 | |
Q_2-3_v-80-100_r-13.9 | depqbf_prefix_opt_qdo | UNSAT | 0 |