Suite Narizzano results for solvers
QBFEVAL'16 - Random QBFs Track.

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
aqua-f3v14357.62119.65145.4888.7982.40.942
aqua-s2v13861.11115.51139.9589.280.230.942
aqua-s3o12319.48102.66128.3788.4565.250.95
caqe-minisat5152.6142.94120.717.6214.750.967
caqe-picosat5348.0444.57121.487.7216.760.967
depqbf-v112729.67106.08196.445.6690.720.875
depqbf-v26907.4257.56130.5118.9636.750.95
depqbf-v39345.3677.88159.8617.5133.070.933
hiqqer14688.1139.07126.992.644.710.958
hiqqer1ldsq4675.938.97126.782.634.820.958
hiqqer34218.2935.15122.243.095.590.958
iprover-QBF57944.97482.87184.15596.39131.830.175
iprover-QBF-bloqqer40310.57335.92265.61479.35586.380.358
qesto3139.7126.1697.923.766.740.975
qestos7097.3859.14153.614.2414.240.917
qsts4138.934.49110.51.1710.050.975
rareqs1160.459.6743.592.914.871
squeezebf+struqs63180.93526.51182.42599.7100.175
struqs-1064566.91538.06178.29599.7100.125
xb-bid-qsts3856.7432.1498.068.1816.520.975
xb-qsts3669.1930.5897.247.914.370.975