Suite Miller-Scholl-Becker results for solvers
QBFEVAL'18 - Prenex CNF Track

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Caqe-bloqqer377.737.7746.5912.0231.851
Caqe-bloqqer-qdo420.1642.0248.6819.250.831
Caqe-hqspre5324.34532.43415.85806.64891.410.5
Cued_2_20186373.74637.37401.45900.01886.630.3
Cued_3_20186338.74633.87406.63900.04886.650.3
depqbf_prefix_opt_qdo6583.82658.38362.77900.02894.530.4
depqbf_pre_QxQBH7329.08732.91334.27900.04832.220.2
GhostQ-PG_cegar7868.97786.9268.63900.03241.930.2
GhostQ-PG_plain7232.35723.24353.65900.03868.970.2
Heretiq-cube5608.93560.89416.24900.02868.760.4
Heretiq-simple5605.12560.51416.64900.01868.240.4
ijtihad7275.83727.58345.32900.03825.710.2
Iprover-HQSpre-Bloqqer9000.48900.050.03900.050.040
PortfolioDepQBFGhostQRaReQSQute___pf8108.19810.82267.74900.060.060.1
predyndep7108.06710.81291.83900.02602.410.3
Qute_default2327.33232.73336.4786.71109.220.8
Qute_opt5003944.74394.47414.62125.88881.350.6
Qute_random3946.32394.63414.53127.03881.250.6
Rareqs_20185967.08596.71380.31900.03872.960.4