QBF Solver Evaluation Portal
qbflib.orgFamily Debug results for solvers
QBFEVAL'10 - Competitive Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AIGSolve | 5898.11 | 1179.62 | 40.76 | 1200 | 50.95 | 0 |
| aqme-10 | 710.01 | 142 | 67.03 | 116.51 | 83.63 | 0.8 |
| depqbf | 6000.8 | 1200.16 | 0.02 | 1200.16 | 0.02 | 0 |
| depqbf-pre | 6000.84 | 1200.17 | 0.02 | 1200.16 | 0.01 | 0 |
| nenofex-qbfeval10 | 4810.77 | 962.15 | 476.11 | 1200.2 | 595.16 | 0 |
| qmaiga | 5949.67 | 1189.93 | 20.13 | 1200 | 25.17 | 0 |
| quantor-3.1 | 3230.68 | 646.14 | 379.82 | 783.33 | 570.13 | 0.8 |
| QuBE7 | 6000.22 | 1200.04 | 0.09 | 1200 | 0 | 0 |
| QuBE7-c | 6000.21 | 1200.04 | 0.08 | 1200 | 0 | 0 |
| QuBE7-m | 6000.16 | 1200.03 | 0.06 | 1200 | 0 | 0 |
| struqs-10 | 6001.15 | 1200.23 | 0.12 | 1200.17 | 0.05 | 0 |