Instance | Time | Result |
---|---|---|
pec_adder_n_bit_3_18.dqdimacs | 58.08 | UNSAT |
pec_adder_n_bit_5_18.dqdimacs | 10.96 | UNSAT |
pec_adder_n_bit_9_20.dqdimacs | 31.92 | UNSAT |
amba3c5n.dqdimacs | 1.43 | SAT |
amba6c5n.dqdimacs | 81.5 | SAT |
mvs24n.dqdimacs | 0.35 | SAT |
pec_adder_n_bit_4_5.dqdimacs | 86.77 | UNSAT |