Family s298 results for solvers
QBFEVAL'06


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
2clsQ14.447.227.087.2201
GRL1201.33600.670.16600.6700
openQbf12001.86000.90.046000.900
preQuantor14.327.167.037.1601
Qbfl1190.12595.062.56595.0600
Quaffle1128.69564.350.9564.3500
QUANTOR117.1858.5958.258.5901
QUANTOR_hc0.090.050.020.0501
qube3.01723.18861.59411.11861.5900
qube4.07361.293680.652319.663680.6500
qube5.04.592.32.222.301
semprop1202601060100
sKizzo-0.9-abs16.688.348.128.3401
sKizzo-0.9-grn16.538.278.058.2701
sKizzo-0.9-std17.498.758.498.7501
SQBF14.387.197.067.1901
sSolve6598.533299.272699.373299.2700
ssolve+ut6598.383299.192699.233299.1900
ssolve-ut12000.716000.360.046000.3600
WalkQSAT1202601060100
yQuaffle12000.086000.040.026000.0400