Family k_t4p_n results for solvers
QBFEVAL'06


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
2clsQ9.651.612.90.360.361
GRL3603.23600.540.14600.560.290
openQbf36005.226000.870.076000.880.120
preQuantor9.661.612.910.360.371
Qbfl14310.852385.142529.64598.917.870
Quaffle3357.31559.551.25559.842.40
QUANTOR175.2229.218.5930.3630.370.167
QUANTOR_hc0.140.020.010.020.011
qube3.04447.45741.24726.83443.87372.60
qube4.06055.831009.311112.78539.58469.30
qube5.06744.511124.091282.82575.14439.870
semprop3023.52503.92217.08601582.480.167
sKizzo-0.9-abs9.351.561.121.361.51
sKizzo-0.9-grn1905.71317.62260.61373.83564.870
sKizzo-0.9-std9.431.571.131.371.531
SQBF9.571.62.880.360.381
sSolve1642.43273.74208.29237.42293.291
ssolve+ut1612.53268.76204.98235.68294.771
ssolve-ut1627.89271.32205.97235.34289.251
WalkQSAT3605.976010.016010.020
yQuaffle29479.434913.241223.045469.222872.870