Discrepancies tables for k_dum_n
QBFEVAL'06


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