iters=5 new-facts=1 prior-facts=1 | | mean | 271.903-273.529=-1.626 | | σ | 0.003-0.008=-0.004 | | min | 271.901-273.520=-1.619 | | max | 271.907-273.537=-1.630 |
| | mean | 2868.000-2847.000=21.000 | | σ | 0.000 | | min | 2868.000-2847.000=21.000 | | max | 2868.000-2847.000=21.000 |
| | mean | 0.374-0.385=-0.011 | | σ | 0.009-0.005=0.004 | | min | 0.369-0.381=-0.012 | | max | 0.391-0.394=-0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.292-1933.919=-1.628 | | σ | 0.009-0.009=0.000 | | min | 1932.277-1933.908=-1.631 | | max | 1932.299-1933.931=-1.632 |
| | mean | 2868.000-2847.000=21.000 | | σ | 0.000 | | min | 2868.000-2847.000=21.000 | | max | 2868.000-2847.000=21.000 |
| | mean | 2.990-2.949=0.040 | | σ | 0.130-0.109=0.020 | | min | 2.795-2.755=0.040 | | max | 3.156-3.012=0.145 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.997-4754.757=-1.760 | | σ | 0.908-0.789=0.119 | | min | 4752.147-4754.344=-2.197 | | max | 4754.549-4756.168=-1.619 |
| | mean | 2868.000-2847.000=21.000 | | σ | 0.000 | | min | 2868.000-2847.000=21.000 | | max | 2868.000-2847.000=21.000 |
| | mean | 8.136-8.012=0.124 | | σ | 0.352-0.293=0.059 | | min | 7.703-7.776=-0.073 | | max | 8.514-8.485=0.029 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.518-4945.140=-1.621 | | σ | 0.011-0.014=-0.003 | | min | 4943.505-4945.120=-1.615 | | max | 4943.533-4945.156=-1.623 |
| | mean | 3063.400-3042.200=21.200 | | σ | 197.732-269.553=-71.821 | | min | 2868.000-2847.000=21.000 | | max | 3333.000-3456.000=-123.000 |
| | mean | 8.613-8.449=0.165 | | σ | 0.217-0.063=0.155 | | min | 8.414-8.396=0.019 | | max | 8.872-8.534=0.338 |
|