Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
Caqe-bloqqer-qdo | 1800 | 900 | 0 | 900 | 0 | 0 |
Caqe-hqspre | 955.24 | 477.62 | 422.38 | 477.62 | 0 | 0.5 |
caqe-pre | 955.07 | 477.54 | 422.47 | 477.54 | 0 | 0.5 |
depqbf_prefix_opt_qdo | 1800 | 900 | 0 | 900 | 0 | 0 |
depqbf_pre_QxQBH | 908.35 | 454.18 | 445.83 | 454.18 | 0 | 0.5 |
GhostQ___cegar_pcnf_2019 | 1800 | 900 | 0 | 900 | 0 | 0 |
GhostQ___plain_pcnf_2019 | 1800 | 900 | 0 | 900 | 0 | 0 |
iprover_bloqqer_schedule | 1800 | 900 | 0 | 900 | 0 | 0 |
iprover_bloqqer_single | 1800 | 900 | 0 | 900 | 0 | 0 |
nanoqbf_bloqqer | 1800 | 900 | 0 | 900 | 0 | 0 |
nanoqbf_hqspre | 1800 | 900 | 0 | 900 | 0 | 0 |
Qute_default | 1107.8 | 553.9 | 346.1 | 553.9 | 0 | 0.5 |
Qute_opt500 | 195.23 | 97.62 | 91.09 | 97.62 | 0 | 0 |
Qute_rrs | 1087.93 | 543.97 | 356.04 | 543.97 | 0 | 0.5 |
Rareqs_2018 | 1800 | 900 | 0 | 900 | 0 | 0 |