iters=5 new-facts=1 prior-facts=1 | | mean | 275.565-279.514=-3.949 | | σ | 0.006-0.007=-0.001 | | min | 275.559-279.504=-3.945 | | max | 275.573-279.520=-3.947 |
| | mean | 2843.000-2745.000=98.000 | | σ | 0.000 | | min | 2843.000-2745.000=98.000 | | max | 2843.000-2745.000=98.000 |
| | mean | 0.387-0.418=-0.032 | | σ | 0.002-0.005=-0.004 | | min | 0.384-0.412=-0.028 | | max | 0.389-0.425=-0.037 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.090-2178.399=-10.309 | | σ | 0.022-0.045=-0.023 | | min | 2168.059-2178.345=-10.286 | | max | 2168.117-2178.450=-10.333 |
| | mean | 2843.000-2745.000=98.000 | | σ | 0.000 | | min | 2843.000-2745.000=98.000 | | max | 2843.000-2745.000=98.000 |
| | mean | 2.844-3.386=-0.542 | | σ | 0.129-0.208=-0.079 | | min | 2.673-3.103=-0.430 | | max | 2.995-3.650=-0.656 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.949-5056.384=-8.435 | | σ | 0.923-1.011=-0.089 | | min | 5047.372-5055.808=-8.436 | | max | 5049.590-5058.181=-8.591 |
| | mean | 2843.000-2745.000=98.000 | | σ | 0.000 | | min | 2843.000-2745.000=98.000 | | max | 2843.000-2745.000=98.000 |
| | mean | 8.872-9.111=-0.239 | | σ | 0.641-0.570=0.071 | | min | 8.091-8.375=-0.284 | | max | 9.533-9.714=-0.180 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.048-5193.742=-14.695 | | σ | 0.095-0.100=-0.004 | | min | 5178.958-5193.636=-14.678 | | max | 5179.154-5193.852=-14.699 |
| | mean | 3283.000-3232.800=50.200 | | σ | 392.859-466.038=-73.178 | | min | 2843.000-2745.000=98.000 | | max | 3848.000-3873.000=-25.000 |
| | mean | 9.712-8.754=0.958 | | σ | 0.588-0.124=0.464 | | min | 8.795-8.676=0.119 | | max | 10.177-8.972=1.205 |
|