iters=5 new-facts=1 prior-facts=1 | | mean | 277.698-277.690=0.007 | | σ | 0.012-0.008=0.004 | | min | 277.684-277.679=0.005 | | max | 277.711-277.700=0.010 |
| | mean | 2651.000-2639.000=12.000 | | σ | 0.000 | | min | 2651.000-2639.000=12.000 | | max | 2651.000-2639.000=12.000 |
| | mean | 0.408-0.412=-0.003 | | σ | 0.001-0.007=-0.006 | | min | 0.407-0.405=0.002 | | max | 0.409-0.422=-0.013 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2267.873-2267.861=0.011 | | σ | 0.006-0.013=-0.007 | | min | 2267.866-2267.841=0.025 | | max | 2267.879-2267.872=0.007 |
| | mean | 2651.000-2639.000=12.000 | | σ | 0.000 | | min | 2651.000-2639.000=12.000 | | max | 2651.000-2639.000=12.000 |
| | mean | 3.087-2.881=0.206 | | σ | 0.211-0.079=0.132 | | min | 2.805-2.800=0.005 | | max | 3.359-2.982=0.377 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4951.229-4951.247=-0.017 | | σ | 0.756-0.762=-0.006 | | min | 4950.772-4950.704=0.068 | | max | 4952.567-4952.585=-0.018 |
| | mean | 2651.000-2639.000=12.000 | | σ | 0.000 | | min | 2651.000-2639.000=12.000 | | max | 2651.000-2639.000=12.000 |
| | mean | 7.953-7.942=0.011 | | σ | 0.333-0.289=0.044 | | min | 7.668-7.745=-0.077 | | max | 8.489-8.453=0.036 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5165.904-5165.972=-0.068 | | σ | 0.127-0.082=0.044 | | min | 5165.708-5165.910=-0.201 | | max | 5166.063-5166.064=-0.001 |
| | mean | 3391.400-3455.400=-64.000 | | σ | 538.011-458.624=79.387 | | min | 2912.000-2798.000=114.000 | | max | 4166.000-3993.000=173.000 |
| | mean | 9.300-9.507=-0.208 | | σ | 0.234-0.262=-0.028 | | min | 9.025-9.095=-0.070 | | max | 9.674-9.763=-0.089 |
|