iters=5 new-facts=1 prior-facts=1 | | mean | 279.511-279.543=-0.032 | | σ | 0.007-0.008=-0.001 | | min | 279.505-279.534=-0.029 | | max | 279.521-279.549=-0.028 |
| | mean | 2755.000-2825.000=-70.000 | | σ | 0.000 | | min | 2755.000-2825.000=-70.000 | | max | 2755.000-2825.000=-70.000 |
| | mean | 0.412-0.409=0.003 | | σ | 0.007-0.007=-0.001 | | min | 0.408-0.404=0.004 | | max | 0.424-0.422=0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2178.440-2178.468=-0.028 | | σ | 0.016-0.007=0.009 | | min | 2178.422-2178.459=-0.036 | | max | 2178.460-2178.476=-0.016 |
| | mean | 2755.000-2825.000=-70.000 | | σ | 0.000 | | min | 2755.000-2825.000=-70.000 | | max | 2755.000-2825.000=-70.000 |
| | mean | 3.415-3.176=0.239 | | σ | 0.123-0.249=-0.127 | | min | 3.249-2.802=0.446 | | max | 3.542-3.488=0.055 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5056.365-5056.418=-0.054 | | σ | 0.995-1.026=-0.031 | | min | 5055.779-5055.803=-0.024 | | max | 5058.133-5058.238=-0.104 |
| | mean | 2755.000-2825.000=-70.000 | | σ | 0.000 | | min | 2755.000-2825.000=-70.000 | | max | 2755.000-2825.000=-70.000 |
| | mean | 9.129-9.054=0.076 | | σ | 0.425-0.866=-0.441 | | min | 8.404-7.880=0.524 | | max | 9.530-10.186=-0.656 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5193.745-5193.786=-0.041 | | σ | 0.081-0.087=-0.007 | | min | 5193.681-5193.710=-0.029 | | max | 5193.859-5193.892=-0.033 |
| | mean | 3294.800-3222.000=72.800 | | σ | 480.357-358.976=121.381 | | min | 2755.000-2834.000=-79.000 | | max | 3947.000-3764.000=183.000 |
| | mean | 8.861-8.914=-0.053 | | σ | 0.116-0.390=-0.274 | | min | 8.687-8.639=0.048 | | max | 8.972-9.583=-0.611 |
|