Instance | Time | Result |
---|---|---|
ncf_4_16_8_u.8 | 59.13 | UNSAT |
ncf_8_32_4_d.6 | 2.79 | UNSAT |
ncf_16_32_8_euad.7 | 0.71 | SAT |
ncf_16_32_8_d.7 | 1.14 | SAT |
ncf_4_16_4_u.3 | 34.64 | SAT |
ncf_4_16_8_u.2 | 67.29 | SAT |
ncf_16_32_8_euad.5 | 2.14 | UNSAT |
ncf_8_16_8_edau.3 | 608.38 | SAT |
ncf_16_32_8_euad.10 | 15.81 | SAT |
ncf_8_32_2_euad.5 | 2.17 | UNSAT |
ncf_16_32_8_u.10 | 3.86 | SAT |
ncf_16_32_4_euad.6 | 0.4 | UNSAT |
ncf_8_32_2_edau.10 | 243.76 | UNSAT |
ncf_16_32_4_u.6 | 0.64 | UNSAT |
ncf_8_32_4_euad.9 | 354.73 | UNSAT |
ncf_16_32_2_u.1 | 0.07 | UNSAT |
ncf_8_32_8_euad.1 | 11.68 | UNSAT |
ncf_4_32_4_u.1 | 348.76 | SAT |
ncf_8_32_4_euad.7 | 47.16 | UNSAT |
ncf_16_32_4_d.6 | 0.32 | UNSAT |
ncf_8_32_2_euad.10 | 0.18 | UNSAT |
ncf_16_32_8_euad.6 | 10.59 | SAT |
ncf_16_64_4_edau.1 | 24.74 | SAT |
ncf_8_32_2_d.6 | 0.19 | UNSAT |
ncf_16_32_8_d.5 | 5.48 | UNSAT |
ncf_8_32_4_euad.6 | 11.88 | UNSAT |
ncf_8_32_2_d.10 | 13.9 | UNSAT |
ncf_16_32_8_edau.5 | 2.6 | UNSAT |
ncf_16_32_8_d.6 | 11.03 | SAT |
ncf_16_32_8_u.5 | 1.43 | UNSAT |
ncf_8_32_2_u.10 | 60.59 | UNSAT |
ncf_8_32_2_euad.6 | 0.2 | UNSAT |
ncf_8_32_8_u.3 | 0.5 | UNSAT |
ncf_4_16_8_u.5 | 483.21 | UNSAT |
ncf_16_32_4_edau.6 | 1.46 | UNSAT |