Discrepancies tables for mA-t2-6qbf-5cnf-80var-640cl
QBFEVAL'05


Instance # Sat # Unsat Minority Solver
6qbf-5cnf-80var-640cl.1 1 1 QbflHR, sSolve
6qbf-5cnf-80var-640cl.2 1 1 QbflHR, sSolve
Download table[csv, latex]