iters=5 new-facts=1 prior-facts=1 | | mean | 275.755-279.509=-3.754 | | σ | 0.011-0.007=0.004 | | min | 275.741-279.500=-3.759 | | max | 275.767-279.517=-3.750 |
| | mean | 2689.000-2767.000=-78.000 | | σ | 0.000 | | min | 2689.000-2767.000=-78.000 | | max | 2689.000-2767.000=-78.000 |
| | mean | 0.405-0.408=-0.002 | | σ | 0.009-0.001=0.008 | | min | 0.398-0.406=-0.007 | | max | 0.418-0.409=0.009 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.286-2178.429=-10.143 | | σ | 0.006-0.040=-0.034 | | min | 2168.277-2178.358=-10.081 | | max | 2168.291-2178.455=-10.163 |
| | mean | 2689.000-2767.000=-78.000 | | σ | 0.000 | | min | 2689.000-2767.000=-78.000 | | max | 2689.000-2767.000=-78.000 |
| | mean | 2.975-3.316=-0.341 | | σ | 0.217-0.185=0.031 | | min | 2.682-2.996=-0.314 | | max | 3.258-3.469=-0.211 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5048.149-5056.276=-8.127 | | σ | 0.916-0.744=0.172 | | min | 5047.544-5055.777=-8.233 | | max | 5049.774-5057.593=-7.819 |
| | mean | 2689.000-2767.000=-78.000 | | σ | 0.000 | | min | 2689.000-2767.000=-78.000 | | max | 2689.000-2767.000=-78.000 |
| | mean | 8.761-8.789=-0.029 | | σ | 0.539-0.655=-0.116 | | min | 8.061-8.279=-0.218 | | max | 9.301-9.823=-0.522 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.229-5193.761=-14.532 | | σ | 0.076-0.087=-0.011 | | min | 5179.143-5193.695=-14.552 | | max | 5179.310-5193.857=-14.546 |
| | mean | 3227.400-3288.800=-61.400 | | σ | 389.684-395.904=-6.220 | | min | 2702.000-2767.000=-65.000 | | max | 3736.000-3670.000=66.000 |
| | mean | 9.771-8.858=0.913 | | σ | 0.657-0.086=0.571 | | min | 8.728-8.740=-0.012 | | max | 10.438-8.954=1.484 |
|