iters=5 new-facts=1 prior-facts=1 | | mean | 286.815-286.820=-0.005 | | σ | 0.042-0.038=0.004 | | min | 286.763-286.768=-0.004 | | max | 286.860-286.857=0.002 |
| | mean | 1619.000-1622.000=-3.000 | | σ | 0.000 | | min | 1619.000-1622.000=-3.000 | | max | 1619.000-1622.000=-3.000 |
| | mean | 0.402-0.398=0.005 | | σ | 0.011-0.007=0.005 | | min | 0.389-0.389=-0.000 | | max | 0.421-0.404=0.017 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1297.284-1297.237=0.046 | | σ | 0.085-0.051=0.034 | | min | 1297.191-1297.191=-0.000 | | max | 1297.406-1297.294=0.111 |
| | mean | 1619.000-1622.000=-3.000 | | σ | 0.000 | | min | 1619.000-1622.000=-3.000 | | max | 1619.000-1622.000=-3.000 |
| | mean | 2.235-2.090=0.144 | | σ | 0.076-0.066=0.010 | | min | 2.131-2.036=0.095 | | max | 2.335-2.201=0.134 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1541.324-1541.349=-0.025 | | σ | 6.839-6.815=0.024 | | min | 1538.089-1538.155=-0.067 | | max | 1553.555-1553.537=0.018 |
| | mean | 1619.000-1622.000=-3.000 | | σ | 0.000 | | min | 1619.000-1622.000=-3.000 | | max | 1619.000-1622.000=-3.000 |
| | mean | 2.187-2.277=-0.090 | | σ | 0.140-0.261=-0.122 | | min | 2.032-2.067=-0.035 | | max | 2.379-2.719=-0.340 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1859.119-1859.110=0.008 | | σ | 0.060-0.084=-0.025 | | min | 1859.033-1858.978=0.054 | | max | 1859.186-1859.181=0.005 |
| | mean | 1770.000-1776.200=-6.200 | | σ | 177.881-176.893=0.987 | | min | 1619.000-1622.000=-3.000 | | max | 2030.000-2031.000=-1.000 |
| | mean | 2.922-3.042=-0.119 | | σ | 0.070-0.281=-0.211 | | min | 2.869-2.804=0.064 | | max | 3.041-3.510=-0.469 |
|