iters=5 new-facts=1 prior-facts=1 | | mean | 275.764-275.762=0.002 | | σ | 0.013-0.004=0.009 | | min | 275.748-275.756=-0.009 | | max | 275.781-275.767=0.014 |
| | mean | 2508.000-2861.000=-353.000 | | σ | 0.000 | | min | 2508.000-2861.000=-353.000 | | max | 2508.000-2861.000=-353.000 |
| | mean | 0.403-0.406=-0.003 | | σ | 0.008-0.010=-0.002 | | min | 0.397-0.398=-0.001 | | max | 0.416-0.418=-0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.291-2168.280=0.011 | | σ | 0.017-0.019=-0.002 | | min | 2168.269-2168.251=0.018 | | max | 2168.310-2168.300=0.010 |
| | mean | 2508.000-2861.000=-353.000 | | σ | 0.000 | | min | 2508.000-2861.000=-353.000 | | max | 2508.000-2861.000=-353.000 |
| | mean | 2.874-2.803=0.071 | | σ | 0.115-0.107=0.008 | | min | 2.774-2.674=0.100 | | max | 3.003-2.942=0.061 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4889.187-5048.004=-158.817 | | σ | 355.850-1.004=354.846 | | min | 4252.625-5047.265=-794.639 | | max | 5049.760-5049.766=-0.006 |
| | mean | 2508.000-2861.000=-353.000 | | σ | 0.000 | | min | 2508.000-2861.000=-353.000 | | max | 2508.000-2861.000=-353.000 |
| | mean | 8.546-8.727=-0.181 | | σ | 0.712-0.504=0.208 | | min | 7.498-8.041=-0.544 | | max | 9.262-9.271=-0.010 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.168-5179.253=-0.085 | | σ | 0.204-0.087=0.117 | | min | 5178.819-5179.171=-0.352 | | max | 5179.317-5179.350=-0.033 |
| | mean | 3080.600-3318.800=-238.200 | | σ | 461.709-446.028=15.681 | | min | 2515.000-2861.000=-346.000 | | max | 3711.000-3953.000=-242.000 |
| | mean | 9.794-10.071=-0.276 | | σ | 0.181-0.103=0.078 | | min | 9.584-9.970=-0.385 | | max | 10.068-10.220=-0.152 |
|