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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve3598.48514.07209.83599.72599.650.143
aqua-f3v2557.23365.32275.08599.75599.730.286
aqua-s2v2127.2303.89263.64166.43599.670.286
aqua-s3o2148.48306.93249.5244.99536.440.286
caqe-minisat3008.24429.75268.75599.71599.320.286
caqe-picosat3008.72429.82268.62599.7599.310.286
depqbf-v12197.27313.9277.74416.21593.240.571
depqbf-v22387.93341.13290.82592.62592.430.429
depqbf-v32425.34346.48292.55599.71599.630.429
ghostq-cegar1542.84220.41245.8224.88441.970.571
ghostq-plain1708.24244.03218.94342.12367.190.429
hiqqer13000.44428.63270.62599.81599.670.286
hiqqer1ldsq3000.24428.61270.6599.71599.580.286
hiqqer33000.35428.62270.61599.71599.620.286
iprover-QBF2498.36356.91221.62397.54533.360.286
iprover-QBF-bloqqer2887.04412.43260.1599.12597.230.286
qesto2674.96382.14251.96487.62599.660.286
qestos1701.72243.1236.36177.12188.070.286
qsts1826.41260.92179.02265.43387.020.143
rareqs1974.28282.04229.32270.89305.170.286
squeezebf+struqs2806.26400.89256.69599.71599.580.429
struqs-102833.18404.74256.34599.71599.580.429
xb-bid-qsts1518.56216.94232.27147.14157.010.429
xb-qsts1709.72244.25209.93156.93363.620.429