Family Reduction-finding results for solvers
QBFEVAL'18 - Prenex CNF Track


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Caqe-bloqqer3528352.8388.59132.76525.550.7
Caqe-bloqqer-qdo3861.33386.13385.44255.3586.240.7
Caqe-hqspre4841.71484.17419.83557.65894.570.5
Cued_2_20187982.66798.27261.24900.02142.640.2
Cued_3_20188048.95804.9260.14900.0379.190.2
depqbf_prefix_opt_qdo9000.39900.040.02900.050.040
depqbf_pre_QxQBH9000.39900.040.02900.040.030
GhostQ-PG_cegar3645.51364.55375.27247.14140.7
GhostQ-PG_plain7828.61782.86271.73900.02278.30.2
Heretiq-cube6688.21668.82323.3829.41792.680.2
Heretiq-simple6901.63690.16335.4900.03735.590.3
ijtihad8100.85810.09269.92900.050.050.1
Iprover-HQSpre-Bloqqer8219.64821.96234.28900.060.040.1
PortfolioDepQBFGhostQRaReQSQute___pf9000.4900.040.02900.040.030
predyndep8128.95812.9261.45900.040.050.1
Qute_default8272.51827.25218.38900.030.040.1
Qute_opt5007243.02724.3351.55900.04865.270.2
Qute_random7242.48724.25351.64900.04865.430.2
Rareqs_20183949.04394.9415.61149.06897.730.6