iters=5 new-facts=1 prior-facts=1 | | mean | 272.756-272.759=-0.003 | | σ | 0.007-0.004=0.003 | | min | 272.744-272.751=-0.007 | | max | 272.764-272.763=0.001 |
| | mean | 2847.000-2786.000=61.000 | | σ | 0.000 | | min | 2847.000-2786.000=61.000 | | max | 2847.000-2786.000=61.000 |
| | mean | 0.382-0.387=-0.005 | | σ | 0.001-0.005=-0.003 | | min | 0.380-0.381=-0.001 | | max | 0.384-0.394=-0.011 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.130-1933.132=-0.002 | | σ | 0.011-0.012=-0.001 | | min | 1933.114-1933.115=-0.001 | | max | 1933.140-1933.145=-0.005 |
| | mean | 2847.000-2786.000=61.000 | | σ | 0.000 | | min | 2847.000-2786.000=61.000 | | max | 2847.000-2786.000=61.000 |
| | mean | 3.025-3.085=-0.060 | | σ | 0.211-0.285=-0.074 | | min | 2.758-2.661=0.097 | | max | 3.350-3.439=-0.090 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4753.876-4753.801=0.075 | | σ | 0.911-1.024=-0.113 | | min | 4753.388-4752.814=0.574 | | max | 4755.501-4755.535=-0.034 |
| | mean | 2847.000-2786.000=61.000 | | σ | 0.000 | | min | 2847.000-2786.000=61.000 | | max | 2847.000-2786.000=61.000 |
| | mean | 8.624-8.326=0.298 | | σ | 0.552-0.645=-0.094 | | min | 7.796-7.666=0.130 | | max | 9.155-9.033=0.122 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.290-4944.367=-0.077 | | σ | 0.172-0.019=0.153 | | min | 4943.983-4944.343=-0.360 | | max | 4944.390-4944.385=0.005 |
| | mean | 3019.600-3024.400=-4.800 | | σ | 237.901-300.725=-62.824 | | min | 2847.000-2786.000=61.000 | | max | 3396.000-3478.000=-82.000 |
| | mean | 8.438-8.510=-0.072 | | σ | 0.119-0.197=-0.078 | | min | 8.332-8.345=-0.013 | | max | 8.614-8.737=-0.123 |
|