iters=5 new-facts=1 prior-facts=1 | | mean | 274.415-190.724=83.691 | | σ | 0.008-0.011=-0.003 | | min | 274.403-190.715=83.688 | | max | 274.421-190.738=83.683 |
| | mean | 2659.000-2618.000=41.000 | | σ | 0.000 | | min | 2659.000-2618.000=41.000 | | max | 2659.000-2618.000=41.000 |
| | mean | 0.408-0.280=0.127 | | σ | 0.000-0.001=-0.000 | | min | 0.407-0.280=0.128 | | max | 0.408-0.281=0.127 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2264.646-1989.504=275.142 | | σ | 0.011-0.023=-0.012 | | min | 2264.633-1989.465=275.168 | | max | 2264.663-1989.523=275.140 |
| | mean | 2659.000-2618.000=41.000 | | σ | 0.000 | | min | 2659.000-2618.000=41.000 | | max | 2659.000-2618.000=41.000 |
| | mean | 2.979-2.616=0.363 | | σ | 0.119-0.259=-0.140 | | min | 2.809-2.376=0.433 | | max | 3.109-3.019=0.090 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4951.727-4880.053=71.675 | | σ | 0.764-0.598=0.165 | | min | 4951.223-4879.613=71.609 | | max | 4953.073-4881.099=71.974 |
| | mean | 2659.000-2618.000=41.000 | | σ | 0.000 | | min | 2659.000-2618.000=41.000 | | max | 2659.000-2618.000=41.000 |
| | mean | 7.998-8.242=-0.244 | | σ | 0.269-0.447=-0.178 | | min | 7.751-7.734=0.017 | | max | 8.455-8.951=-0.496 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5166.470-4891.697=274.773 | | σ | 0.098-0.086=0.012 | | min | 5166.384-4891.624=274.760 | | max | 5166.589-4891.796=274.793 |
| | mean | 3351.400-3316.200=35.200 | | σ | 452.352-531.571=-79.219 | | min | 2751.000-2618.000=133.000 | | max | 3949.000-3822.000=127.000 |
| | mean | 9.146-8.166=0.980 | | σ | 0.252-0.233=0.018 | | min | 8.800-7.925=0.875 | | max | 9.452-8.526=0.926 |
|