iters=5 new-facts=1 prior-facts=1 | | mean | 272.791-272.793=-0.002 | | σ | 0.005-0.007=-0.002 | | min | 272.784-272.782=0.002 | | max | 272.799-272.800=-0.002 |
| | mean | 2523.000-2769.000=-246.000 | | σ | 0.000 | | min | 2523.000-2769.000=-246.000 | | max | 2523.000-2769.000=-246.000 |
| | mean | 0.379-0.378=0.001 | | σ | 0.002-0.001=0.001 | | min | 0.377-0.377=-0.000 | | max | 0.383-0.380=0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.217-1933.223=-0.005 | | σ | 0.016-0.019=-0.003 | | min | 1933.192-1933.200=-0.008 | | max | 1933.231-1933.242=-0.012 |
| | mean | 2523.000-2769.000=-246.000 | | σ | 0.000 | | min | 2523.000-2769.000=-246.000 | | max | 2523.000-2769.000=-246.000 |
| | mean | 3.082-3.294=-0.212 | | σ | 0.088-0.328=-0.240 | | min | 3.005-3.019=-0.014 | | max | 3.197-3.689=-0.492 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4756.864-4756.841=0.024 | | σ | 7.269-7.637=-0.368 | | min | 4753.573-4753.011=0.561 | | max | 4769.867-4770.493=-0.626 |
| | mean | 2523.000-2769.000=-246.000 | | σ | 0.000 | | min | 2523.000-2769.000=-246.000 | | max | 2523.000-2769.000=-246.000 |
| | mean | 8.328-8.846=-0.517 | | σ | 0.317-0.356=-0.039 | | min | 7.817-8.504=-0.687 | | max | 8.591-9.419=-0.828 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.451-4944.452=-0.001 | | σ | 0.025-0.019=0.006 | | min | 4944.424-4944.433=-0.008 | | max | 4944.482-4944.477=0.005 |
| | mean | 2981.000-2995.200=-14.200 | | σ | 388.844-279.358=109.487 | | min | 2523.000-2769.000=-246.000 | | max | 3515.000-3416.000=99.000 |
| | mean | 8.476-8.400=0.076 | | σ | 0.161-0.038=0.124 | | min | 8.346-8.344=0.002 | | max | 8.707-8.450=0.257 |
|