iters=5 new-facts=1 prior-facts=1 | | mean | 286.824 | | σ | 0.037 | | min | 286.773 | | max | 286.862 |
| | mean | 1644.000 | | σ | 0.000 | | min | 1644.000 | | max | 1644.000 |
| | mean | 0.396 | | σ | 0.008 | | min | 0.389 | | max | 0.406 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1297.268 | | σ | 0.081 | | min | 1297.169 | | max | 1297.377 |
| | mean | 1644.000 | | σ | 0.000 | | min | 1644.000 | | max | 1644.000 |
| | mean | 2.111 | | σ | 0.100 | | min | 1.999 | | max | 2.247 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1541.316 | | σ | 6.865 | | min | 1538.047 | | max | 1553.593 |
| | mean | 1644.000 | | σ | 0.000 | | min | 1644.000 | | max | 1644.000 |
| | mean | 2.227 | | σ | 0.165 | | min | 2.117 | | max | 2.515 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1859.108 | | σ | 0.079 | | min | 1858.992 | | max | 1859.184 |
| | mean | 1781.600 | | σ | 168.580 | | min | 1644.000 | | max | 2033.000 |
| | mean | 2.996 | | σ | 0.310 | | min | 2.772 | | max | 3.520 |
|