iters=5 new-facts=1 prior-facts=1 | | mean | 269.377-273.501=-4.124 | | σ | 0.004-0.005=-0.001 | | min | 269.373-273.493=-4.120 | | max | 269.382-273.506=-4.124 |
| | mean | 2757.000-2620.000=137.000 | | σ | 0.000 | | min | 2757.000-2620.000=137.000 | | max | 2757.000-2620.000=137.000 |
| | mean | 0.376-0.378=-0.002 | | σ | 0.005-0.004=0.001 | | min | 0.371-0.376=-0.005 | | max | 0.384-0.386=-0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1929.752-1933.892=-4.139 | | σ | 0.004-0.005=-0.002 | | min | 1929.747-1933.883=-4.136 | | max | 1929.755-1933.896=-4.141 |
| | mean | 2757.000-2620.000=137.000 | | σ | 0.000 | | min | 2757.000-2620.000=137.000 | | max | 2757.000-2620.000=137.000 |
| | mean | 3.083-3.035=0.049 | | σ | 0.104-0.137=-0.033 | | min | 2.989-2.820=0.169 | | max | 3.197-3.158=0.039 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4750.378-4613.988=136.390 | | σ | 0.931-314.468=-313.538 | | min | 4749.631-4051.453=698.179 | | max | 4752.005-4756.134=-4.130 |
| | mean | 2757.000-2620.000=137.000 | | σ | 0.000 | | min | 2757.000-2620.000=137.000 | | max | 2757.000-2620.000=137.000 |
| | mean | 8.476-8.081=0.396 | | σ | 0.459-0.725=-0.266 | | min | 7.809-7.000=0.809 | | max | 8.925-8.942=-0.017 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4940.987-4945.056=-4.069 | | σ | 0.015-0.173=-0.158 | | min | 4940.968-4944.747=-3.780 | | max | 4941.000-4945.160=-4.160 |
| | mean | 3042.800-3014.000=28.800 | | σ | 239.603-378.325=-138.721 | | min | 2757.000-2620.000=137.000 | | max | 3331.000-3543.000=-212.000 |
| | mean | 8.511-8.815=-0.304 | | σ | 0.123-0.366=-0.244 | | min | 8.373-8.538=-0.165 | | max | 8.683-9.448=-0.765 |
|