Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
Caqe-bloqqer | 1868.82 | 266.97 | 327.45 | 96.68 | 151.5 | 0.857 |
Caqe-bloqqer-qdo | 2495.51 | 356.5 | 373.02 | 114.31 | 466.7 | 0.714 |
Caqe-hqspre | 3130.15 | 447.16 | 398.78 | 215.09 | 890.89 | 0.571 |
Cued_2_2018 | 5844.36 | 834.91 | 159.55 | 900.04 | 455.94 | 0 |
Cued_3_2018 | 5739.51 | 819.93 | 196.23 | 900.02 | 560.77 | 0 |
depqbf_prefix_opt_qdo | 2284.85 | 326.41 | 290.78 | 189.96 | 393.01 | 0.857 |
depqbf_pre_QxQBH | 5137.98 | 734 | 310.16 | 900.03 | 890.13 | 0.286 |
GhostQ-PG_cegar | 5106.12 | 729.45 | 309.06 | 900.06 | 879.29 | 0.286 |
GhostQ-PG_plain | 5640.96 | 805.85 | 230.73 | 900.04 | 659.38 | 0.143 |
Heretiq-cube | 4654.39 | 664.91 | 373.93 | 900.01 | 898.23 | 0.286 |
Heretiq-simple | 4655.29 | 665.04 | 373.74 | 900.01 | 898.22 | 0.286 |
ijtihad | 5402 | 771.71 | 314.32 | 900.02 | 898.27 | 0.143 |
Iprover-HQSpre-Bloqqer | 5410.16 | 772.88 | 311.52 | 900.04 | 890.26 | 0.143 |
PortfolioDepQBFGhostQRaReQSQute___pf | 4565.57 | 652.22 | 391.84 | 900.02 | 875.38 | 0.286 |
predyndep | 4566.34 | 652.33 | 391.96 | 900.02 | 894.83 | 0.286 |
Qute_default | 5574.76 | 796.39 | 253.85 | 900.02 | 725.44 | 0.143 |
Qute_opt500 | 5555.06 | 793.58 | 260.8 | 900.06 | 745.3 | 0.143 |
Qute_random | 5558.35 | 794.05 | 259.63 | 900.03 | 741.95 | 0.143 |
Rareqs_2018 | 1962.46 | 280.35 | 298.66 | 138.56 | 294.07 | 0.857 |