Suite Letz results for solvers
QBFEVAL'16 - Prenex CNF Track.

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve000001
aqua-f3v000001
aqua-s2v000001
aqua-s3o000001
caqe-minisat0.0300.01001
caqe-picosat0.0200001
depqbf-v10.20.0200.0201
depqbf-v20.20.0200.0201
depqbf-v3000001
ghostq-cegar600.560.05179.950.070.010.9
ghostq-plain600.4960.05179.950.070.010.9
hiqqer10.30.0300.0301
hiqqer1ldsq0.210.0200.0201
hiqqer30.310.0300.0301
iprover-QBF0.60.060.020.060.031
iprover-QBF-bloqqer0.40.0400.0400.2
qesto000001
qestos000001
qsts3.280.330.890.040.031
rareqs000001
squeezebf+struqs0.0100001
struqs-10000001
xb-bid-qsts0.070.010.010.010.011
xb-qsts000001