QBF Solver Evaluation Portal
qbflib.orgSuite Biere results for solvers
QBFEVAL'10 - Small Hard Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AIGSolve | 4800.21 | 266.68 | 528.57 | 45.16 | 159.94 | 0.778 |
| aqme-10 | 382945.42 | 21274.75 | 19522.98 | 13443.23 | 42673.53 | 0.111 |
| depqbf | 714142.77 | 39674.6 | 9990.82 | 43200 | 0 | 0 |
| depqbf-pre | 716268.1 | 39792.67 | 9637.39 | 43200 | 0 | 0 |
| nenofex-qbfeval10 | 7117.56 | 395.42 | 199.32 | 413.82 | 277.53 | 0 |
| quantor-3.1 | 6543.36 | 363.52 | 752.54 | 106.29 | 316.37 | 0 |
| QuBE7 | 439209.82 | 24400.54 | 17035.45 | 22462.2 | 42479.45 | 0.056 |
| QuBE7-c | 255924.74 | 14218.04 | 18458.62 | 909.88 | 21566.94 | 0.389 |
| QuBE7-m | 263732.6 | 14651.81 | 18807.04 | 983.63 | 28332.6 | 0.389 |
| struqs-10 | 401568.24 | 22309.35 | 14619.13 | 22417.75 | 32733.86 | 0.278 |