iters=5 new-facts=1 prior-facts=1 | | mean | 277.195-277.196=-0.001 | | σ | 0.006-0.006=0.001 | | min | 277.187-277.187=-0.000 | | max | 277.203-277.203=0.000 |
| | mean | 2630.000-2661.000=-31.000 | | σ | 0.000 | | min | 2630.000-2661.000=-31.000 | | max | 2630.000-2661.000=-31.000 |
| | mean | 0.397-0.397=-0.000 | | σ | 0.007-0.009=-0.002 | | min | 0.391-0.389=0.002 | | max | 0.409-0.410=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.418-2174.402=0.016 | | σ | 0.038-0.068=-0.030 | | min | 2174.353-2174.282=0.071 | | max | 2174.452-2174.446=0.005 |
| | mean | 2630.000-2661.000=-31.000 | | σ | 0.000 | | min | 2630.000-2661.000=-31.000 | | max | 2630.000-2661.000=-31.000 |
| | mean | 3.095-3.072=0.023 | | σ | 0.313-0.258=0.055 | | min | 2.776-2.779=-0.003 | | max | 3.585-3.483=0.102 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5052.635-5052.379=0.256 | | σ | 0.988-0.798=0.190 | | min | 5052.041-5051.582=0.458 | | max | 5054.390-5053.709=0.681 |
| | mean | 2630.000-2661.000=-31.000 | | σ | 0.000 | | min | 2630.000-2661.000=-31.000 | | max | 2630.000-2661.000=-31.000 |
| | mean | 8.708-8.582=0.127 | | σ | 0.590-0.459=0.130 | | min | 8.260-8.146=0.114 | | max | 9.660-9.298=0.362 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5188.358-5188.426=-0.068 | | σ | 0.121-0.090=0.031 | | min | 5188.174-5188.359=-0.185 | | max | 5188.515-5188.526=-0.012 |
| | mean | 3288.600-3221.400=67.200 | | σ | 417.183-356.709=60.474 | | min | 2706.000-2719.000=-13.000 | | max | 3675.000-3660.000=15.000 |
| | mean | 9.040-8.839=0.201 | | σ | 0.503-0.150=0.353 | | min | 8.711-8.658=0.053 | | max | 9.933-8.954=0.979 |
|