Family k_ph_p results for solvers
QBFEVAL'06


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
2clsQ3.433.4303.4301
GRL232.95232.950232.9501
openQbf6000.916000.9106000.9100
preQuantor3.423.4203.4201
Qbfl595.85595.850595.8500
Quaffle5.615.6105.6101
QUANTOR0.790.7900.7901
QUANTOR_hc0.030.0300.0301
qube3.0523.14523.140523.1401
qube4.0662.72662.720662.7201
qube5.012.412.4012.401
semprop601601060100
sKizzo-0.9-abs11.9311.93011.9301
sKizzo-0.9-grn2.912.9102.9101
sKizzo-0.9-std12.312.3012.301
SQBF3.463.4603.4601
sSolve254.2254.20254.201
ssolve+ut259.83259.830259.8301
ssolve-ut262.96262.960262.9601
WalkQSAT600.72600.720600.7200
yQuaffle11.1711.17011.1701