Instance | # Sat | # Unsat | Minority Solver |
---|---|---|---|
ci.e#1.a#3.E#40.A#60.c#408.w#2.s#2.asp | 1 | 5 | xb-bid-qsts |
ci.e#1.a#3.E#40.A#60.c#416.w#2.s#3.asp | 1 | 5 | xb-bid-qsts |
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#3.asp | 1 | 15 | xb-bid-qsts |
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#5.asp | 1 | 14 | xb-bid-qsts |