QBF Solver Evaluation Portal
qbflib.orgSota solver results for family C6288
QBFEVAL'16 - Prenex CNF Track.
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| C6288.blif_0.10_1.00_0_0_out_exact | xb-bid-qsts | SAT | 53.21 |  |
| C6288.blif_0.10_1.00_0_1_inp_exact | aqua-s2v | SAT | 0.56 | |
| C6288.blif_0.10_1.00_0_1_out_exact | depqbf-v1 | SAT | 0.11 | |