iters=5 new-facts=1 prior-facts=1 | | mean | 350.631-348.778=1.853 | | σ | 0.068-0.062=0.006 | | min | 350.512-348.667=1.845 | | max | 350.678-348.810=1.868 |
| | mean | 2504.000-2506.000=-2.000 | | σ | 0.000 | | min | 2504.000-2506.000=-2.000 | | max | 2504.000-2506.000=-2.000 |
| | mean | 0.456-0.457=-0.001 | | σ | 0.006-0.009=-0.003 | | min | 0.452-0.452=0.000 | | max | 0.466-0.474=-0.008 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2012.702-2009.248=3.454 | | σ | 0.024-0.004=0.021 | | min | 2012.662-2009.244=3.419 | | max | 2012.722-2009.253=3.469 |
| | mean | 2504.000-2506.000=-2.000 | | σ | 0.000 | | min | 2504.000-2506.000=-2.000 | | max | 2504.000-2506.000=-2.000 |
| | mean | 2.754-2.935=-0.181 | | σ | 0.087-0.095=-0.009 | | min | 2.677-2.819=-0.142 | | max | 2.893-3.063=-0.170 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4837.590-4833.011=4.578 | | σ | 7.775-7.725=0.050 | | min | 4833.748-4829.435=4.313 | | max | 4851.493-4846.830=4.663 |
| | mean | 2504.000-2506.000=-2.000 | | σ | 0.000 | | min | 2504.000-2506.000=-2.000 | | max | 2504.000-2506.000=-2.000 |
| | mean | 8.221-8.513=-0.293 | | σ | 0.421-0.514=-0.093 | | min | 7.881-7.815=0.066 | | max | 8.955-9.152=-0.197 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5025.193-5020.352=4.841 | | σ | 0.025-0.315=-0.289 | | min | 5025.157-5019.874=5.283 | | max | 5025.218-5020.592=4.626 |
| | mean | 2963.400-3000.600=-37.200 | | σ | 420.862-393.170=27.692 | | min | 2504.000-2506.000=-2.000 | | max | 3539.000-3518.000=21.000 |
| | mean | 9.299-8.872=0.428 | | σ | 0.588-0.317=0.271 | | min | 8.658-8.614=0.043 | | max | 9.862-9.229=0.634 |
|