iters=5 new-facts=1 prior-facts=1 | | mean | 272.759-272.769=-0.010 | | σ | 0.006-0.008=-0.002 | | min | 272.754-272.758=-0.004 | | max | 272.767-272.778=-0.011 |
| | mean | 2704.000-2421.000=283.000 | | σ | 0.000 | | min | 2704.000-2421.000=283.000 | | max | 2704.000-2421.000=283.000 |
| | mean | 0.383-0.383=0.000 | | σ | 0.004-0.005=-0.001 | | min | 0.379-0.379=0.000 | | max | 0.390-0.390=-0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.130-1933.158=-0.028 | | σ | 0.011-0.021=-0.011 | | min | 1933.121-1933.124=-0.004 | | max | 1933.146-1933.177=-0.032 |
| | mean | 2704.000-2421.000=283.000 | | σ | 0.000 | | min | 2704.000-2421.000=283.000 | | max | 2704.000-2421.000=283.000 |
| | mean | 3.103-3.127=-0.024 | | σ | 0.094-0.152=-0.058 | | min | 2.990-2.953=0.036 | | max | 3.189-3.352=-0.163 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4753.838-4753.937=-0.100 | | σ | 0.938-0.824=0.114 | | min | 4753.128-4753.521=-0.393 | | max | 4755.479-4755.409=0.070 |
| | mean | 2704.000-2421.000=283.000 | | σ | 0.000 | | min | 2704.000-2421.000=283.000 | | max | 2704.000-2421.000=283.000 |
| | mean | 8.480-8.342=0.138 | | σ | 0.498-0.336=0.162 | | min | 7.962-7.765=0.197 | | max | 9.063-8.557=0.506 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.357-4944.317=0.040 | | σ | 0.018-0.163=-0.144 | | min | 4944.332-4944.027=0.304 | | max | 4944.375-4944.409=-0.034 |
| | mean | 2996.000-2906.800=89.200 | | σ | 328.917-406.809=-77.892 | | min | 2704.000-2438.000=266.000 | | max | 3465.000-3461.000=4.000 |
| | mean | 8.433-8.498=-0.065 | | σ | 0.095-0.168=-0.073 | | min | 8.327-8.343=-0.016 | | max | 8.564-8.781=-0.217 |
|