iters=5 new-facts=1 prior-facts=1 | | mean | 190.718-190.721=-0.003 | | σ | 0.011-0.004=0.008 | | min | 190.705-190.717=-0.012 | | max | 190.736-190.727=0.009 |
| | mean | 2659.000-2622.000=37.000 | | σ | 0.000 | | min | 2659.000-2622.000=37.000 | | max | 2659.000-2622.000=37.000 |
| | mean | 0.280-0.279=0.002 | | σ | 0.001-0.001=-0.000 | | min | 0.280-0.278=0.002 | | max | 0.281-0.280=0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1989.500-1989.465=0.035 | | σ | 0.009-0.036=-0.027 | | min | 1989.486-1989.411=0.075 | | max | 1989.509-1989.498=0.012 |
| | mean | 2659.000-2622.000=37.000 | | σ | 0.000 | | min | 2659.000-2622.000=37.000 | | max | 2659.000-2622.000=37.000 |
| | mean | 2.412-2.663=-0.251 | | σ | 0.063-0.043=0.020 | | min | 2.329-2.605=-0.275 | | max | 2.504-2.725=-0.220 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4879.957-4880.079=-0.122 | | σ | 0.702-0.542=0.160 | | min | 4879.148-4879.709=-0.561 | | max | 4881.079-4881.017=0.062 |
| | mean | 2659.000-2622.000=37.000 | | σ | 0.000 | | min | 2659.000-2622.000=37.000 | | max | 2659.000-2622.000=37.000 |
| | mean | 8.104-8.117=-0.013 | | σ | 0.186-0.343=-0.158 | | min | 7.836-7.769=0.067 | | max | 8.316-8.548=-0.232 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4891.622-4891.628=-0.006 | | σ | 0.123-0.214=-0.091 | | min | 4891.447-4891.265=0.183 | | max | 4891.794-4891.796=-0.002 |
| | mean | 3232.600-3244.800=-12.200 | | σ | 394.043-404.167=-10.124 | | min | 2836.000-2846.000=-10.000 | | max | 3624.000-3654.000=-30.000 |
| | mean | 8.058-8.182=-0.124 | | σ | 0.169-0.194=-0.024 | | min | 7.872-7.975=-0.103 | | max | 8.312-8.426=-0.114 |
|