iters=5 new-facts=1 prior-facts=1 | | mean | 278.285-278.285=-0.000 | | σ | 0.006-0.006=-0.000 | | min | 278.276-278.277=-0.001 | | max | 278.294-278.295=-0.001 |
| | mean | 2789.000-2705.000=84.000 | | σ | 0.000 | | min | 2789.000-2705.000=84.000 | | max | 2789.000-2705.000=84.000 |
| | mean | 0.408-0.409=-0.001 | | σ | 0.008-0.007=0.001 | | min | 0.402-0.403=-0.001 | | max | 0.423-0.419=0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2175.503-2175.530=-0.026 | | σ | 0.017-0.011=0.006 | | min | 2175.490-2175.519=-0.029 | | max | 2175.531-2175.548=-0.017 |
| | mean | 2789.000-2705.000=84.000 | | σ | 0.000 | | min | 2789.000-2705.000=84.000 | | max | 2789.000-2705.000=84.000 |
| | mean | 2.952-3.000=-0.048 | | σ | 0.158-0.264=-0.106 | | min | 2.788-2.754=0.034 | | max | 3.207-3.415=-0.208 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5134.479-5134.579=-0.100 | | σ | 1.106-1.015=0.091 | | min | 5133.457-5134.024=-0.567 | | max | 5136.374-5136.388=-0.014 |
| | mean | 2789.000-2705.000=84.000 | | σ | 0.000 | | min | 2789.000-2705.000=84.000 | | max | 2789.000-2705.000=84.000 |
| | mean | 8.971-9.083=-0.111 | | σ | 0.484-0.408=0.076 | | min | 8.338-8.744=-0.406 | | max | 9.506-9.772=-0.266 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5238.168-5238.308=-0.141 | | σ | 0.294-0.121=0.173 | | min | 5237.766-5238.132=-0.366 | | max | 5238.474-5238.474=0.000 |
| | mean | 3350.800-3257.400=93.400 | | σ | 440.999-476.461=-35.462 | | min | 2789.000-2705.000=84.000 | | max | 3777.000-3896.000=-119.000 |
| | mean | 9.012-8.881=0.132 | | σ | 0.108-0.138=-0.029 | | min | 8.849-8.734=0.115 | | max | 9.128-9.053=0.074 |
|