iters=5 new-facts=1 prior-facts=1 | | mean | 278.286-278.284=0.002 | | σ | 0.005-0.006=-0.001 | | min | 278.278-278.276=0.003 | | max | 278.290-278.290=-0.000 |
| | mean | 2741.000-2799.000=-58.000 | | σ | 0.000 | | min | 2741.000-2799.000=-58.000 | | max | 2741.000-2799.000=-58.000 |
| | mean | 0.411-0.409=0.002 | | σ | 0.007-0.008=-0.001 | | min | 0.405-0.400=0.004 | | max | 0.422-0.418=0.005 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2175.531-2175.534=-0.003 | | σ | 0.024-0.035=-0.011 | | min | 2175.501-2175.485=0.017 | | max | 2175.568-2175.574=-0.006 |
| | mean | 2741.000-2799.000=-58.000 | | σ | 0.000 | | min | 2741.000-2799.000=-58.000 | | max | 2741.000-2799.000=-58.000 |
| | mean | 2.966-2.870=0.096 | | σ | 0.123-0.108=0.015 | | min | 2.816-2.764=0.052 | | max | 3.099-3.027=0.072 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5134.571-5134.562=0.010 | | σ | 0.938-0.992=-0.054 | | min | 5134.069-5134.049=0.020 | | max | 5136.240-5136.331=-0.091 |
| | mean | 2741.000-2799.000=-58.000 | | σ | 0.000 | | min | 2741.000-2799.000=-58.000 | | max | 2741.000-2799.000=-58.000 |
| | mean | 8.937-9.101=-0.165 | | σ | 0.353-0.205=0.148 | | min | 8.377-8.901=-0.524 | | max | 9.296-9.441=-0.145 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5238.364-5238.366=-0.002 | | σ | 0.110-0.083=0.027 | | min | 5238.234-5238.293=-0.058 | | max | 5238.483-5238.463=0.020 |
| | mean | 3265.600-3273.200=-7.600 | | σ | 398.472-429.332=-30.860 | | min | 2741.000-2799.000=-58.000 | | max | 3647.000-3833.000=-186.000 |
| | mean | 9.286-9.096=0.190 | | σ | 0.436-0.476=-0.040 | | min | 8.824-8.772=0.052 | | max | 9.916-9.929=-0.014 |
|