iters=5 new-facts=1 prior-facts=1 | | mean | 275.561-275.569=-0.007 | | σ | 0.013-0.003=0.010 | | min | 275.539-275.566=-0.027 | | max | 275.572-275.573=-0.000 |
| | mean | 2464.000-2693.000=-229.000 | | σ | 0.000 | | min | 2464.000-2693.000=-229.000 | | max | 2464.000-2693.000=-229.000 |
| | mean | 0.394-0.403=-0.009 | | σ | 0.008-0.007=0.001 | | min | 0.385-0.396=-0.011 | | max | 0.404-0.412=-0.007 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.083-2168.094=-0.011 | | σ | 0.011-0.013=-0.002 | | min | 2168.073-2168.080=-0.006 | | max | 2168.101-2168.111=-0.010 |
| | mean | 2464.000-2693.000=-229.000 | | σ | 0.000 | | min | 2464.000-2693.000=-229.000 | | max | 2464.000-2693.000=-229.000 |
| | mean | 3.011-2.986=0.025 | | σ | 0.155-0.188=-0.033 | | min | 2.796-2.658=0.138 | | max | 3.135-3.127=0.008 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.901-5047.926=-0.025 | | σ | 0.911-0.880=0.030 | | min | 5047.364-5047.390=-0.025 | | max | 5049.523-5049.492=0.031 |
| | mean | 2464.000-2693.000=-229.000 | | σ | 0.000 | | min | 2464.000-2693.000=-229.000 | | max | 2464.000-2693.000=-229.000 |
| | mean | 8.803-8.761=0.042 | | σ | 0.384-0.510=-0.126 | | min | 8.217-8.124=0.093 | | max | 9.151-9.368=-0.217 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.048-5179.054=-0.005 | | σ | 0.090-0.084=0.006 | | min | 5178.962-5178.964=-0.002 | | max | 5179.156-5179.145=0.011 |
| | mean | 3224.800-3222.800=2.000 | | σ | 359.297-364.863=-5.566 | | min | 2719.000-2720.000=-1.000 | | max | 3667.000-3679.000=-12.000 |
| | mean | 9.716-10.139=-0.423 | | σ | 0.502-0.559=-0.057 | | min | 8.996-9.594=-0.598 | | max | 10.197-11.084=-0.887 |
|