Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
Caqe-bloqqer | 11050.27 | 552.51 | 425.82 | 900.02 | 856.94 | 0.4 |
Caqe-bloqqer-qdo | 9020.15 | 451.01 | 449.03 | 452.36 | 898.31 | 0.5 |
Caqe-hqspre | 9020.12 | 451.01 | 449.03 | 452.36 | 898.33 | 0.5 |
Cued_2_2018 | 18000.91 | 900.05 | 0.02 | 900.05 | 0.04 | 0 |
Cued_3_2018 | 18000.77 | 900.04 | 0.02 | 900.04 | 0.03 | 0 |
depqbf_prefix_opt_qdo | 4289.65 | 214.48 | 364.91 | 0.5 | 316.22 | 0.8 |
depqbf_pre_QxQBH | 4792.45 | 239.62 | 383.29 | 1.36 | 521.42 | 0.75 |
GhostQ-PG_cegar | 17853.41 | 892.67 | 32.13 | 900.04 | 0.04 | 0.05 |
GhostQ-PG_plain | 18000.7 | 900.04 | 0.02 | 900.03 | 0.03 | 0 |
Heretiq-cube | 5847.89 | 292.39 | 381.67 | 30.15 | 784.91 | 0.7 |
Heretiq-simple | 5280.66 | 264.03 | 373.41 | 30.16 | 562.53 | 0.75 |
ijtihad | 11058.65 | 552.93 | 426.03 | 900.03 | 877.01 | 0.4 |
Iprover-HQSpre-Bloqqer | 17100.75 | 855.04 | 196.16 | 900.04 | 0.04 | 0.05 |
PortfolioDepQBFGhostQRaReQSQute___pf | 2789.81 | 139.49 | 262.75 | 11.08 | 162.88 | 0.9 |
predyndep | 5206.18 | 260.31 | 384.37 | 3.26 | 692.57 | 0.75 |
Qute_default | 5709.36 | 285.47 | 405.77 | 3.03 | 899 | 0.7 |
Qute_opt500 | 9166.52 | 458.33 | 441.91 | 477.76 | 891.45 | 0.5 |
Qute_random | 9165.34 | 458.27 | 441.96 | 477.24 | 891.45 | 0.5 |
Rareqs_2018 | 10030.12 | 501.51 | 441.02 | 900.02 | 896.04 | 0.45 |