iters=5 new-facts=1 prior-facts=1 | | mean | 270.239-270.238=0.001 | | σ | 0.006-0.010=-0.004 | | min | 270.233-270.226=0.007 | | max | 270.246-270.250=-0.004 |
| | mean | 2775.000-2420.000=355.000 | | σ | 0.000 | | min | 2775.000-2420.000=355.000 | | max | 2775.000-2420.000=355.000 |
| | mean | 0.378-0.383=-0.005 | | σ | 0.006-0.012=-0.006 | | min | 0.370-0.371=-0.001 | | max | 0.386-0.399=-0.012 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.704-1930.701=0.003 | | σ | 0.008-0.015=-0.008 | | min | 1930.694-1930.677=0.017 | | max | 1930.715-1930.712=0.003 |
| | mean | 2775.000-2420.000=355.000 | | σ | 0.000 | | min | 2775.000-2420.000=355.000 | | max | 2775.000-2420.000=355.000 |
| | mean | 2.529-2.597=-0.068 | | σ | 0.093-0.254=-0.161 | | min | 2.446-2.435=0.010 | | max | 2.645-3.041=-0.396 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.285-4751.381=-0.096 | | σ | 0.905-0.848=0.057 | | min | 4750.494-4750.895=-0.401 | | max | 4752.847-4752.893=-0.046 |
| | mean | 2775.000-2420.000=355.000 | | σ | 0.000 | | min | 2775.000-2420.000=355.000 | | max | 2775.000-2420.000=355.000 |
| | mean | 8.501-8.608=-0.107 | | σ | 0.198-0.271=-0.072 | | min | 8.191-8.398=-0.207 | | max | 8.744-9.076=-0.332 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.792-4941.865=-0.073 | | σ | 0.156-0.018=0.138 | | min | 4941.518-4941.840=-0.323 | | max | 4941.888-4941.880=0.007 |
| | mean | 3059.800-2987.400=72.400 | | σ | 261.851-264.430=-2.579 | | min | 2775.000-2633.000=142.000 | | max | 3424.000-3310.000=114.000 |
| | mean | 8.653-8.463=0.191 | | σ | 0.277-0.075=0.203 | | min | 8.348-8.382=-0.033 | | max | 8.982-8.558=0.424 |
|