iters=5 new-facts=1 prior-facts=1 | | mean | 272.790-272.792=-0.002 | | σ | 0.008-0.006=0.001 | | min | 272.783-272.785=-0.001 | | max | 272.803-272.801=0.002 |
| | mean | 2419.000-2416.000=3.000 | | σ | 0.000 | | min | 2419.000-2416.000=3.000 | | max | 2419.000-2416.000=3.000 |
| | mean | 0.378-0.379=-0.002 | | σ | 0.002-0.005=-0.003 | | min | 0.376-0.376=0.000 | | max | 0.380-0.388=-0.008 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.223-1933.222=0.001 | | σ | 0.010-0.015=-0.005 | | min | 1933.212-1933.201=0.012 | | max | 1933.235-1933.237=-0.002 |
| | mean | 2419.000-2416.000=3.000 | | σ | 0.000 | | min | 2419.000-2416.000=3.000 | | max | 2419.000-2416.000=3.000 |
| | mean | 2.980-3.066=-0.085 | | σ | 0.189-0.151=0.038 | | min | 2.738-2.874=-0.136 | | max | 3.193-3.275=-0.081 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4756.937-4756.957=-0.020 | | σ | 7.572-7.591=-0.019 | | min | 4753.480-4753.491=-0.011 | | max | 4770.483-4770.536=-0.054 |
| | mean | 2419.000-2416.000=3.000 | | σ | 0.000 | | min | 2419.000-2416.000=3.000 | | max | 2419.000-2416.000=3.000 |
| | mean | 8.597-8.532=0.065 | | σ | 0.393-0.369=0.024 | | min | 7.983-7.919=0.064 | | max | 8.972-8.865=0.107 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.455-4944.378=0.077 | | σ | 0.018-0.145=-0.126 | | min | 4944.441-4944.121=0.320 | | max | 4944.476-4944.472=0.004 |
| | mean | 2979.000-2900.600=78.400 | | σ | 272.838-399.259=-126.421 | | min | 2608.000-2416.000=192.000 | | max | 3315.000-3438.000=-123.000 |
| | mean | 8.532-8.359=0.173 | | σ | 0.084-0.034=0.050 | | min | 8.406-8.320=0.086 | | max | 8.642-8.404=0.238 |
|