iters=5 new-facts=1 prior-facts=1 | | mean | 190.718-190.720=-0.002 | | σ | 0.009-0.004=0.005 | | min | 190.709-190.715=-0.006 | | max | 190.732-190.727=0.005 |
| | mean | 2605.000-2627.000=-22.000 | | σ | 0.000 | | min | 2605.000-2627.000=-22.000 | | max | 2605.000-2627.000=-22.000 |
| | mean | 0.281-0.280=0.001 | | σ | 0.002-0.001=0.001 | | min | 0.279-0.278=0.001 | | max | 0.285-0.281=0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1989.490-1989.493=-0.003 | | σ | 0.015-0.014=0.000 | | min | 1989.472-1989.472=-0.000 | | max | 1989.511-1989.507=0.004 |
| | mean | 2605.000-2627.000=-22.000 | | σ | 0.000 | | min | 2605.000-2627.000=-22.000 | | max | 2605.000-2627.000=-22.000 |
| | mean | 2.543-2.499=0.044 | | σ | 0.194-0.198=-0.004 | | min | 2.319-2.296=0.023 | | max | 2.809-2.752=0.056 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4880.058-4880.174=-0.115 | | σ | 0.677-0.568=0.110 | | min | 4879.305-4879.885=-0.580 | | max | 4881.158-4881.184=-0.027 |
| | mean | 2605.000-2627.000=-22.000 | | σ | 0.000 | | min | 2605.000-2627.000=-22.000 | | max | 2605.000-2627.000=-22.000 |
| | mean | 8.226-8.113=0.113 | | σ | 0.321-0.169=0.152 | | min | 7.724-7.862=-0.138 | | max | 8.545-8.300=0.245 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4891.782-4891.722=0.060 | | σ | 0.014-0.166=-0.151 | | min | 4891.762-4891.427=0.335 | | max | 4891.796-4891.821=-0.025 |
| | mean | 3269.400-3264.800=4.600 | | σ | 407.660-406.063=1.596 | | min | 2867.000-2862.000=5.000 | | max | 3682.000-3674.000=8.000 |
| | mean | 8.032-8.093=-0.061 | | σ | 0.100-0.208=-0.108 | | min | 7.938-7.875=0.063 | | max | 8.169-8.316=-0.147 |
|