iters=5 new-facts=1 prior-facts=1 | | mean | 324.017-324.010=0.007 | | σ | 0.043-0.060=-0.017 | | min | 323.941-323.903=0.037 | | max | 324.043-324.040=0.003 |
| | mean | 2430.000-2524.000=-94.000 | | σ | 0.000 | | min | 2430.000-2524.000=-94.000 | | max | 2430.000-2524.000=-94.000 |
| | mean | 0.429-0.426=0.003 | | σ | 0.003-0.002=0.001 | | min | 0.424-0.424=-0.000 | | max | 0.431-0.429=0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1984.595-1984.574=0.021 | | σ | 0.006-0.014=-0.008 | | min | 1984.587-1984.551=0.036 | | max | 1984.602-1984.586=0.015 |
| | mean | 2430.000-2524.000=-94.000 | | σ | 0.000 | | min | 2430.000-2524.000=-94.000 | | max | 2430.000-2524.000=-94.000 |
| | mean | 2.627-2.718=-0.091 | | σ | 0.114-0.205=-0.091 | | min | 2.546-2.583=-0.036 | | max | 2.826-3.076=-0.250 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.294-4808.063=0.232 | | σ | 7.782-7.527=0.255 | | min | 4804.678-4804.168=0.509 | | max | 4822.212-4821.514=0.698 |
| | mean | 2430.000-2524.000=-94.000 | | σ | 0.000 | | min | 2430.000-2524.000=-94.000 | | max | 2430.000-2524.000=-94.000 |
| | mean | 8.697-8.592=0.105 | | σ | 0.714-0.543=0.171 | | min | 7.448-7.753=-0.304 | | max | 9.201-9.215=-0.015 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4995.668-4995.800=-0.132 | | σ | 0.200-0.034=0.166 | | min | 4995.425-4995.766=-0.341 | | max | 4995.822-4995.836=-0.014 |
| | mean | 2990.400-2951.800=38.600 | | σ | 300.201-388.825=-88.624 | | min | 2581.000-2524.000=57.000 | | max | 3359.000-3457.000=-98.000 |
| | mean | 8.593-8.631=-0.038 | | σ | 0.134-0.209=-0.074 | | min | 8.492-8.408=0.084 | | max | 8.829-8.928=-0.099 |
|