Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
Caqe-bloqqer-qdo | 7288.13 | 303.67 | 375.24 | 33.59 | 711 | 0.75 |
Caqe-hqspre | 10040.75 | 418.36 | 420.17 | 165.75 | 891.43 | 0.583 |
caqe-pre | 9204.76 | 383.53 | 391.17 | 166.1 | 891.42 | 0.708 |
depqbf_prefix_opt_qdo | 17225.46 | 717.73 | 356.12 | 900.04 | 0.05 | 0.208 |
depqbf_pre_QxQBH | 17351.29 | 722.97 | 347.72 | 900.02 | 0.03 | 0.208 |
GhostQ___cegar_pcnf_2019 | 4778.18 | 199.09 | 305.06 | 30.4 | 249.57 | 0.875 |
GhostQ___plain_pcnf_2019 | 15902.86 | 662.62 | 386.36 | 900.04 | 601.55 | 0.292 |
Hiqqer2019_1 | 15350.06 | 639.59 | 385.93 | 899.79 | 699.52 | 0.333 |
Hiqqer2019_2 | 15362.54 | 640.11 | 385.53 | 899.78 | 698.32 | 0.333 |
Hiqqer2019_3 | 15375.61 | 640.65 | 385.18 | 899.49 | 697.11 | 0.333 |
Qute_default | 16356.28 | 681.51 | 379.07 | 900.04 | 394.9 | 0.25 |
Qute_opt500 | 396.22 | 16.51 | 31.82 | 2.24 | 17.07 | 0 |
Qute_rrs | 15392.06 | 641.34 | 403.27 | 900.02 | 863.72 | 0.292 |