iters=5 new-facts=1 prior-facts=1 | | mean | 271.753-278.838=-7.085 | | σ | 0.005-0.018=-0.013 | | min | 271.747-278.807=-7.060 | | max | 271.760-278.849=-7.089 |
| | mean | 2766.000-2700.000=66.000 | | σ | 0.000 | | min | 2766.000-2700.000=66.000 | | max | 2766.000-2700.000=66.000 |
| | mean | 0.378-0.417=-0.039 | | σ | 0.002-0.008=-0.005 | | min | 0.375-0.410=-0.035 | | max | 0.381-0.429=-0.048 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.179-2268.900=-336.721 | | σ | 0.011-0.019=-0.008 | | min | 1932.165-2268.877=-336.712 | | max | 1932.196-2268.921=-336.725 |
| | mean | 2766.000-2700.000=66.000 | | σ | 0.000 | | min | 2766.000-2700.000=66.000 | | max | 2766.000-2700.000=66.000 |
| | mean | 2.982-2.935=0.047 | | σ | 0.186-0.045=0.141 | | min | 2.764-2.897=-0.133 | | max | 3.266-3.012=0.254 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.913-4954.245=-201.332 | | σ | 0.849-0.881=-0.032 | | min | 4752.414-4953.689=-201.275 | | max | 4754.421-4955.809=-201.388 |
| | mean | 2766.000-2700.000=66.000 | | σ | 0.000 | | min | 2766.000-2700.000=66.000 | | max | 2766.000-2700.000=66.000 |
| | mean | 8.441-8.099=0.342 | | σ | 0.518-0.459=0.059 | | min | 7.610-7.722=-0.112 | | max | 8.947-8.694=0.253 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.381-5168.677=-225.296 | | σ | 0.015-0.192=-0.178 | | min | 4943.361-5168.413=-225.052 | | max | 4943.396-5168.901=-225.505 |
| | mean | 3046.600-3368.200=-321.600 | | σ | 242.591-473.088=-230.497 | | min | 2766.000-2741.000=25.000 | | max | 3395.000-3996.000=-601.000 |
| | mean | 8.807-9.549=-0.742 | | σ | 0.254-0.264=-0.010 | | min | 8.468-9.117=-0.649 | | max | 9.181-9.824=-0.643 |
|