iters=5 new-facts=1 prior-facts=1 | | mean | 285.439-285.395=0.044 | | σ | 0.010-0.013=-0.003 | | min | 285.424-285.374=0.050 | | max | 285.448-285.410=0.039 |
| | mean | 1552.000-1637.000=-85.000 | | σ | 0.000 | | min | 1552.000-1637.000=-85.000 | | max | 1552.000-1637.000=-85.000 |
| | mean | 0.382-0.384=-0.002 | | σ | 0.008-0.009=-0.001 | | min | 0.374-0.374=0.000 | | max | 0.390-0.392=-0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.518-1285.354=0.164 | | σ | 0.091-0.130=-0.039 | | min | 1285.355-1285.289=0.066 | | max | 1285.569-1285.587=-0.018 |
| | mean | 1552.000-1637.000=-85.000 | | σ | 0.000 | | min | 1552.000-1637.000=-85.000 | | max | 1552.000-1637.000=-85.000 |
| | mean | 2.006-2.011=-0.005 | | σ | 0.271-0.153=0.118 | | min | 1.737-1.852=-0.115 | | max | 2.448-2.181=0.267 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1705.834-1807.717=-101.884 | | σ | 6.835-6.993=-0.158 | | min | 1702.664-1804.314=-101.650 | | max | 1718.057-1820.209=-102.152 |
| | mean | 1552.000-1637.000=-85.000 | | σ | 0.000 | | min | 1552.000-1637.000=-85.000 | | max | 1552.000-1637.000=-85.000 |
| | mean | 2.921-4.277=-1.355 | | σ | 0.179-0.307=-0.128 | | min | 2.744-3.978=-1.234 | | max | 3.115-4.773=-1.658 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1968.427-2070.176=-101.749 | | σ | 0.041-0.009=0.032 | | min | 1968.363-2070.165=-101.801 | | max | 1968.478-2070.190=-101.712 |
| | mean | 1791.400-1831.800=-40.400 | | σ | 210.461-169.188=41.273 | | min | 1552.000-1637.000=-85.000 | | max | 2084.000-2067.000=17.000 |
| | mean | 3.297-4.485=-1.187 | | σ | 0.432-0.057=0.375 | | min | 2.970-4.417=-1.447 | | max | 4.036-4.562=-0.526 |
|