QBF Solver Evaluation Portal
qbflib.orgSuite Mneimneh-Sakallah results for solvers
QBFEVAL'10 - Competitive Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AIGSolve | 9327.6 | 490.93 | 511.64 | 221.77 | 1183.66 | 0.579 |
| aqme-10 | 16781.79 | 883.25 | 433.69 | 1143.31 | 866.56 | 0.211 |
| depqbf | 19274.76 | 1014.46 | 428.91 | 1200.18 | 0.03 | 0 |
| depqbf-pre | 19278.18 | 1014.64 | 428.47 | 1200.18 | 0.2 | 0 |
| nenofex-qbfeval10 | 17337.09 | 912.48 | 438.89 | 1200.16 | 860.84 | 0.211 |
| qmaiga | 11073.43 | 582.81 | 529.06 | 332.57 | 1177.96 | 0.579 |
| quantor-3.1 | 17318.23 | 911.49 | 486.32 | 1200 | 1014.14 | 0.211 |
| QuBE7 | 9832.35 | 517.49 | 475.28 | 378.3 | 840.2 | 0.737 |
| QuBE7-c | 9703.32 | 510.7 | 487.33 | 275.13 | 932.87 | 0.737 |
| QuBE7-m | 10044.49 | 528.66 | 498.45 | 296.32 | 1100.26 | 0.737 |
| struqs-10 | 16850.11 | 886.85 | 476.98 | 1200.09 | 985.29 | 0.316 |