iters=5 new-facts=1 prior-facts=1 | | mean | 324.738-324.768=-0.030 | | σ | 0.043-0.047=-0.004 | | min | 324.662-324.685=-0.022 | | max | 324.763-324.801=-0.038 |
| | mean | 2843.000-2844.000=-1.000 | | σ | 0.000 | | min | 2843.000-2844.000=-1.000 | | max | 2843.000-2844.000=-1.000 |
| | mean | 0.426-0.423=0.002 | | σ | 0.005-0.000=0.004 | | min | 0.423-0.423=-0.000 | | max | 0.434-0.424=0.010 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.322-1985.313=0.009 | | σ | 0.014-0.015=-0.001 | | min | 1985.300-1985.302=-0.002 | | max | 1985.335-1985.331=0.004 |
| | mean | 2843.000-2844.000=-1.000 | | σ | 0.000 | | min | 2843.000-2844.000=-1.000 | | max | 2843.000-2844.000=-1.000 |
| | mean | 2.672-2.620=0.052 | | σ | 0.132-0.187=-0.055 | | min | 2.520-2.373=0.148 | | max | 2.872-2.835=0.036 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4809.089-4809.084=0.005 | | σ | 7.736-7.685=0.051 | | min | 4805.605-4805.629=-0.024 | | max | 4822.928-4822.832=0.096 |
| | mean | 2843.000-2844.000=-1.000 | | σ | 0.000 | | min | 2843.000-2844.000=-1.000 | | max | 2843.000-2844.000=-1.000 |
| | mean | 8.969-8.926=0.043 | | σ | 0.487-0.119=0.368 | | min | 8.245-8.727=-0.482 | | max | 9.565-9.019=0.546 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.566-4996.616=-0.050 | | σ | 0.181-0.018=0.163 | | min | 4996.247-4996.595=-0.349 | | max | 4996.674-4996.643=0.030 |
| | mean | 3086.000-3071.800=14.200 | | σ | 259.533-302.521=-42.988 | | min | 2843.000-2844.000=-1.000 | | max | 3358.000-3541.000=-183.000 |
| | mean | 9.158-8.528=0.630 | | σ | 0.551-0.135=0.415 | | min | 8.528-8.410=0.118 | | max | 9.899-8.724=1.175 |
|