iters=5 new-facts=1 prior-facts=1 | | mean | 324.738-324.761=-0.022 | | σ | 0.043-0.043=-0.001 | | min | 324.662-324.684=-0.022 | | max | 324.763-324.790=-0.027 |
| | mean | 2843.000-2840.000=3.000 | | σ | 0.000 | | min | 2843.000-2840.000=3.000 | | max | 2843.000-2840.000=3.000 |
| | mean | 0.426-0.417=0.009 | | σ | 0.005-0.002=0.003 | | min | 0.423-0.416=0.007 | | max | 0.434-0.420=0.014 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.322-1985.313=0.009 | | σ | 0.014-0.015=-0.002 | | min | 1985.300-1985.292=0.008 | | max | 1985.335-1985.334=0.001 |
| | mean | 2843.000-2840.000=3.000 | | σ | 0.000 | | min | 2843.000-2840.000=3.000 | | max | 2843.000-2840.000=3.000 |
| | mean | 2.672-2.636=0.036 | | σ | 0.132-0.129=0.002 | | min | 2.520-2.515=0.005 | | max | 2.872-2.817=0.054 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4809.089-4809.111=-0.022 | | σ | 7.736-7.773=-0.037 | | min | 4805.605-4805.604=0.001 | | max | 4822.928-4823.016=-0.088 |
| | mean | 2843.000-2840.000=3.000 | | σ | 0.000 | | min | 2843.000-2840.000=3.000 | | max | 2843.000-2840.000=3.000 |
| | mean | 8.969-9.162=-0.193 | | σ | 0.487-0.341=0.147 | | min | 8.245-8.925=-0.680 | | max | 9.565-9.755=-0.190 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.566-4996.552=0.014 | | σ | 0.181-0.151=0.030 | | min | 4996.247-4996.285=-0.038 | | max | 4996.674-4996.646=0.028 |
| | mean | 3086.000-3047.600=38.400 | | σ | 259.533-270.853=-11.320 | | min | 2843.000-2840.000=3.000 | | max | 3358.000-3465.000=-107.000 |
| | mean | 9.158-8.503=0.655 | | σ | 0.551-0.114=0.437 | | min | 8.528-8.444=0.084 | | max | 9.899-8.705=1.194 |
|