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

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve3652.59365.26298.21599.72599.530.4
aqua-f3v1357.36135.74170.27.91261.110.6
aqua-s2v1246.58124.66151.97.16248.550.6
aqua-s3o1053.38105.34128.195.13233.570.6
caqe-minisat2482.47248.25287.3341.2599.380.6
caqe-picosat2528252.8284.2363.89599.420.6
depqbf-v12413.14241.31286.6621.41591.810.6
depqbf-v22435.51243.55285.1232.71592.170.6
depqbf-v32471.51247.15288.2336.11599.70.6
ghostq-cegar2094.68209.47211.6112.38293.940.6
ghostq-plain2205.23220.52221.04117.95326.430.6
hiqqer12480.47248.05287.6640.14599.680.6
hiqqer1ldsq2484.19248.42287.442.02599.690.6
hiqqer32528.82252.88284.3464.2599.780.6
iprover-QBF3347.3334.73265.92435.8593.650.4
iprover-QBF-bloqqer3237.89323.79280.54419.94598.830.1
qesto731.9173.19177.598.2210.260.5
qestos1798.27179.83225.6780.75200.170.5
qsts3103.47310.35290.7350.96599.230.5
rareqs3598.68359.87293.77599.71599.660.4
squeezebf+struqs2571.34257.13283.2484.88599.470.6
struqs-102604.69260.47282.18102.75599.680.6
xb-bid-qsts1799.01179.9200.02105.5267.330.9
xb-qsts2543.84254.38283.172.04599.270.6