Family term1 results for solvers
QBFEVAL'06


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
2clsQ510.73127.68130.65107.67255.11
GRL592.23148.0682.73132.54158.350
openQbf24003.536000.880.026000.880.030
preQuantor6412.031603.012544.28205.853205.740.75
Qbfl13166.183291.552696.183289.925392.360
Quaffle685.47171.37247.7442.59321.810.75
QUANTOR1196.24299.06299.03299.01598.050.5
QUANTOR_hc1196.27299.07299.03298.96598.070.5
qube3.07765.541941.392449.96881.783872.070.75
qube4.06710.691677.672512.12354.053347.570.75
qube5.01910.32477.58542.24290943.871
semprop262.9465.7460.4165.89120.810.75
sKizzo-0.9-abs2062.98515.75650.19235.621031.040.75
sKizzo-0.9-grn6585.111646.282525.33292.053292.020.75
sKizzo-0.9-std810.21202.55242.71107.8404.660.5
SQBF1004.11251.03252.67229.85501.770.75
sSolve6229.321557.332565.2392.913006.490.75
ssolve+ut6291.9915732556.08110.862975.020.75
ssolve-ut6211.831552.962567.7884.23006.310.75
WalkQSAT614.35153.59258.356.5305.680
yQuaffle2373.38593.35941.3476.271184.061