iters=5 new-facts=1 prior-facts=1 | | mean | 273.500-273.499=0.000 | | σ | 0.007-0.007=-0.000 | | min | 273.489-273.490=-0.000 | | max | 273.508-273.508=-0.000 |
| | mean | 2688.000-2774.000=-86.000 | | σ | 0.000 | | min | 2688.000-2774.000=-86.000 | | max | 2688.000-2774.000=-86.000 |
| | mean | 0.373-0.380=-0.006 | | σ | 0.001-0.001=-0.000 | | min | 0.372-0.379=-0.007 | | max | 0.374-0.381=-0.007 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.897-1933.892=0.004 | | σ | 0.013-0.021=-0.008 | | min | 1933.876-1933.864=0.013 | | max | 1933.906-1933.913=-0.007 |
| | mean | 2688.000-2774.000=-86.000 | | σ | 0.000 | | min | 2688.000-2774.000=-86.000 | | max | 2688.000-2774.000=-86.000 |
| | mean | 2.974-3.127=-0.153 | | σ | 0.065-0.198=-0.133 | | min | 2.872-2.919=-0.047 | | max | 3.054-3.368=-0.314 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.631-4754.587=0.044 | | σ | 0.878-0.893=-0.015 | | min | 4754.220-4754.137=0.083 | | max | 4756.201-4756.182=0.018 |
| | mean | 2688.000-2774.000=-86.000 | | σ | 0.000 | | min | 2688.000-2774.000=-86.000 | | max | 2688.000-2774.000=-86.000 |
| | mean | 8.768-8.884=-0.115 | | σ | 0.109-0.203=-0.093 | | min | 8.644-8.576=0.068 | | max | 8.930-9.047=-0.117 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.905-4945.122=-0.216 | | σ | 0.323-0.020=0.303 | | min | 4944.390-4945.099=-0.709 | | max | 4945.136-4945.143=-0.007 |
| | mean | 2967.000-3078.800=-111.800 | | σ | 321.950-296.405=25.545 | | min | 2688.000-2774.000=-86.000 | | max | 3430.000-3371.000=59.000 |
| | mean | 8.485-8.702=-0.217 | | σ | 0.215-0.219=-0.005 | | min | 8.275-8.432=-0.157 | | max | 8.775-8.908=-0.133 |
|