Suite Ayari results for solvers
QBFEVAL'19 - Prenex CNF Track

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Caqe-bloqqer-qdo5869.98489.17415.65578.79868.250.5
Caqe-hqspre3624.43302.04363.53107.13648.770.75
caqe-pre3643.37303.61363106.41647.350.75
depqbf_prefix_opt_qdo10800.52900.040.03900.040.050
depqbf_pre_QxQBH10800.48900.040.02900.030.040
GhostQ___cegar_pcnf_20199181.79765.15301.81900.020.020.167
GhostQ___plain_pcnf_20199176.07764.67302.86900.030.030.167
Hiqqer2019_18142678.5383.5899.83439.270.25
Hiqqer2019_28368.15697.35355.9900.01320.590.25
Hiqqer2019_38144.19678.68382.84899.86438.050.25
Qute_default7653.89637.82374.34900.02701.690.333
Qute_opt500466.7938.967.25.8327.730
Qute_rrs7632.85636.07376.36900.02711.80.333