Family Selection-hard results for solvers
QBFEVAL'19 - Prenex CNF Track


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Caqe-bloqqer-qdo997.28199.46350.528.2223.430.8
Caqe-hqspre292.2858.4679.148.2732.831
caqe-pre298.3959.6881.868.2532.261
depqbf_prefix_opt_qdo4500.13900.030.02900.020.020
depqbf_pre_QxQBH3602.1720.42359.25900.03449.060.2
GhostQ___cegar_pcnf_20194421.66884.3331.4900.0139.260.2
GhostQ___plain_pcnf_20194500.1900.020.03900.010.010
Hiqqer2019_12736.81547.36404.63827.51809.140.6
Hiqqer2019_21011.35202.27350.320.651.720.8
Hiqqer2019_32664.81532.96422.69832.11849.760.6
Qute_default1212.69242.54335.43152.21148.860.8
Qute_opt5005.421.080.711.481.260.2
Qute_rrs1218.99243.8335.13153.67152.190.8