Instance | Result | Time | |
---|---|---|---|
stay6y.unsat | UNSAT | 0 | |
mvs8n.unsat | UNSAT | 0 | |
add6n.sat | SAT | 0 | |
mvs2y.unsat | UNSAT | 0 | |
mult2.unsat | UNSAT | 0 | |
cnt2n.unsat | UNSAT | 0 | |
cnt25n.unsat | UNSAT | 0 | |
cnt4y.sat | SAT | 0 | |
bs8y.unsat | UNSAT | 0 | |
mvs2y.sat | SAT | 0 | |
mult4.unsat | UNSAT | 0 | |
cnt8n.sat | SAT | 0 | |
mvs8y.unsat | UNSAT | 0 | |
bs16y.unsat | UNSAT | 0 | |
stay16n.unsat | UNSAT | 0 | |
cnt3y.unsat | UNSAT | 0 | |
cnt2n.sat | SAT | 0 | |
cnt10y.sat | SAT | 0 | |
bs128y.unsat | UNSAT | 0.69 | |
add20y.unsat | FAIL | 900.02 | |
bs128n.sat | FAIL | 900.08 |