Discrepancies tables for k_d4_n
QBFEVAL'06


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