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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Caqe-bloqqer-qdo5400.33900.060.04900.060.060
Caqe-hqspre4555.02759.17314.96900.02845.140.167
caqe-pre4555.39759.23314.87900.03844.860.167
depqbf_prefix_opt_qdo5400.23900.040.02900.040.030
depqbf_pre_QxQBH4507.02751.17332.25900.03891.820.167
GhostQ___cegar_pcnf_20195400.27900.050.03900.040.030
GhostQ___plain_pcnf_20195400.32900.050.02900.060.040
Hiqqer2019_15400.28900.050.03900.050.050
Hiqqer2019_25400.21900.040.04900.040.080
Hiqqer2019_34604.28767.38296.61900.02795.880.167
Qute_default4693.5782.25263.39900.03706.750.167
Qute_opt5001711.72285.29145.17352.46361.540
Qute_rrs4667.54777.92273.1900.05732.80.167