iters=5 new-facts=1 prior-facts=1 | | mean | 279.498-279.515=-0.018 | | σ | 0.016-0.010=0.006 | | min | 279.480-279.506=-0.026 | | max | 279.514-279.529=-0.015 |
| | mean | 2760.000-2423.000=337.000 | | σ | 0.000 | | min | 2760.000-2423.000=337.000 | | max | 2760.000-2423.000=337.000 |
| | mean | 0.410-0.413=-0.003 | | σ | 0.002-0.009=-0.007 | | min | 0.407-0.406=0.001 | | max | 0.414-0.426=-0.013 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2178.423-2178.437=-0.014 | | σ | 0.032-0.010=0.022 | | min | 2178.378-2178.421=-0.043 | | max | 2178.465-2178.446=0.020 |
| | mean | 2760.000-2423.000=337.000 | | σ | 0.000 | | min | 2760.000-2423.000=337.000 | | max | 2760.000-2423.000=337.000 |
| | mean | 3.432-3.465=-0.032 | | σ | 0.087-0.169=-0.082 | | min | 3.291-3.214=0.077 | | max | 3.517-3.673=-0.156 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5056.380-5056.390=-0.009 | | σ | 0.979-1.012=-0.033 | | min | 5055.815-5055.800=0.015 | | max | 5058.125-5058.191=-0.067 |
| | mean | 2760.000-2423.000=337.000 | | σ | 0.000 | | min | 2760.000-2423.000=337.000 | | max | 2760.000-2423.000=337.000 |
| | mean | 8.860-8.848=0.012 | | σ | 0.612-0.560=0.053 | | min | 8.061-8.376=-0.315 | | max | 9.556-9.743=-0.187 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5193.747-5193.687=0.061 | | σ | 0.101-0.211=-0.111 | | min | 5193.641-5193.335=0.306 | | max | 5193.857-5193.853=0.005 |
| | mean | 3296.000-3232.400=63.600 | | σ | 400.590-368.808=31.782 | | min | 2760.000-2713.000=47.000 | | max | 3680.000-3678.000=2.000 |
| | mean | 8.879-8.971=-0.092 | | σ | 0.169-0.419=-0.250 | | min | 8.611-8.695=-0.084 | | max | 9.049-9.713=-0.664 |
|