iters=5 new-facts=1 prior-facts=1 | | mean | 324.707-324.710=-0.003 | | σ | 0.057-0.046=0.011 | | min | 324.605-324.628=-0.024 | | max | 324.742-324.738=0.004 |
| | mean | 2828.000-2760.000=68.000 | | σ | 0.000 | | min | 2828.000-2760.000=68.000 | | max | 2828.000-2760.000=68.000 |
| | mean | 0.428-0.426=0.002 | | σ | 0.008-0.006=0.002 | | min | 0.423-0.423=0.000 | | max | 0.442-0.437=0.005 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.264-1985.265=-0.001 | | σ | 0.012-0.009=0.003 | | min | 1985.249-1985.251=-0.002 | | max | 1985.277-1985.276=0.002 |
| | mean | 2828.000-2760.000=68.000 | | σ | 0.000 | | min | 2828.000-2760.000=68.000 | | max | 2828.000-2760.000=68.000 |
| | mean | 2.741-2.604=0.137 | | σ | 0.166-0.106=0.061 | | min | 2.563-2.461=0.102 | | max | 2.917-2.751=0.167 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.564-4808.774=-0.210 | | σ | 7.904-7.694=0.210 | | min | 4804.203-4804.796=-0.592 | | max | 4822.668-4822.526=0.141 |
| | mean | 2828.000-2760.000=68.000 | | σ | 0.000 | | min | 2828.000-2760.000=68.000 | | max | 2828.000-2760.000=68.000 |
| | mean | 8.598-8.672=-0.073 | | σ | 0.749-0.537=0.212 | | min | 7.727-7.765=-0.038 | | max | 9.357-9.085=0.272 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.402-4996.404=-0.003 | | σ | 0.140-0.175=-0.035 | | min | 4996.152-4996.092=0.060 | | max | 4996.473-4996.493=-0.020 |
| | mean | 3025.800-3058.400=-32.600 | | σ | 264.493-268.997=-4.504 | | min | 2828.000-2760.000=68.000 | | max | 3423.000-3330.000=93.000 |
| | mean | 8.505-8.927=-0.422 | | σ | 0.054-0.460=-0.406 | | min | 8.431-8.527=-0.095 | | max | 8.576-9.518=-0.942 |
|