Discrepancies tables for Abduction
QBFEVAL'10 - Small Hard Track.


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