QBF Solver Evaluation Portal
qbflib.orgFamily Abduction results for solvers
QBFEVAL'10 - Competitive Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AIGSolve | 18099.88 | 348.07 | 485.99 | 12.91 | 804.94 | 0.692 |
| aqme-10 | 2500.48 | 48.09 | 230.39 | 1.4 | 1.14 | 0.962 |
| depqbf | 4987.53 | 95.91 | 319.62 | 0.05 | 0.39 | 0.923 |
| depqbf-pre | 3784.64 | 72.78 | 279.88 | 0.04 | 0.35 | 0.942 |
| nenofex-qbfeval10 | 13291.89 | 255.61 | 449.7 | 4.85 | 207.89 | 0.808 |
| qmaiga | 21702.78 | 417.36 | 550.44 | 11.57 | 1199.47 | 0.673 |
| quantor-3.1 | 9651.67 | 185.61 | 287.25 | 80.74 | 164.92 | 0.327 |
| QuBE7 | 4183.1 | 80.44 | 239.82 | 0.19 | 3.62 | 0.962 |
| QuBE7-c | 4169.71 | 80.19 | 239.57 | 0.19 | 1.8 | 0.962 |
| QuBE7-m | 4126.79 | 79.36 | 238.76 | 0.19 | 1.78 | 0.962 |
| struqs-10 | 31168.8 | 599.4 | 550.85 | 546.21 | 1188.62 | 0.596 |