Family k_d4_p results for solvers
QBFEVAL'04


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
CLearn5796.8724.6320.69901255.380.25
CSBJ6511.53813.94230.359010.010.125
GRL6307.63788.45297.8901.0100.125
openQbf6598.02824.75201.75901.010.010.125
orSAT1162.06145.2656.08151.0490.020
QBFL-BS7208.09901.010.01901.010.010
QBFL-JW7208.07901.010.01901.0100
QMRes12.441.561.11.582.091
QSAT0.080.010.010.010.011
QUANTOR78.419.86.3914.312.380.375
QUBE-BJ1095.77136.97290.0228.1163.620.875
QUBE-LRN6308.54788.57297.55901.0300.125
semprop2164.1270.51320.67111.61517.040.875
sSolve6307.23788.4297.9190100.125
WalkQSAT6308.63788.58297.46901.0100.125
yQuaffle3911.25488.91284.51445.54406.080.125