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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Caqe-bloqqer-qdo9035.12451.76448.29455.54897.60.5
Caqe-hqspre9028.66451.43448.61455.53899.160.5
caqe-pre9029.02451.45448.61455.55899.130.5
depqbf_prefix_opt_qdo4254.96212.75363.260.5299.090.8
depqbf_pre_QxQBH5279.05263.95390.161.6751.340.75
GhostQ___cegar_pcnf_201917878893.926.78900.040.020.05
GhostQ___plain_pcnf_201918000.98900.050.03900.040.050
Hiqqer2019_117242.67862.13165.1900.020.060.05
Hiqqer2019_217243.33862.17165.09900.050.030.05
Hiqqer2019_317242.99862.15165.16900.030.040.05
Qute_default7529.4376.47430.7117.76894.790.6
Qute_opt5000.290.010.06000.05
Qute_rrs5730.05286.5403.2710.3894.660.7