Suite Ayari results for solvers
QBFEVAL'18 - Prenex CNF Track

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Caqe-bloqqer6457.72538.14391.66711.08856.910.5
Caqe-bloqqer-qdo7654.75637.9374.65900.03701.330.333
Caqe-hqspre5017.83418.15410.74174.4859.160.583
Cued_2_201810800.57900.050.03900.040.060
Cued_3_201810800.56900.050.03900.050.050
depqbf_prefix_opt_qdo10800.46900.040.03900.040.040
depqbf_pre_QxQBH10800.56900.050.03900.050.050
GhostQ-PG_cegar9220.78768.4294.94900.030.030.167
GhostQ-PG_plain9217.83768.15295.47900.010.020.167
Heretiq-cube7197599.75409.49900.03856.770.333
Heretiq-simple7204.89600.41409.84900.03856.710.333
ijtihad7289.61607.47414.05900.03856.530.333
Iprover-HQSpre-Bloqqer7246.14603.85369.14900.04750.180.417
PortfolioDepQBFGhostQRaReQSQute___pf7768.23647.35364.56900.01641.270.333
predyndep7863.96655.33349.86900.02663.480.333
Qute_default4035.3336.28403.43113.77895.940.667
Qute_opt500454.2437.8565.415.5227.341
Qute_random453.3137.7865.325.5527.271
Rareqs_20186754.27562.86408.96900.03856.50.417