iters=5 new-facts=1 prior-facts=1 | | mean | 278.677-278.680=-0.003 | | σ | 0.013-0.007=0.006 | | min | 278.658-278.669=-0.011 | | max | 278.689-278.686=0.003 |
| | mean | 2587.000-2612.000=-25.000 | | σ | 0.000 | | min | 2587.000-2612.000=-25.000 | | max | 2587.000-2612.000=-25.000 |
| | mean | 0.418-0.423=-0.005 | | σ | 0.001-0.007=-0.006 | | min | 0.417-0.417=-0.001 | | max | 0.418-0.430=-0.012 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.847-2268.849=-0.001 | | σ | 0.004-0.005=-0.001 | | min | 2268.844-2268.842=0.003 | | max | 2268.854-2268.853=0.001 |
| | mean | 2587.000-2612.000=-25.000 | | σ | 0.000 | | min | 2587.000-2612.000=-25.000 | | max | 2587.000-2612.000=-25.000 |
| | mean | 2.871-2.974=-0.103 | | σ | 0.036-0.175=-0.139 | | min | 2.819-2.856=-0.038 | | max | 2.903-3.272=-0.369 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.104-4952.235=-0.131 | | σ | 0.946-0.840=0.106 | | min | 4951.253-4951.769=-0.515 | | max | 4953.725-4953.730=-0.005 |
| | mean | 2587.000-2612.000=-25.000 | | σ | 0.000 | | min | 2587.000-2612.000=-25.000 | | max | 2587.000-2612.000=-25.000 |
| | mean | 8.046-8.108=-0.062 | | σ | 0.364-0.277=0.087 | | min | 7.668-7.739=-0.072 | | max | 8.523-8.495=0.028 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5166.884-5166.949=-0.065 | | σ | 0.198-0.086=0.112 | | min | 5166.558-5166.885=-0.327 | | max | 5167.045-5167.044=0.001 |
| | mean | 3413.200-3446.800=-33.600 | | σ | 482.579-456.092=26.487 | | min | 2760.000-2865.000=-105.000 | | max | 4032.000-4099.000=-67.000 |
| | mean | 9.401-9.258=0.143 | | σ | 0.460-0.242=0.219 | | min | 8.825-9.028=-0.204 | | max | 9.827-9.594=0.234 |
|