iters=5 new-facts=1 prior-facts=1 | | mean | 269.079-277.195=-8.116 | | σ | 18.140-0.005=18.134 | | min | 236.630-277.189=-40.559 | | max | 277.201-277.202=-0.001 |
| | mean | 2416.000-2711.000=-295.000 | | σ | 0.000 | | min | 2416.000-2711.000=-295.000 | | max | 2416.000-2711.000=-295.000 |
| | mean | 0.386-0.397=-0.011 | | σ | 0.030-0.007=0.024 | | min | 0.334-0.390=-0.057 | | max | 0.413-0.406=0.007 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.445-2174.432=0.013 | | σ | 0.021-0.022=-0.002 | | min | 2174.423-2174.401=0.022 | | max | 2174.469-2174.454=0.015 |
| | mean | 2416.000-2711.000=-295.000 | | σ | 0.000 | | min | 2416.000-2711.000=-295.000 | | max | 2416.000-2711.000=-295.000 |
| | mean | 3.009-2.943=0.066 | | σ | 0.160-0.145=0.014 | | min | 2.798-2.744=0.054 | | max | 3.222-3.145=0.076 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5052.501-5052.607=-0.105 | | σ | 0.692-0.958=-0.266 | | min | 5052.105-5052.010=0.095 | | max | 5053.732-5054.293=-0.561 |
| | mean | 2416.000-2711.000=-295.000 | | σ | 0.000 | | min | 2416.000-2711.000=-295.000 | | max | 2416.000-2711.000=-295.000 |
| | mean | 9.300-9.306=-0.006 | | σ | 0.420-0.459=-0.039 | | min | 8.840-8.914=-0.074 | | max | 9.768-10.061=-0.293 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5188.430-5188.420=0.010 | | σ | 0.090-0.088=0.002 | | min | 5188.356-5188.350=0.007 | | max | 5188.531-5188.524=0.008 |
| | mean | 3223.200-3237.800=-14.600 | | σ | 389.021-372.068=16.953 | | min | 2665.000-2720.000=-55.000 | | max | 3688.000-3692.000=-4.000 |
| | mean | 9.000-8.828=0.172 | | σ | 0.233-0.300=-0.067 | | min | 8.822-8.476=0.346 | | max | 9.401-9.253=0.148 |
|