Family C880 results for solvers
QBFEVAL'08


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AQME-1NN3602.92450.37252.9596.31286.750.25
Nenofex1085.45135.6833.04147.9140.350
quantor3.03087.79385.97276.31600569.560.125
QuBE6.14200.12525.02198.3960000.125
ssolve-A3622.93452.87254.91600288.580.25
ssolveB3624.45453.06254.59600287.820.25
ssolveC3623.06452.88254.88600288.510.25