Family Connect9 results for solvers
QBFEVAL'04


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
CLearn903.3301.1424.191.1500.667
CSBJ903.3301.1424.21.150.010.667
GRL903.8301.27424.081.40.010.667
openQbf904.24301.41423.971.680.120.667
orSAT1803.95601.32423.83901.01899.080.333
QBFL-BS1.50.50.010.4901
QBFL-JW1.470.490.020.490.021
QMRes14.454.820.014.820.010
QSAT2.360.790.010.790.010
QUANTOR35.211.7315.880.510.010.667
QUBE-BJ113.670.643.560.620
QUBE-LRN9.223.070.192.960.040
semprop902.96300.99424.280.980.010.667
sSolve902.66300.89424.370.8100.667
WalkQSAT2.760.9200.9200
yQuaffle310.57103.52143.771.870.010.667