iters=5 new-facts=1 prior-facts=1 | | mean | 272.750-273.506=-0.755 | | σ | 0.014-0.005=0.009 | | min | 272.737-273.499=-0.763 | | max | 272.774-273.513=-0.739 |
| | mean | 2426.000-2853.000=-427.000 | | σ | 0.000 | | min | 2426.000-2853.000=-427.000 | | max | 2426.000-2853.000=-427.000 |
| | mean | 0.382-0.385=-0.003 | | σ | 0.004-0.004=0.000 | | min | 0.379-0.382=-0.003 | | max | 0.388-0.391=-0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.161-1933.902=-0.741 | | σ | 0.009-0.018=-0.009 | | min | 1933.150-1933.881=-0.731 | | max | 1933.174-1933.919=-0.745 |
| | mean | 2426.000-2853.000=-427.000 | | σ | 0.000 | | min | 2426.000-2853.000=-427.000 | | max | 2426.000-2853.000=-427.000 |
| | mean | 3.004-2.847=0.157 | | σ | 0.101-0.227=-0.126 | | min | 2.919-2.516=0.403 | | max | 3.177-3.064=0.113 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4753.919-4754.711=-0.793 | | σ | 0.825-0.807=0.018 | | min | 4753.394-4754.258=-0.864 | | max | 4755.382-4756.150=-0.768 |
| | mean | 2426.000-2853.000=-427.000 | | σ | 0.000 | | min | 2426.000-2853.000=-427.000 | | max | 2426.000-2853.000=-427.000 |
| | mean | 8.502-8.220=0.282 | | σ | 0.516-0.263=0.254 | | min | 7.750-7.934=-0.184 | | max | 9.178-8.536=0.642 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.316-4945.048=-0.733 | | σ | 0.168-0.168=0.000 | | min | 4944.018-4944.749=-0.731 | | max | 4944.410-4945.137=-0.727 |
| | mean | 2968.200-3086.600=-118.400 | | σ | 264.308-308.905=-44.597 | | min | 2619.000-2853.000=-234.000 | | max | 3308.000-3562.000=-254.000 |
| | mean | 8.491-8.465=0.026 | | σ | 0.050-0.139=-0.088 | | min | 8.439-8.335=0.104 | | max | 8.562-8.679=-0.117 |
|