iters=5 new-facts=1 prior-facts=1 | | mean | 326.565-326.438=0.127 | | σ | 0.055-0.059=-0.004 | | min | 326.467-326.333=0.134 | | max | 326.597-326.470=0.127 |
| | mean | 2616.000-2591.000=25.000 | | σ | 0.000 | | min | 2616.000-2591.000=25.000 | | max | 2616.000-2591.000=25.000 |
| | mean | 0.424-0.426=-0.001 | | σ | 0.001-0.002=-0.000 | | min | 0.422-0.425=-0.003 | | max | 0.426-0.429=-0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.737-1988.607=0.130 | | σ | 0.007-0.016=-0.009 | | min | 1988.726-1988.582=0.144 | | max | 1988.745-1988.621=0.124 |
| | mean | 2616.000-2591.000=25.000 | | σ | 0.000 | | min | 2616.000-2591.000=25.000 | | max | 2616.000-2591.000=25.000 |
| | mean | 2.705-2.677=0.028 | | σ | 0.041-0.071=-0.030 | | min | 2.670-2.578=0.092 | | max | 2.774-2.774=0.000 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.619-4813.474=0.145 | | σ | 7.696-7.754=-0.058 | | min | 4810.043-4809.903=0.140 | | max | 4827.385-4827.343=0.042 |
| | mean | 2616.000-2591.000=25.000 | | σ | 0.000 | | min | 2616.000-2591.000=25.000 | | max | 2616.000-2591.000=25.000 |
| | mean | 8.251-8.617=-0.367 | | σ | 0.516-0.606=-0.089 | | min | 7.725-7.965=-0.240 | | max | 9.070-9.569=-0.499 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.134-5001.008=0.126 | | σ | 0.038-0.019=0.019 | | min | 5001.067-5000.985=0.081 | | max | 5001.162-5001.025=0.137 |
| | mean | 2943.000-2978.600=-35.600 | | σ | 359.059-288.348=70.711 | | min | 2616.000-2591.000=25.000 | | max | 3437.000-3319.000=118.000 |
| | mean | 9.779-9.808=-0.030 | | σ | 0.252-0.088=0.164 | | min | 9.420-9.713=-0.294 | | max | 10.134-9.928=0.206 |
|