iters=5 new-facts=1 prior-facts=1 | | mean | 325.309-325.315=-0.006 | | σ | 0.055-0.052=0.003 | | min | 325.213-325.222=-0.010 | | max | 325.344-325.341=0.003 |
| | mean | 2824.000-2691.000=133.000 | | σ | 0.000 | | min | 2824.000-2691.000=133.000 | | max | 2824.000-2691.000=133.000 |
| | mean | 0.424-0.431=-0.007 | | σ | 0.001-0.006=-0.005 | | min | 0.422-0.426=-0.003 | | max | 0.426-0.440=-0.015 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.877-1985.877=-0.000 | | σ | 0.013-0.009=0.004 | | min | 1985.863-1985.863=0.001 | | max | 1985.892-1985.888=0.004 |
| | mean | 2824.000-2691.000=133.000 | | σ | 0.000 | | min | 2824.000-2691.000=133.000 | | max | 2824.000-2691.000=133.000 |
| | mean | 2.835-2.724=0.111 | | σ | 0.179-0.082=0.097 | | min | 2.616-2.673=-0.057 | | max | 3.112-2.869=0.243 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4809.515-4809.420=0.095 | | σ | 7.779-7.488=0.290 | | min | 4805.636-4805.561=0.074 | | max | 4823.424-4822.804=0.619 |
| | mean | 2824.000-2691.000=133.000 | | σ | 0.000 | | min | 2824.000-2691.000=133.000 | | max | 2824.000-2691.000=133.000 |
| | mean | 8.978-8.465=0.513 | | σ | 0.080-0.580=-0.500 | | min | 8.837-7.706=1.131 | | max | 9.031-9.163=-0.132 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4997.193-4997.091=0.103 | | σ | 0.015-0.131=-0.116 | | min | 4997.174-4996.861=0.313 | | max | 4997.213-4997.175=0.038 |
| | mean | 3042.200-3006.200=36.000 | | σ | 280.956-362.472=-81.516 | | min | 2824.000-2691.000=133.000 | | max | 3474.000-3535.000=-61.000 |
| | mean | 8.866-8.531=0.335 | | σ | 0.305-0.108=0.196 | | min | 8.637-8.399=0.238 | | max | 9.337-8.694=0.642 |
|