iters=5 new-facts=1 prior-facts=1 | | mean | 324.767-324.761=0.006 | | σ | 0.065-0.055=0.010 | | min | 324.651-324.662=-0.011 | | max | 324.803-324.791=0.012 |
| | mean | 2831.000-2832.000=-1.000 | | σ | 0.000 | | min | 2831.000-2832.000=-1.000 | | max | 2831.000-2832.000=-1.000 |
| | mean | 0.435-0.426=0.009 | | σ | 0.018-0.008=0.010 | | min | 0.419-0.421=-0.002 | | max | 0.460-0.440=0.020 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.329-1985.289=0.039 | | σ | 0.012-0.078=-0.066 | | min | 1985.308-1985.152=0.157 | | max | 1985.338-1985.338=-0.001 |
| | mean | 2831.000-2832.000=-1.000 | | σ | 0.000 | | min | 2831.000-2832.000=-1.000 | | max | 2831.000-2832.000=-1.000 |
| | mean | 2.680-2.565=0.115 | | σ | 0.156-0.096=0.060 | | min | 2.570-2.441=0.129 | | max | 2.935-2.682=0.253 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4809.081-4809.085=-0.004 | | σ | 7.720-7.717=0.002 | | min | 4805.577-4805.613=-0.036 | | max | 4822.891-4822.890=0.001 |
| | mean | 2831.000-2832.000=-1.000 | | σ | 0.000 | | min | 2831.000-2832.000=-1.000 | | max | 2831.000-2832.000=-1.000 |
| | mean | 8.780-9.008=-0.228 | | σ | 0.576-0.148=0.427 | | min | 7.763-8.861=-1.098 | | max | 9.182-9.249=-0.067 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.555-4996.629=-0.073 | | σ | 0.171-0.026=0.145 | | min | 4996.252-4996.601=-0.350 | | max | 4996.649-4996.658=-0.009 |
| | mean | 3061.000-3049.400=11.600 | | σ | 302.388-289.074=13.314 | | min | 2831.000-2832.000=-1.000 | | max | 3529.000-3503.000=26.000 |
| | mean | 8.522-8.511=0.011 | | σ | 0.140-0.093=0.046 | | min | 8.425-8.414=0.011 | | max | 8.767-8.665=0.102 |
|