iters=5 new-facts=1 prior-facts=1 | | mean | 328.772-328.800=-0.028 | | σ | 0.054-0.069=-0.015 | | min | 328.676-328.676=-0.001 | | max | 328.806-328.838=-0.032 |
| | mean | 2788.000-2836.000=-48.000 | | σ | 0.000 | | min | 2788.000-2836.000=-48.000 | | max | 2788.000-2836.000=-48.000 |
| | mean | 0.447-0.447=0.000 | | σ | 0.011-0.013=-0.002 | | min | 0.433-0.434=-0.001 | | max | 0.458-0.462=-0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1989.319-1989.320=-0.000 | | σ | 0.013-0.014=-0.001 | | min | 1989.306-1989.303=0.003 | | max | 1989.334-1989.332=0.002 |
| | mean | 2788.000-2836.000=-48.000 | | σ | 0.000 | | min | 2788.000-2836.000=-48.000 | | max | 2788.000-2836.000=-48.000 |
| | mean | 3.079-3.039=0.040 | | σ | 0.052-0.138=-0.086 | | min | 3.025-2.845=0.180 | | max | 3.163-3.215=-0.051 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.059-4812.936=0.122 | | σ | 7.798-7.852=-0.054 | | min | 4809.425-4808.980=0.445 | | max | 4827.006-4826.974=0.031 |
| | mean | 2788.000-2836.000=-48.000 | | σ | 0.000 | | min | 2788.000-2836.000=-48.000 | | max | 2788.000-2836.000=-48.000 |
| | mean | 8.507-8.735=-0.228 | | σ | 0.524-0.265=0.259 | | min | 7.683-8.407=-0.724 | | max | 9.134-9.146=-0.013 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5000.516-5000.535=-0.018 | | σ | 0.160-0.159=0.001 | | min | 5000.233-5000.253=-0.020 | | max | 5000.608-5000.629=-0.021 |
| | mean | 3052.600-3017.000=35.600 | | σ | 237.106-201.149=35.957 | | min | 2788.000-2836.000=-48.000 | | max | 3359.000-3325.000=34.000 |
| | mean | 8.890-8.837=0.053 | | σ | 0.439-0.436=0.004 | | min | 8.463-8.515=-0.052 | | max | 9.548-9.597=-0.048 |
|