QBF Solver Evaluation Portal
qbflib.orgFamily SzymanskiP results for solvers
QBFEVAL'10 - Competitive Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AIGSolve | 1384.43 | 692.22 | 507.78 | 692.22 | 0 | 0.5 |
| aqme-10 | 530.56 | 265.28 | 261 | 265.28 | 0 | 1 |
| depqbf | 2400.31 | 1200.16 | 0.01 | 1200.16 | 0 | 0 |
| depqbf-pre | 1201.66 | 600.83 | 599.33 | 600.83 | 0 | 0.5 |
| nenofex-qbfeval10 | 1501.45 | 750.73 | 449.5 | 750.73 | 0 | 0 |
| qmaiga | 1379.28 | 689.64 | 510.36 | 689.64 | 0 | 0.5 |
| quantor-3.1 | 51.02 | 25.51 | 5.36 | 25.51 | 0 | 0 |
| QuBE7 | 92.35 | 46.18 | 45.08 | 46.18 | 0 | 1 |
| QuBE7-c | 60.7 | 30.35 | 29.31 | 30.35 | 0 | 1 |
| QuBE7-m | 70.6 | 35.3 | 34.26 | 35.3 | 0 | 1 |
| struqs-10 | 1263.82 | 631.91 | 568.32 | 631.91 | 0 | 0.5 |