iters=5 new-facts=1 prior-facts=1 | | mean | 286.819 | | σ | 0.038 | | min | 286.767 | | max | 286.856 |
| | mean | 1645.000 | | σ | 0.000 | | min | 1645.000 | | max | 1645.000 |
| | mean | 0.396 | | σ | 0.009 | | min | 0.385 | | max | 0.404 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1297.238 | | σ | 0.084 | | min | 1297.145 | | max | 1297.305 |
| | mean | 1645.000 | | σ | 0.000 | | min | 1645.000 | | max | 1645.000 |
| | mean | 2.057 | | σ | 0.093 | | min | 1.983 | | max | 2.206 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1541.301 | | σ | 6.832 | | min | 1538.049 | | max | 1553.518 |
| | mean | 1645.000 | | σ | 0.000 | | min | 1645.000 | | max | 1645.000 |
| | mean | 2.184 | | σ | 0.108 | | min | 2.101 | | max | 2.367 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1859.116 | | σ | 0.076 | | min | 1859.002 | | max | 1859.186 |
| | mean | 1788.200 | | σ | 149.563 | | min | 1645.000 | | max | 1943.000 |
| | mean | 2.966 | | σ | 0.084 | | min | 2.852 | | max | 3.075 |
|