iters=5 new-facts=1 prior-facts=1 | | mean | 324.762-324.778=-0.016 | | σ | 0.062-0.033=0.029 | | min | 324.654-324.722=-0.068 | | max | 324.803-324.807=-0.004 |
| | mean | 2782.000-2830.000=-48.000 | | σ | 0.000 | | min | 2782.000-2830.000=-48.000 | | max | 2782.000-2830.000=-48.000 |
| | mean | 0.436-0.423=0.013 | | σ | 0.010-0.001=0.009 | | min | 0.430-0.422=0.008 | | max | 0.455-0.425=0.030 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.326-1985.323=0.002 | | σ | 0.011-0.015=-0.004 | | min | 1985.306-1985.306=-0.000 | | max | 1985.332-1985.337=-0.005 |
| | mean | 2782.000-2830.000=-48.000 | | σ | 0.000 | | min | 2782.000-2830.000=-48.000 | | max | 2782.000-2830.000=-48.000 |
| | mean | 2.637-2.621=0.016 | | σ | 0.083-0.054=0.029 | | min | 2.577-2.573=0.004 | | max | 2.764-2.690=0.075 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4809.095-4808.808=0.287 | | σ | 7.676-7.790=-0.115 | | min | 4805.642-4804.837=0.805 | | max | 4822.826-4822.735=0.091 |
| | mean | 2782.000-2830.000=-48.000 | | σ | 0.000 | | min | 2782.000-2830.000=-48.000 | | max | 2782.000-2830.000=-48.000 |
| | mean | 8.900-8.712=0.187 | | σ | 0.162-0.264=-0.101 | | min | 8.626-8.342=0.285 | | max | 9.012-9.044=-0.032 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.617-4996.530=0.088 | | σ | 0.037-0.025=0.013 | | min | 4996.557-4996.504=0.052 | | max | 4996.658-4996.563=0.096 |
| | mean | 3047.200-3034.200=13.000 | | σ | 328.860-280.479=48.380 | | min | 2782.000-2830.000=-48.000 | | max | 3546.000-3475.000=71.000 |
| | mean | 8.505-8.489=0.016 | | σ | 0.101-0.150=-0.049 | | min | 8.427-8.370=0.057 | | max | 8.681-8.750=-0.069 |
|