iters=5 new-facts=1 prior-facts=1 | | mean | 278.940-278.824=0.115 | | σ | 0.010-0.004=0.006 | | min | 278.929-278.822=0.107 | | max | 278.953-278.832=0.121 |
| | mean | 2752.000-2697.000=55.000 | | σ | 0.000 | | min | 2752.000-2697.000=55.000 | | max | 2752.000-2697.000=55.000 |
| | mean | 0.411-0.412=-0.001 | | σ | 0.004-0.006=-0.002 | | min | 0.406-0.407=-0.001 | | max | 0.414-0.419=-0.005 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2177.844-2268.882=-91.039 | | σ | 0.047-0.018=0.029 | | min | 2177.768-2268.868=-91.100 | | max | 2177.885-2268.914=-91.029 |
| | mean | 2752.000-2697.000=55.000 | | σ | 0.000 | | min | 2752.000-2697.000=55.000 | | max | 2752.000-2697.000=55.000 |
| | mean | 3.265-3.134=0.132 | | σ | 0.267-0.205=0.062 | | min | 3.001-2.913=0.088 | | max | 3.683-3.392=0.291 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5055.452-4954.170=101.283 | | σ | 1.207-1.022=0.185 | | min | 5054.428-4953.353=101.075 | | max | 5057.506-4955.945=101.561 |
| | mean | 2752.000-2697.000=55.000 | | σ | 0.000 | | min | 2752.000-2697.000=55.000 | | max | 2752.000-2697.000=55.000 |
| | mean | 8.676-8.068=0.608 | | σ | 0.577-0.420=0.157 | | min | 8.124-7.665=0.459 | | max | 9.338-8.708=0.630 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5193.116-5168.826=24.290 | | σ | 0.120-0.088=0.031 | | min | 5192.939-5168.729=24.210 | | max | 5193.275-5168.903=24.373 |
| | mean | 3240.200-3341.200=-101.000 | | σ | 449.864-396.533=53.330 | | min | 2752.000-2947.000=-195.000 | | max | 3860.000-3740.000=120.000 |
| | mean | 8.748-9.223=-0.475 | | σ | 0.195-0.216=-0.021 | | min | 8.549-8.976=-0.427 | | max | 9.065-9.537=-0.472 |
|