iters=5 new-facts=1 prior-facts=1 | | mean | 278.692-278.693=-0.001 | | σ | 0.014-0.014=0.001 | | min | 278.674-278.676=-0.002 | | max | 278.707-278.707=0.001 |
| | mean | 2606.000-2661.000=-55.000 | | σ | 0.000 | | min | 2606.000-2661.000=-55.000 | | max | 2606.000-2661.000=-55.000 |
| | mean | 0.422-0.420=0.002 | | σ | 0.003-0.001=0.001 | | min | 0.419-0.418=0.001 | | max | 0.426-0.422=0.005 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.841-2268.838=0.004 | | σ | 0.014-0.013=0.001 | | min | 2268.822-2268.826=-0.004 | | max | 2268.855-2268.856=-0.000 |
| | mean | 2606.000-2661.000=-55.000 | | σ | 0.000 | | min | 2606.000-2661.000=-55.000 | | max | 2606.000-2661.000=-55.000 |
| | mean | 3.375-3.557=-0.182 | | σ | 0.256-0.167=0.089 | | min | 2.928-3.383=-0.455 | | max | 3.556-3.796=-0.240 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4955.903-4955.908=-0.005 | | σ | 1.053-0.594=0.459 | | min | 4955.012-4955.560=-0.548 | | max | 4957.724-4956.962=0.761 |
| | mean | 2606.000-2661.000=-55.000 | | σ | 0.000 | | min | 2606.000-2661.000=-55.000 | | max | 2606.000-2661.000=-55.000 |
| | mean | 8.157-8.090=0.067 | | σ | 0.350-0.411=-0.061 | | min | 7.678-7.842=-0.164 | | max | 8.580-8.817=-0.237 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5170.770-4964.551=206.219 | | σ | 0.078-461.196=-461.118 | | min | 5170.680-4139.538=1031.142 | | max | 5170.828-5170.873=-0.044 |
| | mean | 3361.000-3352.800=8.200 | | σ | 442.355-287.111=155.244 | | min | 2749.000-2890.000=-141.000 | | max | 3925.000-3593.000=332.000 |
| | mean | 9.424-9.209=0.214 | | σ | 0.244-1.108=-0.864 | | min | 9.054-7.364=1.690 | | max | 9.657-10.305=-0.649 |
|