iters=5 new-facts=1 prior-facts=1 | | mean | 271.753-271.756=-0.003 | | σ | 0.006-0.007=-0.001 | | min | 271.742-271.746=-0.004 | | max | 271.758-271.762=-0.004 |
| | mean | 2810.000-2886.000=-76.000 | | σ | 0.000 | | min | 2810.000-2886.000=-76.000 | | max | 2810.000-2886.000=-76.000 |
| | mean | 0.383-0.378=0.004 | | σ | 0.009-0.005=0.004 | | min | 0.369-0.375=-0.006 | | max | 0.390-0.388=0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.174-1932.163=0.011 | | σ | 0.018-0.007=0.011 | | min | 1932.146-1932.157=-0.010 | | max | 1932.197-1932.176=0.022 |
| | mean | 2810.000-2886.000=-76.000 | | σ | 0.000 | | min | 2810.000-2886.000=-76.000 | | max | 2810.000-2886.000=-76.000 |
| | mean | 3.027-2.984=0.042 | | σ | 0.065-0.106=-0.042 | | min | 2.971-2.812=0.160 | | max | 3.110-3.102=0.008 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.908-4752.925=-0.017 | | σ | 0.911-0.961=-0.051 | | min | 4752.429-4752.365=0.064 | | max | 4754.528-4754.632=-0.104 |
| | mean | 2810.000-2886.000=-76.000 | | σ | 0.000 | | min | 2810.000-2886.000=-76.000 | | max | 2810.000-2886.000=-76.000 |
| | mean | 8.478-8.632=-0.154 | | σ | 0.557-0.682=-0.125 | | min | 7.615-7.630=-0.015 | | max | 8.928-9.476=-0.547 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.304-4943.371=-0.066 | | σ | 0.156-0.016=0.140 | | min | 4943.028-4943.353=-0.325 | | max | 4943.398-4943.392=0.006 |
| | mean | 3003.800-3055.200=-51.400 | | σ | 259.909-240.995=18.914 | | min | 2810.000-2886.000=-76.000 | | max | 3409.000-3434.000=-25.000 |
| | mean | 8.418-8.428=-0.010 | | σ | 0.074-0.050=0.024 | | min | 8.360-8.375=-0.014 | | max | 8.543-8.485=0.058 |
|