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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve843.0984.31165.5318.7632.460.9
aqua-f3v2927.73292.77228.9280.67409.240.3
aqua-s2v2946.85294.69232.78278.02408.70.3
aqua-s3o3097.89309.79240.59297.03471.270.3
caqe-minisat619.9762179.252.083.310.9
caqe-picosat620.5362.05179.262.183.20.9
depqbf-v14156.73415.67270.65592.58592.810.3
depqbf-v2623.7262.37176.913.465.10.9
depqbf-v34199.63419.96274.66599.71599.710.3
ghostq-cegar4230.21423.02270.08599.81591.340.3
ghostq-plain4019.12401.91268.18599.86599.660.4
hiqqer1621.1362.11179.241.251.880.9
hiqqer1ldsq621.0962.11179.281.241.880.9
hiqqer3612.3561.24179.531.262.20.9
iprover-QBF3486.09348.61232.66454.53472.50.3
iprover-QBF-bloqqer619.9161.99179.052.173.220.9
qesto166.8716.6936.821.17.610.9
qestos2874.86287.49289.47237.72599.690.6
qsts1374.47137.45233.776.8140.150.8
rareqs1728.9172.89253.421.7558.340.8
squeezebf+struqs4337.52433.75255.8599.71594.680.3
struqs-104337.1433.71255.85599.71594.670.3
xb-bid-qsts431.8643.19122.832.123.150.9
xb-qsts427.4142.74121.472.143.180.9