iters=5 new-facts=1 prior-facts=1 | | mean | 278.673-278.675=-0.002 | | σ | 0.007-0.012=-0.005 | | min | 278.666-278.658=0.008 | | max | 278.683-278.690=-0.007 |
| | mean | 2659.000-2666.000=-7.000 | | σ | 0.000 | | min | 2659.000-2666.000=-7.000 | | max | 2659.000-2666.000=-7.000 |
| | mean | 0.419-0.419=-0.000 | | σ | 0.002-0.002=0.000 | | min | 0.417-0.417=-0.000 | | max | 0.422-0.421=0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.823-2268.844=-0.021 | | σ | 0.016-0.010=0.006 | | min | 2268.808-2268.832=-0.024 | | max | 2268.845-2268.855=-0.010 |
| | mean | 2659.000-2666.000=-7.000 | | σ | 0.000 | | min | 2659.000-2666.000=-7.000 | | max | 2659.000-2666.000=-7.000 |
| | mean | 3.072-3.065=0.007 | | σ | 0.149-0.145=0.005 | | min | 2.870-2.898=-0.029 | | max | 3.236-3.268=-0.032 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.172-4952.120=0.052 | | σ | 0.779-0.914=-0.135 | | min | 4951.772-4951.331=0.441 | | max | 4953.564-4953.693=-0.130 |
| | mean | 2659.000-2666.000=-7.000 | | σ | 0.000 | | min | 2659.000-2666.000=-7.000 | | max | 2659.000-2666.000=-7.000 |
| | mean | 7.839-8.061=-0.222 | | σ | 0.163-0.371=-0.208 | | min | 7.640-7.623=0.017 | | max | 8.016-8.590=-0.574 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5166.897-5166.919=-0.021 | | σ | 0.013-0.226=-0.212 | | min | 5166.888-5166.535=0.353 | | max | 5166.921-5167.070=-0.150 |
| | mean | 3361.400-3432.600=-71.200 | | σ | 395.711-486.764=-91.053 | | min | 2977.000-2882.000=95.000 | | max | 3767.000-4161.000=-394.000 |
| | mean | 9.385-9.204=0.181 | | σ | 0.448-0.380=0.068 | | min | 8.986-8.745=0.241 | | max | 10.135-9.594=0.541 |
|