iters=5 new-facts=1 prior-facts=1 | | mean | 324.729-324.690=0.039 | | σ | 0.055-0.055=-0.000 | | min | 324.631-324.592=0.039 | | max | 324.759-324.719=0.041 |
| | mean | 2427.000-2425.000=2.000 | | σ | 0.000 | | min | 2427.000-2425.000=2.000 | | max | 2427.000-2425.000=2.000 |
| | mean | 0.431-0.429=0.003 | | σ | 0.010-0.007=0.003 | | min | 0.423-0.422=0.001 | | max | 0.447-0.441=0.006 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.285-1985.250=0.036 | | σ | 0.020-0.017=0.003 | | min | 1985.254-1985.224=0.030 | | max | 1985.302-1985.263=0.039 |
| | mean | 2427.000-2425.000=2.000 | | σ | 0.000 | | min | 2427.000-2425.000=2.000 | | max | 2427.000-2425.000=2.000 |
| | mean | 2.636-2.665=-0.028 | | σ | 0.164-0.154=0.010 | | min | 2.461-2.458=0.003 | | max | 2.901-2.855=0.046 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4668.164-4808.863=-140.700 | | σ | 307.152-7.631=299.521 | | min | 4118.714-4805.402=-686.687 | | max | 4805.628-4822.513=-16.885 |
| | mean | 2427.000-2425.000=2.000 | | σ | 0.000 | | min | 2427.000-2425.000=2.000 | | max | 2427.000-2425.000=2.000 |
| | mean | 8.686-8.904=-0.219 | | σ | 0.480-0.276=0.204 | | min | 7.961-8.445=-0.484 | | max | 9.171-9.158=0.013 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.491-4996.456=0.034 | | σ | 0.017-0.017=-0.000 | | min | 4996.471-4996.432=0.039 | | max | 4996.513-4996.479=0.034 |
| | mean | 2863.800-2942.000=-78.200 | | σ | 294.206-398.065=-103.859 | | min | 2427.000-2474.000=-47.000 | | max | 3225.000-3472.000=-247.000 |
| | mean | 8.564-8.458=0.106 | | σ | 0.127-0.118=0.009 | | min | 8.424-8.329=0.095 | | max | 8.700-8.641=0.059 |
|