iters=5 new-facts=1 prior-facts=1 | | mean | 190.714-190.718=-0.003 | | σ | 0.006-0.004=0.002 | | min | 190.704-190.715=-0.010 | | max | 190.721-190.725=-0.004 |
| | mean | 2631.000-2608.000=23.000 | | σ | 0.000 | | min | 2631.000-2608.000=23.000 | | max | 2631.000-2608.000=23.000 |
| | mean | 0.279-0.281=-0.001 | | σ | 0.001-0.001=-0.000 | | min | 0.278-0.279=-0.001 | | max | 0.281-0.282=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1989.492-1989.499=-0.007 | | σ | 0.012-0.017=-0.005 | | min | 1989.478-1989.481=-0.003 | | max | 1989.506-1989.516=-0.011 |
| | mean | 2631.000-2608.000=23.000 | | σ | 0.000 | | min | 2631.000-2608.000=23.000 | | max | 2631.000-2608.000=23.000 |
| | mean | 2.592-2.418=0.174 | | σ | 0.116-0.077=0.039 | | min | 2.465-2.327=0.138 | | max | 2.732-2.536=0.196 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4880.079-4880.081=-0.002 | | σ | 0.582-0.600=-0.018 | | min | 4879.733-4879.733=-0.000 | | max | 4881.109-4881.146=-0.036 |
| | mean | 2631.000-2608.000=23.000 | | σ | 0.000 | | min | 2631.000-2608.000=23.000 | | max | 2631.000-2608.000=23.000 |
| | mean | 8.236-8.120=0.116 | | σ | 0.088-0.255=-0.167 | | min | 8.134-7.702=0.433 | | max | 8.348-8.388=-0.041 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4891.687-4891.692=-0.005 | | σ | 0.087-0.084=0.003 | | min | 4891.612-4891.618=-0.006 | | max | 4891.787-4891.800=-0.013 |
| | mean | 3296.000-3251.800=44.200 | | σ | 503.765-399.211=104.555 | | min | 2631.000-2847.000=-216.000 | | max | 3764.000-3645.000=119.000 |
| | mean | 8.061-8.109=-0.048 | | σ | 0.091-0.101=-0.010 | | min | 7.978-8.022=-0.045 | | max | 8.213-8.261=-0.048 |
|