Family s499 results for solvers
QBFEVAL'05


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
GRL5403.95900.660.11900.680.220
openQbf5405.57900.930.02900.930.050
qbfbdd5402.16900.360.13900.380.260
QbflHR5405.92900.990.01900.990.020
QChaffLearn3599.44599.91423.96899.13899.170
QMRes1867.73311.29416.0518.164.090.167
QUANTOR3752.83625.47390.07898.66899.610.333
semprop5405.96900.990.019010.030
skizzo_v0.44501.57750.26335.46900.23900.110.167
skizzo_v0.52768.23461.37367.98453.79623.370.333
sSolve5401.75900.290.09900.270.080
WalkQSAT3604.31600.72424.6900.91900.670
yQuaffle5396.89899.481.17899.472.310