iters=5 new-facts=1 prior-facts=1 | | mean | 275.563-275.560=0.003 | | σ | 0.003-0.006=-0.003 | | min | 275.559-275.553=0.007 | | max | 275.566-275.568=-0.002 |
| | mean | 2825.000-2761.000=64.000 | | σ | 0.000 | | min | 2825.000-2761.000=64.000 | | max | 2825.000-2761.000=64.000 |
| | mean | 0.405-0.402=0.003 | | σ | 0.008-0.007=0.001 | | min | 0.397-0.395=0.002 | | max | 0.415-0.412=0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.094-2168.091=0.003 | | σ | 0.010-0.010=0.000 | | min | 2168.082-2168.076=0.006 | | max | 2168.107-2168.101=0.006 |
| | mean | 2825.000-2761.000=64.000 | | σ | 0.000 | | min | 2825.000-2761.000=64.000 | | max | 2825.000-2761.000=64.000 |
| | mean | 2.942-2.914=0.027 | | σ | 0.143-0.128=0.015 | | min | 2.744-2.776=-0.032 | | max | 3.099-3.104=-0.005 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.802-5047.907=-0.106 | | σ | 0.973-0.892=0.080 | | min | 5047.087-5047.355=-0.267 | | max | 5049.510-5049.495=0.015 |
| | mean | 2825.000-2761.000=64.000 | | σ | 0.000 | | min | 2825.000-2761.000=64.000 | | max | 2825.000-2761.000=64.000 |
| | mean | 8.844-8.633=0.211 | | σ | 0.450-0.483=-0.033 | | min | 8.263-7.871=0.392 | | max | 9.471-9.018=0.453 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.043-5178.910=0.133 | | σ | 0.086-0.252=-0.166 | | min | 5178.958-5178.626=0.332 | | max | 5179.143-5179.162=-0.019 |
| | mean | 3242.000-3236.400=5.600 | | σ | 338.703-363.886=-25.183 | | min | 2825.000-2761.000=64.000 | | max | 3695.000-3710.000=-15.000 |
| | mean | 9.998-10.157=-0.159 | | σ | 0.260-0.218=0.042 | | min | 9.600-9.910=-0.311 | | max | 10.271-10.467=-0.196 |
|