iters=5 new-facts=1 prior-facts=1 | | mean | 286.818 | | σ | 0.036 | | min | 286.771 | | max | 286.854 |
| | mean | 1617.000 | | σ | 0.000 | | min | 1617.000 | | max | 1617.000 |
| | mean | 0.394 | | σ | 0.006 | | min | 0.388 | | max | 0.402 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1297.285 | | σ | 0.087 | | min | 1297.180 | | max | 1297.410 |
| | mean | 1617.000 | | σ | 0.000 | | min | 1617.000 | | max | 1617.000 |
| | mean | 2.237 | | σ | 0.092 | | min | 2.081 | | max | 2.315 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1541.335 | | σ | 6.821 | | min | 1538.112 | | max | 1553.534 |
| | mean | 1617.000 | | σ | 0.000 | | min | 1617.000 | | max | 1617.000 |
| | mean | 2.219 | | σ | 0.098 | | min | 2.129 | | max | 2.381 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1859.114 | | σ | 0.062 | | min | 1859.032 | | max | 1859.184 |
| | mean | 1774.800 | | σ | 161.159 | | min | 1617.000 | | max | 1939.000 |
| | mean | 2.962 | | σ | 0.104 | | min | 2.852 | | max | 3.069 |
|