iters=5 new-facts=1 prior-facts=1 | | mean | 326.635-324.763=1.872 | | σ | 0.054-0.054=-0.000 | | min | 326.539-324.667=1.872 | | max | 326.668-324.794=1.874 |
| | mean | 2832.000-2726.000=106.000 | | σ | 0.000 | | min | 2832.000-2726.000=106.000 | | max | 2832.000-2726.000=106.000 |
| | mean | 0.423-0.428=-0.004 | | σ | 0.001-0.009=-0.008 | | min | 0.422-0.423=-0.001 | | max | 0.424-0.443=-0.019 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.804-1985.313=3.491 | | σ | 0.008-0.018=-0.009 | | min | 1988.792-1985.292=3.500 | | max | 1988.814-1985.332=3.481 |
| | mean | 2832.000-2726.000=106.000 | | σ | 0.000 | | min | 2832.000-2726.000=106.000 | | max | 2832.000-2726.000=106.000 |
| | mean | 2.703-2.673=0.030 | | σ | 0.105-0.096=0.010 | | min | 2.578-2.554=0.024 | | max | 2.831-2.750=0.081 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.663-4808.938=4.725 | | σ | 7.776-7.824=-0.049 | | min | 4810.133-4805.000=5.133 | | max | 4827.572-4822.917=4.655 |
| | mean | 2832.000-2726.000=106.000 | | σ | 0.000 | | min | 2832.000-2726.000=106.000 | | max | 2832.000-2726.000=106.000 |
| | mean | 8.991-8.751=0.240 | | σ | 0.405-0.790=-0.385 | | min | 8.602-7.774=0.828 | | max | 9.591-9.361=0.230 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.211-4996.628=4.584 | | σ | 0.039-0.024=0.015 | | min | 5001.177-4996.601=4.577 | | max | 5001.274-4996.656=4.618 |
| | mean | 3054.000-3020.800=33.200 | | σ | 216.849-346.327=-129.478 | | min | 2832.000-2726.000=106.000 | | max | 3328.000-3533.000=-205.000 |
| | mean | 9.915-8.528=1.386 | | σ | 0.203-0.094=0.108 | | min | 9.641-8.422=1.219 | | max | 10.195-8.668=1.527 |
|