Family term1 results for solvers
QBFEVAL'08


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AQME-1NN1128.91141.11208.2829.45222.20.875
Nenofex1901.99237.75282.3850.6599.650.625
quantor3.01129.74141.22231.955.43259.270.875
QuBE6.1215.3226.9245.680.7245.531
ssolve-A1020.32127.54197.0912.53197.420.875
ssolveB1108.32138.54203.0412.75241.190.875
ssolveC791.3898.92191.9723.2772.250.875