Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
Caqe-bloqqer | 1810.67 | 452.67 | 447.39 | 455.31 | 894.76 | 0.5 |
Caqe-bloqqer-qdo | 2042.86 | 510.72 | 397.73 | 568.17 | 778.68 | 0.5 |
Caqe-hqspre | 1801.87 | 450.47 | 449.56 | 450.92 | 899.12 | 0.5 |
Cued_2_2018 | 2707.64 | 676.91 | 386.46 | 900.03 | 446.27 | 0.25 |
Cued_3_2018 | 2707.74 | 676.94 | 386.45 | 900.05 | 446.25 | 0.25 |
depqbf_prefix_opt_qdo | 3600.1 | 900.03 | 0.02 | 900.02 | 0.04 | 0 |
depqbf_pre_QxQBH | 1804.65 | 451.16 | 448.86 | 451.99 | 897.72 | 0.5 |
GhostQ-PG_cegar | 3600.16 | 900.04 | 0.02 | 900.04 | 0.03 | 0 |
GhostQ-PG_plain | 3600.13 | 900.03 | 0.02 | 900.04 | 0.04 | 0 |
Heretiq-cube | 2700.14 | 675.04 | 389.73 | 900.02 | 450.06 | 0.25 |
Heretiq-simple | 2555.65 | 638.91 | 373.56 | 827.81 | 522.22 | 0.25 |
ijtihad | 2700.09 | 675.02 | 389.72 | 900.01 | 450.05 | 0.25 |
Iprover-HQSpre-Bloqqer | 1802.18 | 450.55 | 449.51 | 451.06 | 899.02 | 0.5 |
PortfolioDepQBFGhostQRaReQSQute___pf | 1900.96 | 475.24 | 424.84 | 478.16 | 849.63 | 0.5 |
predyndep | 1884.92 | 471.23 | 429.46 | 487.94 | 857.62 | 0.5 |
Qute_default | 3600.16 | 900.04 | 0.03 | 900.03 | 0.05 | 0 |
Qute_opt500 | 3600.22 | 900.06 | 0.01 | 900.06 | 0.01 | 0 |
Qute_random | 3600.23 | 900.06 | 0.03 | 900.06 | 0.06 | 0 |
Rareqs_2018 | 2700.14 | 675.04 | 389.73 | 900.03 | 450.05 | 0.25 |