QBF Solver Evaluation Portal
qbflib.orgInstances of family CounterFactual solved by CUED1919_NNL
QBFEVAL'17 - Random QBFs Track
| Instance | Result | Time | |
|---|---|---|---|
| ncf_16_64_4_d.10 | FAIL | 0.41 | |
| ncf_16_128_2_u.5 | FAIL | 0.57 | |
| ncf_16_128_2_u.7 | FAIL | 0.57 | |
| ncf_16_128_2_u.9 | FAIL | 0.57 | |
| ncf_16_128_2_u.4 | FAIL | 0.57 | |
| ncf_16_128_2_u.10 | FAIL | 0.58 | |
| ncf_16_128_2_u.3 | FAIL | 0.58 | |
| ncf_16_128_2_u.8 | FAIL | 0.58 | |
| ncf_16_128_2_u.6 | FAIL | 0.59 | |
| ncf_16_128_2_u.2 | FAIL | 0.59 | |
| ncf_16_128_2_u.1 | FAIL | 0.6 | |
| ncf_16_128_8_edau.8 | FAIL | 14.03 | |
| ncf_16_128_8_edau.5 | FAIL | 15.21 | |
| ncf_16_128_8_edau.7 | FAIL | 15.23 | |
| ncf_16_128_8_edau.10 | FAIL | 15.46 | |
| ncf_16_128_8_edau.6 | FAIL | 15.52 | |
| ncf_16_128_8_edau.4 | FAIL | 15.55 | |
| ncf_16_128_8_edau.3 | FAIL | 15.65 | |
| ncf_16_128_8_edau.2 | FAIL | 15.83 | |
| ncf_16_128_8_edau.9 | FAIL | 16.18 | |
| ncf_16_128_8_edau.1 | FAIL | 16.21 | |
| ncf_16_128_8_euad.5 | FAIL | 17.94 | |
| ncf_16_128_8_euad.8 | FAIL | 18.02 | |
| ncf_16_128_8_euad.7 | FAIL | 18.06 | |
| ncf_16_128_8_euad.10 | FAIL | 18.06 | |
| ncf_16_128_8_euad.6 | FAIL | 18.26 | |
| ncf_16_128_8_euad.3 | FAIL | 18.34 | |
| ncf_16_128_8_euad.2 | FAIL | 18.53 | |
| ncf_16_128_8_euad.4 | FAIL | 18.62 | |
| ncf_16_128_8_euad.9 | FAIL | 18.75 | |
| ncf_16_128_8_euad.1 | FAIL | 19.35 |