iters=5 new-facts=1 prior-facts=1 | | mean | 324.694-324.690=0.004 | | σ | 0.053-0.057=-0.004 | | min | 324.601-324.589=0.011 | | max | 324.724-324.722=0.002 |
| | mean | 2843.000-2840.000=3.000 | | σ | 0.000 | | min | 2843.000-2840.000=3.000 | | max | 2843.000-2840.000=3.000 |
| | mean | 0.427-0.429=-0.003 | | σ | 0.008-0.009=-0.001 | | min | 0.422-0.425=-0.003 | | max | 0.441-0.445=-0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.251-1985.245=0.005 | | σ | 0.019-0.019=0.000 | | min | 1985.229-1985.221=0.009 | | max | 1985.271-1985.263=0.009 |
| | mean | 2843.000-2840.000=3.000 | | σ | 0.000 | | min | 2843.000-2840.000=3.000 | | max | 2843.000-2840.000=3.000 |
| | mean | 2.631-2.645=-0.013 | | σ | 0.158-0.131=0.027 | | min | 2.538-2.543=-0.006 | | max | 2.912-2.864=0.047 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.776-4808.619=0.157 | | σ | 7.765-7.166=0.599 | | min | 4804.748-4805.323=-0.575 | | max | 4822.654-4821.437=1.217 |
| | mean | 2843.000-2840.000=3.000 | | σ | 0.000 | | min | 2843.000-2840.000=3.000 | | max | 2843.000-2840.000=3.000 |
| | mean | 8.781-8.633=0.148 | | σ | 0.568-0.447=0.120 | | min | 7.933-7.885=0.048 | | max | 9.299-9.045=0.254 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.384-4996.451=-0.068 | | σ | 0.160-0.016=0.144 | | min | 4996.101-4996.438=-0.336 | | max | 4996.477-4996.477=0.000 |
| | mean | 3070.800-3003.600=67.200 | | σ | 309.451-186.838=122.614 | | min | 2843.000-2840.000=3.000 | | max | 3551.000-3296.000=255.000 |
| | mean | 8.557-8.596=-0.039 | | σ | 0.129-0.137=-0.008 | | min | 8.441-8.422=0.019 | | max | 8.717-8.754=-0.037 |
|