iters=5 new-facts=1 prior-facts=1 | | mean | 316.677-324.581=-7.904 | | σ | 17.686-0.058=17.628 | | min | 285.040-324.480=-39.440 | | max | 324.608-324.618=-0.010 |
| | mean | 2643.000-2838.000=-195.000 | | σ | 0.000 | | min | 2643.000-2838.000=-195.000 | | max | 2643.000-2838.000=-195.000 |
| | mean | 0.411-0.429=-0.018 | | σ | 0.027-0.009=0.018 | | min | 0.363-0.422=-0.058 | | max | 0.424-0.444=-0.020 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.147-1985.140=0.007 | | σ | 0.007-0.007=0.000 | | min | 1985.137-1985.132=0.006 | | max | 1985.156-1985.149=0.007 |
| | mean | 2643.000-2838.000=-195.000 | | σ | 0.000 | | min | 2643.000-2838.000=-195.000 | | max | 2643.000-2838.000=-195.000 |
| | mean | 2.620-2.600=0.020 | | σ | 0.095-0.047=0.049 | | min | 2.520-2.561=-0.041 | | max | 2.730-2.659=0.071 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.749-4808.762=-0.013 | | σ | 7.674-7.727=-0.053 | | min | 4805.267-4805.217=0.050 | | max | 4822.477-4822.585=-0.107 |
| | mean | 2643.000-2838.000=-195.000 | | σ | 0.000 | | min | 2643.000-2838.000=-195.000 | | max | 2643.000-2838.000=-195.000 |
| | mean | 8.979-8.944=0.035 | | σ | 0.227-0.353=-0.126 | | min | 8.812-8.485=0.327 | | max | 9.376-9.399=-0.023 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.276-4996.345=-0.069 | | σ | 0.145-0.018=0.127 | | min | 4996.017-4996.324=-0.307 | | max | 4996.349-4996.370=-0.021 |
| | mean | 2986.200-3058.400=-72.200 | | σ | 273.258-210.215=63.044 | | min | 2643.000-2838.000=-195.000 | | max | 3328.000-3368.000=-40.000 |
| | mean | 8.622-8.815=-0.193 | | σ | 0.138-0.236=-0.099 | | min | 8.465-8.556=-0.091 | | max | 8.829-9.055=-0.226 |
|