Discrepancies tables for mA-t2-2qbf-5cnf-50var-200cl
QBFEVAL'04


Instance # Sat # Unsat Minority Solver
2qbf-5cnf-50var-200cl.1 1 2 sSolve
Download table[csv, latex]