Discrepancies tables for comp
QBFEVAL'05


Instance # Sat # Unsat Minority Solver
comp.blif_0.10_0.20_0_1_inp_exact 11 1 QChaffLearn
Download table[csv, latex]