Suite Scholl-Becker results for solvers
QBFEVAL'08

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AQME-1NN14268.75222.95257.7140.39501.880.641
Nenofex9383.33146.61203.5650.17207.250.516
quantor3.08104.75126.64225.757.3539.550.609
QuBE6.116890.01263.91288.8670.4599.930.578
ssolve-A16552.69258.64286.2123.84599.950.594
ssolveB16752.06261.75285.5324.82599.940.594
ssolveC17986.47281.04287.977.52599.930.563