iters=5 new-facts=1 prior-facts=1 | | mean | 326.455-324.770=1.685 | | σ | 0.030-0.032=-0.003 | | min | 326.403-324.716=1.687 | | max | 326.475-324.802=1.673 |
| | mean | 2823.000-2684.000=139.000 | | σ | 0.000 | | min | 2823.000-2684.000=139.000 | | max | 2823.000-2684.000=139.000 |
| | mean | 0.422-0.418=0.004 | | σ | 0.002-0.008=-0.006 | | min | 0.420-0.412=0.008 | | max | 0.425-0.432=-0.007 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.619-1985.323=3.295 | | σ | 0.005-0.013=-0.008 | | min | 1988.613-1985.302=3.312 | | max | 1988.625-1985.336=3.290 |
| | mean | 2823.000-2684.000=139.000 | | σ | 0.000 | | min | 2823.000-2684.000=139.000 | | max | 2823.000-2684.000=139.000 |
| | mean | 2.712-2.620=0.092 | | σ | 0.109-0.083=0.026 | | min | 2.635-2.555=0.080 | | max | 2.897-2.738=0.159 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.458-4809.089=4.369 | | σ | 7.698-7.725=-0.027 | | min | 4809.943-4805.571=4.373 | | max | 4827.229-4822.908=4.321 |
| | mean | 2823.000-2684.000=139.000 | | σ | 0.000 | | min | 2823.000-2684.000=139.000 | | max | 2823.000-2684.000=139.000 |
| | mean | 8.779-8.957=-0.178 | | σ | 0.293-0.258=0.035 | | min | 8.414-8.667=-0.253 | | max | 9.119-9.285=-0.166 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5000.871-4996.559=4.312 | | σ | 0.328-0.155=0.173 | | min | 5000.285-4996.284=4.001 | | max | 5001.037-4996.658=4.380 |
| | mean | 3036.400-3041.800=-5.400 | | σ | 194.235-270.855=-76.620 | | min | 2823.000-2684.000=139.000 | | max | 3314.000-3403.000=-89.000 |
| | mean | 9.686-8.681=1.005 | | σ | 0.285-0.242=0.043 | | min | 9.265-8.361=0.904 | | max | 10.020-8.977=1.043 |
|