iters=5 new-facts=1 prior-facts=1 | | mean | 278.674-278.676=-0.001 | | σ | 0.007-0.011=-0.005 | | min | 278.666-278.665=0.001 | | max | 278.682-278.694=-0.012 |
| | mean | 2604.000-2591.000=13.000 | | σ | 0.000 | | min | 2604.000-2591.000=13.000 | | max | 2604.000-2591.000=13.000 |
| | mean | 0.418-0.420=-0.002 | | σ | 0.001-0.006=-0.005 | | min | 0.417-0.415=0.002 | | max | 0.419-0.431=-0.011 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.845-2268.846=-0.001 | | σ | 0.004-0.004=-0.000 | | min | 2268.839-2268.840=-0.001 | | max | 2268.849-2268.851=-0.002 |
| | mean | 2604.000-2591.000=13.000 | | σ | 0.000 | | min | 2604.000-2591.000=13.000 | | max | 2604.000-2591.000=13.000 |
| | mean | 2.934-3.120=-0.186 | | σ | 0.069-0.176=-0.107 | | min | 2.863-2.923=-0.060 | | max | 3.046-3.337=-0.292 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.299-4952.300=-0.002 | | σ | 0.881-0.844=0.037 | | min | 4951.754-4951.859=-0.105 | | max | 4953.863-4953.807=0.056 |
| | mean | 2604.000-2591.000=13.000 | | σ | 0.000 | | min | 2604.000-2591.000=13.000 | | max | 2604.000-2591.000=13.000 |
| | mean | 8.217-8.075=0.142 | | σ | 0.481-0.310=0.170 | | min | 7.847-7.764=0.083 | | max | 8.932-8.421=0.511 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5167.055-5166.916=0.139 | | σ | 0.010-0.322=-0.312 | | min | 5167.047-5166.340=0.706 | | max | 5167.072-5167.085=-0.013 |
| | mean | 3403.600-3435.200=-31.600 | | σ | 479.802-489.734=-9.932 | | min | 2746.000-2855.000=-109.000 | | max | 4009.000-4144.000=-135.000 |
| | mean | 9.201-9.306=-0.106 | | σ | 0.186-0.535=-0.349 | | min | 8.970-8.748=0.223 | | max | 9.418-10.066=-0.648 |
|