iters=5 new-facts=1 prior-facts=1 | | mean | 275.922-275.925=-0.004 | | σ | 0.006-0.015=-0.010 | | min | 275.914-275.903=0.011 | | max | 275.926-275.943=-0.017 |
| | mean | 4117.000-4023.000=94.000 | | σ | 0.000 | | min | 4117.000-4023.000=94.000 | | max | 4117.000-4023.000=94.000 |
| | mean | 0.402-0.401=0.001 | | σ | 0.005-0.011=-0.006 | | min | 0.398-0.395=0.003 | | max | 0.408-0.420=-0.012 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.529-2168.526=0.002 | | σ | 0.018-0.023=-0.005 | | min | 2168.508-2168.489=0.020 | | max | 2168.544-2168.545=-0.001 |
| | mean | 4117.000-4023.000=94.000 | | σ | 0.000 | | min | 4117.000-4023.000=94.000 | | max | 4117.000-4023.000=94.000 |
| | mean | 2.977-3.040=-0.063 | | σ | 0.174-0.235=-0.061 | | min | 2.768-2.744=0.024 | | max | 3.189-3.310=-0.121 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5048.216-5048.295=-0.079 | | σ | 0.686-0.905=-0.219 | | min | 5047.456-5047.544=-0.088 | | max | 5049.330-5049.863=-0.533 |
| | mean | 4117.000-4023.000=94.000 | | σ | 0.000 | | min | 4117.000-4023.000=94.000 | | max | 4117.000-4023.000=94.000 |
| | mean | 8.367-8.514=-0.147 | | σ | 0.242-0.366=-0.124 | | min | 8.138-7.931=0.207 | | max | 8.762-8.847=-0.085 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.467-5179.466=0.001 | | σ | 0.083-0.087=-0.004 | | min | 5179.389-5179.389=0.001 | | max | 5179.562-5179.566=-0.004 |
| | mean | 4117.000-4023.000=94.000 | | σ | 0.000 | | min | 4117.000-4023.000=94.000 | | max | 4117.000-4023.000=94.000 |
| | mean | 8.978-8.843=0.135 | | σ | 0.463-0.190=0.273 | | min | 8.575-8.683=-0.108 | | max | 9.639-9.067=0.573 |
|