QBF Solver Evaluation Portal
qbflib.orgDiscrepancies tables
QBFEVAL'16 - Parallel QBF Solvers (non-competitive) Track.
| Instance | # Sat | # Unsat | Minority Solver |
|---|---|---|---|
| k_branch_p-5 | 1 | 5 | mpiDepQBF |
| 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 |
| k_lin_p-19 | 1 | 5 | mpiDepQBF |
| k_path_p-10 | 1 | 4 | mpiDepQBF |
| k_path_p-14 | 1 | 4 | mpiDepQBF |
| k_path_p-15 | 1 | 4 | mpiDepQBF |
| k_path_p-18 | 1 | 4 | mpiDepQBF |
| k_path_p-19 | 1 | 4 | mpiDepQBF |
| k_path_p-21 | 1 | 4 | mpiDepQBF |
| k_ph_p-10 | 1 | 2 | mpiDepQBF |