iters=5 new-facts=1 prior-facts=1 | | mean | 277.196-277.197=-0.001 | | σ | 0.005-0.006=-0.001 | | min | 277.190-277.190=0.000 | | max | 277.204-277.205=-0.001 |
| | mean | 2661.000-2663.000=-2.000 | | σ | 0.000 | | min | 2661.000-2663.000=-2.000 | | max | 2661.000-2663.000=-2.000 |
| | mean | 0.405-0.410=-0.005 | | σ | 0.007-0.010=-0.003 | | min | 0.402-0.402=-0.000 | | max | 0.419-0.421=-0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.441-2174.406=0.035 | | σ | 0.023-0.018=0.005 | | min | 2174.418-2174.390=0.029 | | max | 2174.476-2174.431=0.045 |
| | mean | 2661.000-2663.000=-2.000 | | σ | 0.000 | | min | 2661.000-2663.000=-2.000 | | max | 2661.000-2663.000=-2.000 |
| | mean | 2.954-2.902=0.052 | | σ | 0.114-0.150=-0.036 | | min | 2.760-2.785=-0.025 | | max | 3.066-3.118=-0.052 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5052.595-5052.508=0.087 | | σ | 0.961-1.063=-0.101 | | min | 5052.034-5051.754=0.280 | | max | 5054.305-5054.384=-0.079 |
| | mean | 2661.000-2663.000=-2.000 | | σ | 0.000 | | min | 2661.000-2663.000=-2.000 | | max | 2661.000-2663.000=-2.000 |
| | mean | 8.632-9.023=-0.391 | | σ | 0.540-0.734=-0.194 | | min | 7.986-8.006=-0.019 | | max | 9.347-9.758=-0.411 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5188.404-5188.410=-0.006 | | σ | 0.067-0.103=-0.037 | | min | 5188.353-5188.311=0.043 | | max | 5188.513-5188.524=-0.011 |
| | mean | 3227.800-3221.200=6.600 | | σ | 366.624-479.814=-113.190 | | min | 2697.000-2663.000=34.000 | | max | 3685.000-3873.000=-188.000 |
| | mean | 8.931-8.752=0.179 | | σ | 0.298-0.196=0.102 | | min | 8.680-8.578=0.101 | | max | 9.406-9.089=0.316 |
|