iters=5 new-facts=1 prior-facts=1 | | mean | 190.714-190.717=-0.003 | | σ | 0.007-0.007=0.000 | | min | 190.708-190.712=-0.004 | | max | 190.724-190.729=-0.004 |
| | mean | 2666.000-2609.000=57.000 | | σ | 0.000 | | min | 2666.000-2609.000=57.000 | | max | 2666.000-2609.000=57.000 |
| | mean | 0.280-0.279=0.001 | | σ | 0.002-0.001=0.002 | | min | 0.279-0.278=0.000 | | max | 0.284-0.280=0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1989.485-1989.486=-0.001 | | σ | 0.021-0.013=0.008 | | min | 1989.462-1989.471=-0.009 | | max | 1989.515-1989.503=0.012 |
| | mean | 2666.000-2609.000=57.000 | | σ | 0.000 | | min | 2666.000-2609.000=57.000 | | max | 2666.000-2609.000=57.000 |
| | mean | 2.497-2.518=-0.022 | | σ | 0.266-0.191=0.075 | | min | 2.131-2.309=-0.179 | | max | 2.790-2.777=0.014 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4880.087-4879.717=0.370 | | σ | 0.564-0.947=-0.383 | | min | 4879.732-4878.563=1.169 | | max | 4881.076-4881.152=-0.075 |
| | mean | 2666.000-2609.000=57.000 | | σ | 0.000 | | min | 2666.000-2609.000=57.000 | | max | 2666.000-2609.000=57.000 |
| | mean | 8.126-8.300=-0.174 | | σ | 0.241-0.285=-0.045 | | min | 7.894-8.055=-0.161 | | max | 8.490-8.710=-0.220 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4891.693-4891.695=-0.002 | | σ | 0.090-0.098=-0.008 | | min | 4891.614-4891.611=0.002 | | max | 4891.806-4891.812=-0.005 |
| | mean | 3267.400-3335.000=-67.600 | | σ | 404.559-429.472=-24.912 | | min | 2866.000-2915.000=-49.000 | | max | 3675.000-3773.000=-98.000 |
| | mean | 8.154-8.190=-0.036 | | σ | 0.200-0.285=-0.085 | | min | 8.019-7.989=0.030 | | max | 8.490-8.676=-0.186 |
|