Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
Caqe-bloqqer-qdo | 4508.11 | 751.35 | 332.39 | 900 | 891.89 | 0.167 |
Caqe-hqspre | 4504.8 | 750.8 | 333.62 | 900 | 895.2 | 0.167 |
caqe-pre | 4504.85 | 750.81 | 333.6 | 900 | 895.15 | 0.167 |
depqbf_prefix_opt_qdo | 5400 | 900 | 0 | 900 | 0 | 0 |
depqbf_pre_QxQBH | 4209.47 | 701.58 | 203.37 | 742.81 | 467.47 | 0.5 |
GhostQ___cegar_pcnf_2019 | 5400 | 900 | 0 | 900 | 0 | 0 |
GhostQ___plain_pcnf_2019 | 5400 | 900 | 0 | 900 | 0 | 0 |
iprover_bloqqer_schedule | 5400 | 900 | 0 | 900 | 0 | 0 |
iprover_bloqqer_single | 5185.12 | 864.19 | 80.08 | 900 | 214.88 | 0.167 |
nanoqbf_bloqqer | 5400 | 900 | 0 | 900 | 0 | 0 |
nanoqbf_hqspre | 5400 | 900 | 0 | 900 | 0 | 0 |
Qute_default | 1287.99 | 214.67 | 328.35 | 23.75 | 38.09 | 0.833 |
Qute_opt500 | 4.22 | 0.7 | 1 | 0 | 0 | 0 |
Qute_rrs | 1287.95 | 214.66 | 327.91 | 25.34 | 41.09 | 0.833 |
Rareqs_2018 | 1386.73 | 231.12 | 307.83 | 102.7 | 146.78 | 0.833 |