iters=5 new-facts=1 prior-facts=1 | | mean | 277.883-277.886=-0.002 | | σ | 0.009-0.004=0.005 | | min | 277.869-277.882=-0.013 | | max | 277.893-277.893=-0.000 |
| | mean | 2844.000-2485.000=359.000 | | σ | 0.000 | | min | 2844.000-2485.000=359.000 | | max | 2844.000-2485.000=359.000 |
| | mean | 0.403-0.405=-0.002 | | σ | 0.004-0.007=-0.003 | | min | 0.399-0.398=0.001 | | max | 0.408-0.415=-0.007 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2176.825-2176.833=-0.009 | | σ | 0.020-0.004=0.016 | | min | 2176.797-2176.827=-0.031 | | max | 2176.841-2176.837=0.004 |
| | mean | 2844.000-2485.000=359.000 | | σ | 0.000 | | min | 2844.000-2485.000=359.000 | | max | 2844.000-2485.000=359.000 |
| | mean | 3.371-3.420=-0.049 | | σ | 0.186-0.281=-0.095 | | min | 3.093-3.001=0.092 | | max | 3.537-3.734=-0.198 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5054.581-5054.729=-0.148 | | σ | 1.039-0.919=0.120 | | min | 5053.638-5054.148=-0.510 | | max | 5056.360-5056.360=-0.000 |
| | mean | 2844.000-2485.000=359.000 | | σ | 0.000 | | min | 2844.000-2485.000=359.000 | | max | 2844.000-2485.000=359.000 |
| | mean | 8.862-8.768=0.094 | | σ | 0.417-0.638=-0.221 | | min | 8.265-7.888=0.377 | | max | 9.293-9.534=-0.242 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5192.115-5192.127=-0.012 | | σ | 0.093-0.074=0.019 | | min | 5192.024-5192.056=-0.032 | | max | 5192.217-5192.210=0.007 |
| | mean | 3309.800-3250.200=59.600 | | σ | 372.739-415.665=-42.926 | | min | 2844.000-2648.000=196.000 | | max | 3677.000-3715.000=-38.000 |
| | mean | 8.826-8.855=-0.028 | | σ | 0.083-0.238=-0.155 | | min | 8.714-8.691=0.022 | | max | 8.897-9.266=-0.369 |
|