iters=5 new-facts=1 prior-facts=1 | | mean | 272.757-272.756=0.001 | | σ | 0.003-0.006=-0.003 | | min | 272.752-272.749=0.003 | | max | 272.761-272.765=-0.004 |
| | mean | 2413.000-2487.000=-74.000 | | σ | 0.000 | | min | 2413.000-2487.000=-74.000 | | max | 2413.000-2487.000=-74.000 |
| | mean | 0.385-0.382=0.003 | | σ | 0.006-0.008=-0.003 | | min | 0.380-0.377=0.003 | | max | 0.393-0.397=-0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.157-1933.168=-0.012 | | σ | 0.018-0.021=-0.003 | | min | 1933.132-1933.140=-0.008 | | max | 1933.180-1933.194=-0.014 |
| | mean | 2413.000-2487.000=-74.000 | | σ | 0.000 | | min | 2413.000-2487.000=-74.000 | | max | 2413.000-2487.000=-74.000 |
| | mean | 2.837-3.009=-0.172 | | σ | 0.244-0.135=0.109 | | min | 2.504-2.778=-0.275 | | max | 3.152-3.129=0.023 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4756.724-4756.907=-0.182 | | σ | 7.714-7.595=0.119 | | min | 4752.877-4753.473=-0.596 | | max | 4770.512-4770.493=0.020 |
| | mean | 2413.000-2487.000=-74.000 | | σ | 0.000 | | min | 2413.000-2487.000=-74.000 | | max | 2413.000-2487.000=-74.000 |
| | mean | 8.636-8.604=0.032 | | σ | 0.385-0.369=0.016 | | min | 8.082-8.040=0.042 | | max | 9.026-8.974=0.052 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.254-4944.386=-0.133 | | σ | 0.193-0.028=0.165 | | min | 4944.026-4944.345=-0.320 | | max | 4944.403-4944.414=-0.011 |
| | mean | 2894.800-2933.200=-38.400 | | σ | 388.802-381.955=6.847 | | min | 2413.000-2487.000=-74.000 | | max | 3400.000-3442.000=-42.000 |
| | mean | 8.422-8.477=-0.055 | | σ | 0.068-0.151=-0.082 | | min | 8.366-8.380=-0.014 | | max | 8.517-8.743=-0.226 |
|