Family k_ph_p results for solvers
QBFEVAL'05


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
GRL3834.08639.01375.96900.49900.720.333
openQbf4507751.17334.85900.92898.510.167
qbfbdd5404.82900.80.24900.930.650
QbflHR4492.58748.76334.14897.55899.340.167
QChaffLearn50.078.3514.082.683.421
QMRes2758.26459.71440.96465.48900.090.167
QUANTOR3594.62599.1422.58894.94896.260.333
semprop4504.85750.81335.74900.95900.910.167
skizzo_v0.42929.45488.24399.43568.47829.150.333
skizzo_v0.52624.9437.48349.16359.45413.240.333
sSolve4504.93750.82335.77900.99900.990.167
WalkQSAT4503.52750.59335.66900.67900.790
yQuaffle3604.15600.69420.89897.73897.710.333