Suite Narizzano results for solvers
QBFEVAL'10 - Random QBFs Track.

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
aqme-104756.7739.64164.893.826.890.983
depqbf19518.06162.65349.696.5366.570.917
depqbf-pre18638.87155.32343.755.6656.250.917
nenofex-qbfeval1073647.07613.73467.43536.691092.070.658
quantor-3.14161.6634.6832.9822.362.060.333
QuBE723818.37198.49224.5136.31198.480.992
QuBE7-c31152.19259.6308.37151.55270.570.942
QuBE7-m30816.91256.81301.35150.93263.20.95
struqs-10138631.081155.26134.911200.080.010.1