iters=5 new-facts=1 prior-facts=1 | | mean | 277.202-275.730=1.472 | | σ | 0.007-0.009=-0.002 | | min | 277.192-275.721=1.471 | | max | 277.210-275.744=1.466 |
| | mean | 2690.000-2652.000=38.000 | | σ | 0.000 | | min | 2690.000-2652.000=38.000 | | max | 2690.000-2652.000=38.000 |
| | mean | 0.418-0.402=0.017 | | σ | 0.017-0.008=0.009 | | min | 0.401-0.397=0.004 | | max | 0.441-0.415=0.026 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.435-2168.274=6.161 | | σ | 0.008-0.021=-0.013 | | min | 2174.426-2168.254=6.173 | | max | 2174.445-2168.300=6.145 |
| | mean | 2690.000-2652.000=38.000 | | σ | 0.000 | | min | 2690.000-2652.000=38.000 | | max | 2690.000-2652.000=38.000 |
| | mean | 2.992-2.970=0.022 | | σ | 0.142-0.134=0.008 | | min | 2.774-2.757=0.017 | | max | 3.139-3.090=0.048 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5052.537-5048.100=4.438 | | σ | 1.056-0.917=0.139 | | min | 5051.688-5047.515=4.173 | | max | 5054.370-5049.709=4.661 |
| | mean | 2690.000-2652.000=38.000 | | σ | 0.000 | | min | 2690.000-2652.000=38.000 | | max | 2690.000-2652.000=38.000 |
| | mean | 8.812-8.980=-0.168 | | σ | 0.540-0.557=-0.017 | | min | 8.189-8.163=0.026 | | max | 9.441-9.597=-0.156 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5188.431-5179.097=9.333 | | σ | 0.086-0.341=-0.256 | | min | 5188.359-5178.501=9.859 | | max | 5188.529-5179.328=9.201 |
| | mean | 3219.000-3225.600=-6.600 | | σ | 386.312-369.873=16.439 | | min | 2690.000-2697.000=-7.000 | | max | 3706.000-3678.000=28.000 |
| | mean | 9.049-9.951=-0.902 | | σ | 0.335-0.198=0.137 | | min | 8.812-9.610=-0.797 | | max | 9.627-10.118=-0.492 |
|