iters=5 new-facts=1 prior-facts=1 | | mean | 280.902-279.435=1.467 | | σ | 0.006-0.013=-0.006 | | min | 280.893-279.418=1.474 | | max | 280.910-279.452=1.457 |
| | mean | 2745.000-2686.000=59.000 | | σ | 0.000 | | min | 2745.000-2686.000=59.000 | | max | 2745.000-2686.000=59.000 |
| | mean | 0.418-0.419=-0.001 | | σ | 0.008-0.012=-0.004 | | min | 0.414-0.409=0.005 | | max | 0.431-0.436=-0.005 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2270.900-2269.506=1.394 | | σ | 0.026-0.013=0.013 | | min | 2270.862-2269.484=1.377 | | max | 2270.929-2269.516=1.413 |
| | mean | 2745.000-2686.000=59.000 | | σ | 0.000 | | min | 2745.000-2686.000=59.000 | | max | 2745.000-2686.000=59.000 |
| | mean | 3.197-2.946=0.251 | | σ | 0.351-0.110=0.241 | | min | 2.831-2.839=-0.009 | | max | 3.738-3.118=0.620 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5148.202-4954.907=193.294 | | σ | 0.984-0.840=0.143 | | min | 5147.675-4954.412=193.263 | | max | 5149.957-4956.400=193.557 |
| | mean | 2745.000-2686.000=59.000 | | σ | 0.000 | | min | 2745.000-2686.000=59.000 | | max | 2745.000-2686.000=59.000 |
| | mean | 8.638-7.874=0.765 | | σ | 0.500-0.175=0.325 | | min | 8.151-7.738=0.413 | | max | 9.470-8.177=1.293 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5286.128-5169.446=116.682 | | σ | 0.198-0.090=0.109 | | min | 5285.860-5169.348=116.512 | | max | 5286.371-5169.526=116.844 |
| | mean | 3451.000-3391.000=60.000 | | σ | 436.431-451.453=-15.022 | | min | 2829.000-2782.000=47.000 | | max | 3977.000-3994.000=-17.000 |
| | mean | 10.125-9.462=0.663 | | σ | 0.123-0.106=0.016 | | min | 9.913-9.325=0.588 | | max | 10.209-9.591=0.618 |
|