Discrepancies tables for mA-t2-3qbf-5cnf-50var-500cl
QBFEVAL'04


Instance # Sat # Unsat Minority Solver
3qbf-5cnf-50var-500cl.2 4 2 QUBE-BJ, QUBE-LRN
Download table[csv, latex]