iters=5 new-facts=1 prior-facts=1 | | mean | 324.584-324.593=-0.009 | | σ | 0.045-0.019=0.025 | | min | 324.504-324.559=-0.055 | | max | 324.606-324.604=0.001 |
| | mean | 2751.000-2833.000=-82.000 | | σ | 0.000 | | min | 2751.000-2833.000=-82.000 | | max | 2751.000-2833.000=-82.000 |
| | mean | 0.425-0.426=-0.001 | | σ | 0.003-0.002=0.001 | | min | 0.421-0.423=-0.002 | | max | 0.428-0.428=-0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.143-1985.127=0.016 | | σ | 0.010-0.013=-0.004 | | min | 1985.128-1985.111=0.017 | | max | 1985.153-1985.139=0.013 |
| | mean | 2751.000-2833.000=-82.000 | | σ | 0.000 | | min | 2751.000-2833.000=-82.000 | | max | 2751.000-2833.000=-82.000 |
| | mean | 2.626-2.683=-0.057 | | σ | 0.059-0.177=-0.119 | | min | 2.566-2.526=0.040 | | max | 2.692-2.963=-0.271 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.542-4808.730=-0.188 | | σ | 7.479-7.674=-0.195 | | min | 4804.674-4805.256=-0.582 | | max | 4821.910-4822.459=-0.548 |
| | mean | 2751.000-2833.000=-82.000 | | σ | 0.000 | | min | 2751.000-2833.000=-82.000 | | max | 2751.000-2833.000=-82.000 |
| | mean | 8.701-8.910=-0.209 | | σ | 0.570-0.137=0.433 | | min | 7.712-8.737=-1.024 | | max | 9.126-9.067=0.059 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.345-4996.328=0.017 | | σ | 0.016-0.026=-0.009 | | min | 4996.322-4996.293=0.029 | | max | 4996.362-4996.358=0.004 |
| | mean | 3049.800-3062.000=-12.200 | | σ | 247.255-306.304=-59.048 | | min | 2751.000-2833.000=-82.000 | | max | 3396.000-3536.000=-140.000 |
| | mean | 8.706-8.585=0.121 | | σ | 0.145-0.156=-0.011 | | min | 8.528-8.442=0.085 | | max | 8.856-8.801=0.054 |
|