QBF Solver Evaluation Portal
qbflib.orgFamily jmc_quant results for solvers
QBFEVAL'10 - Small Hard Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AIGSolve | 6.61 | 1.32 | 1.54 | 0.42 | 0.95 | 1 |
| aqme-10 | 81528.48 | 16305.7 | 13666.69 | 13681.3 | 9256.86 | 0 |
| depqbf | 216000 | 43200 | 0 | 43200 | 0 | 0 |
| depqbf-pre | 216000 | 43200 | 0 | 43200 | 0 | 0 |
| nenofex-qbfeval10 | 1073.77 | 214.75 | 36.57 | 214.74 | 40.9 | 0 |
| quantor-3.1 | 25456.87 | 5091.38 | 7265.34 | 647.11 | 3190.97 | 0 |
| QuBE7 | 123967.38 | 24793.48 | 18839.74 | 38321.2 | 36747.16 | 0.4 |
| QuBE7-c | 63941.29 | 12788.26 | 14104.17 | 2677.97 | 13312.48 | 0.6 |
| QuBE7-m | 52131.35 | 10426.27 | 9210.5 | 8776.38 | 13926.86 | 0.6 |
| struqs-10 | 50596.38 | 10119.28 | 2208.1 | 9617.59 | 3028.8 | 0 |