iters=5 new-facts=1 prior-facts=1 | | mean | 278.674-278.672=0.002 | | σ | 0.014-0.015=-0.001 | | min | 278.661-278.657=0.003 | | max | 278.696-278.697=-0.001 |
| | mean | 2658.000-2604.000=54.000 | | σ | 0.000 | | min | 2658.000-2604.000=54.000 | | max | 2658.000-2604.000=54.000 |
| | mean | 0.417-0.417=-0.001 | | σ | 0.001-0.001=0.000 | | min | 0.416-0.417=-0.001 | | max | 0.418-0.419=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.847-2268.835=0.012 | | σ | 0.005-0.013=-0.007 | | min | 2268.840-2268.816=0.024 | | max | 2268.855-2268.850=0.004 |
| | mean | 2658.000-2604.000=54.000 | | σ | 0.000 | | min | 2658.000-2604.000=54.000 | | max | 2658.000-2604.000=54.000 |
| | mean | 2.980-2.967=0.014 | | σ | 0.099-0.105=-0.006 | | min | 2.898-2.893=0.004 | | max | 3.090-3.150=-0.060 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.233-4952.325=-0.092 | | σ | 0.890-0.924=-0.034 | | min | 4951.415-4951.723=-0.308 | | max | 4953.759-4953.965=-0.207 |
| | mean | 2658.000-2604.000=54.000 | | σ | 0.000 | | min | 2658.000-2604.000=54.000 | | max | 2658.000-2604.000=54.000 |
| | mean | 7.835-8.089=-0.254 | | σ | 0.147-0.514=-0.367 | | min | 7.614-7.757=-0.143 | | max | 8.024-8.989=-0.965 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5167.052-5166.985=0.067 | | σ | 0.012-0.160=-0.148 | | min | 5167.039-5166.699=0.340 | | max | 5167.069-5167.071=-0.002 |
| | mean | 3395.400-3368.200=27.200 | | σ | 465.737-493.587=-27.850 | | min | 2753.000-2772.000=-19.000 | | max | 3988.000-4084.000=-96.000 |
| | mean | 9.060-9.330=-0.270 | | σ | 0.259-0.313=-0.054 | | min | 8.763-8.864=-0.101 | | max | 9.425-9.688=-0.263 |
|