iters=5 new-facts=1 prior-facts=1 | | mean | 275.730-267.614=8.116 | | σ | 0.009-17.779=-17.770 | | min | 275.721-235.810=39.910 | | max | 275.744-275.570=0.174 |
| | mean | 2652.000-2769.000=-117.000 | | σ | 0.000 | | min | 2652.000-2769.000=-117.000 | | max | 2652.000-2769.000=-117.000 |
| | mean | 0.402-0.380=0.021 | | σ | 0.008-0.031=-0.023 | | min | 0.397-0.326=0.071 | | max | 0.415-0.399=0.016 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.274-2168.085=0.189 | | σ | 0.021-0.015=0.007 | | min | 2168.254-2168.067=0.187 | | max | 2168.300-2168.103=0.197 |
| | mean | 2652.000-2769.000=-117.000 | | σ | 0.000 | | min | 2652.000-2769.000=-117.000 | | max | 2652.000-2769.000=-117.000 |
| | mean | 2.970-2.935=0.036 | | σ | 0.134-0.097=0.037 | | min | 2.757-2.810=-0.054 | | max | 3.090-3.053=0.038 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5048.100-5047.909=0.190 | | σ | 0.917-0.878=0.039 | | min | 5047.515-5047.334=0.181 | | max | 5049.709-5049.444=0.266 |
| | mean | 2652.000-2769.000=-117.000 | | σ | 0.000 | | min | 2652.000-2769.000=-117.000 | | max | 2652.000-2769.000=-117.000 |
| | mean | 8.980-8.903=0.077 | | σ | 0.557-0.507=0.050 | | min | 8.163-8.196=-0.033 | | max | 9.597-9.405=0.192 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.097-5178.975=0.122 | | σ | 0.341-0.200=0.141 | | min | 5178.501-5178.651=-0.150 | | max | 5179.328-5179.159=0.169 |
| | mean | 3225.600-3302.400=-76.800 | | σ | 369.873-394.037=-24.164 | | min | 2697.000-2769.000=-72.000 | | max | 3678.000-3674.000=4.000 |
| | mean | 9.951-9.873=0.078 | | σ | 0.198-0.212=-0.014 | | min | 9.610-9.534=0.076 | | max | 10.118-10.106=0.013 |
|