iters=5 new-facts=1 prior-facts=1 | | mean | 269.936-269.929=0.007 | | σ | 0.009-0.009=0.000 | | min | 269.924-269.923=0.001 | | max | 269.949-269.945=0.004 |
| | mean | 2420.000-2769.000=-349.000 | | σ | 0.000 | | min | 2420.000-2769.000=-349.000 | | max | 2420.000-2769.000=-349.000 |
| | mean | 0.382-0.373=0.010 | | σ | 0.007-0.007=-0.000 | | min | 0.378-0.369=0.009 | | max | 0.394-0.385=0.009 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.391-1930.384=0.007 | | σ | 0.023-0.017=0.006 | | min | 1930.355-1930.369=-0.014 | | max | 1930.409-1930.403=0.006 |
| | mean | 2420.000-2769.000=-349.000 | | σ | 0.000 | | min | 2420.000-2769.000=-349.000 | | max | 2420.000-2769.000=-349.000 |
| | mean | 2.556-2.549=0.007 | | σ | 0.158-0.201=-0.043 | | min | 2.444-2.299=0.145 | | max | 2.812-2.813=-0.002 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4750.838-4750.817=0.021 | | σ | 0.820-0.846=-0.026 | | min | 4750.300-4750.155=0.145 | | max | 4752.281-4752.298=-0.017 |
| | mean | 2420.000-2769.000=-349.000 | | σ | 0.000 | | min | 2420.000-2769.000=-349.000 | | max | 2420.000-2769.000=-349.000 |
| | mean | 8.682-8.059=0.623 | | σ | 0.262-0.397=-0.135 | | min | 8.433-7.662=0.772 | | max | 9.027-8.531=0.496 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.262-4941.325=-0.063 | | σ | 0.203-0.082=0.120 | | min | 4940.927-4941.257=-0.330 | | max | 4941.427-4941.420=0.007 |
| | mean | 2969.000-3045.000=-76.000 | | σ | 257.671-340.348=-82.676 | | min | 2645.000-2769.000=-124.000 | | max | 3316.000-3557.000=-241.000 |
| | mean | 8.452-8.401=0.050 | | σ | 0.048-0.110=-0.062 | | min | 8.400-8.271=0.129 | | max | 8.511-8.564=-0.053 |
|