Family BMC results for solvers
QBFEVAL'08


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AQME-1NN12290.6993.11181.337.0568.240.841
Nenofex21091.05159.78225.2325.71274.970.758
quantor3.07789.1459.01161.950.9710.970.864
QuBE6.144441.41336.68281.51600594.070.439
ssolve-A34800.59263.64279.2685.11598.380.583
ssolveB34524.84261.55279.2775597.980.576
ssolveC20568.67155.82252.029.1100.290.47