iters=5 new-facts=1 prior-facts=1 | | mean | 324.763-324.759=0.004 | | σ | 0.053-0.053=-0.000 | | min | 324.668-324.664=0.004 | | max | 324.791-324.788=0.003 |
| | mean | 2724.000-2781.000=-57.000 | | σ | 0.000 | | min | 2724.000-2781.000=-57.000 | | max | 2724.000-2781.000=-57.000 |
| | mean | 0.429-0.426=0.003 | | σ | 0.008-0.008=0.000 | | min | 0.422-0.421=0.001 | | max | 0.443-0.441=0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.320-1985.322=-0.001 | | σ | 0.014-0.016=-0.002 | | min | 1985.298-1985.301=-0.003 | | max | 1985.336-1985.338=-0.002 |
| | mean | 2724.000-2781.000=-57.000 | | σ | 0.000 | | min | 2724.000-2781.000=-57.000 | | max | 2724.000-2781.000=-57.000 |
| | mean | 2.607-2.637=-0.030 | | σ | 0.062-0.127=-0.065 | | min | 2.555-2.513=0.042 | | max | 2.712-2.832=-0.120 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4809.081-4808.852=0.229 | | σ | 7.710-7.838=-0.128 | | min | 4805.552-4805.034=0.518 | | max | 4822.872-4822.865=0.007 |
| | mean | 2724.000-2781.000=-57.000 | | σ | 0.000 | | min | 2724.000-2781.000=-57.000 | | max | 2724.000-2781.000=-57.000 |
| | mean | 8.954-8.756=0.198 | | σ | 0.118-0.195=-0.077 | | min | 8.800-8.465=0.335 | | max | 9.073-8.985=0.089 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.622-4816.406=180.216 | | σ | 0.021-402.780=-402.759 | | min | 4996.600-4095.891=900.710 | | max | 4996.648-4996.656=-0.008 |
| | mean | 3024.800-3023.200=1.600 | | σ | 353.014-297.616=55.398 | | min | 2724.000-2781.000=-57.000 | | max | 3546.000-3473.000=73.000 |
| | mean | 8.509-8.368=0.141 | | σ | 0.127-0.608=-0.481 | | min | 8.417-7.339=1.078 | | max | 8.731-8.881=-0.150 |
|