Family Reduction-finding results for solvers
QBFEVAL'19 - Prenex CNF Track


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Caqe-bloqqer-qdo7288.13303.67375.2433.597110.75
Caqe-hqspre10040.75418.36420.17165.75891.430.583
caqe-pre9204.76383.53391.17166.1891.420.708
depqbf_prefix_opt_qdo17225.46717.73356.12900.040.050.208
depqbf_pre_QxQBH17351.29722.97347.72900.020.030.208
GhostQ___cegar_pcnf_20194778.18199.09305.0630.4249.570.875
GhostQ___plain_pcnf_201915902.86662.62386.36900.04601.550.292
Hiqqer2019_115350.06639.59385.93899.79699.520.333
Hiqqer2019_215362.54640.11385.53899.78698.320.333
Hiqqer2019_315375.61640.65385.18899.49697.110.333
Qute_default16356.28681.51379.07900.04394.90.25
Qute_opt500396.2216.5131.822.2417.070
Qute_rrs15392.06641.34403.27900.02863.720.292