iters=5 new-facts=1 prior-facts=1 | | mean | 326.454-324.766=1.687 | | σ | 0.027-0.050=-0.023 | | min | 326.406-324.678=1.729 | | max | 326.471-324.795=1.676 |
| | mean | 2615.000-2429.000=186.000 | | σ | 0.000 | | min | 2615.000-2429.000=186.000 | | max | 2615.000-2429.000=186.000 |
| | mean | 0.422-0.431=-0.008 | | σ | 0.001-0.012=-0.011 | | min | 0.421-0.421=0.000 | | max | 0.424-0.448=-0.024 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.616-1985.319=3.297 | | σ | 0.012-0.013=-0.001 | | min | 1988.598-1985.305=3.293 | | max | 1988.630-1985.334=3.297 |
| | mean | 2615.000-2429.000=186.000 | | σ | 0.000 | | min | 2615.000-2429.000=186.000 | | max | 2615.000-2429.000=186.000 |
| | mean | 2.717-2.624=0.092 | | σ | 0.106-0.096=0.010 | | min | 2.640-2.535=0.105 | | max | 2.889-2.739=0.150 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.328-4808.980=4.348 | | σ | 7.758-7.745=0.013 | | min | 4809.407-4805.008=4.399 | | max | 4827.198-4822.824=4.374 |
| | mean | 2615.000-2429.000=186.000 | | σ | 0.000 | | min | 2615.000-2429.000=186.000 | | max | 2615.000-2429.000=186.000 |
| | mean | 8.669-8.930=-0.261 | | σ | 0.332-0.424=-0.092 | | min | 8.188-8.587=-0.398 | | max | 9.123-9.613=-0.490 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.010-4996.632=4.379 | | σ | 0.023-0.013=0.010 | | min | 5000.983-4996.614=4.369 | | max | 5001.033-4996.646=4.387 |
| | mean | 3010.000-2995.400=14.600 | | σ | 293.102-324.019=-30.917 | | min | 2615.000-2571.000=44.000 | | max | 3386.000-3408.000=-22.000 |
| | mean | 9.769-8.612=1.157 | | σ | 0.152-0.108=0.044 | | min | 9.584-8.491=1.093 | | max | 10.004-8.716=1.288 |
|