Discrepancies tables for k_ph_p
QBFEVAL'16 - Parallel QBF Solvers (non-competitive) Track.


Instance # Sat # Unsat Minority Solver
k_ph_p-10 1 2 mpiDepQBF
Download table[csv, latex]