iters=5 new-facts=1 prior-facts=1 | | mean | 277.475-272.011=5.463 | | σ | 0.005-0.012=-0.007 | | min | 277.471-271.995=5.476 | | max | 277.482-272.022=5.460 |
| | mean | 2900.000-2886.000=14.000 | | σ | 0.000 | | min | 2900.000-2886.000=14.000 | | max | 2900.000-2886.000=14.000 |
| | mean | 0.393-0.390=0.003 | | σ | 0.005-0.006=-0.001 | | min | 0.388-0.384=0.005 | | max | 0.400-0.396=0.005 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1937.902-1932.447=5.456 | | σ | 0.011-0.019=-0.008 | | min | 1937.884-1932.425=5.459 | | max | 1937.912-1932.473=5.439 |
| | mean | 2900.000-2886.000=14.000 | | σ | 0.000 | | min | 2900.000-2886.000=14.000 | | max | 2900.000-2886.000=14.000 |
| | mean | 2.969-2.872=0.098 | | σ | 0.031-0.271=-0.240 | | min | 2.926-2.424=0.502 | | max | 2.999-3.088=-0.089 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4758.610-4753.142=5.468 | | σ | 0.918-0.923=-0.005 | | min | 4758.167-4752.667=5.499 | | max | 4760.250-4754.787=5.463 |
| | mean | 2900.000-2886.000=14.000 | | σ | 0.000 | | min | 2900.000-2886.000=14.000 | | max | 2900.000-2886.000=14.000 |
| | mean | 8.703-8.820=-0.118 | | σ | 0.222-0.291=-0.069 | | min | 8.394-8.478=-0.084 | | max | 8.966-9.155=-0.189 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4949.109-4943.555=5.554 | | σ | 0.024-0.165=-0.141 | | min | 4949.082-4943.261=5.821 | | max | 4949.137-4943.646=5.491 |
| | mean | 3041.000-3067.400=-26.400 | | σ | 169.462-181.333=-11.871 | | min | 2900.000-2886.000=14.000 | | max | 3315.000-3309.000=6.000 |
| | mean | 8.634-8.664=-0.029 | | σ | 0.122-0.273=-0.151 | | min | 8.513-8.404=0.109 | | max | 8.825-9.016=-0.191 |
|