Suite Miller-Scholl-Becker results for solvers
QBFEVAL'16 - Prenex CNF Track.

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve5335.38533.54164.37599.858.730.2
aqua-f3v2491.4249.14287.2243.01599.580.6
aqua-s2v2506.91250.69286.3150.86599.540.6
aqua-s3o2487.84248.78287.440.94599.570.6
caqe-minisat1365.22136.52229.5518.2363.060.9
caqe-picosat870.9987.1181.376.497.030.9
depqbf-v12185.67218.57268.949.02382.030.7
depqbf-v21846.48184.65267.784.5651.90.7
depqbf-v3638.7563.88178.791.41.570.9
ghostq-cegar3128.04312.8288343.93599.330.5
ghostq-plain2786.32278.63279.04190599.270.6
hiqqer11825.61182.56273.20.6823.780.7
hiqqer1ldsq1826.5182.65273.190.6224.640.7
hiqqer31828.62182.86273.031.2124.50.7
iprover-QBF4478.25447.83180.3527.58461.360.2
iprover-QBF-bloqqer4763.27476.33147.56519.89305.290.2
qesto1274.48127.45236.388.313.360.8
qestos3504.93350.49265.24452.2599.690.5
qsts1445.12144.51233.779.0142.920.8
rareqs2514.21251.42284.8646.56597.290.6
squeezebf+struqs1935.96193.6245.5858.2686.550.8
struqs-101922.66192.27244.7757.3384.750.8
xb-bid-qsts46.264.635.982.271.961
xb-qsts36.393.644.741.781.661