iters=5 new-facts=1 prior-facts=1 | | mean | 394.163-394.162=0.001 | | σ | 0.082-0.090=-0.008 | | min | 394.030-394.029=0.002 | | max | 394.217-394.228=-0.011 |
| | mean | 1617.000-1625.000=-8.000 | | σ | 0.000 | | min | 1617.000-1625.000=-8.000 | | max | 1617.000-1625.000=-8.000 |
| | mean | 0.490-0.497=-0.007 | | σ | 0.010-0.010=-0.001 | | min | 0.480-0.486=-0.007 | | max | 0.502-0.512=-0.010 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1395.761-1395.750=0.012 | | σ | 0.060-0.035=0.025 | | min | 1395.728-1395.726=0.001 | | max | 1395.867-1395.811=0.057 |
| | mean | 1617.000-1625.000=-8.000 | | σ | 0.000 | | min | 1617.000-1625.000=-8.000 | | max | 1617.000-1625.000=-8.000 |
| | mean | 2.070-2.062=0.008 | | σ | 0.149-0.075=0.074 | | min | 1.962-2.004=-0.042 | | max | 2.330-2.194=0.136 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1917.938-1917.929=0.009 | | σ | 7.121-7.126=-0.005 | | min | 1914.620-1914.609=0.011 | | max | 1930.669-1930.671=-0.001 |
| | mean | 1617.000-1625.000=-8.000 | | σ | 0.000 | | min | 1617.000-1625.000=-8.000 | | max | 1617.000-1625.000=-8.000 |
| | mean | 4.337-4.281=0.056 | | σ | 0.226-0.200=0.026 | | min | 4.056-4.016=0.039 | | max | 4.673-4.531=0.142 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2180.561-2180.559=0.002 | | σ | 0.022-0.014=0.007 | | min | 2180.544-2180.550=-0.006 | | max | 2180.599-2180.584=0.014 |
| | mean | 1853.800-1855.800=-2.000 | | σ | 202.768-197.993=4.775 | | min | 1617.000-1625.000=-8.000 | | max | 2082.000-2076.000=6.000 |
| | mean | 4.757-4.638=0.119 | | σ | 0.062-0.051=0.011 | | min | 4.672-4.588=0.084 | | max | 4.816-4.711=0.105 |
|