iters=5 new-facts=1 prior-facts=1 | | mean | 270.238-270.238=0.000 | | σ | 0.005-0.008=-0.003 | | min | 270.233-270.228=0.006 | | max | 270.246-270.249=-0.004 |
| | mean | 2777.000-2757.000=20.000 | | σ | 0.000 | | min | 2777.000-2757.000=20.000 | | max | 2777.000-2757.000=20.000 |
| | mean | 0.383-0.383=0.000 | | σ | 0.005-0.008=-0.003 | | min | 0.379-0.378=0.001 | | max | 0.392-0.397=-0.006 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.694-1930.702=-0.008 | | σ | 0.017-0.009=0.008 | | min | 1930.667-1930.689=-0.022 | | max | 1930.706-1930.711=-0.005 |
| | mean | 2777.000-2757.000=20.000 | | σ | 0.000 | | min | 2777.000-2757.000=20.000 | | max | 2777.000-2757.000=20.000 |
| | mean | 2.636-2.506=0.130 | | σ | 0.260-0.075=0.186 | | min | 2.460-2.454=0.006 | | max | 3.089-2.638=0.451 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.294-4751.398=-0.104 | | σ | 0.662-0.865=-0.203 | | min | 4750.877-4750.877=-0.001 | | max | 4752.456-4752.934=-0.478 |
| | mean | 2777.000-2757.000=20.000 | | σ | 0.000 | | min | 2777.000-2757.000=20.000 | | max | 2777.000-2757.000=20.000 |
| | mean | 8.752-8.561=0.191 | | σ | 0.574-0.503=0.072 | | min | 7.841-7.775=0.066 | | max | 9.394-9.102=0.292 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.865-4941.726=0.139 | | σ | 0.022-0.197=-0.175 | | min | 4941.847-4941.506=0.341 | | max | 4941.893-4941.895=-0.001 |
| | mean | 2998.800-3010.000=-11.200 | | σ | 219.121-235.963=-16.841 | | min | 2777.000-2757.000=20.000 | | max | 3309.000-3318.000=-9.000 |
| | mean | 8.566-8.611=-0.045 | | σ | 0.121-0.239=-0.117 | | min | 8.466-8.387=0.079 | | max | 8.751-8.933=-0.182 |
|