iters=5 new-facts=1 prior-facts=1 | | mean | 273.404-273.404=-0.000 | | σ | 0.012-0.010=0.002 | | min | 273.392-273.395=-0.003 | | max | 273.420-273.419=0.002 |
| | mean | 2478.000-2494.000=-16.000 | | σ | 0.000 | | min | 2478.000-2494.000=-16.000 | | max | 2478.000-2494.000=-16.000 |
| | mean | 0.386-0.383=0.003 | | σ | 0.010-0.009=0.001 | | min | 0.376-0.378=-0.003 | | max | 0.399-0.400=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.836-1933.842=-0.007 | | σ | 0.007-0.008=-0.001 | | min | 1933.825-1933.835=-0.010 | | max | 1933.844-1933.855=-0.011 |
| | mean | 2478.000-2494.000=-16.000 | | σ | 0.000 | | min | 2478.000-2494.000=-16.000 | | max | 2478.000-2494.000=-16.000 |
| | mean | 3.053-2.858=0.194 | | σ | 0.090-0.158=-0.068 | | min | 2.975-2.680=0.294 | | max | 3.177-2.992=0.185 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.403-4754.267=0.135 | | σ | 0.851-0.899=-0.049 | | min | 4753.922-4753.534=0.388 | | max | 4755.915-4755.835=0.079 |
| | mean | 2478.000-2494.000=-16.000 | | σ | 0.000 | | min | 2478.000-2494.000=-16.000 | | max | 2478.000-2494.000=-16.000 |
| | mean | 8.102-8.244=-0.142 | | σ | 0.574-0.638=-0.064 | | min | 7.632-7.604=0.028 | | max | 9.089-9.120=-0.031 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.729-4944.667=0.063 | | σ | 0.123-0.195=-0.072 | | min | 4944.543-4944.404=0.140 | | max | 4944.890-4944.894=-0.004 |
| | mean | 2913.800-3012.400=-98.600 | | σ | 394.657-418.524=-23.867 | | min | 2478.000-2494.000=-16.000 | | max | 3452.000-3585.000=-133.000 |
| | mean | 8.399-8.716=-0.317 | | σ | 0.039-0.395=-0.355 | | min | 8.359-8.470=-0.111 | | max | 8.448-9.416=-0.968 |
|