iters=5 new-facts=1 prior-facts=1 | | mean | 275.760-275.730=0.030 | | σ | 0.010-0.009=0.001 | | min | 275.747-275.721=0.026 | | max | 275.773-275.744=0.029 |
| | mean | 2772.000-2652.000=120.000 | | σ | 0.000 | | min | 2772.000-2652.000=120.000 | | max | 2772.000-2652.000=120.000 |
| | mean | 0.408-0.402=0.006 | | σ | 0.008-0.008=0.001 | | min | 0.399-0.397=0.002 | | max | 0.417-0.415=0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.290-2168.274=0.016 | | σ | 0.007-0.021=-0.015 | | min | 2168.285-2168.254=0.031 | | max | 2168.299-2168.300=-0.000 |
| | mean | 2772.000-2652.000=120.000 | | σ | 0.000 | | min | 2772.000-2652.000=120.000 | | max | 2772.000-2652.000=120.000 |
| | mean | 3.014-2.970=0.043 | | σ | 0.134-0.134=-0.001 | | min | 2.834-2.757=0.077 | | max | 3.161-3.090=0.070 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5048.100-5048.100=-0.000 | | σ | 0.926-0.917=0.009 | | min | 5047.616-5047.515=0.101 | | max | 5049.753-5049.709=0.044 |
| | mean | 2772.000-2652.000=120.000 | | σ | 0.000 | | min | 2772.000-2652.000=120.000 | | max | 2772.000-2652.000=120.000 |
| | mean | 8.721-8.980=-0.258 | | σ | 0.377-0.557=-0.180 | | min | 8.096-8.163=-0.067 | | max | 9.081-9.597=-0.515 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.241-5179.097=0.144 | | σ | 0.083-0.341=-0.259 | | min | 5179.172-5178.501=0.671 | | max | 5179.335-5179.328=0.007 |
| | mean | 3234.600-3225.600=9.000 | | σ | 363.081-369.873=-6.792 | | min | 2772.000-2697.000=75.000 | | max | 3728.000-3678.000=50.000 |
| | mean | 9.932-9.951=-0.018 | | σ | 0.223-0.198=0.025 | | min | 9.550-9.610=-0.059 | | max | 10.117-10.118=-0.002 |
|