iters=5 new-facts=1 prior-facts=1 | | mean | 272.754-272.759=-0.005 | | σ | 0.006-0.008=-0.001 | | min | 272.747-272.749=-0.002 | | max | 272.761-272.770=-0.009 |
| | mean | 2501.000-2772.000=-271.000 | | σ | 0.000 | | min | 2501.000-2772.000=-271.000 | | max | 2501.000-2772.000=-271.000 |
| | mean | 0.384-0.383=0.000 | | σ | 0.008-0.008=0.000 | | min | 0.380-0.378=0.002 | | max | 0.398-0.395=0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.162-1933.162=-0.000 | | σ | 0.017-0.008=0.009 | | min | 1933.142-1933.150=-0.008 | | max | 1933.183-1933.171=0.011 |
| | mean | 2501.000-2772.000=-271.000 | | σ | 0.000 | | min | 2501.000-2772.000=-271.000 | | max | 2501.000-2772.000=-271.000 |
| | mean | 3.144-3.081=0.063 | | σ | 0.165-0.071=0.094 | | min | 3.026-3.016=0.010 | | max | 3.427-3.163=0.265 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4756.945-4756.975=-0.030 | | σ | 7.555-7.568=-0.013 | | min | 4753.537-4753.449=0.088 | | max | 4770.460-4770.512=-0.052 |
| | mean | 2501.000-2772.000=-271.000 | | σ | 0.000 | | min | 2501.000-2772.000=-271.000 | | max | 2501.000-2772.000=-271.000 |
| | mean | 8.495-8.360=0.135 | | σ | 0.135-0.509=-0.374 | | min | 8.331-7.679=0.651 | | max | 8.680-8.949=-0.269 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.392-4944.323=0.068 | | σ | 0.025-0.147=-0.122 | | min | 4944.355-4944.062=0.293 | | max | 4944.419-4944.405=0.014 |
| | mean | 2948.000-3039.000=-91.000 | | σ | 382.137-233.062=149.075 | | min | 2501.000-2772.000=-271.000 | | max | 3456.000-3325.000=131.000 |
| | mean | 8.375-8.663=-0.288 | | σ | 0.086-0.231=-0.145 | | min | 8.266-8.370=-0.104 | | max | 8.470-9.012=-0.542 |
|