iters=5 new-facts=1 prior-facts=1 | | mean | 324.690-324.704=-0.014 | | σ | 0.051-0.029=0.022 | | min | 324.601-324.653=-0.052 | | max | 324.726-324.726=-0.000 |
| | mean | 2779.000-2824.000=-45.000 | | σ | 0.000 | | min | 2779.000-2824.000=-45.000 | | max | 2779.000-2824.000=-45.000 |
| | mean | 0.426-0.423=0.003 | | σ | 0.001-0.001=-0.000 | | min | 0.424-0.421=0.003 | | max | 0.427-0.425=0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.251-1985.246=0.004 | | σ | 0.015-0.014=0.000 | | min | 1985.230-1985.227=0.003 | | max | 1985.263-1985.258=0.005 |
| | mean | 2779.000-2824.000=-45.000 | | σ | 0.000 | | min | 2779.000-2824.000=-45.000 | | max | 2779.000-2824.000=-45.000 |
| | mean | 2.610-2.657=-0.048 | | σ | 0.087-0.097=-0.010 | | min | 2.518-2.548=-0.030 | | max | 2.723-2.785=-0.062 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.859-4808.865=-0.006 | | σ | 7.670-7.688=-0.018 | | min | 4805.377-4805.341=0.036 | | max | 4822.579-4822.617=-0.038 |
| | mean | 2779.000-2824.000=-45.000 | | σ | 0.000 | | min | 2779.000-2824.000=-45.000 | | max | 2779.000-2824.000=-45.000 |
| | mean | 9.008-8.880=0.128 | | σ | 0.215-0.245=-0.030 | | min | 8.843-8.467=0.376 | | max | 9.361-9.116=0.245 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.461-4996.392=0.069 | | σ | 0.015-0.138=-0.123 | | min | 4996.448-4996.145=0.303 | | max | 4996.484-4996.464=0.021 |
| | mean | 3017.200-3055.600=-38.400 | | σ | 303.488-302.639=0.849 | | min | 2779.000-2824.000=-45.000 | | max | 3484.000-3523.000=-39.000 |
| | mean | 8.605-8.446=0.159 | | σ | 0.157-0.158=-0.001 | | min | 8.476-8.277=0.199 | | max | 8.862-8.694=0.168 |
|