iters=5 new-facts=1 prior-facts=1 | | mean | 280.290-278.840=1.451 | | σ | 0.012-0.014=-0.002 | | min | 280.275-278.819=1.456 | | max | 280.303-278.851=1.452 |
| | mean | 2610.000-2696.000=-86.000 | | σ | 0.000 | | min | 2610.000-2696.000=-86.000 | | max | 2610.000-2696.000=-86.000 |
| | mean | 0.414-0.415=-0.000 | | σ | 0.007-0.005=0.002 | | min | 0.406-0.409=-0.003 | | max | 0.422-0.419=0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2270.305-2268.907=1.398 | | σ | 0.016-0.010=0.006 | | min | 2270.279-2268.895=1.384 | | max | 2270.319-2268.918=1.401 |
| | mean | 2610.000-2696.000=-86.000 | | σ | 0.000 | | min | 2610.000-2696.000=-86.000 | | max | 2610.000-2696.000=-86.000 |
| | mean | 3.123-3.013=0.110 | | σ | 0.157-0.190=-0.032 | | min | 2.915-2.877=0.038 | | max | 3.340-3.319=0.021 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5147.587-4954.265=193.322 | | σ | 1.015-0.872=0.143 | | min | 5146.982-4953.854=193.129 | | max | 5149.392-4955.824=193.568 |
| | mean | 2610.000-2696.000=-86.000 | | σ | 0.000 | | min | 2610.000-2696.000=-86.000 | | max | 2610.000-2696.000=-86.000 |
| | mean | 8.921-8.082=0.839 | | σ | 0.703-0.424=0.279 | | min | 8.144-7.688=0.456 | | max | 9.907-8.711=1.196 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5285.634-5168.743=116.891 | | σ | 0.083-0.203=-0.121 | | min | 5285.562-5168.400=117.162 | | max | 5285.727-5168.907=116.820 |
| | mean | 3493.000-3452.600=40.400 | | σ | 534.992-472.128=62.864 | | min | 2780.000-2861.000=-81.000 | | max | 4002.000-4131.000=-129.000 |
| | mean | 9.814-9.280=0.534 | | σ | 0.500-0.224=0.276 | | min | 8.955-9.022=-0.066 | | max | 10.257-9.588=0.669 |
|