iters=5 new-facts=1 prior-facts=1 | | mean | 324.762-324.690=0.072 | | σ | 0.056-0.051=0.005 | | min | 324.662-324.599=0.063 | | max | 324.800-324.720=0.081 |
| | mean | 2847.000-2843.000=4.000 | | σ | 0.000 | | min | 2847.000-2843.000=4.000 | | max | 2847.000-2843.000=4.000 |
| | mean | 0.432-0.424=0.008 | | σ | 0.008-0.003=0.005 | | min | 0.422-0.421=0.001 | | max | 0.440-0.429=0.011 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.317-1985.257=0.060 | | σ | 0.016-0.005=0.011 | | min | 1985.291-1985.251=0.040 | | max | 1985.330-1985.263=0.067 |
| | mean | 2847.000-2843.000=4.000 | | σ | 0.000 | | min | 2847.000-2843.000=4.000 | | max | 2847.000-2843.000=4.000 |
| | mean | 2.621-2.581=0.040 | | σ | 0.068-0.074=-0.006 | | min | 2.551-2.494=0.057 | | max | 2.715-2.671=0.044 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4809.106-4808.873=0.233 | | σ | 7.628-7.625=0.002 | | min | 4805.595-4805.391=0.203 | | max | 4822.749-4822.513=0.236 |
| | mean | 2847.000-2843.000=4.000 | | σ | 0.000 | | min | 2847.000-2843.000=4.000 | | max | 2847.000-2843.000=4.000 |
| | mean | 8.935-9.066=-0.131 | | σ | 0.456-0.348=0.108 | | min | 8.367-8.518=-0.151 | | max | 9.633-9.473=0.160 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.629-4996.398=0.230 | | σ | 0.023-0.140=-0.117 | | min | 4996.598-4996.150=0.448 | | max | 4996.653-4996.477=0.176 |
| | mean | 3056.600-3051.600=5.000 | | σ | 226.085-191.680=34.405 | | min | 2847.000-2843.000=4.000 | | max | 3393.000-3330.000=63.000 |
| | mean | 8.751-8.661=0.090 | | σ | 0.170-0.192=-0.022 | | min | 8.496-8.472=0.024 | | max | 8.958-8.889=0.069 |
|