QBF Solver Evaluation Portal
qbflib.orgDiscrepancies tables for BMC
QBFEVAL'16 - Prenex CNF Track.
| Instance | # Sat | # Unsat | Minority Solver |
|---|---|---|---|
| c1_BMC_p1_k4 | 20 | 1 | qsts |
| c3_BMC_p1_k256 | 12 | 1 | qsts |
| c4_BMC_p1_k32 | 21 | 1 | qsts |
| c5_BMC_p1_k32 | 6 | 1 | qsts |
| c5_BMC_p2_k64 | 1 | 1 | qsts, xb-bid-qsts |