QBF Solver Evaluation Portal
qbflib.orgSota solver results for family Q_2_3
QBFEVAL'18 - Hard Instances Track
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| Q_2-3_v-80-100_r-5.0 | aspq3_hit18 | SAT | 68.32 |  |
| Q_2-3_v-80-100_r-5.1 | aspq3_hit18 | SAT | 4.8 | |
| Q_2-3_v-80-100_r-5.2 | aspq3_hit18 | SAT | 40.36 | |
| Q_2-3_v-80-100_r-5.3 | aspq3_hit18 | SAT | 51.52 | |
| Q_2-3_v-80-100_r-5.4 | aspq3_hit18 | SAT | 27.2 | |
| Q_2-3_v-80-100_r-5.5 | aspq3_hit18 | SAT | 87.52 | |
| Q_2-3_v-80-100_r-5.6 | aspq3_hit18 | SAT | 4.08 | |
| Q_2-3_v-80-100_r-5.7 | aspq3_hit18 | SAT | 258.64 | |
| Q_2-3_v-80-100_r-5.8 | aspq3_hit18 | SAT | 754.46 | |
| Q_2-3_v-80-100_r-5.9 | aspq3_hit18 | SAT | 9.6 | |