iters=5 new-facts=1 prior-facts=1 | | mean | 277.195-279.515=-2.321 | | σ | 0.005-0.010=-0.004 | | min | 277.188-279.506=-2.318 | | max | 277.202-279.529=-2.327 |
| | mean | 2650.000-2423.000=227.000 | | σ | 0.000 | | min | 2650.000-2423.000=227.000 | | max | 2650.000-2423.000=227.000 |
| | mean | 0.397-0.413=-0.016 | | σ | 0.008-0.009=-0.002 | | min | 0.392-0.406=-0.014 | | max | 0.411-0.426=-0.016 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.430-2178.437=-4.007 | | σ | 0.005-0.010=-0.005 | | min | 2174.425-2178.421=-3.996 | | max | 2174.436-2178.446=-4.010 |
| | mean | 2650.000-2423.000=227.000 | | σ | 0.000 | | min | 2650.000-2423.000=227.000 | | max | 2650.000-2423.000=227.000 |
| | mean | 3.055-3.465=-0.410 | | σ | 0.146-0.169=-0.023 | | min | 2.809-3.214=-0.405 | | max | 3.199-3.673=-0.474 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5052.638-5056.390=-3.751 | | σ | 0.962-1.012=-0.050 | | min | 5052.036-5055.800=-3.764 | | max | 5054.344-5058.191=-3.847 |
| | mean | 2650.000-2423.000=227.000 | | σ | 0.000 | | min | 2650.000-2423.000=227.000 | | max | 2650.000-2423.000=227.000 |
| | mean | 8.698-8.848=-0.151 | | σ | 0.476-0.560=-0.084 | | min | 8.257-8.376=-0.118 | | max | 9.409-9.743=-0.334 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5188.420-5193.687=-5.267 | | σ | 0.091-0.211=-0.121 | | min | 5188.349-5193.335=-4.987 | | max | 5188.521-5193.853=-5.331 |
| | mean | 3233.000-3232.400=0.600 | | σ | 385.841-368.808=17.033 | | min | 2696.000-2713.000=-17.000 | | max | 3720.000-3678.000=42.000 |
| | mean | 8.992-8.971=0.021 | | σ | 0.407-0.419=-0.012 | | min | 8.725-8.695=0.031 | | max | 9.701-9.713=-0.012 |
|