iters=5 new-facts=1 prior-facts=1 | | mean | 279.514-279.509=0.005 | | σ | 0.007-0.004=0.002 | | min | 279.504-279.502=0.002 | | max | 279.520-279.513=0.007 |
| | mean | 2745.000-2766.000=-21.000 | | σ | 0.000 | | min | 2745.000-2766.000=-21.000 | | max | 2745.000-2766.000=-21.000 |
| | mean | 0.418-0.409=0.010 | | σ | 0.005-0.001=0.004 | | min | 0.412-0.407=0.005 | | max | 0.425-0.410=0.015 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2178.399-2178.436=-0.037 | | σ | 0.045-0.009=0.036 | | min | 2178.345-2178.422=-0.077 | | max | 2178.450-2178.444=0.006 |
| | mean | 2745.000-2766.000=-21.000 | | σ | 0.000 | | min | 2745.000-2766.000=-21.000 | | max | 2745.000-2766.000=-21.000 |
| | mean | 3.386-3.259=0.127 | | σ | 0.208-0.260=-0.052 | | min | 3.103-2.830=0.273 | | max | 3.650-3.507=0.143 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5056.384-5056.375=0.009 | | σ | 1.011-0.984=0.028 | | min | 5055.808-5055.797=0.012 | | max | 5058.181-5058.126=0.055 |
| | mean | 2745.000-2766.000=-21.000 | | σ | 0.000 | | min | 2745.000-2766.000=-21.000 | | max | 2745.000-2766.000=-21.000 |
| | mean | 9.111-8.695=0.416 | | σ | 0.570-0.557=0.012 | | min | 8.375-8.150=0.225 | | max | 9.714-9.534=0.180 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5193.742-5193.681=0.061 | | σ | 0.100-0.126=-0.027 | | min | 5193.636-5193.503=0.133 | | max | 5193.852-5193.855=-0.002 |
| | mean | 3232.800-3238.400=-5.600 | | σ | 466.038-331.760=134.278 | | min | 2745.000-2766.000=-21.000 | | max | 3873.000-3673.000=200.000 |
| | mean | 8.754-9.107=-0.352 | | σ | 0.124-0.516=-0.392 | | min | 8.676-8.698=-0.022 | | max | 8.972-9.709=-0.737 |
|