QBF Solver Evaluation Portal
qbflib.orgInstances of family CounterFactual solved by qbfrelay-limited-depqbf
QBFEVAL'17 - Random QBFs Track
| Instance | Result | Time | |
|---|---|---|---|
| ncf_16_128_2_u.2 | UNSAT | 84.31 | |
| ncf_16_128_8_edau.7 | UNSAT | 112.5 | |
| ncf_16_64_4_d.10 | UNSAT | 805.07 | |
| ncf_16_128_8_euad.10 | FAIL | 886.41 | |
| ncf_16_128_8_edau.1 | FAIL | 886.99 | |
| ncf_16_128_2_u.9 | FAIL | 887.11 | |
| ncf_16_128_8_edau.9 | FAIL | 887.18 | |
| ncf_16_128_8_edau.4 | FAIL | 887.4 | |
| ncf_16_128_8_euad.8 | FAIL | 887.61 | |
| ncf_16_128_8_edau.10 | FAIL | 887.72 | |
| ncf_16_128_8_euad.4 | FAIL | 887.75 | |
| ncf_16_128_8_euad.9 | FAIL | 887.82 | |
| ncf_16_128_8_euad.3 | FAIL | 888.16 | |
| ncf_16_128_8_edau.6 | FAIL | 888.22 | |
| ncf_16_128_2_u.3 | FAIL | 888.32 | |
| ncf_16_128_2_u.10 | FAIL | 888.39 | |
| ncf_16_128_8_edau.3 | FAIL | 888.56 | |
| ncf_16_128_2_u.6 | FAIL | 888.6 | |
| ncf_16_128_8_edau.2 | FAIL | 888.7 | |
| ncf_16_128_2_u.5 | FAIL | 888.73 | |
| ncf_16_128_2_u.1 | FAIL | 888.78 | |
| ncf_16_128_8_euad.7 | FAIL | 889.12 | |
| ncf_16_128_2_u.4 | FAIL | 889.65 | |
| ncf_16_128_8_euad.1 | FAIL | 889.82 | |
| ncf_16_128_8_euad.5 | FAIL | 889.91 | |
| ncf_16_128_8_euad.6 | FAIL | 889.91 | |
| ncf_16_128_2_u.8 | FAIL | 889.92 | |
| ncf_16_128_8_edau.5 | FAIL | 890.05 | |
| ncf_16_128_2_u.7 | FAIL | 890.08 | |
| ncf_16_128_8_edau.8 | FAIL | 891.06 | |
| ncf_16_128_8_euad.2 | FAIL | 900 |