iters=5 new-facts=1 prior-facts=1 | | mean | 280.099-280.070=0.028 | | σ | 0.007-0.016=-0.009 | | min | 280.092-280.050=0.042 | | max | 280.110-280.093=0.017 |
| | mean | 2827.000-2658.000=169.000 | | σ | 0.000 | | min | 2827.000-2658.000=169.000 | | max | 2827.000-2658.000=169.000 |
| | mean | 0.417-0.415=0.002 | | σ | 0.008-0.004=0.004 | | min | 0.409-0.410=-0.001 | | max | 0.427-0.419=0.008 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2270.150-2270.157=-0.007 | | σ | 0.015-0.012=0.003 | | min | 2270.125-2270.138=-0.014 | | max | 2270.166-2270.170=-0.004 |
| | mean | 2827.000-2658.000=169.000 | | σ | 0.000 | | min | 2827.000-2658.000=169.000 | | max | 2827.000-2658.000=169.000 |
| | mean | 3.571-3.547=0.024 | | σ | 0.215-0.140=0.075 | | min | 3.307-3.427=-0.120 | | max | 3.820-3.778=0.042 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5139.176-5139.001=0.174 | | σ | 0.981-1.057=-0.076 | | min | 5138.534-5137.939=0.595 | | max | 5140.916-5140.780=0.136 |
| | mean | 2827.000-2658.000=169.000 | | σ | 0.000 | | min | 2827.000-2658.000=169.000 | | max | 2827.000-2658.000=169.000 |
| | mean | 8.795-8.576=0.218 | | σ | 0.804-0.418=0.386 | | min | 8.072-8.146=-0.073 | | max | 9.712-9.039=0.673 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5277.144-5277.153=-0.009 | | σ | 0.195-0.125=0.070 | | min | 5276.823-5276.974=-0.151 | | max | 5277.323-5277.324=-0.002 |
| | mean | 3501.600-3482.800=18.800 | | σ | 522.500-529.530=-7.030 | | min | 2827.000-2773.000=54.000 | | max | 4007.000-3984.000=23.000 |
| | mean | 10.172-10.222=-0.050 | | σ | 0.203-0.434=-0.232 | | min | 9.873-9.616=0.257 | | max | 10.382-10.836=-0.454 |
|