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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
aspq2v31800.11200.01374.19000.778
aspq3alt2700.7300.08424.230450.310.667
ASPQ_20182700.73300.08424.230450.320.667
CADET_20172713.1301.46423.271.08454.660.667
Caqe-bloqqer901.98100.22282.77000.889
Caqe-bloqqer-qdo2700.83300.09424.250450.330.667
Caqe-hqspre4530.14503.35443.64900.06900.080.444
Cued_2_20181191.26132.36282.7017.470.889
Cued_3_20181188.72132.08282.58017.430.889
depqbf_prefix_opt_qdo5400.14600.02424.28900900.030.333
depqbf_pre_QxQBH1808.43200.94373.671.483.180.778
GhostQ-PG_cegar8100.39900.040.02900.040.020
GhostQ-PG_plain8100.56900.060.02900.070.030
Heretiq-cube1004.98111.66209.02000.778
Heretiq-simple1800.01200374.17000.778
ijtihad1800.1200.01374.1800.010.778
Iprover-HQSpre-Bloqqer4500.13500.01447.23900.01900.020.444
PortfolioDepQBFGhostQRaReQSQute___pf5565.49618.39400.21900.02820.050.333
predyndep1802.99200.33374.0101.460.778
Qute_default5405.38600.6423.45900897.380.333
Qute_opt5004514.1501.57445.51900.01896.840.444
Qute_random4514.04501.56445.51900.01896.830.444
Rareqs_2018958.3106.48281.14000.889