iters=5 new-facts=1 prior-facts=1 | | mean | 271.589-269.377=2.212 | | σ | 0.013-0.001=0.012 | | min | 271.569-269.377=2.193 | | max | 271.601-269.379=2.222 |
| | mean | 2694.000-2701.000=-7.000 | | σ | 0.000 | | min | 2694.000-2701.000=-7.000 | | max | 2694.000-2701.000=-7.000 |
| | mean | 0.385-0.374=0.010 | | σ | 0.006-0.001=0.005 | | min | 0.381-0.373=0.009 | | max | 0.395-0.375=0.020 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1931.984-1929.746=2.238 | | σ | 0.018-0.016=0.001 | | min | 1931.961-1929.726=2.235 | | max | 1932.007-1929.768=2.239 |
| | mean | 2694.000-2701.000=-7.000 | | σ | 0.000 | | min | 2694.000-2701.000=-7.000 | | max | 2694.000-2701.000=-7.000 |
| | mean | 2.563-2.928=-0.365 | | σ | 0.159-0.141=0.018 | | min | 2.473-2.729=-0.256 | | max | 2.845-3.098=-0.253 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.726-4750.482=2.243 | | σ | 0.912-0.885=0.027 | | min | 4752.233-4750.050=2.184 | | max | 4754.352-4752.064=2.287 |
| | mean | 2694.000-2701.000=-7.000 | | σ | 0.000 | | min | 2694.000-2701.000=-7.000 | | max | 2694.000-2701.000=-7.000 |
| | mean | 8.538-8.757=-0.218 | | σ | 0.498-0.152=0.346 | | min | 7.747-8.541=-0.794 | | max | 8.990-8.907=0.083 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.202-4940.981=2.221 | | σ | 0.018-0.018=0.000 | | min | 4943.179-4940.953=2.226 | | max | 4943.222-4940.999=2.223 |
| | mean | 2977.800-2978.800=-1.000 | | σ | 241.165-320.082=-78.917 | | min | 2694.000-2701.000=-7.000 | | max | 3315.000-3434.000=-119.000 |
| | mean | 8.431-8.368=0.064 | | σ | 0.056-0.027=0.029 | | min | 8.361-8.323=0.038 | | max | 8.494-8.398=0.096 |
|