iters=5 new-facts=1 prior-facts=1 | | mean | 275.767-275.758=0.009 | | σ | 0.008-0.011=-0.003 | | min | 275.758-275.745=0.013 | | max | 275.778-275.771=0.007 |
| | mean | 2510.000-2695.000=-185.000 | | σ | 0.000 | | min | 2510.000-2695.000=-185.000 | | max | 2510.000-2695.000=-185.000 |
| | mean | 0.406-0.401=0.005 | | σ | 0.011-0.005=0.005 | | min | 0.396-0.395=0.001 | | max | 0.418-0.407=0.011 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.279-2168.283=-0.004 | | σ | 0.022-0.013=0.010 | | min | 2168.251-2168.262=-0.012 | | max | 2168.303-2168.294=0.009 |
| | mean | 2510.000-2695.000=-185.000 | | σ | 0.000 | | min | 2510.000-2695.000=-185.000 | | max | 2510.000-2695.000=-185.000 |
| | mean | 3.054-2.938=0.115 | | σ | 0.209-0.112=0.097 | | min | 2.798-2.766=0.031 | | max | 3.254-3.037=0.217 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5048.025-5047.978=0.047 | | σ | 1.010-1.041=-0.031 | | min | 5047.307-5047.024=0.283 | | max | 5049.786-5049.762=0.023 |
| | mean | 2510.000-2695.000=-185.000 | | σ | 0.000 | | min | 2510.000-2695.000=-185.000 | | max | 2510.000-2695.000=-185.000 |
| | mean | 9.207-8.908=0.299 | | σ | 0.649-0.525=0.125 | | min | 8.269-8.022=0.246 | | max | 9.984-9.275=0.709 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.240-5179.235=0.005 | | σ | 0.067-0.079=-0.012 | | min | 5179.184-5179.155=0.030 | | max | 5179.323-5179.326=-0.002 |
| | mean | 3260.200-3269.200=-9.000 | | σ | 361.714-378.825=-17.111 | | min | 2739.000-2733.000=6.000 | | max | 3687.000-3725.000=-38.000 |
| | mean | 9.772-9.908=-0.136 | | σ | 0.621-0.204=0.417 | | min | 8.665-9.593=-0.928 | | max | 10.138-10.135=0.003 |
|