iters=5 new-facts=1 prior-facts=1 | | mean | 271.955-271.600=0.355 | | σ | 0.006-0.008=-0.002 | | min | 271.951-271.594=0.357 | | max | 271.965-271.609=0.357 |
| | mean | 2781.000-2730.000=51.000 | | σ | 0.000 | | min | 2781.000-2730.000=51.000 | | max | 2781.000-2730.000=51.000 |
| | mean | 0.381-0.386=-0.005 | | σ | 0.004-0.008=-0.004 | | min | 0.378-0.379=-0.001 | | max | 0.388-0.395=-0.007 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.328-1932.004=0.324 | | σ | 0.009-0.012=-0.002 | | min | 1932.317-1931.985=0.332 | | max | 1932.336-1932.014=0.323 |
| | mean | 2781.000-2730.000=51.000 | | σ | 0.000 | | min | 2781.000-2730.000=51.000 | | max | 2781.000-2730.000=51.000 |
| | mean | 3.012-2.506=0.506 | | σ | 0.188-0.085=0.103 | | min | 2.741-2.404=0.337 | | max | 3.256-2.609=0.647 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4753.064-4752.735=0.328 | | σ | 0.925-0.877=0.049 | | min | 4752.568-4752.203=0.365 | | max | 4754.716-4754.296=0.420 |
| | mean | 2781.000-2730.000=51.000 | | σ | 0.000 | | min | 2781.000-2730.000=51.000 | | max | 2781.000-2730.000=51.000 |
| | mean | 8.639-8.596=0.043 | | σ | 0.383-0.394=-0.012 | | min | 8.059-8.235=-0.177 | | max | 9.056-9.216=-0.160 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.485-4943.150=0.335 | | σ | 0.152-0.144=0.009 | | min | 4943.213-4942.893=0.320 | | max | 4943.564-4943.226=0.338 |
| | mean | 3005.600-3039.400=-33.800 | | σ | 217.958-226.911=-8.953 | | min | 2781.000-2730.000=51.000 | | max | 3324.000-3331.000=-7.000 |
| | mean | 8.502-8.542=-0.040 | | σ | 0.231-0.126=0.106 | | min | 8.371-8.385=-0.015 | | max | 8.912-8.676=0.236 |
|