iters=5 new-facts=1 prior-facts=1 | | mean | 275.751-275.753=-0.001 | | σ | 0.013-0.014=-0.001 | | min | 275.741-275.738=0.002 | | max | 275.766-275.772=-0.005 |
| | mean | 2651.000-2505.000=146.000 | | σ | 0.000 | | min | 2651.000-2505.000=146.000 | | max | 2651.000-2505.000=146.000 |
| | mean | 0.394-0.394=-0.001 | | σ | 0.010-0.009=0.001 | | min | 0.385-0.387=-0.002 | | max | 0.407-0.408=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.289-2168.285=0.004 | | σ | 0.006-0.006=-0.000 | | min | 2168.283-2168.279=0.004 | | max | 2168.297-2168.295=0.002 |
| | mean | 2651.000-2505.000=146.000 | | σ | 0.000 | | min | 2651.000-2505.000=146.000 | | max | 2651.000-2505.000=146.000 |
| | mean | 2.999-2.936=0.063 | | σ | 0.164-0.127=0.037 | | min | 2.807-2.762=0.045 | | max | 3.252-3.092=0.160 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.980-5048.042=-0.062 | | σ | 0.643-1.062=-0.419 | | min | 5047.530-5046.944=0.586 | | max | 5049.114-5049.809=-0.695 |
| | mean | 2651.000-2505.000=146.000 | | σ | 0.000 | | min | 2651.000-2505.000=146.000 | | max | 2651.000-2505.000=146.000 |
| | mean | 8.772-9.007=-0.235 | | σ | 0.368-0.857=-0.490 | | min | 8.223-8.064=0.159 | | max | 9.180-10.148=-0.969 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.242-5179.245=-0.002 | | σ | 0.081-0.082=-0.000 | | min | 5179.163-5179.169=-0.006 | | max | 5179.336-5179.341=-0.005 |
| | mean | 3227.400-3264.200=-36.800 | | σ | 389.764-378.325=11.439 | | min | 2685.000-2732.000=-47.000 | | max | 3720.000-3726.000=-6.000 |
| | mean | 10.064-10.038=0.027 | | σ | 0.063-0.192=-0.129 | | min | 9.992-9.708=0.284 | | max | 10.140-10.175=-0.035 |
|