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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve67.316.7311.252.644.751
aqua-f3v2404.46240.45293.521.37599.470.6
aqua-s2v1910.42191.04269.471.4105.330.7
aqua-s3o2404.47240.45293.541.37599.520.6
caqe-minisat2466.57246.66288.3418.2593.960.6
caqe-picosat2524.97252.5283.735.26593.170.6
depqbf-v11808.44180.84269.455.71180.7
depqbf-v22077.78207.78261.8113.66247.910.7
depqbf-v32142.64214.26265.9613.37292.890.7
ghostq-cegar60.476.053.95.434.911
ghostq-plain2420.87242.09292.145.38597.640.6
hiqqer12411.31241.13292.843.17598.990.6
hiqqer1ldsq2411.21241.12292.853.155990.6
hiqqer32413.81241.38292.644.41598.990.6
iprover-QBF2778.77277.88235.54178.83378.660.7
iprover-QBF-bloqqer1998.26199.83209.41124.03154.130.7
qesto4725.43472.54234.41599.71590.090.4
qestos82.788.289.493.3811.721
qsts693.9369.39176.989.3618.710.9
rareqs13.811.380.691.450.891
squeezebf+struqs5397.61539.76179.91599.7100.1
struqs-105397.5539.75179.91599.7100.1
xb-bid-qsts1922.68192.27267.0219.4244.540.7
xb-qsts2468.08246.81288.2318.37594.340.6