Family Counter results for solvers
QBFEVAL'05


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
GRL13574.78565.62432.47900.1899.520.375
openQbf18081.34753.39330.06900.940.060.167
qbfbdd15386.76641.12404.4900.44869.380.292
QbflHR18138.36755.77325.239010.010.167
QChaffLearn30.130.20.020.121
QMRes14514.09604.75418.76900.59889.920.333
QUANTOR476.3619.8535.6511.0621.440.5
semprop13517.45563.23436.04900.97900.730.375
skizzo_v0.48269.35344.56412.9145.62895.960.583
skizzo_v0.58215.92342.33409.1558.19895.620.583
sSolve16264.77677.7386.85900.99427.090.25
WalkQSAT13175.47548.98427.4899.93900.620.375
yQuaffle12480.64520.03417.55802.52899.840.375