iters=5 new-facts=1 prior-facts=1 | | mean | 326.638-326.571=0.067 | | σ | 0.060-0.046=0.015 | | min | 326.532-326.492=0.040 | | max | 326.681-326.604=0.077 |
| | mean | 2833.000-2591.000=242.000 | | σ | 0.000 | | min | 2833.000-2591.000=242.000 | | max | 2833.000-2591.000=242.000 |
| | mean | 0.432-0.422=0.010 | | σ | 0.010-0.001=0.009 | | min | 0.425-0.420=0.004 | | max | 0.449-0.423=0.026 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.803-1988.726=0.077 | | σ | 0.011-0.019=-0.008 | | min | 1988.790-1988.710=0.080 | | max | 1988.815-1988.748=0.067 |
| | mean | 2833.000-2591.000=242.000 | | σ | 0.000 | | min | 2833.000-2591.000=242.000 | | max | 2833.000-2591.000=242.000 |
| | mean | 2.727-2.671=0.056 | | σ | 0.076-0.100=-0.024 | | min | 2.636-2.551=0.085 | | max | 2.841-2.816=0.026 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.702-4813.457=0.245 | | σ | 7.753-7.470=0.283 | | min | 4810.122-4810.091=0.031 | | max | 4827.569-4826.819=0.750 |
| | mean | 2833.000-2591.000=242.000 | | σ | 0.000 | | min | 2833.000-2591.000=242.000 | | max | 2833.000-2591.000=242.000 |
| | mean | 8.761-8.919=-0.157 | | σ | 0.642-0.194=0.448 | | min | 7.727-8.606=-0.880 | | max | 9.358-9.114=0.244 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.203-5001.134=0.069 | | σ | 0.015-0.026=-0.011 | | min | 5001.189-5001.105=0.083 | | max | 5001.224-5001.168=0.057 |
| | mean | 3007.400-3003.200=4.200 | | σ | 237.126-318.399=-81.273 | | min | 2833.000-2591.000=242.000 | | max | 3381.000-3408.000=-27.000 |
| | mean | 9.736-9.722=0.014 | | σ | 0.233-0.233=0.000 | | min | 9.386-9.319=0.066 | | max | 10.005-9.882=0.123 |
|