iters=5 new-facts=1 prior-facts=1 | | mean | 278.824-278.827=-0.002 | | σ | 0.006-0.008=-0.002 | | min | 278.817-278.817=-0.001 | | max | 278.833-278.839=-0.006 |
| | mean | 2726.000-2608.000=118.000 | | σ | 0.000 | | min | 2726.000-2608.000=118.000 | | max | 2726.000-2608.000=118.000 |
| | mean | 0.412-0.416=-0.004 | | σ | 0.005-0.009=-0.004 | | min | 0.408-0.406=0.002 | | max | 0.418-0.429=-0.010 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.886-2268.891=-0.005 | | σ | 0.011-0.006=0.005 | | min | 2268.878-2268.884=-0.006 | | max | 2268.906-2268.898=0.007 |
| | mean | 2726.000-2608.000=118.000 | | σ | 0.000 | | min | 2726.000-2608.000=118.000 | | max | 2726.000-2608.000=118.000 |
| | mean | 3.067-2.948=0.119 | | σ | 0.151-0.116=0.036 | | min | 2.890-2.845=0.045 | | max | 3.224-3.145=0.079 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.144-4954.290=-0.146 | | σ | 1.074-0.933=0.142 | | min | 4953.093-4953.712=-0.619 | | max | 4955.948-4955.945=0.003 |
| | mean | 2726.000-2608.000=118.000 | | σ | 0.000 | | min | 2726.000-2608.000=118.000 | | max | 2726.000-2608.000=118.000 |
| | mean | 8.124-7.992=0.132 | | σ | 0.420-0.352=0.068 | | min | 7.675-7.691=-0.016 | | max | 8.680-8.592=0.088 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5168.829-5168.748=0.081 | | σ | 0.094-0.218=-0.124 | | min | 5168.725-5168.379=0.346 | | max | 5168.907-5168.886=0.021 |
| | mean | 3321.800-3357.400=-35.600 | | σ | 391.547-460.637=-69.090 | | min | 2933.000-2748.000=185.000 | | max | 3716.000-3968.000=-252.000 |
| | mean | 9.475-9.212=0.264 | | σ | 0.403-0.437=-0.035 | | min | 9.121-8.571=0.549 | | max | 10.014-9.714=0.300 |
|