Family tipdiam results for solvers
QBFEVAL'19 - Prenex CNF Track


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Caqe-bloqqer-qdo9000.49900.050.03900.060.040
Caqe-hqspre4768.68476.87428.33570.02898.720.5
caqe-pre4770.39477.04428.24570.89898.740.5
depqbf_prefix_opt_qdo8100.31810.03270.01900.020.030.1
depqbf_pre_QxQBH5582.5558.25391.85770.66898.290.5
GhostQ___cegar_pcnf_20194521.75452.18447.85454.56897.840.5
GhostQ___plain_pcnf_20193799.99380427.4796.12898.210.6
Hiqqer2019_19000.32900.030.04900.030.060
Hiqqer2019_29000.33900.030.03900.030.040
Hiqqer2019_39000.4900.040.02900.040.020
Qute_default5403.67540.37440.49900.01900.020.4
Qute_opt50093.59.3511.572.758.230.3
Qute_rrs5403.54540.35440.52900.02900.020.4