Family C499 results for solvers
QBFEVAL'06


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
2clsQ26.038.6811.760.630.531
GRL334.18111.3937.72131.172.490
openQbf18002.546000.850.036000.840.030
preQuantor14.424.816.270.630.510.667
Qbfl12591.474197.162545.355996.985399.490
Quaffle7407.912469.32558.251394.11378.840.667
QUANTOR13.044.355.890.30.230.667
QUANTOR_hc12.774.265.740.320.250.667
qube3.06038.672012.892819.7631.3424.620.667
qube4.06057.612019.22815.3250.443.780.667
qube5.06308.932102.982758.33294.44280.430.667
semprop1474.65491.55154.74600.94328.230.333
sKizzo-0.9-abs558.81186.27262.910.50.270.667
sKizzo-0.9-grn6002.892000.962828.331.781.490.667
sKizzo-0.9-std708.71236.24333.60.480.270.667
SQBF18.156.058.040.620.511
sSolve15400.665133.551224.945999.612598.380.333
ssolve+ut15528.915176.31164.485999.532470.050.333
ssolve-ut15415.325138.441218.916000.32585.660.333
WalkQSAT140.2146.7459.917.876.90
yQuaffle6101.62033.872804.15100.5498.60.667