Instance | # Sat | # Unsat | Minority Solver |
---|---|---|---|
ncf_16_32_2_d.7 | 1 | 19 | GRL |
ncf_16_32_2_d.9 | 1 | 19 | GRL |
ncf_16_32_2_edau.7 | 1 | 19 | GRL |
ncf_16_32_2_edau.9 | 1 | 19 | GRL |
ncf_16_32_2_euad.7 | 1 | 19 | GRL |
ncf_16_32_2_euad.9 | 1 | 19 | GRL |
ncf_16_32_2_u.7 | 1 | 17 | GRL |
ncf_16_32_2_u.9 | 1 | 19 | GRL |
ncf_4_8_4_euad.10 | 18 | 1 | Qbfl |
ncf_4_8_8_u.5 | 1 | 14 | GRL |