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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
aspq2v38636.59431.83435.62254.298990.55
aspq3alt8654.65432.73435.73263.17898.950.55
ASPQ_20188652.26432.61435.7262.14898.980.55
CADET_201711522.43576.12403.88900.02839.480.4
Caqe-bloqqer11051.42552.57425.76900.03854.690.4
Caqe-bloqqer-qdo9019.98451449.03452.36898.340.5
Caqe-hqspre9020.12451.01449.04452.42898.350.5
Cued_2_201818001900.050.03900.060.050
Cued_3_201818000.73900.040.03900.020.040
depqbf_prefix_opt_qdo4269.97213.5363.970.51306.610.8
depqbf_pre_QxQBH5303.52265.18391.641.34766.380.75
GhostQ-PG_cegar17862.71893.1430.05900.020.030.05
GhostQ-PG_plain18000.63900.030.02900.030.040
Heretiq-cube4248.28212.41331.4930.14147.980.8
Heretiq-simple5061.39253.07375.3430.2504.920.75
ijtihad11059.64552.98425.98900.02876.590.4
Iprover-HQSpre-Bloqqer17100.87855.04196.16900.040.050.05
PortfolioDepQBFGhostQRaReQSQute___pf2788.11139.41262.7210.94161.920.9
predyndep5236.4261.82385.343.24707.610.75
Qute_default5717.79285.89405.743.068990.7
Qute_opt5009166.56458.33441.91477.6891.450.5
Qute_random9166.48458.32441.9477.8891.470.5
Rareqs_201810029.51501.48441.03900896.010.45