iters=5 new-facts=1 prior-facts=1 | | mean | 278.698-278.698=-0.000 | | σ | 0.015-0.013=0.002 | | min | 278.682-278.683=-0.001 | | max | 278.721-278.715=0.006 |
| | mean | 2594.000-2616.000=-22.000 | | σ | 0.000 | | min | 2594.000-2616.000=-22.000 | | max | 2594.000-2616.000=-22.000 |
| | mean | 0.425-0.417=0.008 | | σ | 0.012-0.002=0.010 | | min | 0.416-0.415=0.001 | | max | 0.439-0.419=0.019 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.867-2268.854=0.013 | | σ | 0.009-0.024=-0.015 | | min | 2268.853-2268.825=0.029 | | max | 2268.875-2268.874=0.002 |
| | mean | 2594.000-2616.000=-22.000 | | σ | 0.000 | | min | 2594.000-2616.000=-22.000 | | max | 2594.000-2616.000=-22.000 |
| | mean | 2.985-3.140=-0.155 | | σ | 0.144-0.148=-0.004 | | min | 2.887-2.912=-0.025 | | max | 3.240-3.272=-0.032 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.244-4952.120=0.124 | | σ | 0.962-0.713=0.250 | | min | 4951.431-4951.416=0.015 | | max | 4953.914-4953.317=0.597 |
| | mean | 2594.000-2616.000=-22.000 | | σ | 0.000 | | min | 2594.000-2616.000=-22.000 | | max | 2594.000-2616.000=-22.000 |
| | mean | 7.934-7.892=0.043 | | σ | 0.288-0.381=-0.093 | | min | 7.636-7.555=0.080 | | max | 8.366-8.547=-0.180 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5167.076-5167.067=0.008 | | σ | 0.014-0.015=-0.001 | | min | 5167.062-5167.055=0.007 | | max | 5167.098-5167.093=0.005 |
| | mean | 3374.400-3366.600=7.800 | | σ | 425.087-452.598=-27.510 | | min | 2801.000-2925.000=-124.000 | | max | 3924.000-3829.000=95.000 |
| | mean | 9.300-9.106=0.194 | | σ | 0.229-0.422=-0.194 | | min | 9.066-8.547=0.519 | | max | 9.557-9.705=-0.148 |
|