iters=5 new-facts=1 prior-facts=1 | | mean | 278.703-278.702=0.000 | | σ | 0.014-0.014=-0.000 | | min | 278.689-278.689=-0.000 | | max | 278.724-278.725=-0.001 |
| | mean | 2603.000-2640.000=-37.000 | | σ | 0.000 | | min | 2603.000-2640.000=-37.000 | | max | 2603.000-2640.000=-37.000 |
| | mean | 0.419-0.419=0.000 | | σ | 0.001-0.001=-0.000 | | min | 0.418-0.417=0.001 | | max | 0.420-0.420=0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.877-2268.874=0.003 | | σ | 0.004-0.008=-0.003 | | min | 2268.873-2268.862=0.010 | | max | 2268.884-2268.883=0.000 |
| | mean | 2603.000-2640.000=-37.000 | | σ | 0.000 | | min | 2603.000-2640.000=-37.000 | | max | 2603.000-2640.000=-37.000 |
| | mean | 2.926-2.940=-0.014 | | σ | 0.067-0.043=0.024 | | min | 2.864-2.906=-0.042 | | max | 3.039-3.013=0.027 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.346-4952.343=0.004 | | σ | 0.868-0.787=0.081 | | min | 4951.889-4951.888=0.001 | | max | 4953.894-4953.745=0.149 |
| | mean | 2603.000-2640.000=-37.000 | | σ | 0.000 | | min | 2603.000-2640.000=-37.000 | | max | 2603.000-2640.000=-37.000 |
| | mean | 8.135-8.031=0.104 | | σ | 0.290-0.247=0.043 | | min | 7.855-7.834=0.021 | | max | 8.479-8.438=0.041 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5167.082-5167.014=0.067 | | σ | 0.021-0.163=-0.142 | | min | 5167.051-5166.724=0.328 | | max | 5167.104-5167.102=0.002 |
| | mean | 3422.400-3366.200=56.200 | | σ | 455.195-445.930=9.265 | | min | 2807.000-2770.000=37.000 | | max | 3993.000-3948.000=45.000 |
| | mean | 9.081-9.371=-0.289 | | σ | 0.296-0.503=-0.207 | | min | 8.582-8.970=-0.389 | | max | 9.331-10.229=-0.898 |
|