iters=5 new-facts=1 prior-facts=1 | | mean | 303.508 | | σ | 0.068 | | min | 303.398 | | max | 303.566 |
| | mean | 1632.000 | | σ | 0.000 | | min | 1632.000 | | max | 1632.000 |
| | mean | 0.395 | | σ | 0.008 | | min | 0.388 | | max | 0.408 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1326.064 | | σ | 0.116 | | min | 1325.921 | | max | 1326.208 |
| | mean | 1632.000 | | σ | 0.000 | | min | 1632.000 | | max | 1632.000 |
| | mean | 1.927 | | σ | 0.082 | | min | 1.852 | | max | 2.058 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1564.110 | | σ | 6.937 | | min | 1560.770 | | max | 1576.514 |
| | mean | 1632.000 | | σ | 0.000 | | min | 1632.000 | | max | 1632.000 |
| | mean | 2.280 | | σ | 0.285 | | min | 2.126 | | max | 2.786 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1894.009 | | σ | 0.062 | | min | 1893.899 | | max | 1894.050 |
| | mean | 1759.200 | | σ | 166.561 | | min | 1632.000 | | max | 2019.000 |
| | mean | 2.930 | | σ | 0.076 | | min | 2.865 | | max | 3.032 |
|