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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve4840.81484.08231.6599.78557.810.2
aqua-f3v2307.99230.8280.349.65489.270.7
aqua-s2v2313.9231.39282.714.43505.420.7
aqua-s3o2341.5234.15285.285.09531.750.7
caqe-minisat1815.85181.59273.732.647.790.7
caqe-picosat1838.61183.86272.315.1322.190.7
depqbf-v12386.09238.61289.396.76592.180.6
depqbf-v22394.21239.42288.538.77591.140.6
depqbf-v32416.13241.61292.48.28599.580.6
ghostq-cegar1923.6192.36268.585.43110.240.7
ghostq-plain2453.21245.32289.6424.51598.980.6
hiqqer12415.47241.55292.527.48599.60.6
hiqqer1ldsq2179.11217.91258.0791.28196.210.5
hiqqer32416.41241.64292.457.78599.60.6
iprover-QBF2475.66247.57245.95182.65264.810.6
iprover-QBF-bloqqer2427.84242.78252.01103.58479.730.7
qesto1900.19190.02268.5725.4844.720.7
qestos1157.29115.73201.150.260.380.7
qsts3675.69367.57270.41553.94596.920.5
rareqs648.7564.88178.590.190.340.9
squeezebf+struqs4329.24432.92256.67599.71592.40.3
struqs-104329.55432.96256.61599.71592.30.3
xb-bid-qsts2440.87244.09290.518.51599.250.6
xb-qsts2407.9240.79293.063.67599.150.6