Discrepancies tables
QBFEVAL'18 - Prenex non-CNF Track


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