iters=5 new-facts=1 prior-facts=1 | | mean | 285.357-286.824=-1.467 | | σ | 0.037-0.037=-0.000 | | min | 285.311-286.774=-1.463 | | max | 285.397-286.861=-1.465 |
| | mean | 1584.000-1641.000=-57.000 | | σ | 0.000 | | min | 1584.000-1641.000=-57.000 | | max | 1584.000-1641.000=-57.000 |
| | mean | 0.395-0.394=0.001 | | σ | 0.008-0.005=0.003 | | min | 0.383-0.388=-0.006 | | max | 0.404-0.401=0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1295.715-1297.265=-1.550 | | σ | 0.114-0.092=0.022 | | min | 1295.620-1297.131=-1.510 | | max | 1295.906-1297.373=-1.466 |
| | mean | 1584.000-1641.000=-57.000 | | σ | 0.000 | | min | 1584.000-1641.000=-57.000 | | max | 1584.000-1641.000=-57.000 |
| | mean | 1.990-2.282=-0.292 | | σ | 0.181-0.139=0.042 | | min | 1.805-2.133=-0.328 | | max | 2.184-2.485=-0.300 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1539.949-1541.389=-1.440 | | σ | 6.834-6.841=-0.007 | | min | 1536.765-1538.210=-1.445 | | max | 1552.173-1553.626=-1.453 |
| | mean | 1584.000-1641.000=-57.000 | | σ | 0.000 | | min | 1584.000-1641.000=-57.000 | | max | 1584.000-1641.000=-57.000 |
| | mean | 2.363-2.308=0.055 | | σ | 0.256-0.234=0.022 | | min | 2.114-2.147=-0.033 | | max | 2.744-2.704=0.040 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1857.656-1859.117=-1.461 | | σ | 0.057-0.064=-0.007 | | min | 1857.598-1859.040=-1.442 | | max | 1857.735-1859.200=-1.465 |
| | mean | 1761.000-1786.800=-25.800 | | σ | 140.282-147.955=-7.673 | | min | 1584.000-1641.000=-57.000 | | max | 1896.000-1938.000=-42.000 |
| | mean | 3.034-3.059=-0.025 | | σ | 0.261-0.184=0.077 | | min | 2.788-2.887=-0.099 | | max | 3.461-3.355=0.105 |
|