iters=5 new-facts=1 prior-facts=1 | | mean | 278.822-278.821=0.000 | | σ | 0.006-0.004=0.001 | | min | 278.813-278.816=-0.003 | | max | 278.828-278.827=0.001 |
| | mean | 2686.000-2640.000=46.000 | | σ | 0.000 | | min | 2686.000-2640.000=46.000 | | max | 2686.000-2640.000=46.000 |
| | mean | 0.414-0.410=0.003 | | σ | 0.004-0.001=0.002 | | min | 0.410-0.409=0.001 | | max | 0.419-0.412=0.007 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.884-2268.885=-0.000 | | σ | 0.018-0.016=0.002 | | min | 2268.854-2268.861=-0.007 | | max | 2268.898-2268.907=-0.009 |
| | mean | 2686.000-2640.000=46.000 | | σ | 0.000 | | min | 2686.000-2640.000=46.000 | | max | 2686.000-2640.000=46.000 |
| | mean | 2.933-3.029=-0.096 | | σ | 0.095-0.134=-0.039 | | min | 2.859-2.887=-0.028 | | max | 3.099-3.203=-0.104 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.269-4954.288=-0.020 | | σ | 0.945-0.872=0.074 | | min | 4953.689-4953.844=-0.155 | | max | 4955.946-4955.845=0.101 |
| | mean | 2686.000-2640.000=46.000 | | σ | 0.000 | | min | 2686.000-2640.000=46.000 | | max | 2686.000-2640.000=46.000 |
| | mean | 8.079-8.031=0.048 | | σ | 0.409-0.191=0.217 | | min | 7.705-7.808=-0.103 | | max | 8.649-8.278=0.371 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5168.828-5168.826=0.002 | | σ | 0.096-0.090=0.005 | | min | 5168.718-5168.726=-0.008 | | max | 5168.904-5168.906=-0.002 |
| | mean | 3459.000-3458.400=0.600 | | σ | 472.083-495.702=-23.619 | | min | 2799.000-2845.000=-46.000 | | max | 4014.000-4166.000=-152.000 |
| | mean | 9.457-9.284=0.173 | | σ | 0.279-0.299=-0.020 | | min | 9.216-8.951=0.265 | | max | 9.815-9.616=0.199 |
|