iters=5 new-facts=1 prior-facts=1 | | mean | 278.678-278.675=0.003 | | σ | 0.012-0.014=-0.002 | | min | 278.661-278.660=0.001 | | max | 278.693-278.692=0.001 |
| | mean | 2660.000-2608.000=52.000 | | σ | 0.000 | | min | 2660.000-2608.000=52.000 | | max | 2660.000-2608.000=52.000 |
| | mean | 0.419-0.421=-0.002 | | σ | 0.001-0.001=-0.000 | | min | 0.418-0.420=-0.002 | | max | 0.420-0.422=-0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.848-2268.847=0.001 | | σ | 0.010-0.006=0.004 | | min | 2268.835-2268.841=-0.006 | | max | 2268.858-2268.853=0.005 |
| | mean | 2660.000-2608.000=52.000 | | σ | 0.000 | | min | 2660.000-2608.000=52.000 | | max | 2660.000-2608.000=52.000 |
| | mean | 2.967-3.094=-0.127 | | σ | 0.144-0.195=-0.051 | | min | 2.889-2.929=-0.040 | | max | 3.223-3.396=-0.173 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.232-4952.233=-0.001 | | σ | 0.763-0.837=-0.074 | | min | 4951.709-4951.756=-0.047 | | max | 4953.578-4953.721=-0.143 |
| | mean | 2660.000-2608.000=52.000 | | σ | 0.000 | | min | 2660.000-2608.000=52.000 | | max | 2660.000-2608.000=52.000 |
| | mean | 7.903-7.996=-0.093 | | σ | 0.317-0.294=0.023 | | min | 7.709-7.759=-0.050 | | max | 8.455-8.475=-0.020 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5166.953-5166.888=0.065 | | σ | 0.082-0.196=-0.115 | | min | 5166.885-5166.563=0.322 | | max | 5167.043-5167.046=-0.003 |
| | mean | 3381.200-3454.200=-73.000 | | σ | 480.715-467.287=13.428 | | min | 2723.000-2870.000=-147.000 | | max | 3983.000-4117.000=-134.000 |
| | mean | 9.379-9.459=-0.080 | | σ | 0.327-0.235=0.091 | | min | 9.030-9.191=-0.161 | | max | 9.769-9.740=0.028 |
|