QBF Solver Evaluation Portal
qbflib.orgFamily RobotsD3 results for solvers
QBFEVAL'10 - Random QBFs Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| aqme-10 | 1517.29 | 50.58 | 214.63 | 4.16 | 6.56 | 0.967 |
| depqbf | 2739.97 | 91.33 | 242.71 | 8.31 | 42.8 | 0.967 |
| depqbf-pre | 2748.78 | 91.63 | 234.85 | 6.82 | 27.08 | 0.967 |
| nenofex-qbfeval10 | 17961.62 | 598.72 | 457.48 | 471.83 | 1086.48 | 0.667 |
| quantor-3.1 | 952 | 31.73 | 27.25 | 28.8 | 55.98 | 0.333 |
| QuBE7 | 5422.24 | 180.74 | 181.79 | 124.72 | 131.5 | 1 |
| QuBE7-c | 7313.62 | 243.79 | 271.72 | 126.07 | 177.88 | 0.967 |
| QuBE7-m | 7217.67 | 240.59 | 270.46 | 127.59 | 188.21 | 0.967 |
| struqs-10 | 36002.5 | 1200.08 | 0.01 | 1200.08 | 0.01 | 0 |