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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve3506.5350.65266.27476.42595.550.5
aqua-f3v172.9117.2927.353.879.981
aqua-s2v172.117.2127.253.8610.061
aqua-s3o118.411.8418.982.997.91
caqe-minisat2036.02203.6250.436.68238.630.8
caqe-picosat2126.18212.62262.7933.85246.160.7
depqbf-v14753.04475.3233.91592.08578.210.2
depqbf-v2710.8571.0999.6240.0654.191
depqbf-v34818.74481.87235.76599.71584.780.2
ghostq-cegar5997.12599.710.14599.710.10
ghostq-plain5996.82599.680.1599.710.190
hiqqer136.013.63.812.7241
hiqqer1ldsq35.873.593.812.733.961
hiqqer336.043.63.832.723.971
iprover-QBF1542.25154.23199.413077.50.1
iprover-QBF-bloqqer1968.29196.83250.6334175.040
qesto116.0511.6118.763.577.321
qestos116.0411.618.763.557.361
qsts2649.74264.97277.83119.75599.150.6
rareqs116.3911.6418.853.557.351
squeezebf+struqs3333.33333.33276.51435.98599.240.5
struqs-103335.46333.55276.44436.8599.260.5
xb-bid-qsts1968.72196.87250.6533.65176.660.8
xb-qsts1961.9196.19250.5533.55171.50.8