iters=5 new-facts=1 prior-facts=1 | | mean | 271.956-271.953=0.003 | | σ | 0.006-0.004=0.001 | | min | 271.951-271.948=0.003 | | max | 271.963-271.959=0.003 |
| | mean | 2778.000-2616.000=162.000 | | σ | 0.000 | | min | 2778.000-2616.000=162.000 | | max | 2778.000-2616.000=162.000 |
| | mean | 0.385-0.383=0.002 | | σ | 0.003-0.002=0.001 | | min | 0.383-0.381=0.002 | | max | 0.390-0.385=0.005 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.324-1932.328=-0.004 | | σ | 0.007-0.008=-0.001 | | min | 1932.313-1932.320=-0.007 | | max | 1932.330-1932.337=-0.007 |
| | mean | 2778.000-2616.000=162.000 | | σ | 0.000 | | min | 2778.000-2616.000=162.000 | | max | 2778.000-2616.000=162.000 |
| | mean | 3.079-2.958=0.121 | | σ | 0.112-0.091=0.021 | | min | 2.936-2.817=0.119 | | max | 3.193-3.070=0.122 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4753.125-4753.090=0.035 | | σ | 0.904-0.918=-0.014 | | min | 4752.562-4752.545=0.017 | | max | 4754.721-4754.710=0.011 |
| | mean | 2778.000-2616.000=162.000 | | σ | 0.000 | | min | 2778.000-2616.000=162.000 | | max | 2778.000-2616.000=162.000 |
| | mean | 8.398-8.805=-0.407 | | σ | 0.682-0.681=0.001 | | min | 7.460-7.963=-0.503 | | max | 9.042-9.565=-0.523 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.561-4943.555=0.007 | | σ | 0.015-0.009=0.006 | | min | 4943.541-4943.543=-0.002 | | max | 4943.582-4943.565=0.017 |
| | mean | 3049.800-2981.000=68.800 | | σ | 237.458-278.522=-41.064 | | min | 2778.000-2616.000=162.000 | | max | 3342.000-3318.000=24.000 |
| | mean | 8.632-8.576=0.056 | | σ | 0.116-0.155=-0.040 | | min | 8.460-8.417=0.043 | | max | 8.784-8.771=0.014 |
|