iters=5 new-facts=1 prior-facts=1 | | mean | 324.701-324.585=0.116 | | σ | 0.056-0.044=0.012 | | min | 324.602-324.507=0.095 | | max | 324.734-324.616=0.118 |
| | mean | 2835.000-2443.000=392.000 | | σ | 0.000 | | min | 2835.000-2443.000=392.000 | | max | 2835.000-2443.000=392.000 |
| | mean | 0.426-0.426=-0.001 | | σ | 0.001-0.004=-0.003 | | min | 0.424-0.424=0.000 | | max | 0.427-0.434=-0.007 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.254-1985.145=0.109 | | σ | 0.017-0.016=0.001 | | min | 1985.236-1985.118=0.118 | | max | 1985.275-1985.155=0.119 |
| | mean | 2835.000-2443.000=392.000 | | σ | 0.000 | | min | 2835.000-2443.000=392.000 | | max | 2835.000-2443.000=392.000 |
| | mean | 2.695-2.668=0.027 | | σ | 0.207-0.182=0.024 | | min | 2.567-2.511=0.057 | | max | 3.046-2.959=0.088 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.909-4808.746=0.163 | | σ | 7.610-7.678=-0.068 | | min | 4805.354-4805.293=0.062 | | max | 4822.520-4822.481=0.038 |
| | mean | 2835.000-2443.000=392.000 | | σ | 0.000 | | min | 2835.000-2443.000=392.000 | | max | 2835.000-2443.000=392.000 |
| | mean | 8.573-8.968=-0.395 | | σ | 0.744-0.103=0.641 | | min | 7.330-8.889=-1.559 | | max | 9.113-9.130=-0.017 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.399-4996.346=0.053 | | σ | 0.151-0.012=0.140 | | min | 4996.130-4996.330=-0.199 | | max | 4996.485-4996.358=0.127 |
| | mean | 3064.800-2941.000=123.800 | | σ | 305.065-448.875=-143.810 | | min | 2835.000-2443.000=392.000 | | max | 3538.000-3549.000=-11.000 |
| | mean | 8.645-8.589=0.056 | | σ | 0.178-0.126=0.052 | | min | 8.452-8.456=-0.004 | | max | 8.832-8.730=0.102 |
|