iters=5 new-facts=1 prior-facts=1 | | mean | 273.501-273.405=0.096 | | σ | 0.017-0.010=0.007 | | min | 273.471-273.395=0.076 | | max | 273.513-273.421=0.092 |
| | mean | 2857.000-2773.000=84.000 | | σ | 0.000 | | min | 2857.000-2773.000=84.000 | | max | 2857.000-2773.000=84.000 |
| | mean | 0.377-0.388=-0.011 | | σ | 0.006-0.008=-0.003 | | min | 0.372-0.382=-0.010 | | max | 0.386-0.403=-0.017 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.884-1933.809=0.075 | | σ | 0.007-0.012=-0.005 | | min | 1933.876-1933.794=0.082 | | max | 1933.892-1933.822=0.070 |
| | mean | 2857.000-2773.000=84.000 | | σ | 0.000 | | min | 2857.000-2773.000=84.000 | | max | 2857.000-2773.000=84.000 |
| | mean | 2.977-2.898=0.079 | | σ | 0.076-0.128=-0.051 | | min | 2.908-2.714=0.194 | | max | 3.102-3.074=0.028 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.622-4754.256=0.365 | | σ | 0.902-0.814=0.088 | | min | 4754.106-4753.173=0.933 | | max | 4756.230-4755.469=0.761 |
| | mean | 2857.000-2773.000=84.000 | | σ | 0.000 | | min | 2857.000-2773.000=84.000 | | max | 2857.000-2773.000=84.000 |
| | mean | 8.928-8.382=0.546 | | σ | 0.331-0.350=-0.020 | | min | 8.536-7.761=0.775 | | max | 9.433-8.583=0.850 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4945.114-4945.036=0.077 | | σ | 0.018-0.019=-0.001 | | min | 4945.095-4945.014=0.081 | | max | 4945.141-4945.056=0.084 |
| | mean | 3023.000-2988.800=34.200 | | σ | 190.062-210.462=-20.400 | | min | 2857.000-2773.000=84.000 | | max | 3321.000-3296.000=25.000 |
| | mean | 8.442-8.545=-0.104 | | σ | 0.083-0.116=-0.033 | | min | 8.335-8.442=-0.107 | | max | 8.525-8.730=-0.205 |
|