iters=5 new-facts=1 prior-facts=1 | | mean | 324.736-324.759=-0.023 | | σ | 0.043-0.053=-0.010 | | min | 324.661-324.664=-0.004 | | max | 324.771-324.788=-0.017 |
| | mean | 2823.000-2781.000=42.000 | | σ | 0.000 | | min | 2823.000-2781.000=42.000 | | max | 2823.000-2781.000=42.000 |
| | mean | 0.427-0.426=0.001 | | σ | 0.005-0.008=-0.004 | | min | 0.424-0.421=0.003 | | max | 0.436-0.441=-0.005 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.328-1985.322=0.006 | | σ | 0.007-0.016=-0.008 | | min | 1985.319-1985.301=0.018 | | max | 1985.337-1985.338=-0.000 |
| | mean | 2823.000-2781.000=42.000 | | σ | 0.000 | | min | 2823.000-2781.000=42.000 | | max | 2823.000-2781.000=42.000 |
| | mean | 2.639-2.637=0.002 | | σ | 0.091-0.127=-0.036 | | min | 2.580-2.513=0.067 | | max | 2.794-2.832=-0.037 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.986-4808.852=0.134 | | σ | 7.756-7.838=-0.082 | | min | 4804.968-4805.034=-0.066 | | max | 4822.848-4822.865=-0.017 |
| | mean | 2823.000-2781.000=42.000 | | σ | 0.000 | | min | 2823.000-2781.000=42.000 | | max | 2823.000-2781.000=42.000 |
| | mean | 8.776-8.756=0.021 | | σ | 0.563-0.195=0.368 | | min | 7.784-8.465=-0.680 | | max | 9.115-8.985=0.130 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.634-4816.406=180.228 | | σ | 0.019-402.780=-402.761 | | min | 4996.610-4095.891=900.719 | | max | 4996.656-4996.656=-0.000 |
| | mean | 3035.200-3023.200=12.000 | | σ | 205.359-297.616=-92.257 | | min | 2823.000-2781.000=42.000 | | max | 3288.000-3473.000=-185.000 |
| | mean | 8.670-8.368=0.302 | | σ | 0.150-0.608=-0.458 | | min | 8.506-7.339=1.167 | | max | 8.847-8.881=-0.035 |
|