Discrepancies tables for C432
QBFEVAL'05


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