QBF Solver Evaluation Portal
qbflib.orgSota solver results for family Impl
QBFEVAL'08
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| impl02 | ssolveC | SAT | 0 |  |
| impl04 | Nenofex | SAT | 0 | |
| impl06 | Nenofex | SAT | 0 | |
| impl08 | ssolveB | SAT | 0 | |
| impl10 | quantor3.0 | SAT | 0 | |
| impl12 | quantor3.0 | SAT | 0 | |
| impl14 | Nenofex | SAT | 0 | |
| impl16 | quantor3.0 | SAT | 0 | |
| impl18 | ssolve-A | SAT | 0 | |
| impl20 | quantor3.0 | SAT | 0 | |