iters=5 new-facts=1 prior-facts=1 | | mean | 275.566-275.566=0.000 | | σ | 0.002-0.005=-0.003 | | min | 275.564-275.562=0.003 | | max | 275.570-275.575=-0.005 |
| | mean | 2743.000-2689.000=54.000 | | σ | 0.000 | | min | 2743.000-2689.000=54.000 | | max | 2743.000-2689.000=54.000 |
| | mean | 0.390-0.392=-0.002 | | σ | 0.009-0.010=-0.001 | | min | 0.383-0.384=-0.001 | | max | 0.402-0.402=-0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.091-2168.100=-0.009 | | σ | 0.020-0.008=0.012 | | min | 2168.060-2168.087=-0.027 | | max | 2168.113-2168.107=0.005 |
| | mean | 2743.000-2689.000=54.000 | | σ | 0.000 | | min | 2743.000-2689.000=54.000 | | max | 2743.000-2689.000=54.000 |
| | mean | 2.949-2.872=0.077 | | σ | 0.144-0.188=-0.043 | | min | 2.742-2.667=0.075 | | max | 3.095-3.152=-0.058 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.910-5047.891=0.019 | | σ | 0.901-0.899=0.001 | | min | 5047.360-5047.352=0.008 | | max | 5049.512-5049.487=0.025 |
| | mean | 2743.000-2689.000=54.000 | | σ | 0.000 | | min | 2743.000-2689.000=54.000 | | max | 2743.000-2689.000=54.000 |
| | mean | 8.756-8.761=-0.005 | | σ | 0.549-0.422=0.127 | | min | 7.998-8.036=-0.038 | | max | 9.339-9.136=0.203 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5178.975-5178.959=0.016 | | σ | 0.211-0.126=0.085 | | min | 5178.625-5178.770=-0.145 | | max | 5179.153-5179.124=0.029 |
| | mean | 3209.800-3261.200=-51.400 | | σ | 335.853-464.213=-128.360 | | min | 2743.000-2689.000=54.000 | | max | 3627.000-3864.000=-237.000 |
| | mean | 9.771-9.779=-0.008 | | σ | 0.271-0.145=0.126 | | min | 9.445-9.562=-0.117 | | max | 10.143-9.913=0.231 |
|