iters=5 new-facts=1 prior-facts=1 | | mean | 285.674-285.676=-0.002 | | σ | 0.009-0.010=-0.001 | | min | 285.658-285.664=-0.005 | | max | 285.682-285.692=-0.011 |
| | mean | 1632.000-1635.000=-3.000 | | σ | 0.000 | | min | 1632.000-1635.000=-3.000 | | max | 1632.000-1635.000=-3.000 |
| | mean | 0.377-0.375=0.002 | | σ | 0.001-0.001=0.001 | | min | 0.375-0.374=0.001 | | max | 0.379-0.376=0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.639-1285.639=-0.000 | | σ | 0.135-0.132=0.004 | | min | 1285.573-1285.574=-0.001 | | max | 1285.881-1285.875=0.006 |
| | mean | 1632.000-1635.000=-3.000 | | σ | 0.000 | | min | 1632.000-1635.000=-3.000 | | max | 1632.000-1635.000=-3.000 |
| | mean | 1.933-1.897=0.036 | | σ | 0.132-0.077=0.055 | | min | 1.850-1.820=0.030 | | max | 2.167-2.019=0.148 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.971-1807.971=0.000 | | σ | 7.065-7.002=0.063 | | min | 1804.604-1804.623=-0.018 | | max | 1820.594-1820.481=0.113 |
| | mean | 1632.000-1635.000=-3.000 | | σ | 0.000 | | min | 1632.000-1635.000=-3.000 | | max | 1632.000-1635.000=-3.000 |
| | mean | 4.226-4.170=0.056 | | σ | 0.373-0.146=0.227 | | min | 3.965-3.927=0.038 | | max | 4.883-4.306=0.577 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.462-2070.459=0.004 | | σ | 0.010-0.008=0.002 | | min | 2070.448-2070.447=0.001 | | max | 2070.477-2070.467=0.011 |
| | mean | 1834.800-1861.800=-27.000 | | σ | 172.498-194.879=-22.380 | | min | 1632.000-1635.000=-3.000 | | max | 2073.000-2078.000=-5.000 |
| | mean | 4.522-4.465=0.057 | | σ | 0.069-0.029=0.041 | | min | 4.440-4.442=-0.003 | | max | 4.609-4.514=0.095 |
|