iters=5 new-facts=1 prior-facts=1 | | mean | 190.720-190.713=0.007 | | σ | 0.006-0.004=0.002 | | min | 190.712-190.708=0.004 | | max | 190.727-190.717=0.009 |
| | mean | 2632.000-2619.000=13.000 | | σ | 0.000 | | min | 2632.000-2619.000=13.000 | | max | 2632.000-2619.000=13.000 |
| | mean | 0.280-0.280=-0.000 | | σ | 0.001-0.001=-0.000 | | min | 0.279-0.280=-0.000 | | max | 0.281-0.281=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1989.501-1989.493=0.008 | | σ | 0.016-0.010=0.006 | | min | 1989.482-1989.476=0.005 | | max | 1989.525-1989.501=0.024 |
| | mean | 2632.000-2619.000=13.000 | | σ | 0.000 | | min | 2632.000-2619.000=13.000 | | max | 2632.000-2619.000=13.000 |
| | mean | 2.423-2.635=-0.211 | | σ | 0.060-0.158=-0.098 | | min | 2.328-2.402=-0.073 | | max | 2.490-2.797=-0.307 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4880.068-4880.051=0.017 | | σ | 0.599-0.609=-0.010 | | min | 4879.733-4879.729=0.003 | | max | 4881.133-4881.134=-0.002 |
| | mean | 2632.000-2619.000=13.000 | | σ | 0.000 | | min | 2632.000-2619.000=13.000 | | max | 2632.000-2619.000=13.000 |
| | mean | 8.225-8.422=-0.197 | | σ | 0.285-0.352=-0.066 | | min | 7.776-8.057=-0.281 | | max | 8.556-9.007=-0.450 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4891.624-4891.691=-0.067 | | σ | 0.127-0.091=0.037 | | min | 4891.416-4891.616=-0.200 | | max | 4891.763-4891.803=-0.040 |
| | mean | 3352.600-3294.600=58.000 | | σ | 465.019-500.242=-35.224 | | min | 2780.000-2619.000=161.000 | | max | 4016.000-3756.000=260.000 |
| | mean | 8.269-8.145=0.124 | | σ | 0.171-0.130=0.041 | | min | 8.034-8.018=0.016 | | max | 8.447-8.290=0.157 |
|