iters=5 new-facts=1 prior-facts=1 | | mean | 278.675-278.674=0.001 | | σ | 0.012-0.012=-0.001 | | min | 278.662-278.658=0.004 | | max | 278.690-278.687=0.003 |
| | mean | 2611.000-2810.000=-199.000 | | σ | 0.000 | | min | 2611.000-2810.000=-199.000 | | max | 2611.000-2810.000=-199.000 |
| | mean | 0.417-0.417=-0.000 | | σ | 0.001-0.001=-0.001 | | min | 0.417-0.415=0.002 | | max | 0.418-0.419=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.848-2268.844=0.004 | | σ | 0.005-0.013=-0.008 | | min | 2268.842-2268.825=0.017 | | max | 2268.854-2268.855=-0.001 |
| | mean | 2611.000-2810.000=-199.000 | | σ | 0.000 | | min | 2611.000-2810.000=-199.000 | | max | 2611.000-2810.000=-199.000 |
| | mean | 2.926-3.103=-0.177 | | σ | 0.082-0.132=-0.051 | | min | 2.856-2.873=-0.017 | | max | 3.066-3.205=-0.139 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.234-4952.245=-0.011 | | σ | 0.856-0.733=0.123 | | min | 4951.774-4951.779=-0.006 | | max | 4953.758-4953.546=0.213 |
| | mean | 2611.000-2810.000=-199.000 | | σ | 0.000 | | min | 2611.000-2810.000=-199.000 | | max | 2611.000-2810.000=-199.000 |
| | mean | 8.034-7.845=0.189 | | σ | 0.340-0.236=0.104 | | min | 7.776-7.623=0.153 | | max | 8.611-8.143=0.468 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5166.954-5166.954=0.000 | | σ | 0.080-0.079=0.001 | | min | 5166.891-5166.886=0.005 | | max | 5167.045-5167.040=0.005 |
| | mean | 3375.400-3349.200=26.200 | | σ | 463.468-448.859=14.609 | | min | 2811.000-2810.000=1.000 | | max | 4004.000-3783.000=221.000 |
| | mean | 9.416-9.236=0.180 | | σ | 0.309-0.163=0.147 | | min | 8.898-9.040=-0.141 | | max | 9.663-9.418=0.245 |
|