iters=5 new-facts=1 prior-facts=1 | | mean | 286.820 | | σ | 0.037 | | min | 286.770 | | max | 286.857 |
| | mean | 1647.000 | | σ | 0.000 | | min | 1647.000 | | max | 1647.000 |
| | mean | 0.393 | | σ | 0.006 | | min | 0.386 | | max | 0.400 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1297.271 | | σ | 0.091 | | min | 1297.158 | | max | 1297.397 |
| | mean | 1647.000 | | σ | 0.000 | | min | 1647.000 | | max | 1647.000 |
| | mean | 2.269 | | σ | 0.159 | | min | 2.139 | | max | 2.544 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1541.344 | | σ | 6.841 | | min | 1538.091 | | max | 1553.578 |
| | mean | 1647.000 | | σ | 0.000 | | min | 1647.000 | | max | 1647.000 |
| | mean | 2.242 | | σ | 0.170 | | min | 2.130 | | max | 2.544 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1859.119 | | σ | 0.066 | | min | 1859.030 | | max | 1859.196 |
| | mean | 1777.400 | | σ | 125.801 | | min | 1647.000 | | max | 1902.000 |
| | mean | 3.123 | | σ | 0.285 | | min | 2.833 | | max | 3.550 |
|