Family k_path_n results for solvers
QBFEVAL'04


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
CLearn3088.32386.04412.46190.07898.420.625
CSBJ4848.31606.04391.95901729.390.375
GRL4005.67500.71417.11644.23893.910.5
openQbf5426.54678.32385.73901440.50.25
orSAT6601.77825.22200.54901.020.020
QBFL-BS5664.28708.04340.41901.01321.420.25
QBFL-JW6307.09788.39297.969010.010.125
QMRes3.550.440.470.290.421
QSAT3917.07489.63419.18587.54881.530.5
QUANTOR0.120.020.010.020.011
QUBE-BJ3109.13388.64410.31198.11896.60.625
QUBE-LRN4530.4566.3432.19901.03888.920.375
semprop6.140.771.280.240.711
sSolve3506.47438.31419.08395.67894.940.625
WalkQSAT3572.11446.51428.55430.28896.740.625
yQuaffle3906.83488.35408.86587.88886.980.375