iters=5 new-facts=1 prior-facts=1 | | mean | 277.690-277.697=-0.007 | | σ | 0.008-0.011=-0.003 | | min | 277.679-277.685=-0.006 | | max | 277.700-277.711=-0.011 |
| | mean | 2639.000-2638.000=1.000 | | σ | 0.000 | | min | 2639.000-2638.000=1.000 | | max | 2639.000-2638.000=1.000 |
| | mean | 0.412-0.408=0.004 | | σ | 0.007-0.002=0.006 | | min | 0.405-0.406=-0.001 | | max | 0.422-0.410=0.012 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2267.861-2267.868=-0.007 | | σ | 0.013-0.002=0.010 | | min | 2267.841-2267.865=-0.024 | | max | 2267.872-2267.870=0.001 |
| | mean | 2639.000-2638.000=1.000 | | σ | 0.000 | | min | 2639.000-2638.000=1.000 | | max | 2639.000-2638.000=1.000 |
| | mean | 2.881-3.016=-0.136 | | σ | 0.079-0.263=-0.184 | | min | 2.800-2.678=0.122 | | max | 2.982-3.265=-0.282 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4951.247-4951.129=0.118 | | σ | 0.762-0.503=0.258 | | min | 4950.704-4950.844=-0.140 | | max | 4952.585-4952.016=0.569 |
| | mean | 2639.000-2638.000=1.000 | | σ | 0.000 | | min | 2639.000-2638.000=1.000 | | max | 2639.000-2638.000=1.000 |
| | mean | 7.942-8.027=-0.085 | | σ | 0.289-0.273=0.016 | | min | 7.745-7.760=-0.015 | | max | 8.453-8.474=-0.021 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5165.972-5165.969=0.003 | | σ | 0.082-0.082=0.001 | | min | 5165.910-5165.900=0.010 | | max | 5166.064-5166.059=0.005 |
| | mean | 3455.400-3398.000=57.400 | | σ | 458.624-453.544=5.080 | | min | 2798.000-2864.000=-66.000 | | max | 3993.000-4066.000=-73.000 |
| | mean | 9.507-9.167=0.340 | | σ | 0.262-0.298=-0.036 | | min | 9.095-8.898=0.197 | | max | 9.763-9.669=0.094 |
|