iters=5 new-facts=1 prior-facts=1 | | mean | 286.827-286.825=0.003 | | σ | 0.039-0.038=0.001 | | min | 286.778-286.779=-0.000 | | max | 286.868-286.864=0.005 |
| | mean | 1617.000-1622.000=-5.000 | | σ | 0.000 | | min | 1617.000-1622.000=-5.000 | | max | 1617.000-1622.000=-5.000 |
| | mean | 0.396-0.396=-0.001 | | σ | 0.009-0.006=0.003 | | min | 0.388-0.389=-0.001 | | max | 0.409-0.402=0.007 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1297.261-1297.265=-0.003 | | σ | 0.094-0.107=-0.013 | | min | 1297.126-1297.114=0.012 | | max | 1297.375-1297.404=-0.030 |
| | mean | 1617.000-1622.000=-5.000 | | σ | 0.000 | | min | 1617.000-1622.000=-5.000 | | max | 1617.000-1622.000=-5.000 |
| | mean | 2.227-2.239=-0.013 | | σ | 0.020-0.062=-0.042 | | min | 2.210-2.177=0.033 | | max | 2.254-2.333=-0.080 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1541.375-1541.361=0.014 | | σ | 6.803-6.809=-0.006 | | min | 1538.235-1538.188=0.048 | | max | 1553.543-1553.539=0.004 |
| | mean | 1617.000-1622.000=-5.000 | | σ | 0.000 | | min | 1617.000-1622.000=-5.000 | | max | 1617.000-1622.000=-5.000 |
| | mean | 2.332-2.285=0.047 | | σ | 0.250-0.230=0.020 | | min | 2.166-2.111=0.054 | | max | 2.754-2.642=0.112 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1859.116-1859.117=-0.002 | | σ | 0.063-0.070=-0.006 | | min | 1859.031-1859.030=0.001 | | max | 1859.190-1859.197=-0.006 |
| | mean | 1764.000-1785.000=-21.000 | | σ | 131.564-167.239=-35.676 | | min | 1617.000-1622.000=-5.000 | | max | 1899.000-1956.000=-57.000 |
| | mean | 3.131-2.988=0.143 | | σ | 0.256-0.133=0.123 | | min | 2.893-2.857=0.036 | | max | 3.498-3.173=0.325 |
|