iters=5 new-facts=1 prior-facts=1 | | mean | 282.193-282.193=-0.000 | | σ | 0.006-0.008=-0.001 | | min | 282.184-282.184=0.001 | | max | 282.200-282.201=-0.001 |
| | mean | 2771.000-2790.000=-19.000 | | σ | 0.000 | | min | 2771.000-2790.000=-19.000 | | max | 2771.000-2790.000=-19.000 |
| | mean | 0.409-0.408=0.001 | | σ | 0.004-0.003=0.000 | | min | 0.406-0.403=0.003 | | max | 0.415-0.413=0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.711-2174.715=-0.004 | | σ | 0.019-0.008=0.010 | | min | 2174.687-2174.705=-0.018 | | max | 2174.730-2174.727=0.003 |
| | mean | 2771.000-2790.000=-19.000 | | σ | 0.000 | | min | 2771.000-2790.000=-19.000 | | max | 2771.000-2790.000=-19.000 |
| | mean | 3.017-2.977=0.040 | | σ | 0.161-0.134=0.027 | | min | 2.818-2.808=0.010 | | max | 3.184-3.144=0.040 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5054.299-5054.562=-0.264 | | σ | 1.209-1.018=0.192 | | min | 5052.983-5053.954=-0.972 | | max | 5056.285-5056.366=-0.081 |
| | mean | 2771.000-2790.000=-19.000 | | σ | 0.000 | | min | 2771.000-2790.000=-19.000 | | max | 2771.000-2790.000=-19.000 |
| | mean | 8.912-9.137=-0.226 | | σ | 0.591-0.721=-0.130 | | min | 8.018-8.047=-0.029 | | max | 9.662-10.043=-0.381 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5185.684-5185.610=0.074 | | σ | 0.074-0.190=-0.116 | | min | 5185.606-5185.295=0.310 | | max | 5185.776-5185.770=0.006 |
| | mean | 3239.600-3255.600=-16.000 | | σ | 364.084-364.611=-0.528 | | min | 2771.000-2790.000=-19.000 | | max | 3720.000-3739.000=-19.000 |
| | mean | 10.043-10.048=-0.004 | | σ | 0.436-0.379=0.056 | | min | 9.603-9.447=0.156 | | max | 10.709-10.493=0.216 |
|