iters=5 new-facts=1 prior-facts=1 | | mean | 269.932 | | σ | 0.008 | | min | 269.925 | | max | 269.947 |
| | mean | 2745.000 | | σ | 0.000 | | min | 2745.000 | | max | 2745.000 |
| | mean | 0.378 | | σ | 0.013 | | min | 0.369 | | max | 0.401 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.390 | | σ | 0.017 | | min | 1930.370 | | max | 1930.405 |
| | mean | 2745.000 | | σ | 0.000 | | min | 2745.000 | | max | 2745.000 |
| | mean | 2.560 | | σ | 0.165 | | min | 2.404 | | max | 2.800 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4750.908 | | σ | 0.781 | | min | 4750.379 | | max | 4752.287 |
| | mean | 2745.000 | | σ | 0.000 | | min | 2745.000 | | max | 2745.000 |
| | mean | 8.132 | | σ | 0.491 | | min | 7.673 | | max | 8.798 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.335 | | σ | 0.076 | | min | 4941.261 | | max | 4941.426 |
| | mean | 3039.600 | | σ | 352.832 | | min | 2745.000 | | max | 3560.000 |
| | mean | 8.530 | | σ | 0.413 | | min | 8.251 | | max | 9.260 |
|