iters=5 new-facts=1 prior-facts=1 | | mean | 270.144-270.129=0.015 | | σ | 0.005-0.007=-0.002 | | min | 270.135-270.121=0.015 | | max | 270.148-270.136=0.012 |
| | mean | 2416.000-2470.000=-54.000 | | σ | 0.000 | | min | 2416.000-2470.000=-54.000 | | max | 2416.000-2470.000=-54.000 |
| | mean | 0.385-0.380=0.005 | | σ | 0.006-0.001=0.006 | | min | 0.381-0.379=0.001 | | max | 0.396-0.381=0.016 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.609-1930.593=0.016 | | σ | 0.007-0.014=-0.007 | | min | 1930.601-1930.568=0.033 | | max | 1930.617-1930.603=0.015 |
| | mean | 2416.000-2470.000=-54.000 | | σ | 0.000 | | min | 2416.000-2470.000=-54.000 | | max | 2416.000-2470.000=-54.000 |
| | mean | 2.490-2.547=-0.057 | | σ | 0.125-0.062=0.062 | | min | 2.338-2.506=-0.167 | | max | 2.671-2.653=0.018 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.177-4751.097=0.080 | | σ | 1.041-0.859=0.182 | | min | 4750.274-4750.660=-0.386 | | max | 4752.973-4752.632=0.341 |
| | mean | 2416.000-2470.000=-54.000 | | σ | 0.000 | | min | 2416.000-2470.000=-54.000 | | max | 2416.000-2470.000=-54.000 |
| | mean | 8.802-8.292=0.510 | | σ | 0.334-0.636=-0.302 | | min | 8.446-7.712=0.733 | | max | 9.187-9.003=0.184 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.778-4941.527=0.251 | | σ | 0.021-0.087=-0.066 | | min | 4941.753-4941.450=0.303 | | max | 4941.805-4941.628=0.177 |
| | mean | 2989.000-2942.800=46.200 | | σ | 284.694-395.415=-110.721 | | min | 2600.000-2470.000=130.000 | | max | 3326.000-3460.000=-134.000 |
| | mean | 8.707-8.536=0.171 | | σ | 0.436-0.168=0.267 | | min | 8.357-8.330=0.027 | | max | 9.431-8.753=0.678 |
|