iters=5 new-facts=1 prior-facts=1 | | mean | 286.839 | | σ | 0.039 | | min | 286.790 | | max | 286.879 |
| | mean | 1645.000 | | σ | 0.000 | | min | 1645.000 | | max | 1645.000 |
| | mean | 0.393 | | σ | 0.005 | | min | 0.388 | | max | 0.400 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1297.234 | | σ | 0.111 | | min | 1297.107 | | max | 1297.367 |
| | mean | 1645.000 | | σ | 0.000 | | min | 1645.000 | | max | 1645.000 |
| | mean | 1.890 | | σ | 0.091 | | min | 1.799 | | max | 2.023 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1541.378 | | σ | 6.834 | | min | 1538.101 | | max | 1553.599 |
| | mean | 1645.000 | | σ | 0.000 | | min | 1645.000 | | max | 1645.000 |
| | mean | 2.365 | | σ | 0.244 | | min | 2.013 | | max | 2.617 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1859.149 | | σ | 0.061 | | min | 1859.086 | | max | 1859.233 |
| | mean | 1784.200 | | σ | 123.242 | | min | 1645.000 | | max | 1902.000 |
| | mean | 2.952 | | σ | 0.085 | | min | 2.828 | | max | 3.063 |
|