QBF Solver Evaluation Portal
qbflib.orgDiscrepancies tables for C880
QBFEVAL'16 - Prenex CNF Track.
| Instance | # Sat | # Unsat | Minority Solver |
|---|---|---|---|
| C880.blif_0.10_0.20_0_0_out_exact | 1 | 3 | qsts |
| C880.blif_0.10_0.20_0_1_out_exact | 1 | 3 | qsts |
| C880.blif_0.10_1.00_0_0_inp_exact | 1 | 10 | qsts |
| C880.blif_0.10_1.00_0_0_out_exact | 1 | 3 | qsts |