iters=5 new-facts=1 prior-facts=1 | | mean | 268.233-268.227=0.006 | | σ | 0.005-0.010=-0.005 | | min | 268.230-268.211=0.019 | | max | 268.242-268.238=0.004 |
| | mean | 2888.000-2706.000=182.000 | | σ | 0.000 | | min | 2888.000-2706.000=182.000 | | max | 2888.000-2706.000=182.000 |
| | mean | 0.383-0.385=-0.002 | | σ | 0.009-0.008=0.002 | | min | 0.373-0.376=-0.003 | | max | 0.395-0.391=0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1928.645-1928.638=0.008 | | σ | 0.014-0.009=0.005 | | min | 1928.629-1928.624=0.005 | | max | 1928.664-1928.647=0.017 |
| | mean | 2888.000-2706.000=182.000 | | σ | 0.000 | | min | 2888.000-2706.000=182.000 | | max | 2888.000-2706.000=182.000 |
| | mean | 2.948-3.050=-0.102 | | σ | 0.165-0.124=0.041 | | min | 2.675-2.954=-0.279 | | max | 3.118-3.242=-0.123 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4749.251-4749.406=-0.154 | | σ | 1.005-0.883=0.123 | | min | 4748.395-4748.875=-0.479 | | max | 4750.991-4750.974=0.017 |
| | mean | 2888.000-2706.000=182.000 | | σ | 0.000 | | min | 2888.000-2706.000=182.000 | | max | 2888.000-2706.000=182.000 |
| | mean | 8.661-8.396=0.265 | | σ | 0.264-0.438=-0.175 | | min | 8.373-7.951=0.422 | | max | 9.051-8.974=0.077 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4939.837-4939.831=0.006 | | σ | 0.014-0.022=-0.008 | | min | 4939.815-4939.805=0.009 | | max | 4939.851-4939.852=-0.001 |
| | mean | 3081.600-3020.000=61.600 | | σ | 212.043-250.738=-38.695 | | min | 2888.000-2706.000=182.000 | | max | 3402.000-3368.000=34.000 |
| | mean | 8.525-8.508=0.017 | | σ | 0.143-0.214=-0.072 | | min | 8.360-8.240=0.119 | | max | 8.725-8.803=-0.078 |
|