Suite Scholl-Becker results for solvers
QBFEVAL'10 - Small Hard Track.

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve680.1175.57123.132.3332.850.778
aqme-10299856.533317.3914012.474320028413.250
depqbf386274.942919.43793.564320000.111
depqbf-pre374939.641659.964355.94320000.111
nenofex-qbfeval10681.4475.7218.9676.1421.880
quantor-3.1175479.4919497.7220788.984623.4442127.490.111
QuBE7345213.4538357.0511168.5843200.13970.550.222
QuBE7-c323368.3535929.8213890.8743200.113366.750.222
QuBE7-m355231.5139470.1710549.8143200.10.050.111
struqs-10112948.8512549.879106.229782.096629.360