iters=5 new-facts=1 prior-facts=1 | | mean | 303.794-303.783=0.011 | | σ | 0.039-0.065=-0.026 | | min | 303.744-303.679=0.065 | | max | 303.843-303.845=-0.001 |
| | mean | 1627.000-1513.000=114.000 | | σ | 0.000 | | min | 1627.000-1513.000=114.000 | | max | 1627.000-1513.000=114.000 |
| | mean | 0.392-0.400=-0.008 | | σ | 0.001-0.012=-0.011 | | min | 0.391-0.389=0.001 | | max | 0.393-0.413=-0.021 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1326.334-1326.334=0.000 | | σ | 0.101-0.109=-0.008 | | min | 1326.202-1326.200=0.002 | | max | 1326.453-1326.474=-0.021 |
| | mean | 1627.000-1513.000=114.000 | | σ | 0.000 | | min | 1627.000-1513.000=114.000 | | max | 1627.000-1513.000=114.000 |
| | mean | 1.946-1.919=0.026 | | σ | 0.154-0.086=0.068 | | min | 1.818-1.831=-0.014 | | max | 2.152-2.033=0.118 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1564.401-1564.391=0.010 | | σ | 6.899-6.926=-0.027 | | min | 1561.143-1561.083=0.060 | | max | 1576.738-1576.775=-0.037 |
| | mean | 1627.000-1513.000=114.000 | | σ | 0.000 | | min | 1627.000-1513.000=114.000 | | max | 1627.000-1513.000=114.000 |
| | mean | 2.345-2.304=0.041 | | σ | 0.311-0.209=0.102 | | min | 2.061-2.056=0.006 | | max | 2.709-2.623=0.085 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1894.287-1894.284=0.003 | | σ | 0.081-0.070=0.011 | | min | 1894.149-1894.160=-0.011 | | max | 1894.350-1894.333=0.017 |
| | mean | 1774.200-1755.200=19.000 | | σ | 179.730-210.349=-30.619 | | min | 1627.000-1513.000=114.000 | | max | 2056.000-2026.000=30.000 |
| | mean | 2.951-3.028=-0.077 | | σ | 0.201-0.124=0.078 | | min | 2.725-2.892=-0.166 | | max | 3.266-3.220=0.046 |
|