QBF Solver Evaluation Portal
qbflib.orgUnique instances for qsts
QBFEVAL'16 - Random QBFs Track.
| Instance | Time | Result |
|---|---|---|
| Q_2-3_v-80-100_r-5.1 | 1.37 | SAT |
| Q_2-3_v-80-100_r-5.2 | 14.16 | SAT |
| Q_2-3_v-80-100_r-5.3 | 36.01 | SAT |
| Q_2-3_v-80-100_r-5.4 | 7.21 | SAT |
| Q_2-3_v-80-100_r-5.8 | 244.24 | SAT |
| Q_2-3_v-80-100_r-5.9 | 6.35 | SAT |