iters=5 new-facts=1 prior-facts=1 | | mean | 324.761-324.769=-0.008 | | σ | 0.055-0.043=0.012 | | min | 324.663-324.692=-0.030 | | max | 324.791-324.798=-0.007 |
| | mean | 2838.000-2822.000=16.000 | | σ | 0.000 | | min | 2838.000-2822.000=16.000 | | max | 2838.000-2822.000=16.000 |
| | mean | 0.428-0.432=-0.004 | | σ | 0.008-0.010=-0.003 | | min | 0.424-0.424=-0.000 | | max | 0.442-0.446=-0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.319-1985.318=0.002 | | σ | 0.022-0.011=0.010 | | min | 1985.290-1985.301=-0.011 | | max | 1985.340-1985.327=0.013 |
| | mean | 2838.000-2822.000=16.000 | | σ | 0.000 | | min | 2838.000-2822.000=16.000 | | max | 2838.000-2822.000=16.000 |
| | mean | 2.624-2.660=-0.035 | | σ | 0.142-0.127=0.015 | | min | 2.517-2.513=0.004 | | max | 2.864-2.815=0.049 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.991-4808.976=0.015 | | σ | 7.752-7.737=0.014 | | min | 4805.040-4805.072=-0.032 | | max | 4822.848-4822.809=0.039 |
| | mean | 2838.000-2822.000=16.000 | | σ | 0.000 | | min | 2838.000-2822.000=16.000 | | max | 2838.000-2822.000=16.000 |
| | mean | 8.748-8.712=0.036 | | σ | 0.337-0.484=-0.147 | | min | 8.155-7.963=0.192 | | max | 8.956-9.264=-0.308 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.487-4996.554=-0.067 | | σ | 0.196-0.154=0.042 | | min | 4996.246-4996.280=-0.034 | | max | 4996.655-4996.644=0.012 |
| | mean | 3061.800-3001.600=60.200 | | σ | 296.069-259.533=36.536 | | min | 2838.000-2822.000=16.000 | | max | 3517.000-3408.000=109.000 |
| | mean | 8.502-8.477=0.025 | | σ | 0.109-0.057=0.052 | | min | 8.416-8.422=-0.006 | | max | 8.687-8.561=0.126 |
|