iters=5 new-facts=1 prior-facts=1 | | mean | 304.114 | | σ | 0.085 | | min | 303.973 | | max | 304.187 |
| | mean | 1632.000 | | σ | 0.000 | | min | 1632.000 | | max | 1632.000 |
| | mean | 0.410 | | σ | 0.014 | | min | 0.393 | | max | 0.429 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1326.658 | | σ | 0.106 | | min | 1326.527 | | max | 1326.812 |
| | mean | 1632.000 | | σ | 0.000 | | min | 1632.000 | | max | 1632.000 |
| | mean | 1.950 | | σ | 0.136 | | min | 1.821 | | max | 2.181 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1564.734 | | σ | 6.937 | | min | 1561.378 | | max | 1577.137 |
| | mean | 1632.000 | | σ | 0.000 | | min | 1632.000 | | max | 1632.000 |
| | mean | 2.378 | | σ | 0.290 | | min | 2.086 | | max | 2.751 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1894.624 | | σ | 0.079 | | min | 1894.485 | | max | 1894.678 |
| | mean | 1768.600 | | σ | 110.552 | | min | 1632.000 | | max | 1935.000 |
| | mean | 3.006 | | σ | 0.140 | | min | 2.871 | | max | 3.170 |
|