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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve26.172.623.730.971.971
aqua-f3v69.936.9910.891.994.531
aqua-s2v69.936.9910.91.994.571
aqua-s3o69.98710.91.994.591
caqe-minisat26.162.622.621.682.561
caqe-picosat26.412.642.661.652.561
depqbf-v130.933.093.062.062.811
depqbf-v23.50.350.280.260.31
depqbf-v32.790.280.280.180.271
ghostq-cegar794.7379.477751.5577.670.7
ghostq-plain796.0579.6176.9452.1577.340.7
hiqqer114.981.51.510.961.41
hiqqer1ldsq14.941.491.510.941.421
hiqqer314.981.51.510.961.41
iprover-QBF475.3347.5337.0131.8523.670.4
iprover-QBF-bloqqer25.342.532.571.612.240
qesto6.30.630.650.40.61
qestos6.270.630.650.40.61
qsts19.421.942.031.21.811
rareqs6.270.630.650.390.61
squeezebf+struqs62.196.229.621.84.091
struqs-106.280.630.640.40.611
xb-bid-qsts25.172.522.551.572.41
xb-qsts25.572.562.621.582.41