Instance | Result | Time | |
---|---|---|---|
mvs8y.unsat | UNSAT | 4.67 | |
cnt8n.sat | SAT | 4.68 | |
stay6y.unsat | UNSAT | 4.7 | |
mvs8n.unsat | UNSAT | 4.7 | |
mvs2y.sat | SAT | 4.71 | |
bs8y.unsat | UNSAT | 4.71 | |
mvs2y.unsat | UNSAT | 4.72 | |
cnt10y.sat | SAT | 4.73 | |
bs16y.unsat | UNSAT | 4.73 | |
cnt25n.unsat | UNSAT | 4.75 | |
cnt2n.sat | SAT | 4.75 | |
cnt3y.unsat | UNSAT | 4.75 | |
mult2.unsat | UNSAT | 4.76 | |
add6n.sat | SAT | 4.78 | |
mult4.unsat | UNSAT | 4.79 | |
cnt4y.sat | SAT | 4.8 | |
cnt2n.unsat | UNSAT | 4.8 | |
stay16n.unsat | UNSAT | 4.8 | |
bs128y.unsat | UNSAT | 4.84 | |
add20y.unsat | FAIL | 5.89 | |
bs128n.sat | FAIL | 5.96 |