iters=5 new-facts=1 prior-facts=1 | | mean | 277.714-277.715=-0.002 | | σ | 0.009-0.011=-0.003 | | min | 277.700-277.700=-0.001 | | max | 277.722-277.727=-0.005 |
| | mean | 2654.000-2642.000=12.000 | | σ | 0.000 | | min | 2654.000-2642.000=12.000 | | max | 2654.000-2642.000=12.000 |
| | mean | 0.409-0.407=0.003 | | σ | 0.001-0.001=0.000 | | min | 0.408-0.406=0.002 | | max | 0.411-0.408=0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2267.888-2267.889=-0.001 | | σ | 0.004-0.004=0.000 | | min | 2267.885-2267.883=0.002 | | max | 2267.895-2267.892=0.002 |
| | mean | 2654.000-2642.000=12.000 | | σ | 0.000 | | min | 2654.000-2642.000=12.000 | | max | 2654.000-2642.000=12.000 |
| | mean | 3.151-2.890=0.261 | | σ | 0.244-0.198=0.046 | | min | 2.794-2.677=0.117 | | max | 3.439-3.193=0.245 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4955.073-4955.043=0.031 | | σ | 0.811-0.813=-0.002 | | min | 4954.623-4954.627=-0.004 | | max | 4956.520-4956.496=0.024 |
| | mean | 2654.000-2642.000=12.000 | | σ | 0.000 | | min | 2654.000-2642.000=12.000 | | max | 2654.000-2642.000=12.000 |
| | mean | 7.926-8.007=-0.080 | | σ | 0.226-0.267=-0.041 | | min | 7.611-7.808=-0.197 | | max | 8.172-8.462=-0.291 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5169.790-5169.720=0.070 | | σ | 0.091-0.137=-0.046 | | min | 5169.680-5169.516=0.165 | | max | 5169.876-5169.848=0.029 |
| | mean | 3425.400-3434.600=-9.200 | | σ | 461.127-467.157=-6.030 | | min | 2883.000-2809.000=74.000 | | max | 4091.000-4026.000=65.000 |
| | mean | 9.149-9.207=-0.058 | | σ | 0.159-0.200=-0.041 | | min | 8.933-8.939=-0.005 | | max | 9.322-9.498=-0.176 |
|