iters=5 new-facts=1 prior-facts=1 | | mean | 275.762-277.387=-1.625 | | σ | 0.008-0.005=0.003 | | min | 275.754-277.380=-1.626 | | max | 275.771-277.392=-1.621 |
| | mean | 2769.000-2608.000=161.000 | | σ | 0.000 | | min | 2769.000-2608.000=161.000 | | max | 2769.000-2608.000=161.000 |
| | mean | 0.399-0.396=0.003 | | σ | 0.007-0.007=-0.000 | | min | 0.390-0.392=-0.002 | | max | 0.405-0.408=-0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.287-2174.629=-6.342 | | σ | 0.021-0.025=-0.005 | | min | 2168.252-2174.606=-6.355 | | max | 2168.302-2174.672=-6.370 |
| | mean | 2769.000-2608.000=161.000 | | σ | 0.000 | | min | 2769.000-2608.000=161.000 | | max | 2769.000-2608.000=161.000 |
| | mean | 2.977-2.851=0.126 | | σ | 0.162-0.170=-0.008 | | min | 2.741-2.760=-0.018 | | max | 3.158-3.154=0.004 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5048.106-5052.588=-4.482 | | σ | 0.930-0.417=0.513 | | min | 5047.582-5052.300=-4.718 | | max | 5049.758-5053.316=-3.558 |
| | mean | 2769.000-2608.000=161.000 | | σ | 0.000 | | min | 2769.000-2608.000=161.000 | | max | 2769.000-2608.000=161.000 |
| | mean | 8.934-8.571=0.363 | | σ | 0.434-0.633=-0.198 | | min | 8.308-8.041=0.267 | | max | 9.496-9.636=-0.140 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.248-5188.608=-9.360 | | σ | 0.082-0.091=-0.009 | | min | 5179.160-5188.533=-9.373 | | max | 5179.352-5188.712=-9.360 |
| | mean | 3249.800-3226.800=23.000 | | σ | 362.670-536.736=-174.067 | | min | 2769.000-2608.000=161.000 | | max | 3725.000-3984.000=-259.000 |
| | mean | 10.022-8.757=1.265 | | σ | 0.301-0.221=0.080 | | min | 9.553-8.609=0.944 | | max | 10.300-9.147=1.153 |
|