iters=5 new-facts=1 prior-facts=1 | | mean | 272.794-272.795=-0.001 | | σ | 0.006-0.007=-0.001 | | min | 272.786-272.786=0.000 | | max | 272.802-272.803=-0.001 |
| | mean | 2774.000-2771.000=3.000 | | σ | 0.000 | | min | 2774.000-2771.000=3.000 | | max | 2774.000-2771.000=3.000 |
| | mean | 0.377-0.382=-0.005 | | σ | 0.003-0.005=-0.002 | | min | 0.374-0.378=-0.004 | | max | 0.381-0.389=-0.008 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.226-1933.227=-0.001 | | σ | 0.006-0.011=-0.005 | | min | 1933.218-1933.211=0.007 | | max | 1933.234-1933.239=-0.005 |
| | mean | 2774.000-2771.000=3.000 | | σ | 0.000 | | min | 2774.000-2771.000=3.000 | | max | 2774.000-2771.000=3.000 |
| | mean | 3.099-3.199=-0.100 | | σ | 0.102-0.058=0.044 | | min | 3.017-3.121=-0.104 | | max | 3.238-3.278=-0.040 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4756.938-4757.049=-0.112 | | σ | 7.601-7.545=0.056 | | min | 4753.507-4753.554=-0.047 | | max | 4770.535-4770.545=-0.010 |
| | mean | 2774.000-2771.000=3.000 | | σ | 0.000 | | min | 2774.000-2771.000=3.000 | | max | 2774.000-2771.000=3.000 |
| | mean | 8.502-7.931=0.571 | | σ | 0.246-0.414=-0.168 | | min | 8.095-7.616=0.479 | | max | 8.739-8.627=0.112 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.456-4944.394=0.063 | | σ | 0.009-0.162=-0.153 | | min | 4944.443-4944.105=0.339 | | max | 4944.468-4944.479=-0.011 |
| | mean | 3049.000-2969.200=79.800 | | σ | 266.364-259.429=6.936 | | min | 2774.000-2771.000=3.000 | | max | 3419.000-3347.000=72.000 |
| | mean | 8.729-8.626=0.104 | | σ | 0.352-0.264=0.087 | | min | 8.404-8.349=0.056 | | max | 9.226-8.999=0.227 |
|