Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
Caqe-bloqqer | 901.98 | 112.75 | 297.55 | 0 | 0.99 | 0.875 |
Caqe-bloqqer-qdo | 1800.7 | 225.09 | 389.68 | 0 | 450.33 | 0.75 |
Caqe-hqspre | 3627.86 | 453.48 | 446.62 | 463.89 | 900.03 | 0.5 |
Cued_2_2018 | 934.69 | 116.84 | 296.23 | 0 | 17.33 | 0.875 |
Cued_3_2018 | 935.14 | 116.89 | 296.21 | 0 | 17.56 | 0.875 |
depqbf_prefix_opt_qdo | 4500.19 | 562.52 | 435.73 | 900.02 | 900.05 | 0.375 |
depqbf_pre_QxQBH | 1804.19 | 225.52 | 389.44 | 0.23 | 451.84 | 0.75 |
GhostQ-PG_cegar | 7200.28 | 900.04 | 0.03 | 900.03 | 0.03 | 0 |
GhostQ-PG_plain | 7200.36 | 900.05 | 0.03 | 900.05 | 0.05 | 0 |
Heretiq-cube | 993.6 | 124.2 | 215.45 | 0 | 236.51 | 0.75 |
Heretiq-simple | 1800.06 | 225.01 | 389.72 | 0 | 450 | 0.75 |
ijtihad | 1800.16 | 225.02 | 389.75 | 0 | 450.04 | 0.75 |
Iprover-HQSpre-Bloqqer | 2700.21 | 337.53 | 435.74 | 0 | 900.07 | 0.625 |
PortfolioDepQBFGhostQRaReQSQute___pf | 4660.7 | 582.59 | 411.91 | 900.02 | 822.51 | 0.375 |
predyndep | 913.61 | 114.2 | 297.06 | 0 | 6.77 | 0.875 |
Qute_default | 4500.2 | 562.53 | 435.73 | 900.01 | 900.05 | 0.375 |
Qute_opt500 | 3606.52 | 450.82 | 449.21 | 453.22 | 900.02 | 0.5 |
Qute_random | 3606.61 | 450.83 | 449.22 | 453.23 | 900.04 | 0.5 |
Rareqs_2018 | 958.14 | 119.77 | 295.53 | 0 | 29.05 | 0.875 |