iters=5 new-facts=1 prior-facts=1 | | mean | 270.611-270.140=0.470 | | σ | 0.006-0.006=0.000 | | min | 270.601-270.132=0.469 | | max | 270.618-270.148=0.470 |
| | mean | 2769.000-2418.000=351.000 | | σ | 0.000 | | min | 2769.000-2418.000=351.000 | | max | 2769.000-2418.000=351.000 |
| | mean | 0.379-0.378=0.002 | | σ | 0.004-0.005=-0.001 | | min | 0.377-0.370=0.007 | | max | 0.386-0.384=0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1931.042-1930.605=0.437 | | σ | 0.009-0.008=0.000 | | min | 1931.035-1930.596=0.439 | | max | 1931.057-1930.618=0.439 |
| | mean | 2769.000-2418.000=351.000 | | σ | 0.000 | | min | 2769.000-2418.000=351.000 | | max | 2769.000-2418.000=351.000 |
| | mean | 2.989-2.509=0.481 | | σ | 0.041-0.056=-0.015 | | min | 2.948-2.454=0.494 | | max | 3.052-2.578=0.474 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.804-4751.236=0.568 | | σ | 0.836-0.968=-0.131 | | min | 4751.221-4750.510=0.710 | | max | 4753.276-4752.929=0.347 |
| | mean | 2769.000-2418.000=351.000 | | σ | 0.000 | | min | 2769.000-2418.000=351.000 | | max | 2769.000-2418.000=351.000 |
| | mean | 8.203-8.379=-0.176 | | σ | 0.629-0.538=0.091 | | min | 7.732-7.666=0.066 | | max | 9.172-9.042=0.130 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4942.162-4941.702=0.460 | | σ | 0.147-0.143=0.003 | | min | 4941.903-4941.446=0.458 | | max | 4942.258-4941.776=0.482 |
| | mean | 3037.400-2984.800=52.600 | | σ | 326.486-284.178=42.307 | | min | 2769.000-2602.000=167.000 | | max | 3527.000-3324.000=203.000 |
| | mean | 8.459-8.501=-0.043 | | σ | 0.134-0.218=-0.084 | | min | 8.355-8.200=0.155 | | max | 8.693-8.740=-0.048 |
|