Discrepancies tables for terminator
QBFEVAL'16 - 2QBF Track.


Instance # Sat # Unsat Minority Solver
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
stmt46_111_238 1 7 xb-bid-qsts
stmt50_205_293 1 12 xb-bid-qsts
Download table[csv, latex]