iters=5 new-facts=1 prior-facts=1 | | mean | 278.825-278.826=-0.002 | | σ | 0.003-0.004=-0.001 | | min | 278.820-278.821=-0.001 | | max | 278.827-278.832=-0.004 |
| | mean | 2731.000-2642.000=89.000 | | σ | 0.000 | | min | 2731.000-2642.000=89.000 | | max | 2731.000-2642.000=89.000 |
| | mean | 0.410-0.409=0.001 | | σ | 0.004-0.005=-0.002 | | min | 0.406-0.405=0.001 | | max | 0.416-0.417=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.887-2268.892=-0.006 | | σ | 0.007-0.013=-0.007 | | min | 2268.878-2268.877=0.000 | | max | 2268.893-2268.914=-0.021 |
| | mean | 2731.000-2642.000=89.000 | | σ | 0.000 | | min | 2731.000-2642.000=89.000 | | max | 2731.000-2642.000=89.000 |
| | mean | 2.929-2.995=-0.066 | | σ | 0.077-0.111=-0.034 | | min | 2.856-2.871=-0.016 | | max | 3.032-3.114=-0.082 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.006-4954.264=-0.258 | | σ | 0.960-0.804=0.156 | | min | 4953.209-4953.813=-0.605 | | max | 4955.635-4955.697=-0.061 |
| | mean | 2731.000-2642.000=89.000 | | σ | 0.000 | | min | 2731.000-2642.000=89.000 | | max | 2731.000-2642.000=89.000 |
| | mean | 8.004-7.922=0.082 | | σ | 0.165-0.137=0.028 | | min | 7.843-7.828=0.015 | | max | 8.272-8.161=0.111 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5168.727-5168.795=-0.068 | | σ | 0.207-0.076=0.131 | | min | 5168.378-5168.733=-0.355 | | max | 5168.885-5168.881=0.004 |
| | mean | 3462.000-3394.600=67.400 | | σ | 447.513-491.430=-43.917 | | min | 2888.000-2821.000=67.000 | | max | 4112.000-4126.000=-14.000 |
| | mean | 9.149-9.273=-0.124 | | σ | 0.187-0.280=-0.093 | | min | 8.986-8.908=0.079 | | max | 9.395-9.668=-0.273 |
|