Suite Rintanen results for solvers
QBFEVAL'06

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
2clsQ230495.082216.3282661.155999.390.635
GRL43446.39417.75260.45600.59513.20.25
openQbf573459.35514.031518.486000.880.070.096
preQuantor21461.39206.36999.434.8655.680.548
Qbfl301156.432895.732710.36599.445400.620.096
Quaffle214178.52059.412534.28550.055467.820.25
QUANTOR5308.5451.04113.3222.2251.430.558
QUANTOR_hc5336.1351.31113.2522.7852.390.558
qube3.0341078.983279.612906.895995.085980.520.442
qube4.0316444.793042.742818.353193.165982.90.462
qube5.0332756.483199.582808.923318.865968.490.433
semprop38496.4370.16286.5600.99599.950.413
sKizzo-0.9-abs250004.782403.892811.21111.615999.50.529
sKizzo-0.9-grn27071.24260.3858.9311.18185.010.587
sKizzo-0.9-std97490.03937.41709.03171.9719.150.481
SQBF120490.131158.561751.8851.591615.240.529
sSolve430665.944141.022738.216000.215967.660.337
ssolve+ut425269.854089.132753.416000.235967.490.337
ssolve-ut460624.84429.082599.276000.275248.020.288
WalkQSAT38454.75369.76267.44599.98560.410.269
yQuaffle80389.67772.981432.4596.46589.320.375