QBF Solver Evaluation Portal
qbflib.orgInstances of family CounterFactual solved by qbfrelay
QBFEVAL'17 - Random QBFs Track
| Instance | Result | Time | |
|---|---|---|---|
| ncf_16_64_4_d.10 | FAIL | 21.64 | |
| ncf_16_128_2_u.7 | FAIL | 32.86 | |
| ncf_16_128_2_u.3 | FAIL | 34.56 | |
| ncf_16_128_2_u.1 | FAIL | 35.14 | |
| ncf_16_128_2_u.5 | FAIL | 35.64 | |
| ncf_16_128_2_u.9 | FAIL | 35.64 | |
| ncf_16_128_2_u.4 | FAIL | 35.79 | |
| ncf_16_128_2_u.6 | FAIL | 36.61 | |
| ncf_16_128_2_u.10 | FAIL | 37.98 | |
| ncf_16_128_2_u.8 | FAIL | 38.62 | |
| ncf_16_128_2_u.2 | FAIL | 39.37 | |
| ncf_16_128_8_edau.8 | FAIL | 160.87 | |
| ncf_16_128_8_euad.8 | FAIL | 163.59 | |
| ncf_16_128_8_edau.7 | FAIL | 166.97 | |
| ncf_16_128_8_euad.4 | FAIL | 169.15 | |
| ncf_16_128_8_euad.9 | FAIL | 170.72 | |
| ncf_16_128_8_edau.4 | FAIL | 170.97 | |
| ncf_16_128_8_euad.10 | FAIL | 178.97 | |
| ncf_16_128_8_euad.3 | FAIL | 179.16 | |
| ncf_16_128_8_euad.5 | FAIL | 180.14 | |
| ncf_16_128_8_euad.1 | FAIL | 182.6 | |
| ncf_16_128_8_edau.9 | FAIL | 186.18 | |
| ncf_16_128_8_edau.5 | FAIL | 188.15 | |
| ncf_16_128_8_euad.7 | FAIL | 189.56 | |
| ncf_16_128_8_euad.6 | FAIL | 196.14 | |
| ncf_16_128_8_edau.6 | FAIL | 197.03 | |
| ncf_16_128_8_edau.3 | FAIL | 197.86 | |
| ncf_16_128_8_euad.2 | FAIL | 198.88 | |
| ncf_16_128_8_edau.1 | FAIL | 199.58 | |
| ncf_16_128_8_edau.10 | FAIL | 215.67 | |
| ncf_16_128_8_edau.2 | FAIL | 220.62 |