iters=5 new-facts=1 prior-facts=1 | | mean | 279.512-279.507=0.005 | | σ | 0.007-0.005=0.002 | | min | 279.503-279.501=0.003 | | max | 279.517-279.515=0.002 |
| | mean | 2746.000-2756.000=-10.000 | | σ | 0.000 | | min | 2746.000-2756.000=-10.000 | | max | 2746.000-2756.000=-10.000 |
| | mean | 0.409-0.408=0.000 | | σ | 0.002-0.007=-0.005 | | min | 0.405-0.405=0.001 | | max | 0.410-0.420=-0.010 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2178.418-2178.438=-0.021 | | σ | 0.034-0.013=0.021 | | min | 2178.359-2178.421=-0.061 | | max | 2178.443-2178.455=-0.012 |
| | mean | 2746.000-2756.000=-10.000 | | σ | 0.000 | | min | 2746.000-2756.000=-10.000 | | max | 2746.000-2756.000=-10.000 |
| | mean | 3.432-3.251=0.181 | | σ | 0.172-0.317=-0.145 | | min | 3.271-2.801=0.469 | | max | 3.620-3.694=-0.074 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5056.392-5056.359=0.033 | | σ | 1.004-0.998=0.005 | | min | 5055.790-5055.811=-0.020 | | max | 5058.177-5058.138=0.039 |
| | mean | 2746.000-2756.000=-10.000 | | σ | 0.000 | | min | 2746.000-2756.000=-10.000 | | max | 2746.000-2756.000=-10.000 |
| | mean | 8.715-8.953=-0.239 | | σ | 0.657-0.578=0.080 | | min | 8.163-8.075=0.089 | | max | 9.736-9.589=0.147 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5193.689-5193.756=-0.067 | | σ | 0.212-0.090=0.122 | | min | 5193.338-5193.678=-0.340 | | max | 5193.874-5193.854=0.020 |
| | mean | 3285.800-3215.600=70.200 | | σ | 404.146-454.919=-50.773 | | min | 2746.000-2756.000=-10.000 | | max | 3673.000-3846.000=-173.000 |
| | mean | 8.832-8.809=0.023 | | σ | 0.095-0.307=-0.212 | | min | 8.705-8.628=0.077 | | max | 8.970-9.352=-0.382 |
|