iters=5 new-facts=1 prior-facts=1 | | mean | 272.792-272.793=-0.001 | | σ | 0.008-0.006=0.002 | | min | 272.785-272.787=-0.002 | | max | 272.804-272.803=0.002 |
| | mean | 2734.000-2522.000=212.000 | | σ | 0.000 | | min | 2734.000-2522.000=212.000 | | max | 2734.000-2522.000=212.000 |
| | mean | 0.382-0.382=-0.000 | | σ | 0.007-0.008=-0.001 | | min | 0.378-0.378=0.001 | | max | 0.395-0.397=-0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.222-1933.215=0.007 | | σ | 0.011-0.015=-0.004 | | min | 1933.211-1933.198=0.013 | | max | 1933.239-1933.233=0.006 |
| | mean | 2734.000-2522.000=212.000 | | σ | 0.000 | | min | 2734.000-2522.000=212.000 | | max | 2734.000-2522.000=212.000 |
| | mean | 3.039-3.052=-0.014 | | σ | 0.183-0.182=0.001 | | min | 2.731-2.895=-0.163 | | max | 3.167-3.347=-0.181 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4756.821-4756.939=-0.118 | | σ | 7.682-7.648=0.034 | | min | 4752.547-4753.459=-0.912 | | max | 4770.534-4770.619=-0.085 |
| | mean | 2734.000-2522.000=212.000 | | σ | 0.000 | | min | 2734.000-2522.000=212.000 | | max | 2734.000-2522.000=212.000 |
| | mean | 7.953-8.658=-0.705 | | σ | 0.390-0.467=-0.077 | | min | 7.648-7.874=-0.226 | | max | 8.576-9.004=-0.428 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.396-4944.389=0.007 | | σ | 0.154-0.153=0.001 | | min | 4944.122-4944.117=0.005 | | max | 4944.482-4944.478=0.004 |
| | mean | 2987.400-2948.800=38.600 | | σ | 303.379-366.627=-63.248 | | min | 2734.000-2522.000=212.000 | | max | 3438.000-3460.000=-22.000 |
| | mean | 8.515-8.600=-0.085 | | σ | 0.266-0.245=0.020 | | min | 8.252-8.329=-0.078 | | max | 8.847-8.969=-0.122 |
|