iters=5 new-facts=1 prior-facts=1 | | mean | 270.238 | | σ | 0.010 | | min | 270.225 | | max | 270.249 |
| | mean | 2409.000 | | σ | 0.000 | | min | 2409.000 | | max | 2409.000 |
| | mean | 0.378 | | σ | 0.009 | | min | 0.369 | | max | 0.392 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.706 | | σ | 0.009 | | min | 1930.692 | | max | 1930.714 |
| | mean | 2409.000 | | σ | 0.000 | | min | 2409.000 | | max | 2409.000 |
| | mean | 2.544 | | σ | 0.090 | | min | 2.461 | | max | 2.652 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.392 | | σ | 0.851 | | min | 4750.910 | | max | 4752.904 |
| | mean | 2409.000 | | σ | 0.000 | | min | 2409.000 | | max | 2409.000 |
| | mean | 8.531 | | σ | 0.462 | | min | 7.817 | | max | 8.943 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.865 | | σ | 0.023 | | min | 4941.846 | | max | 4941.894 |
| | mean | 2983.000 | | σ | 300.444 | | min | 2592.000 | | max | 3370.000 |
| | mean | 8.528 | | σ | 0.072 | | min | 8.426 | | max | 8.622 |
|