Instance | Result | Time | |
---|---|---|---|
cnt3y.unsat | UNSAT | 4.69 | |
mult2.unsat | UNSAT | 4.69 | |
mvs8n.unsat | UNSAT | 4.72 | |
bs128y.unsat | UNSAT | 4.72 | |
add6n.sat | SAT | 4.73 | |
mvs2y.unsat | UNSAT | 4.73 | |
cnt2n.unsat | UNSAT | 4.76 | |
mult4.unsat | UNSAT | 4.76 | |
mvs2y.sat | SAT | 4.77 | |
cnt4y.sat | SAT | 4.77 | |
bs16y.unsat | UNSAT | 4.77 | |
mvs8y.unsat | UNSAT | 4.77 | |
cnt2n.sat | SAT | 4.78 | |
stay16n.unsat | UNSAT | 4.78 | |
cnt25n.unsat | UNSAT | 4.78 | |
stay6y.unsat | UNSAT | 4.79 | |
cnt8n.sat | SAT | 4.79 | |
bs8y.unsat | UNSAT | 4.81 | |
cnt10y.sat | SAT | 4.86 | |
add20y.unsat | FAIL | 7.06 | |
bs128n.sat | FAIL | 7.08 |