iters=5 new-facts=1 prior-facts=1 | | mean | 285.392-285.657=-0.266 | | σ | 0.013-0.012=0.000 | | min | 285.371-285.636=-0.265 | | max | 285.405-285.668=-0.263 |
| | mean | 1633.000-1638.000=-5.000 | | σ | 0.000 | | min | 1633.000-1638.000=-5.000 | | max | 1633.000-1638.000=-5.000 |
| | mean | 0.378-0.377=0.001 | | σ | 0.008-0.002=0.006 | | min | 0.373-0.375=-0.001 | | max | 0.392-0.379=0.013 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.355-1285.623=-0.268 | | σ | 0.117-0.137=-0.020 | | min | 1285.299-1285.556=-0.257 | | max | 1285.565-1285.868=-0.303 |
| | mean | 1633.000-1638.000=-5.000 | | σ | 0.000 | | min | 1633.000-1638.000=-5.000 | | max | 1633.000-1638.000=-5.000 |
| | mean | 1.886-1.856=0.030 | | σ | 0.119-0.081=0.038 | | min | 1.803-1.784=0.019 | | max | 2.092-1.989=0.103 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.683-1807.942=-0.259 | | σ | 7.016-7.026=-0.010 | | min | 1804.335-1804.574=-0.239 | | max | 1820.220-1820.494=-0.274 |
| | mean | 1633.000-1638.000=-5.000 | | σ | 0.000 | | min | 1633.000-1638.000=-5.000 | | max | 1633.000-1638.000=-5.000 |
| | mean | 4.203-4.136=0.067 | | σ | 0.232-0.201=0.031 | | min | 3.967-3.977=-0.010 | | max | 4.455-4.467=-0.013 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.177-2070.441=-0.264 | | σ | 0.008-0.007=0.001 | | min | 2070.165-2070.431=-0.266 | | max | 2070.187-2070.448=-0.262 |
| | mean | 1855.000-1853.400=1.600 | | σ | 189.394-204.940=-15.546 | | min | 1633.000-1638.000=-5.000 | | max | 2074.000-2082.000=-8.000 |
| | mean | 4.507-4.431=0.075 | | σ | 0.053-0.023=0.030 | | min | 4.437-4.404=0.033 | | max | 4.576-4.461=0.115 |
|