Family k_d4_n results for solvers
QBFEVAL'06


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
2clsQ24783.544130.592087.294650.615400.890.167
GRL3511.08585.1834.49600.5892.580.167
openQbf36005.336000.890.046000.90.110
preQuantor87.0214.56.716.5216.350.167
Qbfl3572.49595.422.39596.245.840
Quaffle3063.19510.53141.57573.09380.380.167
QUANTOR71.9511.994.8414.0312.790.167
QUANTOR_hc0.110.020.010.020.021
qube3.010541.71756.951335.021168.15894.920.167
qube4.010022.931670.491072.481297.121238.970.167
qube5.08764.761460.79910.34902.52226.820.167
semprop3009.63501.61222.25601596.360.167
sKizzo-0.9-abs85.7714.39.7819.1119.131
sKizzo-0.9-grn1099.38183.2357.84164.0427.610.167
sKizzo-0.9-std82.1613.699.4818.1318.011
SQBF1717.37286.23218.03227.16255.920.167
sSolve3697.93616.32480.68545.86694.551
ssolve+ut3779.3629.88491.43562.71719.681
ssolve-ut3722.46620.41484.23548.26693.121
WalkQSAT3288.17548.03118.43601317.80.167
yQuaffle35996.735999.460.415999.61.030