iters=5 new-facts=1 prior-facts=1 | | mean | 326.419-326.442=-0.023 | | σ | 0.056-0.049=0.007 | | min | 326.321-326.355=-0.034 | | max | 326.460-326.476=-0.016 |
| | mean | 2682.000-2757.000=-75.000 | | σ | 0.000 | | min | 2682.000-2757.000=-75.000 | | max | 2682.000-2757.000=-75.000 |
| | mean | 0.433-0.427=0.006 | | σ | 0.006-0.002=0.004 | | min | 0.425-0.424=0.001 | | max | 0.439-0.429=0.011 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.604-1988.606=-0.003 | | σ | 0.008-0.011=-0.003 | | min | 1988.594-1988.595=-0.001 | | max | 1988.612-1988.619=-0.007 |
| | mean | 2682.000-2757.000=-75.000 | | σ | 0.000 | | min | 2682.000-2757.000=-75.000 | | max | 2682.000-2757.000=-75.000 |
| | mean | 2.750-2.749=0.001 | | σ | 0.110-0.109=0.002 | | min | 2.667-2.631=0.036 | | max | 2.936-2.894=0.041 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4812.246-4812.375=-0.129 | | σ | 7.474-7.734=-0.259 | | min | 4808.860-4808.833=0.028 | | max | 4825.617-4826.209=-0.592 |
| | mean | 2682.000-2757.000=-75.000 | | σ | 0.000 | | min | 2682.000-2757.000=-75.000 | | max | 2682.000-2757.000=-75.000 |
| | mean | 8.637-8.541=0.096 | | σ | 0.461-0.489=-0.029 | | min | 7.920-7.843=0.077 | | max | 9.164-9.211=-0.047 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4999.930-4999.795=0.134 | | σ | 0.019-0.315=-0.296 | | min | 4999.910-4999.237=0.672 | | max | 4999.952-4999.996=-0.044 |
| | mean | 2947.000-2996.400=-49.400 | | σ | 312.201-296.086=16.115 | | min | 2682.000-2757.000=-75.000 | | max | 3407.000-3440.000=-33.000 |
| | mean | 9.599-9.341=0.257 | | σ | 0.622-0.756=-0.134 | | min | 8.499-8.521=-0.022 | | max | 10.034-10.168=-0.134 |
|