Family k_branch_n results for solvers
QBFEVAL'05


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
GRL5403.27900.550.15900.50.080
openQbf5405.59900.930.03900.940.060
qbfbdd5405.9900.980.02900.990.050
QbflHR5405.86900.980.02900.980.030
QChaffLearn5330.02888.344.98890.359.070
QMRes4622.3770.38291.34900.63781.770.167
QUANTOR70.1411.690.8312.082.050
semprop3650.1608.35414.02900.93900.850.333
skizzo_v0.43362.67560.45322.99642.48627.750.167
skizzo_v0.52889.31481.55174.99459.58321.360
sSolve5212.99868.8371.88900.98192.880.167
WalkQSAT5405.95900.990.029010.030
yQuaffle4810.37801.7398.61812.33223.280