iters=5 new-facts=1 prior-facts=1 | | mean | 316.677-272.758=43.920 | | σ | 17.686-0.006=17.680 | | min | 285.040-272.751=12.289 | | max | 324.608-272.766=51.842 |
| | mean | 2643.000-2770.000=-127.000 | | σ | 0.000 | | min | 2643.000-2770.000=-127.000 | | max | 2643.000-2770.000=-127.000 |
| | mean | 0.411-0.382=0.029 | | σ | 0.027-0.005=0.021 | | min | 0.363-0.376=-0.012 | | max | 0.424-0.388=0.036 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.147-1933.157=51.990 | | σ | 0.007-0.016=-0.009 | | min | 1985.137-1933.131=52.006 | | max | 1985.156-1933.173=51.983 |
| | mean | 2643.000-2770.000=-127.000 | | σ | 0.000 | | min | 2643.000-2770.000=-127.000 | | max | 2643.000-2770.000=-127.000 |
| | mean | 2.620-3.116=-0.495 | | σ | 0.095-0.235=-0.140 | | min | 2.520-2.768=-0.248 | | max | 2.730-3.386=-0.655 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.749-4756.922=51.828 | | σ | 7.674-7.558=0.116 | | min | 4805.267-4753.482=51.785 | | max | 4822.477-4770.441=52.036 |
| | mean | 2643.000-2770.000=-127.000 | | σ | 0.000 | | min | 2643.000-2770.000=-127.000 | | max | 2643.000-2770.000=-127.000 |
| | mean | 8.979-8.534=0.445 | | σ | 0.227-0.293=-0.066 | | min | 8.812-8.269=0.542 | | max | 9.376-8.903=0.473 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.276-4944.317=51.959 | | σ | 0.145-0.153=-0.009 | | min | 4996.017-4944.046=51.971 | | max | 4996.349-4944.413=51.936 |
| | mean | 2986.200-3031.200=-45.000 | | σ | 273.258-322.532=-49.274 | | min | 2643.000-2770.000=-127.000 | | max | 3328.000-3518.000=-190.000 |
| | mean | 8.622-8.448=0.174 | | σ | 0.138-0.146=-0.008 | | min | 8.465-8.261=0.204 | | max | 8.829-8.669=0.160 |
|