Family wmiforward results for solvers
QBFEVAL'08


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AQME-1NN1938.126.9295.611.253.790.958
Nenofex30783.66427.55209.66501.882640.181
quantor3.02752.7438.2322.1238.0117.540.167
QuBE6.114128.05196.22268.8913.72599.860.694
ssolve-A29762.93413.37267.48600546.410.333
ssolveB29872.57414.9266.3600541.890.333
ssolveC28421.04394.74281.7600594.650.347