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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Caqe-bloqqer11050.27552.51425.82900.02856.940.4
Caqe-bloqqer-qdo9020.15451.01449.03452.36898.310.5
Caqe-hqspre9020.12451.01449.03452.36898.330.5
Cued_2_201818000.91900.050.02900.050.040
Cued_3_201818000.77900.040.02900.040.030
depqbf_prefix_opt_qdo4289.65214.48364.910.5316.220.8
depqbf_pre_QxQBH4792.45239.62383.291.36521.420.75
GhostQ-PG_cegar17853.41892.6732.13900.040.040.05
GhostQ-PG_plain18000.7900.040.02900.030.030
Heretiq-cube5847.89292.39381.6730.15784.910.7
Heretiq-simple5280.66264.03373.4130.16562.530.75
ijtihad11058.65552.93426.03900.03877.010.4
Iprover-HQSpre-Bloqqer17100.75855.04196.16900.040.040.05
PortfolioDepQBFGhostQRaReQSQute___pf2789.81139.49262.7511.08162.880.9
predyndep5206.18260.31384.373.26692.570.75
Qute_default5709.36285.47405.773.038990.7
Qute_opt5009166.52458.33441.91477.76891.450.5
Qute_random9165.34458.27441.96477.24891.450.5
Rareqs_201810030.12501.51441.02900.02896.040.45