Discrepancies tables
QBFEVAL'10 - 2QBF Track.


Instance # Sat # Unsat Minority Solver
Download table[csv, latex]