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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve3619.92361.99291.3599.71599.660.4
aqua-f3v4202.55420.26273.72599.72599.790.3
aqua-s2v4196.98419.7274.54599.74599.780.3
aqua-s3o4795.78479.58239.76599.68599.770.2
caqe-minisat4797.85479.79239.77599.72599.450.2
caqe-picosat4167.24416.72272.09599.72599.440.4
depqbf-v12979.22297.92295.24301.23593.020.5
depqbf-v23625.47362.55282.6592.53592.410.4
depqbf-v33042.63304.26291.77319.9599.660.6
ghostq-cegar3354.92335.49276.37448.87598.930.4
ghostq-plain3910.44391.04267.7599.71599.210.3
hiqqer13694.89369.49283.24599.76599.660.4
hiqqer1ldsq3694.71369.47283.28599.81599.670.4
hiqqer33773.11377.31276.5599.81599.520.4
iprover-QBF10.811.082.490.160.240
iprover-QBF-bloqqer3881.15388.12265.31598.88587.640.4
qesto3941.34394.13268.3599.46599.680.3
qestos3688.05368.81263.92523.68599.670.3
qsts1347.63134.7696.44132.04193.090.3
rareqs3749.79374.98278.34599.71599.680.4
squeezebf+struqs4798.27479.83239.77599.71599.260.2
struqs-104798.44479.84239.78599.71599.280.2
xb-bid-qsts1356.03135.6220.9834.7445.530.9
xb-qsts4249.18424.92266.59599.52598.820.3