iters=5 new-facts=1 prior-facts=1 | | mean | 278.280-278.283=-0.003 | | σ | 0.006-0.007=-0.002 | | min | 278.274-278.271=0.002 | | max | 278.288-278.292=-0.004 |
| | mean | 2797.000-2710.000=87.000 | | σ | 0.000 | | min | 2797.000-2710.000=87.000 | | max | 2797.000-2710.000=87.000 |
| | mean | 0.409-0.407=0.002 | | σ | 0.007-0.005=0.003 | | min | 0.403-0.403=-0.000 | | max | 0.419-0.415=0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2175.528-2175.512=0.017 | | σ | 0.011-0.032=-0.021 | | min | 2175.514-2175.468=0.046 | | max | 2175.538-2175.547=-0.009 |
| | mean | 2797.000-2710.000=87.000 | | σ | 0.000 | | min | 2797.000-2710.000=87.000 | | max | 2797.000-2710.000=87.000 |
| | mean | 2.916-2.998=-0.082 | | σ | 0.129-0.129=0.000 | | min | 2.796-2.821=-0.025 | | max | 3.107-3.149=-0.042 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5134.486-5134.604=-0.117 | | σ | 1.016-1.006=0.011 | | min | 5133.724-5133.990=-0.266 | | max | 5136.275-5136.389=-0.115 |
| | mean | 2797.000-2710.000=87.000 | | σ | 0.000 | | min | 2797.000-2710.000=87.000 | | max | 2797.000-2710.000=87.000 |
| | mean | 9.289-8.943=0.346 | | σ | 0.271-0.548=-0.278 | | min | 8.965-8.340=0.625 | | max | 9.587-9.714=-0.128 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5238.301-5238.368=-0.068 | | σ | 0.198-0.081=0.117 | | min | 5237.971-5238.292=-0.321 | | max | 5238.463-5238.466=-0.003 |
| | mean | 3280.000-3232.400=47.600 | | σ | 454.073-388.905=65.167 | | min | 2797.000-2710.000=87.000 | | max | 3899.000-3602.000=297.000 |
| | mean | 9.035-9.187=-0.152 | | σ | 0.427-0.275=0.152 | | min | 8.744-8.861=-0.117 | | max | 9.785-9.551=0.234 |
|