iters=5 new-facts=1 prior-facts=1 | | mean | 277.197-277.196=0.001 | | σ | 0.002-0.005=-0.003 | | min | 277.195-277.191=0.004 | | max | 277.201-277.203=-0.002 |
| | mean | 2661.000-2599.000=62.000 | | σ | 0.000 | | min | 2661.000-2599.000=62.000 | | max | 2661.000-2599.000=62.000 |
| | mean | 0.409-0.404=0.006 | | σ | 0.009-0.007=0.001 | | min | 0.405-0.396=0.009 | | max | 0.425-0.414=0.011 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.407-2174.436=-0.030 | | σ | 0.041-0.006=0.034 | | min | 2174.341-2174.427=-0.086 | | max | 2174.442-2174.442=0.001 |
| | mean | 2661.000-2599.000=62.000 | | σ | 0.000 | | min | 2661.000-2599.000=62.000 | | max | 2661.000-2599.000=62.000 |
| | mean | 2.896-2.988=-0.092 | | σ | 0.192-0.218=-0.027 | | min | 2.750-2.758=-0.007 | | max | 3.110-3.283=-0.173 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5052.596-5052.639=-0.043 | | σ | 0.904-0.960=-0.055 | | min | 5052.069-5052.098=-0.029 | | max | 5054.199-5054.345=-0.147 |
| | mean | 2661.000-2599.000=62.000 | | σ | 0.000 | | min | 2661.000-2599.000=62.000 | | max | 2661.000-2599.000=62.000 |
| | mean | 8.813-8.552=0.261 | | σ | 0.480-0.580=-0.100 | | min | 8.151-7.916=0.235 | | max | 9.393-9.411=-0.018 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5188.421-5188.426=-0.005 | | σ | 0.088-0.085=0.003 | | min | 5188.351-5188.359=-0.008 | | max | 5188.523-5188.522=0.001 |
| | mean | 3218.800-3276.000=-57.200 | | σ | 481.181-432.241=48.940 | | min | 2661.000-2674.000=-13.000 | | max | 3872.000-3674.000=198.000 |
| | mean | 8.765-8.850=-0.085 | | σ | 0.175-0.239=-0.064 | | min | 8.633-8.581=0.052 | | max | 9.049-9.237=-0.188 |
|