Family ITC99 results for solvers
QBFEVAL'18 - Prenex CNF Track


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Caqe-bloqqer4645.19464.52436.21497.35900.020.5
Caqe-bloqqer-qdo6315.91631.59410.08900.03897.970.3
Caqe-hqspre3651.46365.15436.8622.63899.010.6
Cued_2_20186491.8649.18385.75900.01892.80.3
Cued_3_20186492.57649.26385.68900.02892.780.3
depqbf_prefix_opt_qdo2722.78272.28410.982.4517.360.7
depqbf_pre_QxQBH2021.6202.16350.421.8281.70.8
GhostQ-PG_cegar2655.63265.56378.5927.6560.220.8
GhostQ-PG_plain2405.23240.52356.0922.4173.050.8
Heretiq-cube5018.1501.81409.11611.85900.050.5
Heretiq-simple5594.34559.43420.36900.02899.490.4
ijtihad4817.48481.75421.84536.68899.490.5
Iprover-HQSpre-Bloqqer4507.4450.74449.28451.39899.360.5
PortfolioDepQBFGhostQRaReQSQute___pf2176.44217.64346.7127.254.60.8
predyndep2248.54224.85345.1219.21129.560.8
Qute_default4514.37451.44448.63454.56899.140.5
Qute_opt5004514.26451.43448.62454.55899.070.5
Qute_random4514.2451.42448.61454.55899.10.5
Rareqs_20185421.94542.19438.27900.01899.460.4