QBF Solver Evaluation Portal
qbflib.orgSota solver results for family s1269
QBFEVAL'16 - Solver Portfolio Track.
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| s1269_d3_s | caqe-portfolio | SAT | 21.06 |  |
| s1269_d4_s | caqe-portfolio | SAT | 66.14 | |
| s1269_d5_s | caqe-portfolio | SAT | 124.95 | |