iters=5 new-facts=1 prior-facts=1 | | mean | 275.730-275.566=0.165 | | σ | 0.009-0.004=0.005 | | min | 275.721-275.559=0.162 | | max | 275.744-275.569=0.174 |
| | mean | 2652.000-2643.000=9.000 | | σ | 0.000 | | min | 2652.000-2643.000=9.000 | | max | 2652.000-2643.000=9.000 |
| | mean | 0.402-0.392=0.009 | | σ | 0.008-0.007=0.000 | | min | 0.397-0.387=0.010 | | max | 0.415-0.401=0.014 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.274-2168.102=0.173 | | σ | 0.021-0.009=0.012 | | min | 2168.254-2168.089=0.165 | | max | 2168.300-2168.114=0.185 |
| | mean | 2652.000-2643.000=9.000 | | σ | 0.000 | | min | 2652.000-2643.000=9.000 | | max | 2652.000-2643.000=9.000 |
| | mean | 2.970-2.830=0.140 | | σ | 0.134-0.119=0.015 | | min | 2.757-2.680=0.077 | | max | 3.090-2.969=0.122 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5048.100-5047.894=0.206 | | σ | 0.917-0.908=0.009 | | min | 5047.515-5047.374=0.141 | | max | 5049.709-5049.507=0.202 |
| | mean | 2652.000-2643.000=9.000 | | σ | 0.000 | | min | 2652.000-2643.000=9.000 | | max | 2652.000-2643.000=9.000 |
| | mean | 8.980-8.850=0.130 | | σ | 0.557-0.452=0.104 | | min | 8.163-8.084=0.079 | | max | 9.597-9.284=0.313 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.097-5179.027=0.071 | | σ | 0.341-0.087=0.254 | | min | 5178.501-5178.942=-0.441 | | max | 5179.328-5179.123=0.204 |
| | mean | 3225.600-3207.600=18.000 | | σ | 369.873-485.494=-115.621 | | min | 2697.000-2643.000=54.000 | | max | 3678.000-3864.000=-186.000 |
| | mean | 9.951-9.609=0.342 | | σ | 0.198-0.610=-0.412 | | min | 9.610-8.635=0.974 | | max | 10.118-10.197=-0.078 |
|