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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve5398.39539.84179.93599.790.10.1
aqua-f3v3046.2304.62282.22291.67598.650.6
aqua-s2v3066.51306.65293.39320.15598.850.5
aqua-s3o3196.71319.67282.34365.86598.740.5
caqe-minisat3658.39365.84286.56599.72591.960.4
caqe-picosat3188.43318.84270.69380.84596.60.6
depqbf-v13087.49308.75285.06339.37590.710.5
depqbf-v23798.51379.85263.34592.885700.4
depqbf-v32792.87279.29280.96191.14597.290.6
ghostq-cegar3986.22398.62250.75599.81541.920.4
ghostq-plain4284.6428.46262.15599.81574.250.3
hiqqer13114.79311.48288.52321.28589.310.5
hiqqer1ldsq2364.09236.41241.75156.87276.110.5
hiqqer33733.8373.38277.78599.71579.830.4
iprover-QBF4121.71412.17187.1463.95289.440.2
iprover-QBF-bloqqer3339.95334220.24411.64451.610.3
qesto4382.25438.23250.53599.71589.650.3
qestos2384.31238.43258.6190.33421.540.6
qsts3152.79315.28285.42342.28598.750.5
rareqs256.9225.6936.345.6230.371
squeezebf+struqs5599.58559.96119.3599.7100.1
struqs-105599.92559.99119.22599.7100.1
xb-bid-qsts514.8351.4860.4427.142.161
xb-qsts2519.46251.95249.47158.53340.760.7