iters=5 new-facts=1 prior-facts=1 | | mean | 277.196-277.195=0.001 | | σ | 0.006-0.005=0.000 | | min | 277.190-277.188=0.003 | | max | 277.205-277.202=0.003 |
| | mean | 2663.000-2650.000=13.000 | | σ | 0.000 | | min | 2663.000-2650.000=13.000 | | max | 2663.000-2650.000=13.000 |
| | mean | 0.407-0.397=0.010 | | σ | 0.008-0.008=0.000 | | min | 0.399-0.392=0.006 | | max | 0.416-0.411=0.005 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.427-2174.430=-0.003 | | σ | 0.017-0.005=0.011 | | min | 2174.410-2174.425=-0.015 | | max | 2174.451-2174.436=0.015 |
| | mean | 2663.000-2650.000=13.000 | | σ | 0.000 | | min | 2663.000-2650.000=13.000 | | max | 2663.000-2650.000=13.000 |
| | mean | 3.126-3.055=0.071 | | σ | 0.214-0.146=0.068 | | min | 2.836-2.809=0.027 | | max | 3.433-3.199=0.234 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5052.602-5052.638=-0.037 | | σ | 0.941-0.962=-0.021 | | min | 5051.991-5052.036=-0.045 | | max | 5054.268-5054.344=-0.076 |
| | mean | 2663.000-2650.000=13.000 | | σ | 0.000 | | min | 2663.000-2650.000=13.000 | | max | 2663.000-2650.000=13.000 |
| | mean | 8.833-8.698=0.136 | | σ | 0.591-0.476=0.115 | | min | 8.172-8.257=-0.085 | | max | 9.372-9.409=-0.037 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5188.413-5188.420=-0.007 | | σ | 0.073-0.091=-0.018 | | min | 5188.359-5188.349=0.010 | | max | 5188.526-5188.521=0.004 |
| | mean | 3282.600-3233.000=49.600 | | σ | 423.635-385.841=37.794 | | min | 2684.000-2696.000=-12.000 | | max | 3672.000-3720.000=-48.000 |
| | mean | 8.978-8.992=-0.014 | | σ | 0.317-0.407=-0.091 | | min | 8.700-8.725=-0.025 | | max | 9.493-9.701=-0.208 |
|