Discrepancies tables for Reduction-finding
QBFEVAL'16 - 2QBF Track.


Instance # Sat # Unsat Minority Solver
axquery_query06_1344n 1 16 xb-bid-qsts
eequery_query04_1344n 13 1 xb-bid-qsts
query26_query34_1344n 1 12 xb-bid-qsts
query26_query57_1344n 1 12 xb-bid-qsts
Download table[csv, latex]