QBF Solver Evaluation Portal
qbflib.orgDiscrepancies tables for k_grz_p
QBFEVAL'16 - Parallel QBF Solvers (non-competitive) Track.
| Instance | # Sat | # Unsat | Minority Solver |
|---|---|---|---|
| k_grz_p-12 | 1 | 5 | mpiDepQBF |
| k_grz_p-13 | 1 | 5 | mpiDepQBF |
| k_grz_p-16 | 1 | 5 | mpiDepQBF |
| k_grz_p-17 | 1 | 5 | mpiDepQBF |
| k_grz_p-18 | 1 | 5 | mpiDepQBF |
| k_grz_p-19 | 1 | 5 | mpiDepQBF |