iters=5 new-facts=1 prior-facts=1 | | mean | 269.378-269.379=-0.001 | | σ | 0.009-0.006=0.004 | | min | 269.368-269.371=-0.003 | | max | 269.391-269.387=0.004 |
| | mean | 2766.000-2665.000=101.000 | | σ | 0.000 | | min | 2766.000-2665.000=101.000 | | max | 2766.000-2665.000=101.000 |
| | mean | 0.378-0.375=0.003 | | σ | 0.005-0.005=0.000 | | min | 0.374-0.371=0.003 | | max | 0.386-0.383=0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1929.741-1929.749=-0.009 | | σ | 0.023-0.003=0.019 | | min | 1929.722-1929.746=-0.025 | | max | 1929.769-1929.754=0.015 |
| | mean | 2766.000-2665.000=101.000 | | σ | 0.000 | | min | 2766.000-2665.000=101.000 | | max | 2766.000-2665.000=101.000 |
| | mean | 3.043-3.086=-0.043 | | σ | 0.218-0.091=0.127 | | min | 2.726-3.013=-0.286 | | max | 3.288-3.189=0.099 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4750.534-4750.376=0.158 | | σ | 0.845-1.037=-0.192 | | min | 4750.064-4749.480=0.584 | | max | 4752.041-4752.171=-0.130 |
| | mean | 2766.000-2665.000=101.000 | | σ | 0.000 | | min | 2766.000-2665.000=101.000 | | max | 2766.000-2665.000=101.000 |
| | mean | 8.339-8.656=-0.317 | | σ | 0.419-0.503=-0.084 | | min | 7.791-7.820=-0.029 | | max | 8.812-9.066=-0.254 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4940.982-4940.985=-0.004 | | σ | 0.014-0.012=0.002 | | min | 4940.963-4940.972=-0.009 | | max | 4940.998-4940.999=-0.001 |
| | mean | 3027.200-3025.800=1.400 | | σ | 323.413-296.361=27.052 | | min | 2766.000-2665.000=101.000 | | max | 3520.000-3418.000=102.000 |
| | mean | 8.399-8.564=-0.165 | | σ | 0.115-0.140=-0.026 | | min | 8.312-8.329=-0.017 | | max | 8.597-8.696=-0.099 |
|