Suite Lee-Jiang results for solvers
QBFEVAL'18 - Prenex CNF Track

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Caqe-bloqqer3551.9710.38355.68900.05474.210.4
Caqe-bloqqer-qdo3060.44612.09370.07900719.890.4
Caqe-hqspre4458.09891.6216.88900.0521.120.2
Cued_2_20183603.03720.61358.86900.02448.580.2
Cued_3_20183602.98720.6358.85900.02448.580.2
depqbf_prefix_opt_qdo3632.39726.48347.1900.01433.870.2
depqbf_pre_QxQBH2895.53579.11397.33900.03802.340.4
GhostQ-PG_cegar710.66142.13242.1237.6938.871
GhostQ-PG_plain1225.11245.02337.2546.08117.610.8
Heretiq-cube2685.04537.01342.28531.57539.150.4
Heretiq-simple3096619.2366.04900.03702.110.4
ijtihad3034.86606.97374.23900.02732.70.4
Iprover-HQSpre-Bloqqer4500.17900.030.02900.030.020
PortfolioDepQBFGhostQRaReQSQute___pf1166.39233.28333.9985.1344.560.8
predyndep2708.98541.8438.75900.01895.580.4
Qute_default4500.17900.030.02900.030.010
Qute_opt5004500.21900.040.01900.050.020
Qute_random4500.15900.030.02900.020.010
Rareqs_20183600.2720.04360.02900.02450.050.2