iters=5 new-facts=1 prior-facts=1 | | mean | 272.757-272.759=-0.002 | | σ | 0.005-0.006=-0.001 | | min | 272.754-272.754=-0.001 | | max | 272.766-272.767=-0.001 |
| | mean | 2771.000-2704.000=67.000 | | σ | 0.000 | | min | 2771.000-2704.000=67.000 | | max | 2771.000-2704.000=67.000 |
| | mean | 0.385-0.383=0.002 | | σ | 0.007-0.004=0.003 | | min | 0.381-0.379=0.002 | | max | 0.397-0.390=0.008 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.122-1933.130=-0.008 | | σ | 0.017-0.011=0.006 | | min | 1933.100-1933.121=-0.020 | | max | 1933.141-1933.146=-0.004 |
| | mean | 2771.000-2704.000=67.000 | | σ | 0.000 | | min | 2771.000-2704.000=67.000 | | max | 2771.000-2704.000=67.000 |
| | mean | 3.118-3.103=0.015 | | σ | 0.095-0.094=0.001 | | min | 3.006-2.990=0.016 | | max | 3.232-3.189=0.043 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4753.881-4753.838=0.044 | | σ | 0.905-0.938=-0.032 | | min | 4753.399-4753.128=0.271 | | max | 4755.495-4755.479=0.016 |
| | mean | 2771.000-2704.000=67.000 | | σ | 0.000 | | min | 2771.000-2704.000=67.000 | | max | 2771.000-2704.000=67.000 |
| | mean | 8.511-8.480=0.031 | | σ | 0.423-0.498=-0.075 | | min | 7.894-7.962=-0.068 | | max | 8.895-9.063=-0.168 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.222-4944.357=-0.135 | | σ | 0.310-0.018=0.292 | | min | 4943.668-4944.332=-0.664 | | max | 4944.381-4944.375=0.006 |
| | mean | 3016.000-2996.000=20.000 | | σ | 304.687-328.917=-24.230 | | min | 2771.000-2704.000=67.000 | | max | 3467.000-3465.000=2.000 |
| | mean | 8.483-8.433=0.050 | | σ | 0.126-0.095=0.031 | | min | 8.382-8.327=0.054 | | max | 8.650-8.564=0.086 |
|