iters=5 new-facts=1 prior-facts=1 | | mean | 269.932-278.824=-8.892 | | σ | 0.007-0.007=-0.000 | | min | 269.925-278.812=-8.887 | | max | 269.941-278.831=-8.891 |
| | mean | 2622.000-2674.000=-52.000 | | σ | 0.000 | | min | 2622.000-2674.000=-52.000 | | max | 2622.000-2674.000=-52.000 |
| | mean | 0.373-0.412=-0.039 | | σ | 0.005-0.004=0.001 | | min | 0.369-0.407=-0.038 | | max | 0.382-0.419=-0.038 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.390-2268.887=-338.497 | | σ | 0.020-0.007=0.014 | | min | 1930.360-2268.878=-338.518 | | max | 1930.409-2268.893=-338.484 |
| | mean | 2622.000-2674.000=-52.000 | | σ | 0.000 | | min | 2622.000-2674.000=-52.000 | | max | 2622.000-2674.000=-52.000 |
| | mean | 2.510-2.946=-0.437 | | σ | 0.068-0.092=-0.025 | | min | 2.457-2.881=-0.424 | | max | 2.611-3.105=-0.494 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4750.845-4954.156=-203.311 | | σ | 0.830-0.594=0.236 | | min | 4750.334-4953.836=-203.502 | | max | 4752.312-4955.215=-202.903 |
| | mean | 2622.000-2674.000=-52.000 | | σ | 0.000 | | min | 2622.000-2674.000=-52.000 | | max | 2622.000-2674.000=-52.000 |
| | mean | 8.653-7.947=0.706 | | σ | 0.200-0.239=-0.040 | | min | 8.469-7.708=0.762 | | max | 8.868-8.342=0.526 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.264-5168.826=-227.562 | | σ | 0.202-0.092=0.110 | | min | 4940.926-5168.722=-227.796 | | max | 4941.423-5168.908=-227.484 |
| | mean | 2968.400-3363.200=-394.800 | | σ | 263.754-467.063=-203.309 | | min | 2622.000-2736.000=-114.000 | | max | 3316.000-3969.000=-653.000 |
| | mean | 8.456-9.089=-0.633 | | σ | 0.157-0.492=-0.335 | | min | 8.291-8.412=-0.121 | | max | 8.694-9.562=-0.869 |
|