iters=5 new-facts=1 prior-facts=1 | | mean | 271.752-271.754=-0.003 | | σ | 0.006-0.005=0.001 | | min | 271.745-271.747=-0.002 | | max | 271.760-271.761=-0.001 |
| | mean | 2696.000-2804.000=-108.000 | | σ | 0.000 | | min | 2696.000-2804.000=-108.000 | | max | 2696.000-2804.000=-108.000 |
| | mean | 0.378-0.381=-0.003 | | σ | 0.006-0.004=0.002 | | min | 0.371-0.379=-0.008 | | max | 0.388-0.389=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.177-1932.169=0.008 | | σ | 0.018-0.013=0.005 | | min | 1932.151-1932.151=-0.000 | | max | 1932.196-1932.182=0.013 |
| | mean | 2696.000-2804.000=-108.000 | | σ | 0.000 | | min | 2696.000-2804.000=-108.000 | | max | 2696.000-2804.000=-108.000 |
| | mean | 2.921-2.961=-0.040 | | σ | 0.126-0.303=-0.177 | | min | 2.744-2.457=0.287 | | max | 3.059-3.251=-0.192 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.920-4752.781=0.139 | | σ | 0.903-1.025=-0.123 | | min | 4752.413-4751.921=0.492 | | max | 4754.525-4754.560=-0.035 |
| | mean | 2696.000-2804.000=-108.000 | | σ | 0.000 | | min | 2696.000-2804.000=-108.000 | | max | 2696.000-2804.000=-108.000 |
| | mean | 8.445-8.743=-0.298 | | σ | 0.536-0.255=0.281 | | min | 7.646-8.461=-0.815 | | max | 8.995-9.105=-0.109 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.373-4943.308=0.065 | | σ | 0.016-0.148=-0.133 | | min | 4943.354-4943.046=0.309 | | max | 4943.391-4943.403=-0.011 |
| | mean | 2956.000-3010.400=-54.400 | | σ | 309.121-211.701=97.420 | | min | 2696.000-2804.000=-108.000 | | max | 3427.000-3311.000=116.000 |
| | mean | 8.378-8.592=-0.214 | | σ | 0.060-0.160=-0.100 | | min | 8.309-8.440=-0.130 | | max | 8.430-8.845=-0.415 |
|