iters=5 new-facts=1 prior-facts=1 | | mean | 324.738-324.762=-0.024 | | σ | 0.043-0.056=-0.013 | | min | 324.662-324.663=-0.001 | | max | 324.763-324.793=-0.031 |
| | mean | 2843.000-2848.000=-5.000 | | σ | 0.000 | | min | 2843.000-2848.000=-5.000 | | max | 2843.000-2848.000=-5.000 |
| | mean | 0.426-0.429=-0.003 | | σ | 0.005-0.009=-0.005 | | min | 0.423-0.424=-0.001 | | max | 0.434-0.445=-0.012 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.322-1985.316=0.006 | | σ | 0.014-0.015=-0.001 | | min | 1985.300-1985.298=0.001 | | max | 1985.335-1985.332=0.003 |
| | mean | 2843.000-2848.000=-5.000 | | σ | 0.000 | | min | 2843.000-2848.000=-5.000 | | max | 2843.000-2848.000=-5.000 |
| | mean | 2.672-2.658=0.014 | | σ | 0.132-0.105=0.026 | | min | 2.520-2.567=-0.047 | | max | 2.872-2.778=0.094 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4809.089-4809.000=0.089 | | σ | 7.736-7.774=-0.038 | | min | 4805.605-4805.014=0.591 | | max | 4822.928-4822.897=0.031 |
| | mean | 2843.000-2848.000=-5.000 | | σ | 0.000 | | min | 2843.000-2848.000=-5.000 | | max | 2843.000-2848.000=-5.000 |
| | mean | 8.969-8.795=0.174 | | σ | 0.487-0.409=0.079 | | min | 8.245-8.075=0.170 | | max | 9.565-9.056=0.509 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.566-4996.489=0.077 | | σ | 0.181-0.192=-0.011 | | min | 4996.247-4996.256=-0.010 | | max | 4996.674-4996.647=0.027 |
| | mean | 3086.000-3067.000=19.000 | | σ | 259.533-291.781=-32.248 | | min | 2843.000-2848.000=-5.000 | | max | 3358.000-3517.000=-159.000 |
| | mean | 9.158-8.543=0.616 | | σ | 0.551-0.132=0.419 | | min | 8.528-8.465=0.063 | | max | 9.899-8.777=1.122 |
|