iters=5 new-facts=1 prior-facts=1 | | mean | 285.248-281.495=3.753 | | σ | 0.041-0.037=0.004 | | min | 285.198-281.447=3.751 | | max | 285.289-281.533=3.756 |
| | mean | 1646.000-1629.000=17.000 | | σ | 0.000 | | min | 1646.000-1629.000=17.000 | | max | 1646.000-1629.000=17.000 |
| | mean | 0.393-0.391=0.002 | | σ | 0.009-0.009=-0.000 | | min | 0.384-0.384=-0.000 | | max | 0.401-0.404=-0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1295.203-1291.475=3.728 | | σ | 0.112-0.107=0.005 | | min | 1295.077-1291.359=3.718 | | max | 1295.327-1291.628=3.700 |
| | mean | 1646.000-1629.000=17.000 | | σ | 0.000 | | min | 1646.000-1629.000=17.000 | | max | 1646.000-1629.000=17.000 |
| | mean | 1.895-1.900=-0.005 | | σ | 0.088-0.086=0.002 | | min | 1.812-1.817=-0.006 | | max | 2.022-1.992=0.030 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1538.081-1534.337=3.744 | | σ | 4.008-4.049=-0.041 | | min | 1536.108-1532.272=3.836 | | max | 1545.243-1541.571=3.673 |
| | mean | 1646.000-1629.000=17.000 | | σ | 0.000 | | min | 1646.000-1629.000=17.000 | | max | 1646.000-1629.000=17.000 |
| | mean | 2.188-2.277=-0.089 | | σ | 0.132-0.310=-0.178 | | min | 2.026-2.028=-0.002 | | max | 2.316-2.797=-0.480 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1857.112-1853.354=3.758 | | σ | 0.052-0.052=0.001 | | min | 1857.052-1853.294=3.758 | | max | 1857.180-1853.424=3.755 |
| | mean | 1776.000-1769.600=6.400 | | σ | 128.792-129.038=-0.246 | | min | 1646.000-1629.000=17.000 | | max | 1906.000-1903.000=3.000 |
| | mean | 3.111-2.984=0.128 | | σ | 0.377-0.208=0.169 | | min | 2.853-2.783=0.069 | | max | 3.769-3.326=0.443 |
|