Family HardwareFixpoint results for solvers
QBFEVAL'18 - Prenex 2QBF Track


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
aspq2v341430.91583.53429.33900.01899.190.352
aspq3alt32695.75460.5446.18900898.360.493
ASPQ_201832694.93460.49446.2900898.370.493
CADET_20179768.37137.58307.1806.60.887
Caqe-bloqqer40574.57571.47432.31900.01899.290.366
Caqe-bloqqer-qdo30819.12434.07446.7819.28898.530.521
Caqe-hqspre22852.06321.86414.4218.04898.190.676
Cued_2_201831772.42447.5439.3361.13897.550.521
Cued_3_201831713.86446.67439.36357.59897.540.521
depqbf_prefix_opt_qdo62102.56874.68148.92900.030.030.028
depqbf_pre_QxQBH25710.52362.12408.2255.5897.30.648
GhostQ-PG_cegar14170.39199.58351.518.2939.590.732
GhostQ-PG_plain14797.93208.42353.487.21168.810.732
Heretiq-cube26478.02372.93303.71464.43523.790.366
Heretiq-simple40826.86575.03428.62900.02899.290.366
ijtihad41560.93585.37427.14900.03899.290.352
Iprover-HQSpre-Bloqqer27297.39384.47422.9371.81897.60.606
PortfolioDepQBFGhostQRaReQSQute___pf24445.43344.3414.8120.01891.120.648
predyndep20249.7285.21382.8137.41897.330.732
Qute_default21887.11308.27403.2623.46896.920.69
Qute_opt50020798.52292.94390.7823.24896.910.718
Qute_random20607.81290.25387.0923.41896.920.732
Rareqs_201838138.06537.16437.48900.02899.270.408