QBF Solver Evaluation Portal
qbflib.orgSota solver results for family Debug
QBFEVAL'10 - Competitive Track.
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| c2_Debug_s5_f1_e1_v3 | quantor-3.1 | SAT | 48.41 |  |
| c4_Debug_s3_f1_e1_v3 | aqme-10 | SAT | 116.51 | |
| c4_Debug_s3_f1_e2_v3 | aqme-10 | SAT | 236.57 | |
| c4_Debug_s3_f2_e1_v3 | aqme-10 | SAT | 61.1 | |