Instance | # Sat | # Unsat | Minority Solver |
---|---|---|---|
gttt_1_1_000111_3x3_torus_w | 1 | 22 | xb-bid-qsts |
gttt_1_1_001020_3x3_w | 1 | 21 | xb-bid-qsts |
gttt_2_1_00011020_4x4_b | 1 | 11 | xb-bid-qsts |
gttt_2_1_000111_3x3_torus_b | 22 | 1 | qsts |
gttt_2_1_0010_4x4_torus_b | 1 | 20 | xb-bid-qsts |