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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
aspq2v3498.5183.09112.588.98.691
aspq3alt541.4290.24115.5915.6112.071
ASPQ_2018543.7690.63116.5115.611.91
CADET_20175400.27900.050.03900.060.050
Caqe-bloqqer3731.16621.86395.04900.03896.720.333
Caqe-bloqqer-qdo3667.52611.25408.71900.03893.040.333
Caqe-hqspre3673.91612.32407.45900.05898.760.333
Cued_2_20184510.73751.79331.51900.03889.540.167
Cued_3_20184510.69751.78331.52900.03889.540.167
depqbf_prefix_opt_qdo5400.34900.060.03900.060.040
depqbf_pre_QxQBH4501.74750.29334.82900.02898.420.167
GhostQ-PG_cegar5400.29900.050.02900.050.040
GhostQ-PG_plain5400.22900.040.03900.030.040
Heretiq-cube4777.19796.2232.21900.03623.060.167
Heretiq-simple5400.18900.030.02900.030.040
ijtihad5400.28900.050.03900.060.050
Iprover-HQSpre-Bloqqer4501.49750.25334.92900.02898.680.167
PortfolioDepQBFGhostQRaReQSQute___pf4507.38751.23332.72900.01892.770.167
predyndep4507.63751.27332.63900.03892.540.167
Qute_default3755.07625.85390.26900.02898.750.333
Qute_opt5003014.98502.5402.33557.63898.710.5
Qute_random3009.59501.6403.01555.37898.710.5
Rareqs_20183689.53614.92403.82900.03893.450.333