iters=5 new-facts=1 prior-facts=1 | | mean | 324.708-324.686=0.022 | | σ | 0.052-0.034=0.017 | | min | 324.616-324.625=-0.009 | | max | 324.738-324.706=0.032 |
| | mean | 2837.000-2810.000=27.000 | | σ | 0.000 | | min | 2837.000-2810.000=27.000 | | max | 2837.000-2810.000=27.000 |
| | mean | 0.423-0.427=-0.005 | | σ | 0.001-0.006=-0.005 | | min | 0.421-0.424=-0.003 | | max | 0.424-0.439=-0.014 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.264-1985.247=0.017 | | σ | 0.018-0.018=0.000 | | min | 1985.232-1985.222=0.010 | | max | 1985.277-1985.269=0.007 |
| | mean | 2837.000-2810.000=27.000 | | σ | 0.000 | | min | 2837.000-2810.000=27.000 | | max | 2837.000-2810.000=27.000 |
| | mean | 2.630-2.630=0.000 | | σ | 0.063-0.085=-0.022 | | min | 2.570-2.562=0.008 | | max | 2.703-2.761=-0.058 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.890-4808.746=0.143 | | σ | 7.655-7.386=0.269 | | min | 4805.354-4805.381=-0.027 | | max | 4822.582-4821.958=0.623 |
| | mean | 2837.000-2810.000=27.000 | | σ | 0.000 | | min | 2837.000-2810.000=27.000 | | max | 2837.000-2810.000=27.000 |
| | mean | 8.809-8.936=-0.127 | | σ | 0.449-0.168=0.281 | | min | 8.059-8.681=-0.622 | | max | 9.220-9.117=0.104 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.468-4996.390=0.079 | | σ | 0.015-0.154=-0.139 | | min | 4996.455-4996.116=0.339 | | max | 4996.489-4996.475=0.014 |
| | mean | 3041.400-3059.600=-18.200 | | σ | 210.397-316.687=-106.290 | | min | 2837.000-2810.000=27.000 | | max | 3356.000-3540.000=-184.000 |
| | mean | 8.742-8.475=0.267 | | σ | 0.242-0.129=0.114 | | min | 8.485-8.307=0.177 | | max | 9.021-8.664=0.357 |
|