iters=5 new-facts=1 prior-facts=1 | | mean | 278.846-278.848=-0.002 | | σ | 0.005-0.007=-0.002 | | min | 278.837-278.839=-0.002 | | max | 278.850-278.854=-0.004 |
| | mean | 2692.000-2680.000=12.000 | | σ | 0.000 | | min | 2692.000-2680.000=12.000 | | max | 2692.000-2680.000=12.000 |
| | mean | 0.412-0.414=-0.002 | | σ | 0.007-0.005=0.003 | | min | 0.406-0.406=-0.001 | | max | 0.422-0.417=0.005 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.909-2268.905=0.004 | | σ | 0.005-0.015=-0.010 | | min | 2268.902-2268.883=0.018 | | max | 2268.915-2268.919=-0.004 |
| | mean | 2692.000-2680.000=12.000 | | σ | 0.000 | | min | 2692.000-2680.000=12.000 | | max | 2692.000-2680.000=12.000 |
| | mean | 3.007-3.222=-0.214 | | σ | 0.133-0.206=-0.072 | | min | 2.900-2.930=-0.031 | | max | 3.169-3.507=-0.337 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.038-4954.285=-0.247 | | σ | 1.005-0.858=0.147 | | min | 4953.241-4953.854=-0.614 | | max | 4955.744-4955.817=-0.073 |
| | mean | 2692.000-2680.000=12.000 | | σ | 0.000 | | min | 2692.000-2680.000=12.000 | | max | 2692.000-2680.000=12.000 |
| | mean | 8.047-7.988=0.059 | | σ | 0.176-0.410=-0.234 | | min | 7.862-7.662=0.199 | | max | 8.235-8.690=-0.455 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5168.813-5168.816=-0.002 | | σ | 0.080-0.079=0.001 | | min | 5168.744-5168.749=-0.005 | | max | 5168.902-5168.905=-0.003 |
| | mean | 3479.600-3365.200=114.400 | | σ | 475.204-416.138=59.066 | | min | 2849.000-2954.000=-105.000 | | max | 4127.000-3786.000=341.000 |
| | mean | 9.215-9.405=-0.190 | | σ | 0.300-0.338=-0.038 | | min | 8.920-9.085=-0.165 | | max | 9.686-9.961=-0.275 |
|