iters=5 new-facts=1 prior-facts=1 | | mean | 271.599-271.593=0.006 | | σ | 0.004-0.009=-0.005 | | min | 271.594-271.587=0.007 | | max | 271.605-271.608=-0.003 |
| | mean | 2672.000-2621.000=51.000 | | σ | 0.000 | | min | 2672.000-2621.000=51.000 | | max | 2672.000-2621.000=51.000 |
| | mean | 0.385-0.379=0.006 | | σ | 0.011-0.001=0.011 | | min | 0.378-0.377=0.001 | | max | 0.405-0.379=0.026 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1931.990-1932.003=-0.013 | | σ | 0.016-0.010=0.006 | | min | 1931.971-1931.992=-0.021 | | max | 1932.011-1932.015=-0.004 |
| | mean | 2672.000-2621.000=51.000 | | σ | 0.000 | | min | 2672.000-2621.000=51.000 | | max | 2672.000-2621.000=51.000 |
| | mean | 2.533-2.524=0.010 | | σ | 0.123-0.072=0.051 | | min | 2.460-2.455=0.005 | | max | 2.749-2.638=0.112 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.622-4752.780=-0.157 | | σ | 0.994-0.841=0.153 | | min | 4751.636-4752.248=-0.612 | | max | 4754.297-4754.270=0.027 |
| | mean | 2672.000-2621.000=51.000 | | σ | 0.000 | | min | 2672.000-2621.000=51.000 | | max | 2672.000-2621.000=51.000 |
| | mean | 8.540-8.313=0.228 | | σ | 0.561-0.505=0.056 | | min | 7.636-7.636=0.000 | | max | 9.181-8.940=0.241 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.204-4943.137=0.067 | | σ | 0.019-0.148=-0.129 | | min | 4943.176-4942.873=0.303 | | max | 4943.223-4943.221=0.002 |
| | mean | 2953.000-3010.200=-57.200 | | σ | 328.769-292.275=36.494 | | min | 2672.000-2621.000=51.000 | | max | 3450.000-3384.000=66.000 |
| | mean | 8.398-8.471=-0.073 | | σ | 0.060-0.092=-0.033 | | min | 8.321-8.332=-0.011 | | max | 8.479-8.559=-0.080 |
|