iters=5 new-facts=1 prior-facts=1 | | mean | 275.567-275.569=-0.002 | | σ | 0.007-0.006=0.001 | | min | 275.562-275.562=-0.001 | | max | 275.578-275.577=0.001 |
| | mean | 2640.000-2697.000=-57.000 | | σ | 0.000 | | min | 2640.000-2697.000=-57.000 | | max | 2640.000-2697.000=-57.000 |
| | mean | 0.391-0.395=-0.004 | | σ | 0.008-0.008=0.000 | | min | 0.383-0.388=-0.005 | | max | 0.400-0.404=-0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.099-2168.093=0.007 | | σ | 0.009-0.013=-0.004 | | min | 2168.089-2168.070=0.019 | | max | 2168.110-2168.103=0.007 |
| | mean | 2640.000-2697.000=-57.000 | | σ | 0.000 | | min | 2640.000-2697.000=-57.000 | | max | 2640.000-2697.000=-57.000 |
| | mean | 2.997-2.924=0.073 | | σ | 0.161-0.110=0.051 | | min | 2.836-2.753=0.082 | | max | 3.223-3.039=0.184 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.922-5047.793=0.129 | | σ | 0.896-1.013=-0.116 | | min | 5047.391-5046.754=0.636 | | max | 5049.516-5049.484=0.032 |
| | mean | 2640.000-2697.000=-57.000 | | σ | 0.000 | | min | 2640.000-2697.000=-57.000 | | max | 2640.000-2697.000=-57.000 |
| | mean | 9.018-8.769=0.249 | | σ | 0.328-0.479=-0.151 | | min | 8.597-8.090=0.508 | | max | 9.493-9.406=0.087 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.041-5178.980=0.062 | | σ | 0.082-0.192=-0.110 | | min | 5178.961-5178.670=0.291 | | max | 5179.131-5179.145=-0.015 |
| | mean | 3218.800-3218.200=0.600 | | σ | 388.112-381.829=6.283 | | min | 2684.000-2697.000=-13.000 | | max | 3704.000-3699.000=5.000 |
| | mean | 9.864-9.922=-0.057 | | σ | 0.271-0.278=-0.007 | | min | 9.489-9.431=0.058 | | max | 10.214-10.114=0.100 |
|