iters=5 new-facts=1 prior-facts=1 | | mean | 279.542-279.542=0.000 | | σ | 0.008-0.010=-0.002 | | min | 279.532-279.532=-0.000 | | max | 279.549-279.555=-0.007 |
| | mean | 2756.000-2815.000=-59.000 | | σ | 0.000 | | min | 2756.000-2815.000=-59.000 | | max | 2756.000-2815.000=-59.000 |
| | mean | 0.410-0.414=-0.004 | | σ | 0.006-0.008=-0.002 | | min | 0.407-0.408=-0.000 | | max | 0.421-0.425=-0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2178.464-2178.455=0.009 | | σ | 0.026-0.032=-0.006 | | min | 2178.434-2178.416=0.019 | | max | 2178.500-2178.493=0.006 |
| | mean | 2756.000-2815.000=-59.000 | | σ | 0.000 | | min | 2756.000-2815.000=-59.000 | | max | 2756.000-2815.000=-59.000 |
| | mean | 3.449-3.341=0.108 | | σ | 0.089-0.069=0.020 | | min | 3.316-3.258=0.058 | | max | 3.560-3.426=0.134 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5056.168-5056.404=-0.236 | | σ | 1.156-0.993=0.164 | | min | 5055.229-5055.795=-0.566 | | max | 5058.164-5058.170=-0.006 |
| | mean | 2756.000-2815.000=-59.000 | | σ | 0.000 | | min | 2756.000-2815.000=-59.000 | | max | 2756.000-2815.000=-59.000 |
| | mean | 9.029-8.918=0.110 | | σ | 0.629-0.615=0.015 | | min | 8.124-8.233=-0.110 | | max | 9.725-9.684=0.042 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5193.509-5193.549=-0.039 | | σ | 0.373-0.364=0.008 | | min | 5193.018-5192.944=0.073 | | max | 5193.886-5193.881=0.006 |
| | mean | 3236.400-3296.400=-60.000 | | σ | 348.902-440.858=-91.956 | | min | 2756.000-2815.000=-59.000 | | max | 3671.000-3921.000=-250.000 |
| | mean | 9.009-8.898=0.112 | | σ | 0.382-0.055=0.328 | | min | 8.699-8.849=-0.149 | | max | 9.646-8.982=0.664 |
|