iters=5 new-facts=1 prior-facts=1 | | mean | 324.707-324.712=-0.005 | | σ | 0.058-0.040=0.018 | | min | 324.604-324.643=-0.038 | | max | 324.741-324.745=-0.003 |
| | mean | 2836.000-2826.000=10.000 | | σ | 0.000 | | min | 2836.000-2826.000=10.000 | | max | 2836.000-2826.000=10.000 |
| | mean | 0.433-0.426=0.007 | | σ | 0.011-0.006=0.004 | | min | 0.423-0.423=-0.000 | | max | 0.448-0.438=0.010 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.270-1985.262=0.008 | | σ | 0.013-0.017=-0.004 | | min | 1985.250-1985.245=0.005 | | max | 1985.282-1985.278=0.003 |
| | mean | 2836.000-2826.000=10.000 | | σ | 0.000 | | min | 2836.000-2826.000=10.000 | | max | 2836.000-2826.000=10.000 |
| | mean | 2.685-2.574=0.111 | | σ | 0.169-0.083=0.087 | | min | 2.468-2.452=0.016 | | max | 2.890-2.653=0.237 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.937-4809.008=-0.071 | | σ | 7.784-7.701=0.083 | | min | 4804.924-4805.484=-0.561 | | max | 4822.850-4822.784=0.066 |
| | mean | 2836.000-2826.000=10.000 | | σ | 0.000 | | min | 2836.000-2826.000=10.000 | | max | 2836.000-2826.000=10.000 |
| | mean | 8.910-8.867=0.042 | | σ | 0.414-0.365=0.049 | | min | 8.212-8.280=-0.068 | | max | 9.308-9.118=0.190 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.485-4996.569=-0.084 | | σ | 0.148-0.016=0.131 | | min | 4996.229-4996.553=-0.324 | | max | 4996.584-4996.591=-0.007 |
| | mean | 3071.600-3050.600=21.000 | | σ | 309.249-204.462=104.787 | | min | 2836.000-2826.000=10.000 | | max | 3550.000-3347.000=203.000 |
| | mean | 8.659-8.665=-0.006 | | σ | 0.211-0.168=0.043 | | min | 8.431-8.497=-0.066 | | max | 8.896-8.861=0.035 |
|