iters=5 new-facts=1 prior-facts=1 | | mean | 326.640-326.632=0.008 | | σ | 0.044-0.056=-0.012 | | min | 326.563-326.533=0.030 | | max | 326.666-326.666=-0.001 |
| | mean | 2825.000-2643.000=182.000 | | σ | 0.000 | | min | 2825.000-2643.000=182.000 | | max | 2825.000-2643.000=182.000 |
| | mean | 0.424-0.429=-0.005 | | σ | 0.001-0.006=-0.004 | | min | 0.422-0.424=-0.002 | | max | 0.426-0.435=-0.009 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.804-1988.806=-0.002 | | σ | 0.003-0.009=-0.006 | | min | 1988.801-1988.796=0.004 | | max | 1988.807-1988.816=-0.009 |
| | mean | 2825.000-2643.000=182.000 | | σ | 0.000 | | min | 2825.000-2643.000=182.000 | | max | 2825.000-2643.000=182.000 |
| | mean | 2.728-2.722=0.006 | | σ | 0.117-0.138=-0.021 | | min | 2.623-2.570=0.053 | | max | 2.876-2.921=-0.045 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.644-4813.459=0.185 | | σ | 7.726-7.561=0.165 | | min | 4810.139-4809.668=0.471 | | max | 4827.464-4826.977=0.487 |
| | mean | 2825.000-2643.000=182.000 | | σ | 0.000 | | min | 2825.000-2643.000=182.000 | | max | 2825.000-2643.000=182.000 |
| | mean | 8.834-8.522=0.312 | | σ | 0.299-0.606=-0.308 | | min | 8.392-7.983=0.409 | | max | 9.152-9.516=-0.364 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.055-5001.200=-0.144 | | σ | 0.330-0.032=0.298 | | min | 5000.468-5001.152=-0.684 | | max | 5001.246-5001.228=0.018 |
| | mean | 3057.600-2992.000=65.600 | | σ | 246.150-389.460=-143.310 | | min | 2825.000-2643.000=182.000 | | max | 3416.000-3549.000=-133.000 |
| | mean | 9.592-9.522=0.071 | | σ | 0.622-0.614=0.008 | | min | 8.497-8.441=0.056 | | max | 10.017-9.979=0.038 |
|