Family k_ph_n results for solvers
QBFEVAL'06


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
2clsQ77.4525.8233.114.74.521
GRL776.46258.82251.61172.62169.680.667
openQbf18002.196000.730.166000.840.330
preQuantor71.6623.8930.514.534.361
Qbfl1789.59596.531.72597.523.410
Quaffle49.1816.3920.723.232.931
QUANTOR7.912.643.120.850.811
QUANTOR_hc6.552.182.770.420.391
qube3.0357.28119.09149.3626.6525.811
qube4.0173.2957.7672.5712.3511.591
qube5.05.521.841.830.950.771
semprop1212.07404.02278.54600.96590.850.333
sKizzo-0.9-abs209.1669.7249.0571.2662.371
sKizzo-0.9-grn77.7825.9326.3815.114.681
sKizzo-0.9-std175.1258.3735.7971.7562.341
SQBF72.0424.0130.74.534.381
sSolve12001.214000.42828.236000.225999.540.333
ssolve+ut6601.072200.362698.07599.8598.840.333
ssolve-ut12001.344000.452828.236000.295999.560.333
WalkQSAT127.5442.5150.4313.6113.111
yQuaffle392.83130.94163.7530.4229.891