iters=5 new-facts=1 prior-facts=1 | | mean | 277.715-190.720=86.995 | | σ | 0.011-0.006=0.006 | | min | 277.698-190.712=86.986 | | max | 277.727-190.727=87.000 |
| | mean | 2654.000-2632.000=22.000 | | σ | 0.000 | | min | 2654.000-2632.000=22.000 | | max | 2654.000-2632.000=22.000 |
| | mean | 0.411-0.280=0.131 | | σ | 0.002-0.001=0.001 | | min | 0.409-0.279=0.129 | | max | 0.413-0.281=0.133 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2267.892-1989.501=278.391 | | σ | 0.009-0.016=-0.007 | | min | 2267.884-1989.482=278.402 | | max | 2267.902-1989.525=278.377 |
| | mean | 2654.000-2632.000=22.000 | | σ | 0.000 | | min | 2654.000-2632.000=22.000 | | max | 2654.000-2632.000=22.000 |
| | mean | 3.070-2.423=0.646 | | σ | 0.180-0.060=0.119 | | min | 2.889-2.328=0.561 | | max | 3.296-2.490=0.806 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4955.076-4880.068=75.008 | | σ | 0.848-0.599=0.249 | | min | 4954.639-4879.733=74.906 | | max | 4956.590-4881.133=75.457 |
| | mean | 2654.000-2632.000=22.000 | | σ | 0.000 | | min | 2654.000-2632.000=22.000 | | max | 2654.000-2632.000=22.000 |
| | mean | 7.916-8.225=-0.309 | | σ | 0.159-0.285=-0.126 | | min | 7.725-7.776=-0.051 | | max | 8.112-8.556=-0.444 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5169.790-4891.624=278.166 | | σ | 0.077-0.127=-0.050 | | min | 5169.694-4891.416=278.278 | | max | 5169.856-4891.763=278.093 |
| | mean | 3421.200-3352.600=68.600 | | σ | 473.878-465.019=8.860 | | min | 2856.000-2780.000=76.000 | | max | 4106.000-4016.000=90.000 |
| | mean | 9.398-8.269=1.129 | | σ | 0.379-0.171=0.208 | | min | 9.001-8.034=0.967 | | max | 10.023-8.447=1.576 |
|