Family VonNeumann results for solvers
QBFEVAL'05


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
GRL232.32.441.422.081
openQbf32.583.262.672.322.731
qbfbdd98.669.8710.15.8715.331
QbflHR5.450.550.550.340.511
QChaffLearn18.531.851.931.161.720
QMRes1039.1103.91265.8713.5722.170
QUANTOR19.651.972.021.241.861
semprop37.153.723.972.213.841
skizzo_v0.421.892.192.341.22.141
skizzo_v0.522.012.22.321.212.241
sSolve17.591.761.821.091.71
WalkQSAT17.611.761.671.121.530.3
yQuaffle31.823.183.2622.981