QBF Solver Evaluation Portal
qbflib.orgDiscrepancies tables for CounterFactual
QBFEVAL'06
| 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 |