Family hwmcc results for solvers
QBFEVAL'17 - Prenex 2QBF Track


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
ASPQ22861.78715.4515.81708.3420.190
CADET_20173600900090000
caqe_2017_v13600900090000
caqe_2017_v23600900090000
caqe_2017_v33600900090000
CUED1919_NL1853.74463.4498.54477.1190.910
CUED1919_NNL3600900090000
dynQBF-bloqqer-hqspre3600900090000
DynQBF-bloqqer-hqspre-it3600900090000
DynQBF-bloqqer-variant3600900090000
ghostq-cegar1916.9479.23420.78479.35841.550
GhostQ-PG_cegar3600900090000
GhostQ-PG_plain3600900090000
heretiq3600900090000
ijtihad_v13600900090000
ijtihad_v23600900090000
iProver-qbf-2017-07-27-v32876.9719.23180.78720.29361.550
iProver-qbf-bloqqer-2017-07-27-v33600900090000
no-prefix-opt-depqbf3600900090000
qbfrelay403.21100.848.1873.4557.171
qbfrelay-limited-depqbf638.69159.6715.38158.5722.731
QELL_default3600900090000
QELL_unit3600900090000
qesto3600900090000
rareqs3600900090000
rev_qfun0.11910.09477.52422.48477.66844.960
xb-qsts_bqsts2.03600900090000
xb-qsts_xbqsts1.03600900090000
xb-qsts_xbqsts2.03600900090000