iters=5 new-facts=1 prior-facts=1 | | mean | 270.596-270.607=-0.010 | | σ | 0.015-0.004=0.011 | | min | 270.580-270.602=-0.022 | | max | 270.615-270.610=0.005 |
| | mean | 2859.000-2768.000=91.000 | | σ | 0.000 | | min | 2859.000-2768.000=91.000 | | max | 2859.000-2768.000=91.000 |
| | mean | 0.381-0.379=0.002 | | σ | 0.005-0.008=-0.003 | | min | 0.376-0.372=0.004 | | max | 0.389-0.393=-0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1931.042-1931.047=-0.005 | | σ | 0.006-0.008=-0.002 | | min | 1931.033-1931.037=-0.004 | | max | 1931.048-1931.057=-0.009 |
| | mean | 2859.000-2768.000=91.000 | | σ | 0.000 | | min | 2859.000-2768.000=91.000 | | max | 2859.000-2768.000=91.000 |
| | mean | 3.009-2.915=0.095 | | σ | 0.052-0.144=-0.092 | | min | 2.960-2.708=0.252 | | max | 3.074-3.081=-0.007 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.820-4751.721=0.099 | | σ | 0.843-0.894=-0.051 | | min | 4751.356-4751.261=0.095 | | max | 4753.321-4753.319=0.002 |
| | mean | 2859.000-2768.000=91.000 | | σ | 0.000 | | min | 2859.000-2768.000=91.000 | | max | 2859.000-2768.000=91.000 |
| | mean | 8.144-8.729=-0.585 | | σ | 0.423-0.292=0.131 | | min | 7.693-8.300=-0.607 | | max | 8.627-9.068=-0.441 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4942.151-4942.227=-0.075 | | σ | 0.166-0.013=0.153 | | min | 4941.857-4942.212=-0.355 | | max | 4942.241-4942.237=0.004 |
| | mean | 3085.400-2955.000=130.400 | | σ | 301.803-256.102=45.702 | | min | 2859.000-2768.000=91.000 | | max | 3550.000-3362.000=188.000 |
| | mean | 8.464-8.430=0.033 | | σ | 0.199-0.040=0.159 | | min | 8.311-8.378=-0.067 | | max | 8.811-8.487=0.324 |
|