Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
Caqe-bloqqer-qdo | 9000 | 900 | 0 | 900 | 0 | 0 |
Caqe-hqspre | 5512.09 | 551.21 | 321.14 | 621.71 | 705.74 | 0.7 |
caqe-pre | 6136.08 | 613.61 | 356.16 | 900 | 777.57 | 0.4 |
depqbf_prefix_opt_qdo | 9000 | 900 | 0 | 900 | 0 | 0 |
depqbf_pre_QxQBH | 8942.34 | 894.23 | 9.42 | 900 | 17.66 | 0 |
GhostQ___cegar_pcnf_2019 | 9000 | 900 | 0 | 900 | 0 | 0 |
GhostQ___plain_pcnf_2019 | 9000 | 900 | 0 | 900 | 0 | 0 |
iprover_bloqqer_schedule | 9000 | 900 | 0 | 900 | 0 | 0 |
iprover_bloqqer_single | 9000 | 900 | 0 | 900 | 0 | 0 |
nanoqbf_bloqqer | 5596.63 | 559.66 | 311.36 | 544.67 | 724.81 | 0.2 |
nanoqbf_hqspre | 5770.23 | 577.02 | 329.01 | 688.4 | 770.18 | 0.6 |
Qute_default | 5901.73 | 590.17 | 336.7 | 751.99 | 767.47 | 0.5 |
Qute_opt500 | 4590.62 | 459.06 | 250.33 | 483.22 | 426.35 | 0.4 |
Qute_rrs | 5814.5 | 581.45 | 337.13 | 705.77 | 768.62 | 0.5 |
Rareqs_2018 | 7112.63 | 711.26 | 260.63 | 900 | 586.68 | 0.4 |