Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
Caqe-bloqqer | 4650.43 | 232.52 | 385.96 | 1.04 | 497.35 | 0.75 |
Caqe-bloqqer-qdo | 6327.75 | 316.39 | 428.29 | 2.33 | 900.03 | 0.65 |
Caqe-hqspre | 3662.5 | 183.13 | 358.54 | 1.75 | 22.25 | 0.8 |
Cued_2_2018 | 6558.53 | 327.93 | 421.48 | 13.04 | 897.75 | 0.65 |
Cued_3_2018 | 6559.12 | 327.96 | 421.48 | 13.09 | 897.71 | 0.65 |
depqbf_prefix_opt_qdo | 2726.57 | 136.33 | 320.83 | 0.51 | 2.45 | 0.85 |
depqbf_pre_QxQBH | 2035.89 | 101.79 | 267.33 | 1.79 | 23.08 | 0.9 |
GhostQ-PG_cegar | 3604.94 | 180.25 | 339.09 | 7.19 | 43.12 | 0.85 |
GhostQ-PG_plain | 3334.51 | 166.73 | 324.1 | 5.37 | 54.61 | 0.85 |
Heretiq-cube | 5023.15 | 251.16 | 382.77 | 0.99 | 611.85 | 0.75 |
Heretiq-simple | 5599.45 | 279.97 | 407.98 | 1.01 | 900.02 | 0.7 |
ijtihad | 4822.48 | 241.12 | 383.24 | 0.97 | 536.68 | 0.75 |
Iprover-HQSpre-Bloqqer | 4519.57 | 225.98 | 389.16 | 1.48 | 452.84 | 0.75 |
PortfolioDepQBFGhostQRaReQSQute___pf | 2247.55 | 112.38 | 266.81 | 8.73 | 20.77 | 0.9 |
predyndep | 2317.32 | 115.87 | 267.33 | 10.69 | 22.66 | 0.9 |
Qute_default | 4523.73 | 226.19 | 389.07 | 1.37 | 454.14 | 0.75 |
Qute_opt500 | 4523.73 | 226.19 | 389.05 | 1.42 | 454.14 | 0.75 |
Qute_random | 4523.62 | 226.18 | 389.05 | 1.42 | 454.12 | 0.75 |
Rareqs_2018 | 5426.7 | 271.34 | 411.59 | 0.99 | 900.01 | 0.7 |