iters=5 new-facts=1 prior-facts=1 | | mean | 271.956-271.956=-0.001 | | σ | 0.008-0.008=-0.001 | | min | 271.948-271.946=0.003 | | max | 271.966-271.966=0.001 |
| | mean | 2731.000-2471.000=260.000 | | σ | 0.000 | | min | 2731.000-2471.000=260.000 | | max | 2731.000-2471.000=260.000 |
| | mean | 0.386-0.390=-0.004 | | σ | 0.010-0.010=0.001 | | min | 0.378-0.380=-0.002 | | max | 0.398-0.399=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.330-1932.321=0.009 | | σ | 0.012-0.011=0.001 | | min | 1932.315-1932.309=0.006 | | max | 1932.346-1932.335=0.011 |
| | mean | 2731.000-2471.000=260.000 | | σ | 0.000 | | min | 2731.000-2471.000=260.000 | | max | 2731.000-2471.000=260.000 |
| | mean | 3.014-2.925=0.089 | | σ | 0.229-0.257=-0.028 | | min | 2.662-2.479=0.183 | | max | 3.275-3.142=0.133 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4753.045-4753.073=-0.027 | | σ | 0.918-0.923=-0.006 | | min | 4752.556-4752.572=-0.016 | | max | 4754.679-4754.720=-0.041 |
| | mean | 2731.000-2471.000=260.000 | | σ | 0.000 | | min | 2731.000-2471.000=260.000 | | max | 2731.000-2471.000=260.000 |
| | mean | 8.751-8.710=0.041 | | σ | 0.472-0.301=0.171 | | min | 8.017-8.368=-0.351 | | max | 9.114-9.038=0.077 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.482-4943.554=-0.072 | | σ | 0.144-0.024=0.120 | | min | 4943.225-4943.535=-0.309 | | max | 4943.573-4943.586=-0.013 |
| | mean | 2979.200-3001.200=-22.000 | | σ | 220.222-279.158=-58.936 | | min | 2731.000-2613.000=118.000 | | max | 3292.000-3312.000=-20.000 |
| | mean | 8.537-8.453=0.084 | | σ | 0.156-0.087=0.069 | | min | 8.396-8.345=0.050 | | max | 8.803-8.588=0.215 |
|