iters=5 new-facts=1 prior-facts=1 | | mean | 278.817-278.819=-0.002 | | σ | 0.005-0.007=-0.002 | | min | 278.808-278.809=-0.001 | | max | 278.821-278.827=-0.007 |
| | mean | 2726.000-2719.000=7.000 | | σ | 0.000 | | min | 2726.000-2719.000=7.000 | | max | 2726.000-2719.000=7.000 |
| | mean | 0.411-0.412=-0.001 | | σ | 0.006-0.005=0.001 | | min | 0.407-0.407=-0.001 | | max | 0.421-0.419=0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.877-2268.877=-0.000 | | σ | 0.016-0.020=-0.005 | | min | 2268.849-2268.847=0.002 | | max | 2268.887-2268.898=-0.011 |
| | mean | 2726.000-2719.000=7.000 | | σ | 0.000 | | min | 2726.000-2719.000=7.000 | | max | 2726.000-2719.000=7.000 |
| | mean | 2.970-3.140=-0.170 | | σ | 0.063-0.144=-0.081 | | min | 2.904-2.929=-0.025 | | max | 3.043-3.307=-0.264 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.230-4953.999=0.231 | | σ | 0.799-1.003=-0.204 | | min | 4953.728-4953.231=0.497 | | max | 4955.645-4955.707=-0.062 |
| | mean | 2726.000-2719.000=7.000 | | σ | 0.000 | | min | 2726.000-2719.000=7.000 | | max | 2726.000-2719.000=7.000 |
| | mean | 8.074-8.001=0.072 | | σ | 0.254-0.257=-0.002 | | min | 7.822-7.684=0.138 | | max | 8.372-8.319=0.053 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5168.789-5168.795=-0.005 | | σ | 0.080-0.089=-0.009 | | min | 5168.723-5168.722=0.001 | | max | 5168.879-5168.908=-0.029 |
| | mean | 3471.200-3316.600=154.600 | | σ | 470.644-400.182=70.462 | | min | 2845.000-2922.000=-77.000 | | max | 4111.000-3722.000=389.000 |
| | mean | 9.333-9.572=-0.238 | | σ | 0.276-0.397=-0.121 | | min | 8.896-9.130=-0.234 | | max | 9.630-10.201=-0.570 |
|