iters=5 new-facts=1 prior-facts=1 | | mean | 275.757-277.182=-1.425 | | σ | 0.010-0.015=-0.005 | | min | 275.745-277.165=-1.420 | | max | 275.767-277.201=-1.434 |
| | mean | 2651.000-2690.000=-39.000 | | σ | 0.000 | | min | 2651.000-2690.000=-39.000 | | max | 2651.000-2690.000=-39.000 |
| | mean | 0.396-0.404=-0.009 | | σ | 0.011-0.002=0.010 | | min | 0.387-0.402=-0.015 | | max | 0.409-0.406=0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.277-2174.443=-6.166 | | σ | 0.019-0.017=0.002 | | min | 2168.248-2174.423=-6.175 | | max | 2168.295-2174.469=-6.174 |
| | mean | 2651.000-2690.000=-39.000 | | σ | 0.000 | | min | 2651.000-2690.000=-39.000 | | max | 2651.000-2690.000=-39.000 |
| | mean | 2.883-2.933=-0.050 | | σ | 0.258-0.101=0.157 | | min | 2.619-2.765=-0.146 | | max | 3.282-3.040=0.242 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5048.110-5052.592=-4.482 | | σ | 0.890-0.986=-0.096 | | min | 5047.590-5051.987=-4.397 | | max | 5049.690-5054.343=-4.653 |
| | mean | 2651.000-2690.000=-39.000 | | σ | 0.000 | | min | 2651.000-2690.000=-39.000 | | max | 2651.000-2690.000=-39.000 |
| | mean | 8.836-9.089=-0.253 | | σ | 0.527-0.571=-0.044 | | min | 8.044-8.078=-0.033 | | max | 9.460-9.445=0.014 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.227-5188.426=-9.199 | | σ | 0.079-0.088=-0.009 | | min | 5179.155-5188.358=-9.203 | | max | 5179.315-5188.531=-9.216 |
| | mean | 3258.000-3230.000=28.000 | | σ | 461.522-365.865=95.658 | | min | 2653.000-2702.000=-49.000 | | max | 3873.000-3689.000=184.000 |
| | mean | 9.872-8.948=0.924 | | σ | 0.200-0.406=-0.206 | | min | 9.636-8.674=0.961 | | max | 10.129-9.658=0.471 |
|