iters=5 new-facts=1 prior-facts=1 | | mean | 285.677 | | σ | 0.010 | | min | 285.664 | | max | 285.689 |
| | mean | 1645.000 | | σ | 0.000 | | min | 1645.000 | | max | 1645.000 |
| | mean | 0.382 | | σ | 0.010 | | min | 0.374 | | max | 0.397 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.645 | | σ | 0.135 | | min | 1285.575 | | max | 1285.886 |
| | mean | 1645.000 | | σ | 0.000 | | min | 1645.000 | | max | 1645.000 |
| | mean | 1.986 | | σ | 0.074 | | min | 1.871 | | max | 2.055 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.959 | | σ | 6.992 | | min | 1804.572 | | max | 1820.446 |
| | mean | 1645.000 | | σ | 0.000 | | min | 1645.000 | | max | 1645.000 |
| | mean | 4.072 | | σ | 0.251 | | min | 3.829 | | max | 4.426 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.472 | | σ | 0.040 | | min | 2070.442 | | max | 2070.541 |
| | mean | 1858.800 | | σ | 193.837 | | min | 1645.000 | | max | 2086.000 |
| | mean | 4.564 | | σ | 0.237 | | min | 4.414 | | max | 4.985 |
|