iters=5 new-facts=1 prior-facts=1 | | mean | 285.674 | | σ | 0.009 | | min | 285.658 | | max | 285.682 |
| | mean | 1632.000 | | σ | 0.000 | | min | 1632.000 | | max | 1632.000 |
| | mean | 0.377 | | σ | 0.001 | | min | 0.375 | | max | 0.379 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.639 | | σ | 0.135 | | min | 1285.573 | | max | 1285.881 |
| | mean | 1632.000 | | σ | 0.000 | | min | 1632.000 | | max | 1632.000 |
| | mean | 1.933 | | σ | 0.132 | | min | 1.850 | | max | 2.167 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.971 | | σ | 7.065 | | min | 1804.604 | | max | 1820.594 |
| | mean | 1632.000 | | σ | 0.000 | | min | 1632.000 | | max | 1632.000 |
| | mean | 4.226 | | σ | 0.373 | | min | 3.965 | | max | 4.883 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.462 | | σ | 0.010 | | min | 2070.448 | | max | 2070.477 |
| | mean | 1834.800 | | σ | 172.498 | | min | 1632.000 | | max | 2073.000 |
| | mean | 4.522 | | σ | 0.069 | | min | 4.440 | | max | 4.609 |
|