iters=5 new-facts=1 prior-facts=1 | | mean | 324.022-324.013=0.008 | | σ | 0.054-0.055=-0.000 | | min | 323.925-323.916=0.009 | | max | 324.050-324.043=0.007 |
| | mean | 2425.000-2521.000=-96.000 | | σ | 0.000 | | min | 2425.000-2521.000=-96.000 | | max | 2425.000-2521.000=-96.000 |
| | mean | 0.428-0.428=-0.000 | | σ | 0.005-0.005=-0.000 | | min | 0.425-0.425=-0.000 | | max | 0.436-0.437=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1984.588-1984.592=-0.004 | | σ | 0.023-0.022=0.002 | | min | 1984.562-1984.555=0.006 | | max | 1984.608-1984.607=0.001 |
| | mean | 2425.000-2521.000=-96.000 | | σ | 0.000 | | min | 2425.000-2521.000=-96.000 | | max | 2425.000-2521.000=-96.000 |
| | mean | 2.687-2.613=0.074 | | σ | 0.155-0.104=0.051 | | min | 2.561-2.491=0.070 | | max | 2.860-2.744=0.116 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.111-4808.226=-0.115 | | σ | 7.842-7.815=0.027 | | min | 4804.089-4804.651=-0.562 | | max | 4822.129-4822.205=-0.077 |
| | mean | 2425.000-2521.000=-96.000 | | σ | 0.000 | | min | 2425.000-2521.000=-96.000 | | max | 2425.000-2521.000=-96.000 |
| | mean | 8.635-8.857=-0.222 | | σ | 0.370-0.136=0.234 | | min | 8.103-8.646=-0.543 | | max | 9.032-9.026=0.006 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4995.735-4995.666=0.069 | | σ | 0.167-0.181=-0.014 | | min | 4995.437-4995.467=-0.030 | | max | 4995.828-4995.825=0.004 |
| | mean | 2898.000-2992.600=-94.600 | | σ | 399.332-300.319=99.013 | | min | 2425.000-2584.000=-159.000 | | max | 3456.000-3362.000=94.000 |
| | mean | 8.441-8.685=-0.244 | | σ | 0.044-0.147=-0.103 | | min | 8.383-8.543=-0.160 | | max | 8.483-8.928=-0.445 |
|