iters=5 new-facts=1 prior-facts=1 | | mean | 273.508-273.506=0.002 | | σ | 0.006-0.010=-0.004 | | min | 273.500-273.490=0.010 | | max | 273.517-273.518=-0.001 |
| | mean | 2868.000-2866.000=2.000 | | σ | 0.000 | | min | 2868.000-2866.000=2.000 | | max | 2868.000-2866.000=2.000 |
| | mean | 0.385-0.378=0.007 | | σ | 0.003-0.004=-0.001 | | min | 0.382-0.374=0.008 | | max | 0.390-0.385=0.005 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.886-1933.897=-0.012 | | σ | 0.033-0.005=0.028 | | min | 1933.829-1933.891=-0.062 | | max | 1933.912-1933.902=0.010 |
| | mean | 2868.000-2866.000=2.000 | | σ | 0.000 | | min | 2868.000-2866.000=2.000 | | max | 2868.000-2866.000=2.000 |
| | mean | 3.050-2.986=0.064 | | σ | 0.113-0.182=-0.069 | | min | 2.930-2.679=0.251 | | max | 3.197-3.151=0.046 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.661-4754.394=0.266 | | σ | 0.845-0.766=0.079 | | min | 4754.109-4753.580=0.529 | | max | 4756.152-4755.664=0.488 |
| | mean | 2868.000-2866.000=2.000 | | σ | 0.000 | | min | 2868.000-2866.000=2.000 | | max | 2868.000-2866.000=2.000 |
| | mean | 8.551-8.851=-0.300 | | σ | 0.638-0.190=0.448 | | min | 7.692-8.613=-0.921 | | max | 9.339-9.113=0.226 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4945.040-4945.045=-0.005 | | σ | 0.163-0.175=-0.012 | | min | 4944.750-4944.734=0.016 | | max | 4945.136-4945.142=-0.006 |
| | mean | 3067.600-3064.800=2.800 | | σ | 210.377-182.211=28.166 | | min | 2868.000-2866.000=2.000 | | max | 3377.000-3325.000=52.000 |
| | mean | 8.656-8.643=0.013 | | σ | 0.256-0.205=0.050 | | min | 8.440-8.429=0.011 | | max | 9.062-8.950=0.111 |
|