iters=5 new-facts=1 prior-facts=1 | | mean | 275.564-275.570=-0.006 | | σ | 0.007-0.004=0.004 | | min | 275.557-275.566=-0.009 | | max | 275.576-275.575=0.002 |
| | mean | 2704.000-2775.000=-71.000 | | σ | 0.000 | | min | 2704.000-2775.000=-71.000 | | max | 2704.000-2775.000=-71.000 |
| | mean | 0.393-0.392=0.002 | | σ | 0.010-0.008=0.002 | | min | 0.385-0.382=0.004 | | max | 0.404-0.399=0.005 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.091-2168.089=0.002 | | σ | 0.008-0.020=-0.012 | | min | 2168.077-2168.070=0.007 | | max | 2168.098-2168.114=-0.016 |
| | mean | 2704.000-2775.000=-71.000 | | σ | 0.000 | | min | 2704.000-2775.000=-71.000 | | max | 2704.000-2775.000=-71.000 |
| | mean | 3.024-2.980=0.044 | | σ | 0.196-0.139=0.056 | | min | 2.779-2.752=0.028 | | max | 3.225-3.093=0.132 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.785-5047.892=-0.107 | | σ | 1.014-0.882=0.132 | | min | 5046.920-5047.340=-0.420 | | max | 5049.540-5049.449=0.091 |
| | mean | 2704.000-2775.000=-71.000 | | σ | 0.000 | | min | 2704.000-2775.000=-71.000 | | max | 2704.000-2775.000=-71.000 |
| | mean | 8.766-8.843=-0.077 | | σ | 0.300-0.479=-0.179 | | min | 8.351-8.083=0.268 | | max | 9.152-9.295=-0.144 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.041-5179.055=-0.014 | | σ | 0.077-0.089=-0.012 | | min | 5178.968-5178.968=0.000 | | max | 5179.129-5179.150=-0.022 |
| | mean | 3220.600-3326.400=-105.800 | | σ | 379.642-393.420=-13.778 | | min | 2704.000-2775.000=-71.000 | | max | 3700.000-3684.000=16.000 |
| | mean | 9.884-10.120=-0.236 | | σ | 0.389-0.331=0.057 | | min | 9.433-9.665=-0.232 | | max | 10.466-10.566=-0.100 |
|