QBF Solver Evaluation Portal
qbflib.orgFamily Strategic_Companies results for solvers
QBFEVAL'10 - Random QBFs Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| aqme-10 | 13308.21 | 332.71 | 520.87 | 5.37 | 1060.75 | 0.75 |
| depqbf | 33525.31 | 838.13 | 542.7 | 1200.17 | 1186.2 | 0.325 |
| depqbf-pre | 34222.39 | 855.56 | 521.39 | 1200.13 | 1030.65 | 0.325 |
| nenofex-qbfeval10 | 31017.94 | 775.45 | 440.89 | 988.08 | 842.89 | 0.175 |
| quantor-3.1 | 3171.76 | 79.29 | 35.29 | 86.7 | 36.79 | 0.25 |
| QuBE7 | 10681.05 | 267.03 | 475.68 | 2.93 | 218.18 | 0.8 |
| QuBE7-c | 20066.95 | 501.67 | 579.97 | 12.47 | 1199.35 | 0.6 |
| QuBE7-m | 17795.97 | 444.9 | 564.8 | 6.99 | 1199.34 | 0.65 |
| struqs-10 | 46122.34 | 1153.06 | 184.41 | 1200.08 | 0.02 | 0.075 |