iters=5 new-facts=1 prior-facts=1 | | mean | 279.511-279.512=-0.001 | | σ | 0.009-0.007=0.001 | | min | 279.499-279.503=-0.004 | | max | 279.519-279.517=0.002 |
| | mean | 2768.000-2746.000=22.000 | | σ | 0.000 | | min | 2768.000-2746.000=22.000 | | max | 2768.000-2746.000=22.000 |
| | mean | 0.411-0.409=0.002 | | σ | 0.007-0.002=0.005 | | min | 0.405-0.405=-0.000 | | max | 0.421-0.410=0.011 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2178.425-2178.418=0.007 | | σ | 0.037-0.034=0.003 | | min | 2178.359-2178.359=-0.000 | | max | 2178.449-2178.443=0.007 |
| | mean | 2768.000-2746.000=22.000 | | σ | 0.000 | | min | 2768.000-2746.000=22.000 | | max | 2768.000-2746.000=22.000 |
| | mean | 3.389-3.432=-0.043 | | σ | 0.117-0.172=-0.055 | | min | 3.268-3.271=-0.003 | | max | 3.530-3.620=-0.089 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5056.357-5056.392=-0.034 | | σ | 0.973-1.004=-0.031 | | min | 5055.766-5055.790=-0.024 | | max | 5058.083-5058.177=-0.094 |
| | mean | 2768.000-2746.000=22.000 | | σ | 0.000 | | min | 2768.000-2746.000=22.000 | | max | 2768.000-2746.000=22.000 |
| | mean | 9.034-8.715=0.320 | | σ | 0.490-0.657=-0.167 | | min | 8.168-8.163=0.004 | | max | 9.359-9.736=-0.377 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5193.674-5193.689=-0.014 | | σ | 0.125-0.212=-0.087 | | min | 5193.505-5193.338=0.167 | | max | 5193.857-5193.874=-0.018 |
| | mean | 3276.200-3285.800=-9.600 | | σ | 460.996-404.146=56.850 | | min | 2768.000-2746.000=22.000 | | max | 3914.000-3673.000=241.000 |
| | mean | 8.976-8.832=0.143 | | σ | 0.099-0.095=0.004 | | min | 8.861-8.705=0.155 | | max | 9.094-8.970=0.124 |
|