iters=5 new-facts=1 prior-facts=1 | | mean | 324.015-272.788=51.226 | | σ | 0.055-0.009=0.046 | | min | 323.916-272.784=51.133 | | max | 324.042-272.804=51.238 |
| | mean | 2497.000-2513.000=-16.000 | | σ | 0.000 | | min | 2497.000-2513.000=-16.000 | | max | 2497.000-2513.000=-16.000 |
| | mean | 0.427-0.382=0.045 | | σ | 0.006-0.009=-0.003 | | min | 0.421-0.377=0.045 | | max | 0.437-0.398=0.039 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1984.586-1933.218=51.369 | | σ | 0.021-0.018=0.003 | | min | 1984.558-1933.193=51.365 | | max | 1984.611-1933.238=51.373 |
| | mean | 2497.000-2513.000=-16.000 | | σ | 0.000 | | min | 2497.000-2513.000=-16.000 | | max | 2497.000-2513.000=-16.000 |
| | mean | 2.598-3.071=-0.473 | | σ | 0.064-0.090=-0.026 | | min | 2.551-3.008=-0.457 | | max | 2.701-3.229=-0.528 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.240-4756.886=51.354 | | σ | 7.805-7.296=0.509 | | min | 4804.701-4753.589=51.112 | | max | 4822.202-4769.937=52.265 |
| | mean | 2497.000-2513.000=-16.000 | | σ | 0.000 | | min | 2497.000-2513.000=-16.000 | | max | 2497.000-2513.000=-16.000 |
| | mean | 8.931-8.278=0.653 | | σ | 0.293-0.373=-0.080 | | min | 8.604-7.737=0.867 | | max | 9.393-8.612=0.781 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4995.738-4944.449=51.289 | | σ | 0.175-0.021=0.154 | | min | 4995.426-4944.422=51.004 | | max | 4995.828-4944.473=51.355 |
| | mean | 2993.000-2920.800=72.200 | | σ | 274.557-366.784=-92.227 | | min | 2619.000-2513.000=106.000 | | max | 3316.000-3429.000=-113.000 |
| | mean | 8.707-8.408=0.298 | | σ | 0.255-0.102=0.152 | | min | 8.424-8.253=0.171 | | max | 9.120-8.535=0.586 |
|