iters=5 new-facts=1 prior-facts=1 | | mean | 279.542-278.820=0.721 | | σ | 0.010-0.008=0.002 | | min | 279.532-278.807=0.725 | | max | 279.555-278.827=0.728 |
| | mean | 2815.000-2740.000=75.000 | | σ | 0.000 | | min | 2815.000-2740.000=75.000 | | max | 2815.000-2740.000=75.000 |
| | mean | 0.414-0.412=0.003 | | σ | 0.008-0.005=0.003 | | min | 0.408-0.408=-0.001 | | max | 0.425-0.421=0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2178.455-2268.877=-90.422 | | σ | 0.032-0.016=0.015 | | min | 2178.416-2268.848=-90.432 | | max | 2178.493-2268.889=-90.396 |
| | mean | 2815.000-2740.000=75.000 | | σ | 0.000 | | min | 2815.000-2740.000=75.000 | | max | 2815.000-2740.000=75.000 |
| | mean | 3.341-3.012=0.329 | | σ | 0.069-0.204=-0.135 | | min | 3.258-2.904=0.354 | | max | 3.426-3.376=0.050 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5056.404-4954.228=102.176 | | σ | 0.993-0.817=0.175 | | min | 5055.795-4953.717=102.078 | | max | 5058.170-4955.675=102.495 |
| | mean | 2815.000-2740.000=75.000 | | σ | 0.000 | | min | 2815.000-2740.000=75.000 | | max | 2815.000-2740.000=75.000 |
| | mean | 8.918-8.038=0.881 | | σ | 0.615-0.246=0.369 | | min | 8.233-7.752=0.481 | | max | 9.684-8.417=1.267 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5193.549-5168.731=24.818 | | σ | 0.364-0.204=0.161 | | min | 5192.944-5168.387=24.557 | | max | 5193.881-5168.887=24.994 |
| | mean | 3296.400-3362.400=-66.000 | | σ | 440.858-464.339=-23.481 | | min | 2815.000-2743.000=72.000 | | max | 3921.000-3975.000=-54.000 |
| | mean | 8.898-9.454=-0.557 | | σ | 0.055-0.488=-0.434 | | min | 8.849-9.054=-0.205 | | max | 8.982-10.131=-1.149 |
|