iters=5 new-facts=1 prior-facts=1 | | mean | 277.715-274.417=3.298 | | σ | 0.014-0.009=0.005 | | min | 277.701-274.406=3.295 | | max | 277.732-274.429=3.303 |
| | mean | 2646.000-2672.000=-26.000 | | σ | 0.000 | | min | 2646.000-2672.000=-26.000 | | max | 2646.000-2672.000=-26.000 |
| | mean | 0.411-0.406=0.005 | | σ | 0.001-0.003=-0.001 | | min | 0.409-0.404=0.006 | | max | 0.412-0.410=0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2267.889-2264.666=3.223 | | σ | 0.008-0.005=0.003 | | min | 2267.879-2264.659=3.221 | | max | 2267.898-2264.672=3.227 |
| | mean | 2646.000-2672.000=-26.000 | | σ | 0.000 | | min | 2646.000-2672.000=-26.000 | | max | 2646.000-2672.000=-26.000 |
| | mean | 2.900-3.131=-0.231 | | σ | 0.133-0.163=-0.030 | | min | 2.774-2.934=-0.160 | | max | 3.111-3.362=-0.251 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4955.018-4951.647=3.371 | | σ | 0.759-0.819=-0.060 | | min | 4954.565-4950.932=3.633 | | max | 4956.360-4953.054=3.306 |
| | mean | 2646.000-2672.000=-26.000 | | σ | 0.000 | | min | 2646.000-2672.000=-26.000 | | max | 2646.000-2672.000=-26.000 |
| | mean | 7.955-7.820=0.135 | | σ | 0.254-0.129=0.125 | | min | 7.636-7.648=-0.012 | | max | 8.226-7.999=0.227 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5169.759-5166.393=3.365 | | σ | 0.089-0.114=-0.026 | | min | 5169.684-5166.215=3.469 | | max | 5169.855-5166.534=3.322 |
| | mean | 3413.200-3407.800=5.400 | | σ | 467.482-525.734=-58.252 | | min | 2788.000-2938.000=-150.000 | | max | 4014.000-4163.000=-149.000 |
| | mean | 9.290-9.201=0.089 | | σ | 0.155-0.449=-0.294 | | min | 9.086-8.539=0.547 | | max | 9.451-9.796=-0.345 |
|