iters=5 new-facts=1 prior-facts=1 | | mean | 278.840-278.824=0.016 | | σ | 0.014-0.006=0.007 | | min | 278.819-278.816=0.002 | | max | 278.851-278.831=0.020 |
| | mean | 2696.000-2706.000=-10.000 | | σ | 0.000 | | min | 2696.000-2706.000=-10.000 | | max | 2696.000-2706.000=-10.000 |
| | mean | 0.415-0.411=0.003 | | σ | 0.005-0.004=0.001 | | min | 0.409-0.408=0.001 | | max | 0.419-0.419=-0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.907-2102.918=165.989 | | σ | 0.010-371.127=-371.118 | | min | 2268.895-1439.025=829.870 | | max | 2268.918-2268.904=0.014 |
| | mean | 2696.000-2706.000=-10.000 | | σ | 0.000 | | min | 2696.000-2706.000=-10.000 | | max | 2696.000-2706.000=-10.000 |
| | mean | 3.013-2.839=0.174 | | σ | 0.190-0.490=-0.300 | | min | 2.877-2.002=0.875 | | max | 3.319-3.215=0.104 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.265-4954.182=0.082 | | σ | 0.872-0.680=0.192 | | min | 4953.854-4953.683=0.171 | | max | 4955.824-4955.375=0.449 |
| | mean | 2696.000-2706.000=-10.000 | | σ | 0.000 | | min | 2696.000-2706.000=-10.000 | | max | 2696.000-2706.000=-10.000 |
| | mean | 8.082-7.984=0.098 | | σ | 0.424-0.373=0.050 | | min | 7.688-7.726=-0.037 | | max | 8.711-8.643=0.068 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5168.743-5168.817=-0.075 | | σ | 0.203-0.090=0.113 | | min | 5168.400-5168.719=-0.318 | | max | 5168.907-5168.886=0.021 |
| | mean | 3452.600-3300.800=151.800 | | σ | 472.128-464.223=7.905 | | min | 2861.000-2706.000=155.000 | | max | 4131.000-3748.000=383.000 |
| | mean | 9.280-9.053=0.227 | | σ | 0.224-0.144=0.080 | | min | 9.022-8.880=0.141 | | max | 9.588-9.258=0.330 |
|