Family Counter results for solvers
QBFEVAL'08


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AQME-1NN5841.46243.39244.42207.37493.010.5
Nenofex1693.9970.58109.934.0982.190.5
quantor3.0446.2518.5918.518.2332.320.5
QuBE6.17669.53319.56265.15278.82599.780.375
ssolve-A10213.93425.58271.82600593.10.292
ssolveB10217.25425.72271.61600591.440.292
ssolveC10212.27425.51271.93600593.910.292