iters=5 new-facts=1 prior-facts=1 | | mean | 266.786-266.776=0.010 | | σ | 0.010-0.006=0.004 | | min | 266.777-266.767=0.011 | | max | 266.797-266.783=0.014 |
| | mean | 2774.000-2660.000=114.000 | | σ | 0.000 | | min | 2774.000-2660.000=114.000 | | max | 2774.000-2660.000=114.000 |
| | mean | 0.368-0.364=0.003 | | σ | 0.008-0.002=0.007 | | min | 0.363-0.361=0.002 | | max | 0.382-0.366=0.017 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1927.222-1927.210=0.012 | | σ | 0.020-0.010=0.010 | | min | 1927.198-1927.197=0.001 | | max | 1927.246-1927.223=0.023 |
| | mean | 2774.000-2660.000=114.000 | | σ | 0.000 | | min | 2774.000-2660.000=114.000 | | max | 2774.000-2660.000=114.000 |
| | mean | 2.813-2.850=-0.037 | | σ | 0.268-0.112=0.156 | | min | 2.451-2.703=-0.252 | | max | 3.045-3.002=0.043 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4747.463-4747.655=-0.193 | | σ | 1.114-0.849=0.264 | | min | 4746.110-4746.898=-0.789 | | max | 4749.215-4749.112=0.102 |
| | mean | 2774.000-2660.000=114.000 | | σ | 0.000 | | min | 2774.000-2660.000=114.000 | | max | 2774.000-2660.000=114.000 |
| | mean | 8.696-8.079=0.617 | | σ | 0.286-0.304=-0.018 | | min | 8.458-7.734=0.724 | | max | 9.170-8.503=0.666 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4938.168-4938.159=0.008 | | σ | 0.088-0.084=0.004 | | min | 4938.095-4938.081=0.014 | | max | 4938.264-4938.254=0.010 |
| | mean | 3041.200-3003.800=37.400 | | σ | 210.209-383.304=-173.095 | | min | 2774.000-2660.000=114.000 | | max | 3323.000-3554.000=-231.000 |
| | mean | 8.549-8.466=0.084 | | σ | 0.226-0.144=0.082 | | min | 8.313-8.339=-0.026 | | max | 8.869-8.642=0.227 |
|