QBF Solver Evaluation Portal
qbflib.orgFamily Adder results for solvers
QBFEVAL'10 - Competitive Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AIGSolve | 4176.43 | 278.43 | 467.17 | 23.49 | 86.79 | 0.8 |
| aqme-10 | 6928.02 | 461.87 | 472.95 | 447.17 | 667.26 | 0.6 |
| depqbf | 18002.33 | 1200.16 | 0.01 | 1200.16 | 0.01 | 0 |
| depqbf-pre | 15901.36 | 1060.09 | 359.23 | 1200.16 | 0.82 | 0.133 |
| nenofex-qbfeval10 | 2883.53 | 192.24 | 318.47 | 69.64 | 166.03 | 0.867 |
| qmaiga | 3032.43 | 202.16 | 284.21 | 53.42 | 365.14 | 0.667 |
| quantor-3.1 | 2890 | 192.67 | 397.66 | 30.08 | 29.03 | 0.267 |
| QuBE7 | 17596.98 | 1173.13 | 100.66 | 1200.02 | 0.02 | 0 |
| QuBE7-c | 17682.3 | 1178.82 | 79.39 | 1200.03 | 0.02 | 0 |
| QuBE7-m | 17910.82 | 1194.05 | 22.39 | 1200.03 | 0.02 | 0 |
| struqs-10 | 16148.75 | 1076.58 | 324.85 | 1200.08 | 0.02 | 0.133 |