iters=5 new-facts=1 prior-facts=1 | | mean | 277.693-277.668=0.025 | | σ | 0.005-0.008=-0.003 | | min | 277.686-277.657=0.029 | | max | 277.698-277.677=0.021 |
| | mean | 2837.000-2876.000=-39.000 | | σ | 0.000 | | min | 2837.000-2876.000=-39.000 | | max | 2837.000-2876.000=-39.000 |
| | mean | 0.409-0.409=-0.000 | | σ | 0.008-0.006=0.002 | | min | 0.401-0.402=-0.001 | | max | 0.418-0.417=0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2176.663-2176.661=0.002 | | σ | 0.008-0.008=0.001 | | min | 2176.649-2176.651=-0.001 | | max | 2176.671-2176.671=0.000 |
| | mean | 2837.000-2876.000=-39.000 | | σ | 0.000 | | min | 2837.000-2876.000=-39.000 | | max | 2837.000-2876.000=-39.000 |
| | mean | 2.854-2.965=-0.111 | | σ | 0.113-0.107=0.006 | | min | 2.765-2.776=-0.010 | | max | 3.042-3.035=0.007 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5046.315-5046.203=0.112 | | σ | 0.948-1.018=-0.069 | | min | 5045.796-5045.308=0.488 | | max | 5048.004-5047.943=0.061 |
| | mean | 2837.000-2876.000=-39.000 | | σ | 0.000 | | min | 2837.000-2876.000=-39.000 | | max | 2837.000-2876.000=-39.000 |
| | mean | 8.667-8.731=-0.064 | | σ | 0.642-0.762=-0.119 | | min | 8.136-8.062=0.074 | | max | 9.754-9.586=0.168 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5183.614-5183.679=-0.065 | | σ | 0.207-0.094=0.113 | | min | 5183.266-5183.575=-0.309 | | max | 5183.784-5183.790=-0.007 |
| | mean | 3237.600-3313.000=-75.400 | | σ | 417.728-360.987=56.741 | | min | 2837.000-2876.000=-39.000 | | max | 3829.000-3667.000=162.000 |
| | mean | 8.882-8.992=-0.110 | | σ | 0.302-0.389=-0.087 | | min | 8.652-8.678=-0.026 | | max | 9.359-9.663=-0.304 |
|