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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Caqe-bloqqer-qdo9032.43451.62448.43454.05897.80.5
Caqe-hqspre7738.66386.93424.4885.54895.170.6
caqe-pre7738.74386.94424.4885.55895.150.6
depqbf_prefix_opt_qdo11808.72590.44298.29534.91546.660.55
depqbf_pre_QxQBH14922.46746.12312.03900.030.040.2
GhostQ___cegar_pcnf_20191124.8956.24118.1619.5944.391
GhostQ___plain_pcnf_201918001.13900.060.03900.060.040
Hiqqer2019_111781.56589.08307.01681.42599.870.6
Hiqqer2019_213083.51654.18267.09762.08495.580.6
Hiqqer2019_311786.45589.32306.86682.19599.890.6
Qute_default17101.63855.08195.97900.030.050.05
Qute_opt50033.41.670.861.511.70
Qute_rrs18000.98900.050.03900.060.050