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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Caqe-bloqqer-qdo105.4610.554.7411.1510.161
Caqe-hqspre28.032.81.342.892.81
caqe-pre28.292.831.372.932.81
depqbf_prefix_opt_qdo107.4510.755.0610.949.991
depqbf_pre_QxQBH149.7214.977.0315.0114.631
GhostQ___cegar_pcnf_20193158.08315.81205.95290.61274.30.8
GhostQ___plain_pcnf_20193154.62315.46205.62288.78276.930.8
Hiqqer2019_129.042.91.392.932.771
Hiqqer2019_219.31.930.961.9821
Hiqqer2019_328.612.861.442.923.071
Qute_default35.343.531.613.623.421
Qute_opt50035.223.521.673.583.531
Qute_rrs35.183.521.663.563.471