iters=5 new-facts=1 prior-facts=1 | | mean | 275.755-275.755=-0.000 | | σ | 0.010-0.010=0.000 | | min | 275.743-275.744=-0.001 | | max | 275.769-275.766=0.003 |
| | mean | 2698.000-2771.000=-73.000 | | σ | 0.000 | | min | 2698.000-2771.000=-73.000 | | max | 2698.000-2771.000=-73.000 |
| | mean | 0.395-0.392=0.003 | | σ | 0.011-0.007=0.005 | | min | 0.386-0.388=-0.002 | | max | 0.409-0.404=0.005 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.282-2168.280=0.002 | | σ | 0.011-0.019=-0.007 | | min | 2168.264-2168.250=0.015 | | max | 2168.291-2168.299=-0.008 |
| | mean | 2698.000-2771.000=-73.000 | | σ | 0.000 | | min | 2698.000-2771.000=-73.000 | | max | 2698.000-2771.000=-73.000 |
| | mean | 2.929-2.916=0.013 | | σ | 0.187-0.186=0.001 | | min | 2.635-2.764=-0.129 | | max | 3.097-3.120=-0.023 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5048.101-5048.155=-0.054 | | σ | 0.923-0.862=0.062 | | min | 5047.616-5047.696=-0.079 | | max | 5049.746-5049.692=0.054 |
| | mean | 2698.000-2771.000=-73.000 | | σ | 0.000 | | min | 2698.000-2771.000=-73.000 | | max | 2698.000-2771.000=-73.000 |
| | mean | 8.943-8.374=0.569 | | σ | 0.514-0.325=0.189 | | min | 8.104-8.033=0.071 | | max | 9.400-8.904=0.496 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.239-5179.230=0.008 | | σ | 0.080-0.086=-0.006 | | min | 5179.160-5179.152=0.008 | | max | 5179.335-5179.340=-0.005 |
| | mean | 3267.000-3234.600=32.400 | | σ | 375.876-433.756=-57.880 | | min | 2735.000-2771.000=-36.000 | | max | 3720.000-3833.000=-113.000 |
| | mean | 9.864-9.986=-0.122 | | σ | 0.336-0.473=-0.137 | | min | 9.387-9.247=0.141 | | max | 10.174-10.516=-0.342 |
|