iters=5 new-facts=1 prior-facts=1 | | mean | 324.711 | | σ | 0.047 | | min | 324.628 | | max | 324.744 |
| | mean | 2836.000 | | σ | 0.000 | | min | 2836.000 | | max | 2836.000 |
| | mean | 0.433 | | σ | 0.010 | | min | 0.425 | | max | 0.445 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.270 | | σ | 0.009 | | min | 1985.259 | | max | 1985.281 |
| | mean | 2836.000 | | σ | 0.000 | | min | 2836.000 | | max | 2836.000 |
| | mean | 2.643 | | σ | 0.113 | | min | 2.541 | | max | 2.780 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.653 | | σ | 7.534 | | min | 4804.770 | | max | 4822.120 |
| | mean | 2836.000 | | σ | 0.000 | | min | 2836.000 | | max | 2836.000 |
| | mean | 9.000 | | σ | 0.212 | | min | 8.661 | | max | 9.231 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.468 | | σ | 0.020 | | min | 4996.444 | | max | 4996.489 |
| | mean | 3051.200 | | σ | 225.662 | | min | 2836.000 | | max | 3376.000 |
| | mean | 8.673 | | σ | 0.171 | | min | 8.491 | | max | 8.940 |
|