iters=5 new-facts=1 prior-facts=1 | | mean | 277.717-277.713=0.004 | | σ | 0.008-0.007=0.002 | | min | 277.708-277.703=0.005 | | max | 277.728-277.721=0.007 |
| | mean | 2664.000-2692.000=-28.000 | | σ | 0.000 | | min | 2664.000-2692.000=-28.000 | | max | 2664.000-2692.000=-28.000 |
| | mean | 0.410-0.412=-0.001 | | σ | 0.001-0.000=0.001 | | min | 0.409-0.411=-0.002 | | max | 0.411-0.412=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2267.890-2267.887=0.003 | | σ | 0.011-0.006=0.005 | | min | 2267.876-2267.879=-0.003 | | max | 2267.906-2267.895=0.012 |
| | mean | 2664.000-2692.000=-28.000 | | σ | 0.000 | | min | 2664.000-2692.000=-28.000 | | max | 2664.000-2692.000=-28.000 |
| | mean | 3.161-2.955=0.205 | | σ | 0.138-0.021=0.117 | | min | 2.981-2.932=0.049 | | max | 3.319-2.974=0.345 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.960-4954.929=0.031 | | σ | 0.555-0.845=-0.290 | | min | 4954.655-4954.231=0.423 | | max | 4955.950-4956.385=-0.435 |
| | mean | 2664.000-2692.000=-28.000 | | σ | 0.000 | | min | 2664.000-2692.000=-28.000 | | max | 2664.000-2692.000=-28.000 |
| | mean | 7.879-7.913=-0.033 | | σ | 0.142-0.201=-0.060 | | min | 7.677-7.725=-0.048 | | max | 8.053-8.246=-0.193 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5169.792-5169.696=0.095 | | σ | 0.090-0.127=-0.037 | | min | 5169.693-5169.497=0.196 | | max | 5169.872-5169.849=0.022 |
| | mean | 3390.600-3402.600=-12.000 | | σ | 546.545-453.714=92.831 | | min | 2897.000-2819.000=78.000 | | max | 4168.000-4010.000=158.000 |
| | mean | 9.167-9.711=-0.544 | | σ | 0.312-0.486=-0.174 | | min | 8.796-9.366=-0.569 | | max | 9.577-10.537=-0.961 |
|