iters=5 new-facts=1 prior-facts=1 | | mean | 324.016-324.013=0.002 | | σ | 0.056-0.061=-0.005 | | min | 323.916-323.906=0.010 | | max | 324.044-324.051=-0.007 |
| | mean | 2522.000-2499.000=23.000 | | σ | 0.000 | | min | 2522.000-2499.000=23.000 | | max | 2522.000-2499.000=23.000 |
| | mean | 0.431-0.431=0.000 | | σ | 0.007-0.006=0.001 | | min | 0.425-0.425=0.001 | | max | 0.439-0.439=-0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1984.588-1984.589=-0.001 | | σ | 0.014-0.012=0.002 | | min | 1984.569-1984.568=0.000 | | max | 1984.604-1984.600=0.004 |
| | mean | 2522.000-2499.000=23.000 | | σ | 0.000 | | min | 2522.000-2499.000=23.000 | | max | 2522.000-2499.000=23.000 |
| | mean | 2.648-2.597=0.051 | | σ | 0.126-0.054=0.072 | | min | 2.517-2.546=-0.029 | | max | 2.793-2.685=0.108 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.223-4808.149=0.074 | | σ | 7.836-7.879=-0.043 | | min | 4804.648-4804.108=0.541 | | max | 4822.240-4822.233=0.007 |
| | mean | 2522.000-2499.000=23.000 | | σ | 0.000 | | min | 2522.000-2499.000=23.000 | | max | 2522.000-2499.000=23.000 |
| | mean | 8.921-8.937=-0.017 | | σ | 0.175-0.336=-0.161 | | min | 8.769-8.430=0.339 | | max | 9.218-9.310=-0.092 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4995.739-4995.811=-0.072 | | σ | 0.170-0.027=0.143 | | min | 4995.437-4995.776=-0.339 | | max | 4995.834-4995.840=-0.006 |
| | mean | 2948.400-3005.000=-56.600 | | σ | 377.805-320.232=57.573 | | min | 2522.000-2588.000=-66.000 | | max | 3425.000-3418.000=7.000 |
| | mean | 8.662-8.774=-0.112 | | σ | 0.220-0.339=-0.118 | | min | 8.489-8.509=-0.020 | | max | 9.020-9.360=-0.341 |
|