iters=5 new-facts=1 prior-facts=1 | | mean | 278.824-190.720=88.104 | | σ | 0.007-0.006=0.002 | | min | 278.812-190.712=88.100 | | max | 278.831-190.727=88.105 |
| | mean | 2674.000-2632.000=42.000 | | σ | 0.000 | | min | 2674.000-2632.000=42.000 | | max | 2674.000-2632.000=42.000 |
| | mean | 0.412-0.280=0.132 | | σ | 0.004-0.001=0.004 | | min | 0.407-0.279=0.128 | | max | 0.419-0.281=0.139 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.887-1989.501=279.387 | | σ | 0.007-0.016=-0.009 | | min | 2268.878-1989.482=279.396 | | max | 2268.893-1989.525=279.368 |
| | mean | 2674.000-2632.000=42.000 | | σ | 0.000 | | min | 2674.000-2632.000=42.000 | | max | 2674.000-2632.000=42.000 |
| | mean | 2.946-2.423=0.523 | | σ | 0.092-0.060=0.032 | | min | 2.881-2.328=0.552 | | max | 3.105-2.490=0.615 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.156-4880.068=74.087 | | σ | 0.594-0.599=-0.005 | | min | 4953.836-4879.733=74.103 | | max | 4955.215-4881.133=74.082 |
| | mean | 2674.000-2632.000=42.000 | | σ | 0.000 | | min | 2674.000-2632.000=42.000 | | max | 2674.000-2632.000=42.000 |
| | mean | 7.947-8.225=-0.278 | | σ | 0.239-0.285=-0.046 | | min | 7.708-7.776=-0.068 | | max | 8.342-8.556=-0.214 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5168.826-4891.624=277.202 | | σ | 0.092-0.127=-0.035 | | min | 5168.722-4891.416=277.305 | | max | 5168.908-4891.763=277.144 |
| | mean | 3363.200-3352.600=10.600 | | σ | 467.063-465.019=2.045 | | min | 2736.000-2780.000=-44.000 | | max | 3969.000-4016.000=-47.000 |
| | mean | 9.089-8.269=0.820 | | σ | 0.492-0.171=0.321 | | min | 8.412-8.034=0.379 | | max | 9.562-8.447=1.115 |
|