iters=5 new-facts=1 prior-facts=1 | | mean | 271.929-273.121=-1.193 | | σ | 0.006-0.004=0.002 | | min | 271.920-273.117=-1.197 | | max | 271.935-273.125=-1.191 |
| | mean | 2714.000-2419.000=295.000 | | σ | 0.000 | | min | 2714.000-2419.000=295.000 | | max | 2714.000-2419.000=295.000 |
| | mean | 0.385-0.384=0.001 | | σ | 0.009-0.009=0.000 | | min | 0.377-0.379=-0.002 | | max | 0.396-0.400=-0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.321-1933.510=-1.189 | | σ | 0.005-0.003=0.001 | | min | 1932.317-1933.507=-1.190 | | max | 1932.329-1933.515=-1.186 |
| | mean | 2714.000-2419.000=295.000 | | σ | 0.000 | | min | 2714.000-2419.000=295.000 | | max | 2714.000-2419.000=295.000 |
| | mean | 2.963-3.076=-0.113 | | σ | 0.063-0.062=0.001 | | min | 2.879-3.027=-0.148 | | max | 3.011-3.162=-0.150 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4753.072-4754.320=-1.248 | | σ | 0.929-0.870=0.059 | | min | 4752.557-4753.776=-1.219 | | max | 4754.730-4755.867=-1.137 |
| | mean | 2714.000-2419.000=295.000 | | σ | 0.000 | | min | 2714.000-2419.000=295.000 | | max | 2714.000-2419.000=295.000 |
| | mean | 8.624-8.304=0.320 | | σ | 0.456-0.475=-0.020 | | min | 7.900-7.914=-0.014 | | max | 9.109-9.042=0.066 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.344-4944.736=-1.392 | | σ | 0.316-0.019=0.297 | | min | 4942.852-4944.712=-1.859 | | max | 4943.585-4944.761=-1.177 |
| | mean | 2982.200-2916.600=65.600 | | σ | 230.829-413.483=-182.654 | | min | 2714.000-2419.000=295.000 | | max | 3310.000-3446.000=-136.000 |
| | mean | 8.474-8.454=0.019 | | σ | 0.101-0.114=-0.012 | | min | 8.370-8.353=0.018 | | max | 8.620-8.607=0.013 |
|