iters=5 new-facts=1 prior-facts=1 | | mean | 273.505-271.622=1.883 | | σ | 0.006-0.005=0.002 | | min | 273.495-271.617=1.878 | | max | 273.511-271.628=1.883 |
| | mean | 2858.000-2878.000=-20.000 | | σ | 0.000 | | min | 2858.000-2878.000=-20.000 | | max | 2858.000-2878.000=-20.000 |
| | mean | 0.379-0.384=-0.006 | | σ | 0.009-0.010=-0.002 | | min | 0.371-0.376=-0.004 | | max | 0.391-0.399=-0.008 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.893-1932.053=1.840 | | σ | 0.005-0.012=-0.007 | | min | 1933.888-1932.040=1.849 | | max | 1933.902-1932.066=1.836 |
| | mean | 2858.000-2878.000=-20.000 | | σ | 0.000 | | min | 2858.000-2878.000=-20.000 | | max | 2858.000-2878.000=-20.000 |
| | mean | 3.027-3.062=-0.035 | | σ | 0.048-0.128=-0.080 | | min | 2.977-2.972=0.004 | | max | 3.099-3.287=-0.187 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.743-4752.701=2.042 | | σ | 0.775-0.893=-0.118 | | min | 4754.336-4751.945=2.391 | | max | 4756.128-4754.241=1.886 |
| | mean | 2858.000-2878.000=-20.000 | | σ | 0.000 | | min | 2858.000-2878.000=-20.000 | | max | 2858.000-2878.000=-20.000 |
| | mean | 8.111-8.159=-0.048 | | σ | 0.338-0.582=-0.244 | | min | 7.804-7.677=0.127 | | max | 8.503-9.105=-0.601 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4945.045-4943.150=1.895 | | σ | 0.154-0.157=-0.002 | | min | 4944.770-4942.871=1.899 | | max | 4945.135-4943.235=1.900 |
| | mean | 3072.000-3069.600=2.400 | | σ | 287.482-261.915=25.567 | | min | 2858.000-2878.000=-20.000 | | max | 3520.000-3479.000=41.000 |
| | mean | 8.422-8.402=0.020 | | σ | 0.106-0.114=-0.008 | | min | 8.340-8.300=0.040 | | max | 8.600-8.595=0.005 |
|