Suite Wintersteiger results for solvers
QBFEVAL'16 - Prenex CNF Track.

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve7061.82235.39276.5144.26595.910.633
aqua-f3v10045.06334.84293.59599.67599.60.467
aqua-s2v9744.29324.81295.01599.67599.60.467
aqua-s3o9780.47326.02293.84599.72599.60.467
caqe-minisat9016.52300.55299.19304.38599.360.5
caqe-picosat9017.22300.57299.18304.54599.360.5
depqbf-v114813.35493.78220.79592.421.10.167
depqbf-v29516.98317.23294.67592.07592.010.467
depqbf-v310923.32364.11284.55599.71598.850.433
ghostq-cegar17407.33580.2493.71599.8100
ghostq-plain15782.36526.08120.81599.81132.090
hiqqer19598.95319.97299.11599.71599.640.467
hiqqer1ldsq9598.9319.96299.12599.71599.650.467
hiqqer39599.19319.97299.11599.71599.650.467
iprover-QBF9815.18327.17259.12359.69599.170.033
iprover-QBF-bloqqer7452.38248.41278.5154.16598.730.4
qesto9602.73320.09299.21599.36599.680.467
qestos4408.09146.94217.631.48189.390.533
qsts16729.92557.6682.53599.6242.570
rareqs8399.87280299.031.38599.680.533
squeezebf+struqs10326.65344.22292.54599.71598.280.433
struqs-1010325.97344.2292.55599.71598.250.433
xb-bid-qsts5832.33194.41262.5929.67515.190.667
xb-qsts8537.03284.57291.73107.45599.250.5