iters=5 new-facts=1 prior-facts=1 | | mean | 272.098-272.099=-0.001 | | σ | 0.007-0.007=0.000 | | min | 272.089-272.090=-0.001 | | max | 272.106-272.109=-0.003 |
| | mean | 2853.000-2658.000=195.000 | | σ | 0.000 | | min | 2853.000-2658.000=195.000 | | max | 2853.000-2658.000=195.000 |
| | mean | 0.394-0.394=-0.000 | | σ | 0.013-0.014=-0.000 | | min | 0.380-0.379=0.001 | | max | 0.412-0.412=-0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.541-1932.514=0.027 | | σ | 0.024-0.006=0.018 | | min | 1932.516-1932.506=0.009 | | max | 1932.567-1932.523=0.045 |
| | mean | 2853.000-2658.000=195.000 | | σ | 0.000 | | min | 2853.000-2658.000=195.000 | | max | 2853.000-2658.000=195.000 |
| | mean | 2.693-2.950=-0.257 | | σ | 0.332-0.243=0.089 | | min | 2.387-2.556=-0.169 | | max | 3.073-3.181=-0.108 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4753.288-4753.278=0.009 | | σ | 0.838-0.842=-0.004 | | min | 4752.746-4752.844=-0.098 | | max | 4754.774-4754.782=-0.008 |
| | mean | 2853.000-2658.000=195.000 | | σ | 0.000 | | min | 2853.000-2658.000=195.000 | | max | 2853.000-2658.000=195.000 |
| | mean | 8.200-8.441=-0.241 | | σ | 0.614-0.363=0.251 | | min | 7.740-7.822=-0.082 | | max | 9.146-8.788=0.358 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.639-4943.717=-0.078 | | σ | 0.156-0.018=0.138 | | min | 4943.361-4943.694=-0.334 | | max | 4943.717-4943.736=-0.019 |
| | mean | 3078.200-3035.400=42.800 | | σ | 298.745-290.578=8.168 | | min | 2853.000-2658.000=195.000 | | max | 3538.000-3417.000=121.000 |
| | mean | 8.447-8.612=-0.166 | | σ | 0.141-0.149=-0.007 | | min | 8.360-8.428=-0.068 | | max | 8.691-8.798=-0.107 |
|