iters=5 new-facts=1 prior-facts=1 | | mean | 297.291-399.348=-102.056 | | σ | 0.009-0.089=-0.079 | | min | 297.281-399.225=-101.943 | | max | 297.305-399.416=-102.111 |
| | mean | 1631.000-1630.000=1.000 | | σ | 0.000 | | min | 1631.000-1630.000=1.000 | | max | 1631.000-1630.000=1.000 |
| | mean | 0.391-0.500=-0.109 | | σ | 0.006-0.011=-0.004 | | min | 0.386-0.492=-0.106 | | max | 0.401-0.515=-0.115 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1298.526-1400.842=-102.315 | | σ | 0.093-0.018=0.075 | | min | 1298.480-1400.825=-102.345 | | max | 1298.692-1400.872=-102.180 |
| | mean | 1631.000-1630.000=1.000 | | σ | 0.000 | | min | 1631.000-1630.000=1.000 | | max | 1631.000-1630.000=1.000 |
| | mean | 1.985-2.055=-0.069 | | σ | 0.122-0.051=0.071 | | min | 1.846-2.009=-0.162 | | max | 2.176-2.120=0.057 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1820.812-1923.082=-102.271 | | σ | 6.983-7.070=-0.087 | | min | 1817.408-1919.774=-102.366 | | max | 1833.289-1935.724=-102.436 |
| | mean | 1631.000-1630.000=1.000 | | σ | 0.000 | | min | 1631.000-1630.000=1.000 | | max | 1631.000-1630.000=1.000 |
| | mean | 4.332-4.300=0.032 | | σ | 0.343-0.263=0.079 | | min | 3.864-4.061=-0.197 | | max | 4.723-4.635=0.088 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2083.378-2185.753=-102.375 | | σ | 0.008-0.009=-0.001 | | min | 2083.369-2185.746=-102.377 | | max | 2083.390-2185.768=-102.378 |
| | mean | 1841.800-1836.600=5.200 | | σ | 191.795-172.726=19.069 | | min | 1631.000-1630.000=1.000 | | max | 2081.000-2077.000=4.000 |
| | mean | 4.497-4.689=-0.192 | | σ | 0.044-0.040=0.004 | | min | 4.437-4.637=-0.200 | | max | 4.562-4.739=-0.177 |
|