Instance | Time | Result |
---|---|---|
ncf_4_32_4_d.6 | 0.24 | UNSAT |
ncf_16_128_2_d.1 | 590.65 | UNSAT |
ncf_8_32_4_edau.5 | 0.15 | UNSAT |
ncf_8_32_2_edau.7 | 6.89 | UNSAT |
ncf_4_32_4_edau.6 | 0.27 | UNSAT |
ncf_8_64_2_edau.2 | 0.21 | UNSAT |
ncf_8_64_8_edau.10 | 34.18 | UNSAT |
ncf_16_128_4_d.10 | 58.7 | UNSAT |
ncf_16_128_2_edau.1 | 1.48 | UNSAT |
ncf_16_128_2_d.2 | 1.5 | UNSAT |
ncf_4_32_8_edau.9 | 5.55 | UNSAT |
ncf_16_128_4_edau.10 | 23.89 | UNSAT |
ncf_8_32_8_d.5 | 3.71 | UNSAT |
ncf_8_64_4_edau.7 | 0.41 | UNSAT |
ncf_16_128_2_d.8 | 340.6 | UNSAT |
ncf_8_64_4_edau.10 | 8.6 | UNSAT |
ncf_16_128_2_edau.8 | 11.21 | UNSAT |
ncf_8_32_2_d.3 | 0.06 | UNSAT |
ncf_16_64_2_edau.2 | 0.46 | UNSAT |
ncf_8_64_2_d.2 | 0.2 | UNSAT |