Discrepancies tables
QBFEVAL'10 - Small Hard Track.


Instance # Sat # Unsat Minority Solver
ii8a3-90 2 3 QuBE7, QuBE7-m
test4_quant2 3 1 AIGSolve
test4_quant4 2 1 AIGSolve
test4_quant_squaring2 3 1 AIGSolve
Download table[csv, latex]