iters=5 new-facts=1 prior-facts=1 | | mean | 270.126-269.932=0.194 | | σ | 0.005-0.008=-0.003 | | min | 270.118-269.925=0.193 | | max | 270.133-269.947=0.186 |
| | mean | 2507.000-2745.000=-238.000 | | σ | 0.000 | | min | 2507.000-2745.000=-238.000 | | max | 2507.000-2745.000=-238.000 |
| | mean | 0.373-0.378=-0.005 | | σ | 0.004-0.013=-0.009 | | min | 0.369-0.369=0.001 | | max | 0.379-0.401=-0.022 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.596-1930.390=0.206 | | σ | 0.016-0.017=-0.001 | | min | 1930.572-1930.370=0.202 | | max | 1930.612-1930.405=0.207 |
| | mean | 2507.000-2745.000=-238.000 | | σ | 0.000 | | min | 2507.000-2745.000=-238.000 | | max | 2507.000-2745.000=-238.000 |
| | mean | 2.581-2.560=0.021 | | σ | 0.155-0.165=-0.010 | | min | 2.444-2.404=0.040 | | max | 2.810-2.800=0.010 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4750.887-4750.908=-0.021 | | σ | 0.315-0.781=-0.466 | | min | 4750.684-4750.379=0.305 | | max | 4751.445-4752.287=-0.842 |
| | mean | 2507.000-2745.000=-238.000 | | σ | 0.000 | | min | 2507.000-2745.000=-238.000 | | max | 2507.000-2745.000=-238.000 |
| | mean | 8.346-8.132=0.214 | | σ | 0.525-0.491=0.034 | | min | 7.786-7.673=0.112 | | max | 8.955-8.798=0.157 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.453-4941.335=0.118 | | σ | 0.215-0.076=0.139 | | min | 4941.097-4941.261=-0.164 | | max | 4941.636-4941.426=0.210 |
| | mean | 2931.200-3039.600=-108.400 | | σ | 384.586-352.832=31.755 | | min | 2507.000-2745.000=-238.000 | | max | 3430.000-3560.000=-130.000 |
| | mean | 8.461-8.530=-0.069 | | σ | 0.354-0.413=-0.059 | | min | 8.241-8.251=-0.010 | | max | 9.090-9.260=-0.170 |
|