iters=5 new-facts=1 prior-facts=1 | | mean | 285.389-285.391=-0.001 | | σ | 0.012-0.012=0.000 | | min | 285.370-285.371=-0.001 | | max | 285.399-285.401=-0.002 |
| | mean | 1632.000-1639.000=-7.000 | | σ | 0.000 | | min | 1632.000-1639.000=-7.000 | | max | 1632.000-1639.000=-7.000 |
| | mean | 0.377-0.377=-0.000 | | σ | 0.009-0.006=0.003 | | min | 0.370-0.373=-0.003 | | max | 0.387-0.387=0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.353-1285.358=-0.005 | | σ | 0.136-0.137=-0.000 | | min | 1285.288-1285.288=-0.000 | | max | 1285.597-1285.602=-0.006 |
| | mean | 1632.000-1639.000=-7.000 | | σ | 0.000 | | min | 1632.000-1639.000=-7.000 | | max | 1632.000-1639.000=-7.000 |
| | mean | 1.942-1.925=0.018 | | σ | 0.152-0.124=0.029 | | min | 1.823-1.807=0.017 | | max | 2.170-2.129=0.041 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.707-1807.698=0.009 | | σ | 7.037-7.001=0.036 | | min | 1804.329-1804.330=-0.000 | | max | 1820.280-1820.205=0.075 |
| | mean | 1632.000-1639.000=-7.000 | | σ | 0.000 | | min | 1632.000-1639.000=-7.000 | | max | 1632.000-1639.000=-7.000 |
| | mean | 4.288-4.195=0.092 | | σ | 0.275-0.172=0.103 | | min | 4.047-4.011=0.037 | | max | 4.719-4.388=0.331 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.181-2070.178=0.004 | | σ | 0.009-0.013=-0.004 | | min | 2070.173-2070.167=0.006 | | max | 2070.196-2070.200=-0.004 |
| | mean | 1834.600-1841.000=-6.400 | | σ | 174.630-179.492=-4.862 | | min | 1632.000-1639.000=-7.000 | | max | 2069.000-2077.000=-8.000 |
| | mean | 4.573-4.587=-0.014 | | σ | 0.075-0.207=-0.132 | | min | 4.494-4.413=0.081 | | max | 4.697-4.942=-0.246 |
|