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

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
aqme-10225.515.641.455.32.311
depqbf2394.6159.87123.139.7663.181
depqbf-pre47.991.21.030.651.331
nenofex-qbfeval1038744.21968.61239.551021.32446.610
quantor-3.14871.11121.7818.75115.6611.460
QuBE7125.573.141.162.521.771
QuBE7-c94.862.370.472.30.741
QuBE7-m102.022.550.642.31.221
struqs-1048003.181200.080.011200.0800