QBF Solver Evaluation Portal
qbflib.orgInstances of family CounterFactual solved by ijtihad_v2
QBFEVAL'17 - Random QBFs Track
| Instance | Result | Time | |
|---|---|---|---|
| ncf_16_128_8_edau.4 | FAIL | 331.97 | |
| ncf_16_128_8_edau.1 | FAIL | 505.15 | |
| ncf_16_128_8_edau.2 | FAIL | 561.25 | |
| ncf_16_128_8_edau.3 | FAIL | 568.92 | |
| ncf_16_128_8_edau.7 | FAIL | 571.71 | |
| ncf_16_128_8_edau.10 | FAIL | 581.53 | |
| ncf_16_128_8_edau.9 | FAIL | 586.49 | |
| ncf_16_128_8_euad.3 | FAIL | 623.83 | |
| ncf_16_128_8_edau.5 | FAIL | 743.11 | |
| ncf_16_128_8_edau.8 | FAIL | 749.26 | |
| ncf_16_128_8_euad.5 | FAIL | 772.35 | |
| ncf_16_128_8_edau.6 | FAIL | 854.83 | |
| ncf_16_128_8_euad.1 | FAIL | 873.4 | |
| ncf_16_128_8_euad.8 | FAIL | 876.96 | |
| ncf_16_128_8_euad.2 | FAIL | 892.12 | |
| ncf_16_128_8_euad.7 | FAIL | 900 | |
| ncf_16_128_8_euad.9 | FAIL | 900 | |
| ncf_16_128_2_u.10 | FAIL | 900 | |
| ncf_16_128_2_u.2 | FAIL | 900 | |
| ncf_16_128_8_euad.10 | FAIL | 900 | |
| ncf_16_128_2_u.8 | FAIL | 900 | |
| ncf_16_128_2_u.1 | FAIL | 900 | |
| ncf_16_128_2_u.4 | FAIL | 900 | |
| ncf_16_128_2_u.3 | FAIL | 900 | |
| ncf_16_128_2_u.6 | FAIL | 900 | |
| ncf_16_128_8_euad.4 | FAIL | 900 | |
| ncf_16_128_2_u.7 | FAIL | 900 | |
| ncf_16_128_8_euad.6 | FAIL | 900 | |
| ncf_16_128_2_u.9 | FAIL | 900 | |
| ncf_16_128_2_u.5 | FAIL | 900 | |
| ncf_16_64_4_d.10 | FAIL | 900 |