QBF Solver Evaluation Portal
qbflib.orgFamily Sorting_networks results for solvers
QBFEVAL'18 - Prenex CNF Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| Caqe-bloqqer | 1167.75 | 116.78 | 146.16 | 71.54 | 78.72 | 1 |
| Caqe-bloqqer-qdo | 880.16 | 88.02 | 118.17 | 49.11 | 61.18 | 1 |
| Caqe-hqspre | 1164.3 | 116.43 | 134.25 | 62.83 | 34.55 | 1 |
| Cued_2_2018 | 6728.03 | 672.8 | 325.13 | 873.13 | 792.56 | 0.5 |
| Cued_3_2018 | 6782.95 | 678.3 | 328.08 | 900.04 | 791.24 | 0.4 |
| depqbf_prefix_opt_qdo | 8107.84 | 810.78 | 267.71 | 900.02 | 0.01 | 0.1 |
| depqbf_pre_QxQBH | 5183.27 | 518.33 | 317.45 | 498.24 | 650.61 | 0.7 |
| GhostQ-PG_cegar | 7222.91 | 722.29 | 344.6 | 900.04 | 859.78 | 0.3 |
| GhostQ-PG_plain | 8148.96 | 814.9 | 255.42 | 900.03 | 0.03 | 0.1 |
| Heretiq-cube | 1645 | 164.5 | 259.05 | 69.38 | 66.79 | 0.9 |
| Heretiq-simple | 1641.82 | 164.18 | 258.89 | 68.33 | 70.57 | 0.9 |
| ijtihad | 5665.79 | 566.58 | 411.78 | 900.04 | 875.59 | 0.4 |
| Iprover-HQSpre-Bloqqer | 8106.82 | 810.68 | 268.07 | 900.04 | 0.03 | 0.1 |
| PortfolioDepQBFGhostQRaReQSQute___pf | 6404.79 | 640.48 | 396.49 | 900.02 | 863.32 | 0.3 |
| predyndep | 5588.44 | 558.84 | 367.38 | 715.82 | 876.17 | 0.5 |
| Qute_default | 3322.25 | 332.23 | 392.55 | 43.54 | 440.78 | 0.7 |
| Qute_opt500 | 3297.77 | 329.78 | 391.83 | 43.88 | 416.06 | 0.7 |
| Qute_random | 3347.65 | 334.77 | 393.41 | 43.65 | 466.02 | 0.7 |
| Rareqs_2018 | 2202.8 | 220.28 | 342.21 | 47.1 | 114.02 | 0.8 |