Family s510 results for solvers
QBFEVAL'06


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
2clsQ0.860.8600.8601
GRL600.63600.630600.6300
openQbf6000.926000.9206000.9200
preQuantor0.860.8600.8601
Qbfl595.25595.250595.2500
Quaffle563.35563.350563.3500
QUANTOR11.8811.88011.8801
QUANTOR_hc0.130.1300.1301
qube3.0414.96414.960414.9600
qube4.04767.164767.1604767.1600
qube5.00.250.2500.2501
semprop601601060100
sKizzo-0.9-abs1.011.0101.0101
sKizzo-0.9-grn0.990.9900.9901
sKizzo-0.9-std1.111.1101.1101
SQBF0.870.8700.8701
sSolve5997.145997.1405997.1400
ssolve+ut5997.355997.3505997.3500
ssolve-ut6000.326000.3206000.3200
WalkQSAT600.99600.990600.9900
yQuaffle5999.765999.7605999.7600