iters=5 new-facts=1 prior-facts=1 | | mean | 271.601-274.366=-2.765 | | σ | 0.007-0.010=-0.002 | | min | 271.591-274.355=-2.764 | | max | 271.609-274.379=-2.770 |
| | mean | 2771.000-2852.000=-81.000 | | σ | 0.000 | | min | 2771.000-2852.000=-81.000 | | max | 2771.000-2852.000=-81.000 |
| | mean | 0.384-0.382=0.001 | | σ | 0.007-0.001=0.007 | | min | 0.379-0.382=-0.003 | | max | 0.397-0.383=0.013 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.003-1934.752=-2.749 | | σ | 0.011-0.015=-0.005 | | min | 1931.990-1934.726=-2.736 | | max | 1932.013-1934.765=-2.753 |
| | mean | 2771.000-2852.000=-81.000 | | σ | 0.000 | | min | 2771.000-2852.000=-81.000 | | max | 2771.000-2852.000=-81.000 |
| | mean | 2.579-2.977=-0.398 | | σ | 0.129-0.147=-0.017 | | min | 2.475-2.735=-0.260 | | max | 2.736-3.097=-0.361 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.585-4755.500=-2.915 | | σ | 1.018-0.901=0.117 | | min | 4751.733-4755.011=-3.278 | | max | 4754.354-4757.108=-2.754 |
| | mean | 2771.000-2852.000=-81.000 | | σ | 0.000 | | min | 2771.000-2852.000=-81.000 | | max | 2771.000-2852.000=-81.000 |
| | mean | 8.742-8.701=0.041 | | σ | 0.483-0.324=0.159 | | min | 7.997-8.412=-0.415 | | max | 9.231-9.065=0.166 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.212-4945.979=-2.767 | | σ | 0.015-0.020=-0.004 | | min | 4943.195-4945.955=-2.760 | | max | 4943.230-4946.005=-2.775 |
| | mean | 3040.600-3042.400=-1.800 | | σ | 248.281-252.109=-3.828 | | min | 2771.000-2852.000=-81.000 | | max | 3384.000-3434.000=-50.000 |
| | mean | 8.773-8.412=0.361 | | σ | 0.218-0.056=0.162 | | min | 8.472-8.335=0.137 | | max | 9.023-8.490=0.533 |
|