iters=5 new-facts=1 prior-facts=1 | | mean | 272.016-271.756=0.260 | | σ | 0.005-0.007=-0.002 | | min | 272.010-271.745=0.265 | | max | 272.024-271.761=0.263 |
| | mean | 2853.000-2882.000=-29.000 | | σ | 0.000 | | min | 2853.000-2882.000=-29.000 | | max | 2853.000-2882.000=-29.000 |
| | mean | 0.385-0.381=0.004 | | σ | 0.009-0.005=0.004 | | min | 0.379-0.375=0.004 | | max | 0.401-0.388=0.012 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.433-1932.179=0.254 | | σ | 0.006-0.009=-0.003 | | min | 1932.425-1932.171=0.254 | | max | 1932.441-1932.194=0.247 |
| | mean | 2853.000-2882.000=-29.000 | | σ | 0.000 | | min | 2853.000-2882.000=-29.000 | | max | 2853.000-2882.000=-29.000 |
| | mean | 3.046-3.035=0.010 | | σ | 0.104-0.092=0.012 | | min | 2.965-2.945=0.020 | | max | 3.171-3.190=-0.019 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4753.084-4752.990=0.095 | | σ | 0.992-0.805=0.188 | | min | 4752.130-4752.542=-0.412 | | max | 4754.764-4754.426=0.338 |
| | mean | 2853.000-2882.000=-29.000 | | σ | 0.000 | | min | 2853.000-2882.000=-29.000 | | max | 2853.000-2882.000=-29.000 |
| | mean | 8.285-7.931=0.354 | | σ | 0.675-0.322=0.353 | | min | 7.682-7.697=-0.016 | | max | 9.029-8.490=0.540 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.555-4943.380=0.176 | | σ | 0.161-0.029=0.133 | | min | 4943.267-4943.342=-0.075 | | max | 4943.636-4943.406=0.230 |
| | mean | 3080.400-3097.800=-17.400 | | σ | 299.873-304.842=-4.969 | | min | 2853.000-2882.000=-29.000 | | max | 3541.000-3571.000=-30.000 |
| | mean | 8.462-8.595=-0.132 | | σ | 0.123-0.320=-0.196 | | min | 8.356-8.367=-0.011 | | max | 8.672-9.134=-0.462 |
|