QBF Solver Evaluation Portal
qbflib.orgFamily k_grz_n results for solvers
QBFEVAL'10 - Competitive Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AIGSolve | 4.98 | 1.24 | 0.75 | 0.98 | 1.09 | 1 |
| aqme-10 | 18.97 | 4.74 | 4.95 | 2.14 | 6.41 | 1 |
| depqbf | 3203.02 | 800.75 | 434.97 | 922.87 | 798.26 | 0.5 |
| depqbf-pre | 1379.87 | 344.97 | 497.77 | 86.16 | 673.18 | 0.75 |
| nenofex-qbfeval10 | 145.05 | 36.26 | 21.19 | 27.05 | 28.19 | 1 |
| qmaiga | 6.74 | 1.68 | 1.55 | 0.92 | 2.03 | 1 |
| quantor-3.1 | 23.85 | 5.96 | 4.4 | 5.34 | 7.73 | 1 |
| QuBE7 | 1383.12 | 345.78 | 493.8 | 79.23 | 600.34 | 0.75 |
| QuBE7-c | 109.58 | 27.39 | 41.1 | 4.64 | 48.61 | 1 |
| QuBE7-m | 98.54 | 24.64 | 36.25 | 4.66 | 42.93 | 1 |
| struqs-10 | 2301.5 | 575.37 | 463.4 | 546.81 | 865.35 | 0.75 |