iters=5 new-facts=1 prior-facts=1 | | mean | 279.512-279.511=0.001 | | σ | 0.009-0.009=0.001 | | min | 279.501-279.499=0.002 | | max | 279.520-279.519=0.001 |
| | mean | 2844.000-2768.000=76.000 | | σ | 0.000 | | min | 2844.000-2768.000=76.000 | | max | 2844.000-2768.000=76.000 |
| | mean | 0.409-0.411=-0.002 | | σ | 0.007-0.007=0.000 | | min | 0.404-0.405=-0.001 | | max | 0.420-0.421=-0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2178.444-2178.425=0.020 | | σ | 0.015-0.037=-0.022 | | min | 2178.422-2178.359=0.062 | | max | 2178.459-2178.449=0.009 |
| | mean | 2844.000-2768.000=76.000 | | σ | 0.000 | | min | 2844.000-2768.000=76.000 | | max | 2844.000-2768.000=76.000 |
| | mean | 3.288-3.389=-0.101 | | σ | 0.189-0.117=0.072 | | min | 3.035-3.268=-0.232 | | max | 3.491-3.530=-0.039 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5056.277-5056.357=-0.081 | | σ | 1.118-0.973=0.145 | | min | 5055.162-5055.766=-0.604 | | max | 5058.145-5058.083=0.062 |
| | mean | 2844.000-2768.000=76.000 | | σ | 0.000 | | min | 2844.000-2768.000=76.000 | | max | 2844.000-2768.000=76.000 |
| | mean | 9.310-9.034=0.276 | | σ | 0.749-0.490=0.258 | | min | 8.283-8.168=0.115 | | max | 10.308-9.359=0.949 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5193.760-5193.674=0.085 | | σ | 0.089-0.125=-0.037 | | min | 5193.683-5193.505=0.178 | | max | 5193.857-5193.857=0.001 |
| | mean | 3251.600-3276.200=-24.600 | | σ | 305.788-460.996=-155.208 | | min | 2844.000-2768.000=76.000 | | max | 3673.000-3914.000=-241.000 |
| | mean | 8.965-8.976=-0.011 | | σ | 0.415-0.099=0.317 | | min | 8.624-8.861=-0.236 | | max | 9.665-9.094=0.570 |
|