iters=5 new-facts=1 prior-facts=1 | | mean | 326.454-324.761=1.692 | | σ | 0.027-0.056=-0.029 | | min | 326.406-324.662=1.744 | | max | 326.471-324.794=1.677 |
| | mean | 2615.000-2832.000=-217.000 | | σ | 0.000 | | min | 2615.000-2832.000=-217.000 | | max | 2615.000-2832.000=-217.000 |
| | mean | 0.422-0.427=-0.005 | | σ | 0.001-0.010=-0.009 | | min | 0.421-0.421=0.000 | | max | 0.424-0.445=-0.021 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.616-1985.316=3.300 | | σ | 0.012-0.021=-0.009 | | min | 1988.598-1985.284=3.315 | | max | 1988.630-1985.334=3.296 |
| | mean | 2615.000-2832.000=-217.000 | | σ | 0.000 | | min | 2615.000-2832.000=-217.000 | | max | 2615.000-2832.000=-217.000 |
| | mean | 2.717-2.630=0.086 | | σ | 0.106-0.108=-0.002 | | min | 2.640-2.517=0.123 | | max | 2.889-2.754=0.135 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.328-4809.085=4.243 | | σ | 7.758-7.737=0.022 | | min | 4809.407-4805.607=3.800 | | max | 4827.198-4822.925=4.274 |
| | mean | 2615.000-2832.000=-217.000 | | σ | 0.000 | | min | 2615.000-2832.000=-217.000 | | max | 2615.000-2832.000=-217.000 |
| | mean | 8.669-8.930=-0.261 | | σ | 0.332-0.340=-0.008 | | min | 8.188-8.383=-0.194 | | max | 9.123-9.291=-0.167 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.010-4996.549=4.461 | | σ | 0.023-0.156=-0.133 | | min | 5000.983-4996.273=4.710 | | max | 5001.033-4996.650=4.383 |
| | mean | 3010.000-3058.400=-48.400 | | σ | 293.102-307.030=-13.928 | | min | 2615.000-2832.000=-217.000 | | max | 3386.000-3535.000=-149.000 |
| | mean | 9.769-8.515=1.254 | | σ | 0.152-0.106=0.046 | | min | 9.584-8.412=1.172 | | max | 10.004-8.695=1.309 |
|