iters=5 new-facts=1 prior-facts=1 | | mean | 275.566-275.569=-0.003 | | σ | 0.004-0.006=-0.002 | | min | 275.563-275.562=0.001 | | max | 275.572-275.577=-0.005 |
| | mean | 2632.000-2697.000=-65.000 | | σ | 0.000 | | min | 2632.000-2697.000=-65.000 | | max | 2632.000-2697.000=-65.000 |
| | mean | 0.394-0.395=-0.002 | | σ | 0.009-0.008=0.001 | | min | 0.386-0.388=-0.002 | | max | 0.404-0.404=-0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.087-2168.093=-0.006 | | σ | 0.020-0.013=0.007 | | min | 2168.058-2168.070=-0.012 | | max | 2168.108-2168.103=0.005 |
| | mean | 2632.000-2697.000=-65.000 | | σ | 0.000 | | min | 2632.000-2697.000=-65.000 | | max | 2632.000-2697.000=-65.000 |
| | mean | 2.971-2.924=0.047 | | σ | 0.105-0.110=-0.005 | | min | 2.798-2.753=0.045 | | max | 3.062-3.039=0.024 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.688-5047.793=-0.105 | | σ | 0.357-1.013=-0.655 | | min | 5047.349-5046.754=0.594 | | max | 5048.268-5049.484=-1.216 |
| | mean | 2632.000-2697.000=-65.000 | | σ | 0.000 | | min | 2632.000-2697.000=-65.000 | | max | 2632.000-2697.000=-65.000 |
| | mean | 9.067-8.769=0.298 | | σ | 0.504-0.479=0.025 | | min | 8.330-8.090=0.240 | | max | 9.582-9.406=0.176 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.048-5178.980=0.068 | | σ | 0.073-0.192=-0.119 | | min | 5178.965-5178.670=0.295 | | max | 5179.127-5179.145=-0.018 |
| | mean | 3281.400-3218.200=63.200 | | σ | 425.490-381.829=43.661 | | min | 2680.000-2697.000=-17.000 | | max | 3672.000-3699.000=-27.000 |
| | mean | 9.973-9.922=0.051 | | σ | 0.306-0.278=0.028 | | min | 9.611-9.431=0.180 | | max | 10.306-10.114=0.192 |
|