Family k_d4_n results for solvers
QBFEVAL'04


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
CLearn7208.05901.010.01901.010.010
CSBJ7208.01901090100
GRL7208.08901.010.01901.010.020
openQbf7208.06901.010901.0100
orSAT1083.91135.4945.3141.5678.130
QBFL-BS7208.05901.010.01901.010.010
QBFL-JW7208.04901.010.01901.010.010
QMRes32.644.082.194.384.051
QSAT7208.04901.010.01901.010.010
QUANTOR159.4419.930.0519.940.070
QUBE-BJ7208.25901.030901.0300
QUBE-LRN7208.25901.030901.0300
semprop6502.6812.83233.31901.010.010.125
sSolve7208.05901.010.01901.010.010
WalkQSAT7208.06901.010901.0100
yQuaffle4910.18613.77227.81521.83487.10