iters=5 new-facts=1 prior-facts=1 | | mean | 275.755-279.539=-3.784 | | σ | 0.011-0.006=0.005 | | min | 275.741-279.532=-3.792 | | max | 275.767-279.546=-3.779 |
| | mean | 2689.000-2741.000=-52.000 | | σ | 0.000 | | min | 2689.000-2741.000=-52.000 | | max | 2689.000-2741.000=-52.000 |
| | mean | 0.405-0.407=-0.002 | | σ | 0.009-0.006=0.003 | | min | 0.398-0.403=-0.004 | | max | 0.418-0.416=0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.286-2178.460=-10.174 | | σ | 0.006-0.010=-0.005 | | min | 2168.277-2178.452=-10.175 | | max | 2168.291-2178.477=-10.185 |
| | mean | 2689.000-2741.000=-52.000 | | σ | 0.000 | | min | 2689.000-2741.000=-52.000 | | max | 2689.000-2741.000=-52.000 |
| | mean | 2.975-3.316=-0.341 | | σ | 0.217-0.196=0.021 | | min | 2.682-3.085=-0.404 | | max | 3.258-3.610=-0.352 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5048.149-5056.387=-8.238 | | σ | 0.916-0.987=-0.071 | | min | 5047.544-5055.795=-8.252 | | max | 5049.774-5058.142=-8.368 |
| | mean | 2689.000-2741.000=-52.000 | | σ | 0.000 | | min | 2689.000-2741.000=-52.000 | | max | 2689.000-2741.000=-52.000 |
| | mean | 8.761-9.088=-0.327 | | σ | 0.539-0.469=0.070 | | min | 8.061-8.281=-0.221 | | max | 9.301-9.508=-0.207 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.229-5193.719=-14.490 | | σ | 0.076-0.120=-0.044 | | min | 5179.143-5193.537=-14.394 | | max | 5179.310-5193.875=-14.564 |
| | mean | 3227.400-3284.200=-56.800 | | σ | 389.684-405.493=-15.809 | | min | 2702.000-2741.000=-39.000 | | max | 3736.000-3672.000=64.000 |
| | mean | 9.771-8.798=0.973 | | σ | 0.657-0.068=0.589 | | min | 8.728-8.708=0.021 | | max | 10.438-8.884=1.554 |
|