iters=5 new-facts=1 prior-facts=1 | | mean | 277.712-277.714=-0.002 | | σ | 0.010-0.009=0.002 | | min | 277.697-277.700=-0.003 | | max | 277.722-277.722=0.001 |
| | mean | 2653.000-2654.000=-1.000 | | σ | 0.000 | | min | 2653.000-2654.000=-1.000 | | max | 2653.000-2654.000=-1.000 |
| | mean | 0.409-0.409=-0.000 | | σ | 0.001-0.001=-0.000 | | min | 0.408-0.408=-0.001 | | max | 0.410-0.411=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2267.876-2267.888=-0.012 | | σ | 0.021-0.004=0.017 | | min | 2267.841-2267.885=-0.044 | | max | 2267.897-2267.895=0.002 |
| | mean | 2653.000-2654.000=-1.000 | | σ | 0.000 | | min | 2653.000-2654.000=-1.000 | | max | 2653.000-2654.000=-1.000 |
| | mean | 3.238-3.151=0.088 | | σ | 0.285-0.244=0.041 | | min | 2.915-2.794=0.121 | | max | 3.692-3.439=0.254 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4955.081-4955.073=0.007 | | σ | 0.798-0.811=-0.013 | | min | 4954.651-4954.623=0.027 | | max | 4956.504-4956.520=-0.016 |
| | mean | 2653.000-2654.000=-1.000 | | σ | 0.000 | | min | 2653.000-2654.000=-1.000 | | max | 2653.000-2654.000=-1.000 |
| | mean | 7.785-7.926=-0.141 | | σ | 0.181-0.226=-0.045 | | min | 7.589-7.611=-0.022 | | max | 8.027-8.172=-0.145 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5169.717-5169.790=-0.073 | | σ | 0.152-0.091=0.061 | | min | 5169.484-5169.680=-0.196 | | max | 5169.866-5169.876=-0.010 |
| | mean | 3329.200-3425.400=-96.200 | | σ | 428.120-461.127=-33.007 | | min | 2912.000-2883.000=29.000 | | max | 3767.000-4091.000=-324.000 |
| | mean | 9.237-9.149=0.088 | | σ | 0.350-0.159=0.192 | | min | 8.911-8.933=-0.022 | | max | 9.777-9.322=0.455 |
|