Family s27 results for solvers
QBFEVAL'06


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
2clsQ3.311.11.270.40.381
GRL1802.77600.920.01600.9200
openQbf18002.596000.860.036000.870.050
preQuantor3.321.111.260.410.371
Qbfl1738.53579.513.24580.475.320
Quaffle1157.19385.73249.79562.1529.620.333
QUANTOR0.470.160.130.10.071
QUANTOR_hc0.490.160.140.10.071
qube3.018000.896000.30.126000.340.210
qube4.018001.766000.590.096000.550.050
qube5.00.070.020.020.030.031
semprop640.28213.43274.5138.9538.620.667
sKizzo-0.9-abs0.50.170.10.160.111
sKizzo-0.9-grn0.510.170.110.150.11
sKizzo-0.9-std0.50.170.10.160.111
SQBF3.281.091.260.380.351
sSolve164.5454.8566.116.3215.971
ssolve+ut164.4454.8166.7115.2614.851
ssolve-ut147.9949.3364.477.327.071
WalkQSAT1234.65411.55267.92601568.350.333
yQuaffle18000.026000.010.085999.980.060