iters=5 new-facts=1 prior-facts=1 | | mean | 279.512-279.513=-0.001 | | σ | 0.008-0.007=0.001 | | min | 279.504-279.506=-0.002 | | max | 279.519-279.522=-0.003 |
| | mean | 2765.000-2814.000=-49.000 | | σ | 0.000 | | min | 2765.000-2814.000=-49.000 | | max | 2765.000-2814.000=-49.000 |
| | mean | 0.411-0.417=-0.006 | | σ | 0.007-0.008=-0.001 | | min | 0.405-0.406=-0.002 | | max | 0.421-0.426=-0.005 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2178.428-2178.446=-0.018 | | σ | 0.014-0.031=-0.017 | | min | 2178.410-2178.404=0.005 | | max | 2178.439-2178.491=-0.052 |
| | mean | 2765.000-2814.000=-49.000 | | σ | 0.000 | | min | 2765.000-2814.000=-49.000 | | max | 2765.000-2814.000=-49.000 |
| | mean | 3.400-3.215=0.185 | | σ | 0.279-0.297=-0.018 | | min | 3.082-2.730=0.352 | | max | 3.749-3.540=0.209 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5056.410-5056.367=0.043 | | σ | 1.040-0.994=0.046 | | min | 5055.774-5055.811=-0.037 | | max | 5058.259-5058.135=0.124 |
| | mean | 2765.000-2814.000=-49.000 | | σ | 0.000 | | min | 2765.000-2814.000=-49.000 | | max | 2765.000-2814.000=-49.000 |
| | mean | 8.985-8.973=0.012 | | σ | 0.803-0.555=0.249 | | min | 8.122-8.138=-0.016 | | max | 10.091-9.507=0.584 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5193.751-5193.714=0.038 | | σ | 0.087-0.150=-0.063 | | min | 5193.679-5193.493=0.185 | | max | 5193.847-5193.858=-0.011 |
| | mean | 3214.600-3186.400=28.200 | | σ | 440.895-378.827=62.068 | | min | 2765.000-2853.000=-88.000 | | max | 3829.000-3744.000=85.000 |
| | mean | 8.798-8.718=0.080 | | σ | 0.121-0.121=0.000 | | min | 8.715-8.580=0.134 | | max | 9.003-8.895=0.109 |
|