QBF Solver Evaluation Portal
qbflib.orgFamily tipdiam results for solvers
QBFEVAL'10 - Competitive Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AIGSolve | 3986.97 | 284.78 | 422.19 | 17.37 | 325.81 | 0.714 |
| aqme-10 | 3391.47 | 242.25 | 423.52 | 15.13 | 97.39 | 0.857 |
| depqbf | 13678.87 | 977.06 | 430.37 | 1200.15 | 952.96 | 0.214 |
| depqbf-pre | 10846.73 | 774.77 | 570.74 | 1200.16 | 1192.57 | 0.357 |
| nenofex-qbfeval10 | 5406.39 | 386.17 | 216.93 | 450.41 | 272.87 | 0.143 |
| qmaiga | 3414.2 | 243.87 | 407.41 | 11.08 | 20.77 | 0.857 |
| quantor-3.1 | 3969.8 | 283.56 | 252.77 | 215.8 | 402.63 | 0.143 |
| QuBE7 | 1140.7 | 81.48 | 157.96 | 6.62 | 19.31 | 1 |
| QuBE7-c | 1321.04 | 94.36 | 307.78 | 1.23 | 1.77 | 0.929 |
| QuBE7-m | 1414.87 | 101.06 | 308.83 | 1.23 | 1.83 | 0.929 |
| struqs-10 | 7118.16 | 508.44 | 486.99 | 331.25 | 834.25 | 0.786 |