iters=5 new-facts=1 prior-facts=1 | | mean | 278.822-278.827=-0.005 | | σ | 0.006-0.004=0.002 | | min | 278.813-278.820=-0.008 | | max | 278.829-278.830=-0.002 |
| | mean | 2696.000-2728.000=-32.000 | | σ | 0.000 | | min | 2696.000-2728.000=-32.000 | | max | 2696.000-2728.000=-32.000 |
| | mean | 0.415-0.413=0.002 | | σ | 0.012-0.006=0.006 | | min | 0.407-0.407=0.000 | | max | 0.436-0.421=0.015 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.896-2268.889=0.007 | | σ | 0.013-0.011=0.002 | | min | 2268.881-2268.877=0.004 | | max | 2268.913-2268.904=0.009 |
| | mean | 2696.000-2728.000=-32.000 | | σ | 0.000 | | min | 2696.000-2728.000=-32.000 | | max | 2696.000-2728.000=-32.000 |
| | mean | 3.207-3.105=0.102 | | σ | 0.130-0.131=-0.000 | | min | 3.069-2.926=0.143 | | max | 3.359-3.274=0.086 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.063-4954.306=-0.243 | | σ | 1.154-0.943=0.211 | | min | 4952.789-4953.665=-0.875 | | max | 4955.941-4955.972=-0.032 |
| | mean | 2696.000-2728.000=-32.000 | | σ | 0.000 | | min | 2696.000-2728.000=-32.000 | | max | 2696.000-2728.000=-32.000 |
| | mean | 8.014-7.980=0.034 | | σ | 0.357-0.412=-0.054 | | min | 7.752-7.707=0.045 | | max | 8.603-8.707=-0.105 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5168.821-5168.827=-0.006 | | σ | 0.089-0.086=0.003 | | min | 5168.721-5168.731=-0.010 | | max | 5168.888-5168.892=-0.004 |
| | mean | 3333.400-3366.800=-33.400 | | σ | 392.528-410.074=-17.546 | | min | 2943.000-2967.000=-24.000 | | max | 3728.000-3786.000=-58.000 |
| | mean | 9.238-9.306=-0.068 | | σ | 0.330-0.185=0.145 | | min | 8.949-9.064=-0.115 | | max | 9.700-9.505=0.195 |
|