QBF Solver Evaluation Portal
qbflib.orgSota solver results for family C6288
QBFEVAL'08
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| C6288.blif_0.10_1.00_0_1_inp_exact | ssolve-A | SAT | 5.91 |  |
| C6288.blif_0.10_1.00_0_1_out_exact | QuBE6.1 | SAT | 0.28 | |
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| C6288.blif_0.10_1.00_0_1_inp_exact | ssolve-A | SAT | 5.91 | |
| C6288.blif_0.10_1.00_0_1_out_exact | QuBE6.1 | SAT | 0.28 | |