iters=5 new-facts=1 prior-facts=1 | | mean | 272.792-272.790=0.002 | | σ | 0.009-0.006=0.003 | | min | 272.781-272.784=-0.003 | | max | 272.803-272.799=0.004 |
| | mean | 2770.000-2786.000=-16.000 | | σ | 0.000 | | min | 2770.000-2786.000=-16.000 | | max | 2770.000-2786.000=-16.000 |
| | mean | 0.383-0.380=0.004 | | σ | 0.010-0.010=-0.000 | | min | 0.378-0.373=0.005 | | max | 0.401-0.398=0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.228-1933.221=0.007 | | σ | 0.014-0.021=-0.007 | | min | 1933.208-1933.200=0.008 | | max | 1933.242-1933.251=-0.010 |
| | mean | 2770.000-2786.000=-16.000 | | σ | 0.000 | | min | 2770.000-2786.000=-16.000 | | max | 2770.000-2786.000=-16.000 |
| | mean | 3.019-3.069=-0.050 | | σ | 0.175-0.134=0.041 | | min | 2.793-2.857=-0.063 | | max | 3.283-3.207=0.076 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4756.964-4756.955=0.009 | | σ | 7.679-7.544=0.135 | | min | 4753.426-4753.479=-0.052 | | max | 4770.699-4770.449=0.251 |
| | mean | 2770.000-2786.000=-16.000 | | σ | 0.000 | | min | 2770.000-2786.000=-16.000 | | max | 2770.000-2786.000=-16.000 |
| | mean | 8.618-8.523=0.095 | | σ | 0.569-0.235=0.334 | | min | 7.895-8.264=-0.369 | | max | 9.401-8.835=0.567 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.378-4944.446=-0.068 | | σ | 0.171-0.023=0.148 | | min | 4944.074-4944.423=-0.349 | | max | 4944.470-4944.472=-0.002 |
| | mean | 3013.800-3038.800=-25.000 | | σ | 302.193-301.161=1.033 | | min | 2770.000-2786.000=-16.000 | | max | 3461.000-3486.000=-25.000 |
| | mean | 8.435-8.423=0.011 | | σ | 0.073-0.088=-0.015 | | min | 8.337-8.344=-0.007 | | max | 8.502-8.556=-0.054 |
|