Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
Caqe-bloqqer | 1.97 | 0.49 | 0.85 | 0 | 0.99 | 1 |
Caqe-bloqqer-qdo | 900.7 | 225.18 | 389.64 | 0.33 | 450.35 | 0.75 |
Caqe-hqspre | 1827.79 | 456.95 | 443.18 | 463.89 | 886.14 | 0.5 |
Cued_2_2018 | 34.65 | 8.66 | 14.65 | 0.31 | 17.33 | 1 |
Cued_3_2018 | 35.12 | 8.78 | 14.86 | 0.3 | 17.56 | 1 |
depqbf_prefix_opt_qdo | 2700.09 | 675.02 | 389.72 | 900.02 | 450.05 | 0.25 |
depqbf_pre_QxQBH | 903.7 | 225.93 | 389.22 | 1.82 | 451.85 | 0.75 |
GhostQ-PG_cegar | 3600.17 | 900.04 | 0.03 | 900.04 | 0.05 | 0 |
GhostQ-PG_plain | 3600.12 | 900.03 | 0.02 | 900.03 | 0.04 | 0 |
Heretiq-cube | 520.59 | 130.15 | 225.42 | 0.01 | 260.3 | 0.75 |
Heretiq-simple | 900.06 | 225.02 | 389.74 | 0 | 450.03 | 0.75 |
ijtihad | 900.09 | 225.02 | 389.75 | 0 | 450.05 | 0.75 |
Iprover-HQSpre-Bloqqer | 1800.16 | 450.04 | 450.04 | 450.04 | 900.08 | 0.5 |
PortfolioDepQBFGhostQRaReQSQute___pf | 2849.32 | 712.33 | 325.12 | 900.03 | 375.43 | 0.25 |
predyndep | 900.92 | 225.23 | 389.62 | 0.43 | 450.46 | 0.75 |
Qute_default | 2700.11 | 675.03 | 389.73 | 900.03 | 450.05 | 0.25 |
Qute_opt500 | 1806.49 | 451.62 | 448.42 | 453.22 | 896.83 | 0.5 |
Qute_random | 1806.53 | 451.63 | 448.41 | 453.23 | 896.81 | 0.5 |
Rareqs_2018 | 58.09 | 14.52 | 25.15 | 0 | 29.05 | 1 |