iters=5 new-facts=1 prior-facts=1 | | mean | 277.182-277.196=-0.014 | | σ | 0.015-0.005=0.009 | | min | 277.165-277.190=-0.026 | | max | 277.201-277.204=-0.003 |
| | mean | 2690.000-2661.000=29.000 | | σ | 0.000 | | min | 2690.000-2661.000=29.000 | | max | 2690.000-2661.000=29.000 |
| | mean | 0.404-0.405=-0.001 | | σ | 0.002-0.007=-0.006 | | min | 0.402-0.402=0.000 | | max | 0.406-0.419=-0.012 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.443-2174.441=0.002 | | σ | 0.017-0.023=-0.006 | | min | 2174.423-2174.418=0.004 | | max | 2174.469-2174.476=-0.007 |
| | mean | 2690.000-2661.000=29.000 | | σ | 0.000 | | min | 2690.000-2661.000=29.000 | | max | 2690.000-2661.000=29.000 |
| | mean | 2.933-2.954=-0.021 | | σ | 0.101-0.114=-0.013 | | min | 2.765-2.760=0.004 | | max | 3.040-3.066=-0.026 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5052.592-5052.595=-0.003 | | σ | 0.986-0.961=0.024 | | min | 5051.987-5052.034=-0.047 | | max | 5054.343-5054.305=0.038 |
| | mean | 2690.000-2661.000=29.000 | | σ | 0.000 | | min | 2690.000-2661.000=29.000 | | max | 2690.000-2661.000=29.000 |
| | mean | 9.089-8.632=0.457 | | σ | 0.571-0.540=0.031 | | min | 8.078-7.986=0.091 | | max | 9.445-9.347=0.098 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5188.426-5188.404=0.021 | | σ | 0.088-0.067=0.021 | | min | 5188.358-5188.353=0.005 | | max | 5188.531-5188.513=0.017 |
| | mean | 3230.000-3227.800=2.200 | | σ | 365.865-366.624=-0.759 | | min | 2702.000-2697.000=5.000 | | max | 3689.000-3685.000=4.000 |
| | mean | 8.948-8.931=0.017 | | σ | 0.406-0.298=0.108 | | min | 8.674-8.680=-0.005 | | max | 9.658-9.406=0.252 |
|