Instance | Result | Time | |
---|---|---|---|
ncf_16_128_2_u.8 | UNSAT | 703.87 | |
ncf_16_128_8_euad.7 | 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_edau.5 | FAIL | 900 | |
ncf_16_128_8_euad.6 | FAIL | 900 | |
ncf_16_128_8_euad.8 | FAIL | 900 | |
ncf_16_128_8_edau.9 | 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 | |
ncf_16_128_2_u.10 | FAIL | 900 | |
ncf_16_128_8_edau.10 | FAIL | 900 | |
ncf_16_128_8_edau.8 | FAIL | 900 | |
ncf_16_128_8_euad.1 | FAIL | 900 | |
ncf_16_128_2_u.3 | FAIL | 900 | |
ncf_16_128_2_u.2 | FAIL | 900 | |
ncf_16_128_8_euad.10 | FAIL | 900 | |
ncf_16_128_8_edau.4 | FAIL | 900 | |
ncf_16_128_8_euad.2 | FAIL | 900 | |
ncf_16_128_8_edau.6 | FAIL | 900 | |
ncf_16_128_2_u.1 | FAIL | 900 | |
ncf_16_128_8_edau.1 | FAIL | 900 | |
ncf_16_128_2_u.4 | FAIL | 900 | |
ncf_16_128_8_edau.3 | FAIL | 900 | |
ncf_16_128_8_euad.5 | FAIL | 900 | |
ncf_16_128_8_edau.7 | FAIL | 900 | |
ncf_16_128_8_euad.3 | FAIL | 900 | |
ncf_16_128_8_edau.2 | FAIL | 900 | |
ncf_16_128_8_euad.9 | FAIL | 900 |