iters=5 new-facts=1 prior-facts=1 | | mean | 266.787-266.780=0.007 | | σ | 0.012-0.006=0.006 | | min | 266.771-266.773=-0.002 | | max | 266.805-266.788=0.017 |
| | mean | 2855.000-2647.000=208.000 | | σ | 0.000 | | min | 2855.000-2647.000=208.000 | | max | 2855.000-2647.000=208.000 |
| | mean | 0.359-0.363=-0.004 | | σ | 0.011-0.002=0.009 | | min | 0.338-0.360=-0.022 | | max | 0.364-0.364=-0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1927.213-1927.213=0.000 | | σ | 0.003-0.008=-0.006 | | min | 1927.210-1927.204=0.006 | | max | 1927.217-1927.226=-0.009 |
| | mean | 2855.000-2647.000=208.000 | | σ | 0.000 | | min | 2855.000-2647.000=208.000 | | max | 2855.000-2647.000=208.000 |
| | mean | 2.921-2.982=-0.061 | | σ | 0.157-0.106=0.051 | | min | 2.708-2.828=-0.119 | | max | 3.122-3.120=0.002 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4747.764-4747.749=0.015 | | σ | 0.826-0.801=0.025 | | min | 4747.279-4747.351=-0.072 | | max | 4749.229-4749.181=0.048 |
| | mean | 2855.000-2647.000=208.000 | | σ | 0.000 | | min | 2855.000-2647.000=208.000 | | max | 2855.000-2647.000=208.000 |
| | mean | 8.360-8.195=0.165 | | σ | 0.913-0.480=0.433 | | min | 7.569-7.753=-0.185 | | max | 9.713-8.802=0.911 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4938.159-4938.162=-0.004 | | σ | 0.081-0.079=0.002 | | min | 4938.085-4938.090=-0.005 | | max | 4938.251-4938.253=-0.002 |
| | mean | 3078.800-2976.800=102.000 | | σ | 302.123-356.357=-54.234 | | min | 2855.000-2647.000=208.000 | | max | 3550.000-3471.000=79.000 |
| | mean | 8.466-8.409=0.058 | | σ | 0.235-0.080=0.155 | | min | 8.285-8.341=-0.056 | | max | 8.826-8.544=0.281 |
|