Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
Caqe-bloqqer-qdo | 1767.45 | 196.38 | 266.29 | 105.96 | 151.96 | 0.889 |
Caqe-hqspre | 4608.52 | 512.06 | 434.17 | 900 | 881.58 | 0.444 |
caqe-pre | 3444.7 | 382.74 | 336.57 | 519.12 | 554.93 | 0.889 |
depqbf_prefix_opt_qdo | 7200.01 | 800 | 282.84 | 900 | 0 | 0.111 |
depqbf_pre_QxQBH | 7200 | 800 | 282.84 | 900 | 0 | 0.111 |
GhostQ___cegar_pcnf_2019 | 8100 | 900 | 0 | 900 | 0 | 0 |
GhostQ___plain_pcnf_2019 | 8100 | 900 | 0 | 900 | 0 | 0 |
iprover_bloqqer_schedule | 7968.83 | 885.43 | 41.22 | 900 | 0 | 0.111 |
iprover_bloqqer_single | 7223.51 | 802.61 | 275.45 | 900 | 0 | 0.111 |
nanoqbf_bloqqer | 8100 | 900 | 0 | 900 | 0 | 0 |
nanoqbf_hqspre | 7200 | 800 | 282.84 | 900 | 0 | 0.111 |
Qute_default | 2408.65 | 267.63 | 293.93 | 176.05 | 313.39 | 0.889 |
Qute_opt500 | 10.13 | 1.13 | 0.7 | 0.75 | 1.19 | 0.111 |
Qute_rrs | 2473.55 | 274.84 | 297.34 | 181.98 | 329.66 | 0.889 |
Rareqs_2018 | 5245.02 | 582.78 | 367.48 | 900 | 695.18 | 0.444 |