iters=5 new-facts=1 prior-facts=1 | | mean | 271.758-271.755=0.003 | | σ | 0.005-0.007=-0.002 | | min | 271.753-271.748=0.005 | | max | 271.765-271.765=-0.000 |
| | mean | 2886.000-2764.000=122.000 | | σ | 0.000 | | min | 2886.000-2764.000=122.000 | | max | 2886.000-2764.000=122.000 |
| | mean | 0.381-0.382=-0.002 | | σ | 0.004-0.006=-0.002 | | min | 0.377-0.376=0.000 | | max | 0.386-0.391=-0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.175-1932.183=-0.009 | | σ | 0.007-0.010=-0.003 | | min | 1932.168-1932.173=-0.005 | | max | 1932.184-1932.198=-0.014 |
| | mean | 2886.000-2764.000=122.000 | | σ | 0.000 | | min | 2886.000-2764.000=122.000 | | max | 2886.000-2764.000=122.000 |
| | mean | 3.094-2.913=0.181 | | σ | 0.097-0.177=-0.080 | | min | 3.008-2.604=0.404 | | max | 3.252-3.052=0.199 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.965-4752.771=0.194 | | σ | 0.881-0.602=0.279 | | min | 4752.385-4752.444=-0.059 | | max | 4754.527-4753.845=0.683 |
| | mean | 2886.000-2764.000=122.000 | | σ | 0.000 | | min | 2886.000-2764.000=122.000 | | max | 2886.000-2764.000=122.000 |
| | mean | 8.243-8.588=-0.345 | | σ | 0.501-0.305=0.196 | | min | 7.755-8.178=-0.423 | | max | 9.031-8.919=0.111 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.307-4943.377=-0.070 | | σ | 0.166-0.018=0.148 | | min | 4943.012-4943.350=-0.337 | | max | 4943.402-4943.399=0.003 |
| | mean | 3069.000-3041.800=27.200 | | σ | 265.868-233.898=31.971 | | min | 2886.000-2764.000=122.000 | | max | 3484.000-3324.000=160.000 |
| | mean | 8.479-8.710=-0.231 | | σ | 0.217-0.373=-0.156 | | min | 8.235-8.425=-0.190 | | max | 8.790-9.332=-0.542 |
|