iters=5 new-facts=1 prior-facts=1 | | mean | 277.194-277.194=-0.000 | | σ | 0.006-0.008=-0.002 | | min | 277.188-277.186=0.001 | | max | 277.201-277.205=-0.004 |
| | mean | 2650.000-2626.000=24.000 | | σ | 0.000 | | min | 2650.000-2626.000=24.000 | | max | 2650.000-2626.000=24.000 |
| | mean | 0.404-0.406=-0.002 | | σ | 0.001-0.010=-0.009 | | min | 0.403-0.399=0.004 | | max | 0.406-0.424=-0.018 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2169.675-2169.680=-0.005 | | σ | 0.043-0.029=0.015 | | min | 2169.598-2169.630=-0.032 | | max | 2169.702-2169.699=0.003 |
| | mean | 2650.000-2626.000=24.000 | | σ | 0.000 | | min | 2650.000-2626.000=24.000 | | max | 2650.000-2626.000=24.000 |
| | mean | 2.999-2.855=0.145 | | σ | 0.166-0.163=0.003 | | min | 2.781-2.769=0.012 | | max | 3.158-3.146=0.012 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5049.563-5049.446=0.117 | | σ | 1.010-1.109=-0.099 | | min | 5049.014-5048.437=0.577 | | max | 5051.362-5051.350=0.011 |
| | mean | 2650.000-2626.000=24.000 | | σ | 0.000 | | min | 2650.000-2626.000=24.000 | | max | 2650.000-2626.000=24.000 |
| | mean | 9.032-8.908=0.124 | | σ | 0.610-0.605=0.005 | | min | 8.135-7.988=0.148 | | max | 9.790-9.599=0.192 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5180.595-5180.653=-0.058 | | σ | 0.120-0.088=0.032 | | min | 5180.417-5180.582=-0.165 | | max | 5180.754-5180.752=0.001 |
| | mean | 3272.600-3220.200=52.400 | | σ | 435.636-470.337=-34.701 | | min | 2669.000-2637.000=32.000 | | max | 3676.000-3819.000=-143.000 |
| | mean | 9.077-8.722=0.355 | | σ | 0.419-0.114=0.305 | | min | 8.813-8.559=0.254 | | max | 9.820-8.867=0.953 |
|