Family s820 results for solvers
QBFEVAL'16 - Prenex CNF Track.


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve5291.89529.19176.34599.72116.330.2
aqua-f3v4125.41412.54244.08599.93593.940.4
aqua-s2v4091.83409.18248.75599.92594.270.4
aqua-s3o3903.74390.37261.21599.92593.740.4
caqe-minisat3789.8378.98246.52510.4589.610.5
caqe-picosat3370.67337.07236.31351.325260.7
depqbf-v15924.9592.490.52592.220.30
depqbf-v23855.62385.56258.69592.13586.610.4
depqbf-v34143.62414.36232.19551.14593.220.5
ghostq-cegar231.6923.1716.582127.071
ghostq-plain217.1521.7216.1519.0623.961
hiqqer14526.59452.66206.1599.71465.640.4
hiqqer1ldsq4544.16454.42205.89599.71461.260.4
hiqqer34836.37483.64189.01599.81460.210.3
iprover-QBF1459.16145.92148.9580.5847.790
iprover-QBF-bloqqer1198.25119.838084.1869.20.1
qesto3267.81326.78236.61391.41464.50.7
qestos3412.49341.25148.95362.771620.1
qsts3.210.320.180.320.331
rareqs991.5499.1591.8695.84116.11
squeezebf+struqs5710.22571.0286.23599.760.10.1
struqs-105761.09576.1170.87599.7100.1
xb-bid-qsts2901.64290.16235.16205.03443.570.7
xb-qsts2828.68282.87238.09169.65443.390.7