iters=5 new-facts=1 prior-facts=1 | | mean | 326.442-324.761=1.681 | | σ | 0.049-0.056=-0.007 | | min | 326.355-324.663=1.692 | | max | 326.476-324.797=1.679 |
| | mean | 2757.000-2844.000=-87.000 | | σ | 0.000 | | min | 2757.000-2844.000=-87.000 | | max | 2757.000-2844.000=-87.000 |
| | mean | 0.427-0.418=0.008 | | σ | 0.002-0.005=-0.003 | | min | 0.424-0.414=0.011 | | max | 0.429-0.426=0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.606-1985.331=3.276 | | σ | 0.011-0.007=0.004 | | min | 1988.595-1985.323=3.272 | | max | 1988.619-1985.340=3.279 |
| | mean | 2757.000-2844.000=-87.000 | | σ | 0.000 | | min | 2757.000-2844.000=-87.000 | | max | 2757.000-2844.000=-87.000 |
| | mean | 2.749-2.582=0.166 | | σ | 0.109-0.064=0.045 | | min | 2.631-2.533=0.098 | | max | 2.894-2.672=0.223 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4812.375-4809.111=3.264 | | σ | 7.734-7.673=0.060 | | min | 4808.833-4805.543=3.289 | | max | 4826.209-4822.837=3.372 |
| | mean | 2757.000-2844.000=-87.000 | | σ | 0.000 | | min | 2757.000-2844.000=-87.000 | | max | 2757.000-2844.000=-87.000 |
| | mean | 8.541-8.895=-0.354 | | σ | 0.489-0.451=0.039 | | min | 7.843-8.273=-0.430 | | max | 9.211-9.340=-0.129 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4999.795-4996.491=3.304 | | σ | 0.315-0.195=0.120 | | min | 4999.237-4996.258=2.979 | | max | 4999.996-4996.652=3.345 |
| | mean | 2996.400-3059.000=-62.600 | | σ | 296.086-204.049=92.037 | | min | 2757.000-2844.000=-87.000 | | max | 3440.000-3358.000=82.000 |
| | mean | 9.341-8.629=0.712 | | σ | 0.756-0.188=0.568 | | min | 8.521-8.466=0.055 | | max | 10.168-8.895=1.273 |
|