iters=5 new-facts=1 prior-facts=1 | | mean | 277.719-277.720=-0.002 | | σ | 0.011-0.008=0.003 | | min | 277.703-277.711=-0.009 | | max | 277.730-277.732=-0.002 |
| | mean | 2892.000-2650.000=242.000 | | σ | 0.000 | | min | 2892.000-2650.000=242.000 | | max | 2892.000-2650.000=242.000 |
| | mean | 0.408-0.410=-0.002 | | σ | 0.001-0.001=-0.000 | | min | 0.407-0.409=-0.002 | | max | 0.409-0.411=-0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2267.885-2267.892=-0.008 | | σ | 0.007-0.007=-0.000 | | min | 2267.873-2267.883=-0.011 | | max | 2267.891-2267.903=-0.011 |
| | mean | 2892.000-2650.000=242.000 | | σ | 0.000 | | min | 2892.000-2650.000=242.000 | | max | 2892.000-2650.000=242.000 |
| | mean | 2.993-3.064=-0.071 | | σ | 0.135-0.082=0.053 | | min | 2.881-2.989=-0.108 | | max | 3.179-3.192=-0.013 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.860-4954.937=-0.077 | | σ | 1.055-0.915=0.140 | | min | 4953.599-4954.115=-0.515 | | max | 4956.532-4956.511=0.021 |
| | mean | 2892.000-2650.000=242.000 | | σ | 0.000 | | min | 2892.000-2650.000=242.000 | | max | 2892.000-2650.000=242.000 |
| | mean | 7.743-7.952=-0.209 | | σ | 0.093-0.217=-0.124 | | min | 7.663-7.641=0.022 | | max | 7.894-8.227=-0.333 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5169.788-5169.792=-0.004 | | σ | 0.087-0.090=-0.002 | | min | 5169.687-5169.691=-0.004 | | max | 5169.873-5169.874=-0.001 |
| | mean | 3478.400-3353.400=125.000 | | σ | 464.809-543.045=-78.236 | | min | 2892.000-2860.000=32.000 | | max | 4141.000-4123.000=18.000 |
| | mean | 9.283-9.197=0.086 | | σ | 0.289-0.157=0.132 | | min | 9.023-9.003=0.021 | | max | 9.735-9.377=0.358 |
|