iters=5 new-facts=1 prior-facts=1 | | mean | 270.126-270.123=0.003 | | σ | 0.012-0.008=0.003 | | min | 270.118-270.115=0.003 | | max | 270.146-270.136=0.010 |
| | mean | 2852.000-2415.000=437.000 | | σ | 0.000 | | min | 2852.000-2415.000=437.000 | | max | 2852.000-2415.000=437.000 |
| | mean | 0.378-0.383=-0.005 | | σ | 0.005-0.006=-0.001 | | min | 0.370-0.378=-0.008 | | max | 0.382-0.392=-0.010 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.608-1930.605=0.003 | | σ | 0.006-0.008=-0.001 | | min | 1930.599-1930.598=0.001 | | max | 1930.617-1930.617=0.000 |
| | mean | 2852.000-2415.000=437.000 | | σ | 0.000 | | min | 2852.000-2415.000=437.000 | | max | 2852.000-2415.000=437.000 |
| | mean | 2.511-2.537=-0.027 | | σ | 0.075-0.150=-0.075 | | min | 2.453-2.446=0.007 | | max | 2.630-2.801=-0.171 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.331-4751.196=0.135 | | σ | 0.824-0.925=-0.101 | | min | 4750.926-4750.517=0.409 | | max | 4752.803-4752.825=-0.022 |
| | mean | 2852.000-2415.000=437.000 | | σ | 0.000 | | min | 2852.000-2415.000=437.000 | | max | 2852.000-2415.000=437.000 |
| | mean | 8.289-8.450=-0.162 | | σ | 0.361-0.481=-0.120 | | min | 7.701-7.661=0.039 | | max | 8.584-8.980=-0.396 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.549-4941.697=-0.148 | | σ | 0.308-0.144=0.164 | | min | 4941.076-4941.440=-0.364 | | max | 4941.768-4941.777=-0.008 |
| | mean | 3078.800-3004.400=74.400 | | σ | 226.501-277.310=-50.809 | | min | 2852.000-2618.000=234.000 | | max | 3380.000-3312.000=68.000 |
| | mean | 8.736-8.504=0.232 | | σ | 0.404-0.070=0.334 | | min | 8.389-8.422=-0.034 | | max | 9.332-8.617=0.715 |
|