iters=5 new-facts=1 prior-facts=1 | | mean | 326.570-326.571=-0.000 | | σ | 0.051-0.048=0.002 | | min | 326.481-326.486=-0.005 | | max | 326.599-326.608=-0.009 |
| | mean | 2592.000-2837.000=-245.000 | | σ | 0.000 | | min | 2592.000-2837.000=-245.000 | | max | 2592.000-2837.000=-245.000 |
| | mean | 0.426-0.417=0.010 | | σ | 0.005-0.018=-0.013 | | min | 0.422-0.385=0.037 | | max | 0.433-0.427=0.006 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.739-1988.738=0.001 | | σ | 0.009-0.011=-0.002 | | min | 1988.724-1988.723=0.002 | | max | 1988.746-1988.748=-0.002 |
| | mean | 2592.000-2837.000=-245.000 | | σ | 0.000 | | min | 2592.000-2837.000=-245.000 | | max | 2592.000-2837.000=-245.000 |
| | mean | 2.685-2.688=-0.003 | | σ | 0.071-0.233=-0.162 | | min | 2.598-2.445=0.153 | | max | 2.765-3.071=-0.306 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.469-4813.602=-0.133 | | σ | 7.790-7.747=0.043 | | min | 4809.658-4810.039=-0.381 | | max | 4827.400-4827.460=-0.060 |
| | mean | 2592.000-2837.000=-245.000 | | σ | 0.000 | | min | 2592.000-2837.000=-245.000 | | max | 2592.000-2837.000=-245.000 |
| | mean | 8.925-8.481=0.444 | | σ | 0.249-0.590=-0.342 | | min | 8.539-7.831=0.707 | | max | 9.145-9.313=-0.168 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.143-5001.138=0.005 | | σ | 0.045-0.019=0.026 | | min | 5001.083-5001.120=-0.037 | | max | 5001.196-5001.167=0.028 |
| | mean | 2962.600-3065.800=-103.200 | | σ | 271.738-309.824=-38.085 | | min | 2592.000-2837.000=-245.000 | | max | 3297.000-3547.000=-250.000 |
| | mean | 9.563-9.541=0.022 | | σ | 0.693-0.616=0.076 | | min | 8.429-8.503=-0.074 | | max | 10.151-10.087=0.064 |
|