iters=5 new-facts=1 prior-facts=1 | | mean | 272.769-273.610=-0.841 | | σ | 0.004-0.009=-0.005 | | min | 272.764-273.602=-0.838 | | max | 272.773-273.624=-0.851 |
| | mean | 2420.000-2835.000=-415.000 | | σ | 0.000 | | min | 2420.000-2835.000=-415.000 | | max | 2420.000-2835.000=-415.000 |
| | mean | 0.384-0.384=-0.001 | | σ | 0.004-0.005=-0.001 | | min | 0.380-0.381=-0.001 | | max | 0.389-0.394=-0.005 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.151-1934.004=-0.854 | | σ | 0.020-0.009=0.011 | | min | 1933.123-1933.996=-0.874 | | max | 1933.174-1934.015=-0.841 |
| | mean | 2420.000-2835.000=-415.000 | | σ | 0.000 | | min | 2420.000-2835.000=-415.000 | | max | 2420.000-2835.000=-415.000 |
| | mean | 3.080-2.941=0.140 | | σ | 0.174-0.213=-0.039 | | min | 2.954-2.703=0.251 | | max | 3.388-3.247=0.141 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4753.824-4754.541=-0.718 | | σ | 0.929-1.084=-0.155 | | min | 4752.889-4753.199=-0.310 | | max | 4755.385-4756.226=-0.841 |
| | mean | 2420.000-2835.000=-415.000 | | σ | 0.000 | | min | 2420.000-2835.000=-415.000 | | max | 2420.000-2835.000=-415.000 |
| | mean | 8.410-8.469=-0.058 | | σ | 0.293-0.491=-0.198 | | min | 8.105-7.721=0.384 | | max | 8.846-8.938=-0.092 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.381-4945.081=-0.700 | | σ | 0.023-0.192=-0.169 | | min | 4944.354-4944.859=-0.505 | | max | 4944.406-4945.250=-0.844 |
| | mean | 2898.600-3077.000=-178.400 | | σ | 392.243-230.880=161.363 | | min | 2420.000-2835.000=-415.000 | | max | 3424.000-3414.000=10.000 |
| | mean | 8.404-8.679=-0.275 | | σ | 0.046-0.200=-0.155 | | min | 8.355-8.462=-0.107 | | max | 8.461-8.948=-0.488 |
|