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 |