Discrepancies tables for k_ph_n
QBFEVAL'16 - Prenex non-CNF Track.


Instance # Sat # Unsat Minority Solver
k_ph_n-16 6 1 qsts
k_ph_n-21 3 1 qsts
Download table[csv, latex]