iters=5 new-facts=1 prior-facts=1 | | mean | 270.514-270.133=0.381 | | σ | 0.005-0.015=-0.010 | | min | 270.507-270.119=0.387 | | max | 270.520-270.154=0.366 |
| | mean | 2691.000-2849.000=-158.000 | | σ | 0.000 | | min | 2691.000-2849.000=-158.000 | | max | 2691.000-2849.000=-158.000 |
| | mean | 0.383-0.386=-0.003 | | σ | 0.008-0.008=-0.000 | | min | 0.378-0.377=0.001 | | max | 0.397-0.398=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.940-1930.609=0.331 | | σ | 0.005-0.005=0.000 | | min | 1930.933-1930.602=0.331 | | max | 1930.946-1930.613=0.332 |
| | mean | 2691.000-2849.000=-158.000 | | σ | 0.000 | | min | 2691.000-2849.000=-158.000 | | max | 2691.000-2849.000=-158.000 |
| | mean | 3.047-2.543=0.504 | | σ | 0.084-0.162=-0.078 | | min | 2.968-2.383=0.584 | | max | 3.176-2.806=0.370 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.419-4751.351=0.069 | | σ | 0.428-0.829=-0.400 | | min | 4751.161-4750.877=0.285 | | max | 4752.181-4752.823=-0.642 |
| | mean | 2691.000-2849.000=-158.000 | | σ | 0.000 | | min | 2691.000-2849.000=-158.000 | | max | 2691.000-2849.000=-158.000 |
| | mean | 8.728-8.210=0.518 | | σ | 0.253-0.452=-0.199 | | min | 8.405-7.705=0.700 | | max | 9.027-8.693=0.334 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4942.146-4941.772=0.374 | | σ | 0.010-0.018=-0.008 | | min | 4942.133-4941.753=0.381 | | max | 4942.159-4941.794=0.364 |
| | mean | 3005.200-3052.600=-47.400 | | σ | 254.354-188.894=65.461 | | min | 2691.000-2849.000=-158.000 | | max | 3330.000-3323.000=7.000 |
| | mean | 8.630-8.534=0.097 | | σ | 0.339-0.151=0.188 | | min | 8.353-8.387=-0.034 | | max | 9.205-8.734=0.471 |
|