iters=5 new-facts=1 prior-facts=1 | | mean | 273.401-273.404=-0.003 | | σ | 0.011-0.012=-0.001 | | min | 273.392-273.392=0.001 | | max | 273.418-273.420=-0.002 |
| | mean | 2466.000-2478.000=-12.000 | | σ | 0.000 | | min | 2466.000-2478.000=-12.000 | | max | 2466.000-2478.000=-12.000 |
| | mean | 0.389-0.386=0.002 | | σ | 0.017-0.010=0.007 | | min | 0.375-0.376=-0.000 | | max | 0.415-0.399=0.017 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.841-1933.836=0.005 | | σ | 0.006-0.007=-0.001 | | min | 1933.834-1933.825=0.009 | | max | 1933.850-1933.844=0.007 |
| | mean | 2466.000-2478.000=-12.000 | | σ | 0.000 | | min | 2466.000-2478.000=-12.000 | | max | 2466.000-2478.000=-12.000 |
| | mean | 3.085-3.053=0.032 | | σ | 0.099-0.090=0.009 | | min | 3.000-2.975=0.025 | | max | 3.219-3.177=0.042 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.340-4754.403=-0.062 | | σ | 0.900-0.851=0.050 | | min | 4753.741-4753.922=-0.181 | | max | 4755.937-4755.915=0.022 |
| | mean | 2466.000-2478.000=-12.000 | | σ | 0.000 | | min | 2466.000-2478.000=-12.000 | | max | 2466.000-2478.000=-12.000 |
| | mean | 8.590-8.102=0.487 | | σ | 0.630-0.574=0.055 | | min | 7.661-7.632=0.029 | | max | 9.157-9.089=0.068 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.798-4944.729=0.068 | | σ | 0.075-0.123=-0.048 | | min | 4944.741-4944.543=0.197 | | max | 4944.881-4944.890=-0.009 |
| | mean | 3034.200-2913.800=120.400 | | σ | 358.411-394.657=-36.246 | | min | 2558.000-2478.000=80.000 | | max | 3368.000-3452.000=-84.000 |
| | mean | 8.752-8.399=0.354 | | σ | 0.224-0.039=0.184 | | min | 8.509-8.359=0.150 | | max | 9.077-8.448=0.629 |
|