Instance | # Sat | # Unsat | Minority Solver |
---|---|---|---|
aim-50-2_0-yes1-1-90 | 1 | 15 | EBDDRES |
par8-2-c-00 | 2 | 13 | aigqbf_s, aigqbf_sr |
par8-2-c-50 | 2 | 13 | aigqbf_s, aigqbf_sr |
par8-2-c-90 | 2 | 14 | aigqbf_s, aigqbf_sr |
par8-3-c-50 | 2 | 13 | aigqbf_s, aigqbf_sr |
par8-3-c-90 | 2 | 14 | aigqbf_s, aigqbf_sr |
par8-5-c-00 | 2 | 13 | aigqbf_s, aigqbf_sr |
par8-5-c-50 | 2 | 13 | aigqbf_s, aigqbf_sr |
par8-5-c-90 | 2 | 14 | aigqbf_s, aigqbf_sr |