Discrepancies tables for k_branch_n
QBFEVAL'06


Instance # Sat # Unsat Minority Solver
k_branch_n-4 12 1 QUANTOR_hc
k_branch_n-8 1 1 QUANTOR_hc, semprop
Download table[csv, latex]