iters=5 new-facts=1 prior-facts=1 | | mean | 278.695-278.696=-0.001 | | σ | 0.014-0.014=0.000 | | min | 278.682-278.684=-0.002 | | max | 278.719-278.718=0.001 |
| | mean | 2857.000-2604.000=253.000 | | σ | 0.000 | | min | 2857.000-2604.000=253.000 | | max | 2857.000-2604.000=253.000 |
| | mean | 0.417-0.417=-0.000 | | σ | 0.001-0.002=-0.000 | | min | 0.415-0.415=-0.000 | | max | 0.418-0.419=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.872-2268.860=0.012 | | σ | 0.005-0.012=-0.006 | | min | 2268.867-2268.840=0.026 | | max | 2268.880-2268.868=0.011 |
| | mean | 2857.000-2604.000=253.000 | | σ | 0.000 | | min | 2857.000-2604.000=253.000 | | max | 2857.000-2604.000=253.000 |
| | mean | 2.931-3.038=-0.107 | | σ | 0.064-0.299=-0.235 | | min | 2.849-2.899=-0.049 | | max | 3.022-3.573=-0.551 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.375-4952.362=0.013 | | σ | 0.747-0.847=-0.100 | | min | 4951.994-4951.891=0.103 | | max | 4953.708-4953.873=-0.165 |
| | mean | 2857.000-2604.000=253.000 | | σ | 0.000 | | min | 2857.000-2604.000=253.000 | | max | 2857.000-2604.000=253.000 |
| | mean | 7.661-7.925=-0.264 | | σ | 0.129-0.251=-0.122 | | min | 7.545-7.706=-0.161 | | max | 7.865-8.344=-0.479 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5167.072-5167.084=-0.013 | | σ | 0.010-0.024=-0.015 | | min | 5167.063-5167.068=-0.005 | | max | 5167.084-5167.127=-0.044 |
| | mean | 3404.600-3353.000=51.600 | | σ | 434.963-447.516=-12.553 | | min | 2857.000-2832.000=25.000 | | max | 3979.000-4005.000=-26.000 |
| | mean | 9.328-9.450=-0.122 | | σ | 0.243-0.491=-0.248 | | min | 8.958-8.999=-0.041 | | max | 9.624-10.283=-0.659 |
|