iters=5 new-facts=1 prior-facts=1 | | mean | 270.085-268.233=1.852 | | σ | 0.004-0.005=-0.001 | | min | 270.079-268.230=1.849 | | max | 270.090-268.242=1.847 |
| | mean | 2442.000-2888.000=-446.000 | | σ | 0.000 | | min | 2442.000-2888.000=-446.000 | | max | 2442.000-2888.000=-446.000 |
| | mean | 0.381-0.383=-0.002 | | σ | 0.006-0.009=-0.003 | | min | 0.376-0.373=0.002 | | max | 0.391-0.395=-0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.486-1928.645=1.841 | | σ | 0.006-0.014=-0.008 | | min | 1930.478-1928.629=1.849 | | max | 1930.492-1928.664=1.828 |
| | mean | 2442.000-2888.000=-446.000 | | σ | 0.000 | | min | 2442.000-2888.000=-446.000 | | max | 2442.000-2888.000=-446.000 |
| | mean | 2.948-2.948=-0.001 | | σ | 0.127-0.165=-0.038 | | min | 2.766-2.675=0.091 | | max | 3.109-3.118=-0.010 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.250-4749.251=1.998 | | σ | 0.836-1.005=-0.170 | | min | 4750.765-4748.395=2.370 | | max | 4752.733-4750.991=1.741 |
| | mean | 2442.000-2888.000=-446.000 | | σ | 0.000 | | min | 2442.000-2888.000=-446.000 | | max | 2442.000-2888.000=-446.000 |
| | mean | 8.586-8.661=-0.075 | | σ | 0.387-0.264=0.123 | | min | 8.012-8.373=-0.361 | | max | 9.013-9.051=-0.038 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.716-4939.837=1.879 | | σ | 0.019-0.014=0.005 | | min | 4941.694-4939.815=1.879 | | max | 4941.734-4939.851=1.883 |
| | mean | 2989.400-3081.600=-92.200 | | σ | 263.842-212.043=51.799 | | min | 2629.000-2888.000=-259.000 | | max | 3297.000-3402.000=-105.000 |
| | mean | 8.639-8.525=0.115 | | σ | 0.239-0.143=0.097 | | min | 8.475-8.360=0.115 | | max | 9.060-8.725=0.335 |
|