iters=5 new-facts=1 prior-facts=1 | | mean | 271.751-271.757=-0.005 | | σ | 0.006-0.008=-0.002 | | min | 271.742-271.744=-0.001 | | max | 271.757-271.763=-0.006 |
| | mean | 2663.000-2852.000=-189.000 | | σ | 0.000 | | min | 2663.000-2852.000=-189.000 | | max | 2663.000-2852.000=-189.000 |
| | mean | 0.379-0.382=-0.003 | | σ | 0.007-0.007=-0.000 | | min | 0.369-0.372=-0.003 | | max | 0.389-0.393=-0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.172-1932.184=-0.012 | | σ | 0.016-0.007=0.009 | | min | 1932.148-1932.177=-0.028 | | max | 1932.190-1932.193=-0.003 |
| | mean | 2663.000-2852.000=-189.000 | | σ | 0.000 | | min | 2663.000-2852.000=-189.000 | | max | 2663.000-2852.000=-189.000 |
| | mean | 2.933-2.996=-0.063 | | σ | 0.254-0.067=0.187 | | min | 2.489-2.909=-0.420 | | max | 3.107-3.086=0.021 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.896-4752.914=-0.018 | | σ | 1.010-0.901=0.109 | | min | 4752.354-4752.426=-0.072 | | max | 4754.700-4754.518=0.182 |
| | mean | 2663.000-2852.000=-189.000 | | σ | 0.000 | | min | 2663.000-2852.000=-189.000 | | max | 2663.000-2852.000=-189.000 |
| | mean | 8.929-8.569=0.359 | | σ | 0.487-0.380=0.107 | | min | 8.396-8.046=0.350 | | max | 9.716-8.984=0.732 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.302-4943.377=-0.075 | | σ | 0.152-0.019=0.133 | | min | 4943.031-4943.357=-0.325 | | max | 4943.391-4943.398=-0.007 |
| | mean | 2973.600-3017.200=-43.600 | | σ | 244.337-185.598=58.739 | | min | 2663.000-2852.000=-189.000 | | max | 3306.000-3304.000=2.000 |
| | mean | 8.608-8.616=-0.008 | | σ | 0.195-0.118=0.077 | | min | 8.456-8.480=-0.025 | | max | 8.929-8.773=0.156 |
|