iters=5 new-facts=1 prior-facts=1 | | mean | 324.767-324.766=0.001 | | σ | 0.047-0.053=-0.006 | | min | 324.685-324.671=0.014 | | max | 324.800-324.794=0.006 |
| | mean | 2839.000-2822.000=17.000 | | σ | 0.000 | | min | 2839.000-2822.000=17.000 | | max | 2839.000-2822.000=17.000 |
| | mean | 0.428-0.431=-0.003 | | σ | 0.008-0.010=-0.001 | | min | 0.423-0.423=0.000 | | max | 0.442-0.442=0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.327-1985.317=0.009 | | σ | 0.005-0.022=-0.016 | | min | 1985.318-1985.297=0.021 | | max | 1985.331-1985.343=-0.012 |
| | mean | 2839.000-2822.000=17.000 | | σ | 0.000 | | min | 2839.000-2822.000=17.000 | | max | 2839.000-2822.000=17.000 |
| | mean | 2.623-2.636=-0.013 | | σ | 0.086-0.134=-0.048 | | min | 2.529-2.518=0.011 | | max | 2.731-2.812=-0.081 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4809.018-4809.120=-0.102 | | σ | 7.774-7.705=0.068 | | min | 4804.984-4805.573=-0.589 | | max | 4822.911-4822.903=0.008 |
| | mean | 2839.000-2822.000=17.000 | | σ | 0.000 | | min | 2839.000-2822.000=17.000 | | max | 2839.000-2822.000=17.000 |
| | mean | 9.015-8.833=0.182 | | σ | 0.426-0.473=-0.047 | | min | 8.339-7.993=0.346 | | max | 9.479-9.127=0.353 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.623-4996.626=-0.003 | | σ | 0.025-0.024=0.001 | | min | 4996.600-4996.593=0.007 | | max | 4996.664-4996.653=0.010 |
| | mean | 3063.400-3054.400=9.000 | | σ | 306.063-303.324=2.739 | | min | 2839.000-2822.000=17.000 | | max | 3539.000-3520.000=19.000 |
| | mean | 8.558-8.512=0.046 | | σ | 0.092-0.122=-0.030 | | min | 8.465-8.410=0.055 | | max | 8.710-8.723=-0.013 |
|