iters=5 new-facts=1 prior-facts=1 | | mean | 303.785-303.775=0.009 | | σ | 0.047-0.076=-0.030 | | min | 303.712-303.650=0.062 | | max | 303.841-303.848=-0.007 |
| | mean | 1635.000-1640.000=-5.000 | | σ | 0.000 | | min | 1635.000-1640.000=-5.000 | | max | 1635.000-1640.000=-5.000 |
| | mean | 0.393-0.395=-0.002 | | σ | 0.002-0.003=-0.001 | | min | 0.391-0.392=-0.001 | | max | 0.395-0.399=-0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1326.340-1326.323=0.017 | | σ | 0.111-0.097=0.014 | | min | 1326.204-1326.197=0.006 | | max | 1326.471-1326.446=0.026 |
| | mean | 1635.000-1640.000=-5.000 | | σ | 0.000 | | min | 1635.000-1640.000=-5.000 | | max | 1635.000-1640.000=-5.000 |
| | mean | 1.937-1.898=0.039 | | σ | 0.096-0.066=0.030 | | min | 1.839-1.837=0.002 | | max | 2.038-1.987=0.051 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1564.476-1564.412=0.064 | | σ | 6.870-6.918=-0.048 | | min | 1561.242-1561.117=0.124 | | max | 1576.761-1576.783=-0.022 |
| | mean | 1635.000-1640.000=-5.000 | | σ | 0.000 | | min | 1635.000-1640.000=-5.000 | | max | 1635.000-1640.000=-5.000 |
| | mean | 2.469-2.399=0.070 | | σ | 0.319-0.348=-0.029 | | min | 2.070-2.045=0.026 | | max | 2.798-2.794=0.004 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1894.278-1894.275=0.003 | | σ | 0.066-0.065=0.001 | | min | 1894.163-1894.162=0.001 | | max | 1894.328-1894.324=0.004 |
| | mean | 1785.200-1782.800=2.400 | | σ | 171.523-177.267=-5.744 | | min | 1635.000-1640.000=-5.000 | | max | 2026.000-2063.000=-37.000 |
| | mean | 3.046-2.981=0.065 | | σ | 0.123-0.131=-0.008 | | min | 2.872-2.879=-0.006 | | max | 3.188-3.132=0.056 |
|