Family C432 results for solvers
QBFEVAL'08


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AQME-1NN1879.7234.96281.144.1595.190.625
Nenofex2400.46300.06299.94300.08599.880.5
quantor3.01090.21136.28191.7570.31174.750.875
QuBE6.12461.68307.71292.89330.68599.860.5
ssolve-A2402.59300.32299.68301.23599.950.5
ssolveB2402.69300.34299.66301.28599.950.5
ssolveC2168.24271.03278.59184.02599.920.625