iters=5 new-facts=1 prior-facts=1 | | mean | 294.677 | | σ | 0.010 | | min | 294.664 | | max | 294.688 |
| | mean | 1630.000 | | σ | 0.000 | | min | 1630.000 | | max | 1630.000 |
| | mean | 0.379 | | σ | 0.005 | | min | 0.376 | | max | 0.388 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1316.940 | | σ | 0.106 | | min | 1316.876 | | max | 1317.126 |
| | mean | 1630.000 | | σ | 0.000 | | min | 1630.000 | | max | 1630.000 |
| | mean | 1.948 | | σ | 0.084 | | min | 1.863 | | max | 2.044 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1555.287 | | σ | 6.878 | | min | 1551.980 | | max | 1567.584 |
| | mean | 1630.000 | | σ | 0.000 | | min | 1630.000 | | max | 1630.000 |
| | mean | 2.309 | | σ | 0.280 | | min | 2.075 | | max | 2.767 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1884.778 | | σ | 0.041 | | min | 1884.744 | | max | 1884.849 |
| | mean | 1775.200 | | σ | 176.589 | | min | 1630.000 | | max | 2044.000 |
| | mean | 2.930 | | σ | 0.152 | | min | 2.725 | | max | 3.153 |
|