iters=5 new-facts=1 prior-facts=1 | | mean | 274.369-274.364=0.004 | | σ | 0.004-0.006=-0.003 | | min | 274.363-274.360=0.004 | | max | 274.372-274.375=-0.003 |
| | mean | 2731.000-2848.000=-117.000 | | σ | 0.000 | | min | 2731.000-2848.000=-117.000 | | max | 2731.000-2848.000=-117.000 |
| | mean | 0.383-0.382=0.001 | | σ | 0.005-0.004=0.001 | | min | 0.380-0.375=0.005 | | max | 0.391-0.384=0.007 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1934.751-1934.759=-0.008 | | σ | 0.013-0.007=0.006 | | min | 1934.734-1934.751=-0.017 | | max | 1934.765-1934.770=-0.004 |
| | mean | 2731.000-2848.000=-117.000 | | σ | 0.000 | | min | 2731.000-2848.000=-117.000 | | max | 2731.000-2848.000=-117.000 |
| | mean | 2.964-3.091=-0.127 | | σ | 0.197-0.304=-0.107 | | min | 2.713-2.856=-0.143 | | max | 3.165-3.622=-0.457 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4755.504-4755.472=0.032 | | σ | 0.906-0.895=0.011 | | min | 4755.011-4755.037=-0.027 | | max | 4757.121-4757.073=0.048 |
| | mean | 2731.000-2848.000=-117.000 | | σ | 0.000 | | min | 2731.000-2848.000=-117.000 | | max | 2731.000-2848.000=-117.000 |
| | mean | 8.676-8.626=0.050 | | σ | 0.351-0.501=-0.150 | | min | 8.311-7.740=0.571 | | max | 9.052-8.956=0.095 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4945.914-4945.983=-0.069 | | σ | 0.150-0.022=0.127 | | min | 4945.648-4945.953=-0.305 | | max | 4946.012-4946.007=0.005 |
| | mean | 2988.800-3069.600=-80.800 | | σ | 232.396-232.960=-0.564 | | min | 2731.000-2848.000=-117.000 | | max | 3320.000-3406.000=-86.000 |
| | mean | 8.611-8.545=0.066 | | σ | 0.177-0.135=0.041 | | min | 8.408-8.410=-0.002 | | max | 8.826-8.724=0.102 |
|