QBF Solver Evaluation Portal
qbflib.orgUnique instances for Nenofex
QBFEVAL'08
| Instance | Time | Result |
|---|---|---|
| adder-14-sat | 53.48 | SAT |
| adder-8-unsat | 1.48 | UNSAT |
| adder-14-unsat | 8.19 | UNSAT |
| adder-16-sat | 100.78 | SAT |
| adder-6-unsat | 0.68 | UNSAT |
| adder-10-unsat | 2.91 | UNSAT |
| adder-12-unsat | 5 | UNSAT |
| adder-16-unsat | 13.52 | UNSAT |
| adder-4-unsat | 0.22 | UNSAT |
| ssa7552-160-90 | 112.22 | SAT |