iters=5 new-facts=1 prior-facts=1 | | mean | 270.239 | | σ | 0.006 | | min | 270.231 | | max | 270.246 |
| | mean | 2416.000 | | σ | 0.000 | | min | 2416.000 | | max | 2416.000 |
| | mean | 0.382 | | σ | 0.005 | | min | 0.378 | | max | 0.392 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.697 | | σ | 0.011 | | min | 1930.683 | | max | 1930.711 |
| | mean | 2416.000 | | σ | 0.000 | | min | 2416.000 | | max | 2416.000 |
| | mean | 2.627 | | σ | 0.174 | | min | 2.462 | | max | 2.854 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.480 | | σ | 0.825 | | min | 4751.011 | | max | 4752.951 |
| | mean | 2416.000 | | σ | 0.000 | | min | 2416.000 | | max | 2416.000 |
| | mean | 7.875 | | σ | 0.369 | | min | 7.571 | | max | 8.506 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.869 | | σ | 0.015 | | min | 4941.849 | | max | 4941.883 |
| | mean | 2925.600 | | σ | 411.219 | | min | 2416.000 | | max | 3436.000 |
| | mean | 8.541 | | σ | 0.110 | | min | 8.413 | | max | 8.672 |
|