iters=5 new-facts=1 prior-facts=1 | | mean | 279.072-279.068=0.003 | | σ | 0.011-0.002=0.009 | | min | 279.058-279.065=-0.007 | | max | 279.086-279.070=0.016 |
| | mean | 2508.000-2849.000=-341.000 | | σ | 0.000 | | min | 2508.000-2849.000=-341.000 | | max | 2508.000-2849.000=-341.000 |
| | mean | 0.393-0.387=0.006 | | σ | 0.012-0.001=0.010 | | min | 0.384-0.386=-0.001 | | max | 0.413-0.389=0.023 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1939.507-1939.518=-0.011 | | σ | 0.007-0.015=-0.008 | | min | 1939.494-1939.504=-0.009 | | max | 1939.513-1939.542=-0.029 |
| | mean | 2508.000-2849.000=-341.000 | | σ | 0.000 | | min | 2508.000-2849.000=-341.000 | | max | 2508.000-2849.000=-341.000 |
| | mean | 3.013-2.932=0.081 | | σ | 0.116-0.163=-0.047 | | min | 2.879-2.651=0.228 | | max | 3.195-3.067=0.128 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4760.028-4759.954=0.073 | | σ | 0.899-0.880=0.019 | | min | 4759.549-4759.160=0.389 | | max | 4761.631-4761.469=0.163 |
| | mean | 2508.000-2849.000=-341.000 | | σ | 0.000 | | min | 2508.000-2849.000=-341.000 | | max | 2508.000-2849.000=-341.000 |
| | mean | 8.355-8.073=0.282 | | σ | 0.649-0.356=0.294 | | min | 7.681-7.752=-0.070 | | max | 9.271-8.469=0.802 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4950.465-4950.383=0.082 | | σ | 0.074-0.116=-0.042 | | min | 4950.403-4950.218=0.185 | | max | 4950.546-4950.546=0.000 |
| | mean | 2952.800-3078.800=-126.000 | | σ | 407.743-304.552=103.191 | | min | 2508.000-2849.000=-341.000 | | max | 3497.000-3551.000=-54.000 |
| | mean | 8.457-8.464=-0.007 | | σ | 0.088-0.194=-0.106 | | min | 8.374-8.201=0.173 | | max | 8.606-8.632=-0.027 |
|