Discrepancies tables
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
stmt19_66_214 1 9 xb-bid-qsts
stmt19_67_318 1 10 xb-bid-qsts
stmt19_83_142 1 13 xb-bid-qsts
stmt21_138_304 1 10 xb-bid-qsts
stmt21_5_134 1 12 xb-bid-qsts
stmt22_92_263 1 12 xb-bid-qsts
stmt23_66_76 3 1 xb-bid-qsts
stmt23_92_96 2 1 xb-bid-qsts
stmt24_7_8 20 1 qsts
stmt2_976_999 11 1 xb-bid-qsts
stmt46_111_238 1 7 xb-bid-qsts
stmt50_205_293 1 12 xb-bid-qsts
Download table[csv, latex]