iters=5 new-facts=1 prior-facts=1 | | mean | 270.517-270.517=-0.000 | | σ | 0.005-0.007=-0.002 | | min | 270.509-270.505=0.004 | | max | 270.522-270.523=-0.001 |
| | mean | 2859.000-2839.000=20.000 | | σ | 0.000 | | min | 2859.000-2839.000=20.000 | | max | 2859.000-2839.000=20.000 |
| | mean | 0.381-0.382=-0.001 | | σ | 0.006-0.009=-0.002 | | min | 0.378-0.378=0.000 | | max | 0.392-0.398=-0.005 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.949-1930.943=0.006 | | σ | 0.009-0.008=0.001 | | min | 1930.933-1930.933=0.000 | | max | 1930.956-1930.954=0.003 |
| | mean | 2859.000-2839.000=20.000 | | σ | 0.000 | | min | 2859.000-2839.000=20.000 | | max | 2859.000-2839.000=20.000 |
| | mean | 3.051-2.947=0.104 | | σ | 0.218-0.135=0.084 | | min | 2.716-2.760=-0.044 | | max | 3.283-3.120=0.163 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.721-4751.683=0.038 | | σ | 0.835-0.841=-0.006 | | min | 4751.141-4751.234=-0.093 | | max | 4753.193-4753.184=0.008 |
| | mean | 2859.000-2839.000=20.000 | | σ | 0.000 | | min | 2859.000-2839.000=20.000 | | max | 2859.000-2839.000=20.000 |
| | mean | 8.294-8.375=-0.082 | | σ | 0.524-0.372=0.152 | | min | 7.765-7.822=-0.057 | | max | 9.107-8.795=0.312 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4942.144-4942.140=0.004 | | σ | 0.031-0.022=0.009 | | min | 4942.102-4942.113=-0.011 | | max | 4942.172-4942.161=0.011 |
| | mean | 3038.200-3025.000=13.200 | | σ | 249.866-199.167=50.699 | | min | 2859.000-2839.000=20.000 | | max | 3429.000-3319.000=110.000 |
| | mean | 8.551-8.565=-0.014 | | σ | 0.351-0.155=0.197 | | min | 8.267-8.416=-0.148 | | max | 9.141-8.822=0.319 |
|