iters=5 new-facts=1 prior-facts=1 | | mean | 326.577-326.564=0.013 | | σ | 0.048-0.058=-0.010 | | min | 326.492-326.461=0.031 | | max | 326.608-326.601=0.007 |
| | mean | 2834.000-2607.000=227.000 | | σ | 0.000 | | min | 2834.000-2607.000=227.000 | | max | 2834.000-2607.000=227.000 |
| | mean | 0.430-0.427=0.003 | | σ | 0.005-0.001=0.004 | | min | 0.426-0.426=0.000 | | max | 0.437-0.428=0.009 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1848.406-1988.742=-140.336 | | σ | 313.818-0.007=313.811 | | min | 1287.030-1988.733=-701.703 | | max | 1988.769-1988.752=0.017 |
| | mean | 2834.000-2607.000=227.000 | | σ | 0.000 | | min | 2834.000-2607.000=227.000 | | max | 2834.000-2607.000=227.000 |
| | mean | 2.480-2.683=-0.203 | | σ | 0.458-0.097=0.361 | | min | 1.708-2.545=-0.837 | | max | 2.866-2.802=0.065 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.617-4813.598=0.019 | | σ | 7.750-7.708=0.041 | | min | 4810.071-4810.039=0.031 | | max | 4827.479-4827.386=0.093 |
| | mean | 2834.000-2607.000=227.000 | | σ | 0.000 | | min | 2834.000-2607.000=227.000 | | max | 2834.000-2607.000=227.000 |
| | mean | 8.646-8.401=0.245 | | σ | 0.638-0.505=0.133 | | min | 7.682-7.864=-0.182 | | max | 9.347-9.115=0.232 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.141-5001.129=0.011 | | σ | 0.028-0.034=-0.006 | | min | 5001.103-5001.082=0.020 | | max | 5001.171-5001.163=0.009 |
| | mean | 2996.200-2946.400=49.800 | | σ | 167.727-355.191=-187.464 | | min | 2834.000-2607.000=227.000 | | max | 3233.000-3416.000=-183.000 |
| | mean | 9.731-9.791=-0.060 | | σ | 0.185-0.098=0.087 | | min | 9.560-9.676=-0.116 | | max | 10.028-9.945=0.083 |
|