Family s820 results for solvers
QBFEVAL'06


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
2clsQ6000.426000.4206000.4200
GRL600.41600.410600.4100
openQbf6000.856000.8506000.8500
preQuantor381.27381.270381.2701
Qbfl596.98596.980596.9800
Quaffle571.38571.380571.3800
QUANTOR55.655.6055.601
QUANTOR_hc0.430.4300.4301
qube3.0456.69456.690456.6900
qube4.01105.61105.601105.600
qube5.01.751.7501.7501
semprop601601060100
sKizzo-0.9-abs25.1725.17025.1701
sKizzo-0.9-grn26.7926.79026.7901
sKizzo-0.9-std26.7926.79026.7901
SQBF242.4242.40242.400
sSolve5997.855997.8505997.8500
ssolve+ut5997.825997.8205997.8200
ssolve-ut6000.336000.3306000.3300
WalkQSAT601601060100
yQuaffle5999.815999.8105999.8100