Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
Caqe-bloqqer-qdo | 2272.74 | 284.09 | 363.93 | 81.6 | 556.2 | 0.75 |
Caqe-hqspre | 1323.69 | 165.46 | 285.85 | 35.18 | 162.56 | 0.875 |
caqe-pre | 1329.06 | 166.13 | 286.04 | 34.87 | 165.64 | 0.875 |
depqbf_prefix_opt_qdo | 7200 | 900 | 0 | 900 | 0 | 0 |
depqbf_pre_QxQBH | 7200 | 900 | 0 | 900 | 0 | 0 |
GhostQ___cegar_pcnf_2019 | 7200 | 900 | 0 | 900 | 0 | 0 |
GhostQ___plain_pcnf_2019 | 7200 | 900 | 0 | 900 | 0 | 0 |
iprover_bloqqer_schedule | 5510.82 | 688.85 | 365.97 | 900 | 408.67 | 0.25 |
iprover_bloqqer_single | 5510.84 | 688.86 | 365.97 | 900 | 408.68 | 0.25 |
nanoqbf_bloqqer | 6315.21 | 789.4 | 292.62 | 900 | 0 | 0.125 |
nanoqbf_hqspre | 6323.28 | 790.41 | 289.95 | 900 | 0 | 0.125 |
Qute_default | 5622.89 | 702.86 | 345.57 | 900 | 341.13 | 0.25 |
Qute_opt500 | 228.65 | 28.58 | 64.83 | 4.36 | 5.15 | 0 |
Qute_rrs | 5608.07 | 701.01 | 348.27 | 900 | 347.97 | 0.25 |
Rareqs_2018 | 4823.89 | 602.99 | 394.51 | 900 | 738.06 | 0.375 |