iters=5 new-facts=1 prior-facts=1 | | mean | 272.020-270.584=1.436 | | σ | 0.005-0.008=-0.003 | | min | 272.015-270.573=1.442 | | max | 272.027-270.591=1.436 |
| | mean | 2855.000-2771.000=84.000 | | σ | 0.000 | | min | 2855.000-2771.000=84.000 | | max | 2855.000-2771.000=84.000 |
| | mean | 0.392-0.388=0.004 | | σ | 0.009-0.011=-0.002 | | min | 0.380-0.379=0.001 | | max | 0.404-0.401=0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.443-1931.056=1.387 | | σ | 0.005-0.016=-0.011 | | min | 1932.437-1931.040=1.398 | | max | 1932.450-1931.078=1.372 |
| | mean | 2855.000-2771.000=84.000 | | σ | 0.000 | | min | 2855.000-2771.000=84.000 | | max | 2855.000-2771.000=84.000 |
| | mean | 2.937-2.888=0.048 | | σ | 0.089-0.236=-0.147 | | min | 2.836-2.492=0.344 | | max | 3.064-3.106=-0.042 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.873-4751.799=1.074 | | σ | 0.768-0.844=-0.076 | | min | 4752.108-4751.282=0.826 | | max | 4754.121-4753.297=0.824 |
| | mean | 2855.000-2771.000=84.000 | | σ | 0.000 | | min | 2855.000-2771.000=84.000 | | max | 2855.000-2771.000=84.000 |
| | mean | 8.196-8.276=-0.080 | | σ | 0.619-0.489=0.130 | | min | 7.689-7.659=0.030 | | max | 9.139-8.896=0.243 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.560-4942.235=1.325 | | σ | 0.161-0.021=0.141 | | min | 4943.273-4942.213=1.059 | | max | 4943.648-4942.265=1.383 |
| | mean | 3067.800-3055.200=12.600 | | σ | 277.793-255.268=22.525 | | min | 2855.000-2771.000=84.000 | | max | 3498.000-3413.000=85.000 |
| | mean | 8.495-8.568=-0.073 | | σ | 0.191-0.165=0.025 | | min | 8.381-8.420=-0.039 | | max | 8.829-8.831=-0.002 |
|