iters=5 new-facts=1 prior-facts=1 | | mean | 273.506-273.499=0.006 | | σ | 0.010-0.007=0.003 | | min | 273.490-273.489=0.002 | | max | 273.518-273.507=0.011 |
| | mean | 2866.000-2659.000=207.000 | | σ | 0.000 | | min | 2866.000-2659.000=207.000 | | max | 2866.000-2659.000=207.000 |
| | mean | 0.378-0.375=0.002 | | σ | 0.004-0.005=-0.001 | | min | 0.374-0.370=0.004 | | max | 0.385-0.381=0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.897-1933.901=-0.003 | | σ | 0.005-0.011=-0.006 | | min | 1933.891-1933.890=0.001 | | max | 1933.902-1933.914=-0.012 |
| | mean | 2866.000-2659.000=207.000 | | σ | 0.000 | | min | 2866.000-2659.000=207.000 | | max | 2866.000-2659.000=207.000 |
| | mean | 2.986-2.909=0.077 | | σ | 0.182-0.130=0.052 | | min | 2.679-2.726=-0.047 | | max | 3.151-3.061=0.090 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.394-4754.691=-0.296 | | σ | 0.766-0.803=-0.037 | | min | 4753.580-4754.226=-0.645 | | max | 4755.664-4756.121=-0.457 |
| | mean | 2866.000-2659.000=207.000 | | σ | 0.000 | | min | 2866.000-2659.000=207.000 | | max | 2866.000-2659.000=207.000 |
| | mean | 8.851-8.262=0.589 | | σ | 0.190-0.323=-0.133 | | min | 8.613-7.915=0.697 | | max | 9.113-8.631=0.482 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4945.045-4945.040=0.004 | | σ | 0.175-0.158=0.016 | | min | 4944.734-4944.758=-0.024 | | max | 4945.142-4945.121=0.021 |
| | mean | 3064.800-3011.800=53.000 | | σ | 182.211-388.072=-205.862 | | min | 2866.000-2659.000=207.000 | | max | 3325.000-3568.000=-243.000 |
| | mean | 8.643-8.417=0.226 | | σ | 0.205-0.130=0.075 | | min | 8.429-8.283=0.147 | | max | 8.950-8.630=0.320 |
|