iters=5 new-facts=1 prior-facts=1 | | mean | 278.697-278.697=-0.000 | | σ | 0.014-0.014=0.001 | | min | 278.681-278.683=-0.002 | | max | 278.718-278.719=-0.001 |
| | mean | 2603.000-2632.000=-29.000 | | σ | 0.000 | | min | 2603.000-2632.000=-29.000 | | max | 2603.000-2632.000=-29.000 |
| | mean | 0.418-0.421=-0.003 | | σ | 0.002-0.002=-0.001 | | min | 0.416-0.419=-0.003 | | max | 0.421-0.424=-0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.868-2268.871=-0.003 | | σ | 0.003-0.010=-0.007 | | min | 2268.863-2268.856=0.007 | | max | 2268.870-2268.879=-0.010 |
| | mean | 2603.000-2632.000=-29.000 | | σ | 0.000 | | min | 2603.000-2632.000=-29.000 | | max | 2603.000-2632.000=-29.000 |
| | mean | 2.974-3.027=-0.053 | | σ | 0.079-0.194=-0.115 | | min | 2.921-2.878=0.043 | | max | 3.113-3.368=-0.255 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.351-4952.251=0.100 | | σ | 0.848-0.875=-0.026 | | min | 4951.900-4951.425=0.475 | | max | 4953.866-4953.743=0.122 |
| | mean | 2603.000-2632.000=-29.000 | | σ | 0.000 | | min | 2603.000-2632.000=-29.000 | | max | 2603.000-2632.000=-29.000 |
| | mean | 8.007-7.962=0.046 | | σ | 0.258-0.103=0.154 | | min | 7.673-7.809=-0.136 | | max | 8.319-8.079=0.239 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5167.005-5166.871=0.134 | | σ | 0.150-0.314=-0.164 | | min | 5166.737-5166.373=0.365 | | max | 5167.076-5167.085=-0.009 |
| | mean | 3382.200-3347.800=34.400 | | σ | 481.887-451.569=30.318 | | min | 2725.000-2734.000=-9.000 | | max | 3989.000-3941.000=48.000 |
| | mean | 9.350-9.705=-0.355 | | σ | 0.275-0.527=-0.252 | | min | 8.931-9.107=-0.176 | | max | 9.591-10.329=-0.738 |
|