iters=5 new-facts=1 prior-facts=1 | | mean | 324.710-324.717=-0.008 | | σ | 0.046-0.025=0.021 | | min | 324.628-324.674=-0.045 | | max | 324.738-324.732=0.007 |
| | mean | 2760.000-2751.000=9.000 | | σ | 0.000 | | min | 2760.000-2751.000=9.000 | | max | 2760.000-2751.000=9.000 |
| | mean | 0.426-0.424=0.003 | | σ | 0.006-0.001=0.005 | | min | 0.423-0.422=0.001 | | max | 0.437-0.425=0.012 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.265-1985.268=-0.004 | | σ | 0.009-0.006=0.003 | | min | 1985.251-1985.263=-0.012 | | max | 1985.276-1985.279=-0.003 |
| | mean | 2760.000-2751.000=9.000 | | σ | 0.000 | | min | 2760.000-2751.000=9.000 | | max | 2760.000-2751.000=9.000 |
| | mean | 2.604-2.600=0.004 | | σ | 0.106-0.061=0.044 | | min | 2.461-2.550=-0.089 | | max | 2.751-2.702=0.049 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.774-4808.896=-0.121 | | σ | 7.694-7.656=0.039 | | min | 4804.796-4805.419=-0.623 | | max | 4822.526-4822.590=-0.064 |
| | mean | 2760.000-2751.000=9.000 | | σ | 0.000 | | min | 2760.000-2751.000=9.000 | | max | 2760.000-2751.000=9.000 |
| | mean | 8.672-9.045=-0.373 | | σ | 0.537-0.204=0.334 | | min | 7.765-8.802=-1.037 | | max | 9.085-9.232=-0.147 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.404-4996.399=0.005 | | σ | 0.175-0.161=0.014 | | min | 4996.092-4996.113=-0.022 | | max | 4996.493-4996.496=-0.003 |
| | mean | 3058.400-3006.200=52.200 | | σ | 268.997-250.417=18.580 | | min | 2760.000-2751.000=9.000 | | max | 3330.000-3357.000=-27.000 |
| | mean | 8.927-8.728=0.199 | | σ | 0.460-0.233=0.227 | | min | 8.527-8.494=0.033 | | max | 9.518-9.042=0.476 |
|