iters=5 new-facts=1 prior-facts=1 | | mean | 273.404-273.202=0.202 | | σ | 0.010-0.003=0.007 | | min | 273.394-273.200=0.194 | | max | 273.415-273.207=0.208 |
| | mean | 2512.000-2699.000=-187.000 | | σ | 0.000 | | min | 2512.000-2699.000=-187.000 | | max | 2512.000-2699.000=-187.000 |
| | mean | 0.393-0.404=-0.011 | | σ | 0.003-0.009=-0.006 | | min | 0.390-0.390=-0.000 | | max | 0.398-0.414=-0.016 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.840-1933.636=0.205 | | σ | 0.020-0.012=0.008 | | min | 1933.814-1933.618=0.196 | | max | 1933.864-1933.645=0.219 |
| | mean | 2512.000-2699.000=-187.000 | | σ | 0.000 | | min | 2512.000-2699.000=-187.000 | | max | 2512.000-2699.000=-187.000 |
| | mean | 2.959-3.035=-0.077 | | σ | 0.207-0.163=0.044 | | min | 2.685-2.770=-0.084 | | max | 3.167-3.207=-0.040 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.387-4754.171=0.216 | | σ | 0.769-0.900=-0.131 | | min | 4753.983-4753.634=0.349 | | max | 4755.759-4755.768=-0.009 |
| | mean | 2512.000-2699.000=-187.000 | | σ | 0.000 | | min | 2512.000-2699.000=-187.000 | | max | 2512.000-2699.000=-187.000 |
| | mean | 8.033-8.235=-0.202 | | σ | 0.494-0.679=-0.185 | | min | 7.656-7.664=-0.008 | | max | 8.799-9.217=-0.418 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4764.740-4944.378=-179.638 | | σ | 402.452-0.224=402.228 | | min | 4044.813-4944.169=-899.356 | | max | 4944.882-4944.684=0.198 |
| | mean | 2949.000-3013.400=-64.400 | | σ | 416.413-359.261=57.152 | | min | 2512.000-2699.000=-187.000 | | max | 3527.000-3533.000=-6.000 |
| | mean | 8.171-8.369=-0.198 | | σ | 0.461-0.104=0.357 | | min | 7.354-8.306=-0.952 | | max | 8.483-8.553=-0.071 |
|