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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve1207.8120.78190.6714.2749.970.9
aqua-f3v4799.01479.9239.95599.85599.860.2
aqua-s2v4799.02479.9239.95599.85599.910.2
aqua-s3o4798.63479.86239.93599.82599.840.2
caqe-minisat1315.1131.51234.6111.6620.670.2
caqe-picosat1447.7144.77230.7917.160.620.3
depqbf-v14743.73474.37237.18592.83592.920.2
depqbf-v24742.73474.27237.03592.57592.630.2
depqbf-v34797.95479.8239.86599.71599.630.2
ghostq-cegar4798.72479.87239.83599.81599.510.2
ghostq-plain4799.15479.92239.89599.81599.750.2
hiqqer14662.37466.24236.53599.71599.70.3
hiqqer1ldsq4663.61466.36236.54599.81599.710.3
hiqqer34672.53467.25236.52599.76599.610.3
iprover-QBF2868.69286.87218.98259.34384.280.3
iprover-QBF-bloqqer2866.49286.65205.9289.4374.270.1
qesto4219.46421.95271.57599.71599.030.3
qestos3410.5341.05235.84331.22599.670.2
qsts4471.01447.1232.4599.71599.670.2
rareqs3726.44372.64280.29599.66599.680.4
squeezebf+struqs4798479.8239.85599.71599.50.2
struqs-104798479.8239.85599.71599.510.2
xb-bid-qsts3174.93317.49284.24364.6599.570.5
xb-qsts4796.96479.7239.84599.61599.580.2