iters=5 new-facts=1 prior-facts=1 | | mean | 286.817 | | σ | 0.039 | | min | 286.769 | | max | 286.856 |
| | mean | 1645.000 | | σ | 0.000 | | min | 1645.000 | | max | 1645.000 |
| | mean | 0.400 | | σ | 0.008 | | min | 0.390 | | max | 0.408 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1297.259 | | σ | 0.113 | | min | 1297.090 | | max | 1297.392 |
| | mean | 1645.000 | | σ | 0.000 | | min | 1645.000 | | max | 1645.000 |
| | mean | 2.215 | | σ | 0.104 | | min | 2.125 | | max | 2.332 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1541.375 | | σ | 6.808 | | min | 1538.227 | | max | 1553.552 |
| | mean | 1645.000 | | σ | 0.000 | | min | 1645.000 | | max | 1645.000 |
| | mean | 2.317 | | σ | 0.261 | | min | 2.117 | | max | 2.753 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1859.118 | | σ | 0.069 | | min | 1859.034 | | max | 1859.196 |
| | mean | 1800.800 | | σ | 181.959 | | min | 1645.000 | | max | 2066.000 |
| | mean | 2.996 | | σ | 0.105 | | min | 2.842 | | max | 3.109 |
|