Family Counter results for solvers
QBFEVAL'16 - Prenex CNF Track.


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve114.4811.4523.482.925.551
aqua-f3v2028.44202.84266.8110.56207.120.7
aqua-s2v2143.83214.38270.286.06331.650.7
aqua-s3o2206.54220.65272.858.813890.7
caqe-minisat1222.66122.27238.830.30.490.8
caqe-picosat938.3293.83195.250.310.510.9
depqbf-v12415.96241.6287.3621.37592.60.6
depqbf-v21194.37119.44236.780.560.690.8
depqbf-v31820.41182.04273.462.8115.590.7
ghostq-cegar3451.38345.14284.22523.52599.050.5
ghostq-plain2915.49291.55284.85257.87599.730.6
hiqqer11209.37120.94239.450.290.630.8
hiqqer1ldsq1209.78120.98239.430.290.610.8
hiqqer31040.07104.01206.560.290.80.9
iprover-QBF1033.9103.39129.2514.28134.380.7
iprover-QBF-bloqqer285.7228.5771.890.330.490.9
qesto1204.9120.49239.640.050.080.8
qestos1200.03120239.850.050.080.8
qsts808.680.86182.132.413.670.9
rareqs603.2760.33179.830.050.080.9
squeezebf+struqs4198.1419.81274.82599.71599.70.3
struqs-104197.99419.8274.82599.71599.70.3
xb-bid-qsts58.845.8811.360.30.491
xb-qsts656.4365.64178.750.30.480.9