Suite Akshay-Chakraborty-John-Shah-Rabe results for solvers
QBFEVAL'19 - Prenex CNF Track

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Caqe-bloqqer-qdo4502.11264.83410.030450.550.706
Caqe-hqspre8184.26481.43444.42900.01900.050.471
caqe-pre5483.62322.57332.83449.92449.980.824
depqbf_prefix_opt_qdo9000.35529.43442.95900900.040.412
depqbf_pre_QxQBH3614.21212.6381.330.784.360.765
GhostQ___cegar_pcnf_201915300.86900.050.02900.050.020
GhostQ___plain_pcnf_201915300.7900.040.02900.040.030
Hiqqer2019_14499.82264.7410.060449.830.706
Hiqqer2019_23611.78212.46381.4105.820.765
Hiqqer2019_34500.18264.72410.10450.010.706
Qute_default8109.21477.01448.68900900.020.471
Qute_opt50041.212.424.8401.480.353
Qute_rrs8111.07477.12448.58900.01900.040.471