iters=5 new-facts=1 prior-facts=1 | | mean | 277.718-277.714=0.003 | | σ | 0.008-0.010=-0.002 | | min | 277.706-277.702=0.004 | | max | 277.726-277.727=-0.001 |
| | mean | 2646.000-2627.000=19.000 | | σ | 0.000 | | min | 2646.000-2627.000=19.000 | | max | 2646.000-2627.000=19.000 |
| | mean | 0.408-0.408=-0.001 | | σ | 0.001-0.001=0.000 | | min | 0.407-0.407=-0.000 | | max | 0.409-0.409=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2267.885-2267.887=-0.002 | | σ | 0.011-0.008=0.003 | | min | 2267.868-2267.877=-0.009 | | max | 2267.897-2267.898=-0.001 |
| | mean | 2646.000-2627.000=19.000 | | σ | 0.000 | | min | 2646.000-2627.000=19.000 | | max | 2646.000-2627.000=19.000 |
| | mean | 2.894-2.926=-0.032 | | σ | 0.141-0.111=0.030 | | min | 2.763-2.809=-0.046 | | max | 3.122-3.110=0.012 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.923-4955.002=-0.079 | | σ | 0.819-0.803=0.015 | | min | 4954.278-4954.336=-0.059 | | max | 4956.346-4956.383=-0.037 |
| | mean | 2646.000-2627.000=19.000 | | σ | 0.000 | | min | 2646.000-2627.000=19.000 | | max | 2646.000-2627.000=19.000 |
| | mean | 7.883-8.157=-0.274 | | σ | 0.194-0.557=-0.363 | | min | 7.597-7.783=-0.187 | | max | 8.131-9.107=-0.976 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5169.757-5169.761=-0.004 | | σ | 0.088-0.088=-0.000 | | min | 5169.681-5169.683=-0.002 | | max | 5169.856-5169.863=-0.007 |
| | mean | 3419.600-3434.600=-15.000 | | σ | 448.512-467.906=-19.394 | | min | 2814.000-2810.000=4.000 | | max | 3982.000-4030.000=-48.000 |
| | mean | 9.320-9.524=-0.203 | | σ | 0.147-0.220=-0.073 | | min | 9.107-9.215=-0.108 | | max | 9.461-9.744=-0.283 |
|