iters=5 new-facts=1 prior-facts=1 | | mean | 273.505-273.501=0.004 | | σ | 0.008-0.017=-0.009 | | min | 273.496-273.471=0.025 | | max | 273.514-273.513=0.002 |
| | mean | 2862.000-2857.000=5.000 | | σ | 0.000 | | min | 2862.000-2857.000=5.000 | | max | 2862.000-2857.000=5.000 |
| | mean | 0.385-0.377=0.008 | | σ | 0.006-0.006=0.000 | | min | 0.381-0.372=0.009 | | max | 0.396-0.386=0.010 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.890-1933.884=0.005 | | σ | 0.012-0.007=0.005 | | min | 1933.875-1933.876=-0.001 | | max | 1933.906-1933.892=0.014 |
| | mean | 2862.000-2857.000=5.000 | | σ | 0.000 | | min | 2862.000-2857.000=5.000 | | max | 2862.000-2857.000=5.000 |
| | mean | 3.029-2.977=0.052 | | σ | 0.032-0.076=-0.044 | | min | 3.001-2.908=0.093 | | max | 3.075-3.102=-0.026 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.541-4754.622=-0.081 | | σ | 0.590-0.902=-0.312 | | min | 4754.169-4754.106=0.063 | | max | 4755.587-4756.230=-0.643 |
| | mean | 2862.000-2857.000=5.000 | | σ | 0.000 | | min | 2862.000-2857.000=5.000 | | max | 2862.000-2857.000=5.000 |
| | mean | 8.655-8.928=-0.273 | | σ | 0.283-0.331=-0.047 | | min | 8.334-8.536=-0.202 | | max | 9.013-9.433=-0.420 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4945.054-4945.114=-0.060 | | σ | 0.147-0.018=0.130 | | min | 4944.791-4945.095=-0.304 | | max | 4945.135-4945.141=-0.006 |
| | mean | 3022.000-3023.000=-1.000 | | σ | 182.005-190.062=-8.056 | | min | 2862.000-2857.000=5.000 | | max | 3306.000-3321.000=-15.000 |
| | mean | 8.652-8.442=0.210 | | σ | 0.276-0.083=0.193 | | min | 8.446-8.335=0.111 | | max | 9.120-8.525=0.595 |
|