iters=5 new-facts=1 prior-facts=1 | | mean | 324.709-324.703=0.007 | | σ | 0.040-0.053=-0.013 | | min | 324.639-324.608=0.032 | | max | 324.736-324.729=0.007 |
| | mean | 2752.000-2693.000=59.000 | | σ | 0.000 | | min | 2752.000-2693.000=59.000 | | max | 2752.000-2693.000=59.000 |
| | mean | 0.425-0.428=-0.003 | | σ | 0.002-0.010=-0.008 | | min | 0.423-0.422=0.001 | | max | 0.428-0.445=-0.017 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.256-1985.258=-0.002 | | σ | 0.016-0.011=0.004 | | min | 1985.239-1985.244=-0.005 | | max | 1985.273-1985.268=0.005 |
| | mean | 2752.000-2693.000=59.000 | | σ | 0.000 | | min | 2752.000-2693.000=59.000 | | max | 2752.000-2693.000=59.000 |
| | mean | 2.671-2.639=0.032 | | σ | 0.098-0.095=0.004 | | min | 2.575-2.575=-0.000 | | max | 2.799-2.796=0.003 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.876-4808.877=-0.000 | | σ | 7.654-7.687=-0.033 | | min | 4805.381-4805.364=0.017 | | max | 4822.569-4822.628=-0.059 |
| | mean | 2752.000-2693.000=59.000 | | σ | 0.000 | | min | 2752.000-2693.000=59.000 | | max | 2752.000-2693.000=59.000 |
| | mean | 8.992-8.984=0.008 | | σ | 0.163-0.241=-0.078 | | min | 8.747-8.670=0.077 | | max | 9.189-9.301=-0.112 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.462-4996.466=-0.003 | | σ | 0.014-0.009=0.004 | | min | 4996.447-4996.451=-0.004 | | max | 4996.476-4996.474=0.001 |
| | mean | 3038.200-3007.400=30.800 | | σ | 341.750-361.672=-19.922 | | min | 2752.000-2693.000=59.000 | | max | 3544.000-3535.000=9.000 |
| | mean | 8.688-8.645=0.043 | | σ | 0.336-0.138=0.198 | | min | 8.446-8.473=-0.027 | | max | 9.257-8.793=0.465 |
|