iters=5 new-facts=1 prior-facts=1 | | mean | 273.499-271.620=1.879 | | σ | 0.007-0.007=-0.000 | | min | 273.489-271.608=1.880 | | max | 273.507-271.625=1.882 |
| | mean | 2659.000-2792.000=-133.000 | | σ | 0.000 | | min | 2659.000-2792.000=-133.000 | | max | 2659.000-2792.000=-133.000 |
| | mean | 0.375-0.381=-0.005 | | σ | 0.005-0.006=-0.001 | | min | 0.370-0.377=-0.006 | | max | 0.381-0.392=-0.011 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.901-1932.044=1.857 | | σ | 0.011-0.014=-0.003 | | min | 1933.890-1932.027=1.863 | | max | 1933.914-1932.066=1.849 |
| | mean | 2659.000-2792.000=-133.000 | | σ | 0.000 | | min | 2659.000-2792.000=-133.000 | | max | 2659.000-2792.000=-133.000 |
| | mean | 2.909-2.999=-0.090 | | σ | 0.130-0.067=0.063 | | min | 2.726-2.901=-0.175 | | max | 3.061-3.086=-0.025 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.691-4752.852=1.839 | | σ | 0.803-0.787=0.016 | | min | 4754.226-4752.451=1.775 | | max | 4756.121-4754.259=1.862 |
| | mean | 2659.000-2792.000=-133.000 | | σ | 0.000 | | min | 2659.000-2792.000=-133.000 | | max | 2659.000-2792.000=-133.000 |
| | mean | 8.262-7.875=0.387 | | σ | 0.323-0.299=0.024 | | min | 7.915-7.687=0.228 | | max | 8.631-8.396=0.234 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4945.040-4943.163=1.878 | | σ | 0.158-0.168=-0.009 | | min | 4944.758-4942.864=1.894 | | max | 4945.121-4943.261=1.860 |
| | mean | 3011.800-3025.000=-13.200 | | σ | 388.072-279.305=108.767 | | min | 2659.000-2792.000=-133.000 | | max | 3568.000-3435.000=133.000 |
| | mean | 8.417-8.401=0.016 | | σ | 0.130-0.188=-0.058 | | min | 8.283-8.225=0.058 | | max | 8.630-8.684=-0.054 |
|