iters=5 new-facts=1 prior-facts=1 | | mean | 272.016-272.017=-0.001 | | σ | 0.009-0.004=0.004 | | min | 272.001-272.011=-0.010 | | max | 272.024-272.021=0.003 |
| | mean | 2843.000-2876.000=-33.000 | | σ | 0.000 | | min | 2843.000-2876.000=-33.000 | | max | 2843.000-2876.000=-33.000 |
| | mean | 0.387-0.388=-0.002 | | σ | 0.013-0.011=0.002 | | min | 0.371-0.377=-0.006 | | max | 0.403-0.401=0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.435-1932.433=0.001 | | σ | 0.012-0.012=0.000 | | min | 1932.421-1932.414=0.007 | | max | 1932.450-1932.444=0.006 |
| | mean | 2843.000-2876.000=-33.000 | | σ | 0.000 | | min | 2843.000-2876.000=-33.000 | | max | 2843.000-2876.000=-33.000 |
| | mean | 2.950-3.005=-0.054 | | σ | 0.144-0.103=0.041 | | min | 2.721-2.923=-0.202 | | max | 3.079-3.180=-0.101 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4753.166-4753.155=0.011 | | σ | 0.863-0.847=0.016 | | min | 4752.689-4752.667=0.021 | | max | 4754.702-4754.664=0.037 |
| | mean | 2843.000-2876.000=-33.000 | | σ | 0.000 | | min | 2843.000-2876.000=-33.000 | | max | 2843.000-2876.000=-33.000 |
| | mean | 8.526-8.664=-0.138 | | σ | 0.552-0.245=0.306 | | min | 7.598-8.428=-0.831 | | max | 9.041-9.060=-0.020 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.563-4943.418=0.144 | | σ | 0.144-0.201=-0.057 | | min | 4943.306-4943.261=0.045 | | max | 4943.644-4943.668=-0.025 |
| | mean | 3051.400-3073.400=-22.000 | | σ | 206.385-209.972=-3.587 | | min | 2843.000-2876.000=-33.000 | | max | 3321.000-3381.000=-60.000 |
| | mean | 8.514-8.594=-0.080 | | σ | 0.160-0.103=0.057 | | min | 8.334-8.482=-0.148 | | max | 8.735-8.747=-0.012 |
|