iters=5 new-facts=1 prior-facts=1 | | mean | 348.776-348.776=-0.001 | | σ | 0.062-0.061=0.001 | | min | 348.665-348.668=-0.003 | | max | 348.812-348.808=0.004 |
| | mean | 2405.000-2428.000=-23.000 | | σ | 0.000 | | min | 2405.000-2428.000=-23.000 | | max | 2405.000-2428.000=-23.000 |
| | mean | 0.460-0.456=0.004 | | σ | 0.008-0.002=0.007 | | min | 0.453-0.454=-0.001 | | max | 0.471-0.458=0.014 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2009.246-2009.245=0.001 | | σ | 0.005-0.006=-0.001 | | min | 2009.240-2009.237=0.003 | | max | 2009.252-2009.252=-0.000 |
| | mean | 2405.000-2428.000=-23.000 | | σ | 0.000 | | min | 2405.000-2428.000=-23.000 | | max | 2405.000-2428.000=-23.000 |
| | mean | 2.795-2.643=0.152 | | σ | 0.130-0.107=0.023 | | min | 2.683-2.529=0.154 | | max | 3.016-2.797=0.219 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4833.017-4832.848=0.169 | | σ | 7.767-7.783=-0.017 | | min | 4829.432-4829.056=0.377 | | max | 4846.909-4846.767=0.142 |
| | mean | 2405.000-2428.000=-23.000 | | σ | 0.000 | | min | 2405.000-2428.000=-23.000 | | max | 2405.000-2428.000=-23.000 |
| | mean | 8.799-8.629=0.170 | | σ | 0.603-0.461=0.143 | | min | 7.762-7.976=-0.214 | | max | 9.323-9.167=0.157 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5020.564-5020.415=0.150 | | σ | 0.024-0.328=-0.304 | | min | 5020.538-5019.829=0.709 | | max | 5020.594-5020.572=0.021 |
| | mean | 2950.200-3007.800=-57.600 | | σ | 413.730-334.755=78.975 | | min | 2422.000-2569.000=-147.000 | | max | 3494.000-3323.000=171.000 |
| | mean | 8.836-8.800=0.036 | | σ | 0.303-0.447=-0.143 | | min | 8.501-8.519=-0.018 | | max | 9.277-9.583=-0.306 |
|