iters=5 new-facts=1 prior-facts=1 | | mean | 266.787-266.784=0.003 | | σ | 0.010-0.010=-0.000 | | min | 266.779-266.770=0.009 | | max | 266.803-266.797=0.006 |
| | mean | 2857.000-2417.000=440.000 | | σ | 0.000 | | min | 2857.000-2417.000=440.000 | | max | 2857.000-2417.000=440.000 |
| | mean | 0.378-0.372=0.006 | | σ | 0.010-0.000=0.010 | | min | 0.370-0.372=-0.001 | | max | 0.393-0.373=0.020 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1927.215-1927.214=0.001 | | σ | 0.009-0.014=-0.005 | | min | 1927.201-1927.202=-0.001 | | max | 1927.224-1927.231=-0.006 |
| | mean | 2857.000-2417.000=440.000 | | σ | 0.000 | | min | 2857.000-2417.000=440.000 | | max | 2857.000-2417.000=440.000 |
| | mean | 2.944-3.026=-0.082 | | σ | 0.166-0.067=0.099 | | min | 2.667-2.976=-0.309 | | max | 3.072-3.109=-0.036 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4747.671-4747.748=-0.078 | | σ | 0.862-0.836=0.026 | | min | 4747.225-4747.283=-0.058 | | max | 4749.212-4749.231=-0.019 |
| | mean | 2857.000-2417.000=440.000 | | σ | 0.000 | | min | 2857.000-2417.000=440.000 | | max | 2857.000-2417.000=440.000 |
| | mean | 8.731-8.313=0.418 | | σ | 0.563-0.574=-0.012 | | min | 7.782-7.714=0.068 | | max | 9.118-9.209=-0.091 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4938.168-4938.170=-0.003 | | σ | 0.091-0.094=-0.003 | | min | 4938.087-4938.091=-0.004 | | max | 4938.271-4938.277=-0.006 |
| | mean | 3053.400-2951.800=101.600 | | σ | 207.525-383.722=-176.196 | | min | 2857.000-2490.000=367.000 | | max | 3355.000-3446.000=-91.000 |
| | mean | 8.568-8.536=0.032 | | σ | 0.245-0.261=-0.015 | | min | 8.361-8.342=0.019 | | max | 8.964-8.980=-0.016 |
|