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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Caqe-bloqqer-qdo3011.82602.36376.88900.06744.250.4
Caqe-hqspre4441.08888.2223.66900.0429.590.2
caqe-pre3831.32766.26179.43900.03334.480.4
depqbf_prefix_opt_qdo3632.14726.43347.23900.03434.040.2
depqbf_pre_QxQBH2901.39580.28395.93900.06799.520.4
GhostQ___cegar_pcnf_2019592.26118.45195.937.2637.871
GhostQ___plain_pcnf_20191220.51244.1337.5146.06117.350.8
Hiqqer2019_13600.19720.04360.02900.01450.040.2
Hiqqer2019_23601.12720.22359.66900.03449.60.2
Hiqqer2019_33600.16720.03360.02900.01450.040.2
Qute_default4500.1900.020.01900.020.010
Qute_opt5001040.76208.15347.8432.164.320
Qute_rrs4500.25900.050.03900.070.060