iters=5 new-facts=1 prior-facts=1 | | mean | 275.757-275.730=0.027 | | σ | 0.008-0.009=-0.001 | | min | 275.748-275.721=0.027 | | max | 275.766-275.744=0.023 |
| | mean | 2497.000-2652.000=-155.000 | | σ | 0.000 | | min | 2497.000-2652.000=-155.000 | | max | 2497.000-2652.000=-155.000 |
| | mean | 0.403-0.402=0.002 | | σ | 0.009-0.008=0.001 | | min | 0.398-0.397=0.001 | | max | 0.418-0.415=0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.274-2168.274=-0.000 | | σ | 0.017-0.021=-0.004 | | min | 2168.251-2168.254=-0.003 | | max | 2168.290-2168.300=-0.010 |
| | mean | 2497.000-2652.000=-155.000 | | σ | 0.000 | | min | 2497.000-2652.000=-155.000 | | max | 2497.000-2652.000=-155.000 |
| | mean | 2.977-2.970=0.006 | | σ | 0.123-0.134=-0.012 | | min | 2.810-2.757=0.053 | | max | 3.117-3.090=0.026 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.866-5048.100=-0.234 | | σ | 1.184-0.917=0.267 | | min | 5046.413-5047.515=-1.102 | | max | 5049.709-5049.709=0.000 |
| | mean | 2497.000-2652.000=-155.000 | | σ | 0.000 | | min | 2497.000-2652.000=-155.000 | | max | 2497.000-2652.000=-155.000 |
| | mean | 8.901-8.980=-0.079 | | σ | 0.480-0.557=-0.076 | | min | 8.139-8.163=-0.024 | | max | 9.456-9.597=-0.141 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.246-5179.097=0.148 | | σ | 0.083-0.341=-0.259 | | min | 5179.176-5178.501=0.675 | | max | 5179.360-5179.328=0.032 |
| | mean | 3271.400-3225.600=45.800 | | σ | 379.796-369.873=9.922 | | min | 2734.000-2697.000=37.000 | | max | 3728.000-3678.000=50.000 |
| | mean | 10.129-9.951=0.178 | | σ | 0.453-0.198=0.255 | | min | 9.579-9.610=-0.031 | | max | 10.837-10.118=0.719 |
|