Suite Castellini results for solvers
QBFEVAL'05

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
GRL787.620.7368.520.040.291
openQbf2513.3166.14210.040.541.610.947
qbfbdd26123.73687.47382.5900.53896.960.237
QbflHR1176.5430.96146.280.040.230.974
QChaffLearn86.532.286.960.030.191
QMRes11973.68315.1422.871.82900.670.658
QUANTOR149.863.9411.980.22.371
semprop1933.6950.89200.670.090.310.947
skizzo_v0.449.821.313.640.110.731
skizzo_v0.549.041.293.640.10.691
sSolve1042.8327.44144.150.141.780.974
WalkQSAT90.292.387.290.030.161
yQuaffle1000.4126.33143.740.130.290.974