iters=5 new-facts=1 prior-facts=1 | | mean | 280.287-280.289=-0.002 | | σ | 0.004-0.006=-0.002 | | min | 280.284-280.281=0.003 | | max | 280.293-280.297=-0.003 |
| | mean | 2747.000-2458.000=289.000 | | σ | 0.000 | | min | 2747.000-2458.000=289.000 | | max | 2747.000-2458.000=289.000 |
| | mean | 0.417-0.412=0.006 | | σ | 0.009-0.004=0.004 | | min | 0.412-0.409=0.003 | | max | 0.432-0.419=0.013 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2270.286-2270.270=0.016 | | σ | 0.026-0.042=-0.016 | | min | 2270.255-2270.218=0.037 | | max | 2270.311-2270.323=-0.012 |
| | mean | 2747.000-2458.000=289.000 | | σ | 0.000 | | min | 2747.000-2458.000=289.000 | | max | 2747.000-2458.000=289.000 |
| | mean | 3.039-3.035=0.004 | | σ | 0.181-0.117=0.065 | | min | 2.817-2.917=-0.100 | | max | 3.229-3.191=0.038 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5147.471-5147.476=-0.005 | | σ | 0.768-1.143=-0.376 | | min | 5146.988-5146.384=0.604 | | max | 5148.833-5149.422=-0.589 |
| | mean | 2747.000-2458.000=289.000 | | σ | 0.000 | | min | 2747.000-2458.000=289.000 | | max | 2747.000-2458.000=289.000 |
| | mean | 8.831-8.782=0.049 | | σ | 0.689-0.749=-0.060 | | min | 8.226-8.169=0.057 | | max | 9.960-10.002=-0.043 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5285.577-5285.580=-0.003 | | σ | 0.222-0.210=0.013 | | min | 5285.212-5285.246=-0.035 | | max | 5285.757-5285.763=-0.005 |
| | mean | 3442.200-3457.800=-15.600 | | σ | 435.173-506.048=-70.876 | | min | 2825.000-2777.000=48.000 | | max | 3976.000-3936.000=40.000 |
| | mean | 10.089-10.158=-0.068 | | σ | 0.079-0.286=-0.207 | | min | 9.978-9.650=0.327 | | max | 10.188-10.320=-0.132 |
|