Family VonNeumann results for solvers
QBFEVAL'04


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
CLearn15.711.961.571.562.510.875
CSBJ15.91.991.581.62.580.875
GRL15.51.941.531.572.490.875
openQbf22.172.771.852.352.990.875
orSAT4564.23570.53426.91901.01872.140.25
QBFL-BS4.040.510.370.430.61
QBFL-JW3.990.50.380.430.651
QMRes1000.49125.06293.4714.1524.880
QSAT4940.27617.53376.74891.81675.430.5
QUANTOR16.582.071.581.732.781
QUBE-BJ22.582.821.582.542.670.5
QUBE-LRN23.062.881.62.931.60.5
semprop34.794.353.553.585.681
sSolve13.931.741.21.71.821
WalkQSAT13.481.691.261.291.930.25
yQuaffle28.883.612.834.651