iters=5 new-facts=1 prior-facts=1 | | mean | 282.193 | | σ | 0.010 | | min | 282.185 | | max | 282.206 |
| | mean | 2719.000 | | σ | 0.000 | | min | 2719.000 | | max | 2719.000 |
| | mean | 0.397 | | σ | 0.001 | | min | 0.395 | | max | 0.399 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.711 | | σ | 0.013 | | min | 2174.693 | | max | 2174.728 |
| | mean | 2719.000 | | σ | 0.000 | | min | 2719.000 | | max | 2719.000 |
| | mean | 2.969 | | σ | 0.100 | | min | 2.809 | | max | 3.067 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5054.549 | | σ | 0.979 | | min | 5053.962 | | max | 5056.292 |
| | mean | 2719.000 | | σ | 0.000 | | min | 2719.000 | | max | 2719.000 |
| | mean | 8.928 | | σ | 0.628 | | min | 8.063 | | max | 9.688 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5185.681 | | σ | 0.078 | | min | 5185.616 | | max | 5185.781 |
| | mean | 3304.200 | | σ | 443.498 | | min | 2719.000 | | max | 3730.000 |
| | mean | 10.079 | | σ | 0.289 | | min | 9.700 | | max | 10.451 |
|