Discrepancies tables for k_t4p_n
QBFEVAL'06


Instance # Sat # Unsat Minority Solver
k_t4p_n-12 8 1 QUANTOR_hc
k_t4p_n-16 8 1 QUANTOR_hc
k_t4p_n-20 8 1 QUANTOR_hc
k_t4p_n-21 8 1 QUANTOR_hc
k_t4p_n-4 10 1 QUANTOR_hc
k_t4p_n-8 8 1 QUANTOR_hc
Download table[csv, latex]