iters=5 new-facts=1 prior-facts=1 | | mean | 279.512-279.543=-0.032 | | σ | 0.007-0.006=0.001 | | min | 279.503-279.536=-0.033 | | max | 279.519-279.551=-0.032 |
| | mean | 2752.000-2835.000=-83.000 | | σ | 0.000 | | min | 2752.000-2835.000=-83.000 | | max | 2752.000-2835.000=-83.000 |
| | mean | 0.408-0.407=0.001 | | σ | 0.006-0.008=-0.002 | | min | 0.404-0.393=0.011 | | max | 0.418-0.412=0.006 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2178.398-2178.476=-0.078 | | σ | 0.083-0.012=0.072 | | min | 2178.251-2178.469=-0.219 | | max | 2178.453-2178.497=-0.044 |
| | mean | 2752.000-2835.000=-83.000 | | σ | 0.000 | | min | 2752.000-2835.000=-83.000 | | max | 2752.000-2835.000=-83.000 |
| | mean | 3.419-3.476=-0.056 | | σ | 0.199-0.300=-0.101 | | min | 3.231-3.272=-0.041 | | max | 3.722-3.992=-0.270 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5056.128-5056.388=-0.260 | | σ | 1.147-0.993=0.154 | | min | 5055.234-5055.873=-0.638 | | max | 5058.113-5058.160=-0.046 |
| | mean | 2752.000-2835.000=-83.000 | | σ | 0.000 | | min | 2752.000-2835.000=-83.000 | | max | 2752.000-2835.000=-83.000 |
| | mean | 9.004-8.993=0.011 | | σ | 0.596-0.566=0.030 | | min | 8.052-8.136=-0.084 | | max | 9.530-9.672=-0.142 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5193.746-5193.716=0.030 | | σ | 0.093-0.129=-0.036 | | min | 5193.665-5193.516=0.149 | | max | 5193.856-5193.877=-0.021 |
| | mean | 3185.000-3243.600=-58.600 | | σ | 429.580-329.239=100.341 | | min | 2752.000-2835.000=-83.000 | | max | 3790.000-3558.000=232.000 |
| | mean | 8.717-9.031=-0.314 | | σ | 0.110-0.526=-0.416 | | min | 8.629-8.664=-0.035 | | max | 8.894-9.961=-1.067 |
|