iters=5 new-facts=1 prior-facts=1 | | mean | 324.694-324.699=-0.005 | | σ | 0.047-0.056=-0.009 | | min | 324.612-324.600=0.011 | | max | 324.727-324.737=-0.010 |
| | mean | 2824.000-2724.000=100.000 | | σ | 0.000 | | min | 2824.000-2724.000=100.000 | | max | 2824.000-2724.000=100.000 |
| | mean | 0.429-0.424=0.005 | | σ | 0.007-0.002=0.005 | | min | 0.422-0.422=0.000 | | max | 0.439-0.426=0.013 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.252-1985.266=-0.014 | | σ | 0.013-0.014=-0.001 | | min | 1985.237-1985.242=-0.005 | | max | 1985.265-1985.274=-0.009 |
| | mean | 2824.000-2724.000=100.000 | | σ | 0.000 | | min | 2824.000-2724.000=100.000 | | max | 2824.000-2724.000=100.000 |
| | mean | 2.593-2.610=-0.017 | | σ | 0.108-0.084=0.024 | | min | 2.452-2.533=-0.081 | | max | 2.742-2.727=0.015 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.535-4808.797=-0.262 | | σ | 7.903-7.735=0.168 | | min | 4804.188-4804.797=-0.609 | | max | 4822.637-4822.622=0.015 |
| | mean | 2824.000-2724.000=100.000 | | σ | 0.000 | | min | 2824.000-2724.000=100.000 | | max | 2824.000-2724.000=100.000 |
| | mean | 8.566-8.810=-0.244 | | σ | 0.664-0.612=0.051 | | min | 7.769-7.743=0.025 | | max | 9.134-9.263=-0.129 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.384-4996.393=-0.009 | | σ | 0.165-0.153=0.013 | | min | 4996.090-4996.121=-0.031 | | max | 4996.471-4996.482=-0.011 |
| | mean | 3040.400-3017.600=22.800 | | σ | 291.934-345.238=-53.304 | | min | 2824.000-2724.000=100.000 | | max | 3498.000-3528.000=-30.000 |
| | mean | 8.505-8.504=0.001 | | σ | 0.106-0.119=-0.013 | | min | 8.419-8.431=-0.012 | | max | 8.685-8.714=-0.029 |
|