iters=5 new-facts=1 prior-facts=1 | | mean | 275.730-275.756=-0.025 | | σ | 0.009-0.008=0.001 | | min | 275.721-275.743=-0.022 | | max | 275.744-275.765=-0.021 |
| | mean | 2652.000-2772.000=-120.000 | | σ | 0.000 | | min | 2652.000-2772.000=-120.000 | | max | 2652.000-2772.000=-120.000 |
| | mean | 0.402-0.403=-0.001 | | σ | 0.008-0.007=0.001 | | min | 0.397-0.396=0.001 | | max | 0.415-0.412=0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.274-2009.771=158.503 | | σ | 0.021-354.429=-354.407 | | min | 2168.254-1375.750=792.504 | | max | 2168.300-2168.295=0.005 |
| | mean | 2652.000-2772.000=-120.000 | | σ | 0.000 | | min | 2652.000-2772.000=-120.000 | | max | 2652.000-2772.000=-120.000 |
| | mean | 2.970-2.619=0.351 | | σ | 0.134-0.306=-0.172 | | min | 2.757-2.073=0.684 | | max | 3.090-2.777=0.313 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5048.100-5048.157=-0.058 | | σ | 0.917-0.974=-0.057 | | min | 5047.515-5047.547=-0.032 | | max | 5049.709-5049.886=-0.177 |
| | mean | 2652.000-2772.000=-120.000 | | σ | 0.000 | | min | 2652.000-2772.000=-120.000 | | max | 2652.000-2772.000=-120.000 |
| | mean | 8.980-8.637=0.343 | | σ | 0.557-0.756=-0.199 | | min | 8.163-7.812=0.351 | | max | 9.597-9.744=-0.147 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.097-5179.230=-0.133 | | σ | 0.341-0.081=0.260 | | min | 5178.501-5179.153=-0.652 | | max | 5179.328-5179.319=0.009 |
| | mean | 3225.600-3225.200=0.400 | | σ | 369.873-401.426=-31.552 | | min | 2697.000-2772.000=-75.000 | | max | 3678.000-3783.000=-105.000 |
| | mean | 9.951-9.758=0.193 | | σ | 0.198-0.317=-0.119 | | min | 9.610-9.457=0.152 | | max | 10.118-10.265=-0.146 |
|