QBF Solver Evaluation Portal
qbflib.orgDiscrepancies tables for s3330
QBFEVAL'16 - Prenex non-CNF Track.
| Instance | # Sat | # Unsat | Minority Solver |
|---|---|---|---|
| s3330_d2_s | 7 | 1 | qsts |
| s3330_d3_s | 5 | 1 | qsts |
| s3330_d4_s | 5 | 1 | qsts |
| Instance | # Sat | # Unsat | Minority Solver |
|---|---|---|---|
| s3330_d2_s | 7 | 1 | qsts |
| s3330_d3_s | 5 | 1 | qsts |
| s3330_d4_s | 5 | 1 | qsts |