iters=5 new-facts=1 prior-facts=1 | | mean | 300.711 | | σ | 0.034 | | min | 300.655 | | max | 300.735 |
| | mean | 1630.000 | | σ | 0.000 | | min | 1630.000 | | max | 1630.000 |
| | mean | 0.400 | | σ | 0.010 | | min | 0.390 | | max | 0.413 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1322.887 | | σ | 0.100 | | min | 1322.823 | | max | 1323.065 |
| | mean | 1630.000 | | σ | 0.000 | | min | 1630.000 | | max | 1630.000 |
| | mean | 1.944 | | σ | 0.140 | | min | 1.818 | | max | 2.176 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1561.343 | | σ | 6.909 | | min | 1558.028 | | max | 1573.696 |
| | mean | 1630.000 | | σ | 0.000 | | min | 1630.000 | | max | 1630.000 |
| | mean | 2.368 | | σ | 0.329 | | min | 2.070 | | max | 2.909 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1890.818 | | σ | 0.031 | | min | 1890.793 | | max | 1890.870 |
| | mean | 1771.000 | | σ | 111.261 | | min | 1630.000 | | max | 1935.000 |
| | mean | 2.961 | | σ | 0.133 | | min | 2.863 | | max | 3.189 |
|