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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve955.8895.59192.057.2811.720.9
aqua-f3v3068.97306.9268.57334.93599.60.6
aqua-s2v3598.88359.89293.82599.72599.80.4
aqua-s3o3535.38353.54289.22567.88599.690.5
caqe-minisat3599.91359.99293.63599.7599.420.4
caqe-picosat3600.44360.04293.61599.71599.520.4
depqbf-v13554.51355.45290.19592.18592.30.4
depqbf-v23561.59356.16290.53593.03593.110.4
depqbf-v33598.87359.89293.76599.71599.630.4
ghostq-cegar1823.72182.37273.334.6614.010.7
ghostq-plain1815.15181.52273.832.59.980.7
hiqqer13599.65359.97293.69599.71599.640.4
hiqqer1ldsq3599.5359.95293.69599.71599.660.4
hiqqer33601.13360.11293.53599.71599.740.4
iprover-QBF2957.16295.72257.89318.3497.710.4
iprover-QBF-bloqqer2084.97208.5195.33199.3334.430.4
qesto3598.59359.86293.76599.71599.680.4
qestos3218.65321.87284.76409.52599.780.4
qsts1603.88160.39246.740.20.290.7
rareqs3598.55359.86293.76599.71599.680.4
squeezebf+struqs3072.03307.2293.21335.95599.560.5
struqs-103085.56308.56292.19342.63599.570.5
xb-bid-qsts3600.28360.03293.59599.71599.430.4
xb-qsts3599.74359.97293.6599.67599.440.4