Family Logn results for solvers
QBFEVAL'06


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
2clsQ655.38327.691.03327.6900
GRL87.2343.6226.8143.6201
openQbf12001.866000.930.016000.9300
preQuantor0.670.340.180.3400
Qbfl11992.335996.171.275996.1700
Quaffle10.915.462.895.4601
QUANTOR4.772.391.452.3901
QUANTOR_hc4.822.411.452.4101
qube3.015.47.75.497.701
qube4.018.439.226.889.2201
qube5.017.768.884.818.8801
semprop5.322.661.192.6601
sKizzo-0.9-abs2.31.150.611.1501
sKizzo-0.9-grn2.281.140.611.1401
sKizzo-0.9-std2.371.190.621.1901
SQBF0.660.330.190.3300
sSolve17.878.946.028.9401
ssolve+ut18.239.126.119.1201
ssolve-ut17.918.966.048.9601
WalkQSAT460.48230.24208.78230.2400
yQuaffle10.50.240.501