iters=5 new-facts=1 prior-facts=1 | | mean | 326.445-324.765=1.680 | | σ | 0.053-0.045=0.008 | | min | 326.352-324.684=1.667 | | max | 326.484-324.792=1.691 |
| | mean | 2757.000-2841.000=-84.000 | | σ | 0.000 | | min | 2757.000-2841.000=-84.000 | | max | 2757.000-2841.000=-84.000 |
| | mean | 0.424-0.416=0.008 | | σ | 0.002-0.001=0.001 | | min | 0.422-0.415=0.007 | | max | 0.426-0.418=0.008 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.616-1985.317=3.299 | | σ | 0.007-0.016=-0.010 | | min | 1988.606-1985.287=3.318 | | max | 1988.623-1985.326=3.298 |
| | mean | 2757.000-2841.000=-84.000 | | σ | 0.000 | | min | 2757.000-2841.000=-84.000 | | max | 2757.000-2841.000=-84.000 |
| | mean | 2.683-2.742=-0.059 | | σ | 0.052-0.142=-0.090 | | min | 2.626-2.599=0.027 | | max | 2.761-2.949=-0.188 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.496-4809.105=4.391 | | σ | 7.714-7.648=0.066 | | min | 4809.914-4805.580=4.334 | | max | 4827.294-4822.784=4.509 |
| | mean | 2757.000-2841.000=-84.000 | | σ | 0.000 | | min | 2757.000-2841.000=-84.000 | | max | 2757.000-2841.000=-84.000 |
| | mean | 8.282-8.824=-0.542 | | σ | 0.605-0.314=0.291 | | min | 7.703-8.477=-0.774 | | max | 9.197-9.194=0.003 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.021-4996.631=4.390 | | σ | 0.034-0.020=0.014 | | min | 5000.982-4996.610=4.372 | | max | 5001.067-4996.660=4.407 |
| | mean | 3014.400-3078.800=-64.400 | | σ | 320.136-255.919=64.216 | | min | 2757.000-2841.000=-84.000 | | max | 3503.000-3348.000=155.000 |
| | mean | 9.634-8.720=0.914 | | σ | 0.594-0.125=0.469 | | min | 8.595-8.527=0.068 | | max | 10.111-8.827=1.283 |
|