iters=5 new-facts=1 prior-facts=1 | | mean | 274.416-274.420=-0.004 | | σ | 0.009-0.013=-0.005 | | min | 274.406-274.409=-0.003 | | max | 274.426-274.443=-0.017 |
| | mean | 2658.000-2732.000=-74.000 | | σ | 0.000 | | min | 2658.000-2732.000=-74.000 | | max | 2658.000-2732.000=-74.000 |
| | mean | 0.408-0.410=-0.003 | | σ | 0.001-0.005=-0.004 | | min | 0.406-0.407=-0.001 | | max | 0.409-0.419=-0.010 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2264.662-2264.652=0.009 | | σ | 0.007-0.019=-0.012 | | min | 2264.651-2264.631=0.020 | | max | 2264.671-2264.673=-0.002 |
| | mean | 2658.000-2732.000=-74.000 | | σ | 0.000 | | min | 2658.000-2732.000=-74.000 | | max | 2658.000-2732.000=-74.000 |
| | mean | 3.042-3.104=-0.061 | | σ | 0.187-0.103=0.084 | | min | 2.827-2.939=-0.112 | | max | 3.325-3.200=0.125 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4951.728-4951.749=-0.021 | | σ | 0.776-0.750=0.026 | | min | 4951.266-4951.210=0.056 | | max | 4953.103-4953.064=0.039 |
| | mean | 2658.000-2732.000=-74.000 | | σ | 0.000 | | min | 2658.000-2732.000=-74.000 | | max | 2658.000-2732.000=-74.000 |
| | mean | 8.115-7.920=0.195 | | σ | 0.483-0.337=0.145 | | min | 7.781-7.652=0.129 | | max | 8.968-8.504=0.463 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5166.471-5166.399=0.072 | | σ | 0.080-0.115=-0.035 | | min | 5166.399-5166.234=0.165 | | max | 5166.560-5166.557=0.003 |
| | mean | 3474.000-3394.800=79.200 | | σ | 500.428-398.422=102.006 | | min | 2857.000-3005.000=-148.000 | | max | 4168.000-3801.000=367.000 |
| | mean | 9.633-9.181=0.451 | | σ | 0.321-0.414=-0.093 | | min | 9.236-8.602=0.634 | | max | 10.125-9.677=0.449 |
|