iters=5 new-facts=1 prior-facts=1 | | mean | 190.720-190.722=-0.001 | | σ | 0.016-0.012=0.004 | | min | 190.704-190.704=0.000 | | max | 190.741-190.734=0.007 |
| | mean | 2632.000-2604.000=28.000 | | σ | 0.000 | | min | 2632.000-2604.000=28.000 | | max | 2632.000-2604.000=28.000 |
| | mean | 0.280-0.279=0.000 | | σ | 0.000-0.002=-0.002 | | min | 0.279-0.275=0.004 | | max | 0.280-0.281=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1989.492-1989.496=-0.004 | | σ | 0.024-0.009=0.016 | | min | 1989.451-1989.483=-0.032 | | max | 1989.508-1989.505=0.003 |
| | mean | 2632.000-2604.000=28.000 | | σ | 0.000 | | min | 2632.000-2604.000=28.000 | | max | 2632.000-2604.000=28.000 |
| | mean | 2.519-2.394=0.125 | | σ | 0.246-0.080=0.166 | | min | 2.280-2.283=-0.003 | | max | 2.826-2.509=0.317 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4880.073-4879.959=0.115 | | σ | 0.592-0.626=-0.034 | | min | 4879.733-4879.302=0.431 | | max | 4881.122-4880.973=0.149 |
| | mean | 2632.000-2604.000=28.000 | | σ | 0.000 | | min | 2632.000-2604.000=28.000 | | max | 2632.000-2604.000=28.000 |
| | mean | 8.204-7.958=0.245 | | σ | 0.093-0.268=-0.175 | | min | 8.081-7.606=0.475 | | max | 8.331-8.196=0.136 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4891.556-4891.690=-0.135 | | σ | 0.178-0.074=0.104 | | min | 4891.312-4891.622=-0.310 | | max | 4891.773-4891.772=0.001 |
| | mean | 3317.200-3241.000=76.200 | | σ | 425.665-394.228=31.437 | | min | 2897.000-2841.000=56.000 | | max | 3748.000-3629.000=119.000 |
| | mean | 8.114-8.140=-0.026 | | σ | 0.163-0.143=0.021 | | min | 7.946-7.960=-0.014 | | max | 8.316-8.280=0.036 |
|