iters=5 new-facts=1 prior-facts=1 | | mean | 275.564-275.566=-0.001 | | σ | 0.003-0.004=-0.001 | | min | 275.560-275.559=0.001 | | max | 275.568-275.569=-0.001 |
| | mean | 2638.000-2643.000=-5.000 | | σ | 0.000 | | min | 2638.000-2643.000=-5.000 | | max | 2638.000-2643.000=-5.000 |
| | mean | 0.393-0.392=0.001 | | σ | 0.009-0.007=0.002 | | min | 0.386-0.387=-0.001 | | max | 0.405-0.401=0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.089-2168.102=-0.012 | | σ | 0.022-0.009=0.013 | | min | 2168.051-2168.089=-0.038 | | max | 2168.104-2168.114=-0.010 |
| | mean | 2638.000-2643.000=-5.000 | | σ | 0.000 | | min | 2638.000-2643.000=-5.000 | | max | 2638.000-2643.000=-5.000 |
| | mean | 2.950-2.830=0.120 | | σ | 0.198-0.119=0.079 | | min | 2.622-2.680=-0.058 | | max | 3.152-2.969=0.183 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.780-5047.894=-0.114 | | σ | 0.646-0.908=-0.262 | | min | 5047.382-5047.374=0.008 | | max | 5048.919-5049.507=-0.587 |
| | mean | 2638.000-2643.000=-5.000 | | σ | 0.000 | | min | 2638.000-2643.000=-5.000 | | max | 2638.000-2643.000=-5.000 |
| | mean | 8.873-8.850=0.023 | | σ | 0.559-0.452=0.106 | | min | 7.916-8.084=-0.168 | | max | 9.385-9.284=0.100 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.038-5179.027=0.012 | | σ | 0.089-0.087=0.002 | | min | 5178.969-5178.942=0.027 | | max | 5179.155-5179.123=0.032 |
| | mean | 3215.800-3207.600=8.200 | | σ | 385.700-485.494=-99.794 | | min | 2684.000-2643.000=41.000 | | max | 3699.000-3864.000=-165.000 |
| | mean | 9.468-9.609=-0.141 | | σ | 0.617-0.610=0.006 | | min | 8.688-8.635=0.053 | | max | 10.143-10.197=-0.054 |
|