iters=5 new-facts=1 prior-facts=1 | | mean | 285.412-285.411=0.002 | | σ | 0.014-0.013=0.001 | | min | 285.391-285.394=-0.003 | | max | 285.424-285.424=-0.000 |
| | mean | 1646.000-1651.000=-5.000 | | σ | 0.000 | | min | 1646.000-1651.000=-5.000 | | max | 1646.000-1651.000=-5.000 |
| | mean | 0.381-0.377=0.004 | | σ | 0.007-0.004=0.002 | | min | 0.374-0.374=0.000 | | max | 0.389-0.383=0.006 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.376-1285.377=-0.001 | | σ | 0.133-0.139=-0.005 | | min | 1285.307-1285.311=-0.005 | | max | 1285.614-1285.625=-0.011 |
| | mean | 1646.000-1651.000=-5.000 | | σ | 0.000 | | min | 1646.000-1651.000=-5.000 | | max | 1646.000-1651.000=-5.000 |
| | mean | 1.963-1.869=0.094 | | σ | 0.140-0.071=0.069 | | min | 1.828-1.795=0.034 | | max | 2.134-1.981=0.153 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.717-1807.746=-0.029 | | σ | 7.005-6.989=0.016 | | min | 1804.341-1804.380=-0.039 | | max | 1820.232-1820.232=-0.001 |
| | mean | 1646.000-1651.000=-5.000 | | σ | 0.000 | | min | 1646.000-1651.000=-5.000 | | max | 1646.000-1651.000=-5.000 |
| | mean | 4.215-4.287=-0.072 | | σ | 0.218-0.205=0.013 | | min | 3.977-4.103=-0.126 | | max | 4.494-4.541=-0.048 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.195-2070.194=0.001 | | σ | 0.008-0.011=-0.003 | | min | 2070.185-2070.179=0.006 | | max | 2070.205-2070.210=-0.005 |
| | mean | 1854.400-1860.600=-6.200 | | σ | 187.113-205.510=-18.397 | | min | 1646.000-1651.000=-5.000 | | max | 2090.000-2094.000=-4.000 |
| | mean | 4.535-4.468=0.066 | | σ | 0.132-0.055=0.077 | | min | 4.409-4.425=-0.015 | | max | 4.755-4.556=0.200 |
|