iters=5 new-facts=1 prior-facts=1 | | mean | 270.143-270.122=0.021 | | σ | 0.006-0.006=-0.001 | | min | 270.134-270.117=0.017 | | max | 270.149-270.132=0.017 |
| | mean | 2413.000-2411.000=2.000 | | σ | 0.000 | | min | 2413.000-2411.000=2.000 | | max | 2413.000-2411.000=2.000 |
| | mean | 0.381-0.385=-0.005 | | σ | 0.007-0.008=-0.001 | | min | 0.371-0.379=-0.008 | | max | 0.392-0.399=-0.007 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.607-1930.607=-0.001 | | σ | 0.008-0.006=0.002 | | min | 1930.600-1930.598=0.002 | | max | 1930.620-1930.614=0.006 |
| | mean | 2413.000-2411.000=2.000 | | σ | 0.000 | | min | 2413.000-2411.000=2.000 | | max | 2413.000-2411.000=2.000 |
| | mean | 2.496-2.554=-0.058 | | σ | 0.135-0.117=0.017 | | min | 2.331-2.432=-0.101 | | max | 2.695-2.686=0.009 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.315-4751.308=0.008 | | σ | 0.943-0.852=0.092 | | min | 4750.757-4750.892=-0.135 | | max | 4752.991-4752.830=0.161 |
| | mean | 2413.000-2411.000=2.000 | | σ | 0.000 | | min | 2413.000-2411.000=2.000 | | max | 2413.000-2411.000=2.000 |
| | mean | 8.633-8.397=0.236 | | σ | 0.498-0.325=0.173 | | min | 7.934-7.845=0.090 | | max | 9.222-8.620=0.602 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.701-4941.702=-0.001 | | σ | 0.160-0.150=0.011 | | min | 4941.415-4941.437=-0.023 | | max | 4941.789-4941.794=-0.006 |
| | mean | 2985.200-3009.200=-24.000 | | σ | 283.078-293.266=-10.188 | | min | 2599.000-2601.000=-2.000 | | max | 3320.000-3387.000=-67.000 |
| | mean | 8.541-8.739=-0.199 | | σ | 0.125-0.334=-0.209 | | min | 8.427-8.458=-0.031 | | max | 8.720-9.319=-0.599 |
|