Suite Mangassarian-Veneris results for solvers
QBFEVAL'18 - Prenex CNF Track

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Caqe-bloqqer8768.58438.43425.74271.32889.230.55
Caqe-bloqqer-qdo15525.66776.28291.57900.034.370.25
Caqe-hqspre9973.4498.67361.89596.94780.930.7
Cued_2_201817326.27866.31144.19900.030.050.1
Cued_3_201817264.29863.21149.65900.020.030.1
depqbf_prefix_opt_qdo12685.68634.28384.01900.03776.410.35
depqbf_pre_QxQBH12457.22622.86380.43900.02811.830.4
GhostQ-PG_cegar16176.8808.84215.67900.040.040.15
GhostQ-PG_plain16938.06846.9181.14900.040.060.05
Heretiq-cube9658.19482.91424.33693.53889.580.6
Heretiq-simple9495.76474.79426.09612.01889.630.6
ijtihad8736.57436.83407.1414.21889.610.6
Iprover-HQSpre-Bloqqer9744.87487.24388.59503.97818.690.65
PortfolioDepQBFGhostQRaReQSQute___pf13020.94651.05330.65900.03553.750.25
predyndep13404.67670.23325.63900.01487.20.4
Qute_default10136.92506.85358.83551.8777.950.6
Qute_opt5009982.38499.12357.85496.18781.850.6
Qute_random9541.9477.1341.34480.69773.560.7
Rareqs_20187316.09365.8394.24134.74893.370.7