iters=5 new-facts=1 prior-facts=1 | | mean | 272.750-271.956=0.794 | | σ | 0.017-0.004=0.013 | | min | 272.720-271.949=0.771 | | max | 272.762-271.959=0.803 |
| | mean | 2504.000-2778.000=-274.000 | | σ | 0.000 | | min | 2504.000-2778.000=-274.000 | | max | 2504.000-2778.000=-274.000 |
| | mean | 0.382-0.380=0.002 | | σ | 0.004-0.003=0.002 | | min | 0.380-0.378=0.002 | | max | 0.389-0.384=0.005 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.162-1932.324=0.838 | | σ | 0.010-0.019=-0.009 | | min | 1933.147-1932.311=0.836 | | max | 1933.174-1932.357=0.817 |
| | mean | 2504.000-2778.000=-274.000 | | σ | 0.000 | | min | 2504.000-2778.000=-274.000 | | max | 2504.000-2778.000=-274.000 |
| | mean | 3.122-2.889=0.233 | | σ | 0.087-0.252=-0.165 | | min | 3.013-2.476=0.537 | | max | 3.207-3.119=0.088 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4757.011-4753.084=3.927 | | σ | 7.594-0.898=6.697 | | min | 4753.421-4752.600=0.821 | | max | 4770.595-4754.680=15.915 |
| | mean | 2504.000-2778.000=-274.000 | | σ | 0.000 | | min | 2504.000-2778.000=-274.000 | | max | 2504.000-2778.000=-274.000 |
| | mean | 8.036-8.574=-0.539 | | σ | 0.540-0.416=0.124 | | min | 7.698-8.047=-0.350 | | max | 8.992-8.984=0.009 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.402-4943.482=0.920 | | σ | 0.016-0.158=-0.142 | | min | 4944.383-4943.200=1.183 | | max | 4944.415-4943.570=0.844 |
| | mean | 2945.400-2982.400=-37.000 | | σ | 392.293-218.367=173.926 | | min | 2504.000-2778.000=-274.000 | | max | 3478.000-3313.000=165.000 |
| | mean | 8.524-8.605=-0.080 | | σ | 0.152-0.338=-0.186 | | min | 8.365-8.339=0.027 | | max | 8.690-9.173=-0.483 |
|