iters=5 new-facts=1 prior-facts=1 | | mean | 303.505-303.512=-0.007 | | σ | 0.072-0.055=0.017 | | min | 303.388-303.431=-0.042 | | max | 303.568-303.571=-0.003 |
| | mean | 1617.000-1626.000=-9.000 | | σ | 0.000 | | min | 1617.000-1626.000=-9.000 | | max | 1617.000-1626.000=-9.000 |
| | mean | 0.391-0.388=0.003 | | σ | 0.001-0.001=0.000 | | min | 0.390-0.387=0.003 | | max | 0.393-0.390=0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1326.062-1326.079=-0.017 | | σ | 0.109-0.135=-0.026 | | min | 1325.931-1325.895=0.035 | | max | 1326.200-1326.236=-0.036 |
| | mean | 1617.000-1626.000=-9.000 | | σ | 0.000 | | min | 1617.000-1626.000=-9.000 | | max | 1617.000-1626.000=-9.000 |
| | mean | 1.901-1.955=-0.054 | | σ | 0.056-0.121=-0.065 | | min | 1.849-1.827=0.021 | | max | 1.965-2.139=-0.174 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1564.122-1564.102=0.020 | | σ | 6.930-6.897=0.033 | | min | 1560.824-1560.787=0.037 | | max | 1576.513-1576.434=0.079 |
| | mean | 1617.000-1626.000=-9.000 | | σ | 0.000 | | min | 1617.000-1626.000=-9.000 | | max | 1617.000-1626.000=-9.000 |
| | mean | 2.332-2.290=0.041 | | σ | 0.294-0.218=0.076 | | min | 2.071-2.156=-0.084 | | max | 2.748-2.677=0.071 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1894.003-1894.013=-0.010 | | σ | 0.062-0.075=-0.014 | | min | 1893.894-1893.880=0.014 | | max | 1894.043-1894.056=-0.013 |
| | mean | 1763.200-1758.000=5.200 | | σ | 173.701-137.455=36.246 | | min | 1617.000-1626.000=-9.000 | | max | 2032.000-1954.000=78.000 |
| | mean | 2.932-2.866=0.066 | | σ | 0.169-0.123=0.047 | | min | 2.717-2.669=0.048 | | max | 3.160-2.989=0.170 |
|