iters=5 new-facts=1 prior-facts=1 | | mean | 324.013-324.016=-0.003 | | σ | 0.061-0.044=0.017 | | min | 323.905-323.939=-0.034 | | max | 324.046-324.046=0.000 |
| | mean | 2506.000-2515.000=-9.000 | | σ | 0.000 | | min | 2506.000-2515.000=-9.000 | | max | 2506.000-2515.000=-9.000 |
| | mean | 0.429-0.426=0.003 | | σ | 0.006-0.001=0.006 | | min | 0.423-0.425=-0.003 | | max | 0.436-0.427=0.010 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1984.588-1984.584=0.004 | | σ | 0.022-0.023=-0.001 | | min | 1984.550-1984.548=0.003 | | max | 1984.606-1984.602=0.004 |
| | mean | 2506.000-2515.000=-9.000 | | σ | 0.000 | | min | 2506.000-2515.000=-9.000 | | max | 2506.000-2515.000=-9.000 |
| | mean | 2.700-2.702=-0.002 | | σ | 0.171-0.277=-0.106 | | min | 2.566-2.516=0.049 | | max | 2.913-3.190=-0.277 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.171-4808.225=-0.054 | | σ | 7.548-7.777=-0.229 | | min | 4804.666-4804.722=-0.056 | | max | 4821.671-4822.136=-0.465 |
| | mean | 2506.000-2515.000=-9.000 | | σ | 0.000 | | min | 2506.000-2515.000=-9.000 | | max | 2506.000-2515.000=-9.000 |
| | mean | 8.754-8.591=0.163 | | σ | 0.517-0.299=0.218 | | min | 7.972-8.078=-0.106 | | max | 9.204-8.856=0.348 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4995.802-4995.666=0.137 | | σ | 0.021-0.174=-0.153 | | min | 4995.773-4995.468=0.305 | | max | 4995.824-4995.810=0.014 |
| | mean | 2958.000-2964.600=-6.600 | | σ | 271.453-251.960=19.493 | | min | 2593.000-2642.000=-49.000 | | max | 3315.000-3303.000=12.000 |
| | mean | 8.574-8.575=-0.001 | | σ | 0.142-0.073=0.069 | | min | 8.399-8.487=-0.088 | | max | 8.778-8.643=0.135 |
|