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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Caqe-bloqqer6371.42637.14353.82900881.220.4
Caqe-bloqqer-qdo5854.65585.47389.8900.01864.940.4
Caqe-hqspre4737.32473.73428.04524.93895.510.5
Cued_2_20189000.52900.050.03900.050.060
Cued_3_20189000.43900.040.03900.050.050
depqbf_prefix_opt_qdo9000.4900.040.03900.050.060
depqbf_pre_QxQBH9000.37900.040.02900.040.040
GhostQ-PG_cegar9000.28900.030.02900.030.030
GhostQ-PG_plain9000.22900.020.02900.020.020
Heretiq-cube7110.41711.04356.12900.05898.30.2
Heretiq-simple7118.2711.82356.37900.04898.440.2
ijtihad7202.52720.25359.6900.03898.280.2
Iprover-HQSpre-Bloqqer6946.39694.64336.5900.04841.360.3
PortfolioDepQBFGhostQRaReQSQute___pf7250.69725.07350.03900.02855.710.2
predyndep6063.88606.39364.02900.01733.60.4
Qute_default3807.77380.78427.498.37898.30.6
Qute_opt500226.3722.6454.64.524.731
Qute_random229.8722.9955.644.444.871
Rareqs_20186667.15666.72368.63900.04898.370.3