iters=5 new-facts=1 prior-facts=1 | | mean | 324.734-324.731=0.003 | | σ | 0.056-0.055=0.002 | | min | 324.635-324.634=0.001 | | max | 324.770-324.770=-0.000 |
| | mean | 2843.000-2839.000=4.000 | | σ | 0.000 | | min | 2843.000-2839.000=4.000 | | max | 2843.000-2839.000=4.000 |
| | mean | 0.429-0.424=0.005 | | σ | 0.007-0.001=0.006 | | min | 0.422-0.423=-0.001 | | max | 0.440-0.426=0.014 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.292-1985.289=0.003 | | σ | 0.019-0.016=0.004 | | min | 1985.258-1985.271=-0.013 | | max | 1985.305-1985.306=-0.001 |
| | mean | 2843.000-2839.000=4.000 | | σ | 0.000 | | min | 2843.000-2839.000=4.000 | | max | 2843.000-2839.000=4.000 |
| | mean | 2.667-2.633=0.034 | | σ | 0.131-0.102=0.028 | | min | 2.516-2.545=-0.030 | | max | 2.844-2.799=0.045 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.789-4808.913=-0.124 | | σ | 7.452-7.761=-0.308 | | min | 4805.427-4805.361=0.066 | | max | 4822.120-4822.796=-0.675 |
| | mean | 2843.000-2839.000=4.000 | | σ | 0.000 | | min | 2843.000-2839.000=4.000 | | max | 2843.000-2839.000=4.000 |
| | mean | 8.923-9.047=-0.124 | | σ | 0.113-0.290=-0.177 | | min | 8.774-8.756=0.018 | | max | 9.088-9.509=-0.421 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.490-4996.291=0.199 | | σ | 0.018-0.195=-0.177 | | min | 4996.473-4996.121=0.351 | | max | 4996.519-4996.525=-0.006 |
| | mean | 3066.000-3051.400=14.600 | | σ | 299.803-287.020=12.784 | | min | 2843.000-2839.000=4.000 | | max | 3533.000-3504.000=29.000 |
| | mean | 8.587-8.558=0.030 | | σ | 0.122-0.095=0.027 | | min | 8.524-8.496=0.027 | | max | 8.805-8.724=0.081 |
|