iters=5 new-facts=1 prior-facts=1 | | mean | 279.514-278.698=0.816 | | σ | 0.007-0.015=-0.008 | | min | 279.504-278.682=0.822 | | max | 279.520-278.721=0.799 |
| | mean | 2745.000-2594.000=151.000 | | σ | 0.000 | | min | 2745.000-2594.000=151.000 | | max | 2745.000-2594.000=151.000 |
| | mean | 0.418-0.425=-0.006 | | σ | 0.005-0.012=-0.006 | | min | 0.412-0.416=-0.004 | | max | 0.425-0.439=-0.013 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2178.399-2268.867=-90.469 | | σ | 0.045-0.009=0.036 | | min | 2178.345-2268.853=-90.508 | | max | 2178.450-2268.875=-90.425 |
| | mean | 2745.000-2594.000=151.000 | | σ | 0.000 | | min | 2745.000-2594.000=151.000 | | max | 2745.000-2594.000=151.000 |
| | mean | 3.386-2.985=0.401 | | σ | 0.208-0.144=0.064 | | min | 3.103-2.887=0.216 | | max | 3.650-3.240=0.410 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5056.384-4952.244=104.140 | | σ | 1.011-0.962=0.049 | | min | 5055.808-4951.431=104.377 | | max | 5058.181-4953.914=104.267 |
| | mean | 2745.000-2594.000=151.000 | | σ | 0.000 | | min | 2745.000-2594.000=151.000 | | max | 2745.000-2594.000=151.000 |
| | mean | 9.111-7.934=1.177 | | σ | 0.570-0.288=0.282 | | min | 8.375-7.636=0.740 | | max | 9.714-8.366=1.347 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5193.742-5167.076=26.667 | | σ | 0.100-0.014=0.085 | | min | 5193.636-5167.062=26.574 | | max | 5193.852-5167.098=26.755 |
| | mean | 3232.800-3374.400=-141.600 | | σ | 466.038-425.087=40.950 | | min | 2745.000-2801.000=-56.000 | | max | 3873.000-3924.000=-51.000 |
| | mean | 8.754-9.300=-0.546 | | σ | 0.124-0.229=-0.105 | | min | 8.676-9.066=-0.390 | | max | 8.972-9.557=-0.585 |
|