Instance | Solver | Result | Time | |
---|---|---|---|---|
Q_2-3_v-80-100_r-11.0 | Qute_default | UNSAT | 17.4 | |
Q_2-3_v-80-100_r-11.1 | PortfolioDepQBFGhostQRaReQSQute___pf | UNSAT | 177.75 | |
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 | 1.01 | |
Q_2-3_v-80-100_r-11.4 | predyndep | UNSAT | 23.34 | |
Q_2-3_v-80-100_r-11.5 | Qute_default | UNSAT | 256.46 | |
Q_2-3_v-80-100_r-11.6 | depqbf_prefix_opt_qdo | UNSAT | 9.14 | |
Q_2-3_v-80-100_r-11.7 | Heretiq-cube | UNSAT | 154.04 | |
Q_2-3_v-80-100_r-11.8 | Qute_default | UNSAT | 27.71 | |
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 | predyndep | UNSAT | 0 | |
Q_2-3_v-80-100_r-13.3 | Rareqs_2018 | 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 | depqbf_prefix_opt_qdo | UNSAT | 0 | |
Q_2-3_v-80-100_r-13.7 | Rareqs_2018 | 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 |