QBF Solver Evaluation Portal
qbflib.orgFamily Sorting_networks results for solvers
QBFEVAL'10 - 2QBF Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| aqme-10 | 7986.93 | 469.82 | 553.28 | 42.38 | 1146.43 | 0.647 |
| depqbf | 11069.76 | 651.16 | 585.28 | 1200.15 | 1199.94 | 0.471 |
| depqbf-pre | 107.19 | 6.31 | 10.81 | 0.86 | 5.06 | 1 |
| nenofex-qbfeval10 | 13523.06 | 795.47 | 397.13 | 975.46 | 866.41 | 0 |
| quantor-3.1 | 1277.53 | 75.15 | 10.13 | 75.79 | 15.98 | 0 |
| QuBE7 | 7152.56 | 420.74 | 555.81 | 14.35 | 1112.89 | 0.706 |
| QuBE7-c | 7887.27 | 463.96 | 550.09 | 176.22 | 1199.05 | 0.647 |
| QuBE7-m | 9587.56 | 563.97 | 561.45 | 580.09 | 1199.01 | 0.588 |
| struqs-10 | 20401.41 | 1200.08 | 0.01 | 1200.08 | 0.01 | 0 |