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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
ASPQ224534.59700.990.15700.970.220
CADET_2017140.184.010.963.961.371
caqe_2017_v131500900090000
caqe_2017_v231500900090000
caqe_2017_v331500900090000
CUED1919_NL15597.28445.64190.59363.145.810
CUED1919_NNL31500900090000
dynQBF-bloqqer-hqspre504.9714.436.0113.758.411
DynQBF-bloqqer-hqspre-it506.4414.476.0713.778.361
DynQBF-bloqqer-variant472.5913.55.6912.277.721
ghostq-cegar4881.06139.46110.35112.8489.061
GhostQ-PG_cegar3551.29101.4745.3994.2933.851
GhostQ-PG_plain31500900090000
heretiq31500900090000
ijtihad_v131500900090000
ijtihad_v231500900090000
iProver-qbf-2017-07-27-v331500900090000
iProver-qbf-bloqqer-2017-07-27-v328813.98823.26250.6490000.086
no-prefix-opt-depqbf31500900090000
qbfrelay488.3813.9510.8211.625.671
qbfrelay-limited-depqbf26291.15751.18304.37889.061.670.171
QELL_default31500900090000
QELL_unit31500900090000
qesto31500900090000
rareqs31500900090000
rev_qfun0.11998.3257.0914.0658.0524.341
xb-qsts_bqsts2.028814.33823.27250.6190000.086
xb-qsts_xbqsts1.028813.98823.26250.6490000.086
xb-qsts_xbqsts2.028814.3823.27250.6190000.086