iters=5 new-facts=1 prior-facts=1 | | mean | 190.720-190.718=0.001 | | σ | 0.004-0.006=-0.002 | | min | 190.715-190.710=0.005 | | max | 190.727-190.727=-0.000 |
| | mean | 2627.000-2606.000=21.000 | | σ | 0.000 | | min | 2627.000-2606.000=21.000 | | max | 2627.000-2606.000=21.000 |
| | mean | 0.280-0.281=-0.001 | | σ | 0.001-0.005=-0.003 | | min | 0.278-0.277=0.000 | | max | 0.281-0.289=-0.008 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1989.493-1989.500=-0.006 | | σ | 0.014-0.005=0.009 | | min | 1989.472-1989.491=-0.018 | | max | 1989.507-1989.503=0.004 |
| | mean | 2627.000-2606.000=21.000 | | σ | 0.000 | | min | 2627.000-2606.000=21.000 | | max | 2627.000-2606.000=21.000 |
| | mean | 2.499-2.652=-0.153 | | σ | 0.198-0.093=0.105 | | min | 2.296-2.513=-0.217 | | max | 2.752-2.727=0.025 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4880.174-4880.177=-0.004 | | σ | 0.568-0.622=-0.055 | | min | 4879.885-4879.889=-0.004 | | max | 4881.184-4881.291=-0.106 |
| | mean | 2627.000-2606.000=21.000 | | σ | 0.000 | | min | 2627.000-2606.000=21.000 | | max | 2627.000-2606.000=21.000 |
| | mean | 8.113-8.202=-0.089 | | σ | 0.169-0.188=-0.019 | | min | 7.862-8.000=-0.138 | | max | 8.300-8.467=-0.167 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4891.722-4891.792=-0.071 | | σ | 0.166-0.009=0.157 | | min | 4891.427-4891.777=-0.350 | | max | 4891.821-4891.798=0.023 |
| | mean | 3264.800-3276.000=-11.200 | | σ | 406.063-512.562=-106.499 | | min | 2862.000-2606.000=256.000 | | max | 3674.000-3761.000=-87.000 |
| | mean | 8.093-8.067=0.026 | | σ | 0.208-0.121=0.087 | | min | 7.875-7.965=-0.090 | | max | 8.316-8.215=0.101 |
|