QBF Solver Evaluation Portal
qbflib.orgSota solver results for family s499
QBFEVAL'07
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| s499_d2_s | sKizzo-0.10-std | SAT | 0.11 |  |
| s499_d4_s | ncQuBE1.1 | SAT | 3.52 | |
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| s499_d2_s | sKizzo-0.10-std | SAT | 0.11 | |
| s499_d4_s | ncQuBE1.1 | SAT | 3.52 | |