QBF Solver Evaluation Portal
qbflib.orgSota solver results for family s499
QBFEVAL'16 - Solver Portfolio Track.
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| s499_d12_s | caqe-portfolio | SAT | 67.44 |  |
| s499_d15_s | caqe-portfolio | SAT | 121.54 | |
| s499_d17_s | caqe-portfolio | SAT | 203.4 | |
| s499_d18_s | caqe-portfolio | SAT | 202.59 | |
| s499_d7_s | caqe-portfolio | SAT | 33.48 | |
| s499_d9_s | caqe-portfolio | SAT | 21.96 | |