Instance | Solver | Result | Time | |
---|---|---|---|---|
add6n.sat | Qute_default | SAT | 0 | |
bs128n.sat | quabs___caqe-hqspre | SAT | 2.35 | |
bs128y.unsat | Qute_default | UNSAT | 0 | |
bs16y.unsat | Qute_default | UNSAT | 0 | |
bs8y.unsat | Qute_default | UNSAT | 0 | |
cnt10y.sat | Qute_default | SAT | 0 | |
cnt25n.unsat | Qute_default | UNSAT | 0 | |
cnt2n.sat | Qute_default | SAT | 0 | |
cnt2n.unsat | Qute_default | UNSAT | 0 | |
cnt3y.unsat | Qute_default | UNSAT | 0 | |
cnt4y.sat | Qute_default | SAT | 0 | |
cnt8n.sat | Qute_default | SAT | 0 | |
mult2.unsat | Qute_default | UNSAT | 0 | |
mult4.unsat | Qute_default | UNSAT | 0 | |
mvs2y.sat | Qute_default | SAT | 0 | |
mvs2y.unsat | Qute_default | UNSAT | 0 | |
mvs8n.unsat | Qute_default | UNSAT | 0 | |
mvs8y.unsat | Qute_default | UNSAT | 0 | |
stay16n.unsat | Qute_default | UNSAT | 0 | |
stay6y.unsat | Qute_default | UNSAT | 0 |