iters=5 new-facts=1 prior-facts=1 | | mean | 324.709-324.708=0.000 | | σ | 0.066-0.054=0.012 | | min | 324.592-324.612=-0.020 | | max | 324.745-324.734=0.011 |
| | mean | 2838.000-2780.000=58.000 | | σ | 0.000 | | min | 2838.000-2780.000=58.000 | | max | 2838.000-2780.000=58.000 |
| | mean | 0.441-0.428=0.013 | | σ | 0.010-0.006=0.004 | | min | 0.424-0.423=0.001 | | max | 0.450-0.438=0.011 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.271-1985.269=0.002 | | σ | 0.005-0.013=-0.007 | | min | 1985.264-1985.249=0.015 | | max | 1985.277-1985.282=-0.005 |
| | mean | 2838.000-2780.000=58.000 | | σ | 0.000 | | min | 2838.000-2780.000=58.000 | | max | 2838.000-2780.000=58.000 |
| | mean | 2.605-2.646=-0.041 | | σ | 0.055-0.111=-0.056 | | min | 2.558-2.554=0.004 | | max | 2.674-2.812=-0.138 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.860-4808.777=0.083 | | σ | 7.683-7.726=-0.042 | | min | 4805.367-4804.844=0.523 | | max | 4822.604-4822.587=0.017 |
| | mean | 2838.000-2780.000=58.000 | | σ | 0.000 | | min | 2838.000-2780.000=58.000 | | max | 2838.000-2780.000=58.000 |
| | mean | 8.841-8.721=0.120 | | σ | 0.176-0.387=-0.211 | | min | 8.597-8.082=0.515 | | max | 9.028-9.097=-0.069 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.467-4996.458=0.009 | | σ | 0.025-0.023=0.002 | | min | 4996.435-4996.431=0.004 | | max | 4996.493-4996.476=0.017 |
| | mean | 3043.200-3046.200=-3.000 | | σ | 187.374-328.116=-140.742 | | min | 2838.000-2780.000=58.000 | | max | 3314.000-3543.000=-229.000 |
| | mean | 8.676-8.551=0.125 | | σ | 0.200-0.118=0.081 | | min | 8.521-8.481=0.040 | | max | 8.992-8.761=0.231 |
|