QBF Solver Evaluation Portal
qbflib.orgFamily k_grz_p results for solvers
QBFEVAL'10 - Competitive Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AIGSolve | 3.16 | 1.05 | 0.46 | 1.21 | 0.78 | 1 |
| aqme-10 | 6.29 | 2.1 | 0.77 | 1.81 | 0.47 | 1 |
| depqbf | 2847.31 | 949.1 | 355.04 | 1200.15 | 753.15 | 0.333 |
| depqbf-pre | 1361.8 | 453.93 | 530.97 | 153.31 | 144.99 | 0.667 |
| nenofex-qbfeval10 | 121.87 | 40.62 | 24.36 | 45.18 | 36.41 | 1 |
| qmaiga | 4.44 | 1.48 | 0.86 | 1.47 | 1.04 | 1 |
| quantor-3.1 | 17.36 | 5.79 | 4.74 | 4.9 | 4.42 | 1 |
| QuBE7 | 1695 | 565 | 487.71 | 480.56 | 466.17 | 0.667 |
| QuBE7-c | 445.48 | 148.49 | 153.6 | 83.57 | 82.15 | 1 |
| QuBE7-m | 472.37 | 157.46 | 152.64 | 106.14 | 104.62 | 1 |
| struqs-10 | 2532.42 | 844.14 | 503.38 | 1200.08 | 1067.82 | 0.333 |