iters=5 new-facts=1 prior-facts=1 | | mean | 270.140-270.141=-0.001 | | σ | 0.007-0.007=0.000 | | min | 270.131-270.135=-0.004 | | max | 270.148-270.152=-0.003 |
| | mean | 2771.000-2662.000=109.000 | | σ | 0.000 | | min | 2771.000-2662.000=109.000 | | max | 2771.000-2662.000=109.000 |
| | mean | 0.378-0.377=0.001 | | σ | 0.005-0.003=0.002 | | min | 0.370-0.372=-0.002 | | max | 0.383-0.379=0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.613-1930.597=0.016 | | σ | 0.007-0.017=-0.010 | | min | 1930.602-1930.573=0.028 | | max | 1930.620-1930.618=0.002 |
| | mean | 2771.000-2662.000=109.000 | | σ | 0.000 | | min | 2771.000-2662.000=109.000 | | max | 2771.000-2662.000=109.000 |
| | mean | 2.481-2.567=-0.086 | | σ | 0.038-0.121=-0.083 | | min | 2.443-2.434=0.009 | | max | 2.523-2.721=-0.199 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.364-4751.127=0.236 | | σ | 0.840-0.754=0.086 | | min | 4750.891-4750.344=0.547 | | max | 4752.858-4752.372=0.486 |
| | mean | 2771.000-2662.000=109.000 | | σ | 0.000 | | min | 2771.000-2662.000=109.000 | | max | 2771.000-2662.000=109.000 |
| | mean | 8.256-8.266=-0.010 | | σ | 0.415-0.515=-0.100 | | min | 7.653-7.660=-0.007 | | max | 8.619-8.932=-0.313 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.777-4941.696=0.081 | | σ | 0.023-0.163=-0.140 | | min | 4941.756-4941.409=0.347 | | max | 4941.812-4941.795=0.017 |
| | mean | 3031.400-2996.600=34.800 | | σ | 209.027-363.796=-154.769 | | min | 2771.000-2662.000=109.000 | | max | 3314.000-3511.000=-197.000 |
| | mean | 8.593-8.584=0.009 | | σ | 0.328-0.352=-0.025 | | min | 8.322-8.304=0.018 | | max | 9.124-9.176=-0.052 |
|