iters=5 new-facts=1 prior-facts=1 | | mean | 275.567-275.567=-0.000 | | σ | 0.003-0.007=-0.003 | | min | 275.561-275.561=0.001 | | max | 275.570-275.577=-0.007 |
| | mean | 2697.000-2775.000=-78.000 | | σ | 0.000 | | min | 2697.000-2775.000=-78.000 | | max | 2697.000-2775.000=-78.000 |
| | mean | 0.393-0.395=-0.002 | | σ | 0.009-0.008=0.001 | | min | 0.386-0.386=0.000 | | max | 0.405-0.403=0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.091-2168.101=-0.010 | | σ | 0.016-0.006=0.010 | | min | 2168.071-2168.095=-0.023 | | max | 2168.114-2168.110=0.004 |
| | mean | 2697.000-2775.000=-78.000 | | σ | 0.000 | | min | 2697.000-2775.000=-78.000 | | max | 2697.000-2775.000=-78.000 |
| | mean | 2.956-2.968=-0.012 | | σ | 0.139-0.163=-0.024 | | min | 2.781-2.755=0.026 | | max | 3.109-3.148=-0.040 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.930-5047.801=0.129 | | σ | 0.916-0.911=0.005 | | min | 5047.332-5047.195=0.137 | | max | 5049.551-5049.413=0.138 |
| | mean | 2697.000-2775.000=-78.000 | | σ | 0.000 | | min | 2697.000-2775.000=-78.000 | | max | 2697.000-2775.000=-78.000 |
| | mean | 8.816-8.691=0.125 | | σ | 0.596-0.475=0.121 | | min | 8.215-8.160=0.055 | | max | 9.534-9.383=0.151 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.054-5178.974=0.080 | | σ | 0.091-0.180=-0.090 | | min | 5178.958-5178.681=0.276 | | max | 5179.148-5179.122=0.026 |
| | mean | 3283.600-3240.400=43.200 | | σ | 383.894-361.282=22.611 | | min | 2703.000-2775.000=-72.000 | | max | 3707.000-3713.000=-6.000 |
| | mean | 10.152-9.919=0.233 | | σ | 0.253-0.332=-0.079 | | min | 9.934-9.537=0.397 | | max | 10.562-10.422=0.140 |
|