iters=5 new-facts=1 prior-facts=1 | | mean | 270.144-270.144=0.000 | | σ | 0.006-0.006=-0.000 | | min | 270.135-270.133=0.002 | | max | 270.149-270.149=0.001 |
| | mean | 2849.000-2855.000=-6.000 | | σ | 0.000 | | min | 2849.000-2855.000=-6.000 | | max | 2849.000-2855.000=-6.000 |
| | mean | 0.380-0.376=0.004 | | σ | 0.006-0.001=0.005 | | min | 0.371-0.375=-0.004 | | max | 0.389-0.377=0.012 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.595-1930.607=-0.012 | | σ | 0.016-0.011=0.005 | | min | 1930.577-1930.593=-0.016 | | max | 1930.612-1930.622=-0.009 |
| | mean | 2849.000-2855.000=-6.000 | | σ | 0.000 | | min | 2849.000-2855.000=-6.000 | | max | 2849.000-2855.000=-6.000 |
| | mean | 2.540-2.554=-0.014 | | σ | 0.175-0.119=0.056 | | min | 2.388-2.453=-0.065 | | max | 2.838-2.727=0.111 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.290-4751.274=0.016 | | σ | 0.938-0.867=0.071 | | min | 4750.751-4750.743=0.008 | | max | 4752.959-4752.814=0.145 |
| | mean | 2849.000-2855.000=-6.000 | | σ | 0.000 | | min | 2849.000-2855.000=-6.000 | | max | 2849.000-2855.000=-6.000 |
| | mean | 8.685-8.732=-0.047 | | σ | 0.644-0.323=0.321 | | min | 7.665-8.455=-0.790 | | max | 9.269-9.272=-0.002 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.625-4941.696=-0.071 | | σ | 0.184-0.148=0.036 | | min | 4941.418-4941.433=-0.015 | | max | 4941.777-4941.782=-0.005 |
| | mean | 3052.000-3074.600=-22.600 | | σ | 199.959-225.324=-25.365 | | min | 2849.000-2855.000=-6.000 | | max | 3310.000-3305.000=5.000 |
| | mean | 8.557-8.773=-0.216 | | σ | 0.163-0.298=-0.136 | | min | 8.375-8.428=-0.053 | | max | 8.747-9.228=-0.481 |
|