Family Qshifter results for solvers
QBFEVAL'05


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
GRL4503.02750.5335.58900.55900.530.167
openQbf3657.13609.52412.38900.9900.480.333
qbfbdd4504.61750.77335.64900.86900.620.167
QbflHR957.07159.51332.190.821.520.833
QChaffLearn3692.57615.43404.27900.49900.690.333
QMRes19.153.195.770.270.441
QUANTOR23.23.877.50.160.291
semprop60.6210.119.840.360.681
skizzo_v0.45.190.871.570.080.111
skizzo_v0.55.220.871.580.080.121
sSolve3601.63600.27424.25900.2900.20.333
WalkQSAT3718.74619.79398.97900.88900.850.333
yQuaffle4503.3750.55335.62900.58900.530.167