iters=5 new-facts=1 prior-facts=1 | | mean | 324.581-324.589=-0.008 | | σ | 0.058-0.041=0.017 | | min | 324.480-324.517=-0.038 | | max | 324.618-324.615=0.003 |
| | mean | 2838.000-2830.000=8.000 | | σ | 0.000 | | min | 2838.000-2830.000=8.000 | | max | 2838.000-2830.000=8.000 |
| | mean | 0.429-0.423=0.006 | | σ | 0.009-0.001=0.007 | | min | 0.422-0.422=-0.000 | | max | 0.444-0.425=0.019 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.140-1985.144=-0.005 | | σ | 0.007-0.005=0.002 | | min | 1985.132-1985.138=-0.007 | | max | 1985.149-1985.150=-0.001 |
| | mean | 2838.000-2830.000=8.000 | | σ | 0.000 | | min | 2838.000-2830.000=8.000 | | max | 2838.000-2830.000=8.000 |
| | mean | 2.600-2.592=0.008 | | σ | 0.047-0.050=-0.004 | | min | 2.561-2.540=0.021 | | max | 2.659-2.646=0.013 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.762-4808.740=0.023 | | σ | 7.727-7.676=0.051 | | min | 4805.217-4805.235=-0.018 | | max | 4822.585-4822.470=0.115 |
| | mean | 2838.000-2830.000=8.000 | | σ | 0.000 | | min | 2838.000-2830.000=8.000 | | max | 2838.000-2830.000=8.000 |
| | mean | 8.944-8.873=0.071 | | σ | 0.353-0.228=0.124 | | min | 8.485-8.504=-0.020 | | max | 9.399-9.098=0.300 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.345-4996.273=0.072 | | σ | 0.018-0.177=-0.160 | | min | 4996.324-4995.956=0.368 | | max | 4996.370-4996.365=0.006 |
| | mean | 3058.400-3048.600=9.800 | | σ | 210.215-187.848=22.367 | | min | 2838.000-2830.000=8.000 | | max | 3368.000-3312.000=56.000 |
| | mean | 8.815-8.642=0.173 | | σ | 0.236-0.209=0.027 | | min | 8.556-8.400=0.156 | | max | 9.055-8.834=0.221 |
|