Family s1269 results for solvers
QBFEVAL'05


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
GRL4504.22900.840.1900.90.150
openQbf4504.66900.930.01900.930.010
qbfbdd4504.66900.930.03900.940.040
QbflHR4504.91900.980.02900.980.030
QChaffLearn1802.68360.544410.64450.210
QMRes966.25193.25352.6317.582.080
QUANTOR4491.6898.321.34898.091.820
semprop3604.44720.89360.18900.97450.240
skizzo_v0.43940.56788.11223.21899.65279.910
skizzo_v0.53776.67755.33280.06896.48355.440
sSolve4504.27900.850.29900.990.360
WalkQSAT3604.08720.82360.16900.85450.290
yQuaffle4498.94899.790.63899.560.840