iters=5 new-facts=1 prior-facts=1 | | mean | 272.785-272.757=0.028 | | σ | 0.006-0.005=0.001 | | min | 272.779-272.751=0.028 | | max | 272.793-272.761=0.032 |
| | mean | 2747.000-2774.000=-27.000 | | σ | 0.000 | | min | 2747.000-2774.000=-27.000 | | max | 2747.000-2774.000=-27.000 |
| | mean | 0.377-0.383=-0.006 | | σ | 0.001-0.010=-0.009 | | min | 0.376-0.376=-0.001 | | max | 0.378-0.400=-0.022 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.238-1933.172=0.066 | | σ | 0.022-0.011=0.011 | | min | 1933.220-1933.157=0.063 | | max | 1933.270-1933.187=0.083 |
| | mean | 2747.000-2774.000=-27.000 | | σ | 0.000 | | min | 2747.000-2774.000=-27.000 | | max | 2747.000-2774.000=-27.000 |
| | mean | 2.970-2.979=-0.009 | | σ | 0.290-0.081=0.209 | | min | 2.486-2.858=-0.373 | | max | 3.267-3.041=0.226 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4756.916-4756.871=0.046 | | σ | 7.596-7.331=0.266 | | min | 4753.398-4753.477=-0.079 | | max | 4770.504-4769.983=0.520 |
| | mean | 2747.000-2774.000=-27.000 | | σ | 0.000 | | min | 2747.000-2774.000=-27.000 | | max | 2747.000-2774.000=-27.000 |
| | mean | 8.749-8.238=0.511 | | σ | 0.412-0.420=-0.009 | | min | 8.200-7.730=0.470 | | max | 9.253-8.753=0.500 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.239-4944.389=-0.150 | | σ | 0.203-0.021=0.182 | | min | 4944.076-4944.365=-0.288 | | max | 4944.472-4944.412=0.060 |
| | mean | 3003.400-3042.800=-39.400 | | σ | 297.229-328.841=-31.613 | | min | 2747.000-2774.000=-27.000 | | max | 3437.000-3536.000=-99.000 |
| | mean | 8.389-8.635=-0.246 | | σ | 0.076-0.265=-0.190 | | min | 8.331-8.419=-0.089 | | max | 8.522-8.961=-0.439 |
|