iters=5 new-facts=1 prior-facts=1 | | mean | 325.322-325.313=0.010 | | σ | 0.039-0.055=-0.016 | | min | 325.253-325.215=0.039 | | max | 325.349-325.345=0.004 |
| | mean | 2691.000-2835.000=-144.000 | | σ | 0.000 | | min | 2691.000-2835.000=-144.000 | | max | 2691.000-2835.000=-144.000 |
| | mean | 0.428-0.426=0.002 | | σ | 0.004-0.003=0.001 | | min | 0.425-0.424=0.001 | | max | 0.433-0.431=0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.846-1985.880=-0.034 | | σ | 0.071-0.012=0.059 | | min | 1985.721-1985.863=-0.143 | | max | 1985.891-1985.894=-0.004 |
| | mean | 2691.000-2835.000=-144.000 | | σ | 0.000 | | min | 2691.000-2835.000=-144.000 | | max | 2691.000-2835.000=-144.000 |
| | mean | 2.737-2.665=0.072 | | σ | 0.146-0.049=0.097 | | min | 2.560-2.611=-0.051 | | max | 2.944-2.741=0.203 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4809.638-4809.409=0.228 | | σ | 7.672-7.491=0.181 | | min | 4806.177-4805.745=0.432 | | max | 4823.361-4822.806=0.556 |
| | mean | 2691.000-2835.000=-144.000 | | σ | 0.000 | | min | 2691.000-2835.000=-144.000 | | max | 2691.000-2835.000=-144.000 |
| | mean | 8.736-8.686=0.049 | | σ | 0.187-0.354=-0.167 | | min | 8.465-8.147=0.319 | | max | 8.975-9.049=-0.074 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4817.030-4997.182=-180.152 | | σ | 402.875-0.021=402.854 | | min | 4096.345-4997.159=-900.814 | | max | 4997.224-4997.210=0.014 |
| | mean | 2978.600-3059.000=-80.400 | | σ | 240.904-238.566=2.339 | | min | 2691.000-2835.000=-144.000 | | max | 3317.000-3409.000=-92.000 |
| | mean | 8.794-8.730=0.064 | | σ | 0.964-0.084=0.880 | | min | 7.287-8.582=-1.294 | | max | 9.637-8.786=0.852 |
|