QBF Solver Evaluation Portal
qbflib.orgDiscrepancies tables for s499
QBFEVAL'06
| Instance | # Sat | # Unsat | Minority Solver |
|---|---|---|---|
| s499_d2_s | 8 | 1 | QUANTOR_hc |
| s499_d4_s | 6 | 1 | QUANTOR_hc |
| Instance | # Sat | # Unsat | Minority Solver |
|---|---|---|---|
| s499_d2_s | 8 | 1 | QUANTOR_hc |
| s499_d4_s | 6 | 1 | QUANTOR_hc |