iters=5 new-facts=1 prior-facts=1 | | mean | 275.561-275.560=0.001 | | σ | 0.004-0.007=-0.003 | | min | 275.556-275.552=0.005 | | max | 275.565-275.568=-0.003 |
| | mean | 2825.000-2641.000=184.000 | | σ | 0.000 | | min | 2825.000-2641.000=184.000 | | max | 2825.000-2641.000=184.000 |
| | mean | 0.397-0.404=-0.007 | | σ | 0.005-0.010=-0.006 | | min | 0.394-0.395=-0.001 | | max | 0.405-0.416=-0.011 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.093-2168.093=0.000 | | σ | 0.007-0.006=0.002 | | min | 2168.085-2168.083=0.001 | | max | 2168.104-2168.097=0.006 |
| | mean | 2825.000-2641.000=184.000 | | σ | 0.000 | | min | 2825.000-2641.000=184.000 | | max | 2825.000-2641.000=184.000 |
| | mean | 2.983-3.007=-0.024 | | σ | 0.180-0.158=0.022 | | min | 2.766-2.838=-0.073 | | max | 3.236-3.160=0.076 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.800-5047.669=0.131 | | σ | 1.025-1.095=-0.070 | | min | 5046.889-5046.747=0.142 | | max | 5049.556-5049.488=0.069 |
| | mean | 2825.000-2641.000=184.000 | | σ | 0.000 | | min | 2825.000-2641.000=184.000 | | max | 2825.000-2641.000=184.000 |
| | mean | 8.794-8.837=-0.043 | | σ | 0.504-0.445=0.059 | | min | 8.107-8.204=-0.097 | | max | 9.344-9.400=-0.055 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.031-5178.984=0.047 | | σ | 0.089-0.222=-0.132 | | min | 5178.959-5178.613=0.345 | | max | 5179.139-5179.181=-0.042 |
| | mean | 3264.200-3217.000=47.200 | | σ | 338.755-387.074=-48.319 | | min | 2825.000-2682.000=143.000 | | max | 3699.000-3700.000=-1.000 |
| | mean | 9.416-10.122=-0.706 | | σ | 0.443-0.350=0.093 | | min | 8.886-9.727=-0.841 | | max | 9.994-10.670=-0.676 |
|