iters=5 new-facts=1 prior-facts=1 | | mean | 278.821-278.828=-0.007 | | σ | 0.004-0.004=0.000 | | min | 278.816-278.822=-0.006 | | max | 278.827-278.833=-0.006 |
| | mean | 2640.000-2694.000=-54.000 | | σ | 0.000 | | min | 2640.000-2694.000=-54.000 | | max | 2640.000-2694.000=-54.000 |
| | mean | 0.410-0.411=-0.001 | | σ | 0.001-0.006=-0.004 | | min | 0.409-0.407=0.002 | | max | 0.412-0.418=-0.006 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.885-2268.868=0.016 | | σ | 0.016-0.059=-0.042 | | min | 2268.861-2268.766=0.095 | | max | 2268.907-2268.910=-0.004 |
| | mean | 2640.000-2694.000=-54.000 | | σ | 0.000 | | min | 2640.000-2694.000=-54.000 | | max | 2640.000-2694.000=-54.000 |
| | mean | 3.029-3.067=-0.038 | | σ | 0.134-0.171=-0.036 | | min | 2.887-2.892=-0.005 | | max | 3.203-3.310=-0.106 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.288-4954.186=0.103 | | σ | 0.872-1.039=-0.167 | | min | 4953.844-4953.258=0.586 | | max | 4955.845-4955.958=-0.114 |
| | mean | 2640.000-2694.000=-54.000 | | σ | 0.000 | | min | 2640.000-2694.000=-54.000 | | max | 2640.000-2694.000=-54.000 |
| | mean | 8.031-7.994=0.037 | | σ | 0.191-0.422=-0.231 | | min | 7.808-7.645=0.162 | | max | 8.278-8.711=-0.433 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5168.826-5168.827=-0.001 | | σ | 0.090-0.090=0.000 | | min | 5168.726-5168.728=-0.002 | | max | 5168.906-5168.906=-0.001 |
| | mean | 3458.400-3436.800=21.600 | | σ | 495.702-473.191=22.511 | | min | 2845.000-2885.000=-40.000 | | max | 4166.000-4123.000=43.000 |
| | mean | 9.284-9.369=-0.084 | | σ | 0.299-0.355=-0.055 | | min | 8.951-9.081=-0.130 | | max | 9.616-9.844=-0.229 |
|