QBF Solver Evaluation Portal
qbflib.orgSuite Ayari results for solvers
QBFEVAL'10 - Competitive Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AIGSolve | 5634.99 | 296.58 | 472.54 | 45.5 | 182.11 | 0.789 |
| aqme-10 | 7698.12 | 405.16 | 444.28 | 185.56 | 530.21 | 0.632 |
| depqbf | 20415.18 | 1074.48 | 366.4 | 1200.15 | 0.02 | 0.105 |
| depqbf-pre | 17167.25 | 903.54 | 498.64 | 1200.16 | 1153.67 | 0.263 |
| nenofex-qbfeval10 | 4401.39 | 231.65 | 369.03 | 69.64 | 169.04 | 0.737 |
| qmaiga | 4455.64 | 234.51 | 344.41 | 53.42 | 365 | 0.684 |
| quantor-3.1 | 2953.01 | 155.42 | 360.65 | 29.19 | 30.97 | 0.316 |
| QuBE7 | 17871.71 | 940.62 | 459.63 | 1200.02 | 1064.87 | 0.211 |
| QuBE7-c | 17914.69 | 942.88 | 462.76 | 1200.02 | 1075.05 | 0.211 |
| QuBE7-m | 18153.79 | 955.46 | 462.92 | 1200.02 | 1074.6 | 0.211 |
| struqs-10 | 17419.11 | 916.8 | 483.59 | 1200.08 | 1136.5 | 0.263 |