iters=5 new-facts=1 prior-facts=1 | | mean | 300.682 | | σ | 0.050 | | min | 300.594 | | max | 300.715 |
| | mean | 1666.000 | | σ | 0.000 | | min | 1666.000 | | max | 1666.000 |
| | mean | 0.403 | | σ | 0.008 | | min | 0.392 | | max | 0.414 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1322.878 | | σ | 0.099 | | min | 1322.807 | | max | 1323.031 |
| | mean | 1666.000 | | σ | 0.000 | | min | 1666.000 | | max | 1666.000 |
| | mean | 1.939 | | σ | 0.081 | | min | 1.828 | | max | 2.031 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1561.320 | | σ | 6.881 | | min | 1557.966 | | max | 1573.622 |
| | mean | 1666.000 | | σ | 0.000 | | min | 1666.000 | | max | 1666.000 |
| | mean | 2.326 | | σ | 0.260 | | min | 2.080 | | max | 2.609 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1890.802 | | σ | 0.028 | | min | 1890.779 | | max | 1890.851 |
| | mean | 1788.800 | | σ | 108.382 | | min | 1666.000 | | max | 1953.000 |
| | mean | 2.998 | | σ | 0.152 | | min | 2.876 | | max | 3.255 |
|