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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve1234.05176.29267.819.2210.980.714
aqua-f3v448.4664.0774.7914.0963.830.714
aqua-s2v470.5667.2277.154.66110.110.714
aqua-s3o1013.22144.75198.2628.14170.20.571
caqe-minisat87.6212.529.468.221.521
caqe-picosat91.2913.0412.965.343.261
depqbf-v12.430.350.270.210.341
depqbf-v266.919.569.984.424.11
depqbf-v331.914.565.41.471.591
ghostq-cegar787.2112.46202.427.2335.590.857
ghostq-plain1215.96173.71269.593.656.220.714
hiqqer134.384.915.422.042.191
hiqqer1ldsq34.244.895.412.042.181
hiqqer359.918.569.73.53.651
iprover-QBF2656.96379.57256.46599.22594.340.429
iprover-QBF-bloqqer1460.64208.66212.5483.07130.220.857
qesto25.893.75.10.661.721
qestos7.061.010.980.490.51
qsts1351.4193.06176.21244.23293.940.429
rareqs6.530.930.880.490.51
squeezebf+struqs686.9798.14205.344.2633.150.857
struqs-10695.1999.31204.984.3835.80.857
xb-bid-qsts135.2119.3212.9128.9127.691
xb-qsts78.5111.2212.134.714.151