Discrepancies tables
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.


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