Discrepancies tables for mA-t2-3qbf-5cnf-160var-1280cl
QBFEVAL'05


Instance # Sat # Unsat Minority Solver
3qbf-5cnf-160var-1280cl.5 1 1 QbflHR, QChaffLearn
Download table[csv, latex]