QBF Solver Evaluation Portal
qbflib.orgFamily RobotsD5 results for solvers
QBFEVAL'10 - Random QBFs Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| aqme-10 | 328.06 | 10.94 | 25.52 | 3.61 | 4.73 | 1 |
| depqbf | 5560.45 | 185.35 | 358.41 | 8.1 | 34 | 0.933 |
| depqbf-pre | 4388.41 | 146.28 | 313.47 | 6.42 | 46.72 | 0.933 |
| nenofex-qbfeval10 | 17754.49 | 591.82 | 473 | 534.6 | 1150.78 | 0.667 |
| quantor-3.1 | 1126.05 | 37.53 | 37.55 | 22.16 | 82.13 | 0.333 |
| QuBE7 | 5571.98 | 185.73 | 190.06 | 106.52 | 177.01 | 1 |
| QuBE7-c | 5835.72 | 194.52 | 195.75 | 122.95 | 205.47 | 1 |
| QuBE7-m | 5880.05 | 196 | 195.18 | 129.16 | 220.57 | 1 |
| struqs-10 | 32865.27 | 1095.51 | 190.6 | 1200.08 | 418.58 | 0.233 |