iters=5 new-facts=1 prior-facts=1 | | mean | 271.955-269.383=2.572 | | σ | 0.006-0.006=-0.000 | | min | 271.947-269.373=2.574 | | max | 271.964-269.389=2.574 |
| | mean | 2454.000-2771.000=-317.000 | | σ | 0.000 | | min | 2454.000-2771.000=-317.000 | | max | 2454.000-2771.000=-317.000 |
| | mean | 0.382-0.378=0.004 | | σ | 0.008-0.003=0.005 | | min | 0.374-0.376=-0.001 | | max | 0.394-0.383=0.011 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.319-1929.743=2.576 | | σ | 0.012-0.020=-0.008 | | min | 1932.299-1929.718=2.581 | | max | 1932.331-1929.762=2.569 |
| | mean | 2454.000-2771.000=-317.000 | | σ | 0.000 | | min | 2454.000-2771.000=-317.000 | | max | 2454.000-2771.000=-317.000 |
| | mean | 3.074-2.986=0.088 | | σ | 0.131-0.127=0.004 | | min | 2.948-2.779=0.168 | | max | 3.276-3.129=0.147 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4753.061-4750.155=2.906 | | σ | 0.907-1.085=-0.179 | | min | 4752.593-4749.466=3.127 | | max | 4754.681-4752.046=2.635 |
| | mean | 2454.000-2771.000=-317.000 | | σ | 0.000 | | min | 2454.000-2771.000=-317.000 | | max | 2454.000-2771.000=-317.000 |
| | mean | 8.617-8.500=0.117 | | σ | 0.536-0.473=0.062 | | min | 7.717-7.744=-0.026 | | max | 9.092-8.991=0.101 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.415-4940.928=2.487 | | σ | 0.309-0.135=0.173 | | min | 4942.863-4940.687=2.176 | | max | 4943.565-4941.005=2.560 |
| | mean | 2963.000-2983.600=-20.600 | | σ | 267.038-271.312=-4.274 | | min | 2602.000-2771.000=-169.000 | | max | 3314.000-3398.000=-84.000 |
| | mean | 8.450-8.433=0.016 | | σ | 0.084-0.121=-0.038 | | min | 8.376-8.354=0.023 | | max | 8.556-8.646=-0.089 |
|