iters=5 new-facts=1 prior-facts=1 | | mean | 272.754-272.756=-0.001 | | σ | 0.006-0.006=-0.001 | | min | 272.746-272.747=-0.001 | | max | 272.762-272.763=-0.001 |
| | mean | 2502.000-2770.000=-268.000 | | σ | 0.000 | | min | 2502.000-2770.000=-268.000 | | max | 2502.000-2770.000=-268.000 |
| | mean | 0.384-0.381=0.004 | | σ | 0.010-0.001=0.009 | | min | 0.377-0.380=-0.003 | | max | 0.401-0.382=0.018 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.156-1933.165=-0.009 | | σ | 0.015-0.012=0.003 | | min | 1933.133-1933.145=-0.012 | | max | 1933.173-1933.175=-0.002 |
| | mean | 2502.000-2770.000=-268.000 | | σ | 0.000 | | min | 2502.000-2770.000=-268.000 | | max | 2502.000-2770.000=-268.000 |
| | mean | 3.074-2.892=0.182 | | σ | 0.111-0.248=-0.137 | | min | 2.964-2.480=0.484 | | max | 3.235-3.095=0.139 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4756.933-4756.900=0.033 | | σ | 7.585-7.607=-0.023 | | min | 4753.494-4753.419=0.075 | | max | 4770.502-4770.508=-0.007 |
| | mean | 2502.000-2770.000=-268.000 | | σ | 0.000 | | min | 2502.000-2770.000=-268.000 | | max | 2502.000-2770.000=-268.000 |
| | mean | 8.464-8.697=-0.233 | | σ | 0.418-0.292=0.127 | | min | 7.744-8.329=-0.585 | | max | 8.826-9.078=-0.252 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.392-4944.325=0.067 | | σ | 0.016-0.168=-0.152 | | min | 4944.367-4944.025=0.342 | | max | 4944.406-4944.418=-0.011 |
| | mean | 2922.800-3019.000=-96.200 | | σ | 376.475-307.909=68.566 | | min | 2502.000-2770.000=-268.000 | | max | 3443.000-3490.000=-47.000 |
| | mean | 8.370-8.446=-0.076 | | σ | 0.031-0.157=-0.126 | | min | 8.343-8.346=-0.004 | | max | 8.422-8.719=-0.297 |
|