iters=5 new-facts=1 prior-facts=1 | | mean | 277.713-190.717=86.997 | | σ | 0.007-0.007=-0.001 | | min | 277.703-190.704=86.999 | | max | 277.721-190.722=86.999 |
| | mean | 2692.000-2723.000=-31.000 | | σ | 0.000 | | min | 2692.000-2723.000=-31.000 | | max | 2692.000-2723.000=-31.000 |
| | mean | 0.412-0.282=0.129 | | σ | 0.000-0.005=-0.004 | | min | 0.411-0.279=0.132 | | max | 0.412-0.290=0.121 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2267.887-1989.490=278.396 | | σ | 0.006-0.023=-0.017 | | min | 2267.879-1989.460=278.419 | | max | 2267.895-1989.513=278.382 |
| | mean | 2692.000-2723.000=-31.000 | | σ | 0.000 | | min | 2692.000-2723.000=-31.000 | | max | 2692.000-2723.000=-31.000 |
| | mean | 2.955-2.732=0.224 | | σ | 0.021-0.241=-0.220 | | min | 2.932-2.413=0.519 | | max | 2.974-3.076=-0.101 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.929-4880.093=74.836 | | σ | 0.845-0.560=0.285 | | min | 4954.231-4879.728=74.503 | | max | 4956.385-4881.071=75.314 |
| | mean | 2692.000-2723.000=-31.000 | | σ | 0.000 | | min | 2692.000-2723.000=-31.000 | | max | 2692.000-2723.000=-31.000 |
| | mean | 7.913-8.260=-0.347 | | σ | 0.201-0.135=0.066 | | min | 7.725-8.083=-0.358 | | max | 8.246-8.451=-0.205 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5169.696-4891.699=277.997 | | σ | 0.127-0.080=0.047 | | min | 5169.497-4891.631=277.866 | | max | 5169.849-4891.798=278.051 |
| | mean | 3402.600-3339.600=63.000 | | σ | 453.714-497.844=-44.130 | | min | 2819.000-2723.000=96.000 | | max | 4010.000-3821.000=189.000 |
| | mean | 9.711-8.186=1.525 | | σ | 0.486-0.162=0.324 | | min | 9.366-8.004=1.362 | | max | 10.537-8.382=2.155 |
|