QBF Solver Evaluation Portal
qbflib.orgInstances of family CounterFactual solved by depqbf_hit18
QBFEVAL'18 - Hard Instances Track
| Instance | Result | Time | |
|---|---|---|---|
| ncf_16_128_8_edau.1 | FAIL | 3600 | |
| ncf_16_128_2_u.4 | FAIL | 3600 | |
| ncf_16_128_8_edau.3 | FAIL | 3600 | |
| ncf_16_128_8_euad.5 | FAIL | 3600 | |
| ncf_16_128_8_edau.6 | FAIL | 3600 | |
| ncf_16_128_8_euad.7 | FAIL | 3600 | |
| ncf_16_128_8_euad.10 | FAIL | 3600 | |
| ncf_16_128_8_euad.2 | FAIL | 3600 | |
| ncf_16_128_8_euad.3 | FAIL | 3600 | |
| ncf_16_128_8_edau.2 | FAIL | 3600 | |
| ncf_16_128_8_edau.8 | FAIL | 3600 | |
| ncf_16_128_8_euad.9 | FAIL | 3600 | |
| ncf_16_128_8_edau.10 | FAIL | 3600 | |
| ncf_16_128_2_u.10 | FAIL | 3600 | |
| ncf_16_128_8_euad.1 | FAIL | 3600 | |
| ncf_16_128_8_euad.4 | FAIL | 3600 | |
| ncf_16_128_8_edau.5 | FAIL | 3600 | |
| ncf_16_128_8_euad.6 | FAIL | 3600 | |
| ncf_16_128_8_euad.8 | FAIL | 3600 | |
| ncf_16_128_8_edau.9 | FAIL | 3600 |