iters=5 new-facts=1 prior-facts=1 | | mean | 272.791-272.753=0.037 | | σ | 0.007-0.008=-0.001 | | min | 272.781-272.744=0.037 | | max | 272.800-272.761=0.038 |
| | mean | 2770.000-2853.000=-83.000 | | σ | 0.000 | | min | 2770.000-2853.000=-83.000 | | max | 2770.000-2853.000=-83.000 |
| | mean | 0.377-0.379=-0.001 | | σ | 0.001-0.001=0.000 | | min | 0.376-0.377=-0.001 | | max | 0.379-0.380=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.219-1933.163=0.056 | | σ | 0.013-0.005=0.008 | | min | 1933.198-1933.156=0.042 | | max | 1933.234-1933.168=0.066 |
| | mean | 2770.000-2853.000=-83.000 | | σ | 0.000 | | min | 2770.000-2853.000=-83.000 | | max | 2770.000-2853.000=-83.000 |
| | mean | 3.084-3.010=0.075 | | σ | 0.086-0.152=-0.066 | | min | 3.020-2.778=0.242 | | max | 3.233-3.165=0.068 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4756.957-4756.840=0.117 | | σ | 7.623-7.661=-0.038 | | min | 4753.473-4752.927=0.547 | | max | 4770.593-4770.534=0.059 |
| | mean | 2770.000-2853.000=-83.000 | | σ | 0.000 | | min | 2770.000-2853.000=-83.000 | | max | 2770.000-2853.000=-83.000 |
| | mean | 8.572-8.383=0.189 | | σ | 0.370-0.472=-0.102 | | min | 7.966-7.873=0.093 | | max | 8.891-8.924=-0.032 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.457-4944.318=0.140 | | σ | 0.024-0.164=-0.140 | | min | 4944.427-4944.024=0.403 | | max | 4944.484-4944.405=0.079 |
| | mean | 3033.200-3066.200=-33.000 | | σ | 289.247-265.810=23.437 | | min | 2770.000-2853.000=-83.000 | | max | 3430.000-3462.000=-32.000 |
| | mean | 8.485-8.553=-0.068 | | σ | 0.123-0.172=-0.049 | | min | 8.376-8.427=-0.051 | | max | 8.695-8.837=-0.143 |
|