QBF Solver Evaluation Portal
qbflib.orgSota solver results for family s3330
QBFEVAL'08
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| s3330_d2_s | QuBE6.1 | SAT | 5.12 |  |
| s3330_d3_s | QuBE6.1 | SAT | 29.99 | |
| s3330_d4_s | QuBE6.1 | SAT | 106.44 | |
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| s3330_d2_s | QuBE6.1 | SAT | 5.12 | |
| s3330_d3_s | QuBE6.1 | SAT | 29.99 | |
| s3330_d4_s | QuBE6.1 | SAT | 106.44 | |