iters=5 new-facts=1 prior-facts=1 | | mean | 275.759-275.761=-0.001 | | σ | 0.008-0.011=-0.003 | | min | 275.748-275.746=0.002 | | max | 275.768-275.774=-0.005 |
| | mean | 2705.000-2791.000=-86.000 | | σ | 0.000 | | min | 2705.000-2791.000=-86.000 | | max | 2705.000-2791.000=-86.000 |
| | mean | 0.407-0.405=0.002 | | σ | 0.012-0.010=0.001 | | min | 0.393-0.397=-0.005 | | max | 0.417-0.418=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.283-2168.266=0.016 | | σ | 0.007-0.015=-0.009 | | min | 2168.271-2168.253=0.018 | | max | 2168.287-2168.290=-0.004 |
| | mean | 2705.000-2791.000=-86.000 | | σ | 0.000 | | min | 2705.000-2791.000=-86.000 | | max | 2705.000-2791.000=-86.000 |
| | mean | 2.935-2.868=0.067 | | σ | 0.115-0.111=0.004 | | min | 2.786-2.785=0.001 | | max | 3.067-3.015=0.052 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5048.097-5048.095=0.002 | | σ | 0.910-0.917=-0.006 | | min | 5047.540-5047.552=-0.012 | | max | 5049.715-5049.715=0.000 |
| | mean | 2705.000-2791.000=-86.000 | | σ | 0.000 | | min | 2705.000-2791.000=-86.000 | | max | 2705.000-2791.000=-86.000 |
| | mean | 8.719-8.905=-0.186 | | σ | 0.392-0.513=-0.121 | | min | 8.085-8.061=0.024 | | max | 9.087-9.451=-0.364 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.157-5179.238=-0.081 | | σ | 0.190-0.088=0.102 | | min | 5178.848-5179.160=-0.312 | | max | 5179.314-5179.346=-0.032 |
| | mean | 3204.200-3305.600=-101.400 | | σ | 345.013-468.722=-123.709 | | min | 2716.000-2791.000=-75.000 | | max | 3626.000-3958.000=-332.000 |
| | mean | 9.765-10.037=-0.271 | | σ | 0.261-0.334=-0.073 | | min | 9.434-9.642=-0.208 | | max | 10.152-10.543=-0.391 |
|