Discrepancies tables
QBFEVAL'10 - Competitive Track.


Instance # Sat # Unsat Minority Solver
par8-4-90 1 9 QuBE7
s386_d12_u 1 4 QuBE7
test3_quant2 3 4 QuBE7, QuBE7-c, QuBE7-m
Download table[csv, latex]