iters=5 new-facts=1 prior-facts=1 | | mean | 278.283 | | σ | 0.007 | | min | 278.271 | | max | 278.292 |
| | mean | 2710.000 | | σ | 0.000 | | min | 2710.000 | | max | 2710.000 |
| | mean | 0.407 | | σ | 0.005 | | min | 0.403 | | max | 0.415 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2175.512 | | σ | 0.032 | | min | 2175.468 | | max | 2175.547 |
| | mean | 2710.000 | | σ | 0.000 | | min | 2710.000 | | max | 2710.000 |
| | mean | 2.998 | | σ | 0.129 | | min | 2.821 | | max | 3.149 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5134.604 | | σ | 1.006 | | min | 5133.990 | | max | 5136.389 |
| | mean | 2710.000 | | σ | 0.000 | | min | 2710.000 | | max | 2710.000 |
| | mean | 8.943 | | σ | 0.548 | | min | 8.340 | | max | 9.714 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5238.368 | | σ | 0.081 | | min | 5238.292 | | max | 5238.466 |
| | mean | 3232.400 | | σ | 388.905 | | min | 2710.000 | | max | 3602.000 |
| | mean | 9.187 | | σ | 0.275 | | min | 8.861 | | max | 9.551 |
|