Suite Cashmore-Fox-Giunchiglia results for solvers
QBFEVAL'19 - Prenex CNF Track

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Caqe-bloqqer-qdo20383.49783.98255.79900.050.060.192
Caqe-hqspre2115.981.3859.7462.18107.031
caqe-pre2116.0981.3959.9462.11106.741
depqbf_prefix_opt_qdo22996.1884.4777.89900.040.050.038
depqbf_pre_QxQBH14355.79552.15396.91876.18859.60.462
GhostQ___cegar_pcnf_201923400.91900.040.02900.030.020
GhostQ___plain_pcnf_201923401.36900.050.03900.050.050
Hiqqer2019_122826.94877.96110.44900.050.040.038
Hiqqer2019_222820.2877.7111.63900.020.040.038
Hiqqer2019_322816.86877.57112.05900.050.040.038
Qute_default3038.6116.8785.2178.92166.731
Qute_opt5003040.39116.9485.3279.22167.161
Qute_rrs3039.52116.985.0579.2167.821