iters=5 new-facts=1 prior-facts=1 | | mean | 277.721-277.741=-0.020 | | σ | 0.010-0.008=0.001 | | min | 277.708-277.730=-0.021 | | max | 277.732-277.753=-0.021 |
| | mean | 2652.000-2655.000=-3.000 | | σ | 0.000 | | min | 2652.000-2655.000=-3.000 | | max | 2652.000-2655.000=-3.000 |
| | mean | 0.405-0.408=-0.002 | | σ | 0.000-0.001=-0.001 | | min | 0.405-0.406=-0.001 | | max | 0.406-0.409=-0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2267.872-2267.887=-0.015 | | σ | 0.007-0.010=-0.003 | | min | 2267.866-2267.872=-0.006 | | max | 2267.884-2267.895=-0.010 |
| | mean | 2652.000-2655.000=-3.000 | | σ | 0.000 | | min | 2652.000-2655.000=-3.000 | | max | 2652.000-2655.000=-3.000 |
| | mean | 3.162-3.028=0.134 | | σ | 0.210-0.199=0.011 | | min | 2.847-2.749=0.098 | | max | 3.389-3.225=0.165 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4955.008-4955.171=-0.163 | | σ | 0.841-1.062=-0.221 | | min | 4954.543-4954.597=-0.054 | | max | 4956.509-4957.066=-0.557 |
| | mean | 2652.000-2655.000=-3.000 | | σ | 0.000 | | min | 2652.000-2655.000=-3.000 | | max | 2652.000-2655.000=-3.000 |
| | mean | 8.096-7.907=0.189 | | σ | 0.420-0.176=0.244 | | min | 7.656-7.644=0.012 | | max | 8.605-8.094=0.510 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5169.650-5169.651=-0.001 | | σ | 0.372-0.277=0.095 | | min | 5168.997-5169.175=-0.178 | | max | 5169.858-5169.848=0.009 |
| | mean | 3376.200-3420.600=-44.400 | | σ | 518.408-483.805=34.603 | | min | 2911.000-2868.000=43.000 | | max | 4118.000-4151.000=-33.000 |
| | mean | 9.374-9.314=0.060 | | σ | 0.197-0.178=0.019 | | min | 9.158-9.133=0.025 | | max | 9.630-9.583=0.047 |
|