QBF Solver Evaluation Portal
qbflib.orgUnique instances for heretiq
QBFEVAL'17 - Random QBFs Track
| Instance | Time | Result |
|---|---|---|
| ncf_16_128_2_u.1 | 753.56 | UNSAT |
| ncf_16_128_2_u.3 | 215.43 | UNSAT |
| ncf_16_128_2_u.6 | 455.83 | UNSAT |
| ncf_16_128_2_u.5 | 761.93 | UNSAT |
| Q_2-3_v-80-100_r-11.7 | 104.7 | UNSAT |
| ttt_5x5-shape-0-GTTT-2-1-torus-0 | 72.23 | UNSAT |