Family k_d4_p results for solvers
QBFEVAL'05


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
GRL4509.15751.53333.24900.5894.150.167
openQbf5405.53900.920.03900.920.030
qbfbdd5405.69900.950.129010.310
QbflHR5406.04901.010.01901.010.010
QChaffLearn4481.97747327.83893.17880.740.167
QMRes12.072.011.471.792.111
QUANTOR24.984.165.920.110.10.667
semprop2247.19374.53395.57220.5393.040.667
skizzo_v0.41.020.170.110.160.161
skizzo_v0.51.020.170.110.170.191
sSolve4508.9751.48334.3900.98897.020.167
WalkQSAT4514.01752.34332.42901891.970.167
yQuaffle4508.46751.41333.32900.47894.440.167