Discrepancies tables for C499
QBFEVAL'05


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