iters=5 new-facts=1 prior-facts=1 | | mean | 278.676-278.681=-0.005 | | σ | 0.012-0.006=0.006 | | min | 278.661-278.672=-0.011 | | max | 278.692-278.689=0.003 |
| | mean | 2816.000-2851.000=-35.000 | | σ | 0.000 | | min | 2816.000-2851.000=-35.000 | | max | 2816.000-2851.000=-35.000 |
| | mean | 0.422-0.418=0.004 | | σ | 0.010-0.001=0.009 | | min | 0.416-0.416=0.000 | | max | 0.440-0.419=0.021 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.845-2268.846=-0.001 | | σ | 0.010-0.007=0.003 | | min | 2268.830-2268.835=-0.005 | | max | 2268.855-2268.853=0.002 |
| | mean | 2816.000-2851.000=-35.000 | | σ | 0.000 | | min | 2816.000-2851.000=-35.000 | | max | 2816.000-2851.000=-35.000 |
| | mean | 3.148-2.963=0.185 | | σ | 0.225-0.129=0.096 | | min | 2.791-2.887=-0.096 | | max | 3.349-3.192=0.157 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.203-4952.203=-0.000 | | σ | 0.766-0.747=0.019 | | min | 4951.816-4951.836=-0.020 | | max | 4953.571-4953.538=0.033 |
| | mean | 2816.000-2851.000=-35.000 | | σ | 0.000 | | min | 2816.000-2851.000=-35.000 | | max | 2816.000-2851.000=-35.000 |
| | mean | 7.730-7.723=0.007 | | σ | 0.148-0.097=0.052 | | min | 7.586-7.639=-0.053 | | max | 7.915-7.833=0.082 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5166.891-5166.823=0.068 | | σ | 0.022-0.163=-0.141 | | min | 5166.868-5166.532=0.335 | | max | 5166.915-5166.911=0.005 |
| | mean | 3335.800-3390.400=-54.600 | | σ | 389.056-422.393=-33.337 | | min | 2938.000-2851.000=87.000 | | max | 3715.000-3975.000=-260.000 |
| | mean | 8.758-8.728=0.030 | | σ | 0.337-0.125=0.212 | | min | 8.459-8.628=-0.169 | | max | 9.133-8.937=0.196 |
|