iters=5 new-facts=1 prior-facts=1 | | mean | 324.699-324.690=0.008 | | σ | 0.043-0.051=-0.008 | | min | 324.622-324.601=0.021 | | max | 324.728-324.726=0.002 |
| | mean | 2841.000-2779.000=62.000 | | σ | 0.000 | | min | 2841.000-2779.000=62.000 | | max | 2841.000-2779.000=62.000 |
| | mean | 0.427-0.426=0.002 | | σ | 0.007-0.001=0.006 | | min | 0.424-0.424=-0.000 | | max | 0.439-0.427=0.012 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.255-1985.251=0.004 | | σ | 0.012-0.015=-0.003 | | min | 1985.238-1985.230=0.008 | | max | 1985.271-1985.263=0.008 |
| | mean | 2841.000-2779.000=62.000 | | σ | 0.000 | | min | 2841.000-2779.000=62.000 | | max | 2841.000-2779.000=62.000 |
| | mean | 2.610-2.610=0.000 | | σ | 0.080-0.087=-0.007 | | min | 2.561-2.518=0.043 | | max | 2.749-2.723=0.025 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.890-4808.859=0.031 | | σ | 7.644-7.670=-0.026 | | min | 4805.409-4805.377=0.032 | | max | 4822.563-4822.579=-0.016 |
| | mean | 2841.000-2779.000=62.000 | | σ | 0.000 | | min | 2841.000-2779.000=62.000 | | max | 2841.000-2779.000=62.000 |
| | mean | 8.792-9.008=-0.216 | | σ | 0.440-0.215=0.225 | | min | 8.088-8.843=-0.756 | | max | 9.285-9.361=-0.076 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.456-4996.461=-0.005 | | σ | 0.015-0.015=-0.001 | | min | 4996.436-4996.448=-0.012 | | max | 4996.472-4996.484=-0.012 |
| | mean | 3029.200-3017.200=12.000 | | σ | 261.110-303.488=-42.378 | | min | 2841.000-2779.000=62.000 | | max | 3429.000-3484.000=-55.000 |
| | mean | 8.575-8.605=-0.030 | | σ | 0.170-0.157=0.013 | | min | 8.441-8.476=-0.035 | | max | 8.870-8.862=0.008 |
|