Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
Caqe-bloqqer-qdo | 92.18 | 18.44 | 15.42 | 19.13 | 24.08 | 1 |
Caqe-hqspre | 20.39 | 4.08 | 3.03 | 3.63 | 4.38 | 1 |
caqe-pre | 20.4 | 4.08 | 3.01 | 3.69 | 4.39 | 1 |
depqbf_prefix_opt_qdo | 111.21 | 22.24 | 26.61 | 11.52 | 16.87 | 1 |
depqbf_pre_QxQBH | 33.32 | 6.66 | 4.62 | 6.39 | 6.85 | 1 |
GhostQ___cegar_pcnf_2019 | 2415.3 | 483.06 | 379.08 | 642.93 | 696.89 | 0.8 |
GhostQ___plain_pcnf_2019 | 2650.13 | 530.03 | 394.15 | 741.99 | 766.93 | 0.6 |
iprover_bloqqer_schedule | 1832.6 | 366.52 | 435.61 | 19.03 | 452.73 | 0.6 |
iprover_bloqqer_single | 1826.95 | 365.39 | 436.53 | 16.91 | 453.44 | 0.6 |
nanoqbf_bloqqer | 1812.47 | 362.49 | 438.89 | 10.28 | 454.05 | 0.6 |
nanoqbf_hqspre | 13.87 | 2.77 | 1.96 | 2.89 | 2.79 | 1 |
Qute_default | 25.42 | 5.08 | 3.83 | 4.34 | 5.39 | 1 |
Qute_opt500 | 25.34 | 5.07 | 3.81 | 4.3 | 5.34 | 1 |
Qute_rrs | 25.41 | 5.08 | 3.83 | 4.26 | 5.32 | 1 |
Rareqs_2018 | 80.21 | 16.04 | 18.69 | 12.9 | 14.61 | 1 |