iters=5 new-facts=1 prior-facts=1 | | mean | 279.508-278.840=0.668 | | σ | 0.008-0.010=-0.002 | | min | 279.500-278.824=0.676 | | max | 279.516-278.848=0.668 |
| | mean | 2745.000-2636.000=109.000 | | σ | 0.000 | | min | 2745.000-2636.000=109.000 | | max | 2745.000-2636.000=109.000 |
| | mean | 0.408-0.411=-0.002 | | σ | 0.007-0.005=0.001 | | min | 0.402-0.406=-0.004 | | max | 0.420-0.418=0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2178.438-2268.900=-90.462 | | σ | 0.028-0.014=0.014 | | min | 2178.409-2268.883=-90.474 | | max | 2178.473-2268.913=-90.440 |
| | mean | 2745.000-2636.000=109.000 | | σ | 0.000 | | min | 2745.000-2636.000=109.000 | | max | 2745.000-2636.000=109.000 |
| | mean | 3.264-2.996=0.268 | | σ | 0.157-0.139=0.018 | | min | 3.057-2.888=0.168 | | max | 3.495-3.194=0.301 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5056.383-4954.121=102.262 | | σ | 0.982-0.932=0.049 | | min | 5055.874-4953.142=102.732 | | max | 5058.136-4955.660=102.476 |
| | mean | 2745.000-2636.000=109.000 | | σ | 0.000 | | min | 2745.000-2636.000=109.000 | | max | 2745.000-2636.000=109.000 |
| | mean | 9.054-8.025=1.029 | | σ | 0.617-0.268=0.349 | | min | 8.117-7.730=0.387 | | max | 9.563-8.403=1.161 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5193.746-5168.816=24.930 | | σ | 0.095-0.077=0.018 | | min | 5193.660-5168.749=24.910 | | max | 5193.856-5168.901=24.955 |
| | mean | 3189.800-3392.000=-202.200 | | σ | 437.095-461.161=-24.066 | | min | 2745.000-2808.000=-63.000 | | max | 3800.000-4010.000=-210.000 |
| | mean | 8.710-9.476=-0.765 | | σ | 0.136-0.344=-0.208 | | min | 8.595-8.968=-0.372 | | max | 8.933-9.914=-0.981 |
|