Family Connect8 results for solvers
QBFEVAL'04


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
CLearn2708.25338.53435.691.31899.940.625
CSBJ2708.23338.53435.691.31899.940.625
GRL2709.36338.67435.591.6899.760.625
openQbf2710.82338.85435.441.87899.590.625
orSAT5410.08676.26389.28901.01449.330.25
QBFL-BS3.050.380.190.460.240.875
QBFL-JW3.130.390.160.470.231
QMRes1832.79229.1387.936.13449.440
QSAT906.09113.26297.740.780.280.125
QUANTOR64.38.049.780.6319.230.625
QUBE-BJ924.79115.6296.873.641.140.125
QUBE-LRN422.6252.83131.383.841.260.125
semprop2708.25338.53435.691.33900.090.625
sSolve2707.15338.39435.840.95900.270.625
WalkQSAT10.151.270.980.940.190.25
yQuaffle707.4388.43117.232.07191.730.625