iters=5 new-facts=1 prior-facts=1 | | mean | 273.613-273.593=0.020 | | σ | 0.006-0.017=-0.012 | | min | 273.608-273.575=0.033 | | max | 273.622-273.619=0.003 |
| | mean | 2841.000-2853.000=-12.000 | | σ | 0.000 | | min | 2841.000-2853.000=-12.000 | | max | 2841.000-2853.000=-12.000 |
| | mean | 0.384-0.390=-0.006 | | σ | 0.002-0.006=-0.004 | | min | 0.381-0.384=-0.003 | | max | 0.386-0.399=-0.013 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.990-1933.993=-0.003 | | σ | 0.012-0.006=0.005 | | min | 1933.973-1933.986=-0.013 | | max | 1934.002-1934.004=-0.002 |
| | mean | 2841.000-2853.000=-12.000 | | σ | 0.000 | | min | 2841.000-2853.000=-12.000 | | max | 2841.000-2853.000=-12.000 |
| | mean | 3.011-3.050=-0.038 | | σ | 0.071-0.198=-0.127 | | min | 2.939-2.763=0.176 | | max | 3.109-3.234=-0.125 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.652-4614.225=140.427 | | σ | 0.658-314.655=-313.997 | | min | 4754.259-4051.356=702.903 | | max | 4755.819-4756.350=-0.530 |
| | mean | 2841.000-2853.000=-12.000 | | σ | 0.000 | | min | 2841.000-2853.000=-12.000 | | max | 2841.000-2853.000=-12.000 |
| | mean | 8.629-8.313=0.316 | | σ | 0.679-0.628=0.051 | | min | 7.432-7.680=-0.247 | | max | 9.072-9.225=-0.153 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4945.155-4945.235=-0.080 | | σ | 0.165-0.020=0.145 | | min | 4944.863-4945.213=-0.350 | | max | 4945.254-4945.264=-0.011 |
| | mean | 3015.800-3087.400=-71.600 | | σ | 194.172-298.900=-104.728 | | min | 2841.000-2853.000=-12.000 | | max | 3313.000-3544.000=-231.000 |
| | mean | 8.503-8.703=-0.201 | | σ | 0.079-0.233=-0.154 | | min | 8.426-8.541=-0.115 | | max | 8.597-9.108=-0.511 |
|