iters=5 new-facts=1 prior-facts=1 | | mean | 280.908-280.899=0.009 | | σ | 0.009-0.021=-0.012 | | min | 280.897-280.864=0.033 | | max | 280.915-280.919=-0.003 |
| | mean | 2741.000-2595.000=146.000 | | σ | 0.000 | | min | 2741.000-2595.000=146.000 | | max | 2741.000-2595.000=146.000 |
| | mean | 0.418-0.421=-0.003 | | σ | 0.006-0.012=-0.006 | | min | 0.412-0.412=0.000 | | max | 0.425-0.436=-0.011 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2270.920-2270.925=-0.006 | | σ | 0.044-0.019=0.025 | | min | 2270.842-2270.899=-0.057 | | max | 2270.946-2270.945=0.001 |
| | mean | 2741.000-2595.000=146.000 | | σ | 0.000 | | min | 2741.000-2595.000=146.000 | | max | 2741.000-2595.000=146.000 |
| | mean | 3.007-3.120=-0.114 | | σ | 0.119-0.192=-0.073 | | min | 2.909-2.954=-0.045 | | max | 3.160-3.422=-0.262 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5148.199-5148.156=0.043 | | σ | 1.012-1.014=-0.003 | | min | 5147.597-5147.404=0.192 | | max | 5149.999-5149.927=0.073 |
| | mean | 2741.000-2595.000=146.000 | | σ | 0.000 | | min | 2741.000-2595.000=146.000 | | max | 2741.000-2595.000=146.000 |
| | mean | 9.165-9.391=-0.226 | | σ | 0.473-0.732=-0.259 | | min | 8.434-8.372=0.062 | | max | 9.714-10.306=-0.591 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5286.253-5286.121=0.132 | | σ | 0.110-0.176=-0.066 | | min | 5286.109-5285.866=0.243 | | max | 5286.392-5286.316=0.075 |
| | mean | 3411.400-3494.400=-83.000 | | σ | 476.154-532.863=-56.710 | | min | 2792.000-2789.000=3.000 | | max | 3865.000-4004.000=-139.000 |
| | mean | 9.911-10.179=-0.268 | | σ | 0.608-0.235=0.373 | | min | 8.854-9.936=-1.082 | | max | 10.304-10.432=-0.128 |
|