iters=5 new-facts=1 prior-facts=1 | | mean | 272.756-271.953=0.803 | | σ | 0.008-0.007=0.001 | | min | 272.744-271.941=0.802 | | max | 272.766-271.959=0.807 |
| | mean | 2504.000-2845.000=-341.000 | | σ | 0.000 | | min | 2504.000-2845.000=-341.000 | | max | 2504.000-2845.000=-341.000 |
| | mean | 0.383-0.380=0.003 | | σ | 0.010-0.003=0.007 | | min | 0.371-0.377=-0.006 | | max | 0.397-0.383=0.014 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.158-1932.325=0.833 | | σ | 0.017-0.002=0.015 | | min | 1933.130-1932.323=0.807 | | max | 1933.177-1932.328=0.848 |
| | mean | 2504.000-2845.000=-341.000 | | σ | 0.000 | | min | 2504.000-2845.000=-341.000 | | max | 2504.000-2845.000=-341.000 |
| | mean | 3.070-3.122=-0.052 | | σ | 0.214-0.119=0.095 | | min | 2.771-3.033=-0.262 | | max | 3.373-3.279=0.093 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4756.813-4752.944=3.869 | | σ | 7.653-0.976=6.677 | | min | 4753.000-4752.235=0.765 | | max | 4770.497-4754.665=15.832 |
| | mean | 2504.000-2845.000=-341.000 | | σ | 0.000 | | min | 2504.000-2845.000=-341.000 | | max | 2504.000-2845.000=-341.000 |
| | mean | 8.513-8.699=-0.187 | | σ | 0.427-0.500=-0.073 | | min | 7.843-7.963=-0.120 | | max | 9.034-9.322=-0.288 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.398-4943.486=0.911 | | σ | 0.025-0.151=-0.126 | | min | 4944.363-4943.217=1.146 | | max | 4944.423-4943.572=0.851 |
| | mean | 2961.400-3054.000=-92.600 | | σ | 402.498-194.282=208.216 | | min | 2504.000-2845.000=-341.000 | | max | 3479.000-3328.000=151.000 |
| | mean | 8.495-8.616=-0.121 | | σ | 0.086-0.250=-0.164 | | min | 8.408-8.446=-0.039 | | max | 8.616-9.041=-0.426 |
|