QBF Solver Evaluation Portal
qbflib.orgFamily tipfixpoint results for solvers
QBFEVAL'10 - Competitive Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AIGSolve | 7698.3 | 320.76 | 450.03 | 7.01 | 664.02 | 0.667 |
| aqme-10 | 13187.17 | 549.47 | 566.97 | 304.39 | 1195.45 | 0.5 |
| depqbf | 18003.81 | 750.16 | 580.9 | 1200.16 | 1199.86 | 0.375 |
| depqbf-pre | 18004.71 | 750.2 | 580.9 | 1200.16 | 1199.78 | 0.375 |
| nenofex-qbfeval10 | 9548.01 | 397.83 | 321.92 | 298.03 | 327.47 | 0.167 |
| qmaiga | 8183.92 | 341 | 476.96 | 14.5 | 579.46 | 0.667 |
| quantor-3.1 | 6768.23 | 282.01 | 382.17 | 90.1 | 376.87 | 0.167 |
| QuBE7 | 5795.86 | 241.49 | 437.74 | 6.26 | 137.48 | 0.875 |
| QuBE7-c | 8602.56 | 358.44 | 540.42 | 2.23 | 1199.42 | 0.708 |
| QuBE7-m | 8563.38 | 356.81 | 541.32 | 2.17 | 1199.48 | 0.708 |
| struqs-10 | 11179.68 | 465.82 | 490.3 | 274.63 | 1077.35 | 0.75 |