iters=5 new-facts=1 prior-facts=1 | | mean | 324.588-324.589=-0.001 | | σ | 0.043-0.041=0.002 | | min | 324.512-324.517=-0.005 | | max | 324.617-324.615=0.002 |
| | mean | 2824.000-2830.000=-6.000 | | σ | 0.000 | | min | 2824.000-2830.000=-6.000 | | max | 2824.000-2830.000=-6.000 |
| | mean | 0.423-0.423=0.000 | | σ | 0.001-0.001=-0.000 | | min | 0.422-0.422=0.000 | | max | 0.425-0.425=-0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.137-1985.144=-0.007 | | σ | 0.020-0.005=0.015 | | min | 1985.106-1985.138=-0.032 | | max | 1985.152-1985.150=0.002 |
| | mean | 2824.000-2830.000=-6.000 | | σ | 0.000 | | min | 2824.000-2830.000=-6.000 | | max | 2824.000-2830.000=-6.000 |
| | mean | 2.697-2.592=0.104 | | σ | 0.242-0.050=0.192 | | min | 2.502-2.540=-0.037 | | max | 3.112-2.646=0.466 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.752-4808.740=0.012 | | σ | 7.696-7.676=0.020 | | min | 4805.204-4805.235=-0.031 | | max | 4822.517-4822.470=0.047 |
| | mean | 2824.000-2830.000=-6.000 | | σ | 0.000 | | min | 2824.000-2830.000=-6.000 | | max | 2824.000-2830.000=-6.000 |
| | mean | 8.936-8.873=0.063 | | σ | 0.389-0.228=0.161 | | min | 8.529-8.504=0.025 | | max | 9.452-9.098=0.354 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.274-4996.273=0.002 | | σ | 0.156-0.177=-0.022 | | min | 4995.997-4995.956=0.040 | | max | 4996.360-4996.365=-0.005 |
| | mean | 3041.600-3048.600=-7.000 | | σ | 291.512-187.848=103.664 | | min | 2824.000-2830.000=-6.000 | | max | 3495.000-3312.000=183.000 |
| | mean | 8.495-8.642=-0.147 | | σ | 0.109-0.209=-0.100 | | min | 8.429-8.400=0.029 | | max | 8.685-8.834=-0.149 |
|