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

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve7946.66397.33276.9599.72589.90.35
aqua-f3v9176.67458.83245.26002480.25
aqua-s2v9078.71453.94243.1600297.960.25
aqua-s3o9198.43459.92243.32600248.020.25
caqe-minisat10222.25511.11210.64599.680.640.15
caqe-picosat10212.86510.64211.76599.690.630.15
depqbf-v18191.42409.57259.06591.85542.050.3
depqbf-v28423.24421.16248.48592.32503.510.3
depqbf-v38716.1435.81241.88599.71449.470.3
ghostq-cegar7946.07397.3245.42596.87424.740.2
ghostq-plain8371.78418.59224.78596.92395.480.2
hiqqer18410.52420.53258.31599.81492.190.35
hiqqer1ldsq8412.68420.63258.21599.81490.60.35
hiqqer38830.9441.55255.88599.81386.840.3
iprover-QBF4263.75213.19232.3868.75387.450.2
iprover-QBF-bloqqer9112.79455.64227.4598.82267.310.25
qesto8697.72434.89257.5599.16452.830.25
qestos7150.37357.52275.06598.96577.120.4
qsts6376.32318.82286.84474.06596.750.45
rareqs6795.69339.78280.03531.39591.660.5
squeezebf+struqs11994.42599.720.03599.7100
struqs-1011994.74599.740.04599.710.060
xb-bid-qsts9342.95467.15232.45599.62218.260.25
xb-qsts10358.52517.93196.61599.710.40.15