QBF Solver Evaluation Portal
qbflib.orgDiscrepancies tables for k_path_p
QBFEVAL'16 - Parallel QBF Solvers (non-competitive) Track.
| Instance | # Sat | # Unsat | Minority Solver |
|---|---|---|---|
| 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 |