QBF Solver Evaluation Portal
qbflib.orgDiscrepancies tables for Debug
QBFEVAL'07
| Instance | # Sat | # Unsat | Minority Solver |
|---|---|---|---|
| c1_Debug_s5_f1_e1_v3 | 1 | 3 | sKizzo-0.10-std |
| c2_Debug_s5_f1_e1_v2 | 5 | 1 | qZilla |
| Instance | # Sat | # Unsat | Minority Solver |
|---|---|---|---|
| c1_Debug_s5_f1_e1_v3 | 1 | 3 | sKizzo-0.10-std |
| c2_Debug_s5_f1_e1_v2 | 5 | 1 | qZilla |