iters=5 new-facts=1 prior-facts=1 | | mean | 271.956-271.956=0.000 | | σ | 0.008-0.006=0.002 | | min | 271.946-271.947=-0.001 | | max | 271.966-271.962=0.004 |
| | mean | 2471.000-2702.000=-231.000 | | σ | 0.000 | | min | 2471.000-2702.000=-231.000 | | max | 2471.000-2702.000=-231.000 |
| | mean | 0.390-0.380=0.009 | | σ | 0.010-0.002=0.008 | | min | 0.380-0.378=0.002 | | max | 0.399-0.383=0.017 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.321-1932.321=-0.000 | | σ | 0.011-0.008=0.003 | | min | 1932.309-1932.310=-0.001 | | max | 1932.335-1932.332=0.004 |
| | mean | 2471.000-2702.000=-231.000 | | σ | 0.000 | | min | 2471.000-2702.000=-231.000 | | max | 2471.000-2702.000=-231.000 |
| | mean | 2.925-3.057=-0.132 | | σ | 0.257-0.069=0.188 | | min | 2.479-2.978=-0.499 | | max | 3.142-3.146=-0.004 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4753.073-4753.126=-0.053 | | σ | 0.923-0.825=0.099 | | min | 4752.572-4752.638=-0.065 | | max | 4754.720-4754.592=0.128 |
| | mean | 2471.000-2702.000=-231.000 | | σ | 0.000 | | min | 2471.000-2702.000=-231.000 | | max | 2471.000-2702.000=-231.000 |
| | mean | 8.710-8.427=0.282 | | σ | 0.301-0.621=-0.320 | | min | 8.368-7.611=0.757 | | max | 9.038-9.110=-0.072 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.554-4943.553=0.001 | | σ | 0.024-0.022=0.002 | | min | 4943.535-4943.529=0.006 | | max | 4943.586-4943.578=0.007 |
| | mean | 3001.200-3002.000=-0.800 | | σ | 279.158-252.790=26.368 | | min | 2613.000-2702.000=-89.000 | | max | 3312.000-3323.000=-11.000 |
| | mean | 8.453-8.549=-0.096 | | σ | 0.087-0.164=-0.077 | | min | 8.345-8.400=-0.055 | | max | 8.588-8.782=-0.194 |
|