Suite Cashmore-Fox-Giunchiglia results for solvers
QBFEVAL'16 - Prenex CNF Track.

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve182.3926.0631.066.4128.881
aqua-f3v2807.87401.12261.72599.73599.790.429
aqua-s2v2661.26380.18266.19599.82599.820.429
aqua-s3o3000.4428.63270.82599.82599.840.286
caqe-minisat2456.71350.96287.7599.33599.340.429
caqe-picosat2484.89354.98283.74599.33599.120.429
depqbf-v12967.55423.94267.42592.85592.710.286
depqbf-v22967.74423.96267.18592.72592.020.286
depqbf-v33001.16428.74270.4599.71599.560.286
ghostq-cegar3582.48511.78106.32599.63269.920.286
ghostq-plain2817.77402.54260.62599.71598.170.286
hiqqer13000.07428.58270.74599.81599.440.286
hiqqer1ldsq2480.58354.37284.49599.81599.460.286
hiqqer33000.27428.61270.69599.81599.440.286
iprover-QBF575.8282.2666.9184.783.70.571
iprover-QBF-bloqqer1918.92274.13237.52218.05377.830.571
qesto2042.32291.76240.42364.22369.710.286
qestos2553.48364.78248.33382.32599.120.286
qsts1987.97284274.78139.85596.630.571
rareqs1136.9162.41211.446.24157.351
squeezebf+struqs4198.37599.770.05599.810.10
struqs-104198.07599.720.04599.7100
xb-bid-qsts2997.81428.26270.47599.53599.140.286
xb-qsts2997.77428.25270.5599.53599.290.286