iters=5 new-facts=1 prior-facts=1 | | mean | 278.698-278.697=0.001 | | σ | 0.012-0.014=-0.001 | | min | 278.686-278.683=0.003 | | max | 278.718-278.718=-0.000 |
| | mean | 2660.000-2591.000=69.000 | | σ | 0.000 | | min | 2660.000-2591.000=69.000 | | max | 2660.000-2591.000=69.000 |
| | mean | 0.429-0.420=0.009 | | σ | 0.011-0.001=0.010 | | min | 0.418-0.418=-0.001 | | max | 0.441-0.421=0.020 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.876-2268.856=0.021 | | σ | 0.005-0.029=-0.024 | | min | 2268.871-2268.808=0.063 | | max | 2268.883-2268.876=0.007 |
| | mean | 2660.000-2591.000=69.000 | | σ | 0.000 | | min | 2660.000-2591.000=69.000 | | max | 2660.000-2591.000=69.000 |
| | mean | 2.895-2.950=-0.056 | | σ | 0.130-0.142=-0.012 | | min | 2.736-2.866=-0.130 | | max | 3.092-3.202=-0.110 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.217-4952.186=0.031 | | σ | 0.838-0.875=-0.037 | | min | 4951.777-4951.710=0.068 | | max | 4953.714-4953.749=-0.035 |
| | mean | 2660.000-2591.000=69.000 | | σ | 0.000 | | min | 2660.000-2591.000=69.000 | | max | 2660.000-2591.000=69.000 |
| | mean | 7.961-7.925=0.036 | | σ | 0.247-0.372=-0.125 | | min | 7.752-7.566=0.186 | | max | 8.349-8.496=-0.147 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5166.920-5166.922=-0.002 | | σ | 0.010-0.010=0.000 | | min | 5166.913-5166.913=0.000 | | max | 5166.938-5166.938=-0.000 |
| | mean | 3353.400-3363.600=-10.200 | | σ | 447.775-467.036=-19.260 | | min | 2768.000-2802.000=-34.000 | | max | 3949.000-4036.000=-87.000 |
| | mean | 9.430-9.222=0.208 | | σ | 0.233-0.241=-0.008 | | min | 9.041-8.960=0.081 | | max | 9.638-9.572=0.066 |
|